0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.51/0.56 c [STEP] preprocessing with Papilo
0.68/0.71 c Papilo could not simplify the problem
0.68/0.71 c [STEP] solving with SCIP
300.17/301.19 c [STEP] preprocessing done, loading into solver
300.35/301.37 c [STEP] solving
300.35/301.37 c #variables 1486 #constraints 104940
300.35/301.37 c SMALL=int, LARGE=long long
300.35/301.37 c bounds - >= -1210 @ 299.93
300.35/301.37 c stratification level: 0
300.35/301.39 c bounds - >= -1209 @ 299.935
300.35/301.39 c bounds - >= -1208 @ 299.936
300.35/301.39 c bounds - >= -1207 @ 299.936
300.35/301.39 c bounds - >= -1206 @ 299.936
300.35/301.39 c bounds - >= -1205 @ 299.936
300.35/301.39 c bounds - >= -1204 @ 299.936
300.35/301.39 c bounds - >= -1203 @ 299.936
300.35/301.39 c bounds - >= -1202 @ 299.937
300.35/301.39 c bounds - >= -1201 @ 299.937
300.35/301.39 c bounds - >= -1200 @ 299.937
300.35/301.39 c bounds - >= -1199 @ 299.937
300.35/301.39 c bounds - >= -1198 @ 299.937
300.35/301.39 c bounds - >= -1197 @ 299.938
300.35/301.39 c bounds - >= -1196 @ 299.938
300.35/301.39 c bounds - >= -1195 @ 299.938
300.35/301.39 c bounds - >= -1194 @ 299.938
300.35/301.39 c bounds - >= -1193 @ 299.938
300.35/301.39 c bounds - >= -1192 @ 299.938
300.35/301.39 c bounds - >= -1191 @ 299.939
300.35/301.39 c bounds - >= -1190 @ 299.939
300.35/301.39 c bounds - >= -1189 @ 299.939
300.35/301.39 c bounds - >= -1188 @ 299.939
300.35/301.39 c bounds - >= -1187 @ 299.939
300.35/301.39 c bounds - >= -1186 @ 299.939
300.35/301.39 c bounds - >= -1185 @ 299.94
300.35/301.39 c bounds - >= -1184 @ 299.94
300.35/301.39 c bounds - >= -1183 @ 299.94
300.35/301.39 c bounds - >= -1182 @ 299.94
300.35/301.39 c bounds - >= -1181 @ 299.94
300.35/301.39 c bounds - >= -1180 @ 299.94
300.35/301.39 c bounds - >= -1179 @ 299.94
300.35/301.39 c bounds - >= -1178 @ 299.941
300.35/301.39 c bounds - >= -1177 @ 299.941
300.35/301.39 c bounds - >= -1176 @ 299.941
300.35/301.39 c bounds - >= -1175 @ 299.941
300.35/301.39 c bounds - >= -1174 @ 299.941
300.35/301.39 c bounds - >= -1173 @ 299.941
300.35/301.39 c bounds - >= -1172 @ 299.942
300.35/301.39 c bounds - >= -1171 @ 299.942
300.35/301.39 c bounds - >= -1170 @ 299.942
300.35/301.39 c bounds - >= -1169 @ 299.942
300.35/301.39 c bounds - >= -1168 @ 299.942
300.35/301.39 c bounds - >= -1167 @ 299.942
300.35/301.39 c bounds - >= -1166 @ 299.943
300.35/301.39 c bounds - >= -1165 @ 299.943
300.35/301.39 c bounds - >= -1164 @ 299.943
300.35/301.39 c bounds - >= -1163 @ 299.943
300.35/301.39 c bounds - >= -1162 @ 299.943
300.35/301.39 c bounds - >= -1161 @ 299.943
300.35/301.39 c bounds - >= -1160 @ 299.943
300.35/301.39 c bounds - >= -1159 @ 299.944
300.35/301.39 c bounds - >= -1158 @ 299.944
300.35/301.39 c bounds - >= -1157 @ 299.944
300.35/301.39 c bounds - >= -1156 @ 299.944
300.35/301.39 c bounds - >= -1155 @ 299.944
300.35/301.39 c bounds - >= -1154 @ 299.944
300.35/301.39 c bounds - >= -1153 @ 299.945
300.35/301.39 c bounds - >= -1152 @ 299.945
300.35/301.39 c bounds - >= -1151 @ 299.945
300.35/301.39 c bounds - >= -1150 @ 299.945
300.35/301.39 c bounds - >= -1149 @ 299.945
300.35/301.39 c bounds - >= -1148 @ 299.945
300.35/301.39 c bounds - >= -1147 @ 299.945
300.35/301.39 c bounds - >= -1146 @ 299.946
300.35/301.39 c bounds - >= -1145 @ 299.946
300.35/301.39 c bounds - >= -1144 @ 299.946
300.35/301.39 c bounds - >= -1143 @ 299.946
300.35/301.39 c bounds - >= -1142 @ 299.946
300.35/301.39 c bounds - >= -1141 @ 299.946
300.35/301.39 c bounds - >= -1140 @ 299.946
300.35/301.39 c bounds - >= -1139 @ 299.946
300.35/301.39 c bounds - >= -1138 @ 299.946
300.35/301.39 c bounds - >= -1137 @ 299.946
300.35/301.39 c bounds - >= -1136 @ 299.946
300.35/301.39 c bounds - >= -1135 @ 299.946
300.35/301.39 c bounds - >= -1134 @ 299.946
300.35/301.39 c bounds - >= -1133 @ 299.947
300.35/301.39 c bounds - >= -1132 @ 299.947
300.35/301.39 c bounds - >= -1131 @ 299.947
300.35/301.39 c bounds - >= -1130 @ 299.947
300.35/301.39 c bounds - >= -1129 @ 299.947
300.35/301.39 c bounds - >= -1128 @ 299.947
300.35/301.39 c bounds - >= -1127 @ 299.947
300.35/301.39 c bounds - >= -1126 @ 299.948
300.35/301.39 c bounds - >= -1125 @ 299.948
300.35/301.39 c bounds - >= -1124 @ 299.948
300.35/301.39 c bounds - >= -1123 @ 299.948
300.35/301.39 c bounds - >= -1122 @ 299.948
300.35/301.39 c bounds - >= -1121 @ 299.948
300.35/301.39 c bounds - >= -1120 @ 299.949
300.35/301.39 c bounds - >= -1119 @ 299.949
300.35/301.39 c bounds - >= -1118 @ 299.949
300.35/301.39 c bounds - >= -1117 @ 299.949
300.35/301.39 c bounds - >= -1116 @ 299.949
300.35/301.39 c bounds - >= -1115 @ 299.949
300.35/301.39 c bounds - >= -1114 @ 299.95
300.35/301.39 c bounds - >= -1113 @ 299.95
300.35/301.39 c bounds - >= -1112 @ 299.95
300.35/301.39 c bounds - >= -1111 @ 299.95
300.35/301.39 c bounds - >= -1110 @ 299.95
300.35/301.39 c bounds - >= -1109 @ 299.95
300.35/301.39 c bounds - >= -1108 @ 299.951
300.35/301.39 c bounds - >= -1107 @ 299.951
300.35/301.40 c bounds - >= -1106 @ 299.951
300.35/301.40 c bounds - >= -1105 @ 299.951
300.35/301.40 c bounds - >= -1104 @ 299.951
300.35/301.40 c bounds - >= -1103 @ 299.952
300.35/301.40 c bounds - >= -1102 @ 299.952
300.35/301.40 c bounds - >= -1101 @ 299.952
300.35/301.40 c bounds - >= -1100 @ 299.952
300.35/301.40 c bounds - >= -1099 @ 299.952
300.35/301.40 c bounds - >= -1098 @ 299.952
300.35/301.40 c bounds - >= -1097 @ 299.952
300.35/301.40 c bounds - >= -1096 @ 299.953
300.35/301.40 c bounds - >= -1095 @ 299.953
300.35/301.40 c bounds - >= -1094 @ 299.953
300.35/301.40 c bounds - >= -1093 @ 299.953
300.35/301.40 c bounds - >= -1092 @ 299.953
300.35/301.40 c bounds - >= -1091 @ 299.953
300.35/301.40 c bounds - >= -1090 @ 299.953
300.35/301.40 c bounds - >= -1089 @ 299.953
300.35/301.40 c bounds - >= -1088 @ 299.953
300.35/301.40 c bounds - >= -1087 @ 299.953
300.35/301.40 c bounds - >= -1086 @ 299.953
300.35/301.40 c bounds - >= -1085 @ 299.953
300.35/301.40 c bounds - >= -1084 @ 299.954
300.35/301.40 c bounds - >= -1083 @ 299.954
300.35/301.40 c bounds - >= -1082 @ 299.954
300.35/301.40 c bounds - >= -1081 @ 299.954
300.35/301.40 c bounds - >= -1080 @ 299.954
300.35/301.40 c bounds - >= -1079 @ 299.954
300.35/301.40 c bounds - >= -1078 @ 299.954
300.35/301.40 c bounds - >= -1077 @ 299.954
300.35/301.40 c bounds - >= -1076 @ 299.954
300.35/301.40 c bounds - >= -1075 @ 299.954
300.35/301.40 c bounds - >= -1074 @ 299.954
300.35/301.40 c bounds - >= -1073 @ 299.954
300.45/301.42 c bounds - >= -1072 @ 299.954
300.45/301.42 c bounds - >= -1071 @ 299.955
300.45/301.42 c bounds - >= -1070 @ 299.955
300.45/301.42 c bounds - >= -1069 @ 299.955
300.45/301.42 c bounds - >= -1068 @ 299.955
300.45/301.42 c bounds - >= -1067 @ 299.955
300.45/301.42 c bounds - >= -1066 @ 299.955
300.45/301.42 c bounds - >= -1065 @ 299.956
300.45/301.42 c bounds - >= -1064 @ 299.956
300.45/301.42 c bounds - >= -1063 @ 299.956
300.45/301.42 c bounds - >= -1062 @ 299.956
300.45/301.42 c bounds - >= -1061 @ 299.956
300.45/301.42 c bounds - >= -1060 @ 299.956
300.45/301.42 c bounds - >= -1059 @ 299.957
300.45/301.42 c bounds - >= -1058 @ 299.957
300.45/301.42 c bounds - >= -1057 @ 299.957
300.45/301.42 c bounds - >= -1056 @ 299.957
300.45/301.42 c bounds - >= -1055 @ 299.957
300.45/301.42 c bounds - >= -1054 @ 299.957
300.45/301.42 c bounds - >= -1053 @ 299.958
300.45/301.42 c bounds - >= -1052 @ 299.958
300.45/301.42 c bounds - >= -1051 @ 299.958
300.45/301.42 c bounds - >= -1050 @ 299.958
300.45/301.42 c bounds - >= -1049 @ 299.958
300.45/301.42 c bounds - >= -1048 @ 299.958
300.45/301.42 c bounds - >= -1047 @ 299.959
300.45/301.42 c bounds - >= -1046 @ 299.959
300.45/301.42 c bounds - >= -1045 @ 299.959
300.45/301.42 c bounds - >= -1044 @ 299.959
300.45/301.42 c bounds - >= -1043 @ 299.959
300.45/301.42 c bounds - >= -1042 @ 299.96
300.45/301.42 c bounds - >= -1041 @ 299.96
300.45/301.42 c bounds - >= -1040 @ 299.96
300.45/301.42 c bounds - >= -1039 @ 299.96
300.45/301.42 c bounds - >= -1038 @ 299.96
300.45/301.42 c bounds - >= -1037 @ 299.96
300.45/301.42 c bounds - >= -1036 @ 299.96
300.45/301.42 c bounds - >= -1035 @ 299.96
300.45/301.42 c bounds - >= -1034 @ 299.96
300.45/301.42 c bounds - >= -1033 @ 299.96
300.45/301.42 c bounds - >= -1032 @ 299.96
300.45/301.42 c bounds - >= -1031 @ 299.96
300.45/301.42 c bounds - >= -1030 @ 299.961
300.45/301.42 c bounds - >= -1029 @ 299.961
300.45/301.42 c bounds - >= -1028 @ 299.961
300.45/301.42 c bounds - >= -1027 @ 299.961
300.45/301.42 c bounds - >= -1026 @ 299.961
300.45/301.42 c bounds - >= -1025 @ 299.962
300.45/301.42 c bounds - >= -1024 @ 299.962
300.45/301.42 c bounds - >= -1023 @ 299.962
300.45/301.42 c bounds - >= -1022 @ 299.962
300.45/301.42 c bounds - >= -1021 @ 299.962
300.45/301.42 c bounds - >= -1020 @ 299.962
300.45/301.42 c bounds - >= -1019 @ 299.963
300.45/301.42 c bounds - >= -1018 @ 299.963
300.45/301.42 c bounds - >= -1017 @ 299.963
300.45/301.42 c bounds - >= -1016 @ 299.963
300.45/301.42 c bounds - >= -1015 @ 299.963
300.45/301.42 c bounds - >= -1014 @ 299.963
300.45/301.42 c bounds - >= -1013 @ 299.963
300.45/301.42 c bounds - >= -1012 @ 299.963
300.45/301.42 c bounds - >= -1011 @ 299.963
300.45/301.42 c bounds - >= -1010 @ 299.963
300.45/301.42 c bounds - >= -1009 @ 299.963
300.45/301.42 c bounds - >= -1008 @ 299.963
300.45/301.42 c bounds - >= -1007 @ 299.963
300.45/301.42 c bounds - >= -1006 @ 299.963
300.45/301.42 c bounds - >= -1005 @ 299.963
300.45/301.42 c bounds - >= -1004 @ 299.963
300.45/301.42 c bounds - >= -1003 @ 299.963
300.45/301.42 c bounds - >= -1002 @ 299.963
300.45/301.42 c bounds - >= -1001 @ 299.963
300.45/301.42 c bounds - >= -1000 @ 299.963
300.45/301.42 c bounds - >= -999 @ 299.963
300.45/301.42 c bounds - >= -998 @ 299.963
300.45/301.42 c bounds - >= -997 @ 299.963
300.45/301.42 c bounds - >= -996 @ 299.964
300.45/301.42 c bounds - >= -995 @ 299.964
300.45/301.42 c bounds - >= -994 @ 299.964
300.45/301.42 c bounds - >= -993 @ 299.964
300.45/301.42 c bounds - >= -992 @ 299.964
300.45/301.42 c bounds - >= -991 @ 299.964
300.45/301.42 c bounds - >= -990 @ 299.965
300.45/301.42 c bounds - >= -989 @ 299.965
300.45/301.42 c bounds - >= -988 @ 299.965
300.45/301.42 c bounds - >= -987 @ 299.965
300.45/301.42 c bounds - >= -986 @ 299.965
300.45/301.42 c bounds - >= -985 @ 299.965
300.45/301.42 c bounds - >= -984 @ 299.965
300.45/301.42 c bounds - >= -983 @ 299.965
300.45/301.42 c bounds - >= -982 @ 299.965
300.45/301.42 c bounds - >= -981 @ 299.965
300.45/301.42 c bounds - >= -980 @ 299.966
300.45/301.42 c bounds - >= -979 @ 299.966
300.45/301.42 c bounds - >= -978 @ 299.966
300.45/301.42 c bounds - >= -977 @ 299.966
300.45/301.42 c bounds - >= -976 @ 299.966
300.45/301.42 c bounds - >= -975 @ 299.966
300.45/301.42 c bounds - >= -974 @ 299.966
300.45/301.42 c bounds - >= -973 @ 299.966
300.45/301.42 c bounds - >= -972 @ 299.966
300.45/301.42 c bounds - >= -971 @ 299.967
300.45/301.42 c bounds - >= -970 @ 299.967
300.45/301.42 c bounds - >= -969 @ 299.967
300.45/301.42 c bounds - >= -968 @ 299.967
300.45/301.42 c bounds - >= -967 @ 299.967
300.45/301.42 c bounds - >= -966 @ 299.968
300.45/301.42 c bounds - >= -965 @ 299.968
300.45/301.42 c bounds - >= -964 @ 299.968
300.45/301.42 c bounds - >= -963 @ 299.968
300.45/301.42 c bounds - >= -962 @ 299.969
300.45/301.42 c bounds - >= -961 @ 299.969
300.45/301.42 c bounds - >= -960 @ 299.969
300.45/301.42 c bounds - >= -959 @ 299.969
300.45/301.42 c bounds - >= -958 @ 299.969
300.45/301.42 c bounds - >= -957 @ 299.969
300.45/301.42 c bounds - >= -956 @ 299.969
300.45/301.42 c bounds - >= -955 @ 299.969
300.45/301.42 c bounds - >= -954 @ 299.969
300.45/301.42 c bounds - >= -953 @ 299.969
300.45/301.42 c bounds - >= -952 @ 299.969
300.45/301.42 c bounds - >= -951 @ 299.969
300.45/301.42 c bounds - >= -950 @ 299.969
300.45/301.42 c bounds - >= -949 @ 299.969
300.45/301.42 c bounds - >= -948 @ 299.969
300.45/301.42 c bounds - >= -947 @ 299.969
300.45/301.42 c bounds - >= -946 @ 299.969
300.45/301.42 c bounds - >= -945 @ 299.97
300.45/301.42 c bounds - >= -944 @ 299.97
300.45/301.42 c bounds - >= -943 @ 299.97
300.45/301.42 c bounds - >= -942 @ 299.97
300.45/301.42 c bounds - >= -941 @ 299.97
300.45/301.42 c bounds - >= -940 @ 299.971
300.45/301.42 c bounds - >= -939 @ 299.971
300.45/301.42 c bounds - >= -938 @ 299.971
300.45/301.42 c bounds - >= -937 @ 299.971
300.45/301.42 c bounds - >= -936 @ 299.972
300.45/301.42 c bounds - >= -935 @ 299.972
300.45/301.42 c bounds - >= -934 @ 299.972
300.45/301.42 c bounds - >= -933 @ 299.972
300.45/301.43 c bounds - >= -932 @ 299.973
300.45/301.43 c bounds - >= -931 @ 299.973
300.45/301.43 c bounds - >= -930 @ 299.973
300.45/301.43 c bounds - >= -929 @ 299.973
300.45/301.43 c bounds - >= -928 @ 299.974
300.45/301.43 c bounds - >= -927 @ 299.974
300.45/301.43 c bounds - >= -926 @ 299.974
300.45/301.43 c bounds - >= -925 @ 299.974
300.45/301.43 c bounds - >= -924 @ 299.974
300.45/301.43 c bounds - >= -923 @ 299.975
300.45/301.43 c bounds - >= -922 @ 299.975
300.45/301.43 c bounds - >= -921 @ 299.975
300.45/301.43 c bounds - >= -920 @ 299.976
300.45/301.43 c bounds - >= -919 @ 299.976
300.45/301.43 c bounds - >= -918 @ 299.976
300.45/301.43 c bounds - >= -917 @ 299.976
300.45/301.43 c bounds - >= -916 @ 299.977
300.45/301.43 c bounds - >= -915 @ 299.977
300.45/301.43 c bounds - >= -914 @ 299.977
300.45/301.43 c bounds - >= -913 @ 299.977
300.45/301.43 c bounds - >= -912 @ 299.978
300.45/301.43 c bounds - >= -911 @ 299.978
300.45/301.43 c bounds - >= -910 @ 299.978
300.45/301.43 c bounds - >= -909 @ 299.979
300.45/301.43 c bounds - >= -908 @ 299.979
300.45/301.43 c finalizing WCE round: reformulating cores
369.18/370.32 c #Conflicts: 1000 | #Constraints: 106285
369.18/370.32 c #Conflicts: 2000 | #Constraints: 107287
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 3000 | #Constraints: 106973
369.18/370.32 c #Conflicts: 4000 | #Constraints: 107975
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 5000 | #Constraints: 107369
369.18/370.32 c #Conflicts: 6000 | #Constraints: 108371
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 7000 | #Constraints: 107369
369.18/370.32 c #Conflicts: 8000 | #Constraints: 108371
369.18/370.32 c #Conflicts: 9000 | #Constraints: 109375
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 10000 | #Constraints: 108077
369.18/370.32 c #Conflicts: 11000 | #Constraints: 109079
369.18/370.32 c #Conflicts: 12000 | #Constraints: 110081
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 13000 | #Constraints: 108534
369.18/370.32 c #Conflicts: 14000 | #Constraints: 109536
369.18/370.32 c #Conflicts: 15000 | #Constraints: 110538
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 16000 | #Constraints: 108765
369.18/370.32 c #Conflicts: 17000 | #Constraints: 109767
369.18/370.32 c #Conflicts: 18000 | #Constraints: 110769
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 19000 | #Constraints: 108785
369.18/370.32 c #Conflicts: 20000 | #Constraints: 109787
369.18/370.32 c #Conflicts: 21000 | #Constraints: 110789
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 22000 | #Constraints: 108600
369.18/370.32 c #Conflicts: 23000 | #Constraints: 109602
369.18/370.32 c #Conflicts: 24000 | #Constraints: 110606
369.18/370.32 c #Conflicts: 25000 | #Constraints: 111608
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 26000 | #Constraints: 109214
369.18/370.32 c #Conflicts: 27000 | #Constraints: 110216
369.18/370.32 c #Conflicts: 28000 | #Constraints: 111218
369.18/370.32 c #Conflicts: 29000 | #Constraints: 112222
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 30000 | #Constraints: 109628
369.18/370.32 c #Conflicts: 31000 | #Constraints: 110630
369.18/370.32 c #Conflicts: 32000 | #Constraints: 111632
369.18/370.32 c #Conflicts: 33000 | #Constraints: 112636
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 34000 | #Constraints: 109838
369.18/370.32 c #Conflicts: 35000 | #Constraints: 110840
369.18/370.32 c #Conflicts: 36000 | #Constraints: 111842
369.18/370.32 c #Conflicts: 37000 | #Constraints: 112846
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 38000 | #Constraints: 109849
369.18/370.32 c #Conflicts: 39000 | #Constraints: 110851
369.18/370.32 c #Conflicts: 40000 | #Constraints: 111853
369.18/370.32 c #Conflicts: 41000 | #Constraints: 112857
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 42000 | #Constraints: 109656
369.18/370.32 c #Conflicts: 43000 | #Constraints: 110658
369.18/370.32 c #Conflicts: 44000 | #Constraints: 111662
369.18/370.32 c #Conflicts: 45000 | #Constraints: 112664
369.18/370.32 c #Conflicts: 46000 | #Constraints: 113666
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 47000 | #Constraints: 110272
369.18/370.32 c #Conflicts: 48000 | #Constraints: 111274
369.18/370.32 c #Conflicts: 49000 | #Constraints: 112276
369.18/370.32 c #Conflicts: 50000 | #Constraints: 113280
369.18/370.32 c #Conflicts: 51000 | #Constraints: 114282
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 52000 | #Constraints: 110681
369.18/370.32 c #Conflicts: 53000 | #Constraints: 111683
369.18/370.32 c #Conflicts: 54000 | #Constraints: 112685
369.18/370.32 c #Conflicts: 55000 | #Constraints: 113689
369.18/370.32 c #Conflicts: 56000 | #Constraints: 114691
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 57000 | #Constraints: 110891
369.18/370.32 c #Conflicts: 58000 | #Constraints: 111893
369.18/370.32 c #Conflicts: 59000 | #Constraints: 112895
369.18/370.32 c #Conflicts: 60000 | #Constraints: 113899
369.18/370.32 c #Conflicts: 61000 | #Constraints: 114901
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 62000 | #Constraints: 110905
369.18/370.32 c #Conflicts: 63000 | #Constraints: 111907
369.18/370.32 c #Conflicts: 64000 | #Constraints: 112909
369.18/370.32 c #Conflicts: 65000 | #Constraints: 113913
369.18/370.32 c #Conflicts: 66000 | #Constraints: 114915
369.18/370.32 c INPROCESSING
369.18/370.32 c GARBAGE COLLECT
369.18/370.32 c #Conflicts: 67000 | #Constraints: 110720
369.18/370.32 c #Conflicts: 68000 | #Constraints: 111722
442.08/443.42 c #Conflicts: 69000 | #Constraints: 112726
442.08/443.42 c #Conflicts: 70000 | #Constraints: 113728
442.08/443.42 c #Conflicts: 71000 | #Constraints: 114730
442.08/443.42 c #Conflicts: 72000 | #Constraints: 115734
442.08/443.42 c INPROCESSING
442.08/443.42 c GARBAGE COLLECT
442.08/443.42 c #Conflicts: 73000 | #Constraints: 111339
442.08/443.42 c #Conflicts: 74000 | #Constraints: 112341
442.08/443.42 c #Conflicts: 75000 | #Constraints: 113343
442.08/443.42 c #Conflicts: 76000 | #Constraints: 114347
442.08/443.42 c #Conflicts: 77000 | #Constraints: 115349
442.08/443.42 c #Conflicts: 78000 | #Constraints: 116351
442.08/443.42 c INPROCESSING
442.08/443.42 c GARBAGE COLLECT
442.08/443.42 c #Conflicts: 79000 | #Constraints: 111755
442.08/443.42 c #Conflicts: 80000 | #Constraints: 112757
442.08/443.42 c #Conflicts: 81000 | #Constraints: 113759
442.08/443.42 c #Conflicts: 82000 | #Constraints: 114763
442.08/443.42 c #Conflicts: 83000 | #Constraints: 115765
442.08/443.42 c #Conflicts: 84000 | #Constraints: 116767
442.08/443.42 c INPROCESSING
442.08/443.42 c GARBAGE COLLECT
442.08/443.42 c #Conflicts: 85000 | #Constraints: 111968
442.08/443.42 c #Conflicts: 86000 | #Constraints: 112970
442.08/443.42 c #Conflicts: 87000 | #Constraints: 113972
442.08/443.42 c #Conflicts: 88000 | #Constraints: 114976
442.08/443.42 c #Conflicts: 89000 | #Constraints: 115978
442.08/443.42 c #Conflicts: 90000 | #Constraints: 116980
442.08/443.42 c INPROCESSING
442.08/443.42 c GARBAGE COLLECT
442.08/443.42 c #Conflicts: 91000 | #Constraints: 111986
442.08/443.42 c #Conflicts: 92000 | #Constraints: 112988
442.08/443.42 c #Conflicts: 93000 | #Constraints: 113990
442.08/443.42 c #Conflicts: 94000 | #Constraints: 114994
442.08/443.42 c #Conflicts: 95000 | #Constraints: 115996
442.08/443.42 c #Conflicts: 96000 | #Constraints: 116998
442.08/443.42 c INPROCESSING
442.08/443.42 c GARBAGE COLLECT
442.08/443.42 c #Conflicts: 97000 | #Constraints: 111798
442.08/443.42 c #Conflicts: 98000 | #Constraints: 112800
442.08/443.42 c #Conflicts: 99000 | #Constraints: 113804
442.08/443.42 c #Conflicts: 100000 | #Constraints: 114806
442.08/443.42 c #Conflicts: 101000 | #Constraints: 115808
442.08/443.42 c #Conflicts: 102000 | #Constraints: 116812
442.08/443.42 c #Conflicts: 103000 | #Constraints: 117814
442.08/443.42 c INPROCESSING
442.08/443.42 c GARBAGE COLLECT
442.08/443.42 c #Conflicts: 104000 | #Constraints: 112416
442.08/443.42 c #Conflicts: 105000 | #Constraints: 113418
442.08/443.42 c #Conflicts: 106000 | #Constraints: 114420
442.08/443.42 c #Conflicts: 107000 | #Constraints: 115424
442.08/443.42 c #Conflicts: 108000 | #Constraints: 116426
442.08/443.42 c #Conflicts: 109000 | #Constraints: 117428
442.08/443.42 c #Conflicts: 110000 | #Constraints: 118432
442.08/443.42 c INPROCESSING
442.08/443.42 c GARBAGE COLLECT
442.08/443.42 c #Conflicts: 111000 | #Constraints: 112830
442.08/443.42 c #Conflicts: 112000 | #Constraints: 113832
442.08/443.42 c #Conflicts: 113000 | #Constraints: 114834
442.08/443.42 c #Conflicts: 114000 | #Constraints: 115838
442.08/443.42 c #Conflicts: 115000 | #Constraints: 116840
442.08/443.42 c #Conflicts: 116000 | #Constraints: 117842
442.08/443.42 c #Conflicts: 117000 | #Constraints: 118846
442.08/443.42 c INPROCESSING
442.08/443.42 c GARBAGE COLLECT
442.08/443.42 c #Conflicts: 118000 | #Constraints: 113053
442.08/443.42 c #Conflicts: 119000 | #Constraints: 114055
442.08/443.42 c #Conflicts: 120000 | #Constraints: 115057
442.08/443.42 c #Conflicts: 121000 | #Constraints: 116061
442.08/443.42 c #Conflicts: 122000 | #Constraints: 117063
442.08/443.43 c #Conflicts: 123000 | #Constraints: 118065
442.08/443.43 c #Conflicts: 124000 | #Constraints: 119069
442.08/443.43 c INPROCESSING
442.08/443.43 c GARBAGE COLLECT
442.08/443.43 c #Conflicts: 125000 | #Constraints: 113067
442.08/443.43 c #Conflicts: 126000 | #Constraints: 114069
442.08/443.43 c #Conflicts: 127000 | #Constraints: 115071
442.08/443.43 c #Conflicts: 128000 | #Constraints: 116075
442.08/443.43 c #Conflicts: 129000 | #Constraints: 117077
442.08/443.43 c #Conflicts: 130000 | #Constraints: 118079
442.08/443.43 c #Conflicts: 131000 | #Constraints: 119083
442.08/443.43 c INPROCESSING
442.08/443.43 c GARBAGE COLLECT
442.08/443.43 c #Conflicts: 132000 | #Constraints: 112883
442.08/443.43 c #Conflicts: 133000 | #Constraints: 113885
442.08/443.43 c #Conflicts: 134000 | #Constraints: 114889
442.08/443.43 c #Conflicts: 135000 | #Constraints: 115891
442.08/443.43 c #Conflicts: 136000 | #Constraints: 116893
442.08/443.43 c #Conflicts: 137000 | #Constraints: 117897
442.08/443.43 c #Conflicts: 138000 | #Constraints: 118899
442.08/443.43 c #Conflicts: 139000 | #Constraints: 119901
442.08/443.43 c INPROCESSING
442.08/443.43 c GARBAGE COLLECT
442.08/443.43 c #Conflicts: 140000 | #Constraints: 113508
545.31/546.92 c #Conflicts: 141000 | #Constraints: 114510
545.31/546.92 c #Conflicts: 142000 | #Constraints: 115512
545.31/546.92 c #Conflicts: 143000 | #Constraints: 116516
545.31/546.92 c #Conflicts: 144000 | #Constraints: 117518
545.31/546.92 c #Conflicts: 145000 | #Constraints: 118520
545.31/546.92 c #Conflicts: 146000 | #Constraints: 119524
545.31/546.92 c #Conflicts: 147000 | #Constraints: 120526
545.31/546.92 c INPROCESSING
545.31/546.92 c GARBAGE COLLECT
545.31/546.92 c #Conflicts: 148000 | #Constraints: 113927
545.31/546.92 c #Conflicts: 149000 | #Constraints: 114929
545.31/546.92 c #Conflicts: 150000 | #Constraints: 115931
545.31/546.92 c #Conflicts: 151000 | #Constraints: 116935
545.31/546.92 c #Conflicts: 152000 | #Constraints: 117937
545.31/546.92 c #Conflicts: 153000 | #Constraints: 118939
545.31/546.92 c #Conflicts: 154000 | #Constraints: 119943
545.31/546.92 c #Conflicts: 155000 | #Constraints: 120945
545.31/546.92 c INPROCESSING
545.31/546.92 c GARBAGE COLLECT
545.31/546.92 c #Conflicts: 156000 | #Constraints: 114147
545.31/546.92 c #Conflicts: 157000 | #Constraints: 115149
545.31/546.92 c #Conflicts: 158000 | #Constraints: 116151
545.31/546.92 c #Conflicts: 159000 | #Constraints: 117155
545.31/546.92 c #Conflicts: 160000 | #Constraints: 118157
545.31/546.92 c #Conflicts: 161000 | #Constraints: 119159
545.31/546.92 c #Conflicts: 162000 | #Constraints: 120163
545.31/546.92 c #Conflicts: 163000 | #Constraints: 121165
545.31/546.92 c INPROCESSING
545.31/546.92 c GARBAGE COLLECT
545.31/546.92 c #Conflicts: 164000 | #Constraints: 114168
545.31/546.92 c #Conflicts: 165000 | #Constraints: 115170
545.31/546.92 c #Conflicts: 166000 | #Constraints: 116172
545.31/546.92 c #Conflicts: 167000 | #Constraints: 117176
545.31/546.92 c #Conflicts: 168000 | #Constraints: 118178
545.31/546.92 c #Conflicts: 169000 | #Constraints: 119180
545.31/546.92 c #Conflicts: 170000 | #Constraints: 120184
545.31/546.92 c #Conflicts: 171000 | #Constraints: 121186
545.31/546.92 c INPROCESSING
545.31/546.92 c GARBAGE COLLECT
545.31/546.92 c #Conflicts: 172000 | #Constraints: 113987
545.31/546.92 c #Conflicts: 173000 | #Constraints: 114989
545.31/546.92 c #Conflicts: 174000 | #Constraints: 115993
545.31/546.92 c #Conflicts: 175000 | #Constraints: 116995
545.31/546.92 c #Conflicts: 176000 | #Constraints: 117997
545.31/546.92 c #Conflicts: 177000 | #Constraints: 119001
545.31/546.92 c #Conflicts: 178000 | #Constraints: 120003
545.31/546.92 c #Conflicts: 179000 | #Constraints: 121005
545.31/546.92 c #Conflicts: 180000 | #Constraints: 122009
545.31/546.92 c INPROCESSING
545.31/546.92 c GARBAGE COLLECT
545.31/546.92 c #Conflicts: 181000 | #Constraints: 114607
545.31/546.92 c #Conflicts: 182000 | #Constraints: 115609
545.31/546.92 c #Conflicts: 183000 | #Constraints: 116611
545.31/546.92 c #Conflicts: 184000 | #Constraints: 117615
545.31/546.92 c #Conflicts: 185000 | #Constraints: 118617
545.31/546.92 c #Conflicts: 186000 | #Constraints: 119619
545.31/546.92 c #Conflicts: 187000 | #Constraints: 120623
545.31/546.92 c #Conflicts: 188000 | #Constraints: 121625
545.31/546.92 c #Conflicts: 189000 | #Constraints: 122627
545.31/546.92 c INPROCESSING
545.31/546.92 c GARBAGE COLLECT
545.31/546.92 c #Conflicts: 190000 | #Constraints: 115031
545.31/546.92 c #Conflicts: 191000 | #Constraints: 116033
545.31/546.92 c #Conflicts: 192000 | #Constraints: 117035
545.31/546.92 c #Conflicts: 193000 | #Constraints: 118039
545.31/546.92 c #Conflicts: 194000 | #Constraints: 119041
545.31/546.92 c #Conflicts: 195000 | #Constraints: 120043
545.31/546.92 c #Conflicts: 196000 | #Constraints: 121047
545.31/546.92 c #Conflicts: 197000 | #Constraints: 122049
545.31/546.92 c #Conflicts: 198000 | #Constraints: 123051
545.31/546.92 c INPROCESSING
545.31/546.92 c GARBAGE COLLECT
545.31/546.92 c #Conflicts: 199000 | #Constraints: 115256
545.31/546.92 c #Conflicts: 200000 | #Constraints: 116258
545.31/546.92 c #Conflicts: 201000 | #Constraints: 117260
545.31/546.92 c #Conflicts: 202000 | #Constraints: 118264
545.31/546.92 c #Conflicts: 203000 | #Constraints: 119266
545.31/546.92 c #Conflicts: 204000 | #Constraints: 120268
545.31/546.92 c #Conflicts: 205000 | #Constraints: 121272
545.31/546.92 c #Conflicts: 206000 | #Constraints: 122274
545.31/546.92 c #Conflicts: 207000 | #Constraints: 123276
545.31/546.92 c INPROCESSING
545.31/546.92 c GARBAGE COLLECT
545.31/546.92 c #Conflicts: 208000 | #Constraints: 115279
545.31/546.92 c #Conflicts: 209000 | #Constraints: 116281
545.31/546.92 c #Conflicts: 210000 | #Constraints: 117283
545.31/546.92 c #Conflicts: 211000 | #Constraints: 118287
545.31/546.92 c #Conflicts: 212000 | #Constraints: 119289
545.31/546.92 c #Conflicts: 213000 | #Constraints: 120291
649.31/651.26 c #Conflicts: 214000 | #Constraints: 121295
649.31/651.26 c #Conflicts: 215000 | #Constraints: 122297
649.31/651.26 c #Conflicts: 216000 | #Constraints: 123299
649.31/651.26 c INPROCESSING
649.31/651.26 c GARBAGE COLLECT
649.31/651.26 c #Conflicts: 217000 | #Constraints: 115100
649.31/651.26 c #Conflicts: 218000 | #Constraints: 116102
649.31/651.26 c #Conflicts: 219000 | #Constraints: 117106
649.31/651.26 c #Conflicts: 220000 | #Constraints: 118108
649.31/651.26 c #Conflicts: 221000 | #Constraints: 119110
649.31/651.26 c #Conflicts: 222000 | #Constraints: 120114
649.31/651.26 c #Conflicts: 223000 | #Constraints: 121116
649.31/651.26 c #Conflicts: 224000 | #Constraints: 122118
649.31/651.26 c #Conflicts: 225000 | #Constraints: 123122
649.31/651.26 c #Conflicts: 226000 | #Constraints: 124124
649.31/651.26 c INPROCESSING
649.31/651.26 c GARBAGE COLLECT
649.31/651.26 c #Conflicts: 227000 | #Constraints: 115726
649.31/651.26 c #Conflicts: 228000 | #Constraints: 116728
649.31/651.26 c #Conflicts: 229000 | #Constraints: 117730
649.31/651.26 c #Conflicts: 230000 | #Constraints: 118734
649.31/651.26 c #Conflicts: 231000 | #Constraints: 119736
649.31/651.26 c #Conflicts: 232000 | #Constraints: 120738
649.31/651.26 c #Conflicts: 233000 | #Constraints: 121742
649.31/651.26 c #Conflicts: 234000 | #Constraints: 122744
649.31/651.26 c #Conflicts: 235000 | #Constraints: 123746
649.31/651.26 c #Conflicts: 236000 | #Constraints: 124750
649.31/651.26 c INPROCESSING
649.31/651.26 c GARBAGE COLLECT
649.31/651.26 c #Conflicts: 237000 | #Constraints: 116152
649.31/651.26 c #Conflicts: 238000 | #Constraints: 117154
649.31/651.26 c #Conflicts: 239000 | #Constraints: 118156
649.31/651.26 c #Conflicts: 240000 | #Constraints: 119160
649.31/651.26 c #Conflicts: 241000 | #Constraints: 120162
649.31/651.26 c #Conflicts: 242000 | #Constraints: 121164
649.31/651.26 c bounds -726 >= -908 @ 592.844
649.31/651.26 c bounds -726 >= -907 @ 592.851
649.31/651.26 c bounds -726 >= -906 @ 592.851
649.31/651.26 c bounds -726 >= -905 @ 592.863
649.31/651.26 c bounds -726 >= -904 @ 592.871
649.31/651.26 c bounds -726 >= -903 @ 592.879
649.31/651.26 c bounds -726 >= -902 @ 592.886
649.31/651.26 c bounds -726 >= -901 @ 592.892
649.31/651.26 c bounds -726 >= -900 @ 592.897
649.31/651.26 c bounds -726 >= -899 @ 592.903
649.31/651.26 c bounds -726 >= -898 @ 592.907
649.31/651.26 c bounds -726 >= -897 @ 592.911
649.31/651.26 c bounds -726 >= -896 @ 592.914
649.31/651.26 c bounds -726 >= -895 @ 592.917
649.31/651.26 c bounds -726 >= -894 @ 592.922
649.31/651.26 c bounds -726 >= -893 @ 592.926
649.31/651.26 c bounds -726 >= -892 @ 592.931
649.31/651.26 c bounds -726 >= -891 @ 592.935
649.31/651.26 c bounds -726 >= -890 @ 592.939
649.31/651.26 c bounds -726 >= -889 @ 592.943
649.31/651.26 c bounds -726 >= -888 @ 592.948
649.31/651.26 c bounds -726 >= -887 @ 592.952
649.31/651.26 c bounds -726 >= -886 @ 592.958
649.31/651.26 c bounds -726 >= -885 @ 592.959
649.31/651.26 c bounds -726 >= -884 @ 592.962
649.31/651.26 c bounds -726 >= -883 @ 592.966
649.31/651.26 c bounds -726 >= -882 @ 592.971
649.31/651.26 c bounds -726 >= -881 @ 592.979
649.31/651.26 c bounds -726 >= -880 @ 592.991
649.31/651.26 c bounds -726 >= -879 @ 593.019
649.31/651.26 c bounds -726 >= -878 @ 593.05
649.31/651.26 c bounds -726 >= -877 @ 593.147
649.31/651.26 c bounds -726 >= -876 @ 593.296
649.31/651.26 c bounds -726 >= -875 @ 593.56
649.31/651.26 c #Conflicts: 243000 | #Constraints: 123294
649.31/651.26 c bounds -726 >= -874 @ 594.466
649.31/651.26 c #Conflicts: 244000 | #Constraints: 124334
649.31/651.26 c #Conflicts: 245000 | #Constraints: 125334
649.31/651.26 c #Conflicts: 246000 | #Constraints: 126334
649.31/651.26 c INPROCESSING
649.31/651.26 c GARBAGE COLLECT
649.31/651.26 c #Conflicts: 247000 | #Constraints: 117270
649.31/651.26 c #Conflicts: 248000 | #Constraints: 118270
649.31/651.26 c #Conflicts: 249000 | #Constraints: 119270
649.31/651.26 c #Conflicts: 250000 | #Constraints: 120270
649.31/651.26 c #Conflicts: 251000 | #Constraints: 121270
649.31/651.26 c #Conflicts: 252000 | #Constraints: 122270
649.31/651.26 c #Conflicts: 253000 | #Constraints: 123270
649.31/651.26 c #Conflicts: 254000 | #Constraints: 124270
649.31/651.26 c #Conflicts: 255000 | #Constraints: 125270
649.31/651.26 c #Conflicts: 256000 | #Constraints: 126270
649.31/651.26 c INPROCESSING
649.31/651.26 c GARBAGE COLLECT
649.31/651.26 c #Conflicts: 257000 | #Constraints: 117092
649.31/651.26 c #Conflicts: 258000 | #Constraints: 118092
649.31/651.26 c #Conflicts: 259000 | #Constraints: 119092
649.31/651.26 c #Conflicts: 260000 | #Constraints: 120092
649.31/651.26 c #Conflicts: 261000 | #Constraints: 121092
649.31/651.26 c #Conflicts: 262000 | #Constraints: 122092
649.31/651.26 c #Conflicts: 263000 | #Constraints: 123092
649.31/651.26 c #Conflicts: 264000 | #Constraints: 124092
649.31/651.26 c #Conflicts: 265000 | #Constraints: 125092
649.31/651.26 c #Conflicts: 266000 | #Constraints: 126092
649.31/651.26 c INPROCESSING
649.31/651.26 c GARBAGE COLLECT
649.31/651.26 c #Conflicts: 267000 | #Constraints: 116778
877.45/879.99 c #Conflicts: 268000 | #Constraints: 117778
877.45/879.99 c #Conflicts: 269000 | #Constraints: 118778
877.45/879.99 c #Conflicts: 270000 | #Constraints: 119778
877.45/879.99 c #Conflicts: 271000 | #Constraints: 120778
877.45/879.99 c #Conflicts: 272000 | #Constraints: 121778
877.45/879.99 c #Conflicts: 273000 | #Constraints: 122778
877.45/879.99 c #Conflicts: 274000 | #Constraints: 123778
877.45/879.99 c #Conflicts: 275000 | #Constraints: 124778
877.45/879.99 c #Conflicts: 276000 | #Constraints: 125778
877.45/879.99 c #Conflicts: 277000 | #Constraints: 126778
877.45/879.99 c INPROCESSING
877.45/879.99 c GARBAGE COLLECT
877.45/879.99 c #Conflicts: 278000 | #Constraints: 117316
877.45/879.99 c #Conflicts: 279000 | #Constraints: 118316
877.45/879.99 c #Conflicts: 280000 | #Constraints: 119316
877.45/879.99 c #Conflicts: 281000 | #Constraints: 120316
877.45/879.99 c #Conflicts: 282000 | #Constraints: 121316
877.45/879.99 c #Conflicts: 283000 | #Constraints: 122316
877.45/879.99 c #Conflicts: 284000 | #Constraints: 123316
877.45/879.99 c #Conflicts: 285000 | #Constraints: 124316
877.45/879.99 c #Conflicts: 286000 | #Constraints: 125316
877.45/879.99 c #Conflicts: 287000 | #Constraints: 126316
877.45/879.99 c #Conflicts: 288000 | #Constraints: 127316
877.45/879.99 c INPROCESSING
877.45/879.99 c GARBAGE COLLECT
877.45/879.99 c #Conflicts: 289000 | #Constraints: 117698
877.45/879.99 c #Conflicts: 290000 | #Constraints: 118698
877.45/879.99 c #Conflicts: 291000 | #Constraints: 119698
877.45/879.99 c #Conflicts: 292000 | #Constraints: 120698
877.45/879.99 c #Conflicts: 293000 | #Constraints: 121698
877.45/879.99 c #Conflicts: 294000 | #Constraints: 122698
877.45/879.99 c #Conflicts: 295000 | #Constraints: 123698
877.45/879.99 c #Conflicts: 296000 | #Constraints: 124698
877.45/879.99 c #Conflicts: 297000 | #Constraints: 125698
877.45/879.99 c #Conflicts: 298000 | #Constraints: 126698
877.45/879.99 c #Conflicts: 299000 | #Constraints: 127698
877.45/879.99 c INPROCESSING
877.45/879.99 c GARBAGE COLLECT
877.45/879.99 c #Conflicts: 300000 | #Constraints: 117886
877.45/879.99 c #Conflicts: 301000 | #Constraints: 118886
877.45/879.99 c #Conflicts: 302000 | #Constraints: 119886
877.45/879.99 c #Conflicts: 303000 | #Constraints: 120886
877.45/879.99 c #Conflicts: 304000 | #Constraints: 121886
877.45/879.99 c #Conflicts: 305000 | #Constraints: 122886
877.45/879.99 c #Conflicts: 306000 | #Constraints: 123886
877.45/879.99 c #Conflicts: 307000 | #Constraints: 124886
877.45/879.99 c #Conflicts: 308000 | #Constraints: 125886
877.45/879.99 c #Conflicts: 309000 | #Constraints: 126886
877.45/879.99 c #Conflicts: 310000 | #Constraints: 127886
877.45/879.99 c INPROCESSING
877.45/879.99 c GARBAGE COLLECT
877.45/879.99 c #Conflicts: 311000 | #Constraints: 117872
877.45/879.99 c #Conflicts: 312000 | #Constraints: 118872
877.45/879.99 c #Conflicts: 313000 | #Constraints: 119872
877.45/879.99 c #Conflicts: 314000 | #Constraints: 120872
877.45/879.99 c #Conflicts: 315000 | #Constraints: 121872
877.45/879.99 c #Conflicts: 316000 | #Constraints: 122872
877.45/879.99 c #Conflicts: 317000 | #Constraints: 123872
877.45/879.99 c #Conflicts: 318000 | #Constraints: 124872
877.45/879.99 c #Conflicts: 319000 | #Constraints: 125872
877.45/879.99 c #Conflicts: 320000 | #Constraints: 126872
877.45/879.99 c #Conflicts: 321000 | #Constraints: 127872
877.45/879.99 c INPROCESSING
877.45/879.99 c GARBAGE COLLECT
877.45/879.99 c #Conflicts: 322000 | #Constraints: 117659
877.45/879.99 c #Conflicts: 323000 | #Constraints: 118659
877.45/879.99 c #Conflicts: 324000 | #Constraints: 119659
877.45/879.99 c #Conflicts: 325000 | #Constraints: 120659
877.45/879.99 c #Conflicts: 326000 | #Constraints: 121659
877.45/879.99 c #Conflicts: 327000 | #Constraints: 122659
877.45/879.99 c #Conflicts: 328000 | #Constraints: 123659
877.45/879.99 c #Conflicts: 329000 | #Constraints: 124659
877.45/879.99 c #Conflicts: 330000 | #Constraints: 125659
877.45/879.99 c #Conflicts: 331000 | #Constraints: 126659
877.45/879.99 c #Conflicts: 332000 | #Constraints: 127659
877.45/879.99 c #Conflicts: 333000 | #Constraints: 128659
877.45/879.99 c INPROCESSING
877.45/879.99 c GARBAGE COLLECT
877.45/879.99 c #Conflicts: 334000 | #Constraints: 118270
877.45/879.99 c #Conflicts: 335000 | #Constraints: 119270
877.45/879.99 c #Conflicts: 336000 | #Constraints: 120270
877.45/879.99 c #Conflicts: 337000 | #Constraints: 121270
877.45/879.99 c #Conflicts: 338000 | #Constraints: 122270
877.45/879.99 c #Conflicts: 339000 | #Constraints: 123270
877.45/879.99 c #Conflicts: 340000 | #Constraints: 124270
877.45/879.99 c #Conflicts: 341000 | #Constraints: 125270
877.45/879.99 c #Conflicts: 342000 | #Constraints: 126270
1140.99/1144.17 c #Conflicts: 343000 | #Constraints: 127270
1140.99/1144.17 c #Conflicts: 344000 | #Constraints: 128270
1140.99/1144.17 c #Conflicts: 345000 | #Constraints: 129270
1140.99/1144.17 c INPROCESSING
1140.99/1144.17 c GARBAGE COLLECT
1140.99/1144.17 c #Conflicts: 346000 | #Constraints: 118668
1140.99/1144.17 c #Conflicts: 347000 | #Constraints: 119668
1140.99/1144.17 c #Conflicts: 348000 | #Constraints: 120668
1140.99/1144.17 c #Conflicts: 349000 | #Constraints: 121668
1140.99/1144.17 c #Conflicts: 350000 | #Constraints: 122668
1140.99/1144.17 c #Conflicts: 351000 | #Constraints: 123668
1140.99/1144.17 c #Conflicts: 352000 | #Constraints: 124668
1140.99/1144.17 c #Conflicts: 353000 | #Constraints: 125668
1140.99/1144.17 c #Conflicts: 354000 | #Constraints: 126668
1140.99/1144.17 c #Conflicts: 355000 | #Constraints: 127668
1140.99/1144.17 c #Conflicts: 356000 | #Constraints: 128668
1140.99/1144.17 c #Conflicts: 357000 | #Constraints: 129668
1140.99/1144.17 c INPROCESSING
1140.99/1144.17 c GARBAGE COLLECT
1140.99/1144.17 c #Conflicts: 358000 | #Constraints: 118873
1140.99/1144.17 c #Conflicts: 359000 | #Constraints: 119873
1140.99/1144.17 c #Conflicts: 360000 | #Constraints: 120873
1140.99/1144.17 c #Conflicts: 361000 | #Constraints: 121873
1140.99/1144.17 c #Conflicts: 362000 | #Constraints: 122873
1140.99/1144.17 c #Conflicts: 363000 | #Constraints: 123873
1140.99/1144.17 c #Conflicts: 364000 | #Constraints: 124873
1140.99/1144.17 c #Conflicts: 365000 | #Constraints: 125873
1140.99/1144.17 c #Conflicts: 366000 | #Constraints: 126873
1140.99/1144.17 c #Conflicts: 367000 | #Constraints: 127873
1140.99/1144.17 c #Conflicts: 368000 | #Constraints: 128873
1140.99/1144.17 c #Conflicts: 369000 | #Constraints: 129873
1140.99/1144.17 c INPROCESSING
1140.99/1144.17 c GARBAGE COLLECT
1140.99/1144.17 c #Conflicts: 370000 | #Constraints: 118867
1140.99/1144.17 c #Conflicts: 371000 | #Constraints: 119867
1140.99/1144.17 c #Conflicts: 372000 | #Constraints: 120867
1140.99/1144.17 c #Conflicts: 373000 | #Constraints: 121867
1140.99/1144.17 c #Conflicts: 374000 | #Constraints: 122867
1140.99/1144.17 c #Conflicts: 375000 | #Constraints: 123867
1140.99/1144.17 c #Conflicts: 376000 | #Constraints: 124867
1140.99/1144.17 c #Conflicts: 377000 | #Constraints: 125867
1140.99/1144.17 c #Conflicts: 378000 | #Constraints: 126867
1140.99/1144.17 c #Conflicts: 379000 | #Constraints: 127867
1140.99/1144.17 c #Conflicts: 380000 | #Constraints: 128867
1140.99/1144.17 c #Conflicts: 381000 | #Constraints: 129867
1140.99/1144.17 c INPROCESSING
1140.99/1144.17 c GARBAGE COLLECT
1140.99/1144.17 c #Conflicts: 382000 | #Constraints: 118668
1140.99/1144.17 c #Conflicts: 383000 | #Constraints: 119668
1140.99/1144.17 c #Conflicts: 384000 | #Constraints: 120668
1140.99/1144.17 c #Conflicts: 385000 | #Constraints: 121668
1140.99/1144.17 c #Conflicts: 386000 | #Constraints: 122668
1140.99/1144.17 c #Conflicts: 387000 | #Constraints: 123668
1140.99/1144.17 c #Conflicts: 388000 | #Constraints: 124668
1140.99/1144.17 c #Conflicts: 389000 | #Constraints: 125668
1140.99/1144.17 c #Conflicts: 390000 | #Constraints: 126668
1140.99/1144.17 c #Conflicts: 391000 | #Constraints: 127668
1140.99/1144.17 c #Conflicts: 392000 | #Constraints: 128668
1140.99/1144.17 c #Conflicts: 393000 | #Constraints: 129668
1140.99/1144.17 c #Conflicts: 394000 | #Constraints: 130668
1140.99/1144.17 c INPROCESSING
1140.99/1144.17 c GARBAGE COLLECT
1140.99/1144.17 c #Conflicts: 395000 | #Constraints: 119276
1140.99/1144.17 c #Conflicts: 396000 | #Constraints: 120276
1140.99/1144.17 c #Conflicts: 397000 | #Constraints: 121276
1140.99/1144.17 c #Conflicts: 398000 | #Constraints: 122276
1140.99/1144.17 c #Conflicts: 399000 | #Constraints: 123276
1140.99/1144.17 c #Conflicts: 400000 | #Constraints: 124276
1140.99/1144.17 c #Conflicts: 401000 | #Constraints: 125276
1140.99/1144.17 c #Conflicts: 402000 | #Constraints: 126276
1140.99/1144.17 c #Conflicts: 403000 | #Constraints: 127276
1140.99/1144.17 c #Conflicts: 404000 | #Constraints: 128276
1140.99/1144.17 c #Conflicts: 405000 | #Constraints: 129276
1140.99/1144.17 c #Conflicts: 406000 | #Constraints: 130276
1140.99/1144.17 c #Conflicts: 407000 | #Constraints: 131276
1140.99/1144.17 c INPROCESSING
1140.99/1144.17 c GARBAGE COLLECT
1140.99/1144.17 c #Conflicts: 408000 | #Constraints: 119683
1140.99/1144.17 c #Conflicts: 409000 | #Constraints: 120683
1140.99/1144.17 c #Conflicts: 410000 | #Constraints: 121683
1140.99/1144.17 c #Conflicts: 411000 | #Constraints: 122683
1140.99/1144.17 c #Conflicts: 412000 | #Constraints: 123683
1140.99/1144.17 c #Conflicts: 413000 | #Constraints: 124683
1140.99/1144.17 c #Conflicts: 414000 | #Constraints: 125683
1140.99/1144.17 c #Conflicts: 415000 | #Constraints: 126683
1140.99/1144.17 c #Conflicts: 416000 | #Constraints: 127683
1140.99/1144.17 c #Conflicts: 417000 | #Constraints: 128683
1478.94/1482.92 c #Conflicts: 418000 | #Constraints: 129683
1478.94/1482.92 c #Conflicts: 419000 | #Constraints: 130683
1478.94/1482.92 c #Conflicts: 420000 | #Constraints: 131683
1478.94/1482.92 c INPROCESSING
1478.94/1482.92 c GARBAGE COLLECT
1478.94/1482.92 c #Conflicts: 421000 | #Constraints: 119869
1478.94/1482.92 c #Conflicts: 422000 | #Constraints: 120869
1478.94/1482.92 c #Conflicts: 423000 | #Constraints: 121869
1478.94/1482.92 c #Conflicts: 424000 | #Constraints: 122869
1478.94/1482.92 c #Conflicts: 425000 | #Constraints: 123869
1478.94/1482.92 c #Conflicts: 426000 | #Constraints: 124869
1478.94/1482.92 c #Conflicts: 427000 | #Constraints: 125869
1478.94/1482.92 c #Conflicts: 428000 | #Constraints: 126869
1478.94/1482.92 c #Conflicts: 429000 | #Constraints: 127869
1478.94/1482.92 c #Conflicts: 430000 | #Constraints: 128869
1478.94/1482.92 c #Conflicts: 431000 | #Constraints: 129869
1478.94/1482.92 c #Conflicts: 432000 | #Constraints: 130869
1478.94/1482.92 c #Conflicts: 433000 | #Constraints: 131869
1478.94/1482.92 c INPROCESSING
1478.94/1482.92 c GARBAGE COLLECT
1478.94/1482.92 c #Conflicts: 434000 | #Constraints: 119877
1478.94/1482.92 c #Conflicts: 435000 | #Constraints: 120877
1478.94/1482.92 c #Conflicts: 436000 | #Constraints: 121877
1478.94/1482.92 c #Conflicts: 437000 | #Constraints: 122877
1478.94/1482.92 c #Conflicts: 438000 | #Constraints: 123877
1478.94/1482.92 c #Conflicts: 439000 | #Constraints: 124877
1478.94/1482.92 c #Conflicts: 440000 | #Constraints: 125877
1478.94/1482.92 c #Conflicts: 441000 | #Constraints: 126877
1478.94/1482.92 c #Conflicts: 442000 | #Constraints: 127877
1478.94/1482.92 c #Conflicts: 443000 | #Constraints: 128877
1478.94/1482.92 c #Conflicts: 444000 | #Constraints: 129877
1478.94/1482.92 c #Conflicts: 445000 | #Constraints: 130877
1478.94/1482.92 c #Conflicts: 446000 | #Constraints: 131877
1478.94/1482.92 c INPROCESSING
1478.94/1482.92 c GARBAGE COLLECT
1478.94/1482.92 c #Conflicts: 447000 | #Constraints: 119681
1478.94/1482.92 c #Conflicts: 448000 | #Constraints: 120681
1478.94/1482.92 c #Conflicts: 449000 | #Constraints: 121681
1478.94/1482.92 c #Conflicts: 450000 | #Constraints: 122681
1478.94/1482.92 c #Conflicts: 451000 | #Constraints: 123681
1478.94/1482.92 c #Conflicts: 452000 | #Constraints: 124681
1478.94/1482.92 c #Conflicts: 453000 | #Constraints: 125681
1478.94/1482.92 c #Conflicts: 454000 | #Constraints: 126681
1478.94/1482.92 c #Conflicts: 455000 | #Constraints: 127681
1478.94/1482.92 c #Conflicts: 456000 | #Constraints: 128681
1478.94/1482.92 c #Conflicts: 457000 | #Constraints: 129681
1478.94/1482.92 c #Conflicts: 458000 | #Constraints: 130681
1478.94/1482.92 c #Conflicts: 459000 | #Constraints: 131681
1478.94/1482.92 c #Conflicts: 460000 | #Constraints: 132681
1478.94/1482.92 c INPROCESSING
1478.94/1482.92 c GARBAGE COLLECT
1478.94/1482.92 c #Conflicts: 461000 | #Constraints: 120282
1478.94/1482.92 c #Conflicts: 462000 | #Constraints: 121282
1478.94/1482.92 c #Conflicts: 463000 | #Constraints: 122282
1478.94/1482.92 c #Conflicts: 464000 | #Constraints: 123282
1478.94/1482.92 c #Conflicts: 465000 | #Constraints: 124282
1478.94/1482.92 c #Conflicts: 466000 | #Constraints: 125282
1478.94/1482.92 c #Conflicts: 467000 | #Constraints: 126282
1478.94/1482.92 c #Conflicts: 468000 | #Constraints: 127282
1478.94/1482.92 c #Conflicts: 469000 | #Constraints: 128282
1478.94/1482.92 c #Conflicts: 470000 | #Constraints: 129282
1478.94/1482.92 c #Conflicts: 471000 | #Constraints: 130282
1478.94/1482.92 c #Conflicts: 472000 | #Constraints: 131282
1478.94/1482.92 c #Conflicts: 473000 | #Constraints: 132282
1478.94/1482.92 c #Conflicts: 474000 | #Constraints: 133282
1478.94/1482.92 c INPROCESSING
1478.94/1482.92 c GARBAGE COLLECT
1478.94/1482.92 c #Conflicts: 475000 | #Constraints: 120683
1478.94/1482.92 c #Conflicts: 476000 | #Constraints: 121683
1478.94/1482.92 c #Conflicts: 477000 | #Constraints: 122683
1478.94/1482.92 c #Conflicts: 478000 | #Constraints: 123683
1478.94/1482.92 c #Conflicts: 479000 | #Constraints: 124683
1478.94/1482.92 c #Conflicts: 480000 | #Constraints: 125683
1478.94/1482.92 c #Conflicts: 481000 | #Constraints: 126683
1478.94/1482.92 c #Conflicts: 482000 | #Constraints: 127683
1478.94/1482.92 c #Conflicts: 483000 | #Constraints: 128683
1478.94/1482.92 c #Conflicts: 484000 | #Constraints: 129683
1478.94/1482.92 c #Conflicts: 485000 | #Constraints: 130683
1478.94/1482.92 c #Conflicts: 486000 | #Constraints: 131683
1478.94/1482.92 c #Conflicts: 487000 | #Constraints: 132683
1478.94/1482.92 c #Conflicts: 488000 | #Constraints: 133683
1478.94/1482.92 c INPROCESSING
1478.94/1482.92 c GARBAGE COLLECT
1478.94/1482.92 c #Conflicts: 489000 | #Constraints: 120893
1478.94/1482.92 c #Conflicts: 490000 | #Constraints: 121893
1478.94/1482.92 c #Conflicts: 491000 | #Constraints: 122893
1478.94/1482.92 c #Conflicts: 492000 | #Constraints: 123893
1798.26/1803.08 c #Conflicts: 493000 | #Constraints: 124893
1798.26/1803.08 c #Conflicts: 494000 | #Constraints: 125893
1798.26/1803.08 c #Conflicts: 495000 | #Constraints: 126893
1798.26/1803.08 c #Conflicts: 496000 | #Constraints: 127893
1798.26/1803.08 c #Conflicts: 497000 | #Constraints: 128893
1798.26/1803.08 c #Conflicts: 498000 | #Constraints: 129893
1798.26/1803.08 c #Conflicts: 499000 | #Constraints: 130893
1798.26/1803.08 c #Conflicts: 500000 | #Constraints: 131893
1798.26/1803.08 c #Conflicts: 501000 | #Constraints: 132893
1798.26/1803.08 c #Conflicts: 502000 | #Constraints: 133893
1798.26/1803.08 c INPROCESSING
1798.26/1803.08 c GARBAGE COLLECT
1798.26/1803.08 c #Conflicts: 503000 | #Constraints: 120883
1798.26/1803.08 c #Conflicts: 504000 | #Constraints: 121883
1798.26/1803.08 c #Conflicts: 505000 | #Constraints: 122883
1798.26/1803.08 c #Conflicts: 506000 | #Constraints: 123883
1798.26/1803.08 c #Conflicts: 507000 | #Constraints: 124883
1798.26/1803.08 c #Conflicts: 508000 | #Constraints: 125883
1798.26/1803.08 c #Conflicts: 509000 | #Constraints: 126883
1798.26/1803.08 c #Conflicts: 510000 | #Constraints: 127883
1798.26/1803.08 c #Conflicts: 511000 | #Constraints: 128883
1798.26/1803.08 c #Conflicts: 512000 | #Constraints: 129883
1798.26/1803.08 c #Conflicts: 513000 | #Constraints: 130883
1798.26/1803.08 c #Conflicts: 514000 | #Constraints: 131883
1798.26/1803.08 c #Conflicts: 515000 | #Constraints: 132883
1798.26/1803.08 c #Conflicts: 516000 | #Constraints: 133883
1798.26/1803.08 c INPROCESSING
1798.26/1803.08 c GARBAGE COLLECT
1798.26/1803.08 c #Conflicts: 517000 | #Constraints: 120677
1798.26/1803.08 c #Conflicts: 518000 | #Constraints: 121677
1798.26/1803.08 c #Conflicts: 519000 | #Constraints: 122677
1798.26/1803.08 c #Conflicts: 520000 | #Constraints: 123677
1798.26/1803.08 c #Conflicts: 521000 | #Constraints: 124677
1798.26/1803.08 c #Conflicts: 522000 | #Constraints: 125677
1798.26/1803.08 c #Conflicts: 523000 | #Constraints: 126677
1798.26/1803.08 c #Conflicts: 524000 | #Constraints: 127677
1798.26/1803.08 c #Conflicts: 525000 | #Constraints: 128677
1798.26/1803.08 c #Conflicts: 526000 | #Constraints: 129677
1798.26/1803.08 c #Conflicts: 527000 | #Constraints: 130677
1798.26/1803.08 c #Conflicts: 528000 | #Constraints: 131677
1798.26/1803.08 c #Conflicts: 529000 | #Constraints: 132677
1798.26/1803.08 c #Conflicts: 530000 | #Constraints: 133677
1798.26/1803.08 c #Conflicts: 531000 | #Constraints: 134677
1798.26/1803.08 c INPROCESSING
1798.26/1803.08 c GARBAGE COLLECT
1798.26/1803.08 c #Conflicts: 532000 | #Constraints: 121290
1798.26/1803.08 c #Conflicts: 533000 | #Constraints: 122290
1798.26/1803.08 c #Conflicts: 534000 | #Constraints: 123290
1798.26/1803.08 c #Conflicts: 535000 | #Constraints: 124290
1798.26/1803.08 c #Conflicts: 536000 | #Constraints: 125290
1798.26/1803.08 c #Conflicts: 537000 | #Constraints: 126290
1798.26/1803.08 c #Conflicts: 538000 | #Constraints: 127290
1798.26/1803.08 c #Conflicts: 539000 | #Constraints: 128290
1798.26/1803.08 c #Conflicts: 540000 | #Constraints: 129290
1798.26/1803.08 c #Conflicts: 541000 | #Constraints: 130290
1798.26/1803.08 c #Conflicts: 542000 | #Constraints: 131290
1798.26/1803.08 c #Conflicts: 543000 | #Constraints: 132290
1798.26/1803.08 c #Conflicts: 544000 | #Constraints: 133290
1798.26/1803.08 c #Conflicts: 545000 | #Constraints: 134290
1798.26/1803.08 c #Conflicts: 546000 | #Constraints: 135290
1798.26/1803.08 c INPROCESSING
1798.26/1803.08 c GARBAGE COLLECT
1798.26/1803.08 c #Conflicts: 547000 | #Constraints: 121693
1798.26/1803.08 c #Conflicts: 548000 | #Constraints: 122693
1798.26/1803.08 c #Conflicts: 549000 | #Constraints: 123693
1798.26/1803.08 c #Conflicts: 550000 | #Constraints: 124693
1798.26/1803.08 c #Conflicts: 551000 | #Constraints: 125693
1798.26/1803.08 c #Conflicts: 552000 | #Constraints: 126693
1798.26/1803.08 c #Conflicts: 553000 | #Constraints: 127693
1798.26/1803.08 c #Conflicts: 554000 | #Constraints: 128693
1798.26/1803.08 c #Conflicts: 555000 | #Constraints: 129693
1798.26/1803.08 c #Conflicts: 556000 | #Constraints: 130693
1798.26/1803.08 c #Conflicts: 557000 | #Constraints: 131693
1798.26/1803.08 c #Conflicts: 558000 | #Constraints: 132693
1798.26/1803.08 c #Conflicts: 559000 | #Constraints: 133693
1798.26/1803.08 c #Conflicts: 560000 | #Constraints: 134693
1798.26/1803.08 c #Conflicts: 561000 | #Constraints: 135693
1798.26/1803.08 c INPROCESSING
1798.26/1803.08 c GARBAGE COLLECT
1798.26/1803.08 c #Conflicts: 562000 | #Constraints: 121887
1798.26/1803.08 c #Conflicts: 563000 | #Constraints: 122887
1798.26/1803.08 c #Conflicts: 564000 | #Constraints: 123887
1798.26/1803.08 c #Conflicts: 565000 | #Constraints: 124887
1798.26/1803.08 c #Conflicts: 566000 | #Constraints: 125887
1798.26/1803.08 c #Conflicts: 567000 | #Constraints: 126887
2144.41/2150.07 c #Conflicts: 568000 | #Constraints: 127887
2144.41/2150.07 c #Conflicts: 569000 | #Constraints: 128887
2144.41/2150.07 c #Conflicts: 570000 | #Constraints: 129887
2144.41/2150.07 c #Conflicts: 571000 | #Constraints: 130887
2144.41/2150.07 c #Conflicts: 572000 | #Constraints: 131887
2144.41/2150.07 c #Conflicts: 573000 | #Constraints: 132887
2144.41/2150.07 c #Conflicts: 574000 | #Constraints: 133887
2144.41/2150.07 c #Conflicts: 575000 | #Constraints: 134887
2144.41/2150.07 c #Conflicts: 576000 | #Constraints: 135887
2144.41/2150.07 c INPROCESSING
2144.41/2150.07 c GARBAGE COLLECT
2144.41/2150.07 c #Conflicts: 577000 | #Constraints: 121890
2144.41/2150.07 c #Conflicts: 578000 | #Constraints: 122890
2144.41/2150.07 c #Conflicts: 579000 | #Constraints: 123890
2144.41/2150.07 c #Conflicts: 580000 | #Constraints: 124890
2144.41/2150.07 c #Conflicts: 581000 | #Constraints: 125890
2144.41/2150.07 c #Conflicts: 582000 | #Constraints: 126890
2144.41/2150.07 c #Conflicts: 583000 | #Constraints: 127890
2144.41/2150.07 c #Conflicts: 584000 | #Constraints: 128890
2144.41/2150.07 c #Conflicts: 585000 | #Constraints: 129890
2144.41/2150.07 c #Conflicts: 586000 | #Constraints: 130890
2144.41/2150.07 c #Conflicts: 587000 | #Constraints: 131890
2144.41/2150.07 c #Conflicts: 588000 | #Constraints: 132890
2144.41/2150.07 c #Conflicts: 589000 | #Constraints: 133890
2144.41/2150.07 c #Conflicts: 590000 | #Constraints: 134890
2144.41/2150.07 c #Conflicts: 591000 | #Constraints: 135890
2144.41/2150.07 c INPROCESSING
2144.41/2150.07 c GARBAGE COLLECT
2144.41/2150.07 c #Conflicts: 592000 | #Constraints: 121681
2144.41/2150.07 c #Conflicts: 593000 | #Constraints: 122681
2144.41/2150.07 c #Conflicts: 594000 | #Constraints: 123681
2144.41/2150.07 c #Conflicts: 595000 | #Constraints: 124681
2144.41/2150.07 c #Conflicts: 596000 | #Constraints: 125681
2144.41/2150.07 c #Conflicts: 597000 | #Constraints: 126681
2144.41/2150.07 c #Conflicts: 598000 | #Constraints: 127681
2144.41/2150.07 c #Conflicts: 599000 | #Constraints: 128681
2144.41/2150.07 c #Conflicts: 600000 | #Constraints: 129681
2144.41/2150.07 c #Conflicts: 601000 | #Constraints: 130681
2144.41/2150.07 c #Conflicts: 602000 | #Constraints: 131681
2144.41/2150.07 c #Conflicts: 603000 | #Constraints: 132681
2144.41/2150.07 c #Conflicts: 604000 | #Constraints: 133681
2144.41/2150.07 c #Conflicts: 605000 | #Constraints: 134681
2144.41/2150.07 c #Conflicts: 606000 | #Constraints: 135681
2144.41/2150.07 c #Conflicts: 607000 | #Constraints: 136681
2144.41/2150.07 c INPROCESSING
2144.41/2150.07 c GARBAGE COLLECT
2144.41/2150.07 c #Conflicts: 608000 | #Constraints: 122291
2144.41/2150.07 c #Conflicts: 609000 | #Constraints: 123291
2144.41/2150.07 c #Conflicts: 610000 | #Constraints: 124291
2144.41/2150.07 c #Conflicts: 611000 | #Constraints: 125291
2144.41/2150.07 c #Conflicts: 612000 | #Constraints: 126291
2144.41/2150.07 c #Conflicts: 613000 | #Constraints: 127291
2144.41/2150.07 c #Conflicts: 614000 | #Constraints: 128291
2144.41/2150.07 c #Conflicts: 615000 | #Constraints: 129291
2144.41/2150.07 c #Conflicts: 616000 | #Constraints: 130291
2144.41/2150.07 c #Conflicts: 617000 | #Constraints: 131291
2144.41/2150.07 c #Conflicts: 618000 | #Constraints: 132291
2144.41/2150.07 c #Conflicts: 619000 | #Constraints: 133291
2144.41/2150.07 c #Conflicts: 620000 | #Constraints: 134291
2144.41/2150.07 c #Conflicts: 621000 | #Constraints: 135291
2144.41/2150.07 c #Conflicts: 622000 | #Constraints: 136291
2144.41/2150.07 c #Conflicts: 623000 | #Constraints: 137291
2144.41/2150.07 c INPROCESSING
2144.41/2150.07 c GARBAGE COLLECT
2144.41/2150.07 c #Conflicts: 624000 | #Constraints: 122695
2144.41/2150.07 c #Conflicts: 625000 | #Constraints: 123695
2144.41/2150.07 c #Conflicts: 626000 | #Constraints: 124695
2144.41/2150.07 c #Conflicts: 627000 | #Constraints: 125695
2144.41/2150.07 c #Conflicts: 628000 | #Constraints: 126695
2144.41/2150.07 c #Conflicts: 629000 | #Constraints: 127695
2144.41/2150.07 c #Conflicts: 630000 | #Constraints: 128695
2144.41/2150.07 c #Conflicts: 631000 | #Constraints: 129695
2144.41/2150.07 c #Conflicts: 632000 | #Constraints: 130695
2144.41/2150.07 c #Conflicts: 633000 | #Constraints: 131695
2144.41/2150.07 c #Conflicts: 634000 | #Constraints: 132695
2144.41/2150.07 c #Conflicts: 635000 | #Constraints: 133695
2144.41/2150.07 c #Conflicts: 636000 | #Constraints: 134695
2144.41/2150.07 c #Conflicts: 637000 | #Constraints: 135695
2144.41/2150.07 c #Conflicts: 638000 | #Constraints: 136695
2144.41/2150.07 c #Conflicts: 639000 | #Constraints: 137695
2144.41/2150.07 c INPROCESSING
2144.41/2150.07 c GARBAGE COLLECT
2144.41/2150.07 c #Conflicts: 640000 | #Constraints: 122883
2144.41/2150.07 c #Conflicts: 641000 | #Constraints: 123883
2144.41/2150.07 c #Conflicts: 642000 | #Constraints: 124883
2144.41/2150.07 c #Conflicts: 643000 | #Constraints: 125883
2499.13/2505.62 c #Conflicts: 644000 | #Constraints: 126883
2499.13/2505.62 c #Conflicts: 645000 | #Constraints: 127883
2499.13/2505.62 c #Conflicts: 646000 | #Constraints: 128883
2499.13/2505.62 c #Conflicts: 647000 | #Constraints: 129883
2499.13/2505.62 c #Conflicts: 648000 | #Constraints: 130883
2499.13/2505.62 c #Conflicts: 649000 | #Constraints: 131883
2499.13/2505.62 c #Conflicts: 650000 | #Constraints: 132883
2499.13/2505.62 c #Conflicts: 651000 | #Constraints: 133883
2499.13/2505.62 c #Conflicts: 652000 | #Constraints: 134883
2499.13/2505.62 c #Conflicts: 653000 | #Constraints: 135883
2499.13/2505.62 c #Conflicts: 654000 | #Constraints: 136883
2499.13/2505.62 c #Conflicts: 655000 | #Constraints: 137883
2499.13/2505.62 c INPROCESSING
2499.13/2505.62 c GARBAGE COLLECT
2499.13/2505.62 c #Conflicts: 656000 | #Constraints: 122894
2499.13/2505.62 c #Conflicts: 657000 | #Constraints: 123894
2499.13/2505.62 c #Conflicts: 658000 | #Constraints: 124894
2499.13/2505.62 c #Conflicts: 659000 | #Constraints: 125894
2499.13/2505.62 c #Conflicts: 660000 | #Constraints: 126894
2499.13/2505.62 c #Conflicts: 661000 | #Constraints: 127894
2499.13/2505.62 c #Conflicts: 662000 | #Constraints: 128894
2499.13/2505.62 c #Conflicts: 663000 | #Constraints: 129894
2499.13/2505.62 c #Conflicts: 664000 | #Constraints: 130894
2499.13/2505.62 c #Conflicts: 665000 | #Constraints: 131894
2499.13/2505.62 c #Conflicts: 666000 | #Constraints: 132894
2499.13/2505.62 c #Conflicts: 667000 | #Constraints: 133894
2499.13/2505.62 c #Conflicts: 668000 | #Constraints: 134894
2499.13/2505.62 c #Conflicts: 669000 | #Constraints: 135894
2499.13/2505.62 c #Conflicts: 670000 | #Constraints: 136894
2499.13/2505.62 c #Conflicts: 671000 | #Constraints: 137894
2499.13/2505.62 c INPROCESSING
2499.13/2505.62 c GARBAGE COLLECT
2499.13/2505.62 c #Conflicts: 672000 | #Constraints: 122695
2499.13/2505.62 c #Conflicts: 673000 | #Constraints: 123695
2499.13/2505.62 c #Conflicts: 674000 | #Constraints: 124695
2499.13/2505.62 c #Conflicts: 675000 | #Constraints: 125695
2499.13/2505.62 c #Conflicts: 676000 | #Constraints: 126695
2499.13/2505.62 c #Conflicts: 677000 | #Constraints: 127695
2499.13/2505.62 c #Conflicts: 678000 | #Constraints: 128695
2499.13/2505.62 c #Conflicts: 679000 | #Constraints: 129695
2499.13/2505.62 c #Conflicts: 680000 | #Constraints: 130695
2499.13/2505.62 c #Conflicts: 681000 | #Constraints: 131695
2499.13/2505.62 c #Conflicts: 682000 | #Constraints: 132695
2499.13/2505.62 c #Conflicts: 683000 | #Constraints: 133695
2499.13/2505.62 c #Conflicts: 684000 | #Constraints: 134695
2499.13/2505.62 c #Conflicts: 685000 | #Constraints: 135695
2499.13/2505.62 c #Conflicts: 686000 | #Constraints: 136695
2499.13/2505.62 c #Conflicts: 687000 | #Constraints: 137695
2499.13/2505.62 c #Conflicts: 688000 | #Constraints: 138695
2499.13/2505.62 c INPROCESSING
2499.13/2505.62 c GARBAGE COLLECT
2499.13/2505.62 c #Conflicts: 689000 | #Constraints: 123287
2499.13/2505.62 c #Conflicts: 690000 | #Constraints: 124287
2499.13/2505.62 c #Conflicts: 691000 | #Constraints: 125287
2499.13/2505.62 c #Conflicts: 692000 | #Constraints: 126287
2499.13/2505.62 c #Conflicts: 693000 | #Constraints: 127287
2499.13/2505.62 c #Conflicts: 694000 | #Constraints: 128287
2499.13/2505.62 c #Conflicts: 695000 | #Constraints: 129287
2499.13/2505.62 c #Conflicts: 696000 | #Constraints: 130287
2499.13/2505.62 c #Conflicts: 697000 | #Constraints: 131287
2499.13/2505.62 c #Conflicts: 698000 | #Constraints: 132287
2499.13/2505.62 c #Conflicts: 699000 | #Constraints: 133287
2499.13/2505.62 c #Conflicts: 700000 | #Constraints: 134287
2499.13/2505.62 c #Conflicts: 701000 | #Constraints: 135287
2499.13/2505.62 c #Conflicts: 702000 | #Constraints: 136287
2499.13/2505.62 c #Conflicts: 703000 | #Constraints: 137287
2499.13/2505.62 c #Conflicts: 704000 | #Constraints: 138287
2499.13/2505.62 c #Conflicts: 705000 | #Constraints: 139287
2499.13/2505.62 c INPROCESSING
2499.13/2505.62 c GARBAGE COLLECT
2499.13/2505.62 c #Conflicts: 706000 | #Constraints: 123686
2499.13/2505.62 c #Conflicts: 707000 | #Constraints: 124686
2499.13/2505.62 c #Conflicts: 708000 | #Constraints: 125686
2499.13/2505.62 c #Conflicts: 709000 | #Constraints: 126686
2499.13/2505.62 c #Conflicts: 710000 | #Constraints: 127686
2499.13/2505.62 c #Conflicts: 711000 | #Constraints: 128686
2499.13/2505.62 c #Conflicts: 712000 | #Constraints: 129686
2499.13/2505.62 c #Conflicts: 713000 | #Constraints: 130686
2499.13/2505.62 c #Conflicts: 714000 | #Constraints: 131686
2499.13/2505.62 c #Conflicts: 715000 | #Constraints: 132686
2499.13/2505.62 c #Conflicts: 716000 | #Constraints: 133686
2499.13/2505.62 c #Conflicts: 717000 | #Constraints: 134686
2499.13/2505.62 c #Conflicts: 718000 | #Constraints: 135686
2499.13/2505.62 c #Conflicts: 719000 | #Constraints: 136686
2872.71/2880.19 c #Conflicts: 720000 | #Constraints: 137686
2872.71/2880.19 c #Conflicts: 721000 | #Constraints: 138686
2872.71/2880.19 c #Conflicts: 722000 | #Constraints: 139686
2872.71/2880.19 c INPROCESSING
2872.71/2880.19 c GARBAGE COLLECT
2872.71/2880.19 c #Conflicts: 723000 | #Constraints: 123890
2872.71/2880.19 c #Conflicts: 724000 | #Constraints: 124890
2872.71/2880.19 c #Conflicts: 725000 | #Constraints: 125890
2872.71/2880.19 c #Conflicts: 726000 | #Constraints: 126890
2872.71/2880.19 c #Conflicts: 727000 | #Constraints: 127890
2872.71/2880.19 c #Conflicts: 728000 | #Constraints: 128890
2872.71/2880.19 c #Conflicts: 729000 | #Constraints: 129890
2872.71/2880.19 c #Conflicts: 730000 | #Constraints: 130890
2872.71/2880.19 c #Conflicts: 731000 | #Constraints: 131890
2872.71/2880.19 c #Conflicts: 732000 | #Constraints: 132890
2872.71/2880.19 c #Conflicts: 733000 | #Constraints: 133890
2872.71/2880.19 c #Conflicts: 734000 | #Constraints: 134890
2872.71/2880.19 c #Conflicts: 735000 | #Constraints: 135890
2872.71/2880.19 c #Conflicts: 736000 | #Constraints: 136890
2872.71/2880.19 c #Conflicts: 737000 | #Constraints: 137890
2872.71/2880.19 c #Conflicts: 738000 | #Constraints: 138890
2872.71/2880.19 c #Conflicts: 739000 | #Constraints: 139890
2872.71/2880.19 c INPROCESSING
2872.71/2880.19 c GARBAGE COLLECT
2872.71/2880.19 c #Conflicts: 740000 | #Constraints: 123891
2872.71/2880.19 c #Conflicts: 741000 | #Constraints: 124891
2872.71/2880.19 c #Conflicts: 742000 | #Constraints: 125891
2872.71/2880.19 c #Conflicts: 743000 | #Constraints: 126891
2872.71/2880.19 c #Conflicts: 744000 | #Constraints: 127891
2872.71/2880.19 c #Conflicts: 745000 | #Constraints: 128891
2872.71/2880.19 c #Conflicts: 746000 | #Constraints: 129891
2872.71/2880.19 c #Conflicts: 747000 | #Constraints: 130891
2872.71/2880.19 c #Conflicts: 748000 | #Constraints: 131891
2872.71/2880.19 c #Conflicts: 749000 | #Constraints: 132891
2872.71/2880.19 c #Conflicts: 750000 | #Constraints: 133891
2872.71/2880.19 c #Conflicts: 751000 | #Constraints: 134891
2872.71/2880.19 c #Conflicts: 752000 | #Constraints: 135891
2872.71/2880.19 c #Conflicts: 753000 | #Constraints: 136891
2872.71/2880.19 c #Conflicts: 754000 | #Constraints: 137891
2872.71/2880.19 c #Conflicts: 755000 | #Constraints: 138891
2872.71/2880.19 c #Conflicts: 756000 | #Constraints: 139891
2872.71/2880.19 c INPROCESSING
2872.71/2880.19 c GARBAGE COLLECT
2872.71/2880.19 c #Conflicts: 757000 | #Constraints: 123681
2872.71/2880.19 c #Conflicts: 758000 | #Constraints: 124681
2872.71/2880.19 c #Conflicts: 759000 | #Constraints: 125681
2872.71/2880.19 c #Conflicts: 760000 | #Constraints: 126681
2872.71/2880.19 c #Conflicts: 761000 | #Constraints: 127681
2872.71/2880.19 c #Conflicts: 762000 | #Constraints: 128681
2872.71/2880.19 c #Conflicts: 763000 | #Constraints: 129681
2872.71/2880.19 c #Conflicts: 764000 | #Constraints: 130681
2872.71/2880.19 c #Conflicts: 765000 | #Constraints: 131681
2872.71/2880.19 c #Conflicts: 766000 | #Constraints: 132681
2872.71/2880.19 c #Conflicts: 767000 | #Constraints: 133681
2872.71/2880.19 c #Conflicts: 768000 | #Constraints: 134681
2872.71/2880.19 c #Conflicts: 769000 | #Constraints: 135681
2872.71/2880.19 c #Conflicts: 770000 | #Constraints: 136681
2872.71/2880.19 c #Conflicts: 771000 | #Constraints: 137681
2872.71/2880.19 c #Conflicts: 772000 | #Constraints: 138681
2872.71/2880.19 c #Conflicts: 773000 | #Constraints: 139681
2872.71/2880.19 c #Conflicts: 774000 | #Constraints: 140681
2872.71/2880.19 c INPROCESSING
2872.71/2880.19 c GARBAGE COLLECT
2872.71/2880.19 c #Conflicts: 775000 | #Constraints: 124286
2872.71/2880.19 c #Conflicts: 776000 | #Constraints: 125286
2872.71/2880.19 c #Conflicts: 777000 | #Constraints: 126286
2872.71/2880.19 c #Conflicts: 778000 | #Constraints: 127286
2872.71/2880.19 c #Conflicts: 779000 | #Constraints: 128286
2872.71/2880.19 c #Conflicts: 780000 | #Constraints: 129286
2872.71/2880.19 c #Conflicts: 781000 | #Constraints: 130286
2872.71/2880.19 c #Conflicts: 782000 | #Constraints: 131286
2872.71/2880.19 c #Conflicts: 783000 | #Constraints: 132286
2872.71/2880.19 c #Conflicts: 784000 | #Constraints: 133286
2872.71/2880.19 c #Conflicts: 785000 | #Constraints: 134286
2872.71/2880.19 c #Conflicts: 786000 | #Constraints: 135286
2872.71/2880.19 c #Conflicts: 787000 | #Constraints: 136286
2872.71/2880.19 c #Conflicts: 788000 | #Constraints: 137286
2872.71/2880.19 c #Conflicts: 789000 | #Constraints: 138286
2872.71/2880.19 c #Conflicts: 790000 | #Constraints: 139286
2872.71/2880.19 c #Conflicts: 791000 | #Constraints: 140286
2872.71/2880.19 c #Conflicts: 792000 | #Constraints: 141286
2872.71/2880.19 c INPROCESSING
2872.71/2880.19 c GARBAGE COLLECT
2872.71/2880.19 c #Conflicts: 793000 | #Constraints: 124665
2872.71/2880.19 c #Conflicts: 794000 | #Constraints: 125665
2872.71/2880.19 c #Conflicts: 795000 | #Constraints: 126665
3228.22/3236.50 c #Conflicts: 796000 | #Constraints: 127665
3228.22/3236.50 c #Conflicts: 797000 | #Constraints: 128665
3228.22/3236.50 c #Conflicts: 798000 | #Constraints: 129665
3228.22/3236.50 c #Conflicts: 799000 | #Constraints: 130665
3228.22/3236.50 c #Conflicts: 800000 | #Constraints: 131665
3228.22/3236.50 c #Conflicts: 801000 | #Constraints: 132665
3228.22/3236.50 c #Conflicts: 802000 | #Constraints: 133665
3228.22/3236.50 c #Conflicts: 803000 | #Constraints: 134665
3228.22/3236.50 c #Conflicts: 804000 | #Constraints: 135665
3228.22/3236.50 c #Conflicts: 805000 | #Constraints: 136665
3228.22/3236.50 c #Conflicts: 806000 | #Constraints: 137665
3228.22/3236.50 c #Conflicts: 807000 | #Constraints: 138665
3228.22/3236.50 c #Conflicts: 808000 | #Constraints: 139665
3228.22/3236.50 c #Conflicts: 809000 | #Constraints: 140665
3228.22/3236.50 c #Conflicts: 810000 | #Constraints: 141665
3228.22/3236.50 c INPROCESSING
3228.22/3236.50 c GARBAGE COLLECT
3228.22/3236.50 c #Conflicts: 811000 | #Constraints: 124880
3228.22/3236.50 c #Conflicts: 812000 | #Constraints: 125880
3228.22/3236.50 c #Conflicts: 813000 | #Constraints: 126880
3228.22/3236.50 c #Conflicts: 814000 | #Constraints: 127880
3228.22/3236.51 c #Conflicts: 815000 | #Constraints: 128880
3228.22/3236.51 c #Conflicts: 816000 | #Constraints: 129880
3228.22/3236.51 c #Conflicts: 817000 | #Constraints: 130880
3228.22/3236.51 c #Conflicts: 818000 | #Constraints: 131880
3228.22/3236.51 c #Conflicts: 819000 | #Constraints: 132880
3228.22/3236.51 c #Conflicts: 820000 | #Constraints: 133880
3228.22/3236.51 c #Conflicts: 821000 | #Constraints: 134880
3228.22/3236.51 c #Conflicts: 822000 | #Constraints: 135880
3228.22/3236.51 c #Conflicts: 823000 | #Constraints: 136880
3228.22/3236.51 c #Conflicts: 824000 | #Constraints: 137880
3228.22/3236.51 c #Conflicts: 825000 | #Constraints: 138880
3228.22/3236.51 c #Conflicts: 826000 | #Constraints: 139880
3228.22/3236.51 c #Conflicts: 827000 | #Constraints: 140880
3228.22/3236.51 c #Conflicts: 828000 | #Constraints: 141880
3228.22/3236.51 c INPROCESSING
3228.22/3236.51 c GARBAGE COLLECT
3228.22/3236.51 c #Conflicts: 829000 | #Constraints: 124895
3228.22/3236.51 c #Conflicts: 830000 | #Constraints: 125895
3228.22/3236.51 c #Conflicts: 831000 | #Constraints: 126895
3228.22/3236.51 c #Conflicts: 832000 | #Constraints: 127895
3228.22/3236.51 c #Conflicts: 833000 | #Constraints: 128895
3228.22/3236.51 c #Conflicts: 834000 | #Constraints: 129895
3228.22/3236.51 c #Conflicts: 835000 | #Constraints: 130895
3228.22/3236.51 c #Conflicts: 836000 | #Constraints: 131895
3228.22/3236.51 c #Conflicts: 837000 | #Constraints: 132895
3228.22/3236.51 c #Conflicts: 838000 | #Constraints: 133895
3228.22/3236.51 c #Conflicts: 839000 | #Constraints: 134895
3228.22/3236.51 c #Conflicts: 840000 | #Constraints: 135895
3228.22/3236.51 c #Conflicts: 841000 | #Constraints: 136895
3228.22/3236.51 c #Conflicts: 842000 | #Constraints: 137895
3228.22/3236.51 c #Conflicts: 843000 | #Constraints: 138895
3228.22/3236.51 c #Conflicts: 844000 | #Constraints: 139895
3228.22/3236.51 c #Conflicts: 845000 | #Constraints: 140895
3228.22/3236.51 c #Conflicts: 846000 | #Constraints: 141895
3228.22/3236.51 c INPROCESSING
3228.22/3236.51 c GARBAGE COLLECT
3228.22/3236.51 c #Conflicts: 847000 | #Constraints: 124678
3228.22/3236.51 c #Conflicts: 848000 | #Constraints: 125678
3228.22/3236.51 c #Conflicts: 849000 | #Constraints: 126678
3228.22/3236.51 c #Conflicts: 850000 | #Constraints: 127678
3228.22/3236.51 c #Conflicts: 851000 | #Constraints: 128678
3228.22/3236.51 c #Conflicts: 852000 | #Constraints: 129678
3228.22/3236.51 c #Conflicts: 853000 | #Constraints: 130678
3228.22/3236.51 c #Conflicts: 854000 | #Constraints: 131678
3228.22/3236.51 c #Conflicts: 855000 | #Constraints: 132678
3228.22/3236.51 c #Conflicts: 856000 | #Constraints: 133678
3228.22/3236.51 c #Conflicts: 857000 | #Constraints: 134678
3228.22/3236.51 c #Conflicts: 858000 | #Constraints: 135678
3228.22/3236.51 c #Conflicts: 859000 | #Constraints: 136678
3228.22/3236.51 c #Conflicts: 860000 | #Constraints: 137678
3228.22/3236.51 c #Conflicts: 861000 | #Constraints: 138678
3228.22/3236.51 c #Conflicts: 862000 | #Constraints: 139678
3228.22/3236.51 c #Conflicts: 863000 | #Constraints: 140678
3228.22/3236.51 c #Conflicts: 864000 | #Constraints: 141678
3228.22/3236.51 c #Conflicts: 865000 | #Constraints: 142678
3228.22/3236.51 c INPROCESSING
3228.22/3236.51 c GARBAGE COLLECT
3228.22/3236.51 c #Conflicts: 866000 | #Constraints: 125286
3228.22/3236.51 c #Conflicts: 867000 | #Constraints: 126286
3228.22/3236.51 c #Conflicts: 868000 | #Constraints: 127286
3228.22/3236.51 c #Conflicts: 869000 | #Constraints: 128286
3228.22/3236.51 c #Conflicts: 870000 | #Constraints: 129286
3228.22/3236.51 c #Conflicts: 871000 | #Constraints: 130286
3562.40/3571.58 c #Conflicts: 872000 | #Constraints: 131286
3562.40/3571.58 c #Conflicts: 873000 | #Constraints: 132286
3562.40/3571.58 c #Conflicts: 874000 | #Constraints: 133286
3562.40/3571.58 c #Conflicts: 875000 | #Constraints: 134286
3562.40/3571.58 c #Conflicts: 876000 | #Constraints: 135286
3562.40/3571.58 c #Conflicts: 877000 | #Constraints: 136286
3562.40/3571.58 c #Conflicts: 878000 | #Constraints: 137286
3562.40/3571.58 c #Conflicts: 879000 | #Constraints: 138286
3562.40/3571.58 c #Conflicts: 880000 | #Constraints: 139286
3562.40/3571.58 c #Conflicts: 881000 | #Constraints: 140286
3562.40/3571.58 c #Conflicts: 882000 | #Constraints: 141286
3562.40/3571.58 c #Conflicts: 883000 | #Constraints: 142286
3562.40/3571.58 c #Conflicts: 884000 | #Constraints: 143286
3562.40/3571.58 c INPROCESSING
3562.40/3571.58 c GARBAGE COLLECT
3562.40/3571.58 c #Conflicts: 885000 | #Constraints: 125694
3562.40/3571.58 c #Conflicts: 886000 | #Constraints: 126694
3562.40/3571.58 c #Conflicts: 887000 | #Constraints: 127694
3562.40/3571.58 c #Conflicts: 888000 | #Constraints: 128694
3562.40/3571.58 c #Conflicts: 889000 | #Constraints: 129694
3562.40/3571.58 c #Conflicts: 890000 | #Constraints: 130694
3562.40/3571.58 c #Conflicts: 891000 | #Constraints: 131694
3562.40/3571.58 c #Conflicts: 892000 | #Constraints: 132694
3562.40/3571.58 c #Conflicts: 893000 | #Constraints: 133694
3562.40/3571.58 c #Conflicts: 894000 | #Constraints: 134694
3562.40/3571.58 c #Conflicts: 895000 | #Constraints: 135694
3562.40/3571.58 c #Conflicts: 896000 | #Constraints: 136694
3562.40/3571.58 c #Conflicts: 897000 | #Constraints: 137694
3562.40/3571.58 c #Conflicts: 898000 | #Constraints: 138694
3562.40/3571.58 c #Conflicts: 899000 | #Constraints: 139694
3562.40/3571.58 c #Conflicts: 900000 | #Constraints: 140694
3562.40/3571.58 c #Conflicts: 901000 | #Constraints: 141694
3562.40/3571.58 c #Conflicts: 902000 | #Constraints: 142694
3562.40/3571.58 c #Conflicts: 903000 | #Constraints: 143694
3562.40/3571.58 c INPROCESSING
3562.40/3571.58 c GARBAGE COLLECT
3562.40/3571.58 c #Conflicts: 904000 | #Constraints: 125896
3562.40/3571.58 c #Conflicts: 905000 | #Constraints: 126896
3562.40/3571.58 c #Conflicts: 906000 | #Constraints: 127896
3562.40/3571.58 c #Conflicts: 907000 | #Constraints: 128896
3562.40/3571.58 c #Conflicts: 908000 | #Constraints: 129896
3562.40/3571.58 c #Conflicts: 909000 | #Constraints: 130896
3562.40/3571.58 c #Conflicts: 910000 | #Constraints: 131896
3562.40/3571.58 c #Conflicts: 911000 | #Constraints: 132896
3562.40/3571.58 c #Conflicts: 912000 | #Constraints: 133896
3562.40/3571.58 c #Conflicts: 913000 | #Constraints: 134896
3562.40/3571.58 c #Conflicts: 914000 | #Constraints: 135896
3562.40/3571.58 c #Conflicts: 915000 | #Constraints: 136896
3562.40/3571.58 c #Conflicts: 916000 | #Constraints: 137896
3562.40/3571.58 c #Conflicts: 917000 | #Constraints: 138896
3562.40/3571.58 c #Conflicts: 918000 | #Constraints: 139896
3562.40/3571.58 c #Conflicts: 919000 | #Constraints: 140896
3562.40/3571.58 c #Conflicts: 920000 | #Constraints: 141896
3562.40/3571.58 c #Conflicts: 921000 | #Constraints: 142896
3562.40/3571.58 c #Conflicts: 922000 | #Constraints: 143896
3562.40/3571.58 c INPROCESSING
3562.40/3571.58 c GARBAGE COLLECT
3562.40/3571.58 c #Conflicts: 923000 | #Constraints: 125891
3562.40/3571.58 c #Conflicts: 924000 | #Constraints: 126891
3562.40/3571.58 c #Conflicts: 925000 | #Constraints: 127891
3562.40/3571.58 c #Conflicts: 926000 | #Constraints: 128891
3562.40/3571.58 c #Conflicts: 927000 | #Constraints: 129891
3562.40/3571.58 c #Conflicts: 928000 | #Constraints: 130891
3562.40/3571.58 c #Conflicts: 929000 | #Constraints: 131891
3562.40/3571.58 c #Conflicts: 930000 | #Constraints: 132891
3562.40/3571.58 c #Conflicts: 931000 | #Constraints: 133891
3562.40/3571.58 c #Conflicts: 932000 | #Constraints: 134891
3562.40/3571.58 c #Conflicts: 933000 | #Constraints: 135891
3562.40/3571.58 c #Conflicts: 934000 | #Constraints: 136891
3562.40/3571.58 c #Conflicts: 935000 | #Constraints: 137891
3562.40/3571.58 c #Conflicts: 936000 | #Constraints: 138891
3562.40/3571.58 c #Conflicts: 937000 | #Constraints: 139891
3562.40/3571.58 c #Conflicts: 938000 | #Constraints: 140891
3562.40/3571.58 c #Conflicts: 939000 | #Constraints: 141891
3562.40/3571.58 c #Conflicts: 940000 | #Constraints: 142891
3562.40/3571.58 c #Conflicts: 941000 | #Constraints: 143891
3562.40/3571.58 c INPROCESSING
3562.40/3571.58 c GARBAGE COLLECT
3562.40/3571.58 c #Conflicts: 942000 | #Constraints: 125692
3562.40/3571.58 c #Conflicts: 943000 | #Constraints: 126692
3562.40/3571.58 c #Conflicts: 944000 | #Constraints: 127692
3562.40/3571.58 c #Conflicts: 945000 | #Constraints: 128692
3562.40/3571.58 c #Conflicts: 946000 | #Constraints: 129692
3562.40/3571.58 c #Conflicts: 947000 | #Constraints: 130692
3600.09/3609.30 c #Conflicts: 948000 | #Constraints: 131692
3600.09/3609.30 c #Conflicts: 949000 | #Constraints: 132692
3600.09/3609.30 c #Conflicts: 950000 | #Constraints: 133692
3600.09/3609.30 c #Conflicts: 951000 | #Constraints: 134692
3600.09/3609.30 c #Conflicts: 952000 | #Constraints: 135692
3600.09/3609.30 c #Conflicts: 953000 | #Constraints: 136692
3600.09/3609.30 c #Conflicts: 954000 | #Constraints: 137692
3600.09/3609.30 c #Conflicts: 955000 | #Constraints: 138692
3600.09/3609.30 c #Conflicts: 956000 | #Constraints: 139692
3600.09/3609.30 c Program interrupted by user.
3600.09/3609.30 c cpu time 3595.02 s
3600.09/3609.30 c deterministic time 154872325302 1.55e+11
3600.09/3609.30 c optimization time 354.231 s
3600.09/3609.30 c total solve time 2940.86 s
3600.09/3609.30 c core-guided solve time 2940.86 s
3600.09/3609.30 c propagation time 1658.17 s
3600.09/3609.30 c conflict analysis time 1600.67 s
3600.09/3609.30 c propagations 326903754
3600.09/3609.30 c resolve steps 80765042
3600.09/3609.30 c decisions 1237163
3600.09/3609.30 c conflicts 956092
3600.09/3609.30 c restarts 2044
3600.09/3609.30 c inprocessing phases 88
3600.09/3609.30 c input clauses 105308
3600.09/3609.30 c input cardinalities 1284
3600.09/3609.30 c input general constraints 391
3600.09/3609.30 c input average constraint length 6.84
3600.09/3609.30 c input average constraint degree 1.56
3600.09/3609.30 c learned clauses 939073
3600.09/3609.30 c learned cardinalities 1114
3600.09/3609.30 c learned general constraints 15977
3600.09/3609.30 c learned average constraint length 467.23
3600.09/3609.30 c learned average constraint degree 10.65
3600.09/3609.30 c watched constraints 5442
3600.09/3609.30 c counting constraints 10926
3600.09/3609.30 c gcd simplifications 347250
3600.09/3609.30 c detected cardinalities 0
3600.09/3609.30 c weakened non-implied lits 482131479
3600.09/3609.30 c weakened non-implying lits 4533239
3600.09/3609.30 c original variables 1485
3600.09/3609.30 c clausal propagations 181739121
3600.09/3609.30 c cardinality propagations 54277416
3600.09/3609.30 c watched propagations 234718
3600.09/3609.30 c counting propagations 89243192
3600.09/3609.30 c watch lookups 58435073445
3600.09/3609.30 c watch backjump lookups 51490830619
3600.09/3609.30 c watch checks 37200353211
3600.09/3609.30 c propagation checks 3491090484
3600.09/3609.30 c constraint additions 3597741618
3600.09/3609.30 c trail pops 329095007
3600.09/3609.30 c formula constraints 104940
3600.09/3609.30 c learned constraints 956164
3600.09/3609.30 c bound constraints 338
3600.09/3609.30 c core-guided constraints 1705
3600.09/3609.30 c encountered formula constraints 75135228
3600.09/3609.30 c encountered learned constraints 6235699
3600.09/3609.30 c encountered bound constraints 3192
3600.09/3609.30 c encountered core-guided constraints 347015
3600.09/3609.30 c LP total time 0 s
3600.09/3609.30 c LP solve time 0 s
3600.09/3609.30 c LP constraints added 0
3600.09/3609.30 c LP constraints removed 0
3600.09/3609.30 c LP pivots internal 0
3600.09/3609.30 c LP pivots root 0
3600.09/3609.30 c LP calls 0
3600.09/3609.30 c LP optimalities 0
3600.09/3609.30 c LP no pivot count 0
3600.09/3609.30 c LP infeasibilities 0
3600.09/3609.30 c LP valid Farkas constraints 0
3600.09/3609.30 c LP learned Farkas constraints 0
3600.09/3609.30 c LP basis resets 0
3600.09/3609.30 c LP cycling count 0
3600.09/3609.30 c LP singular count 0
3600.09/3609.30 c LP no primal count 0
3600.09/3609.30 c LP no farkas count 0
3600.09/3609.30 c LP other issue count 0
3600.09/3609.30 c LP Gomory cuts 0
3600.09/3609.30 c LP learned cuts 0
3600.09/3609.30 c LP deleted cuts 0
3600.09/3609.30 c LP encountered Gomory constraints 0
3600.09/3609.30 c LP encountered Farkas constraints 0
3600.09/3609.30 c LP encountered learned Farkas constraints 0
3600.09/3609.30 c CG auxiliary variables introduced 669
3600.09/3609.30 c CG solutions found 1
3600.09/3609.30 c CG cores constructed 336
3600.09/3609.30 c CG core cardinality constraints returned 0
3600.09/3609.30 c CG unit cores 0
3600.09/3609.30 c CG single cores 330
3600.09/3609.30 c CG blocks removed during cardinality reduction 0
3600.09/3609.30 c CG first core best 0
3600.09/3609.30 c CG decision core best 0
3600.09/3609.30 c CG core reduction tie 6
3600.09/3609.30 c CG core degree average 1.00
3600.09/3609.30 c CG core slack average 4.34
3600.09/3609.30 c CG exhausted 0
3600.09/3609.30 c CG exhaust time 292.343 s
3600.09/3609.30 c CG trimmed 69
3600.09/3609.30 c CG trim time 0.026045 s
3600.09/3609.30 c CG minimized 0
3600.09/3609.30 c CG minimize time 0 s
3600.09/3609.30 c CG am1 prop time 0.008785 s
3600.09/3609.30 c CG # am1s reformulated 0
3600.09/3609.30 c CG lower bound derived from am1s 0
3600.09/3609.30 c CG # clausal cores 337
3600.09/3609.30 c CG # cardinality cores 0
3600.09/3609.30 c CG # pb cores 5
3600.09/3609.30 c CG # pb reforms 0
3600.09/3609.30 c CG # cores discarded because of pb reform 0
3600.09/3609.30 d LOWERBOUND -874
3600.09/3609.30 d NCORES 336
3600.09/3609.30 d NPBCORES 5
3600.09/3609.30 d NPBREFORM 0
3600.09/3609.30 d NTRIMMED 69
3600.09/3609.30 d NEXHAUSTED 0
3600.09/3609.30 d NAM1S 0
3600.09/3609.30 d AM1LB 0
3600.09/3609.30 c [STEP] postprocessing with Papilo
3600.09/3609.30 o -726
3600.09/3609.30 s SATISFIABLE
3600.09/3609.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 x919 x920 x921 x922 x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 x1068 x1069 x1070 x1071 x1072 x1073 x1074 x1075 x1076 x1077 x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 x1127 x1128 x1129 x1130 x1131 x1132 x1133 x1134 -x1135 -x1136 -x1137 -x1138 x1139 x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x1160 -x1161 -x1162 -x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 -x1186 -x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 -x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 x1222 x1223 x1224 x1225 x1226 x1227 x1228 x1229 x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
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: 64096 MiB (60495 MiB free)
memory of node 1: 64473 MiB (59469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458774-1721865970/watcher-4458774-1721865970 -o /tmp/evaluation-result-4458774-1721865970/solver-4458774-1721865970 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207854 --watchdog 3760 mixed-bag HOME/instance-4458774-1721865970.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=210012, runsolver pid=210009
[startup+0.100227 s]*
/proc/loadavg: 4.14 3.91 2.53 5/241 210013
/proc/meminfo: memFree=122839664/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=80752 memory=10312 CPUtime=0.1 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 1594 0 0 0 10 0 0 0 20 0 1 0 22585948 82690048 2578 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 20188 2578 1700 3002 0 4478 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80752 KiB
Current children cumulated memory: 10312 KiB
[startup+0.213173 s]*
/proc/loadavg: 4.14 3.91 2.53 5/241 210013
/proc/meminfo: memFree=122836496/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=82800 memory=13944 CPUtime=0.21 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 2451 0 0 0 20 1 0 0 20 0 1 0 22585948 84787200 3486 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 20700 3486 1700 3002 0 4990 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82800 KiB
Current children cumulated memory: 13944 KiB
[startup+0.313165 s]*
/proc/loadavg: 4.14 3.91 2.53 5/241 210013
/proc/meminfo: memFree=122831348/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=86896 memory=18300 CPUtime=0.31 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 3048 0 0 0 30 1 0 0 20 0 1 0 22585948 88981504 4575 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 21724 4575 1700 3002 0 6014 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 86896 KiB
Current children cumulated memory: 18300 KiB
[startup+0.700322 s]
/proc/loadavg: 4.14 3.91 2.53 5/241 210013
/proc/meminfo: memFree=122825012/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=154028 memory=75268 CPUtime=0.68 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 10965 0 0 0 64 4 0 0 20 0 1 0 22585948 157724672 18817 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 38507 18817 1818 3002 0 22258 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 154028 KiB
Current children cumulated memory: 75268 KiB
[startup+1.50032 s]
/proc/loadavg: 4.13 3.91 2.54 5/241 210014
/proc/meminfo: memFree=122655232/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=328428 memory=253808 CPUtime=1.48 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 54622 0 0 0 135 13 0 0 20 0 1 0 22585948 336310272 63452 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 82107 63452 3830 3002 0 65858 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 328428 KiB
Current children cumulated memory: 253808 KiB
[startup+3.11288 s]
/proc/loadavg: 4.13 3.91 2.54 5/241 210014
/proc/meminfo: memFree=122365040/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=638500 memory=539316 CPUtime=3.08 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 80049 0 0 0 287 21 0 0 20 0 1 0 22585948 653824000 134829 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 159625 134829 3878 3002 0 143376 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 638500 KiB
Current children cumulated memory: 539316 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 3.91 2.55 5/241 210014
/proc/meminfo: memFree=122288236/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=672504 memory=568132 CPUtime=6.26 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 82115 0 0 0 604 22 0 0 20 0 1 0 22585948 688644096 142033 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 168126 142033 3878 3002 0 151877 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 672504 KiB
Current children cumulated memory: 568132 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 3.92 2.56 5/241 210016
/proc/meminfo: memFree=122254792/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=697792 memory=601732 CPUtime=12.65 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 88929 0 0 0 1241 24 0 0 20 0 1 0 22585948 714539008 150433 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 174448 150433 4054 3002 0 158199 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 697792 KiB
Current children cumulated memory: 601732 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 3.92 2.57 5/241 210017
/proc/meminfo: memFree=122254828/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=697792 memory=601732 CPUtime=25.41 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 88953 0 0 0 2517 24 0 0 20 0 1 0 22585948 714539008 150433 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 174448 150433 4054 3002 0 158199 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 697792 KiB
Current children cumulated memory: 601732 KiB
[startup+51.113 s]
/proc/loadavg: 4.11 3.94 2.63 5/241 210022
/proc/meminfo: memFree=122252176/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=697792 memory=601804 CPUtime=50.94 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 88983 0 0 0 5069 25 0 0 20 0 1 0 22585948 714539008 150451 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 174448 150451 4070 3002 0 158199 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 697792 KiB
Current children cumulated memory: 601804 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.97 2.70 5/241 210030
/proc/meminfo: memFree=121989332/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1034496 memory=844064 CPUtime=101.97 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 147460 0 0 0 10161 36 0 0 20 0 1 0 22585948 1059323904 211016 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 258624 211016 4086 3002 0 242375 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1034496 KiB
Current children cumulated memory: 844064 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.01 2.80 5/241 210042
/proc/meminfo: memFree=121961864/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1112032 memory=854716 CPUtime=161.78 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 149916 0 0 0 16141 37 0 0 20 0 1 0 22585948 1138720768 213679 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 278008 213679 4086 3002 0 261759 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1112032 KiB
Current children cumulated memory: 854716 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.03 2.89 5/241 210052
/proc/meminfo: memFree=121836876/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1210988 memory=955340 CPUtime=221.59 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 174564 0 0 0 22118 41 0 0 20 0 1 0 22585948 1240051712 238835 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 302747 238835 4086 3002 0 286498 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1210988 KiB
Current children cumulated memory: 955340 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.06 2.97 5/243 210067
/proc/meminfo: memFree=121807208/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1210988 memory=956028 CPUtime=281.41 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 174684 0 0 0 28099 42 0 0 20 0 1 0 22585948 1240051712 239007 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 302747 239007 4086 3002 0 286498 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1210988 KiB
Current children cumulated memory: 956028 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.09 3.05 5/243 210078
/proc/meminfo: memFree=121957764/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1017064 memory=786716 CPUtime=341.25 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 177186 0 0 0 34056 69 0 0 20 0 1 0 22585948 1041473536 196679 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 254266 196679 4236 3002 0 238017 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1017064 KiB
Current children cumulated memory: 786716 KiB
[startup+402.3 s]
/proc/loadavg: 4.36 4.14 3.14 5/243 210088
/proc/meminfo: memFree=121930244/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1017064 memory=797312 CPUtime=401.1 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 177208 0 0 0 40019 91 0 0 20 0 1 0 22585948 1041473536 199328 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 254266 199328 4236 3002 0 238017 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1017064 KiB
Current children cumulated memory: 797312 KiB
[startup+462.3 s]
/proc/loadavg: 4.66 4.26 3.25 5/243 210099
/proc/meminfo: memFree=121886348/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1036032 memory=814784 CPUtime=460.94 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 177843 0 0 0 45978 116 0 0 20 0 1 0 22585948 1060896768 203696 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 259008 203696 4236 3002 0 242759 0
################
# More data... #
################
Current children cumulated memory: 865964 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/243 211200
/proc/meminfo: memFree=120765080/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=865964 CPUtime=2914.79 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 182350 0 0 0 291048 431 0 0 20 0 1 0 22585948 1092456448 216491 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 216491 4236 3002 0 250464 0
Current children cumulated CPU time: 2914.79 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 865964 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/244 211594
/proc/meminfo: memFree=120753672/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=868012 CPUtime=2974.65 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 182449 0 0 0 297027 438 0 0 20 0 1 0 22585948 1092456448 217003 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217003 4236 3002 0 250464 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 868012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/243 211604
/proc/meminfo: memFree=120740232/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=868012 CPUtime=3034.49 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 182553 0 0 0 303005 444 0 0 20 0 1 0 22585948 1092456448 217003 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217003 4236 3002 0 250464 0
Current children cumulated CPU time: 3034.49 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 868012 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/243 211707
/proc/meminfo: memFree=120439028/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=868012 CPUtime=3094.35 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 182648 0 0 0 308984 451 0 0 20 0 1 0 22585948 1092456448 217003 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217003 4236 3002 0 250464 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 868012 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/244 211931
/proc/meminfo: memFree=120407312/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=868012 CPUtime=3154.2 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 182750 0 0 0 314961 459 0 0 20 0 1 0 22585948 1092456448 217003 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217003 4236 3002 0 250464 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 868012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/244 211942
/proc/meminfo: memFree=120375156/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=868012 CPUtime=3214.06 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 182834 0 0 0 320940 466 0 0 20 0 1 0 22585948 1092456448 217003 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217003 4236 3002 0 250464 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 868012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/246 212002
/proc/meminfo: memFree=120459560/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=868012 CPUtime=3273.91 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 182925 0 0 0 326919 472 0 0 20 0 1 0 22585948 1092456448 217003 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217003 4236 3002 0 250464 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 868012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/245 212071
/proc/meminfo: memFree=120364824/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=868012 CPUtime=3333.77 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 183030 0 0 0 332898 479 0 0 20 0 1 0 22585948 1092456448 217003 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217003 4236 3002 0 250464 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 868012 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/245 212082
/proc/meminfo: memFree=120785704/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=870060 CPUtime=3393.63 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 183136 0 0 0 338877 486 0 0 20 0 1 0 22585948 1092456448 217515 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217515 4236 3002 0 250464 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 870060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/244 212092
/proc/meminfo: memFree=120728788/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=870060 CPUtime=3453.48 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 183233 0 0 0 344856 492 0 0 20 0 1 0 22585948 1092456448 217515 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217515 4236 3002 0 250464 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 870060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/244 212102
/proc/meminfo: memFree=120711952/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=870060 CPUtime=3513.34 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 183321 0 0 0 350836 498 0 0 20 0 1 0 22585948 1092456448 217515 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217515 4236 3002 0 250464 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 870060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/244 212113
/proc/meminfo: memFree=120702836/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=870060 CPUtime=3573.17 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 183417 0 0 0 356812 505 0 0 20 0 1 0 22585948 1092456448 217515 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217515 4236 3002 0 250464 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 870060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/242 212117
/proc/meminfo: memFree=120713564/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=870060 CPUtime=3600.09 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 183494 0 0 0 359501 508 0 0 20 0 1 0 22585948 1092456448 217515 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217515 4236 3002 0 250464 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 870060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 210012 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.03 s, system=5.08311 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/242 212117
/proc/meminfo: memFree=120713564/131655788 swapFree=131071472/131071996
[pid=210012] ppid=210009 vsize=1066852 memory=870060 CPUtime=3600.09 cores=5,7
/proc/210012/stat : 210012 (mixed-bag) R 210009 210012 207841 0 -1 4194304 183494 0 0 0 359501 508 0 0 20 0 1 0 22585948 1092456448 217515 134679101440 4194304 16487941 140734907554080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 47448064 140734907560983 140734907561060 140734907561060 140734907568075 0
/proc/210012/statm: 266713 217515 4236 3002 0 250464 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1066852 KiB
Current children cumulated memory: 870060 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.11
CPU user time (s): 3595.03
CPU system time (s): 5.08311
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 1210988
Max. memory (cumulated for all children) (KiB): 956028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.03
system time used= 5.08311
maximum resident set size= 956028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183534
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= 54
involuntary context switches= 1257
# summary of solver processes directly reported to runsolver:
# pid: 210012
# total CPU time (s): 3600.11
# total CPU user time (s): 3595.03
# total CPU system time (s): 5.08311
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3342 second user time and 34.9777 second system time
The end
Begin job on nodeC004 at 2024-07-25 02:06:10
IDJOB=4458774
IDBENCH=178157
IDSOLVER=3066
FILE ID=nodeC004/4458774-1721865970
RUNJOBID= nodeC004-1721865123-207854
SLURM_JOB_ID= 8089202
Free space on /tmp= 723732 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458774-1721865970/watcher-4458774-1721865970 -o /tmp/evaluation-result-4458774-1721865970/solver-4458774-1721865970 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207854 --watchdog 3760 mixed-bag HOME/instance-4458774-1721865970.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ff0f59bbfc198112e385d67f72301d6a
RANDOM SEED=1329710694
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3587.020
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 3580.231
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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.312
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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.359
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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 : 3604.107
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 3343.530
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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 : 1197.465
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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.293
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122843604 kB
MemAvailable: 129388744 kB
Buffers: 287448 kB
Cached: 7051744 kB
SwapCached: 60 kB
Active: 2612780 kB
Inactive: 5566596 kB
Active(anon): 1452 kB
Inactive(anon): 892288 kB
Active(file): 2611328 kB
Inactive(file): 4674308 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 19568 kB
Writeback: 0 kB
AnonPages: 833612 kB
Mapped: 132088 kB
Shmem: 53860 kB
KReclaimable: 199404 kB
Slab: 311528 kB
SReclaimable: 199404 kB
SUnreclaim: 112124 kB
KernelStack: 3896 kB
PageTables: 11404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1231028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 602112 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC004 at 2024-07-25 03:06:19