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.22/0.28 c [STEP] preprocessing with Papilo
0.31/0.39 c Papilo could not simplify the problem
0.31/0.39 c [STEP] solving with SCIP
299.94/300.85 c [STEP] preprocessing done, loading into solver
300.15/301.02 c [STEP] solving
300.15/301.02 c #variables 1486 #constraints 104940
300.15/301.02 c SMALL=int, LARGE=long long
300.15/301.02 d SCIPUB -152
300.15/301.02 c bounds - >= -1210 @ 299.718
300.15/301.02 c stratification level: 0
300.15/301.05 c bounds - >= -1209 @ 299.723
300.15/301.05 c bounds - >= -1208 @ 299.723
300.15/301.05 c bounds - >= -1207 @ 299.723
300.15/301.05 c bounds - >= -1206 @ 299.723
300.15/301.05 c bounds - >= -1205 @ 299.723
300.15/301.05 c bounds - >= -1204 @ 299.723
300.15/301.05 c bounds - >= -1203 @ 299.724
300.15/301.05 c bounds - >= -1202 @ 299.724
300.15/301.05 c bounds - >= -1201 @ 299.724
300.15/301.05 c bounds - >= -1200 @ 299.724
300.15/301.05 c bounds - >= -1199 @ 299.724
300.15/301.05 c bounds - >= -1198 @ 299.724
300.15/301.05 c bounds - >= -1197 @ 299.725
300.15/301.05 c bounds - >= -1196 @ 299.725
300.15/301.05 c bounds - >= -1195 @ 299.725
300.15/301.05 c bounds - >= -1194 @ 299.725
300.15/301.05 c bounds - >= -1193 @ 299.725
300.15/301.05 c bounds - >= -1192 @ 299.725
300.15/301.05 c bounds - >= -1191 @ 299.726
300.15/301.05 c bounds - >= -1190 @ 299.726
300.15/301.05 c bounds - >= -1189 @ 299.726
300.15/301.05 c bounds - >= -1188 @ 299.726
300.15/301.05 c bounds - >= -1187 @ 299.726
300.15/301.05 c bounds - >= -1186 @ 299.726
300.15/301.05 c bounds - >= -1185 @ 299.727
300.15/301.05 c bounds - >= -1184 @ 299.727
300.15/301.05 c bounds - >= -1183 @ 299.727
300.15/301.05 c bounds - >= -1182 @ 299.727
300.15/301.05 c bounds - >= -1181 @ 299.727
300.15/301.05 c bounds - >= -1180 @ 299.727
300.15/301.05 c bounds - >= -1179 @ 299.727
300.15/301.05 c bounds - >= -1178 @ 299.727
300.15/301.05 c bounds - >= -1177 @ 299.727
300.15/301.05 c bounds - >= -1176 @ 299.727
300.15/301.05 c bounds - >= -1175 @ 299.727
300.15/301.05 c bounds - >= -1174 @ 299.727
300.15/301.05 c bounds - >= -1173 @ 299.727
300.15/301.05 c bounds - >= -1172 @ 299.727
300.15/301.05 c bounds - >= -1171 @ 299.728
300.15/301.05 c bounds - >= -1170 @ 299.728
300.15/301.05 c bounds - >= -1169 @ 299.728
300.15/301.05 c bounds - >= -1168 @ 299.728
300.15/301.05 c bounds - >= -1167 @ 299.728
300.15/301.05 c bounds - >= -1166 @ 299.728
300.15/301.05 c bounds - >= -1165 @ 299.728
300.15/301.05 c bounds - >= -1164 @ 299.728
300.15/301.05 c bounds - >= -1163 @ 299.728
300.15/301.05 c bounds - >= -1162 @ 299.728
300.15/301.05 c bounds - >= -1161 @ 299.728
300.15/301.05 c bounds - >= -1160 @ 299.728
300.15/301.05 c bounds - >= -1159 @ 299.728
300.15/301.05 c bounds - >= -1158 @ 299.728
300.15/301.05 c bounds - >= -1157 @ 299.729
300.15/301.05 c bounds - >= -1156 @ 299.729
300.15/301.05 c bounds - >= -1155 @ 299.729
300.15/301.05 c bounds - >= -1154 @ 299.729
300.15/301.05 c bounds - >= -1153 @ 299.729
300.15/301.05 c bounds - >= -1152 @ 299.729
300.15/301.05 c bounds - >= -1151 @ 299.729
300.15/301.05 c bounds - >= -1150 @ 299.729
300.15/301.05 c bounds - >= -1149 @ 299.729
300.15/301.05 c bounds - >= -1148 @ 299.729
300.15/301.05 c bounds - >= -1147 @ 299.729
300.15/301.05 c bounds - >= -1146 @ 299.729
300.15/301.05 c bounds - >= -1145 @ 299.729
300.15/301.05 c bounds - >= -1144 @ 299.73
300.15/301.05 c bounds - >= -1143 @ 299.73
300.15/301.05 c bounds - >= -1142 @ 299.73
300.15/301.05 c bounds - >= -1141 @ 299.73
300.15/301.05 c bounds - >= -1140 @ 299.73
300.15/301.05 c bounds - >= -1139 @ 299.73
300.15/301.05 c bounds - >= -1138 @ 299.73
300.15/301.05 c bounds - >= -1137 @ 299.731
300.15/301.05 c bounds - >= -1136 @ 299.731
300.15/301.05 c bounds - >= -1135 @ 299.731
300.15/301.05 c bounds - >= -1134 @ 299.731
300.15/301.05 c bounds - >= -1133 @ 299.731
300.15/301.05 c bounds - >= -1132 @ 299.731
300.15/301.05 c bounds - >= -1131 @ 299.731
300.15/301.05 c bounds - >= -1130 @ 299.732
300.15/301.05 c bounds - >= -1129 @ 299.732
300.15/301.05 c bounds - >= -1128 @ 299.732
300.15/301.05 c bounds - >= -1127 @ 299.732
300.15/301.05 c bounds - >= -1126 @ 299.732
300.15/301.05 c bounds - >= -1125 @ 299.732
300.15/301.05 c bounds - >= -1124 @ 299.733
300.15/301.05 c bounds - >= -1123 @ 299.733
300.15/301.05 c bounds - >= -1122 @ 299.733
300.15/301.05 c bounds - >= -1121 @ 299.733
300.15/301.05 c bounds - >= -1120 @ 299.733
300.15/301.05 c bounds - >= -1119 @ 299.733
300.15/301.05 c bounds - >= -1118 @ 299.733
300.15/301.05 c bounds - >= -1117 @ 299.734
300.15/301.05 c bounds - >= -1116 @ 299.734
300.15/301.05 c bounds - >= -1115 @ 299.734
300.15/301.05 c bounds - >= -1114 @ 299.734
300.15/301.05 c bounds - >= -1113 @ 299.734
300.15/301.05 c bounds - >= -1112 @ 299.734
300.15/301.05 c bounds - >= -1111 @ 299.735
300.15/301.05 c bounds - >= -1110 @ 299.735
300.15/301.05 c bounds - >= -1109 @ 299.735
300.15/301.05 c bounds - >= -1108 @ 299.735
300.15/301.05 c bounds - >= -1107 @ 299.735
300.15/301.05 c bounds - >= -1106 @ 299.735
300.15/301.05 c bounds - >= -1105 @ 299.736
300.15/301.05 c bounds - >= -1104 @ 299.736
300.15/301.05 c bounds - >= -1103 @ 299.736
300.15/301.05 c bounds - >= -1102 @ 299.736
300.15/301.05 c bounds - >= -1101 @ 299.736
300.15/301.05 c bounds - >= -1100 @ 299.736
300.15/301.05 c bounds - >= -1099 @ 299.737
300.15/301.05 c bounds - >= -1098 @ 299.737
300.15/301.05 c bounds - >= -1097 @ 299.737
300.15/301.05 c bounds - >= -1096 @ 299.737
300.15/301.05 c bounds - >= -1095 @ 299.737
300.15/301.05 c bounds - >= -1094 @ 299.737
300.15/301.05 c bounds - >= -1093 @ 299.737
300.15/301.05 c bounds - >= -1092 @ 299.737
300.15/301.05 c bounds - >= -1091 @ 299.737
300.15/301.05 c bounds - >= -1090 @ 299.737
300.15/301.05 c bounds - >= -1089 @ 299.737
300.15/301.05 c bounds - >= -1088 @ 299.737
300.15/301.05 c bounds - >= -1087 @ 299.737
300.15/301.05 c bounds - >= -1086 @ 299.738
300.15/301.05 c bounds - >= -1085 @ 299.738
300.15/301.05 c bounds - >= -1084 @ 299.738
300.15/301.05 c bounds - >= -1083 @ 299.738
300.15/301.05 c bounds - >= -1082 @ 299.738
300.15/301.05 c bounds - >= -1081 @ 299.738
300.15/301.05 c bounds - >= -1080 @ 299.738
300.15/301.05 c bounds - >= -1079 @ 299.739
300.15/301.05 c bounds - >= -1078 @ 299.739
300.15/301.05 c bounds - >= -1077 @ 299.739
300.15/301.05 c bounds - >= -1076 @ 299.739
300.15/301.05 c bounds - >= -1075 @ 299.739
300.15/301.05 c bounds - >= -1074 @ 299.739
300.15/301.05 c bounds - >= -1073 @ 299.739
300.15/301.07 c bounds - >= -1072 @ 299.74
300.15/301.07 c bounds - >= -1071 @ 299.74
300.15/301.07 c bounds - >= -1070 @ 299.74
300.15/301.07 c bounds - >= -1069 @ 299.74
300.15/301.07 c bounds - >= -1068 @ 299.74
300.15/301.07 c bounds - >= -1067 @ 299.741
300.15/301.07 c bounds - >= -1066 @ 299.741
300.15/301.07 c bounds - >= -1065 @ 299.741
300.15/301.07 c bounds - >= -1064 @ 299.741
300.15/301.07 c bounds - >= -1063 @ 299.741
300.15/301.07 c bounds - >= -1062 @ 299.741
300.15/301.07 c bounds - >= -1061 @ 299.741
300.15/301.07 c bounds - >= -1060 @ 299.741
300.15/301.07 c bounds - >= -1059 @ 299.741
300.15/301.07 c bounds - >= -1058 @ 299.741
300.15/301.07 c bounds - >= -1057 @ 299.741
300.15/301.07 c bounds - >= -1056 @ 299.741
300.15/301.07 c bounds - >= -1055 @ 299.741
300.15/301.07 c bounds - >= -1054 @ 299.741
300.15/301.07 c bounds - >= -1053 @ 299.741
300.15/301.07 c bounds - >= -1052 @ 299.741
300.15/301.07 c bounds - >= -1051 @ 299.741
300.15/301.07 c bounds - >= -1050 @ 299.741
300.15/301.07 c bounds - >= -1049 @ 299.741
300.15/301.07 c bounds - >= -1048 @ 299.742
300.15/301.07 c bounds - >= -1047 @ 299.742
300.15/301.07 c bounds - >= -1046 @ 299.742
300.15/301.07 c bounds - >= -1045 @ 299.742
300.15/301.07 c bounds - >= -1044 @ 299.742
300.15/301.07 c bounds - >= -1043 @ 299.743
300.15/301.07 c bounds - >= -1042 @ 299.743
300.15/301.07 c bounds - >= -1041 @ 299.743
300.15/301.07 c bounds - >= -1040 @ 299.743
300.15/301.07 c bounds - >= -1039 @ 299.743
300.15/301.07 c bounds - >= -1038 @ 299.743
300.15/301.07 c bounds - >= -1037 @ 299.744
300.15/301.07 c bounds - >= -1036 @ 299.744
300.15/301.07 c bounds - >= -1035 @ 299.744
300.15/301.07 c bounds - >= -1034 @ 299.744
300.15/301.07 c bounds - >= -1033 @ 299.744
300.15/301.07 c bounds - >= -1032 @ 299.744
300.15/301.07 c bounds - >= -1031 @ 299.745
300.15/301.07 c bounds - >= -1030 @ 299.745
300.15/301.07 c bounds - >= -1029 @ 299.745
300.15/301.07 c bounds - >= -1028 @ 299.745
300.15/301.07 c bounds - >= -1027 @ 299.745
300.15/301.07 c bounds - >= -1026 @ 299.745
300.15/301.07 c bounds - >= -1025 @ 299.746
300.15/301.07 c bounds - >= -1024 @ 299.746
300.15/301.07 c bounds - >= -1023 @ 299.746
300.15/301.07 c bounds - >= -1022 @ 299.746
300.15/301.07 c bounds - >= -1021 @ 299.746
300.15/301.07 c bounds - >= -1020 @ 299.746
300.15/301.07 c bounds - >= -1019 @ 299.747
300.15/301.07 c bounds - >= -1018 @ 299.747
300.15/301.07 c bounds - >= -1017 @ 299.747
300.15/301.07 c bounds - >= -1016 @ 299.747
300.15/301.07 c bounds - >= -1015 @ 299.747
300.15/301.07 c bounds - >= -1014 @ 299.747
300.15/301.07 c bounds - >= -1013 @ 299.748
300.15/301.07 c bounds - >= -1012 @ 299.748
300.15/301.07 c bounds - >= -1011 @ 299.748
300.15/301.07 c bounds - >= -1010 @ 299.748
300.15/301.07 c bounds - >= -1009 @ 299.748
300.15/301.07 c bounds - >= -1008 @ 299.748
300.15/301.07 c bounds - >= -1007 @ 299.749
300.15/301.07 c bounds - >= -1006 @ 299.749
300.15/301.07 c bounds - >= -1005 @ 299.749
300.15/301.07 c bounds - >= -1004 @ 299.749
300.15/301.07 c bounds - >= -1003 @ 299.749
300.15/301.07 c bounds - >= -1002 @ 299.749
300.15/301.07 c bounds - >= -1001 @ 299.75
300.15/301.07 c bounds - >= -1000 @ 299.75
300.15/301.07 c bounds - >= -999 @ 299.75
300.15/301.07 c bounds - >= -998 @ 299.75
300.15/301.07 c bounds - >= -997 @ 299.75
300.15/301.07 c bounds - >= -996 @ 299.75
300.15/301.07 c bounds - >= -995 @ 299.751
300.15/301.07 c bounds - >= -994 @ 299.751
300.15/301.07 c bounds - >= -993 @ 299.751
300.15/301.07 c bounds - >= -992 @ 299.751
300.15/301.07 c bounds - >= -991 @ 299.751
300.15/301.07 c bounds - >= -990 @ 299.751
300.15/301.07 c bounds - >= -989 @ 299.752
300.15/301.07 c bounds - >= -988 @ 299.752
300.15/301.07 c bounds - >= -987 @ 299.752
300.15/301.07 c bounds - >= -986 @ 299.752
300.15/301.07 c bounds - >= -985 @ 299.752
300.15/301.07 c bounds - >= -984 @ 299.753
300.15/301.07 c bounds - >= -983 @ 299.753
300.15/301.07 c bounds - >= -982 @ 299.753
300.15/301.07 c bounds - >= -981 @ 299.753
300.15/301.07 c bounds - >= -980 @ 299.753
300.15/301.07 c bounds - >= -979 @ 299.754
300.15/301.07 c bounds - >= -978 @ 299.754
300.15/301.07 c bounds - >= -977 @ 299.754
300.15/301.07 c bounds - >= -976 @ 299.754
300.15/301.07 c bounds - >= -975 @ 299.755
300.15/301.07 c bounds - >= -974 @ 299.755
300.15/301.07 c bounds - >= -973 @ 299.755
300.15/301.07 c bounds - >= -972 @ 299.755
300.15/301.07 c bounds - >= -971 @ 299.755
300.15/301.07 c bounds - >= -970 @ 299.756
300.15/301.07 c bounds - >= -969 @ 299.756
300.15/301.07 c bounds - >= -968 @ 299.756
300.15/301.07 c bounds - >= -967 @ 299.756
300.15/301.07 c bounds - >= -966 @ 299.756
300.15/301.07 c bounds - >= -965 @ 299.757
300.15/301.07 c bounds - >= -964 @ 299.757
300.15/301.07 c bounds - >= -963 @ 299.757
300.15/301.07 c bounds - >= -962 @ 299.757
300.15/301.07 c bounds - >= -961 @ 299.757
300.15/301.07 c bounds - >= -960 @ 299.758
300.15/301.07 c bounds - >= -959 @ 299.758
300.15/301.07 c bounds - >= -958 @ 299.758
300.15/301.07 c bounds - >= -957 @ 299.758
300.15/301.07 c bounds - >= -956 @ 299.758
300.15/301.07 c bounds - >= -955 @ 299.758
300.15/301.07 c bounds - >= -954 @ 299.758
300.15/301.07 c bounds - >= -953 @ 299.758
300.15/301.07 c bounds - >= -952 @ 299.759
300.15/301.07 c bounds - >= -951 @ 299.759
300.15/301.07 c bounds - >= -950 @ 299.759
300.15/301.07 c bounds - >= -949 @ 299.759
300.15/301.07 c bounds - >= -948 @ 299.759
300.15/301.07 c bounds - >= -947 @ 299.76
300.15/301.07 c bounds - >= -946 @ 299.76
300.15/301.07 c bounds - >= -945 @ 299.76
300.15/301.07 c bounds - >= -944 @ 299.761
300.15/301.07 c bounds - >= -943 @ 299.761
300.15/301.07 c bounds - >= -942 @ 299.761
300.15/301.07 c bounds - >= -941 @ 299.761
300.15/301.07 c bounds - >= -940 @ 299.761
300.15/301.07 c bounds - >= -939 @ 299.762
300.15/301.07 c bounds - >= -938 @ 299.762
300.15/301.07 c bounds - >= -937 @ 299.762
300.15/301.07 c bounds - >= -936 @ 299.762
300.15/301.07 c bounds - >= -935 @ 299.763
300.15/301.07 c bounds - >= -934 @ 299.763
300.15/301.08 c bounds - >= -933 @ 299.763
300.15/301.08 c bounds - >= -932 @ 299.763
300.15/301.08 c bounds - >= -931 @ 299.764
300.15/301.08 c bounds - >= -930 @ 299.764
300.15/301.08 c bounds - >= -929 @ 299.764
300.15/301.08 c bounds - >= -928 @ 299.764
300.15/301.08 c bounds - >= -927 @ 299.765
300.15/301.08 c bounds - >= -926 @ 299.765
300.15/301.08 c bounds - >= -925 @ 299.765
300.15/301.08 c bounds - >= -924 @ 299.765
300.15/301.08 c bounds - >= -923 @ 299.765
300.15/301.08 c bounds - >= -922 @ 299.766
300.15/301.08 c bounds - >= -921 @ 299.766
300.15/301.08 c bounds - >= -920 @ 299.766
300.15/301.08 c bounds - >= -919 @ 299.767
300.15/301.08 c bounds - >= -918 @ 299.767
300.15/301.08 c bounds - >= -917 @ 299.767
300.15/301.08 c bounds - >= -916 @ 299.767
300.15/301.08 c bounds - >= -915 @ 299.768
300.15/301.08 c bounds - >= -914 @ 299.768
300.15/301.08 c bounds - >= -913 @ 299.768
300.15/301.08 c bounds - >= -912 @ 299.768
300.15/301.08 c bounds - >= -911 @ 299.769
300.15/301.08 c bounds - >= -910 @ 299.769
300.15/301.08 c bounds - >= -909 @ 299.769
300.15/301.08 c bounds - >= -908 @ 299.77
300.15/301.08 c finalizing WCE round: reformulating cores
367.88/368.92 c #Conflicts: 1000 | #Constraints: 106285
367.88/368.92 c #Conflicts: 2000 | #Constraints: 107287
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 3000 | #Constraints: 106973
367.88/368.92 c #Conflicts: 4000 | #Constraints: 107975
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 5000 | #Constraints: 107369
367.88/368.92 c #Conflicts: 6000 | #Constraints: 108371
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 7000 | #Constraints: 107369
367.88/368.92 c #Conflicts: 8000 | #Constraints: 108371
367.88/368.92 c #Conflicts: 9000 | #Constraints: 109375
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 10000 | #Constraints: 108077
367.88/368.92 c #Conflicts: 11000 | #Constraints: 109079
367.88/368.92 c #Conflicts: 12000 | #Constraints: 110081
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 13000 | #Constraints: 108534
367.88/368.92 c #Conflicts: 14000 | #Constraints: 109536
367.88/368.92 c #Conflicts: 15000 | #Constraints: 110538
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 16000 | #Constraints: 108765
367.88/368.92 c #Conflicts: 17000 | #Constraints: 109767
367.88/368.92 c #Conflicts: 18000 | #Constraints: 110769
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 19000 | #Constraints: 108785
367.88/368.92 c #Conflicts: 20000 | #Constraints: 109787
367.88/368.92 c #Conflicts: 21000 | #Constraints: 110789
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 22000 | #Constraints: 108600
367.88/368.92 c #Conflicts: 23000 | #Constraints: 109602
367.88/368.92 c #Conflicts: 24000 | #Constraints: 110606
367.88/368.92 c #Conflicts: 25000 | #Constraints: 111608
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 26000 | #Constraints: 109214
367.88/368.92 c #Conflicts: 27000 | #Constraints: 110216
367.88/368.92 c #Conflicts: 28000 | #Constraints: 111218
367.88/368.92 c #Conflicts: 29000 | #Constraints: 112222
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 30000 | #Constraints: 109628
367.88/368.92 c #Conflicts: 31000 | #Constraints: 110630
367.88/368.92 c #Conflicts: 32000 | #Constraints: 111632
367.88/368.92 c #Conflicts: 33000 | #Constraints: 112636
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 34000 | #Constraints: 109838
367.88/368.92 c #Conflicts: 35000 | #Constraints: 110840
367.88/368.92 c #Conflicts: 36000 | #Constraints: 111842
367.88/368.92 c #Conflicts: 37000 | #Constraints: 112846
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 38000 | #Constraints: 109849
367.88/368.92 c #Conflicts: 39000 | #Constraints: 110851
367.88/368.92 c #Conflicts: 40000 | #Constraints: 111853
367.88/368.92 c #Conflicts: 41000 | #Constraints: 112857
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 42000 | #Constraints: 109656
367.88/368.92 c #Conflicts: 43000 | #Constraints: 110658
367.88/368.92 c #Conflicts: 44000 | #Constraints: 111662
367.88/368.92 c #Conflicts: 45000 | #Constraints: 112664
367.88/368.92 c #Conflicts: 46000 | #Constraints: 113666
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 47000 | #Constraints: 110272
367.88/368.92 c #Conflicts: 48000 | #Constraints: 111274
367.88/368.92 c #Conflicts: 49000 | #Constraints: 112276
367.88/368.92 c #Conflicts: 50000 | #Constraints: 113280
367.88/368.92 c #Conflicts: 51000 | #Constraints: 114282
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 52000 | #Constraints: 110681
367.88/368.92 c #Conflicts: 53000 | #Constraints: 111683
367.88/368.92 c #Conflicts: 54000 | #Constraints: 112685
367.88/368.92 c #Conflicts: 55000 | #Constraints: 113689
367.88/368.92 c #Conflicts: 56000 | #Constraints: 114691
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 57000 | #Constraints: 110891
367.88/368.92 c #Conflicts: 58000 | #Constraints: 111893
367.88/368.92 c #Conflicts: 59000 | #Constraints: 112895
367.88/368.92 c #Conflicts: 60000 | #Constraints: 113899
367.88/368.92 c #Conflicts: 61000 | #Constraints: 114901
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 62000 | #Constraints: 110905
367.88/368.92 c #Conflicts: 63000 | #Constraints: 111907
367.88/368.92 c #Conflicts: 64000 | #Constraints: 112909
367.88/368.92 c #Conflicts: 65000 | #Constraints: 113913
367.88/368.92 c #Conflicts: 66000 | #Constraints: 114915
367.88/368.92 c INPROCESSING
367.88/368.92 c GARBAGE COLLECT
367.88/368.92 c #Conflicts: 67000 | #Constraints: 110720
367.88/368.92 c #Conflicts: 68000 | #Constraints: 111722
439.71/440.94 c #Conflicts: 69000 | #Constraints: 112726
439.71/440.94 c #Conflicts: 70000 | #Constraints: 113728
439.71/440.94 c #Conflicts: 71000 | #Constraints: 114730
439.71/440.94 c #Conflicts: 72000 | #Constraints: 115734
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 73000 | #Constraints: 111339
439.71/440.94 c #Conflicts: 74000 | #Constraints: 112341
439.71/440.94 c #Conflicts: 75000 | #Constraints: 113343
439.71/440.94 c #Conflicts: 76000 | #Constraints: 114347
439.71/440.94 c #Conflicts: 77000 | #Constraints: 115349
439.71/440.94 c #Conflicts: 78000 | #Constraints: 116351
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 79000 | #Constraints: 111755
439.71/440.94 c #Conflicts: 80000 | #Constraints: 112757
439.71/440.94 c #Conflicts: 81000 | #Constraints: 113759
439.71/440.94 c #Conflicts: 82000 | #Constraints: 114763
439.71/440.94 c #Conflicts: 83000 | #Constraints: 115765
439.71/440.94 c #Conflicts: 84000 | #Constraints: 116767
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 85000 | #Constraints: 111968
439.71/440.94 c #Conflicts: 86000 | #Constraints: 112970
439.71/440.94 c #Conflicts: 87000 | #Constraints: 113972
439.71/440.94 c #Conflicts: 88000 | #Constraints: 114976
439.71/440.94 c #Conflicts: 89000 | #Constraints: 115978
439.71/440.94 c #Conflicts: 90000 | #Constraints: 116980
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 91000 | #Constraints: 111986
439.71/440.94 c #Conflicts: 92000 | #Constraints: 112988
439.71/440.94 c #Conflicts: 93000 | #Constraints: 113990
439.71/440.94 c #Conflicts: 94000 | #Constraints: 114994
439.71/440.94 c #Conflicts: 95000 | #Constraints: 115996
439.71/440.94 c #Conflicts: 96000 | #Constraints: 116998
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 97000 | #Constraints: 111798
439.71/440.94 c #Conflicts: 98000 | #Constraints: 112800
439.71/440.94 c #Conflicts: 99000 | #Constraints: 113804
439.71/440.94 c #Conflicts: 100000 | #Constraints: 114806
439.71/440.94 c #Conflicts: 101000 | #Constraints: 115808
439.71/440.94 c #Conflicts: 102000 | #Constraints: 116812
439.71/440.94 c #Conflicts: 103000 | #Constraints: 117814
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 104000 | #Constraints: 112416
439.71/440.94 c #Conflicts: 105000 | #Constraints: 113418
439.71/440.94 c #Conflicts: 106000 | #Constraints: 114420
439.71/440.94 c #Conflicts: 107000 | #Constraints: 115424
439.71/440.94 c #Conflicts: 108000 | #Constraints: 116426
439.71/440.94 c #Conflicts: 109000 | #Constraints: 117428
439.71/440.94 c #Conflicts: 110000 | #Constraints: 118432
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 111000 | #Constraints: 112830
439.71/440.94 c #Conflicts: 112000 | #Constraints: 113832
439.71/440.94 c #Conflicts: 113000 | #Constraints: 114834
439.71/440.94 c #Conflicts: 114000 | #Constraints: 115838
439.71/440.94 c #Conflicts: 115000 | #Constraints: 116840
439.71/440.94 c #Conflicts: 116000 | #Constraints: 117842
439.71/440.94 c #Conflicts: 117000 | #Constraints: 118846
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 118000 | #Constraints: 113053
439.71/440.94 c #Conflicts: 119000 | #Constraints: 114055
439.71/440.94 c #Conflicts: 120000 | #Constraints: 115057
439.71/440.94 c #Conflicts: 121000 | #Constraints: 116061
439.71/440.94 c #Conflicts: 122000 | #Constraints: 117063
439.71/440.94 c #Conflicts: 123000 | #Constraints: 118065
439.71/440.94 c #Conflicts: 124000 | #Constraints: 119069
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 125000 | #Constraints: 113067
439.71/440.94 c #Conflicts: 126000 | #Constraints: 114069
439.71/440.94 c #Conflicts: 127000 | #Constraints: 115071
439.71/440.94 c #Conflicts: 128000 | #Constraints: 116075
439.71/440.94 c #Conflicts: 129000 | #Constraints: 117077
439.71/440.94 c #Conflicts: 130000 | #Constraints: 118079
439.71/440.94 c #Conflicts: 131000 | #Constraints: 119083
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 132000 | #Constraints: 112883
439.71/440.94 c #Conflicts: 133000 | #Constraints: 113885
439.71/440.94 c #Conflicts: 134000 | #Constraints: 114889
439.71/440.94 c #Conflicts: 135000 | #Constraints: 115891
439.71/440.94 c #Conflicts: 136000 | #Constraints: 116893
439.71/440.94 c #Conflicts: 137000 | #Constraints: 117897
439.71/440.94 c #Conflicts: 138000 | #Constraints: 118899
439.71/440.94 c #Conflicts: 139000 | #Constraints: 119901
439.71/440.94 c INPROCESSING
439.71/440.94 c GARBAGE COLLECT
439.71/440.94 c #Conflicts: 140000 | #Constraints: 113508
539.35/540.81 c #Conflicts: 141000 | #Constraints: 114510
539.35/540.81 c #Conflicts: 142000 | #Constraints: 115512
539.35/540.81 c #Conflicts: 143000 | #Constraints: 116516
539.35/540.81 c #Conflicts: 144000 | #Constraints: 117518
539.35/540.81 c #Conflicts: 145000 | #Constraints: 118520
539.35/540.81 c #Conflicts: 146000 | #Constraints: 119524
539.35/540.81 c #Conflicts: 147000 | #Constraints: 120526
539.35/540.81 c INPROCESSING
539.35/540.81 c GARBAGE COLLECT
539.35/540.81 c #Conflicts: 148000 | #Constraints: 113927
539.35/540.81 c #Conflicts: 149000 | #Constraints: 114929
539.35/540.81 c #Conflicts: 150000 | #Constraints: 115931
539.35/540.81 c #Conflicts: 151000 | #Constraints: 116935
539.35/540.81 c #Conflicts: 152000 | #Constraints: 117937
539.35/540.81 c #Conflicts: 153000 | #Constraints: 118939
539.35/540.81 c #Conflicts: 154000 | #Constraints: 119943
539.35/540.81 c #Conflicts: 155000 | #Constraints: 120945
539.35/540.81 c INPROCESSING
539.35/540.81 c GARBAGE COLLECT
539.35/540.81 c #Conflicts: 156000 | #Constraints: 114147
539.35/540.81 c #Conflicts: 157000 | #Constraints: 115149
539.35/540.81 c #Conflicts: 158000 | #Constraints: 116151
539.35/540.81 c #Conflicts: 159000 | #Constraints: 117155
539.35/540.81 c #Conflicts: 160000 | #Constraints: 118157
539.35/540.81 c #Conflicts: 161000 | #Constraints: 119159
539.35/540.81 c #Conflicts: 162000 | #Constraints: 120163
539.35/540.81 c #Conflicts: 163000 | #Constraints: 121165
539.35/540.81 c INPROCESSING
539.35/540.81 c GARBAGE COLLECT
539.35/540.81 c #Conflicts: 164000 | #Constraints: 114168
539.35/540.81 c #Conflicts: 165000 | #Constraints: 115170
539.35/540.81 c #Conflicts: 166000 | #Constraints: 116172
539.35/540.81 c #Conflicts: 167000 | #Constraints: 117176
539.35/540.81 c #Conflicts: 168000 | #Constraints: 118178
539.35/540.81 c #Conflicts: 169000 | #Constraints: 119180
539.35/540.81 c #Conflicts: 170000 | #Constraints: 120184
539.35/540.81 c #Conflicts: 171000 | #Constraints: 121186
539.35/540.81 c INPROCESSING
539.35/540.81 c GARBAGE COLLECT
539.35/540.81 c #Conflicts: 172000 | #Constraints: 113987
539.35/540.81 c #Conflicts: 173000 | #Constraints: 114989
539.35/540.81 c #Conflicts: 174000 | #Constraints: 115993
539.35/540.81 c #Conflicts: 175000 | #Constraints: 116995
539.35/540.81 c #Conflicts: 176000 | #Constraints: 117997
539.35/540.81 c #Conflicts: 177000 | #Constraints: 119001
539.35/540.81 c #Conflicts: 178000 | #Constraints: 120003
539.35/540.81 c #Conflicts: 179000 | #Constraints: 121005
539.35/540.81 c #Conflicts: 180000 | #Constraints: 122009
539.35/540.81 c INPROCESSING
539.35/540.81 c GARBAGE COLLECT
539.35/540.81 c #Conflicts: 181000 | #Constraints: 114607
539.35/540.81 c #Conflicts: 182000 | #Constraints: 115609
539.35/540.81 c #Conflicts: 183000 | #Constraints: 116611
539.35/540.81 c #Conflicts: 184000 | #Constraints: 117615
539.35/540.81 c #Conflicts: 185000 | #Constraints: 118617
539.35/540.81 c #Conflicts: 186000 | #Constraints: 119619
539.35/540.81 c #Conflicts: 187000 | #Constraints: 120623
539.35/540.81 c #Conflicts: 188000 | #Constraints: 121625
539.35/540.81 c #Conflicts: 189000 | #Constraints: 122627
539.35/540.81 c INPROCESSING
539.35/540.81 c GARBAGE COLLECT
539.35/540.81 c #Conflicts: 190000 | #Constraints: 115031
539.35/540.81 c #Conflicts: 191000 | #Constraints: 116033
539.35/540.81 c #Conflicts: 192000 | #Constraints: 117035
539.35/540.81 c #Conflicts: 193000 | #Constraints: 118039
539.35/540.81 c #Conflicts: 194000 | #Constraints: 119041
539.35/540.81 c #Conflicts: 195000 | #Constraints: 120043
539.35/540.81 c #Conflicts: 196000 | #Constraints: 121047
539.35/540.81 c #Conflicts: 197000 | #Constraints: 122049
539.35/540.81 c #Conflicts: 198000 | #Constraints: 123051
539.35/540.81 c INPROCESSING
539.35/540.81 c GARBAGE COLLECT
539.35/540.81 c #Conflicts: 199000 | #Constraints: 115256
539.35/540.81 c #Conflicts: 200000 | #Constraints: 116258
539.35/540.81 c #Conflicts: 201000 | #Constraints: 117260
539.35/540.81 c #Conflicts: 202000 | #Constraints: 118264
539.35/540.81 c #Conflicts: 203000 | #Constraints: 119266
539.35/540.81 c #Conflicts: 204000 | #Constraints: 120268
539.35/540.81 c #Conflicts: 205000 | #Constraints: 121272
539.35/540.81 c #Conflicts: 206000 | #Constraints: 122274
539.35/540.81 c #Conflicts: 207000 | #Constraints: 123276
539.35/540.81 c INPROCESSING
539.35/540.81 c GARBAGE COLLECT
539.35/540.81 c #Conflicts: 208000 | #Constraints: 115279
539.35/540.81 c #Conflicts: 209000 | #Constraints: 116281
539.35/540.81 c #Conflicts: 210000 | #Constraints: 117283
539.35/540.81 c #Conflicts: 211000 | #Constraints: 118287
539.35/540.81 c #Conflicts: 212000 | #Constraints: 119289
539.35/540.81 c #Conflicts: 213000 | #Constraints: 120291
637.31/639.09 c #Conflicts: 214000 | #Constraints: 121295
637.31/639.09 c #Conflicts: 215000 | #Constraints: 122297
637.31/639.09 c #Conflicts: 216000 | #Constraints: 123299
637.31/639.09 c INPROCESSING
637.31/639.09 c GARBAGE COLLECT
637.31/639.09 c #Conflicts: 217000 | #Constraints: 115100
637.31/639.09 c #Conflicts: 218000 | #Constraints: 116102
637.31/639.09 c #Conflicts: 219000 | #Constraints: 117106
637.31/639.09 c #Conflicts: 220000 | #Constraints: 118108
637.31/639.09 c #Conflicts: 221000 | #Constraints: 119110
637.31/639.09 c #Conflicts: 222000 | #Constraints: 120114
637.31/639.09 c #Conflicts: 223000 | #Constraints: 121116
637.31/639.09 c #Conflicts: 224000 | #Constraints: 122118
637.31/639.09 c #Conflicts: 225000 | #Constraints: 123122
637.31/639.09 c #Conflicts: 226000 | #Constraints: 124124
637.31/639.09 c INPROCESSING
637.31/639.09 c GARBAGE COLLECT
637.31/639.09 c #Conflicts: 227000 | #Constraints: 115726
637.31/639.09 c #Conflicts: 228000 | #Constraints: 116728
637.31/639.09 c #Conflicts: 229000 | #Constraints: 117730
637.31/639.09 c #Conflicts: 230000 | #Constraints: 118734
637.31/639.09 c #Conflicts: 231000 | #Constraints: 119736
637.31/639.09 c #Conflicts: 232000 | #Constraints: 120738
637.31/639.10 c #Conflicts: 233000 | #Constraints: 121742
637.31/639.10 c #Conflicts: 234000 | #Constraints: 122744
637.31/639.10 c #Conflicts: 235000 | #Constraints: 123746
637.31/639.10 c #Conflicts: 236000 | #Constraints: 124750
637.31/639.10 c INPROCESSING
637.31/639.10 c GARBAGE COLLECT
637.31/639.10 c #Conflicts: 237000 | #Constraints: 116152
637.31/639.10 c #Conflicts: 238000 | #Constraints: 117154
637.31/639.10 c #Conflicts: 239000 | #Constraints: 118156
637.31/639.10 c #Conflicts: 240000 | #Constraints: 119160
637.31/639.10 c #Conflicts: 241000 | #Constraints: 120162
637.31/639.10 c #Conflicts: 242000 | #Constraints: 121164
637.31/639.10 c bounds -726 >= -908 @ 585.016
637.31/639.10 c bounds -726 >= -907 @ 585.021
637.31/639.10 c bounds -726 >= -906 @ 585.022
637.31/639.10 c bounds -726 >= -905 @ 585.034
637.31/639.10 c bounds -726 >= -904 @ 585.042
637.31/639.10 c bounds -726 >= -903 @ 585.048
637.31/639.10 c bounds -726 >= -902 @ 585.054
637.31/639.10 c bounds -726 >= -901 @ 585.06
637.31/639.10 c bounds -726 >= -900 @ 585.065
637.31/639.10 c bounds -726 >= -899 @ 585.07
637.31/639.10 c bounds -726 >= -898 @ 585.073
637.31/639.10 c bounds -726 >= -897 @ 585.077
637.31/639.10 c bounds -726 >= -896 @ 585.08
637.31/639.10 c bounds -726 >= -895 @ 585.084
637.31/639.10 c bounds -726 >= -894 @ 585.089
637.31/639.10 c bounds -726 >= -893 @ 585.092
637.31/639.10 c bounds -726 >= -892 @ 585.096
637.31/639.10 c bounds -726 >= -891 @ 585.099
637.31/639.10 c bounds -726 >= -890 @ 585.101
637.31/639.10 c bounds -726 >= -889 @ 585.104
637.31/639.10 c bounds -726 >= -888 @ 585.107
637.31/639.10 c bounds -726 >= -887 @ 585.11
637.31/639.10 c bounds -726 >= -886 @ 585.115
637.31/639.10 c bounds -726 >= -885 @ 585.118
637.31/639.10 c bounds -726 >= -884 @ 585.122
637.31/639.10 c bounds -726 >= -883 @ 585.125
637.31/639.10 c bounds -726 >= -882 @ 585.132
637.31/639.10 c bounds -726 >= -881 @ 585.14
637.31/639.10 c bounds -726 >= -880 @ 585.151
637.31/639.10 c bounds -726 >= -879 @ 585.179
637.31/639.10 c bounds -726 >= -878 @ 585.21
637.31/639.10 c bounds -726 >= -877 @ 585.304
637.31/639.10 c bounds -726 >= -876 @ 585.443
637.31/639.10 c bounds -726 >= -875 @ 585.692
637.31/639.10 c #Conflicts: 243000 | #Constraints: 123294
637.31/639.10 c bounds -726 >= -874 @ 586.534
637.31/639.10 c #Conflicts: 244000 | #Constraints: 124334
637.31/639.10 c #Conflicts: 245000 | #Constraints: 125334
637.31/639.10 c #Conflicts: 246000 | #Constraints: 126334
637.31/639.10 c INPROCESSING
637.31/639.10 c GARBAGE COLLECT
637.31/639.10 c #Conflicts: 247000 | #Constraints: 117270
637.31/639.10 c #Conflicts: 248000 | #Constraints: 118270
637.31/639.10 c #Conflicts: 249000 | #Constraints: 119270
637.31/639.10 c #Conflicts: 250000 | #Constraints: 120270
637.31/639.10 c #Conflicts: 251000 | #Constraints: 121270
637.31/639.10 c #Conflicts: 252000 | #Constraints: 122270
637.31/639.10 c #Conflicts: 253000 | #Constraints: 123270
637.31/639.10 c #Conflicts: 254000 | #Constraints: 124270
637.31/639.10 c #Conflicts: 255000 | #Constraints: 125270
637.31/639.10 c #Conflicts: 256000 | #Constraints: 126270
637.31/639.10 c INPROCESSING
637.31/639.10 c GARBAGE COLLECT
637.31/639.10 c #Conflicts: 257000 | #Constraints: 117092
637.31/639.10 c #Conflicts: 258000 | #Constraints: 118092
637.31/639.10 c #Conflicts: 259000 | #Constraints: 119092
637.31/639.10 c #Conflicts: 260000 | #Constraints: 120092
637.31/639.10 c #Conflicts: 261000 | #Constraints: 121092
637.31/639.10 c #Conflicts: 262000 | #Constraints: 122092
637.31/639.10 c #Conflicts: 263000 | #Constraints: 123092
637.31/639.10 c #Conflicts: 264000 | #Constraints: 124092
637.31/639.10 c #Conflicts: 265000 | #Constraints: 125092
637.31/639.10 c #Conflicts: 266000 | #Constraints: 126092
637.31/639.10 c INPROCESSING
637.31/639.10 c GARBAGE COLLECT
637.31/639.10 c #Conflicts: 267000 | #Constraints: 116778
854.30/856.52 c #Conflicts: 268000 | #Constraints: 117778
854.30/856.52 c #Conflicts: 269000 | #Constraints: 118778
854.30/856.52 c #Conflicts: 270000 | #Constraints: 119778
854.30/856.52 c #Conflicts: 271000 | #Constraints: 120778
854.30/856.52 c #Conflicts: 272000 | #Constraints: 121778
854.30/856.52 c #Conflicts: 273000 | #Constraints: 122778
854.30/856.52 c #Conflicts: 274000 | #Constraints: 123778
854.30/856.52 c #Conflicts: 275000 | #Constraints: 124778
854.30/856.52 c #Conflicts: 276000 | #Constraints: 125778
854.30/856.52 c #Conflicts: 277000 | #Constraints: 126778
854.30/856.52 c INPROCESSING
854.30/856.52 c GARBAGE COLLECT
854.30/856.52 c #Conflicts: 278000 | #Constraints: 117316
854.30/856.52 c #Conflicts: 279000 | #Constraints: 118316
854.30/856.52 c #Conflicts: 280000 | #Constraints: 119316
854.30/856.52 c #Conflicts: 281000 | #Constraints: 120316
854.30/856.52 c #Conflicts: 282000 | #Constraints: 121316
854.30/856.52 c #Conflicts: 283000 | #Constraints: 122316
854.30/856.52 c #Conflicts: 284000 | #Constraints: 123316
854.30/856.52 c #Conflicts: 285000 | #Constraints: 124316
854.30/856.52 c #Conflicts: 286000 | #Constraints: 125316
854.30/856.52 c #Conflicts: 287000 | #Constraints: 126316
854.30/856.52 c #Conflicts: 288000 | #Constraints: 127316
854.30/856.52 c INPROCESSING
854.30/856.52 c GARBAGE COLLECT
854.30/856.52 c #Conflicts: 289000 | #Constraints: 117698
854.30/856.52 c #Conflicts: 290000 | #Constraints: 118698
854.30/856.52 c #Conflicts: 291000 | #Constraints: 119698
854.30/856.52 c #Conflicts: 292000 | #Constraints: 120698
854.30/856.52 c #Conflicts: 293000 | #Constraints: 121698
854.30/856.52 c #Conflicts: 294000 | #Constraints: 122698
854.30/856.52 c #Conflicts: 295000 | #Constraints: 123698
854.30/856.52 c #Conflicts: 296000 | #Constraints: 124698
854.30/856.52 c #Conflicts: 297000 | #Constraints: 125698
854.30/856.52 c #Conflicts: 298000 | #Constraints: 126698
854.30/856.52 c #Conflicts: 299000 | #Constraints: 127698
854.30/856.52 c INPROCESSING
854.30/856.52 c GARBAGE COLLECT
854.30/856.52 c #Conflicts: 300000 | #Constraints: 117886
854.30/856.52 c #Conflicts: 301000 | #Constraints: 118886
854.30/856.52 c #Conflicts: 302000 | #Constraints: 119886
854.30/856.52 c #Conflicts: 303000 | #Constraints: 120886
854.30/856.52 c #Conflicts: 304000 | #Constraints: 121886
854.30/856.52 c #Conflicts: 305000 | #Constraints: 122886
854.30/856.52 c #Conflicts: 306000 | #Constraints: 123886
854.30/856.52 c #Conflicts: 307000 | #Constraints: 124886
854.30/856.52 c #Conflicts: 308000 | #Constraints: 125886
854.30/856.52 c #Conflicts: 309000 | #Constraints: 126886
854.30/856.52 c #Conflicts: 310000 | #Constraints: 127886
854.30/856.52 c INPROCESSING
854.30/856.52 c GARBAGE COLLECT
854.30/856.52 c #Conflicts: 311000 | #Constraints: 117872
854.30/856.52 c #Conflicts: 312000 | #Constraints: 118872
854.30/856.52 c #Conflicts: 313000 | #Constraints: 119872
854.30/856.52 c #Conflicts: 314000 | #Constraints: 120872
854.30/856.52 c #Conflicts: 315000 | #Constraints: 121872
854.30/856.52 c #Conflicts: 316000 | #Constraints: 122872
854.30/856.52 c #Conflicts: 317000 | #Constraints: 123872
854.30/856.52 c #Conflicts: 318000 | #Constraints: 124872
854.30/856.52 c #Conflicts: 319000 | #Constraints: 125872
854.30/856.52 c #Conflicts: 320000 | #Constraints: 126872
854.30/856.52 c #Conflicts: 321000 | #Constraints: 127872
854.30/856.52 c INPROCESSING
854.30/856.52 c GARBAGE COLLECT
854.30/856.52 c #Conflicts: 322000 | #Constraints: 117659
854.30/856.52 c #Conflicts: 323000 | #Constraints: 118659
854.30/856.52 c #Conflicts: 324000 | #Constraints: 119659
854.30/856.52 c #Conflicts: 325000 | #Constraints: 120659
854.30/856.52 c #Conflicts: 326000 | #Constraints: 121659
854.30/856.52 c #Conflicts: 327000 | #Constraints: 122659
854.30/856.52 c #Conflicts: 328000 | #Constraints: 123659
854.30/856.52 c #Conflicts: 329000 | #Constraints: 124659
854.30/856.52 c #Conflicts: 330000 | #Constraints: 125659
854.30/856.52 c #Conflicts: 331000 | #Constraints: 126659
854.30/856.52 c #Conflicts: 332000 | #Constraints: 127659
854.30/856.52 c #Conflicts: 333000 | #Constraints: 128659
854.30/856.52 c INPROCESSING
854.30/856.52 c GARBAGE COLLECT
854.30/856.52 c #Conflicts: 334000 | #Constraints: 118270
854.30/856.52 c #Conflicts: 335000 | #Constraints: 119270
854.30/856.52 c #Conflicts: 336000 | #Constraints: 120270
854.30/856.52 c #Conflicts: 337000 | #Constraints: 121270
854.30/856.52 c #Conflicts: 338000 | #Constraints: 122270
854.30/856.52 c #Conflicts: 339000 | #Constraints: 123270
854.30/856.52 c #Conflicts: 340000 | #Constraints: 124270
854.30/856.52 c #Conflicts: 341000 | #Constraints: 125270
854.30/856.52 c #Conflicts: 342000 | #Constraints: 126270
1106.81/1109.70 c #Conflicts: 343000 | #Constraints: 127270
1106.81/1109.70 c #Conflicts: 344000 | #Constraints: 128270
1106.81/1109.70 c #Conflicts: 345000 | #Constraints: 129270
1106.81/1109.70 c INPROCESSING
1106.81/1109.70 c GARBAGE COLLECT
1106.81/1109.70 c #Conflicts: 346000 | #Constraints: 118668
1106.81/1109.70 c #Conflicts: 347000 | #Constraints: 119668
1106.81/1109.70 c #Conflicts: 348000 | #Constraints: 120668
1106.81/1109.70 c #Conflicts: 349000 | #Constraints: 121668
1106.81/1109.70 c #Conflicts: 350000 | #Constraints: 122668
1106.81/1109.70 c #Conflicts: 351000 | #Constraints: 123668
1106.81/1109.70 c #Conflicts: 352000 | #Constraints: 124668
1106.81/1109.70 c #Conflicts: 353000 | #Constraints: 125668
1106.81/1109.70 c #Conflicts: 354000 | #Constraints: 126668
1106.81/1109.70 c #Conflicts: 355000 | #Constraints: 127668
1106.81/1109.70 c #Conflicts: 356000 | #Constraints: 128668
1106.81/1109.70 c #Conflicts: 357000 | #Constraints: 129668
1106.81/1109.70 c INPROCESSING
1106.81/1109.70 c GARBAGE COLLECT
1106.81/1109.70 c #Conflicts: 358000 | #Constraints: 118873
1106.81/1109.70 c #Conflicts: 359000 | #Constraints: 119873
1106.81/1109.70 c #Conflicts: 360000 | #Constraints: 120873
1106.81/1109.70 c #Conflicts: 361000 | #Constraints: 121873
1106.81/1109.70 c #Conflicts: 362000 | #Constraints: 122873
1106.81/1109.70 c #Conflicts: 363000 | #Constraints: 123873
1106.81/1109.70 c #Conflicts: 364000 | #Constraints: 124873
1106.81/1109.70 c #Conflicts: 365000 | #Constraints: 125873
1106.81/1109.70 c #Conflicts: 366000 | #Constraints: 126873
1106.81/1109.70 c #Conflicts: 367000 | #Constraints: 127873
1106.81/1109.70 c #Conflicts: 368000 | #Constraints: 128873
1106.81/1109.70 c #Conflicts: 369000 | #Constraints: 129873
1106.81/1109.70 c INPROCESSING
1106.81/1109.70 c GARBAGE COLLECT
1106.81/1109.70 c #Conflicts: 370000 | #Constraints: 118867
1106.81/1109.70 c #Conflicts: 371000 | #Constraints: 119867
1106.81/1109.70 c #Conflicts: 372000 | #Constraints: 120867
1106.81/1109.70 c #Conflicts: 373000 | #Constraints: 121867
1106.81/1109.70 c #Conflicts: 374000 | #Constraints: 122867
1106.81/1109.70 c #Conflicts: 375000 | #Constraints: 123867
1106.81/1109.70 c #Conflicts: 376000 | #Constraints: 124867
1106.81/1109.70 c #Conflicts: 377000 | #Constraints: 125867
1106.81/1109.70 c #Conflicts: 378000 | #Constraints: 126867
1106.81/1109.70 c #Conflicts: 379000 | #Constraints: 127867
1106.81/1109.70 c #Conflicts: 380000 | #Constraints: 128867
1106.81/1109.70 c #Conflicts: 381000 | #Constraints: 129867
1106.81/1109.70 c INPROCESSING
1106.81/1109.70 c GARBAGE COLLECT
1106.81/1109.70 c #Conflicts: 382000 | #Constraints: 118668
1106.81/1109.70 c #Conflicts: 383000 | #Constraints: 119668
1106.81/1109.70 c #Conflicts: 384000 | #Constraints: 120668
1106.81/1109.70 c #Conflicts: 385000 | #Constraints: 121668
1106.81/1109.70 c #Conflicts: 386000 | #Constraints: 122668
1106.81/1109.70 c #Conflicts: 387000 | #Constraints: 123668
1106.81/1109.70 c #Conflicts: 388000 | #Constraints: 124668
1106.81/1109.70 c #Conflicts: 389000 | #Constraints: 125668
1106.81/1109.70 c #Conflicts: 390000 | #Constraints: 126668
1106.81/1109.70 c #Conflicts: 391000 | #Constraints: 127668
1106.81/1109.70 c #Conflicts: 392000 | #Constraints: 128668
1106.81/1109.70 c #Conflicts: 393000 | #Constraints: 129668
1106.81/1109.70 c #Conflicts: 394000 | #Constraints: 130668
1106.81/1109.70 c INPROCESSING
1106.81/1109.70 c GARBAGE COLLECT
1106.81/1109.70 c #Conflicts: 395000 | #Constraints: 119276
1106.81/1109.70 c #Conflicts: 396000 | #Constraints: 120276
1106.81/1109.70 c #Conflicts: 397000 | #Constraints: 121276
1106.81/1109.70 c #Conflicts: 398000 | #Constraints: 122276
1106.81/1109.70 c #Conflicts: 399000 | #Constraints: 123276
1106.81/1109.70 c #Conflicts: 400000 | #Constraints: 124276
1106.81/1109.70 c #Conflicts: 401000 | #Constraints: 125276
1106.81/1109.70 c #Conflicts: 402000 | #Constraints: 126276
1106.81/1109.70 c #Conflicts: 403000 | #Constraints: 127276
1106.81/1109.70 c #Conflicts: 404000 | #Constraints: 128276
1106.81/1109.70 c #Conflicts: 405000 | #Constraints: 129276
1106.81/1109.70 c #Conflicts: 406000 | #Constraints: 130276
1106.81/1109.70 c #Conflicts: 407000 | #Constraints: 131276
1106.81/1109.70 c INPROCESSING
1106.81/1109.70 c GARBAGE COLLECT
1106.81/1109.70 c #Conflicts: 408000 | #Constraints: 119683
1106.81/1109.70 c #Conflicts: 409000 | #Constraints: 120683
1106.81/1109.70 c #Conflicts: 410000 | #Constraints: 121683
1106.81/1109.70 c #Conflicts: 411000 | #Constraints: 122683
1106.81/1109.70 c #Conflicts: 412000 | #Constraints: 123683
1106.81/1109.70 c #Conflicts: 413000 | #Constraints: 124683
1106.81/1109.70 c #Conflicts: 414000 | #Constraints: 125683
1106.81/1109.70 c #Conflicts: 415000 | #Constraints: 126683
1106.81/1109.70 c #Conflicts: 416000 | #Constraints: 127683
1106.81/1109.70 c #Conflicts: 417000 | #Constraints: 128683
1426.84/1430.61 c #Conflicts: 418000 | #Constraints: 129683
1426.84/1430.61 c #Conflicts: 419000 | #Constraints: 130683
1426.84/1430.61 c #Conflicts: 420000 | #Constraints: 131683
1426.84/1430.61 c INPROCESSING
1426.84/1430.61 c GARBAGE COLLECT
1426.84/1430.61 c #Conflicts: 421000 | #Constraints: 119869
1426.84/1430.61 c #Conflicts: 422000 | #Constraints: 120869
1426.84/1430.61 c #Conflicts: 423000 | #Constraints: 121869
1426.84/1430.61 c #Conflicts: 424000 | #Constraints: 122869
1426.84/1430.61 c #Conflicts: 425000 | #Constraints: 123869
1426.84/1430.61 c #Conflicts: 426000 | #Constraints: 124869
1426.84/1430.61 c #Conflicts: 427000 | #Constraints: 125869
1426.84/1430.61 c #Conflicts: 428000 | #Constraints: 126869
1426.84/1430.61 c #Conflicts: 429000 | #Constraints: 127869
1426.84/1430.61 c #Conflicts: 430000 | #Constraints: 128869
1426.84/1430.61 c #Conflicts: 431000 | #Constraints: 129869
1426.84/1430.61 c #Conflicts: 432000 | #Constraints: 130869
1426.84/1430.61 c #Conflicts: 433000 | #Constraints: 131869
1426.84/1430.61 c INPROCESSING
1426.84/1430.61 c GARBAGE COLLECT
1426.84/1430.61 c #Conflicts: 434000 | #Constraints: 119877
1426.84/1430.61 c #Conflicts: 435000 | #Constraints: 120877
1426.84/1430.61 c #Conflicts: 436000 | #Constraints: 121877
1426.84/1430.61 c #Conflicts: 437000 | #Constraints: 122877
1426.84/1430.61 c #Conflicts: 438000 | #Constraints: 123877
1426.84/1430.61 c #Conflicts: 439000 | #Constraints: 124877
1426.84/1430.61 c #Conflicts: 440000 | #Constraints: 125877
1426.84/1430.61 c #Conflicts: 441000 | #Constraints: 126877
1426.84/1430.61 c #Conflicts: 442000 | #Constraints: 127877
1426.84/1430.61 c #Conflicts: 443000 | #Constraints: 128877
1426.84/1430.61 c #Conflicts: 444000 | #Constraints: 129877
1426.84/1430.61 c #Conflicts: 445000 | #Constraints: 130877
1426.84/1430.61 c #Conflicts: 446000 | #Constraints: 131877
1426.84/1430.61 c INPROCESSING
1426.84/1430.61 c GARBAGE COLLECT
1426.84/1430.61 c #Conflicts: 447000 | #Constraints: 119681
1426.84/1430.61 c #Conflicts: 448000 | #Constraints: 120681
1426.84/1430.61 c #Conflicts: 449000 | #Constraints: 121681
1426.84/1430.61 c #Conflicts: 450000 | #Constraints: 122681
1426.84/1430.61 c #Conflicts: 451000 | #Constraints: 123681
1426.84/1430.61 c #Conflicts: 452000 | #Constraints: 124681
1426.84/1430.61 c #Conflicts: 453000 | #Constraints: 125681
1426.84/1430.61 c #Conflicts: 454000 | #Constraints: 126681
1426.84/1430.61 c #Conflicts: 455000 | #Constraints: 127681
1426.84/1430.61 c #Conflicts: 456000 | #Constraints: 128681
1426.84/1430.61 c #Conflicts: 457000 | #Constraints: 129681
1426.84/1430.61 c #Conflicts: 458000 | #Constraints: 130681
1426.84/1430.61 c #Conflicts: 459000 | #Constraints: 131681
1426.84/1430.61 c #Conflicts: 460000 | #Constraints: 132681
1426.84/1430.61 c INPROCESSING
1426.84/1430.61 c GARBAGE COLLECT
1426.84/1430.61 c #Conflicts: 461000 | #Constraints: 120282
1426.84/1430.61 c #Conflicts: 462000 | #Constraints: 121282
1426.84/1430.61 c #Conflicts: 463000 | #Constraints: 122282
1426.84/1430.61 c #Conflicts: 464000 | #Constraints: 123282
1426.84/1430.61 c #Conflicts: 465000 | #Constraints: 124282
1426.84/1430.61 c #Conflicts: 466000 | #Constraints: 125282
1426.84/1430.61 c #Conflicts: 467000 | #Constraints: 126282
1426.84/1430.61 c #Conflicts: 468000 | #Constraints: 127282
1426.84/1430.61 c #Conflicts: 469000 | #Constraints: 128282
1426.84/1430.61 c #Conflicts: 470000 | #Constraints: 129282
1426.84/1430.61 c #Conflicts: 471000 | #Constraints: 130282
1426.84/1430.61 c #Conflicts: 472000 | #Constraints: 131282
1426.84/1430.61 c #Conflicts: 473000 | #Constraints: 132282
1426.84/1430.61 c #Conflicts: 474000 | #Constraints: 133282
1426.84/1430.61 c INPROCESSING
1426.84/1430.61 c GARBAGE COLLECT
1426.84/1430.61 c #Conflicts: 475000 | #Constraints: 120683
1426.84/1430.61 c #Conflicts: 476000 | #Constraints: 121683
1426.84/1430.61 c #Conflicts: 477000 | #Constraints: 122683
1426.84/1430.61 c #Conflicts: 478000 | #Constraints: 123683
1426.84/1430.61 c #Conflicts: 479000 | #Constraints: 124683
1426.84/1430.61 c #Conflicts: 480000 | #Constraints: 125683
1426.84/1430.61 c #Conflicts: 481000 | #Constraints: 126683
1426.84/1430.61 c #Conflicts: 482000 | #Constraints: 127683
1426.84/1430.61 c #Conflicts: 483000 | #Constraints: 128683
1426.84/1430.61 c #Conflicts: 484000 | #Constraints: 129683
1426.84/1430.61 c #Conflicts: 485000 | #Constraints: 130683
1426.84/1430.61 c #Conflicts: 486000 | #Constraints: 131683
1426.84/1430.61 c #Conflicts: 487000 | #Constraints: 132683
1426.84/1430.61 c #Conflicts: 488000 | #Constraints: 133683
1426.84/1430.61 c INPROCESSING
1426.84/1430.61 c GARBAGE COLLECT
1426.84/1430.61 c #Conflicts: 489000 | #Constraints: 120893
1426.84/1430.61 c #Conflicts: 490000 | #Constraints: 121893
1426.84/1430.61 c #Conflicts: 491000 | #Constraints: 122893
1426.84/1430.61 c #Conflicts: 492000 | #Constraints: 123893
1730.12/1734.73 c #Conflicts: 493000 | #Constraints: 124893
1730.12/1734.73 c #Conflicts: 494000 | #Constraints: 125893
1730.12/1734.73 c #Conflicts: 495000 | #Constraints: 126893
1730.12/1734.73 c #Conflicts: 496000 | #Constraints: 127893
1730.12/1734.73 c #Conflicts: 497000 | #Constraints: 128893
1730.12/1734.73 c #Conflicts: 498000 | #Constraints: 129893
1730.12/1734.73 c #Conflicts: 499000 | #Constraints: 130893
1730.12/1734.73 c #Conflicts: 500000 | #Constraints: 131893
1730.12/1734.73 c #Conflicts: 501000 | #Constraints: 132893
1730.12/1734.73 c #Conflicts: 502000 | #Constraints: 133893
1730.12/1734.73 c INPROCESSING
1730.12/1734.73 c GARBAGE COLLECT
1730.12/1734.73 c #Conflicts: 503000 | #Constraints: 120883
1730.12/1734.73 c #Conflicts: 504000 | #Constraints: 121883
1730.12/1734.73 c #Conflicts: 505000 | #Constraints: 122883
1730.12/1734.73 c #Conflicts: 506000 | #Constraints: 123883
1730.12/1734.73 c #Conflicts: 507000 | #Constraints: 124883
1730.12/1734.73 c #Conflicts: 508000 | #Constraints: 125883
1730.12/1734.73 c #Conflicts: 509000 | #Constraints: 126883
1730.12/1734.73 c #Conflicts: 510000 | #Constraints: 127883
1730.12/1734.73 c #Conflicts: 511000 | #Constraints: 128883
1730.12/1734.73 c #Conflicts: 512000 | #Constraints: 129883
1730.12/1734.73 c #Conflicts: 513000 | #Constraints: 130883
1730.12/1734.73 c #Conflicts: 514000 | #Constraints: 131883
1730.12/1734.73 c #Conflicts: 515000 | #Constraints: 132883
1730.12/1734.73 c #Conflicts: 516000 | #Constraints: 133883
1730.12/1734.73 c INPROCESSING
1730.12/1734.73 c GARBAGE COLLECT
1730.12/1734.73 c #Conflicts: 517000 | #Constraints: 120677
1730.12/1734.73 c #Conflicts: 518000 | #Constraints: 121677
1730.12/1734.73 c #Conflicts: 519000 | #Constraints: 122677
1730.12/1734.73 c #Conflicts: 520000 | #Constraints: 123677
1730.12/1734.73 c #Conflicts: 521000 | #Constraints: 124677
1730.12/1734.73 c #Conflicts: 522000 | #Constraints: 125677
1730.12/1734.73 c #Conflicts: 523000 | #Constraints: 126677
1730.12/1734.73 c #Conflicts: 524000 | #Constraints: 127677
1730.12/1734.73 c #Conflicts: 525000 | #Constraints: 128677
1730.12/1734.73 c #Conflicts: 526000 | #Constraints: 129677
1730.12/1734.73 c #Conflicts: 527000 | #Constraints: 130677
1730.12/1734.73 c #Conflicts: 528000 | #Constraints: 131677
1730.12/1734.73 c #Conflicts: 529000 | #Constraints: 132677
1730.12/1734.73 c #Conflicts: 530000 | #Constraints: 133677
1730.12/1734.73 c #Conflicts: 531000 | #Constraints: 134677
1730.12/1734.73 c INPROCESSING
1730.12/1734.73 c GARBAGE COLLECT
1730.12/1734.73 c #Conflicts: 532000 | #Constraints: 121290
1730.12/1734.73 c #Conflicts: 533000 | #Constraints: 122290
1730.12/1734.73 c #Conflicts: 534000 | #Constraints: 123290
1730.12/1734.73 c #Conflicts: 535000 | #Constraints: 124290
1730.12/1734.73 c #Conflicts: 536000 | #Constraints: 125290
1730.12/1734.73 c #Conflicts: 537000 | #Constraints: 126290
1730.12/1734.73 c #Conflicts: 538000 | #Constraints: 127290
1730.12/1734.73 c #Conflicts: 539000 | #Constraints: 128290
1730.12/1734.73 c #Conflicts: 540000 | #Constraints: 129290
1730.12/1734.73 c #Conflicts: 541000 | #Constraints: 130290
1730.12/1734.73 c #Conflicts: 542000 | #Constraints: 131290
1730.12/1734.73 c #Conflicts: 543000 | #Constraints: 132290
1730.12/1734.73 c #Conflicts: 544000 | #Constraints: 133290
1730.12/1734.73 c #Conflicts: 545000 | #Constraints: 134290
1730.12/1734.73 c #Conflicts: 546000 | #Constraints: 135290
1730.12/1734.73 c INPROCESSING
1730.12/1734.73 c GARBAGE COLLECT
1730.12/1734.73 c #Conflicts: 547000 | #Constraints: 121693
1730.12/1734.73 c #Conflicts: 548000 | #Constraints: 122693
1730.12/1734.73 c #Conflicts: 549000 | #Constraints: 123693
1730.12/1734.73 c #Conflicts: 550000 | #Constraints: 124693
1730.12/1734.73 c #Conflicts: 551000 | #Constraints: 125693
1730.12/1734.73 c #Conflicts: 552000 | #Constraints: 126693
1730.12/1734.73 c #Conflicts: 553000 | #Constraints: 127693
1730.12/1734.73 c #Conflicts: 554000 | #Constraints: 128693
1730.12/1734.73 c #Conflicts: 555000 | #Constraints: 129693
1730.12/1734.73 c #Conflicts: 556000 | #Constraints: 130693
1730.12/1734.73 c #Conflicts: 557000 | #Constraints: 131693
1730.12/1734.73 c #Conflicts: 558000 | #Constraints: 132693
1730.12/1734.73 c #Conflicts: 559000 | #Constraints: 133693
1730.12/1734.73 c #Conflicts: 560000 | #Constraints: 134693
1730.12/1734.73 c #Conflicts: 561000 | #Constraints: 135693
1730.12/1734.73 c INPROCESSING
1730.12/1734.73 c GARBAGE COLLECT
1730.12/1734.73 c #Conflicts: 562000 | #Constraints: 121887
1730.12/1734.73 c #Conflicts: 563000 | #Constraints: 122887
1730.12/1734.73 c #Conflicts: 564000 | #Constraints: 123887
1730.12/1734.73 c #Conflicts: 565000 | #Constraints: 124887
1730.12/1734.73 c #Conflicts: 566000 | #Constraints: 125887
1730.12/1734.73 c #Conflicts: 567000 | #Constraints: 126887
2057.53/2063.11 c #Conflicts: 568000 | #Constraints: 127887
2057.53/2063.11 c #Conflicts: 569000 | #Constraints: 128887
2057.53/2063.11 c #Conflicts: 570000 | #Constraints: 129887
2057.53/2063.11 c #Conflicts: 571000 | #Constraints: 130887
2057.53/2063.11 c #Conflicts: 572000 | #Constraints: 131887
2057.53/2063.11 c #Conflicts: 573000 | #Constraints: 132887
2057.53/2063.11 c #Conflicts: 574000 | #Constraints: 133887
2057.53/2063.11 c #Conflicts: 575000 | #Constraints: 134887
2057.53/2063.11 c #Conflicts: 576000 | #Constraints: 135887
2057.53/2063.11 c INPROCESSING
2057.53/2063.11 c GARBAGE COLLECT
2057.53/2063.11 c #Conflicts: 577000 | #Constraints: 121890
2057.53/2063.11 c #Conflicts: 578000 | #Constraints: 122890
2057.53/2063.11 c #Conflicts: 579000 | #Constraints: 123890
2057.53/2063.11 c #Conflicts: 580000 | #Constraints: 124890
2057.53/2063.11 c #Conflicts: 581000 | #Constraints: 125890
2057.53/2063.11 c #Conflicts: 582000 | #Constraints: 126890
2057.53/2063.11 c #Conflicts: 583000 | #Constraints: 127890
2057.53/2063.11 c #Conflicts: 584000 | #Constraints: 128890
2057.53/2063.11 c #Conflicts: 585000 | #Constraints: 129890
2057.53/2063.11 c #Conflicts: 586000 | #Constraints: 130890
2057.53/2063.11 c #Conflicts: 587000 | #Constraints: 131890
2057.53/2063.11 c #Conflicts: 588000 | #Constraints: 132890
2057.53/2063.11 c #Conflicts: 589000 | #Constraints: 133890
2057.53/2063.11 c #Conflicts: 590000 | #Constraints: 134890
2057.53/2063.11 c #Conflicts: 591000 | #Constraints: 135890
2057.53/2063.11 c INPROCESSING
2057.53/2063.11 c GARBAGE COLLECT
2057.53/2063.11 c #Conflicts: 592000 | #Constraints: 121681
2057.53/2063.11 c #Conflicts: 593000 | #Constraints: 122681
2057.53/2063.11 c #Conflicts: 594000 | #Constraints: 123681
2057.53/2063.11 c #Conflicts: 595000 | #Constraints: 124681
2057.53/2063.11 c #Conflicts: 596000 | #Constraints: 125681
2057.53/2063.11 c #Conflicts: 597000 | #Constraints: 126681
2057.53/2063.11 c #Conflicts: 598000 | #Constraints: 127681
2057.53/2063.11 c #Conflicts: 599000 | #Constraints: 128681
2057.53/2063.11 c #Conflicts: 600000 | #Constraints: 129681
2057.53/2063.11 c #Conflicts: 601000 | #Constraints: 130681
2057.53/2063.11 c #Conflicts: 602000 | #Constraints: 131681
2057.53/2063.11 c #Conflicts: 603000 | #Constraints: 132681
2057.53/2063.11 c #Conflicts: 604000 | #Constraints: 133681
2057.53/2063.11 c #Conflicts: 605000 | #Constraints: 134681
2057.53/2063.11 c #Conflicts: 606000 | #Constraints: 135681
2057.53/2063.11 c #Conflicts: 607000 | #Constraints: 136681
2057.53/2063.11 c INPROCESSING
2057.53/2063.11 c GARBAGE COLLECT
2057.53/2063.11 c #Conflicts: 608000 | #Constraints: 122291
2057.53/2063.11 c #Conflicts: 609000 | #Constraints: 123291
2057.53/2063.11 c #Conflicts: 610000 | #Constraints: 124291
2057.53/2063.11 c #Conflicts: 611000 | #Constraints: 125291
2057.53/2063.11 c #Conflicts: 612000 | #Constraints: 126291
2057.53/2063.11 c #Conflicts: 613000 | #Constraints: 127291
2057.53/2063.11 c #Conflicts: 614000 | #Constraints: 128291
2057.53/2063.11 c #Conflicts: 615000 | #Constraints: 129291
2057.53/2063.11 c #Conflicts: 616000 | #Constraints: 130291
2057.53/2063.11 c #Conflicts: 617000 | #Constraints: 131291
2057.53/2063.11 c #Conflicts: 618000 | #Constraints: 132291
2057.53/2063.11 c #Conflicts: 619000 | #Constraints: 133291
2057.53/2063.11 c #Conflicts: 620000 | #Constraints: 134291
2057.53/2063.11 c #Conflicts: 621000 | #Constraints: 135291
2057.53/2063.11 c #Conflicts: 622000 | #Constraints: 136291
2057.53/2063.11 c #Conflicts: 623000 | #Constraints: 137291
2057.53/2063.11 c INPROCESSING
2057.53/2063.11 c GARBAGE COLLECT
2057.53/2063.11 c #Conflicts: 624000 | #Constraints: 122695
2057.53/2063.11 c #Conflicts: 625000 | #Constraints: 123695
2057.53/2063.11 c #Conflicts: 626000 | #Constraints: 124695
2057.53/2063.11 c #Conflicts: 627000 | #Constraints: 125695
2057.53/2063.11 c #Conflicts: 628000 | #Constraints: 126695
2057.53/2063.11 c #Conflicts: 629000 | #Constraints: 127695
2057.53/2063.11 c #Conflicts: 630000 | #Constraints: 128695
2057.53/2063.11 c #Conflicts: 631000 | #Constraints: 129695
2057.53/2063.11 c #Conflicts: 632000 | #Constraints: 130695
2057.53/2063.11 c #Conflicts: 633000 | #Constraints: 131695
2057.53/2063.11 c #Conflicts: 634000 | #Constraints: 132695
2057.53/2063.11 c #Conflicts: 635000 | #Constraints: 133695
2057.53/2063.11 c #Conflicts: 636000 | #Constraints: 134695
2057.53/2063.11 c #Conflicts: 637000 | #Constraints: 135695
2057.53/2063.11 c #Conflicts: 638000 | #Constraints: 136695
2057.53/2063.11 c #Conflicts: 639000 | #Constraints: 137695
2057.53/2063.11 c INPROCESSING
2057.53/2063.11 c GARBAGE COLLECT
2057.53/2063.11 c #Conflicts: 640000 | #Constraints: 122883
2057.53/2063.11 c #Conflicts: 641000 | #Constraints: 123883
2057.53/2063.11 c #Conflicts: 642000 | #Constraints: 124883
2057.53/2063.11 c #Conflicts: 643000 | #Constraints: 125883
2389.91/2396.37 c #Conflicts: 644000 | #Constraints: 126883
2389.91/2396.37 c #Conflicts: 645000 | #Constraints: 127883
2389.91/2396.37 c #Conflicts: 646000 | #Constraints: 128883
2389.91/2396.37 c #Conflicts: 647000 | #Constraints: 129883
2389.91/2396.37 c #Conflicts: 648000 | #Constraints: 130883
2389.91/2396.37 c #Conflicts: 649000 | #Constraints: 131883
2389.91/2396.37 c #Conflicts: 650000 | #Constraints: 132883
2389.91/2396.37 c #Conflicts: 651000 | #Constraints: 133883
2389.91/2396.37 c #Conflicts: 652000 | #Constraints: 134883
2389.91/2396.37 c #Conflicts: 653000 | #Constraints: 135883
2389.91/2396.37 c #Conflicts: 654000 | #Constraints: 136883
2389.91/2396.37 c #Conflicts: 655000 | #Constraints: 137883
2389.91/2396.37 c INPROCESSING
2389.91/2396.37 c GARBAGE COLLECT
2389.91/2396.37 c #Conflicts: 656000 | #Constraints: 122894
2389.91/2396.37 c #Conflicts: 657000 | #Constraints: 123894
2389.91/2396.37 c #Conflicts: 658000 | #Constraints: 124894
2389.91/2396.37 c #Conflicts: 659000 | #Constraints: 125894
2389.91/2396.37 c #Conflicts: 660000 | #Constraints: 126894
2389.91/2396.37 c #Conflicts: 661000 | #Constraints: 127894
2389.91/2396.37 c #Conflicts: 662000 | #Constraints: 128894
2389.91/2396.37 c #Conflicts: 663000 | #Constraints: 129894
2389.91/2396.37 c #Conflicts: 664000 | #Constraints: 130894
2389.91/2396.37 c #Conflicts: 665000 | #Constraints: 131894
2389.91/2396.37 c #Conflicts: 666000 | #Constraints: 132894
2389.91/2396.37 c #Conflicts: 667000 | #Constraints: 133894
2389.91/2396.37 c #Conflicts: 668000 | #Constraints: 134894
2389.91/2396.37 c #Conflicts: 669000 | #Constraints: 135894
2389.91/2396.37 c #Conflicts: 670000 | #Constraints: 136894
2389.91/2396.37 c #Conflicts: 671000 | #Constraints: 137894
2389.91/2396.37 c INPROCESSING
2389.91/2396.37 c GARBAGE COLLECT
2389.91/2396.37 c #Conflicts: 672000 | #Constraints: 122695
2389.91/2396.37 c #Conflicts: 673000 | #Constraints: 123695
2389.91/2396.37 c #Conflicts: 674000 | #Constraints: 124695
2389.91/2396.37 c #Conflicts: 675000 | #Constraints: 125695
2389.91/2396.37 c #Conflicts: 676000 | #Constraints: 126695
2389.91/2396.37 c #Conflicts: 677000 | #Constraints: 127695
2389.91/2396.37 c #Conflicts: 678000 | #Constraints: 128695
2389.91/2396.37 c #Conflicts: 679000 | #Constraints: 129695
2389.91/2396.37 c #Conflicts: 680000 | #Constraints: 130695
2389.91/2396.37 c #Conflicts: 681000 | #Constraints: 131695
2389.91/2396.37 c #Conflicts: 682000 | #Constraints: 132695
2389.91/2396.37 c #Conflicts: 683000 | #Constraints: 133695
2389.91/2396.37 c #Conflicts: 684000 | #Constraints: 134695
2389.91/2396.37 c #Conflicts: 685000 | #Constraints: 135695
2389.91/2396.37 c #Conflicts: 686000 | #Constraints: 136695
2389.91/2396.37 c #Conflicts: 687000 | #Constraints: 137695
2389.91/2396.37 c #Conflicts: 688000 | #Constraints: 138695
2389.91/2396.37 c INPROCESSING
2389.91/2396.37 c GARBAGE COLLECT
2389.91/2396.37 c #Conflicts: 689000 | #Constraints: 123287
2389.91/2396.37 c #Conflicts: 690000 | #Constraints: 124287
2389.91/2396.37 c #Conflicts: 691000 | #Constraints: 125287
2389.91/2396.37 c #Conflicts: 692000 | #Constraints: 126287
2389.91/2396.37 c #Conflicts: 693000 | #Constraints: 127287
2389.91/2396.37 c #Conflicts: 694000 | #Constraints: 128287
2389.91/2396.37 c #Conflicts: 695000 | #Constraints: 129287
2389.91/2396.37 c #Conflicts: 696000 | #Constraints: 130287
2389.91/2396.37 c #Conflicts: 697000 | #Constraints: 131287
2389.91/2396.37 c #Conflicts: 698000 | #Constraints: 132287
2389.91/2396.37 c #Conflicts: 699000 | #Constraints: 133287
2389.91/2396.37 c #Conflicts: 700000 | #Constraints: 134287
2389.91/2396.37 c #Conflicts: 701000 | #Constraints: 135287
2389.91/2396.37 c #Conflicts: 702000 | #Constraints: 136287
2389.91/2396.37 c #Conflicts: 703000 | #Constraints: 137287
2389.91/2396.37 c #Conflicts: 704000 | #Constraints: 138287
2389.91/2396.37 c #Conflicts: 705000 | #Constraints: 139287
2389.91/2396.37 c INPROCESSING
2389.91/2396.37 c GARBAGE COLLECT
2389.91/2396.37 c #Conflicts: 706000 | #Constraints: 123686
2389.91/2396.37 c #Conflicts: 707000 | #Constraints: 124686
2389.91/2396.37 c #Conflicts: 708000 | #Constraints: 125686
2389.91/2396.37 c #Conflicts: 709000 | #Constraints: 126686
2389.91/2396.37 c #Conflicts: 710000 | #Constraints: 127686
2389.91/2396.37 c #Conflicts: 711000 | #Constraints: 128686
2389.91/2396.37 c #Conflicts: 712000 | #Constraints: 129686
2389.91/2396.37 c #Conflicts: 713000 | #Constraints: 130686
2389.91/2396.37 c #Conflicts: 714000 | #Constraints: 131686
2389.91/2396.37 c #Conflicts: 715000 | #Constraints: 132686
2389.91/2396.37 c #Conflicts: 716000 | #Constraints: 133686
2389.91/2396.37 c #Conflicts: 717000 | #Constraints: 134686
2389.91/2396.37 c #Conflicts: 718000 | #Constraints: 135686
2389.91/2396.37 c #Conflicts: 719000 | #Constraints: 136686
2741.77/2749.17 c #Conflicts: 720000 | #Constraints: 137686
2741.77/2749.17 c #Conflicts: 721000 | #Constraints: 138686
2741.77/2749.17 c #Conflicts: 722000 | #Constraints: 139686
2741.77/2749.17 c INPROCESSING
2741.77/2749.17 c GARBAGE COLLECT
2741.77/2749.17 c #Conflicts: 723000 | #Constraints: 123890
2741.77/2749.17 c #Conflicts: 724000 | #Constraints: 124890
2741.77/2749.17 c #Conflicts: 725000 | #Constraints: 125890
2741.77/2749.17 c #Conflicts: 726000 | #Constraints: 126890
2741.77/2749.17 c #Conflicts: 727000 | #Constraints: 127890
2741.77/2749.17 c #Conflicts: 728000 | #Constraints: 128890
2741.77/2749.17 c #Conflicts: 729000 | #Constraints: 129890
2741.77/2749.17 c #Conflicts: 730000 | #Constraints: 130890
2741.77/2749.17 c #Conflicts: 731000 | #Constraints: 131890
2741.77/2749.17 c #Conflicts: 732000 | #Constraints: 132890
2741.77/2749.17 c #Conflicts: 733000 | #Constraints: 133890
2741.77/2749.17 c #Conflicts: 734000 | #Constraints: 134890
2741.77/2749.17 c #Conflicts: 735000 | #Constraints: 135890
2741.77/2749.17 c #Conflicts: 736000 | #Constraints: 136890
2741.77/2749.17 c #Conflicts: 737000 | #Constraints: 137890
2741.77/2749.17 c #Conflicts: 738000 | #Constraints: 138890
2741.77/2749.17 c #Conflicts: 739000 | #Constraints: 139890
2741.77/2749.17 c INPROCESSING
2741.77/2749.17 c GARBAGE COLLECT
2741.77/2749.17 c #Conflicts: 740000 | #Constraints: 123891
2741.77/2749.17 c #Conflicts: 741000 | #Constraints: 124891
2741.77/2749.17 c #Conflicts: 742000 | #Constraints: 125891
2741.77/2749.17 c #Conflicts: 743000 | #Constraints: 126891
2741.77/2749.17 c #Conflicts: 744000 | #Constraints: 127891
2741.77/2749.17 c #Conflicts: 745000 | #Constraints: 128891
2741.77/2749.17 c #Conflicts: 746000 | #Constraints: 129891
2741.77/2749.17 c #Conflicts: 747000 | #Constraints: 130891
2741.77/2749.17 c #Conflicts: 748000 | #Constraints: 131891
2741.77/2749.17 c #Conflicts: 749000 | #Constraints: 132891
2741.77/2749.17 c #Conflicts: 750000 | #Constraints: 133891
2741.77/2749.17 c #Conflicts: 751000 | #Constraints: 134891
2741.77/2749.17 c #Conflicts: 752000 | #Constraints: 135891
2741.77/2749.17 c #Conflicts: 753000 | #Constraints: 136891
2741.77/2749.17 c #Conflicts: 754000 | #Constraints: 137891
2741.77/2749.17 c #Conflicts: 755000 | #Constraints: 138891
2741.77/2749.17 c #Conflicts: 756000 | #Constraints: 139891
2741.77/2749.17 c INPROCESSING
2741.77/2749.17 c GARBAGE COLLECT
2741.77/2749.17 c #Conflicts: 757000 | #Constraints: 123681
2741.77/2749.18 c #Conflicts: 758000 | #Constraints: 124681
2741.77/2749.18 c #Conflicts: 759000 | #Constraints: 125681
2741.77/2749.18 c #Conflicts: 760000 | #Constraints: 126681
2741.77/2749.18 c #Conflicts: 761000 | #Constraints: 127681
2741.77/2749.18 c #Conflicts: 762000 | #Constraints: 128681
2741.77/2749.18 c #Conflicts: 763000 | #Constraints: 129681
2741.77/2749.18 c #Conflicts: 764000 | #Constraints: 130681
2741.77/2749.18 c #Conflicts: 765000 | #Constraints: 131681
2741.77/2749.18 c #Conflicts: 766000 | #Constraints: 132681
2741.77/2749.18 c #Conflicts: 767000 | #Constraints: 133681
2741.77/2749.18 c #Conflicts: 768000 | #Constraints: 134681
2741.77/2749.18 c #Conflicts: 769000 | #Constraints: 135681
2741.77/2749.18 c #Conflicts: 770000 | #Constraints: 136681
2741.77/2749.18 c #Conflicts: 771000 | #Constraints: 137681
2741.77/2749.18 c #Conflicts: 772000 | #Constraints: 138681
2741.77/2749.18 c #Conflicts: 773000 | #Constraints: 139681
2741.77/2749.18 c #Conflicts: 774000 | #Constraints: 140681
2741.77/2749.18 c INPROCESSING
2741.77/2749.18 c GARBAGE COLLECT
2741.77/2749.18 c #Conflicts: 775000 | #Constraints: 124286
2741.77/2749.18 c #Conflicts: 776000 | #Constraints: 125286
2741.77/2749.18 c #Conflicts: 777000 | #Constraints: 126286
2741.77/2749.18 c #Conflicts: 778000 | #Constraints: 127286
2741.77/2749.18 c #Conflicts: 779000 | #Constraints: 128286
2741.77/2749.18 c #Conflicts: 780000 | #Constraints: 129286
2741.77/2749.18 c #Conflicts: 781000 | #Constraints: 130286
2741.77/2749.18 c #Conflicts: 782000 | #Constraints: 131286
2741.77/2749.18 c #Conflicts: 783000 | #Constraints: 132286
2741.77/2749.18 c #Conflicts: 784000 | #Constraints: 133286
2741.77/2749.18 c #Conflicts: 785000 | #Constraints: 134286
2741.77/2749.18 c #Conflicts: 786000 | #Constraints: 135286
2741.77/2749.18 c #Conflicts: 787000 | #Constraints: 136286
2741.77/2749.18 c #Conflicts: 788000 | #Constraints: 137286
2741.77/2749.18 c #Conflicts: 789000 | #Constraints: 138286
2741.77/2749.18 c #Conflicts: 790000 | #Constraints: 139286
2741.77/2749.18 c #Conflicts: 791000 | #Constraints: 140286
2741.77/2749.18 c #Conflicts: 792000 | #Constraints: 141286
2741.77/2749.18 c INPROCESSING
2741.77/2749.18 c GARBAGE COLLECT
2741.77/2749.18 c #Conflicts: 793000 | #Constraints: 124665
2741.77/2749.18 c #Conflicts: 794000 | #Constraints: 125665
2741.77/2749.18 c #Conflicts: 795000 | #Constraints: 126665
3114.25/3122.74 c #Conflicts: 796000 | #Constraints: 127665
3114.25/3122.74 c #Conflicts: 797000 | #Constraints: 128665
3114.25/3122.74 c #Conflicts: 798000 | #Constraints: 129665
3114.25/3122.74 c #Conflicts: 799000 | #Constraints: 130665
3114.25/3122.74 c #Conflicts: 800000 | #Constraints: 131665
3114.25/3122.74 c #Conflicts: 801000 | #Constraints: 132665
3114.25/3122.74 c #Conflicts: 802000 | #Constraints: 133665
3114.25/3122.74 c #Conflicts: 803000 | #Constraints: 134665
3114.25/3122.74 c #Conflicts: 804000 | #Constraints: 135665
3114.25/3122.74 c #Conflicts: 805000 | #Constraints: 136665
3114.25/3122.74 c #Conflicts: 806000 | #Constraints: 137665
3114.25/3122.74 c #Conflicts: 807000 | #Constraints: 138665
3114.25/3122.74 c #Conflicts: 808000 | #Constraints: 139665
3114.25/3122.74 c #Conflicts: 809000 | #Constraints: 140665
3114.25/3122.74 c #Conflicts: 810000 | #Constraints: 141665
3114.25/3122.74 c INPROCESSING
3114.25/3122.74 c GARBAGE COLLECT
3114.25/3122.74 c #Conflicts: 811000 | #Constraints: 124880
3114.25/3122.74 c #Conflicts: 812000 | #Constraints: 125880
3114.25/3122.74 c #Conflicts: 813000 | #Constraints: 126880
3114.25/3122.74 c #Conflicts: 814000 | #Constraints: 127880
3114.25/3122.74 c #Conflicts: 815000 | #Constraints: 128880
3114.25/3122.74 c #Conflicts: 816000 | #Constraints: 129880
3114.25/3122.74 c #Conflicts: 817000 | #Constraints: 130880
3114.25/3122.74 c #Conflicts: 818000 | #Constraints: 131880
3114.25/3122.74 c #Conflicts: 819000 | #Constraints: 132880
3114.25/3122.74 c #Conflicts: 820000 | #Constraints: 133880
3114.25/3122.74 c #Conflicts: 821000 | #Constraints: 134880
3114.25/3122.74 c #Conflicts: 822000 | #Constraints: 135880
3114.25/3122.74 c #Conflicts: 823000 | #Constraints: 136880
3114.25/3122.74 c #Conflicts: 824000 | #Constraints: 137880
3114.25/3122.74 c #Conflicts: 825000 | #Constraints: 138880
3114.25/3122.74 c #Conflicts: 826000 | #Constraints: 139880
3114.25/3122.74 c #Conflicts: 827000 | #Constraints: 140880
3114.25/3122.74 c #Conflicts: 828000 | #Constraints: 141880
3114.25/3122.74 c INPROCESSING
3114.25/3122.74 c GARBAGE COLLECT
3114.25/3122.74 c #Conflicts: 829000 | #Constraints: 124895
3114.25/3122.74 c #Conflicts: 830000 | #Constraints: 125895
3114.25/3122.74 c #Conflicts: 831000 | #Constraints: 126895
3114.25/3122.74 c #Conflicts: 832000 | #Constraints: 127895
3114.25/3122.74 c #Conflicts: 833000 | #Constraints: 128895
3114.25/3122.74 c #Conflicts: 834000 | #Constraints: 129895
3114.25/3122.74 c #Conflicts: 835000 | #Constraints: 130895
3114.25/3122.74 c #Conflicts: 836000 | #Constraints: 131895
3114.25/3122.74 c #Conflicts: 837000 | #Constraints: 132895
3114.25/3122.74 c #Conflicts: 838000 | #Constraints: 133895
3114.25/3122.74 c #Conflicts: 839000 | #Constraints: 134895
3114.25/3122.74 c #Conflicts: 840000 | #Constraints: 135895
3114.25/3122.74 c #Conflicts: 841000 | #Constraints: 136895
3114.25/3122.74 c #Conflicts: 842000 | #Constraints: 137895
3114.25/3122.74 c #Conflicts: 843000 | #Constraints: 138895
3114.25/3122.74 c #Conflicts: 844000 | #Constraints: 139895
3114.25/3122.74 c #Conflicts: 845000 | #Constraints: 140895
3114.25/3122.74 c #Conflicts: 846000 | #Constraints: 141895
3114.25/3122.74 c INPROCESSING
3114.25/3122.74 c GARBAGE COLLECT
3114.25/3122.74 c #Conflicts: 847000 | #Constraints: 124678
3114.25/3122.74 c #Conflicts: 848000 | #Constraints: 125678
3114.25/3122.74 c #Conflicts: 849000 | #Constraints: 126678
3114.25/3122.74 c #Conflicts: 850000 | #Constraints: 127678
3114.25/3122.74 c #Conflicts: 851000 | #Constraints: 128678
3114.25/3122.74 c #Conflicts: 852000 | #Constraints: 129678
3114.25/3122.74 c #Conflicts: 853000 | #Constraints: 130678
3114.25/3122.74 c #Conflicts: 854000 | #Constraints: 131678
3114.25/3122.74 c #Conflicts: 855000 | #Constraints: 132678
3114.25/3122.74 c #Conflicts: 856000 | #Constraints: 133678
3114.25/3122.74 c #Conflicts: 857000 | #Constraints: 134678
3114.25/3122.74 c #Conflicts: 858000 | #Constraints: 135678
3114.25/3122.74 c #Conflicts: 859000 | #Constraints: 136678
3114.25/3122.74 c #Conflicts: 860000 | #Constraints: 137678
3114.25/3122.74 c #Conflicts: 861000 | #Constraints: 138678
3114.25/3122.74 c #Conflicts: 862000 | #Constraints: 139678
3114.25/3122.74 c #Conflicts: 863000 | #Constraints: 140678
3114.25/3122.74 c #Conflicts: 864000 | #Constraints: 141678
3114.25/3122.74 c #Conflicts: 865000 | #Constraints: 142678
3114.25/3122.74 c INPROCESSING
3114.25/3122.74 c GARBAGE COLLECT
3114.25/3122.74 c #Conflicts: 866000 | #Constraints: 125286
3114.25/3122.74 c #Conflicts: 867000 | #Constraints: 126286
3114.25/3122.74 c #Conflicts: 868000 | #Constraints: 127286
3114.25/3122.74 c #Conflicts: 869000 | #Constraints: 128286
3114.25/3122.74 c #Conflicts: 870000 | #Constraints: 129286
3114.25/3122.74 c #Conflicts: 871000 | #Constraints: 130286
3444.27/3453.75 c #Conflicts: 872000 | #Constraints: 131286
3444.27/3453.75 c #Conflicts: 873000 | #Constraints: 132286
3444.27/3453.75 c #Conflicts: 874000 | #Constraints: 133286
3444.27/3453.75 c #Conflicts: 875000 | #Constraints: 134286
3444.27/3453.75 c #Conflicts: 876000 | #Constraints: 135286
3444.27/3453.75 c #Conflicts: 877000 | #Constraints: 136286
3444.27/3453.75 c #Conflicts: 878000 | #Constraints: 137286
3444.27/3453.75 c #Conflicts: 879000 | #Constraints: 138286
3444.27/3453.75 c #Conflicts: 880000 | #Constraints: 139286
3444.27/3453.75 c #Conflicts: 881000 | #Constraints: 140286
3444.27/3453.75 c #Conflicts: 882000 | #Constraints: 141286
3444.27/3453.75 c #Conflicts: 883000 | #Constraints: 142286
3444.27/3453.75 c #Conflicts: 884000 | #Constraints: 143286
3444.27/3453.75 c INPROCESSING
3444.27/3453.75 c GARBAGE COLLECT
3444.27/3453.75 c #Conflicts: 885000 | #Constraints: 125694
3444.27/3453.75 c #Conflicts: 886000 | #Constraints: 126694
3444.27/3453.75 c #Conflicts: 887000 | #Constraints: 127694
3444.27/3453.75 c #Conflicts: 888000 | #Constraints: 128694
3444.27/3453.75 c #Conflicts: 889000 | #Constraints: 129694
3444.27/3453.75 c #Conflicts: 890000 | #Constraints: 130694
3444.27/3453.75 c #Conflicts: 891000 | #Constraints: 131694
3444.27/3453.75 c #Conflicts: 892000 | #Constraints: 132694
3444.27/3453.75 c #Conflicts: 893000 | #Constraints: 133694
3444.27/3453.75 c #Conflicts: 894000 | #Constraints: 134694
3444.27/3453.75 c #Conflicts: 895000 | #Constraints: 135694
3444.27/3453.75 c #Conflicts: 896000 | #Constraints: 136694
3444.27/3453.75 c #Conflicts: 897000 | #Constraints: 137694
3444.27/3453.75 c #Conflicts: 898000 | #Constraints: 138694
3444.27/3453.75 c #Conflicts: 899000 | #Constraints: 139694
3444.27/3453.75 c #Conflicts: 900000 | #Constraints: 140694
3444.27/3453.75 c #Conflicts: 901000 | #Constraints: 141694
3444.27/3453.75 c #Conflicts: 902000 | #Constraints: 142694
3444.27/3453.75 c #Conflicts: 903000 | #Constraints: 143694
3444.27/3453.75 c INPROCESSING
3444.27/3453.75 c GARBAGE COLLECT
3444.27/3453.75 c #Conflicts: 904000 | #Constraints: 125896
3444.27/3453.75 c #Conflicts: 905000 | #Constraints: 126896
3444.27/3453.75 c #Conflicts: 906000 | #Constraints: 127896
3444.27/3453.75 c #Conflicts: 907000 | #Constraints: 128896
3444.27/3453.75 c #Conflicts: 908000 | #Constraints: 129896
3444.27/3453.75 c #Conflicts: 909000 | #Constraints: 130896
3444.27/3453.75 c #Conflicts: 910000 | #Constraints: 131896
3444.27/3453.75 c #Conflicts: 911000 | #Constraints: 132896
3444.27/3453.75 c #Conflicts: 912000 | #Constraints: 133896
3444.27/3453.75 c #Conflicts: 913000 | #Constraints: 134896
3444.27/3453.75 c #Conflicts: 914000 | #Constraints: 135896
3444.27/3453.75 c #Conflicts: 915000 | #Constraints: 136896
3444.27/3453.75 c #Conflicts: 916000 | #Constraints: 137896
3444.27/3453.75 c #Conflicts: 917000 | #Constraints: 138896
3444.27/3453.75 c #Conflicts: 918000 | #Constraints: 139896
3444.27/3453.75 c #Conflicts: 919000 | #Constraints: 140896
3444.27/3453.75 c #Conflicts: 920000 | #Constraints: 141896
3444.27/3453.75 c #Conflicts: 921000 | #Constraints: 142896
3444.27/3453.75 c #Conflicts: 922000 | #Constraints: 143896
3444.27/3453.75 c INPROCESSING
3444.27/3453.75 c GARBAGE COLLECT
3444.27/3453.75 c #Conflicts: 923000 | #Constraints: 125891
3444.27/3453.75 c #Conflicts: 924000 | #Constraints: 126891
3444.27/3453.75 c #Conflicts: 925000 | #Constraints: 127891
3444.27/3453.75 c #Conflicts: 926000 | #Constraints: 128891
3444.27/3453.75 c #Conflicts: 927000 | #Constraints: 129891
3444.27/3453.75 c #Conflicts: 928000 | #Constraints: 130891
3444.27/3453.75 c #Conflicts: 929000 | #Constraints: 131891
3444.27/3453.75 c #Conflicts: 930000 | #Constraints: 132891
3444.27/3453.75 c #Conflicts: 931000 | #Constraints: 133891
3444.27/3453.75 c #Conflicts: 932000 | #Constraints: 134891
3444.27/3453.75 c #Conflicts: 933000 | #Constraints: 135891
3444.27/3453.75 c #Conflicts: 934000 | #Constraints: 136891
3444.27/3453.75 c #Conflicts: 935000 | #Constraints: 137891
3444.27/3453.75 c #Conflicts: 936000 | #Constraints: 138891
3444.27/3453.75 c #Conflicts: 937000 | #Constraints: 139891
3444.27/3453.75 c #Conflicts: 938000 | #Constraints: 140891
3444.27/3453.75 c #Conflicts: 939000 | #Constraints: 141891
3444.27/3453.75 c #Conflicts: 940000 | #Constraints: 142891
3444.27/3453.75 c #Conflicts: 941000 | #Constraints: 143891
3444.27/3453.75 c INPROCESSING
3444.27/3453.75 c GARBAGE COLLECT
3444.27/3453.75 c #Conflicts: 942000 | #Constraints: 125692
3444.27/3453.75 c #Conflicts: 943000 | #Constraints: 126692
3444.27/3453.75 c #Conflicts: 944000 | #Constraints: 127692
3444.27/3453.75 c #Conflicts: 945000 | #Constraints: 128692
3444.27/3453.75 c #Conflicts: 946000 | #Constraints: 129692
3444.27/3453.75 c #Conflicts: 947000 | #Constraints: 130692
3600.01/3609.90 c #Conflicts: 948000 | #Constraints: 131692
3600.01/3609.90 c #Conflicts: 949000 | #Constraints: 132692
3600.01/3609.90 c #Conflicts: 950000 | #Constraints: 133692
3600.01/3609.90 c #Conflicts: 951000 | #Constraints: 134692
3600.01/3609.90 c #Conflicts: 952000 | #Constraints: 135692
3600.01/3609.90 c #Conflicts: 953000 | #Constraints: 136692
3600.01/3609.90 c #Conflicts: 954000 | #Constraints: 137692
3600.01/3609.90 c #Conflicts: 955000 | #Constraints: 138692
3600.01/3609.90 c #Conflicts: 956000 | #Constraints: 139692
3600.01/3609.90 c #Conflicts: 957000 | #Constraints: 140692
3600.01/3609.90 c #Conflicts: 958000 | #Constraints: 141692
3600.01/3609.90 c #Conflicts: 959000 | #Constraints: 142692
3600.01/3609.90 c #Conflicts: 960000 | #Constraints: 143692
3600.01/3609.90 c #Conflicts: 961000 | #Constraints: 144692
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 962000 | #Constraints: 126296
3600.01/3609.90 c #Conflicts: 963000 | #Constraints: 127296
3600.01/3609.90 c #Conflicts: 964000 | #Constraints: 128296
3600.01/3609.90 c #Conflicts: 965000 | #Constraints: 129296
3600.01/3609.90 c #Conflicts: 966000 | #Constraints: 130296
3600.01/3609.90 c #Conflicts: 967000 | #Constraints: 131296
3600.01/3609.90 c #Conflicts: 968000 | #Constraints: 132296
3600.01/3609.90 c #Conflicts: 969000 | #Constraints: 133296
3600.01/3609.90 c #Conflicts: 970000 | #Constraints: 134296
3600.01/3609.90 c #Conflicts: 971000 | #Constraints: 135296
3600.01/3609.90 c #Conflicts: 972000 | #Constraints: 136296
3600.01/3609.90 c #Conflicts: 973000 | #Constraints: 137296
3600.01/3609.90 c #Conflicts: 974000 | #Constraints: 138296
3600.01/3609.90 c #Conflicts: 975000 | #Constraints: 139296
3600.01/3609.90 c #Conflicts: 976000 | #Constraints: 140296
3600.01/3609.90 c #Conflicts: 977000 | #Constraints: 141296
3600.01/3609.90 c #Conflicts: 978000 | #Constraints: 142296
3600.01/3609.90 c #Conflicts: 979000 | #Constraints: 143296
3600.01/3609.90 c #Conflicts: 980000 | #Constraints: 144296
3600.01/3609.90 c #Conflicts: 981000 | #Constraints: 145296
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 982000 | #Constraints: 126698
3600.01/3609.90 c #Conflicts: 983000 | #Constraints: 127698
3600.01/3609.90 c #Conflicts: 984000 | #Constraints: 128698
3600.01/3609.90 c #Conflicts: 985000 | #Constraints: 129698
3600.01/3609.90 c #Conflicts: 986000 | #Constraints: 130698
3600.01/3609.90 c #Conflicts: 987000 | #Constraints: 131698
3600.01/3609.90 c Program interrupted by user.
3600.01/3609.90 c cpu time 3594.57 s
3600.01/3609.90 c deterministic time 160926791541 1.61e+11
3600.01/3609.90 c optimization time 310.741 s
3600.01/3609.90 c total solve time 2984.11 s
3600.01/3609.90 c core-guided solve time 2984.11 s
3600.01/3609.90 c propagation time 1665.93 s
3600.01/3609.90 c conflict analysis time 1592.27 s
3600.01/3609.90 c propagations 337366919
3600.01/3609.90 c resolve steps 83551437
3600.01/3609.90 c decisions 1269606
3600.01/3609.90 c conflicts 987604
3600.01/3609.90 c restarts 2045
3600.01/3609.90 c inprocessing phases 90
3600.01/3609.90 c input clauses 105308
3600.01/3609.90 c input cardinalities 1284
3600.01/3609.90 c input general constraints 391
3600.01/3609.90 c input average constraint length 6.84
3600.01/3609.90 c input average constraint degree 1.56
3600.01/3609.90 c learned clauses 970282
3600.01/3609.90 c learned cardinalities 1115
3600.01/3609.90 c learned general constraints 16279
3600.01/3609.90 c learned average constraint length 468.45
3600.01/3609.90 c learned average constraint degree 10.53
3600.01/3609.90 c watched constraints 5545
3600.01/3609.90 c counting constraints 11125
3600.01/3609.90 c gcd simplifications 358604
3600.01/3609.90 c detected cardinalities 0
3600.01/3609.90 c weakened non-implied lits 497317801
3600.01/3609.90 c weakened non-implying lits 4704601
3600.01/3609.90 c original variables 1485
3600.01/3609.90 c clausal propagations 187623541
3600.01/3609.90 c cardinality propagations 56412930
3600.01/3609.90 c watched propagations 241836
3600.01/3609.90 c counting propagations 91647084
3600.01/3609.90 c watch lookups 60815802080
3600.01/3609.90 c watch backjump lookups 53655537789
3600.01/3609.90 c watch checks 38407178714
3600.01/3609.90 c propagation checks 3630698303
3600.01/3609.90 c constraint additions 3739316000
3600.01/3609.90 c trail pops 339622129
3600.01/3609.90 c formula constraints 104940
3600.01/3609.90 c learned constraints 987676
3600.01/3609.90 c bound constraints 338
3600.01/3609.90 c core-guided constraints 1705
3600.01/3609.90 c encountered formula constraints 77703225
3600.01/3609.90 c encountered learned constraints 6471334
3600.01/3609.90 c encountered bound constraints 3254
3600.01/3609.90 c encountered core-guided constraints 361228
3600.01/3609.90 c LP total time 0 s
3600.01/3609.90 c LP solve time 0 s
3600.01/3609.90 c LP constraints added 0
3600.01/3609.90 c LP constraints removed 0
3600.01/3609.90 c LP pivots internal 0
3600.01/3609.90 c LP pivots root 0
3600.01/3609.90 c LP calls 0
3600.01/3609.90 c LP optimalities 0
3600.01/3609.90 c LP no pivot count 0
3600.01/3609.90 c LP infeasibilities 0
3600.01/3609.90 c LP valid Farkas constraints 0
3600.01/3609.90 c LP learned Farkas constraints 0
3600.01/3609.90 c LP basis resets 0
3600.01/3609.90 c LP cycling count 0
3600.01/3609.90 c LP singular count 0
3600.01/3609.90 c LP no primal count 0
3600.01/3609.90 c LP no farkas count 0
3600.01/3609.90 c LP other issue count 0
3600.01/3609.90 c LP Gomory cuts 0
3600.01/3609.90 c LP learned cuts 0
3600.01/3609.90 c LP deleted cuts 0
3600.01/3609.90 c LP encountered Gomory constraints 0
3600.01/3609.90 c LP encountered Farkas constraints 0
3600.01/3609.90 c LP encountered learned Farkas constraints 0
3600.01/3609.90 c CG auxiliary variables introduced 669
3600.01/3609.90 c CG solutions found 1
3600.01/3609.90 c CG cores constructed 336
3600.01/3609.90 c CG core cardinality constraints returned 0
3600.01/3609.90 c CG unit cores 0
3600.01/3609.90 c CG single cores 330
3600.01/3609.90 c CG blocks removed during cardinality reduction 0
3600.01/3609.90 c CG first core best 0
3600.01/3609.90 c CG decision core best 0
3600.01/3609.90 c CG core reduction tie 6
3600.01/3609.90 c CG core degree average 1.00
3600.01/3609.90 c CG core slack average 4.34
3600.01/3609.90 c CG exhausted 0
3600.01/3609.90 c CG exhaust time 284.75 s
3600.01/3609.90 c CG trimmed 69
3600.01/3609.90 c CG trim time 0.026477 s
3600.01/3609.90 c CG minimized 0
3600.01/3609.90 c CG minimize time 0 s
3600.01/3609.90 c CG am1 prop time 0.007159 s
3600.01/3609.90 c CG # am1s reformulated 0
3600.01/3609.90 c CG lower bound derived from am1s 0
3600.01/3609.90 c CG # clausal cores 337
3600.01/3609.90 c CG # cardinality cores 0
3600.01/3609.90 c CG # pb cores 5
3600.01/3609.90 c CG # pb reforms 0
3600.01/3609.90 c CG # cores discarded because of pb reform 0
3600.01/3609.90 d LOWERBOUND -874
3600.01/3609.90 d NCORES 336
3600.01/3609.90 d NPBCORES 5
3600.01/3609.90 d NPBREFORM 0
3600.01/3609.90 d NTRIMMED 69
3600.01/3609.90 d NEXHAUSTED 0
3600.01/3609.90 d NAM1S 0
3600.01/3609.90 d AM1LB 0
3600.01/3609.90 c [Papilo Statistics]
3600.01/3609.90 c prepro time 0.102083s
3600.01/3609.90 c # tsx applied 0
3600.01/3609.90 c # tsx conflicts 0
3600.01/3609.90 c # bound changes 0
3600.01/3609.90 c # side changes 0
3600.01/3609.90 c # coef changes 0
3600.01/3609.90 c # rounds 1
3600.01/3609.90 c # deted vars 0
3600.01/3609.90 c # deted constrs 0
3600.01/3609.90 c # consecutive rounds of only bound changes 0
3600.01/3609.90 c [STEP] postprocessing with Papilo
3600.01/3609.90 o -726
3600.01/3609.90 s SATISFIABLE
3600.01/3609.90 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: 64059 MiB (50444 MiB free)
memory of node 1: 64510 MiB (56312 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458790-1721876777/watcher-4458790-1721876777 -o /tmp/evaluation-result-4458790-1721876777/solver-4458790-1721876777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265039 --watchdog 3760 mixed-bag HOME/instance-4458790-1721876777.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=267199, runsolver pid=267196
[startup+0.100102 s]*
/proc/loadavg: 4.46 4.30 4.21 5/241 267200
/proc/meminfo: memFree=109311692/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=86904 memory=15852 CPUtime=0.1 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 3022 0 0 0 10 0 0 0 20 0 1 0 23667068 88989696 3963 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 21726 3963 1610 3002 0 6014 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 86904 KiB
Current children cumulated memory: 15852 KiB
[startup+0.212861 s]*
/proc/loadavg: 4.46 4.30 4.21 5/241 267200
/proc/meminfo: memFree=109302900/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=95096 memory=22296 CPUtime=0.22 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 4132 0 0 0 21 1 0 0 20 0 1 0 23667068 97378304 5574 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 23774 5574 1610 3002 0 8062 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 95096 KiB
Current children cumulated memory: 22296 KiB
[startup+0.31277 s]*
/proc/loadavg: 4.46 4.30 4.21 5/241 267200
/proc/meminfo: memFree=109251984/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=154036 memory=73608 CPUtime=0.31 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 10619 0 0 0 28 3 0 0 20 0 1 0 23667068 157732864 18402 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 38509 18402 1731 3002 0 22258 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 154036 KiB
Current children cumulated memory: 73608 KiB
[startup+0.700348 s]
/proc/loadavg: 4.46 4.30 4.21 5/241 267200
/proc/meminfo: memFree=109166176/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=291468 memory=208536 CPUtime=0.68 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 44497 0 0 0 60 8 0 0 20 0 1 0 23667068 298463232 52134 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 72867 52134 3766 3002 0 56616 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 291468 KiB
Current children cumulated memory: 208536 KiB
[startup+1.50034 s]
/proc/loadavg: 4.46 4.30 4.21 5/241 267200
/proc/meminfo: memFree=109077516/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=353976 memory=277852 CPUtime=1.48 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 60119 0 0 0 137 11 0 0 20 0 1 0 23667068 362471424 69463 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 88494 69463 3766 3002 0 72243 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 353976 KiB
Current children cumulated memory: 277852 KiB
[startup+3.11255 s]
/proc/loadavg: 4.43 4.30 4.21 5/241 267200
/proc/meminfo: memFree=108764860/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=672512 memory=567640 CPUtime=3.09 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 81595 0 0 0 290 19 0 0 20 0 1 0 23667068 688652288 141910 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 168128 141910 3814 3002 0 151877 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 672512 KiB
Current children cumulated memory: 567640 KiB
[startup+6.30032 s]
/proc/loadavg: 4.43 4.30 4.21 5/241 267202
/proc/meminfo: memFree=108774352/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=697800 memory=600236 CPUtime=6.27 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 88465 0 0 0 607 20 0 0 20 0 1 0 23667068 714547200 150059 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 174450 150059 3875 3002 0 158199 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 697800 KiB
Current children cumulated memory: 600236 KiB
[startup+12.7003 s]
/proc/loadavg: 4.44 4.30 4.21 5/241 267202
/proc/meminfo: memFree=108732224/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=697800 memory=600956 CPUtime=12.66 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 88499 0 0 0 1245 21 0 0 20 0 1 0 23667068 714547200 150239 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 174450 150239 4003 3002 0 158199 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 697800 KiB
Current children cumulated memory: 600956 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.29 4.21 5/241 267203
/proc/meminfo: memFree=108727896/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=697800 memory=600956 CPUtime=25.42 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 88524 0 0 0 2521 21 0 0 20 0 1 0 23667068 714547200 150239 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 174450 150239 4003 3002 0 158199 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 697800 KiB
Current children cumulated memory: 600956 KiB
[startup+51.1127 s]
/proc/loadavg: 4.24 4.27 4.20 5/241 267208
/proc/meminfo: memFree=108725404/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=697800 memory=601032 CPUtime=50.95 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 88564 0 0 0 5073 22 0 0 20 0 1 0 23667068 714547200 150258 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 174450 150258 4019 3002 0 158199 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 697800 KiB
Current children cumulated memory: 601032 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.25 4.20 5/241 267216
/proc/meminfo: memFree=108465176/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1034504 memory=843096 CPUtime=101.98 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 146587 0 0 0 10166 32 0 0 20 0 1 0 23667068 1059332096 210774 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 258626 210774 4035 3002 0 242375 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1034504 KiB
Current children cumulated memory: 843096 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.22 4.19 5/241 267226
/proc/meminfo: memFree=108442616/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1112040 memory=856124 CPUtime=161.82 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 149071 0 0 0 16149 33 0 0 20 0 1 0 23667068 1138728960 214031 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 278010 214031 4035 3002 0 261759 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1112040 KiB
Current children cumulated memory: 856124 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.19 4.18 5/241 267237
/proc/meminfo: memFree=108315216/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1210996 memory=954968 CPUtime=221.65 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 173748 0 0 0 22128 37 0 0 20 0 1 0 23667068 1240059904 238742 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 302749 238742 4035 3002 0 286498 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1210996 KiB
Current children cumulated memory: 954968 KiB
[startup+282.3 s]
/proc/loadavg: 4.73 4.36 4.24 5/244 267252
/proc/meminfo: memFree=108291620/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1210996 memory=954972 CPUtime=281.49 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 173898 0 0 0 28112 37 0 0 20 0 1 0 23667068 1240059904 238743 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 302749 238743 4035 3002 0 286498 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1210996 KiB
Current children cumulated memory: 954972 KiB
[startup+342.3 s]
/proc/loadavg: 4.41 4.35 4.24 5/244 267263
/proc/meminfo: memFree=108430488/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1017072 memory=789916 CPUtime=341.34 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 176587 0 0 0 34071 63 0 0 20 0 1 0 23667068 1041481728 197479 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 254268 197479 4211 3002 0 238017 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1017072 KiB
Current children cumulated memory: 789916 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 4.31 4.24 5/244 267274
/proc/meminfo: memFree=108397732/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1017072 memory=803292 CPUtime=401.2 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 176618 0 0 0 40030 90 0 0 20 0 1 0 23667068 1041481728 200823 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 254268 200823 4211 3002 0 238017 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1017072 KiB
Current children cumulated memory: 803292 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.27 4.22 5/244 267284
/proc/meminfo: memFree=108356020/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1036040 memory=819344 CPUtime=461.06 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 176732 0 0 0 45989 117 0 0 20 0 1 0 23667068 1060904960 204836 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 259010 204836 4211 3002 0 242759 0
################
# More data... #
################
Current children cumulated memory: 832032 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.21 4.17 5/246 268384
/proc/meminfo: memFree=107272396/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=832032 CPUtime=2914.44 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181130 0 0 0 290985 459 0 0 20 0 1 0 23667068 1056137216 208008 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208008 4211 3002 0 241595 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 832032 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/247 268779
/proc/meminfo: memFree=107268396/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=832032 CPUtime=2974.27 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181214 0 0 0 296961 466 0 0 20 0 1 0 23667068 1056137216 208008 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208008 4211 3002 0 241595 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 832032 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/247 268790
/proc/meminfo: memFree=107253652/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=834080 CPUtime=3034.08 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181321 0 0 0 302931 477 0 0 20 0 1 0 23667068 1056137216 208520 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208520 4211 3002 0 241595 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 834080 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.16 4.16 5/247 268892
/proc/meminfo: memFree=106984184/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=834080 CPUtime=3093.91 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181424 0 0 0 308905 486 0 0 20 0 1 0 23667068 1056137216 208520 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208520 4211 3002 0 241595 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 834080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.19 4.17 5/247 269117
/proc/meminfo: memFree=106910432/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=834080 CPUtime=3153.74 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181511 0 0 0 314880 494 0 0 20 0 1 0 23667068 1056137216 208520 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208520 4211 3002 0 241595 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 834080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.18 4.17 5/246 269129
/proc/meminfo: memFree=106877792/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=834080 CPUtime=3213.55 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181609 0 0 0 320855 500 0 0 20 0 1 0 23667068 1056137216 208520 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208520 4211 3002 0 241595 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 834080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/244 269142
/proc/meminfo: memFree=106868728/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=834080 CPUtime=3273.37 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181708 0 0 0 326829 508 0 0 20 0 1 0 23667068 1056137216 208520 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208520 4211 3002 0 241595 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 834080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.19 4.18 5/244 269255
/proc/meminfo: memFree=106864084/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=834080 CPUtime=3333.19 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181800 0 0 0 332806 513 0 0 20 0 1 0 23667068 1056137216 208520 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208520 4211 3002 0 241595 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 834080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/245 269266
/proc/meminfo: memFree=107290656/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=834080 CPUtime=3393.01 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181887 0 0 0 338781 520 0 0 20 0 1 0 23667068 1056137216 208520 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208520 4211 3002 0 241595 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 834080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/244 269277
/proc/meminfo: memFree=107231956/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=834080 CPUtime=3452.84 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 181986 0 0 0 344757 527 0 0 20 0 1 0 23667068 1056137216 208520 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 208520 4211 3002 0 241595 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 834080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/244 269287
/proc/meminfo: memFree=107215020/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=836128 CPUtime=3512.67 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 182080 0 0 0 350733 534 0 0 20 0 1 0 23667068 1056137216 209032 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 209032 4211 3002 0 241595 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 836128 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/242 269297
/proc/meminfo: memFree=107202208/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=836128 CPUtime=3572.5 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 182171 0 0 0 356708 542 0 0 20 0 1 0 23667068 1056137216 209032 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 209032 4211 3002 0 241595 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 836128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.10 4.14 4.16 5/242 269303
/proc/meminfo: memFree=107194136/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=836128 CPUtime=3600.01 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 182200 0 0 0 359457 544 0 0 20 0 1 0 23667068 1056137216 209032 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 209032 4211 3002 0 241595 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 836128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 267199 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.58 s, system=5.45118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.10 4.14 4.16 5/242 269303
/proc/meminfo: memFree=107194136/131655788 swapFree=131070704/131071996
[pid=267199] ppid=267196 vsize=1031384 memory=836128 CPUtime=3600.01 cores=1,3
/proc/267199/stat : 267199 (mixed-bag) R 267196 267199 265027 0 -1 4194304 182200 0 0 0 359457 544 0 0 20 0 1 0 23667068 1056137216 209032 134679101440 4194304 16488053 140732699829168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 35012608 140732699833367 140732699833444 140732699833444 140732699840459 0
/proc/267199/statm: 257846 209032 4211 3002 0 241595 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1031384 KiB
Current children cumulated memory: 836128 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.03
CPU user time (s): 3594.58
CPU system time (s): 5.45118
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 1210996
Max. memory (cumulated for all children) (KiB): 956776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.58
system time used= 5.45118
maximum resident set size= 956776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182236
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= 59
involuntary context switches= 1152
# summary of solver processes directly reported to runsolver:
# pid: 267199
# total CPU time (s): 3600.03
# total CPU user time (s): 3594.58
# total CPU system time (s): 5.45118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0233 second user time and 37.6106 second system time
The end
Begin job on nodeC008 at 2024-07-25 05:06:17
IDJOB=4458790
IDBENCH=178157
IDSOLVER=3083
FILE ID=nodeC008/4458790-1721876777
RUNJOBID= nodeC008-1721875931-265039
SLURM_JOB_ID= 8089228
Free space on /tmp= 723716 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4458790-1721876777/watcher-4458790-1721876777 -o /tmp/evaluation-result-4458790-1721876777/solver-4458790-1721876777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265039 --watchdog 3760 mixed-bag HOME/instance-4458790-1721876777.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ff0f59bbfc198112e385d67f72301d6a
RANDOM SEED=1134947388
nodeC008.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 : 3506.339
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 : 6983.19
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 : 3492.915
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.33
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.273
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 : 6983.19
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.120
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.33
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 : 3591.029
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 : 6983.19
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 : 3601.272
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.33
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.275
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 : 6983.19
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.207
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 109319672 kB
MemAvailable: 129352856 kB
Buffers: 297452 kB
Cached: 20497260 kB
SwapCached: 732 kB
Active: 2727472 kB
Inactive: 18902040 kB
Active(anon): 1620 kB
Inactive(anon): 887032 kB
Active(file): 2725852 kB
Inactive(file): 18015008 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 19876 kB
Writeback: 0 kB
AnonPages: 830188 kB
Mapped: 136296 kB
Shmem: 53860 kB
KReclaimable: 264708 kB
Slab: 384428 kB
SReclaimable: 264708 kB
SUnreclaim: 119720 kB
KernelStack: 3840 kB
PageTables: 11372 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1335312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 651264 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: 400200 kB
DirectMap2M: 49836032 kB
DirectMap1G: 85983232 kB
Free space on /tmp at the end= 723688 MiB
End job on nodeC008 at 2024-07-25 06:06:27