0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.60/0.68 c [STEP] solving
0.60/0.68 c #variables 1485 #constraints 104940
0.60/0.68 c SMALL=int, LARGE=long long
0.60/0.68 c bounds - >= -1210 @ 0.507491
0.60/0.68 c stratification level: 0
0.69/0.73 c bounds - >= -1209 @ 0.512174
0.69/0.73 c bounds - >= -1208 @ 0.512582
0.69/0.73 c bounds - >= -1207 @ 0.512936
0.69/0.73 c bounds - >= -1206 @ 0.513264
0.69/0.73 c bounds - >= -1205 @ 0.5136
0.69/0.73 c bounds - >= -1204 @ 0.51391
0.69/0.73 c bounds - >= -1203 @ 0.514216
0.69/0.73 c bounds - >= -1202 @ 0.514518
0.69/0.73 c bounds - >= -1201 @ 0.514816
0.69/0.73 c bounds - >= -1200 @ 0.515095
0.69/0.73 c bounds - >= -1199 @ 0.515372
0.69/0.73 c bounds - >= -1198 @ 0.516104
0.69/0.73 c bounds - >= -1197 @ 0.516467
0.69/0.73 c bounds - >= -1196 @ 0.51682
0.69/0.73 c bounds - >= -1195 @ 0.517155
0.69/0.73 c bounds - >= -1194 @ 0.517361
0.69/0.73 c bounds - >= -1193 @ 0.517361
0.69/0.73 c bounds - >= -1192 @ 0.517361
0.69/0.73 c bounds - >= -1191 @ 0.517426
0.69/0.73 c bounds - >= -1190 @ 0.517721
0.69/0.73 c bounds - >= -1189 @ 0.517999
0.69/0.73 c bounds - >= -1188 @ 0.518271
0.69/0.73 c bounds - >= -1187 @ 0.518667
0.69/0.73 c bounds - >= -1186 @ 0.518976
0.69/0.73 c bounds - >= -1185 @ 0.519268
0.69/0.73 c bounds - >= -1184 @ 0.519447
0.69/0.73 c bounds - >= -1183 @ 0.519447
0.69/0.73 c bounds - >= -1182 @ 0.519447
0.69/0.73 c bounds - >= -1181 @ 0.519447
0.69/0.73 c bounds - >= -1180 @ 0.519725
0.69/0.73 c bounds - >= -1179 @ 0.519989
0.69/0.73 c bounds - >= -1178 @ 0.52026
0.69/0.73 c bounds - >= -1177 @ 0.520536
0.69/0.73 c bounds - >= -1176 @ 0.52081
0.69/0.73 c bounds - >= -1175 @ 0.521163
0.69/0.73 c bounds - >= -1174 @ 0.521462
0.69/0.73 c bounds - >= -1173 @ 0.521735
0.69/0.73 c bounds - >= -1172 @ 0.522018
0.69/0.73 c bounds - >= -1171 @ 0.522291
0.69/0.73 c bounds - >= -1170 @ 0.522589
0.69/0.73 c bounds - >= -1169 @ 0.522857
0.69/0.73 c bounds - >= -1168 @ 0.52312
0.69/0.73 c bounds - >= -1167 @ 0.523396
0.69/0.73 c bounds - >= -1166 @ 0.523786
0.69/0.73 c bounds - >= -1165 @ 0.524097
0.69/0.73 c bounds - >= -1164 @ 0.524414
0.69/0.73 c bounds - >= -1163 @ 0.524697
0.69/0.73 c bounds - >= -1162 @ 0.524981
0.69/0.73 c bounds - >= -1161 @ 0.525273
0.69/0.73 c bounds - >= -1160 @ 0.525552
0.69/0.73 c bounds - >= -1159 @ 0.525825
0.69/0.73 c bounds - >= -1158 @ 0.526097
0.69/0.73 c bounds - >= -1157 @ 0.526388
0.69/0.73 c bounds - >= -1156 @ 0.52666
0.69/0.73 c bounds - >= -1155 @ 0.526941
0.69/0.73 c bounds - >= -1154 @ 0.527285
0.69/0.73 c bounds - >= -1153 @ 0.527588
0.69/0.73 c bounds - >= -1152 @ 0.5279
0.69/0.73 c bounds - >= -1151 @ 0.528179
0.69/0.73 c bounds - >= -1150 @ 0.528458
0.69/0.73 c bounds - >= -1149 @ 0.528731
0.69/0.73 c bounds - >= -1148 @ 0.529015
0.69/0.73 c bounds - >= -1147 @ 0.529285
0.69/0.73 c bounds - >= -1146 @ 0.529558
0.69/0.73 c bounds - >= -1145 @ 0.529962
0.69/0.73 c bounds - >= -1144 @ 0.530275
0.69/0.73 c bounds - >= -1143 @ 0.530574
0.69/0.73 c bounds - >= -1142 @ 0.530876
0.69/0.73 c bounds - >= -1141 @ 0.531166
0.69/0.73 c bounds - >= -1140 @ 0.53145
0.69/0.73 c bounds - >= -1139 @ 0.53174
0.69/0.73 c bounds - >= -1138 @ 0.532022
0.69/0.73 c bounds - >= -1137 @ 0.532295
0.69/0.73 c bounds - >= -1136 @ 0.532406
0.69/0.73 c bounds - >= -1135 @ 0.532406
0.69/0.73 c bounds - >= -1134 @ 0.532406
0.69/0.73 c bounds - >= -1133 @ 0.532526
0.69/0.73 c bounds - >= -1132 @ 0.532819
0.69/0.73 c bounds - >= -1131 @ 0.533108
0.69/0.73 c bounds - >= -1130 @ 0.533362
0.69/0.73 c bounds - >= -1129 @ 0.533644
0.69/0.73 c bounds - >= -1128 @ 0.533912
0.69/0.73 c bounds - >= -1127 @ 0.53418
0.69/0.73 c bounds - >= -1126 @ 0.534456
0.69/0.73 c bounds - >= -1125 @ 0.534858
0.69/0.73 c bounds - >= -1124 @ 0.535175
0.69/0.73 c bounds - >= -1123 @ 0.535483
0.69/0.73 c bounds - >= -1122 @ 0.535789
0.69/0.73 c bounds - >= -1121 @ 0.536105
0.69/0.73 c bounds - >= -1120 @ 0.536382
0.69/0.73 c bounds - >= -1119 @ 0.536675
0.69/0.73 c bounds - >= -1118 @ 0.536957
0.69/0.73 c bounds - >= -1117 @ 0.537256
0.69/0.73 c bounds - >= -1116 @ 0.537556
0.69/0.73 c bounds - >= -1115 @ 0.537995
0.69/0.73 c bounds - >= -1114 @ 0.538275
0.69/0.73 c bounds - >= -1113 @ 0.538541
0.69/0.73 c bounds - >= -1112 @ 0.53881
0.69/0.73 c bounds - >= -1111 @ 0.539102
0.69/0.73 c bounds - >= -1110 @ 0.539493
0.69/0.73 c bounds - >= -1109 @ 0.539808
0.69/0.73 c bounds - >= -1108 @ 0.540111
0.69/0.73 c bounds - >= -1107 @ 0.540411
0.69/0.73 c bounds - >= -1106 @ 0.540792
0.69/0.73 c bounds - >= -1105 @ 0.541181
0.69/0.73 c bounds - >= -1104 @ 0.541491
0.69/0.73 c bounds - >= -1103 @ 0.541797
0.69/0.73 c bounds - >= -1102 @ 0.542096
0.69/0.73 c bounds - >= -1101 @ 0.54239
0.69/0.73 c bounds - >= -1100 @ 0.54268
0.69/0.73 c bounds - >= -1099 @ 0.542965
0.69/0.73 c bounds - >= -1098 @ 0.543234
0.69/0.73 c bounds - >= -1097 @ 0.543546
0.69/0.73 c bounds - >= -1096 @ 0.543824
0.69/0.73 c bounds - >= -1095 @ 0.544118
0.69/0.73 c bounds - >= -1094 @ 0.544277
0.69/0.73 c bounds - >= -1093 @ 0.544277
0.69/0.73 c bounds - >= -1092 @ 0.544277
0.69/0.73 c bounds - >= -1091 @ 0.544299
0.69/0.73 c bounds - >= -1090 @ 0.544707
0.69/0.73 c bounds - >= -1089 @ 0.54499
0.69/0.73 c bounds - >= -1088 @ 0.545286
0.69/0.73 c bounds - >= -1087 @ 0.545365
0.69/0.73 c bounds - >= -1086 @ 0.545365
0.69/0.73 c bounds - >= -1085 @ 0.545365
0.69/0.73 c bounds - >= -1084 @ 0.545652
0.69/0.73 c bounds - >= -1083 @ 0.545946
0.69/0.73 c bounds - >= -1082 @ 0.546226
0.69/0.73 c bounds - >= -1081 @ 0.546472
0.69/0.73 c bounds - >= -1080 @ 0.546755
0.69/0.73 c bounds - >= -1079 @ 0.547017
0.69/0.73 c bounds - >= -1078 @ 0.547314
0.69/0.73 c bounds - >= -1077 @ 0.54761
0.69/0.77 c bounds - >= -1076 @ 0.547883
0.69/0.77 c bounds - >= -1075 @ 0.548159
0.69/0.77 c bounds - >= -1074 @ 0.548427
0.69/0.77 c bounds - >= -1073 @ 0.54869
0.69/0.77 c bounds - >= -1072 @ 0.549021
0.69/0.77 c bounds - >= -1071 @ 0.549456
0.69/0.77 c bounds - >= -1070 @ 0.549729
0.69/0.77 c bounds - >= -1069 @ 0.550043
0.69/0.77 c bounds - >= -1068 @ 0.55031
0.69/0.77 c bounds - >= -1067 @ 0.550696
0.69/0.77 c bounds - >= -1066 @ 0.55098
0.69/0.77 c bounds - >= -1065 @ 0.551269
0.69/0.77 c bounds - >= -1064 @ 0.551557
0.69/0.77 c bounds - >= -1063 @ 0.551832
0.69/0.77 c bounds - >= -1062 @ 0.552105
0.69/0.77 c bounds - >= -1061 @ 0.552381
0.69/0.77 c bounds - >= -1060 @ 0.552656
0.69/0.77 c bounds - >= -1059 @ 0.55299
0.69/0.77 c bounds - >= -1058 @ 0.553272
0.69/0.77 c bounds - >= -1057 @ 0.553562
0.69/0.77 c bounds - >= -1056 @ 0.553846
0.69/0.77 c bounds - >= -1055 @ 0.554122
0.69/0.77 c bounds - >= -1054 @ 0.554393
0.69/0.77 c bounds - >= -1053 @ 0.554763
0.69/0.77 c bounds - >= -1052 @ 0.555021
0.69/0.77 c bounds - >= -1051 @ 0.555275
0.69/0.77 c bounds - >= -1050 @ 0.555586
0.69/0.77 c bounds - >= -1049 @ 0.55587
0.69/0.77 c bounds - >= -1048 @ 0.556295
0.69/0.77 c bounds - >= -1047 @ 0.556595
0.69/0.77 c bounds - >= -1046 @ 0.556888
0.69/0.77 c bounds - >= -1045 @ 0.557403
0.69/0.77 c bounds - >= -1044 @ 0.557796
0.69/0.77 c bounds - >= -1043 @ 0.558156
0.69/0.77 c bounds - >= -1042 @ 0.558512
0.69/0.77 c bounds - >= -1041 @ 0.558833
0.69/0.77 c bounds - >= -1040 @ 0.559157
0.69/0.77 c bounds - >= -1039 @ 0.559475
0.69/0.77 c bounds - >= -1038 @ 0.559782
0.69/0.77 c bounds - >= -1037 @ 0.560077
0.69/0.77 c bounds - >= -1036 @ 0.560368
0.69/0.77 c bounds - >= -1035 @ 0.560646
0.69/0.77 c bounds - >= -1034 @ 0.56092
0.69/0.77 c bounds - >= -1033 @ 0.561187
0.69/0.77 c bounds - >= -1032 @ 0.561504
0.69/0.77 c bounds - >= -1031 @ 0.561939
0.69/0.77 c bounds - >= -1030 @ 0.562262
0.69/0.77 c bounds - >= -1029 @ 0.562583
0.69/0.77 c bounds - >= -1028 @ 0.562981
0.69/0.77 c bounds - >= -1027 @ 0.563326
0.69/0.77 c bounds - >= -1026 @ 0.563645
0.69/0.77 c bounds - >= -1025 @ 0.56397
0.69/0.77 c bounds - >= -1024 @ 0.564296
0.69/0.77 c bounds - >= -1023 @ 0.564613
0.69/0.77 c bounds - >= -1022 @ 0.564939
0.69/0.77 c bounds - >= -1021 @ 0.565256
0.69/0.77 c bounds - >= -1020 @ 0.565547
0.69/0.77 c bounds - >= -1019 @ 0.565837
0.69/0.77 c bounds - >= -1018 @ 0.566124
0.69/0.77 c bounds - >= -1017 @ 0.566407
0.69/0.77 c bounds - >= -1016 @ 0.566691
0.69/0.77 c bounds - >= -1015 @ 0.567033
0.69/0.77 c bounds - >= -1014 @ 0.567433
0.69/0.77 c bounds - >= -1013 @ 0.567766
0.69/0.77 c bounds - >= -1012 @ 0.5681
0.69/0.77 c bounds - >= -1011 @ 0.56848
0.69/0.77 c bounds - >= -1010 @ 0.56881
0.69/0.77 c bounds - >= -1009 @ 0.56915
0.69/0.77 c bounds - >= -1008 @ 0.569489
0.69/0.77 c bounds - >= -1007 @ 0.569812
0.69/0.77 c bounds - >= -1006 @ 0.57014
0.69/0.77 c bounds - >= -1005 @ 0.570453
0.69/0.77 c bounds - >= -1004 @ 0.570745
0.69/0.77 c bounds - >= -1003 @ 0.571036
0.69/0.77 c bounds - >= -1002 @ 0.571324
0.69/0.77 c bounds - >= -1001 @ 0.571603
0.69/0.77 c bounds - >= -1000 @ 0.571902
0.69/0.77 c bounds - >= -999 @ 0.572179
0.69/0.77 c bounds - >= -998 @ 0.572516
0.69/0.77 c bounds - >= -997 @ 0.572839
0.69/0.77 c bounds - >= -996 @ 0.573138
0.69/0.77 c bounds - >= -995 @ 0.573442
0.69/0.77 c bounds - >= -994 @ 0.573747
0.69/0.77 c bounds - >= -993 @ 0.574027
0.69/0.77 c bounds - >= -992 @ 0.57442
0.69/0.77 c bounds - >= -991 @ 0.574767
0.69/0.77 c bounds - >= -990 @ 0.575076
0.69/0.77 c bounds - >= -989 @ 0.575385
0.69/0.77 c bounds - >= -988 @ 0.575882
0.69/0.77 c bounds - >= -987 @ 0.576182
0.69/0.77 c bounds - >= -986 @ 0.576535
0.69/0.77 c bounds - >= -985 @ 0.576862
0.69/0.77 c bounds - >= -984 @ 0.577173
0.69/0.77 c bounds - >= -983 @ 0.57726
0.69/0.77 c bounds - >= -982 @ 0.57726
0.69/0.77 c bounds - >= -981 @ 0.57738
0.69/0.77 c bounds - >= -980 @ 0.577738
0.69/0.77 c bounds - >= -979 @ 0.578255
0.69/0.77 c bounds - >= -978 @ 0.578255
0.69/0.77 c bounds - >= -977 @ 0.578255
0.69/0.77 c bounds - >= -976 @ 0.578462
0.69/0.77 c bounds - >= -975 @ 0.57879
0.69/0.77 c bounds - >= -974 @ 0.579116
0.69/0.77 c bounds - >= -973 @ 0.579517
0.69/0.77 c bounds - >= -972 @ 0.579881
0.69/0.77 c bounds - >= -971 @ 0.580389
0.69/0.77 c bounds - >= -970 @ 0.580777
0.69/0.77 c bounds - >= -969 @ 0.581137
0.69/0.77 c bounds - >= -968 @ 0.581496
0.69/0.77 c bounds - >= -967 @ 0.581846
0.69/0.77 c bounds - >= -966 @ 0.582187
0.69/0.77 c bounds - >= -965 @ 0.582613
0.69/0.77 c bounds - >= -964 @ 0.583
0.69/0.77 c bounds - >= -963 @ 0.583558
0.69/0.77 c bounds - >= -962 @ 0.583938
0.69/0.77 c bounds - >= -961 @ 0.584302
0.69/0.77 c bounds - >= -960 @ 0.584653
0.69/0.77 c bounds - >= -959 @ 0.585012
0.69/0.77 c bounds - >= -958 @ 0.585354
0.69/0.77 c bounds - >= -957 @ 0.585828
0.69/0.77 c bounds - >= -956 @ 0.586433
0.69/0.77 c bounds - >= -955 @ 0.58688
0.69/0.77 c bounds - >= -954 @ 0.587275
0.69/0.77 c bounds - >= -953 @ 0.587671
0.69/0.77 c bounds - >= -952 @ 0.588034
0.69/0.77 c bounds - >= -951 @ 0.588402
0.69/0.77 c bounds - >= -950 @ 0.588736
0.69/0.77 c bounds - >= -949 @ 0.589065
0.69/0.77 c bounds - >= -948 @ 0.589222
0.69/0.77 c bounds - >= -947 @ 0.589222
0.69/0.77 c bounds - >= -946 @ 0.589745
0.69/0.77 c bounds - >= -945 @ 0.590182
0.69/0.77 c bounds - >= -944 @ 0.590218
0.69/0.77 c bounds - >= -943 @ 0.590218
0.69/0.77 c bounds - >= -942 @ 0.590597
0.69/0.79 c bounds - >= -941 @ 0.590991
0.69/0.79 c bounds - >= -940 @ 0.591382
0.69/0.79 c bounds - >= -939 @ 0.591857
0.69/0.79 c bounds - >= -938 @ 0.592664
0.69/0.79 c bounds - >= -937 @ 0.593202
0.69/0.79 c bounds - >= -936 @ 0.593679
0.69/0.79 c bounds - >= -935 @ 0.594062
0.69/0.79 c bounds - >= -934 @ 0.594432
0.69/0.79 c bounds - >= -933 @ 0.59479
0.69/0.79 c bounds - >= -932 @ 0.595144
0.69/0.79 c bounds - >= -931 @ 0.595491
0.69/0.79 c bounds - >= -930 @ 0.595918
0.69/0.79 c bounds - >= -929 @ 0.596604
0.69/0.79 c bounds - >= -928 @ 0.597124
0.69/0.79 c bounds - >= -927 @ 0.597658
0.69/0.79 c bounds - >= -926 @ 0.598161
0.69/0.79 c bounds - >= -925 @ 0.598161
0.69/0.79 c bounds - >= -924 @ 0.598161
0.69/0.79 c bounds - >= -923 @ 0.598283
0.69/0.79 c bounds - >= -922 @ 0.598834
0.69/0.79 c bounds - >= -921 @ 0.599477
0.69/0.79 c bounds - >= -920 @ 0.599968
0.69/0.79 c bounds - >= -919 @ 0.600389
0.69/0.79 c bounds - >= -918 @ 0.600808
0.69/0.79 c bounds - >= -917 @ 0.601392
0.69/0.79 c bounds - >= -916 @ 0.601924
0.69/0.79 c bounds - >= -915 @ 0.602531
0.69/0.79 c bounds - >= -914 @ 0.602975
0.69/0.79 c bounds - >= -913 @ 0.603414
0.69/0.79 c bounds - >= -912 @ 0.604022
0.69/0.79 c bounds - >= -911 @ 0.604421
0.69/0.79 c bounds - >= -910 @ 0.604984
0.69/0.79 c bounds - >= -909 @ 0.605168
0.69/0.79 c bounds - >= -908 @ 0.605168
0.69/0.79 c finalizing WCE round: reformulating cores
70.09/70.36 c #Conflicts: 1000 | #Constraints: 106275
70.09/70.36 c #Conflicts: 2000 | #Constraints: 107277
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 3000 | #Constraints: 106967
70.09/70.36 c #Conflicts: 4000 | #Constraints: 107969
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 5000 | #Constraints: 107365
70.09/70.36 c #Conflicts: 6000 | #Constraints: 108367
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 7000 | #Constraints: 107369
70.09/70.36 c #Conflicts: 8000 | #Constraints: 108371
70.09/70.36 c #Conflicts: 9000 | #Constraints: 109375
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 10000 | #Constraints: 108078
70.09/70.36 c #Conflicts: 11000 | #Constraints: 109080
70.09/70.36 c #Conflicts: 12000 | #Constraints: 110082
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 13000 | #Constraints: 108534
70.09/70.36 c #Conflicts: 14000 | #Constraints: 109536
70.09/70.36 c #Conflicts: 15000 | #Constraints: 110538
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 16000 | #Constraints: 108767
70.09/70.36 c #Conflicts: 17000 | #Constraints: 109769
70.09/70.36 c #Conflicts: 18000 | #Constraints: 110771
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 19000 | #Constraints: 108786
70.09/70.36 c #Conflicts: 20000 | #Constraints: 109788
70.09/70.36 c #Conflicts: 21000 | #Constraints: 110790
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 22000 | #Constraints: 108599
70.09/70.36 c #Conflicts: 23000 | #Constraints: 109601
70.09/70.36 c #Conflicts: 24000 | #Constraints: 110605
70.09/70.36 c #Conflicts: 25000 | #Constraints: 111607
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 26000 | #Constraints: 109215
70.09/70.36 c #Conflicts: 27000 | #Constraints: 110217
70.09/70.36 c #Conflicts: 28000 | #Constraints: 111219
70.09/70.36 c #Conflicts: 29000 | #Constraints: 112223
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 30000 | #Constraints: 109627
70.09/70.36 c #Conflicts: 31000 | #Constraints: 110629
70.09/70.36 c #Conflicts: 32000 | #Constraints: 111631
70.09/70.36 c #Conflicts: 33000 | #Constraints: 112635
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 34000 | #Constraints: 109837
70.09/70.36 c #Conflicts: 35000 | #Constraints: 110839
70.09/70.36 c #Conflicts: 36000 | #Constraints: 111841
70.09/70.36 c #Conflicts: 37000 | #Constraints: 112845
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 38000 | #Constraints: 109848
70.09/70.36 c #Conflicts: 39000 | #Constraints: 110850
70.09/70.36 c #Conflicts: 40000 | #Constraints: 111852
70.09/70.36 c #Conflicts: 41000 | #Constraints: 112856
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 42000 | #Constraints: 109654
70.09/70.36 c #Conflicts: 43000 | #Constraints: 110656
70.09/70.36 c #Conflicts: 44000 | #Constraints: 111660
70.09/70.36 c #Conflicts: 45000 | #Constraints: 112662
70.09/70.36 c #Conflicts: 46000 | #Constraints: 113664
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 47000 | #Constraints: 110267
70.09/70.36 c #Conflicts: 48000 | #Constraints: 111269
70.09/70.36 c #Conflicts: 49000 | #Constraints: 112271
70.09/70.36 c #Conflicts: 50000 | #Constraints: 113275
70.09/70.36 c #Conflicts: 51000 | #Constraints: 114277
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 52000 | #Constraints: 110681
70.09/70.36 c #Conflicts: 53000 | #Constraints: 111683
70.09/70.36 c #Conflicts: 54000 | #Constraints: 112685
70.09/70.36 c #Conflicts: 55000 | #Constraints: 113689
70.09/70.36 c #Conflicts: 56000 | #Constraints: 114691
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 57000 | #Constraints: 110893
70.09/70.36 c #Conflicts: 58000 | #Constraints: 111895
70.09/70.36 c #Conflicts: 59000 | #Constraints: 112897
70.09/70.36 c #Conflicts: 60000 | #Constraints: 113901
70.09/70.36 c #Conflicts: 61000 | #Constraints: 114903
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 62000 | #Constraints: 110906
70.09/70.36 c #Conflicts: 63000 | #Constraints: 111908
70.09/70.36 c #Conflicts: 64000 | #Constraints: 112910
70.09/70.36 c #Conflicts: 65000 | #Constraints: 113914
70.09/70.36 c #Conflicts: 66000 | #Constraints: 114916
70.09/70.36 c INPROCESSING
70.09/70.36 c GARBAGE COLLECT
70.09/70.36 c #Conflicts: 67000 | #Constraints: 110722
70.09/70.36 c #Conflicts: 68000 | #Constraints: 111724
165.14/165.68 c #Conflicts: 69000 | #Constraints: 112728
165.14/165.68 c #Conflicts: 70000 | #Constraints: 113730
165.14/165.68 c #Conflicts: 71000 | #Constraints: 114732
165.14/165.68 c #Conflicts: 72000 | #Constraints: 115736
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 73000 | #Constraints: 111335
165.14/165.68 c #Conflicts: 74000 | #Constraints: 112337
165.14/165.68 c #Conflicts: 75000 | #Constraints: 113339
165.14/165.68 c #Conflicts: 76000 | #Constraints: 114343
165.14/165.68 c #Conflicts: 77000 | #Constraints: 115345
165.14/165.68 c #Conflicts: 78000 | #Constraints: 116347
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 79000 | #Constraints: 111752
165.14/165.68 c #Conflicts: 80000 | #Constraints: 112754
165.14/165.68 c #Conflicts: 81000 | #Constraints: 113756
165.14/165.68 c #Conflicts: 82000 | #Constraints: 114760
165.14/165.68 c #Conflicts: 83000 | #Constraints: 115762
165.14/165.68 c #Conflicts: 84000 | #Constraints: 116764
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 85000 | #Constraints: 111969
165.14/165.68 c #Conflicts: 86000 | #Constraints: 112971
165.14/165.68 c #Conflicts: 87000 | #Constraints: 113973
165.14/165.68 c #Conflicts: 88000 | #Constraints: 114977
165.14/165.68 c #Conflicts: 89000 | #Constraints: 115979
165.14/165.68 c #Conflicts: 90000 | #Constraints: 116981
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 91000 | #Constraints: 111982
165.14/165.68 c #Conflicts: 92000 | #Constraints: 112984
165.14/165.68 c #Conflicts: 93000 | #Constraints: 113986
165.14/165.68 c #Conflicts: 94000 | #Constraints: 114990
165.14/165.68 c #Conflicts: 95000 | #Constraints: 115992
165.14/165.68 c #Conflicts: 96000 | #Constraints: 116994
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 97000 | #Constraints: 111795
165.14/165.68 c #Conflicts: 98000 | #Constraints: 112797
165.14/165.68 c #Conflicts: 99000 | #Constraints: 113801
165.14/165.68 c #Conflicts: 100000 | #Constraints: 114803
165.14/165.68 c #Conflicts: 101000 | #Constraints: 115805
165.14/165.68 c #Conflicts: 102000 | #Constraints: 116809
165.14/165.68 c #Conflicts: 103000 | #Constraints: 117811
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 104000 | #Constraints: 112413
165.14/165.68 c #Conflicts: 105000 | #Constraints: 113415
165.14/165.68 c #Conflicts: 106000 | #Constraints: 114417
165.14/165.68 c #Conflicts: 107000 | #Constraints: 115421
165.14/165.68 c #Conflicts: 108000 | #Constraints: 116423
165.14/165.68 c #Conflicts: 109000 | #Constraints: 117425
165.14/165.68 c #Conflicts: 110000 | #Constraints: 118429
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 111000 | #Constraints: 112829
165.14/165.68 c #Conflicts: 112000 | #Constraints: 113831
165.14/165.68 c #Conflicts: 113000 | #Constraints: 114833
165.14/165.68 c #Conflicts: 114000 | #Constraints: 115837
165.14/165.68 c #Conflicts: 115000 | #Constraints: 116839
165.14/165.68 c #Conflicts: 116000 | #Constraints: 117841
165.14/165.68 c #Conflicts: 117000 | #Constraints: 118845
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 118000 | #Constraints: 113047
165.14/165.68 c #Conflicts: 119000 | #Constraints: 114049
165.14/165.68 c #Conflicts: 120000 | #Constraints: 115051
165.14/165.68 c #Conflicts: 121000 | #Constraints: 116055
165.14/165.68 c #Conflicts: 122000 | #Constraints: 117057
165.14/165.68 c #Conflicts: 123000 | #Constraints: 118059
165.14/165.68 c #Conflicts: 124000 | #Constraints: 119063
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 125000 | #Constraints: 113065
165.14/165.68 c #Conflicts: 126000 | #Constraints: 114067
165.14/165.68 c #Conflicts: 127000 | #Constraints: 115069
165.14/165.68 c #Conflicts: 128000 | #Constraints: 116073
165.14/165.68 c #Conflicts: 129000 | #Constraints: 117075
165.14/165.68 c #Conflicts: 130000 | #Constraints: 118077
165.14/165.68 c #Conflicts: 131000 | #Constraints: 119081
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 132000 | #Constraints: 112882
165.14/165.68 c #Conflicts: 133000 | #Constraints: 113884
165.14/165.68 c #Conflicts: 134000 | #Constraints: 114888
165.14/165.68 c #Conflicts: 135000 | #Constraints: 115890
165.14/165.68 c #Conflicts: 136000 | #Constraints: 116892
165.14/165.68 c #Conflicts: 137000 | #Constraints: 117896
165.14/165.68 c #Conflicts: 138000 | #Constraints: 118898
165.14/165.68 c #Conflicts: 139000 | #Constraints: 119900
165.14/165.68 c INPROCESSING
165.14/165.68 c GARBAGE COLLECT
165.14/165.68 c #Conflicts: 140000 | #Constraints: 113506
285.66/286.43 c #Conflicts: 141000 | #Constraints: 114508
285.66/286.43 c #Conflicts: 142000 | #Constraints: 115510
285.66/286.43 c #Conflicts: 143000 | #Constraints: 116514
285.66/286.43 c #Conflicts: 144000 | #Constraints: 117516
285.66/286.43 c #Conflicts: 145000 | #Constraints: 118518
285.66/286.43 c #Conflicts: 146000 | #Constraints: 119522
285.66/286.43 c #Conflicts: 147000 | #Constraints: 120524
285.66/286.43 c INPROCESSING
285.66/286.43 c GARBAGE COLLECT
285.66/286.43 c #Conflicts: 148000 | #Constraints: 113926
285.66/286.43 c #Conflicts: 149000 | #Constraints: 114928
285.66/286.43 c #Conflicts: 150000 | #Constraints: 115930
285.66/286.43 c #Conflicts: 151000 | #Constraints: 116934
285.66/286.43 c #Conflicts: 152000 | #Constraints: 117936
285.66/286.43 c #Conflicts: 153000 | #Constraints: 118938
285.66/286.43 c #Conflicts: 154000 | #Constraints: 119942
285.66/286.43 c #Conflicts: 155000 | #Constraints: 120944
285.66/286.43 c INPROCESSING
285.66/286.43 c GARBAGE COLLECT
285.66/286.43 c #Conflicts: 156000 | #Constraints: 114149
285.66/286.43 c #Conflicts: 157000 | #Constraints: 115151
285.66/286.43 c #Conflicts: 158000 | #Constraints: 116153
285.66/286.43 c #Conflicts: 159000 | #Constraints: 117157
285.66/286.43 c #Conflicts: 160000 | #Constraints: 118159
285.66/286.43 c #Conflicts: 161000 | #Constraints: 119161
285.66/286.43 c #Conflicts: 162000 | #Constraints: 120165
285.66/286.43 c #Conflicts: 163000 | #Constraints: 121167
285.66/286.43 c INPROCESSING
285.66/286.43 c GARBAGE COLLECT
285.66/286.43 c #Conflicts: 164000 | #Constraints: 114164
285.66/286.43 c #Conflicts: 165000 | #Constraints: 115166
285.66/286.43 c #Conflicts: 166000 | #Constraints: 116168
285.66/286.43 c #Conflicts: 167000 | #Constraints: 117172
285.66/286.43 c #Conflicts: 168000 | #Constraints: 118174
285.66/286.43 c #Conflicts: 169000 | #Constraints: 119176
285.66/286.43 c #Conflicts: 170000 | #Constraints: 120180
285.66/286.43 c #Conflicts: 171000 | #Constraints: 121182
285.66/286.43 c INPROCESSING
285.66/286.43 c GARBAGE COLLECT
285.66/286.43 c #Conflicts: 172000 | #Constraints: 113981
285.66/286.43 c #Conflicts: 173000 | #Constraints: 114983
285.66/286.43 c #Conflicts: 174000 | #Constraints: 115987
285.66/286.43 c #Conflicts: 175000 | #Constraints: 116989
285.66/286.43 c #Conflicts: 176000 | #Constraints: 117991
285.66/286.43 c #Conflicts: 177000 | #Constraints: 118995
285.66/286.43 c #Conflicts: 178000 | #Constraints: 119997
285.66/286.43 c #Conflicts: 179000 | #Constraints: 120999
285.66/286.43 c #Conflicts: 180000 | #Constraints: 122003
285.66/286.43 c INPROCESSING
285.66/286.43 c GARBAGE COLLECT
285.66/286.43 c #Conflicts: 181000 | #Constraints: 114607
285.66/286.43 c #Conflicts: 182000 | #Constraints: 115609
285.66/286.43 c #Conflicts: 183000 | #Constraints: 116611
285.66/286.43 c #Conflicts: 184000 | #Constraints: 117615
285.66/286.43 c #Conflicts: 185000 | #Constraints: 118617
285.66/286.43 c #Conflicts: 186000 | #Constraints: 119619
285.66/286.43 c #Conflicts: 187000 | #Constraints: 120623
285.66/286.43 c #Conflicts: 188000 | #Constraints: 121625
285.66/286.43 c #Conflicts: 189000 | #Constraints: 122627
285.66/286.43 c INPROCESSING
285.66/286.43 c GARBAGE COLLECT
285.66/286.43 c #Conflicts: 190000 | #Constraints: 115032
285.66/286.43 c #Conflicts: 191000 | #Constraints: 116034
285.66/286.43 c #Conflicts: 192000 | #Constraints: 117036
285.66/286.43 c #Conflicts: 193000 | #Constraints: 118040
285.66/286.43 c #Conflicts: 194000 | #Constraints: 119042
285.66/286.43 c #Conflicts: 195000 | #Constraints: 120044
285.66/286.43 c #Conflicts: 196000 | #Constraints: 121048
285.66/286.43 c #Conflicts: 197000 | #Constraints: 122050
285.66/286.43 c #Conflicts: 198000 | #Constraints: 123052
285.66/286.43 c INPROCESSING
285.66/286.43 c GARBAGE COLLECT
285.66/286.43 c #Conflicts: 199000 | #Constraints: 115260
285.66/286.43 c #Conflicts: 200000 | #Constraints: 116262
285.66/286.43 c #Conflicts: 201000 | #Constraints: 117264
285.66/286.43 c #Conflicts: 202000 | #Constraints: 118268
285.66/286.43 c #Conflicts: 203000 | #Constraints: 119270
285.66/286.43 c #Conflicts: 204000 | #Constraints: 120272
285.66/286.43 c #Conflicts: 205000 | #Constraints: 121276
285.66/286.43 c #Conflicts: 206000 | #Constraints: 122278
285.66/286.43 c #Conflicts: 207000 | #Constraints: 123280
285.66/286.43 c INPROCESSING
285.66/286.43 c GARBAGE COLLECT
285.66/286.43 c #Conflicts: 208000 | #Constraints: 115280
285.66/286.43 c #Conflicts: 209000 | #Constraints: 116282
285.66/286.43 c #Conflicts: 210000 | #Constraints: 117284
285.66/286.43 c #Conflicts: 211000 | #Constraints: 118288
285.66/286.43 c #Conflicts: 212000 | #Constraints: 119290
285.66/286.43 c #Conflicts: 213000 | #Constraints: 120292
376.64/377.65 c #Conflicts: 214000 | #Constraints: 121296
376.64/377.65 c #Conflicts: 215000 | #Constraints: 122298
376.64/377.65 c #Conflicts: 216000 | #Constraints: 123300
376.64/377.65 c INPROCESSING
376.64/377.65 c GARBAGE COLLECT
376.64/377.65 c #Conflicts: 217000 | #Constraints: 115103
376.64/377.65 c #Conflicts: 218000 | #Constraints: 116105
376.64/377.65 c #Conflicts: 219000 | #Constraints: 117109
376.64/377.65 c #Conflicts: 220000 | #Constraints: 118111
376.64/377.65 c #Conflicts: 221000 | #Constraints: 119113
376.64/377.65 c #Conflicts: 222000 | #Constraints: 120117
376.64/377.65 c #Conflicts: 223000 | #Constraints: 121119
376.64/377.65 c #Conflicts: 224000 | #Constraints: 122121
376.64/377.65 c #Conflicts: 225000 | #Constraints: 123125
376.64/377.65 c #Conflicts: 226000 | #Constraints: 124127
376.64/377.65 c INPROCESSING
376.64/377.65 c GARBAGE COLLECT
376.64/377.65 c #Conflicts: 227000 | #Constraints: 115728
376.64/377.65 c #Conflicts: 228000 | #Constraints: 116730
376.64/377.65 c #Conflicts: 229000 | #Constraints: 117732
376.64/377.65 c #Conflicts: 230000 | #Constraints: 118736
376.64/377.65 c #Conflicts: 231000 | #Constraints: 119738
376.64/377.65 c #Conflicts: 232000 | #Constraints: 120740
376.64/377.65 c #Conflicts: 233000 | #Constraints: 121744
376.64/377.65 c #Conflicts: 234000 | #Constraints: 122746
376.64/377.65 c #Conflicts: 235000 | #Constraints: 123748
376.64/377.65 c #Conflicts: 236000 | #Constraints: 124752
376.64/377.65 c INPROCESSING
376.64/377.65 c GARBAGE COLLECT
376.64/377.65 c #Conflicts: 237000 | #Constraints: 116154
376.64/377.65 c #Conflicts: 238000 | #Constraints: 117156
376.64/377.65 c #Conflicts: 239000 | #Constraints: 118158
376.64/377.65 c #Conflicts: 240000 | #Constraints: 119162
376.64/377.65 c #Conflicts: 241000 | #Constraints: 120164
376.64/377.65 c bounds -726 >= -908 @ 325.497
376.64/377.65 c bounds -726 >= -907 @ 325.503
376.64/377.65 c bounds -726 >= -906 @ 325.504
376.64/377.65 c bounds -726 >= -905 @ 325.513
376.64/377.65 c bounds -726 >= -904 @ 325.517
376.64/377.65 c bounds -726 >= -903 @ 325.522
376.64/377.65 c bounds -726 >= -902 @ 325.528
376.64/377.65 c bounds -726 >= -901 @ 325.533
376.64/377.65 c bounds -726 >= -900 @ 325.54
376.64/377.65 c bounds -726 >= -899 @ 325.545
376.64/377.65 c bounds -726 >= -898 @ 325.55
376.64/377.65 c bounds -726 >= -897 @ 325.553
376.64/377.65 c bounds -726 >= -896 @ 325.557
376.64/377.65 c bounds -726 >= -895 @ 325.561
376.64/377.65 c bounds -726 >= -894 @ 325.565
376.64/377.65 c bounds -726 >= -893 @ 325.569
376.64/377.65 c bounds -726 >= -892 @ 325.575
376.64/377.65 c bounds -726 >= -891 @ 325.577
376.64/377.65 c bounds -726 >= -890 @ 325.578
376.64/377.65 c bounds -726 >= -889 @ 325.58
376.64/377.65 c bounds -726 >= -888 @ 325.584
376.64/377.65 c bounds -726 >= -887 @ 325.585
376.64/377.65 c bounds -726 >= -886 @ 325.594
376.64/377.65 c bounds -726 >= -885 @ 325.608
376.64/377.65 c bounds -726 >= -884 @ 325.659
376.64/377.65 c bounds -726 >= -883 @ 325.737
376.64/377.65 c bounds -726 >= -882 @ 325.841
376.64/377.65 c #Conflicts: 242000 | #Constraints: 122165
376.64/377.65 c bounds -726 >= -881 @ 326.273
376.64/377.65 c #Conflicts: 243000 | #Constraints: 123268
376.64/377.65 c #Conflicts: 244000 | #Constraints: 124268
376.64/377.65 c #Conflicts: 245000 | #Constraints: 125268
376.64/377.65 c #Conflicts: 246000 | #Constraints: 126268
376.64/377.65 c INPROCESSING
376.64/377.65 c GARBAGE COLLECT
376.64/377.65 c #Conflicts: 247000 | #Constraints: 117185
376.64/377.65 c #Conflicts: 248000 | #Constraints: 118185
376.64/377.65 c #Conflicts: 249000 | #Constraints: 119185
376.64/377.65 c bounds -726 >= -880 @ 341.12
376.64/377.65 c #Conflicts: 250000 | #Constraints: 120264
376.64/377.65 c #Conflicts: 251000 | #Constraints: 121264
376.64/377.65 c #Conflicts: 252000 | #Constraints: 122264
376.64/377.65 c #Conflicts: 253000 | #Constraints: 123264
376.64/377.65 c #Conflicts: 254000 | #Constraints: 124264
376.64/377.65 c #Conflicts: 255000 | #Constraints: 125264
376.64/377.65 c #Conflicts: 256000 | #Constraints: 126264
376.64/377.65 c INPROCESSING
376.64/377.65 c GARBAGE COLLECT
376.64/377.65 c #Conflicts: 257000 | #Constraints: 117085
376.64/377.65 c #Conflicts: 258000 | #Constraints: 118085
376.64/377.65 c #Conflicts: 259000 | #Constraints: 119085
376.64/377.65 c #Conflicts: 260000 | #Constraints: 120085
376.64/377.65 c #Conflicts: 261000 | #Constraints: 121085
376.64/377.65 c #Conflicts: 262000 | #Constraints: 122085
376.64/377.65 c #Conflicts: 263000 | #Constraints: 123085
376.64/377.65 c #Conflicts: 264000 | #Constraints: 124085
376.64/377.65 c #Conflicts: 265000 | #Constraints: 125085
376.64/377.65 c #Conflicts: 266000 | #Constraints: 126085
376.64/377.65 c INPROCESSING
376.64/377.65 c GARBAGE COLLECT
376.64/377.65 c #Conflicts: 267000 | #Constraints: 116779
376.64/377.65 c #Conflicts: 268000 | #Constraints: 117779
376.64/377.65 c #Conflicts: 269000 | #Constraints: 118779
376.64/377.65 c #Conflicts: 270000 | #Constraints: 119779
376.64/377.65 c #Conflicts: 271000 | #Constraints: 120779
505.93/507.26 c #Conflicts: 272000 | #Constraints: 121779
505.93/507.26 c #Conflicts: 273000 | #Constraints: 122779
505.93/507.26 c #Conflicts: 274000 | #Constraints: 123779
505.93/507.26 c #Conflicts: 275000 | #Constraints: 124779
505.93/507.26 c #Conflicts: 276000 | #Constraints: 125779
505.93/507.26 c #Conflicts: 277000 | #Constraints: 126779
505.93/507.26 c INPROCESSING
505.93/507.26 c GARBAGE COLLECT
505.93/507.26 c #Conflicts: 278000 | #Constraints: 117331
505.93/507.26 c #Conflicts: 279000 | #Constraints: 118331
505.93/507.26 c #Conflicts: 280000 | #Constraints: 119331
505.93/507.26 c #Conflicts: 281000 | #Constraints: 120331
505.93/507.26 c #Conflicts: 282000 | #Constraints: 121331
505.93/507.26 c #Conflicts: 283000 | #Constraints: 122331
505.93/507.26 c #Conflicts: 284000 | #Constraints: 123331
505.93/507.26 c #Conflicts: 285000 | #Constraints: 124331
505.93/507.26 c #Conflicts: 286000 | #Constraints: 125331
505.93/507.26 c #Conflicts: 287000 | #Constraints: 126331
505.93/507.26 c #Conflicts: 288000 | #Constraints: 127331
505.93/507.26 c INPROCESSING
505.93/507.26 c GARBAGE COLLECT
505.93/507.26 c #Conflicts: 289000 | #Constraints: 117711
505.93/507.26 c #Conflicts: 290000 | #Constraints: 118711
505.93/507.26 c #Conflicts: 291000 | #Constraints: 119711
505.93/507.26 c #Conflicts: 292000 | #Constraints: 120711
505.93/507.26 c #Conflicts: 293000 | #Constraints: 121711
505.93/507.26 c #Conflicts: 294000 | #Constraints: 122711
505.93/507.26 c #Conflicts: 295000 | #Constraints: 123711
505.93/507.26 c #Conflicts: 296000 | #Constraints: 124711
505.93/507.26 c #Conflicts: 297000 | #Constraints: 125711
505.93/507.26 c #Conflicts: 298000 | #Constraints: 126711
505.93/507.26 c #Conflicts: 299000 | #Constraints: 127711
505.93/507.26 c INPROCESSING
505.93/507.26 c GARBAGE COLLECT
505.93/507.26 c #Conflicts: 300000 | #Constraints: 117889
505.93/507.26 c #Conflicts: 301000 | #Constraints: 118889
505.93/507.26 c #Conflicts: 302000 | #Constraints: 119889
505.93/507.26 c #Conflicts: 303000 | #Constraints: 120889
505.93/507.26 c #Conflicts: 304000 | #Constraints: 121889
505.93/507.26 c #Conflicts: 305000 | #Constraints: 122889
505.93/507.26 c #Conflicts: 306000 | #Constraints: 123889
505.93/507.26 c #Conflicts: 307000 | #Constraints: 124889
505.93/507.26 c #Conflicts: 308000 | #Constraints: 125889
505.93/507.26 c #Conflicts: 309000 | #Constraints: 126889
505.93/507.26 c #Conflicts: 310000 | #Constraints: 127889
505.93/507.26 c INPROCESSING
505.93/507.26 c GARBAGE COLLECT
505.93/507.26 c #Conflicts: 311000 | #Constraints: 117890
505.93/507.26 c #Conflicts: 312000 | #Constraints: 118890
505.93/507.26 c #Conflicts: 313000 | #Constraints: 119890
505.93/507.26 c #Conflicts: 314000 | #Constraints: 120890
505.93/507.26 c #Conflicts: 315000 | #Constraints: 121890
505.93/507.26 c #Conflicts: 316000 | #Constraints: 122890
505.93/507.26 c #Conflicts: 317000 | #Constraints: 123890
505.93/507.26 c #Conflicts: 318000 | #Constraints: 124890
505.93/507.26 c #Conflicts: 319000 | #Constraints: 125890
505.93/507.26 c #Conflicts: 320000 | #Constraints: 126890
505.93/507.26 c #Conflicts: 321000 | #Constraints: 127890
505.93/507.26 c INPROCESSING
505.93/507.26 c GARBAGE COLLECT
505.93/507.26 c #Conflicts: 322000 | #Constraints: 117691
505.93/507.26 c #Conflicts: 323000 | #Constraints: 118691
505.93/507.26 c #Conflicts: 324000 | #Constraints: 119691
505.93/507.26 c #Conflicts: 325000 | #Constraints: 120691
505.93/507.26 c #Conflicts: 326000 | #Constraints: 121691
505.93/507.26 c #Conflicts: 327000 | #Constraints: 122691
505.93/507.26 c #Conflicts: 328000 | #Constraints: 123691
505.93/507.26 c #Conflicts: 329000 | #Constraints: 124691
505.93/507.26 c #Conflicts: 330000 | #Constraints: 125691
505.93/507.26 c #Conflicts: 331000 | #Constraints: 126691
505.93/507.26 c #Conflicts: 332000 | #Constraints: 127691
505.93/507.26 c #Conflicts: 333000 | #Constraints: 128691
505.93/507.26 c INPROCESSING
505.93/507.26 c GARBAGE COLLECT
505.93/507.26 c #Conflicts: 334000 | #Constraints: 118298
505.93/507.26 c #Conflicts: 335000 | #Constraints: 119298
505.93/507.26 c #Conflicts: 336000 | #Constraints: 120298
505.93/507.26 c #Conflicts: 337000 | #Constraints: 121298
505.93/507.26 c #Conflicts: 338000 | #Constraints: 122298
505.93/507.26 c #Conflicts: 339000 | #Constraints: 123298
505.93/507.26 c #Conflicts: 340000 | #Constraints: 124298
505.93/507.26 c #Conflicts: 341000 | #Constraints: 125298
505.93/507.26 c #Conflicts: 342000 | #Constraints: 126298
505.93/507.26 c #Conflicts: 343000 | #Constraints: 127298
505.93/507.26 c #Conflicts: 344000 | #Constraints: 128298
505.93/507.26 c #Conflicts: 345000 | #Constraints: 129298
633.53/635.19 c INPROCESSING
633.53/635.19 c GARBAGE COLLECT
633.53/635.19 c #Conflicts: 346000 | #Constraints: 118680
633.53/635.19 c #Conflicts: 347000 | #Constraints: 119680
633.53/635.19 c #Conflicts: 348000 | #Constraints: 120680
633.53/635.19 c #Conflicts: 349000 | #Constraints: 121680
633.53/635.19 c #Conflicts: 350000 | #Constraints: 122680
633.53/635.19 c #Conflicts: 351000 | #Constraints: 123680
633.53/635.19 c #Conflicts: 352000 | #Constraints: 124680
633.53/635.19 c #Conflicts: 353000 | #Constraints: 125680
633.53/635.19 c #Conflicts: 354000 | #Constraints: 126680
633.53/635.19 c #Conflicts: 355000 | #Constraints: 127680
633.53/635.19 c #Conflicts: 356000 | #Constraints: 128680
633.53/635.19 c #Conflicts: 357000 | #Constraints: 129680
633.53/635.19 c INPROCESSING
633.53/635.19 c GARBAGE COLLECT
633.53/635.19 c #Conflicts: 358000 | #Constraints: 118876
633.53/635.19 c #Conflicts: 359000 | #Constraints: 119876
633.53/635.19 c #Conflicts: 360000 | #Constraints: 120876
633.53/635.19 c #Conflicts: 361000 | #Constraints: 121876
633.53/635.19 c #Conflicts: 362000 | #Constraints: 122876
633.53/635.19 c #Conflicts: 363000 | #Constraints: 123876
633.53/635.19 c #Conflicts: 364000 | #Constraints: 124876
633.53/635.19 c #Conflicts: 365000 | #Constraints: 125876
633.53/635.19 c #Conflicts: 366000 | #Constraints: 126876
633.53/635.19 c #Conflicts: 367000 | #Constraints: 127876
633.53/635.19 c #Conflicts: 368000 | #Constraints: 128876
633.53/635.19 c #Conflicts: 369000 | #Constraints: 129876
633.53/635.19 c INPROCESSING
633.53/635.19 c GARBAGE COLLECT
633.53/635.19 c #Conflicts: 370000 | #Constraints: 118886
633.53/635.19 c #Conflicts: 371000 | #Constraints: 119886
633.53/635.19 c #Conflicts: 372000 | #Constraints: 120886
633.53/635.19 c #Conflicts: 373000 | #Constraints: 121886
633.53/635.19 c #Conflicts: 374000 | #Constraints: 122886
633.53/635.19 c #Conflicts: 375000 | #Constraints: 123886
633.53/635.19 c #Conflicts: 376000 | #Constraints: 124886
633.53/635.19 c #Conflicts: 377000 | #Constraints: 125886
633.53/635.19 c #Conflicts: 378000 | #Constraints: 126886
633.53/635.19 c #Conflicts: 379000 | #Constraints: 127886
633.53/635.19 c #Conflicts: 380000 | #Constraints: 128886
633.53/635.19 c #Conflicts: 381000 | #Constraints: 129886
633.53/635.19 c INPROCESSING
633.53/635.19 c GARBAGE COLLECT
633.53/635.19 c #Conflicts: 382000 | #Constraints: 118695
633.53/635.19 c #Conflicts: 383000 | #Constraints: 119695
633.53/635.19 c #Conflicts: 384000 | #Constraints: 120695
633.53/635.19 c #Conflicts: 385000 | #Constraints: 121695
633.53/635.19 c #Conflicts: 386000 | #Constraints: 122695
633.53/635.19 c #Conflicts: 387000 | #Constraints: 123695
633.53/635.19 c #Conflicts: 388000 | #Constraints: 124695
633.53/635.19 c #Conflicts: 389000 | #Constraints: 125695
633.53/635.19 c #Conflicts: 390000 | #Constraints: 126695
633.53/635.19 c #Conflicts: 391000 | #Constraints: 127695
633.53/635.19 c #Conflicts: 392000 | #Constraints: 128695
633.53/635.19 c #Conflicts: 393000 | #Constraints: 129695
633.53/635.19 c #Conflicts: 394000 | #Constraints: 130695
633.53/635.19 c INPROCESSING
633.53/635.19 c GARBAGE COLLECT
633.53/635.19 c #Conflicts: 395000 | #Constraints: 119293
633.53/635.19 c #Conflicts: 396000 | #Constraints: 120293
633.53/635.19 c #Conflicts: 397000 | #Constraints: 121293
633.53/635.19 c #Conflicts: 398000 | #Constraints: 122293
633.53/635.19 c #Conflicts: 399000 | #Constraints: 123293
633.53/635.19 c #Conflicts: 400000 | #Constraints: 124293
633.53/635.19 c #Conflicts: 401000 | #Constraints: 125293
633.53/635.19 c #Conflicts: 402000 | #Constraints: 126293
633.53/635.19 c #Conflicts: 403000 | #Constraints: 127293
633.53/635.19 c #Conflicts: 404000 | #Constraints: 128293
633.53/635.19 c #Conflicts: 405000 | #Constraints: 129293
633.53/635.19 c #Conflicts: 406000 | #Constraints: 130293
633.53/635.19 c #Conflicts: 407000 | #Constraints: 131293
633.53/635.19 c INPROCESSING
633.53/635.19 c GARBAGE COLLECT
633.53/635.19 c #Conflicts: 408000 | #Constraints: 119686
633.53/635.19 c #Conflicts: 409000 | #Constraints: 120686
633.53/635.19 c #Conflicts: 410000 | #Constraints: 121686
633.53/635.19 c #Conflicts: 411000 | #Constraints: 122686
633.53/635.19 c #Conflicts: 412000 | #Constraints: 123686
633.53/635.19 c #Conflicts: 413000 | #Constraints: 124686
633.53/635.19 c #Conflicts: 414000 | #Constraints: 125686
633.53/635.19 c #Conflicts: 415000 | #Constraints: 126686
633.53/635.19 c #Conflicts: 416000 | #Constraints: 127686
633.53/635.19 c #Conflicts: 417000 | #Constraints: 128686
633.53/635.19 c #Conflicts: 418000 | #Constraints: 129686
633.53/635.19 c #Conflicts: 419000 | #Constraints: 130686
633.53/635.19 c #Conflicts: 420000 | #Constraints: 131686
786.91/788.95 c INPROCESSING
786.91/788.95 c GARBAGE COLLECT
786.91/788.95 c #Conflicts: 421000 | #Constraints: 119897
786.91/788.95 c #Conflicts: 422000 | #Constraints: 120897
786.91/788.95 c #Conflicts: 423000 | #Constraints: 121897
786.91/788.95 c #Conflicts: 424000 | #Constraints: 122897
786.91/788.95 c #Conflicts: 425000 | #Constraints: 123897
786.91/788.95 c #Conflicts: 426000 | #Constraints: 124897
786.91/788.95 c #Conflicts: 427000 | #Constraints: 125897
786.91/788.95 c #Conflicts: 428000 | #Constraints: 126897
786.91/788.95 c #Conflicts: 429000 | #Constraints: 127897
786.91/788.95 c #Conflicts: 430000 | #Constraints: 128897
786.91/788.95 c #Conflicts: 431000 | #Constraints: 129897
786.91/788.95 c #Conflicts: 432000 | #Constraints: 130897
786.91/788.95 c #Conflicts: 433000 | #Constraints: 131897
786.91/788.95 c INPROCESSING
786.91/788.95 c GARBAGE COLLECT
786.91/788.95 c #Conflicts: 434000 | #Constraints: 119893
786.91/788.95 c #Conflicts: 435000 | #Constraints: 120893
786.91/788.95 c #Conflicts: 436000 | #Constraints: 121893
786.91/788.95 c #Conflicts: 437000 | #Constraints: 122893
786.91/788.95 c #Conflicts: 438000 | #Constraints: 123893
786.91/788.95 c #Conflicts: 439000 | #Constraints: 124893
786.91/788.96 c #Conflicts: 440000 | #Constraints: 125893
786.91/788.96 c #Conflicts: 441000 | #Constraints: 126893
786.91/788.96 c #Conflicts: 442000 | #Constraints: 127893
786.91/788.96 c #Conflicts: 443000 | #Constraints: 128893
786.91/788.96 c #Conflicts: 444000 | #Constraints: 129893
786.91/788.96 c #Conflicts: 445000 | #Constraints: 130893
786.91/788.96 c #Conflicts: 446000 | #Constraints: 131893
786.91/788.96 c INPROCESSING
786.91/788.96 c GARBAGE COLLECT
786.91/788.96 c #Conflicts: 447000 | #Constraints: 119688
786.91/788.96 c #Conflicts: 448000 | #Constraints: 120688
786.91/788.96 c #Conflicts: 449000 | #Constraints: 121688
786.91/788.96 c #Conflicts: 450000 | #Constraints: 122688
786.91/788.96 c #Conflicts: 451000 | #Constraints: 123688
786.91/788.96 c #Conflicts: 452000 | #Constraints: 124688
786.91/788.96 c #Conflicts: 453000 | #Constraints: 125688
786.91/788.96 c #Conflicts: 454000 | #Constraints: 126688
786.91/788.96 c #Conflicts: 455000 | #Constraints: 127688
786.91/788.96 c #Conflicts: 456000 | #Constraints: 128688
786.91/788.96 c #Conflicts: 457000 | #Constraints: 129688
786.91/788.96 c #Conflicts: 458000 | #Constraints: 130688
786.91/788.96 c #Conflicts: 459000 | #Constraints: 131688
786.91/788.96 c #Conflicts: 460000 | #Constraints: 132688
786.91/788.96 c INPROCESSING
786.91/788.96 c GARBAGE COLLECT
786.91/788.96 c #Conflicts: 461000 | #Constraints: 120305
786.91/788.96 c #Conflicts: 462000 | #Constraints: 121305
786.91/788.96 c #Conflicts: 463000 | #Constraints: 122305
786.91/788.96 c #Conflicts: 464000 | #Constraints: 123305
786.91/788.96 c #Conflicts: 465000 | #Constraints: 124305
786.91/788.96 c #Conflicts: 466000 | #Constraints: 125305
786.91/788.96 c #Conflicts: 467000 | #Constraints: 126305
786.91/788.96 c #Conflicts: 468000 | #Constraints: 127305
786.91/788.96 c #Conflicts: 469000 | #Constraints: 128305
786.91/788.96 c #Conflicts: 470000 | #Constraints: 129305
786.91/788.96 c #Conflicts: 471000 | #Constraints: 130305
786.91/788.96 c #Conflicts: 472000 | #Constraints: 131305
786.91/788.96 c #Conflicts: 473000 | #Constraints: 132305
786.91/788.96 c #Conflicts: 474000 | #Constraints: 133305
786.91/788.96 c INPROCESSING
786.91/788.96 c GARBAGE COLLECT
786.91/788.96 c #Conflicts: 475000 | #Constraints: 120696
786.91/788.96 c #Conflicts: 476000 | #Constraints: 121696
786.91/788.96 c #Conflicts: 477000 | #Constraints: 122696
786.91/788.96 c #Conflicts: 478000 | #Constraints: 123696
786.91/788.96 c #Conflicts: 479000 | #Constraints: 124696
786.91/788.96 c #Conflicts: 480000 | #Constraints: 125696
786.91/788.96 c #Conflicts: 481000 | #Constraints: 126696
786.91/788.96 c #Conflicts: 482000 | #Constraints: 127696
786.91/788.96 c #Conflicts: 483000 | #Constraints: 128696
786.91/788.96 c #Conflicts: 484000 | #Constraints: 129696
786.91/788.96 c #Conflicts: 485000 | #Constraints: 130696
786.91/788.96 c #Conflicts: 486000 | #Constraints: 131696
786.91/788.96 c #Conflicts: 487000 | #Constraints: 132696
786.91/788.96 c #Conflicts: 488000 | #Constraints: 133696
786.91/788.96 c INPROCESSING
786.91/788.96 c GARBAGE COLLECT
786.91/788.96 c #Conflicts: 489000 | #Constraints: 120895
786.91/788.96 c #Conflicts: 490000 | #Constraints: 121895
786.91/788.96 c #Conflicts: 491000 | #Constraints: 122895
786.91/788.96 c #Conflicts: 492000 | #Constraints: 123895
786.91/788.96 c #Conflicts: 493000 | #Constraints: 124895
786.91/788.96 c #Conflicts: 494000 | #Constraints: 125895
786.91/788.96 c #Conflicts: 495000 | #Constraints: 126895
936.95/939.36 c #Conflicts: 496000 | #Constraints: 127895
936.95/939.36 c #Conflicts: 497000 | #Constraints: 128895
936.95/939.36 c #Conflicts: 498000 | #Constraints: 129895
936.95/939.36 c #Conflicts: 499000 | #Constraints: 130895
936.95/939.36 c #Conflicts: 500000 | #Constraints: 131895
936.95/939.36 c #Conflicts: 501000 | #Constraints: 132895
936.95/939.36 c #Conflicts: 502000 | #Constraints: 133895
936.95/939.36 c INPROCESSING
936.95/939.36 c GARBAGE COLLECT
936.95/939.36 c #Conflicts: 503000 | #Constraints: 120899
936.95/939.36 c #Conflicts: 504000 | #Constraints: 121899
936.95/939.36 c #Conflicts: 505000 | #Constraints: 122899
936.95/939.36 c #Conflicts: 506000 | #Constraints: 123899
936.95/939.36 c #Conflicts: 507000 | #Constraints: 124899
936.95/939.36 c #Conflicts: 508000 | #Constraints: 125899
936.95/939.36 c #Conflicts: 509000 | #Constraints: 126899
936.95/939.36 c #Conflicts: 510000 | #Constraints: 127899
936.95/939.36 c #Conflicts: 511000 | #Constraints: 128899
936.95/939.36 c #Conflicts: 512000 | #Constraints: 129899
936.95/939.36 c #Conflicts: 513000 | #Constraints: 130899
936.95/939.36 c #Conflicts: 514000 | #Constraints: 131899
936.95/939.37 c #Conflicts: 515000 | #Constraints: 132899
936.95/939.37 c #Conflicts: 516000 | #Constraints: 133899
936.95/939.37 c INPROCESSING
936.95/939.37 c GARBAGE COLLECT
936.95/939.37 c #Conflicts: 517000 | #Constraints: 120703
936.95/939.37 c #Conflicts: 518000 | #Constraints: 121703
936.95/939.37 c #Conflicts: 519000 | #Constraints: 122703
936.95/939.37 c #Conflicts: 520000 | #Constraints: 123703
936.95/939.37 c #Conflicts: 521000 | #Constraints: 124703
936.95/939.37 c #Conflicts: 522000 | #Constraints: 125703
936.95/939.37 c #Conflicts: 523000 | #Constraints: 126703
936.95/939.37 c #Conflicts: 524000 | #Constraints: 127703
936.95/939.37 c #Conflicts: 525000 | #Constraints: 128703
936.95/939.37 c #Conflicts: 526000 | #Constraints: 129703
936.95/939.37 c #Conflicts: 527000 | #Constraints: 130703
936.95/939.37 c #Conflicts: 528000 | #Constraints: 131703
936.95/939.37 c #Conflicts: 529000 | #Constraints: 132703
936.95/939.37 c #Conflicts: 530000 | #Constraints: 133703
936.95/939.37 c #Conflicts: 531000 | #Constraints: 134703
936.95/939.37 c INPROCESSING
936.95/939.37 c GARBAGE COLLECT
936.95/939.37 c #Conflicts: 532000 | #Constraints: 121290
936.95/939.37 c #Conflicts: 533000 | #Constraints: 122290
936.95/939.37 c #Conflicts: 534000 | #Constraints: 123290
936.95/939.37 c #Conflicts: 535000 | #Constraints: 124290
936.95/939.37 c #Conflicts: 536000 | #Constraints: 125290
936.95/939.37 c #Conflicts: 537000 | #Constraints: 126290
936.95/939.37 c #Conflicts: 538000 | #Constraints: 127290
936.95/939.37 c #Conflicts: 539000 | #Constraints: 128290
936.95/939.37 c #Conflicts: 540000 | #Constraints: 129290
936.95/939.37 c #Conflicts: 541000 | #Constraints: 130290
936.95/939.37 c #Conflicts: 542000 | #Constraints: 131290
936.95/939.37 c #Conflicts: 543000 | #Constraints: 132290
936.95/939.37 c #Conflicts: 544000 | #Constraints: 133290
936.95/939.37 c #Conflicts: 545000 | #Constraints: 134290
936.95/939.37 c #Conflicts: 546000 | #Constraints: 135290
936.95/939.37 c INPROCESSING
936.95/939.37 c GARBAGE COLLECT
936.95/939.37 c #Conflicts: 547000 | #Constraints: 121686
936.95/939.37 c #Conflicts: 548000 | #Constraints: 122686
936.95/939.37 c #Conflicts: 549000 | #Constraints: 123686
936.95/939.37 c #Conflicts: 550000 | #Constraints: 124686
936.95/939.37 c #Conflicts: 551000 | #Constraints: 125686
936.95/939.37 c #Conflicts: 552000 | #Constraints: 126686
936.95/939.37 c #Conflicts: 553000 | #Constraints: 127686
936.95/939.37 c #Conflicts: 554000 | #Constraints: 128686
936.95/939.37 c #Conflicts: 555000 | #Constraints: 129686
936.95/939.37 c #Conflicts: 556000 | #Constraints: 130686
936.95/939.37 c #Conflicts: 557000 | #Constraints: 131686
936.95/939.37 c #Conflicts: 558000 | #Constraints: 132686
936.95/939.37 c #Conflicts: 559000 | #Constraints: 133686
936.95/939.37 c #Conflicts: 560000 | #Constraints: 134686
936.95/939.37 c #Conflicts: 561000 | #Constraints: 135686
936.95/939.37 c INPROCESSING
936.95/939.37 c GARBAGE COLLECT
936.95/939.37 c #Conflicts: 562000 | #Constraints: 121877
936.95/939.37 c #Conflicts: 563000 | #Constraints: 122877
936.95/939.37 c #Conflicts: 564000 | #Constraints: 123877
936.95/939.37 c #Conflicts: 565000 | #Constraints: 124877
936.95/939.37 c #Conflicts: 566000 | #Constraints: 125877
936.95/939.37 c #Conflicts: 567000 | #Constraints: 126877
936.95/939.37 c #Conflicts: 568000 | #Constraints: 127877
936.95/939.37 c #Conflicts: 569000 | #Constraints: 128877
936.95/939.37 c #Conflicts: 570000 | #Constraints: 129877
936.95/939.37 c #Conflicts: 571000 | #Constraints: 130877
1087.02/1089.70 c #Conflicts: 572000 | #Constraints: 131877
1087.02/1089.70 c #Conflicts: 573000 | #Constraints: 132877
1087.02/1089.70 c #Conflicts: 574000 | #Constraints: 133877
1087.02/1089.70 c #Conflicts: 575000 | #Constraints: 134877
1087.02/1089.70 c #Conflicts: 576000 | #Constraints: 135877
1087.02/1089.70 c INPROCESSING
1087.02/1089.70 c GARBAGE COLLECT
1087.02/1089.70 c #Conflicts: 577000 | #Constraints: 121890
1087.02/1089.70 c #Conflicts: 578000 | #Constraints: 122890
1087.02/1089.70 c #Conflicts: 579000 | #Constraints: 123890
1087.02/1089.70 c #Conflicts: 580000 | #Constraints: 124890
1087.02/1089.70 c #Conflicts: 581000 | #Constraints: 125890
1087.02/1089.70 c #Conflicts: 582000 | #Constraints: 126890
1087.02/1089.70 c #Conflicts: 583000 | #Constraints: 127890
1087.02/1089.70 c #Conflicts: 584000 | #Constraints: 128890
1087.02/1089.70 c #Conflicts: 585000 | #Constraints: 129890
1087.02/1089.70 c #Conflicts: 586000 | #Constraints: 130890
1087.02/1089.70 c #Conflicts: 587000 | #Constraints: 131890
1087.02/1089.70 c #Conflicts: 588000 | #Constraints: 132890
1087.02/1089.70 c #Conflicts: 589000 | #Constraints: 133890
1087.02/1089.70 c #Conflicts: 590000 | #Constraints: 134890
1087.02/1089.70 c #Conflicts: 591000 | #Constraints: 135890
1087.02/1089.70 c INPROCESSING
1087.02/1089.70 c GARBAGE COLLECT
1087.02/1089.70 c #Conflicts: 592000 | #Constraints: 121694
1087.02/1089.70 c #Conflicts: 593000 | #Constraints: 122694
1087.02/1089.70 c #Conflicts: 594000 | #Constraints: 123694
1087.02/1089.70 c #Conflicts: 595000 | #Constraints: 124694
1087.02/1089.70 c #Conflicts: 596000 | #Constraints: 125694
1087.02/1089.70 c #Conflicts: 597000 | #Constraints: 126694
1087.02/1089.70 c #Conflicts: 598000 | #Constraints: 127694
1087.02/1089.70 c #Conflicts: 599000 | #Constraints: 128694
1087.02/1089.70 c #Conflicts: 600000 | #Constraints: 129694
1087.02/1089.70 c #Conflicts: 601000 | #Constraints: 130694
1087.02/1089.70 c #Conflicts: 602000 | #Constraints: 131694
1087.02/1089.70 c #Conflicts: 603000 | #Constraints: 132694
1087.02/1089.70 c #Conflicts: 604000 | #Constraints: 133694
1087.02/1089.70 c #Conflicts: 605000 | #Constraints: 134694
1087.02/1089.70 c #Conflicts: 606000 | #Constraints: 135694
1087.02/1089.70 c #Conflicts: 607000 | #Constraints: 136694
1087.02/1089.70 c INPROCESSING
1087.02/1089.70 c GARBAGE COLLECT
1087.02/1089.70 c #Conflicts: 608000 | #Constraints: 122292
1087.02/1089.70 c #Conflicts: 609000 | #Constraints: 123292
1087.02/1089.70 c #Conflicts: 610000 | #Constraints: 124292
1087.02/1089.70 c #Conflicts: 611000 | #Constraints: 125292
1087.02/1089.70 c #Conflicts: 612000 | #Constraints: 126292
1087.02/1089.70 c #Conflicts: 613000 | #Constraints: 127292
1087.02/1089.70 c #Conflicts: 614000 | #Constraints: 128292
1087.02/1089.70 c #Conflicts: 615000 | #Constraints: 129292
1087.02/1089.70 c #Conflicts: 616000 | #Constraints: 130292
1087.02/1089.70 c #Conflicts: 617000 | #Constraints: 131292
1087.02/1089.70 c #Conflicts: 618000 | #Constraints: 132292
1087.02/1089.70 c #Conflicts: 619000 | #Constraints: 133292
1087.02/1089.70 c #Conflicts: 620000 | #Constraints: 134292
1087.02/1089.70 c #Conflicts: 621000 | #Constraints: 135292
1087.02/1089.70 c #Conflicts: 622000 | #Constraints: 136292
1087.02/1089.70 c #Conflicts: 623000 | #Constraints: 137292
1087.02/1089.70 c INPROCESSING
1087.02/1089.70 c GARBAGE COLLECT
1087.02/1089.70 c #Conflicts: 624000 | #Constraints: 122694
1087.02/1089.70 c #Conflicts: 625000 | #Constraints: 123694
1087.02/1089.70 c #Conflicts: 626000 | #Constraints: 124694
1087.02/1089.70 c #Conflicts: 627000 | #Constraints: 125694
1087.02/1089.70 c #Conflicts: 628000 | #Constraints: 126694
1087.02/1089.70 c #Conflicts: 629000 | #Constraints: 127694
1087.02/1089.70 c #Conflicts: 630000 | #Constraints: 128694
1087.02/1089.70 c #Conflicts: 631000 | #Constraints: 129694
1087.02/1089.70 c #Conflicts: 632000 | #Constraints: 130694
1087.02/1089.70 c #Conflicts: 633000 | #Constraints: 131694
1087.02/1089.70 c #Conflicts: 634000 | #Constraints: 132694
1087.02/1089.70 c #Conflicts: 635000 | #Constraints: 133694
1087.02/1089.70 c #Conflicts: 636000 | #Constraints: 134694
1087.02/1089.70 c #Conflicts: 637000 | #Constraints: 135694
1087.02/1089.70 c #Conflicts: 638000 | #Constraints: 136694
1087.02/1089.70 c #Conflicts: 639000 | #Constraints: 137694
1087.02/1089.70 c INPROCESSING
1087.02/1089.70 c GARBAGE COLLECT
1087.02/1089.70 c #Conflicts: 640000 | #Constraints: 122890
1087.02/1089.70 c #Conflicts: 641000 | #Constraints: 123890
1087.02/1089.70 c #Conflicts: 642000 | #Constraints: 124890
1087.02/1089.70 c #Conflicts: 643000 | #Constraints: 125890
1087.02/1089.70 c #Conflicts: 644000 | #Constraints: 126890
1087.02/1089.70 c #Conflicts: 645000 | #Constraints: 127890
1087.02/1089.70 c #Conflicts: 646000 | #Constraints: 128890
1087.02/1089.70 c #Conflicts: 647000 | #Constraints: 129890
1218.42/1221.41 c #Conflicts: 648000 | #Constraints: 130890
1218.42/1221.41 c #Conflicts: 649000 | #Constraints: 131890
1218.42/1221.41 c #Conflicts: 650000 | #Constraints: 132890
1218.42/1221.41 c #Conflicts: 651000 | #Constraints: 133890
1218.42/1221.41 c #Conflicts: 652000 | #Constraints: 134890
1218.42/1221.41 c #Conflicts: 653000 | #Constraints: 135890
1218.42/1221.41 c #Conflicts: 654000 | #Constraints: 136890
1218.42/1221.41 c #Conflicts: 655000 | #Constraints: 137890
1218.42/1221.41 c INPROCESSING
1218.42/1221.41 c GARBAGE COLLECT
1218.42/1221.41 c #Conflicts: 656000 | #Constraints: 122889
1218.42/1221.41 c #Conflicts: 657000 | #Constraints: 123889
1218.42/1221.41 c #Conflicts: 658000 | #Constraints: 124889
1218.42/1221.41 c #Conflicts: 659000 | #Constraints: 125889
1218.42/1221.41 c #Conflicts: 660000 | #Constraints: 126889
1218.42/1221.41 c #Conflicts: 661000 | #Constraints: 127889
1218.42/1221.41 c #Conflicts: 662000 | #Constraints: 128889
1218.42/1221.41 c #Conflicts: 663000 | #Constraints: 129889
1218.42/1221.41 c #Conflicts: 664000 | #Constraints: 130889
1218.42/1221.41 c #Conflicts: 665000 | #Constraints: 131889
1218.42/1221.41 c #Conflicts: 666000 | #Constraints: 132889
1218.42/1221.41 c #Conflicts: 667000 | #Constraints: 133889
1218.42/1221.41 c #Conflicts: 668000 | #Constraints: 134889
1218.42/1221.41 c #Conflicts: 669000 | #Constraints: 135889
1218.42/1221.41 c #Conflicts: 670000 | #Constraints: 136889
1218.42/1221.41 c #Conflicts: 671000 | #Constraints: 137889
1218.42/1221.41 c INPROCESSING
1218.42/1221.41 c GARBAGE COLLECT
1218.42/1221.41 c #Conflicts: 672000 | #Constraints: 122693
1218.42/1221.41 c #Conflicts: 673000 | #Constraints: 123693
1218.42/1221.41 c #Conflicts: 674000 | #Constraints: 124693
1218.42/1221.41 c #Conflicts: 675000 | #Constraints: 125693
1218.42/1221.41 c #Conflicts: 676000 | #Constraints: 126693
1218.42/1221.41 c #Conflicts: 677000 | #Constraints: 127693
1218.42/1221.41 c #Conflicts: 678000 | #Constraints: 128693
1218.42/1221.41 c #Conflicts: 679000 | #Constraints: 129693
1218.42/1221.41 c #Conflicts: 680000 | #Constraints: 130693
1218.42/1221.41 c #Conflicts: 681000 | #Constraints: 131693
1218.42/1221.41 c #Conflicts: 682000 | #Constraints: 132693
1218.42/1221.41 c #Conflicts: 683000 | #Constraints: 133693
1218.42/1221.41 c #Conflicts: 684000 | #Constraints: 134693
1218.42/1221.41 c #Conflicts: 685000 | #Constraints: 135693
1218.42/1221.41 c #Conflicts: 686000 | #Constraints: 136693
1218.42/1221.41 c #Conflicts: 687000 | #Constraints: 137693
1218.42/1221.41 c #Conflicts: 688000 | #Constraints: 138693
1218.42/1221.41 c INPROCESSING
1218.42/1221.41 c GARBAGE COLLECT
1218.42/1221.41 c #Conflicts: 689000 | #Constraints: 123298
1218.42/1221.41 c #Conflicts: 690000 | #Constraints: 124298
1218.42/1221.41 c #Conflicts: 691000 | #Constraints: 125298
1218.42/1221.41 c #Conflicts: 692000 | #Constraints: 126298
1218.42/1221.41 c #Conflicts: 693000 | #Constraints: 127298
1218.42/1221.41 c #Conflicts: 694000 | #Constraints: 128298
1218.42/1221.41 c #Conflicts: 695000 | #Constraints: 129298
1218.42/1221.41 c #Conflicts: 696000 | #Constraints: 130298
1218.42/1221.41 c #Conflicts: 697000 | #Constraints: 131298
1218.42/1221.41 c #Conflicts: 698000 | #Constraints: 132298
1218.42/1221.41 c #Conflicts: 699000 | #Constraints: 133298
1218.42/1221.41 c #Conflicts: 700000 | #Constraints: 134298
1218.42/1221.41 c #Conflicts: 701000 | #Constraints: 135298
1218.42/1221.41 c #Conflicts: 702000 | #Constraints: 136298
1218.42/1221.41 c #Conflicts: 703000 | #Constraints: 137298
1218.42/1221.41 c #Conflicts: 704000 | #Constraints: 138298
1218.42/1221.41 c #Conflicts: 705000 | #Constraints: 139298
1218.42/1221.41 c INPROCESSING
1218.42/1221.41 c GARBAGE COLLECT
1218.42/1221.41 c #Conflicts: 706000 | #Constraints: 123698
1218.42/1221.41 c #Conflicts: 707000 | #Constraints: 124698
1218.42/1221.41 c #Conflicts: 708000 | #Constraints: 125698
1218.42/1221.41 c #Conflicts: 709000 | #Constraints: 126698
1218.42/1221.41 c #Conflicts: 710000 | #Constraints: 127698
1218.42/1221.41 c #Conflicts: 711000 | #Constraints: 128698
1218.42/1221.41 c #Conflicts: 712000 | #Constraints: 129698
1218.42/1221.41 c #Conflicts: 713000 | #Constraints: 130698
1218.42/1221.41 c #Conflicts: 714000 | #Constraints: 131698
1218.42/1221.41 c #Conflicts: 715000 | #Constraints: 132698
1218.42/1221.41 c #Conflicts: 716000 | #Constraints: 133698
1218.42/1221.41 c #Conflicts: 717000 | #Constraints: 134698
1218.42/1221.41 c #Conflicts: 718000 | #Constraints: 135698
1218.42/1221.41 c #Conflicts: 719000 | #Constraints: 136698
1218.42/1221.41 c #Conflicts: 720000 | #Constraints: 137698
1218.42/1221.41 c #Conflicts: 721000 | #Constraints: 138698
1218.42/1221.41 c #Conflicts: 722000 | #Constraints: 139698
1218.42/1221.41 c INPROCESSING
1218.42/1221.41 c GARBAGE COLLECT
1382.65/1386.04 c #Conflicts: 723000 | #Constraints: 123904
1382.65/1386.04 c #Conflicts: 724000 | #Constraints: 124904
1382.65/1386.04 c #Conflicts: 725000 | #Constraints: 125904
1382.65/1386.04 c #Conflicts: 726000 | #Constraints: 126904
1382.65/1386.04 c #Conflicts: 727000 | #Constraints: 127904
1382.65/1386.04 c #Conflicts: 728000 | #Constraints: 128904
1382.65/1386.04 c #Conflicts: 729000 | #Constraints: 129904
1382.65/1386.04 c #Conflicts: 730000 | #Constraints: 130904
1382.65/1386.04 c #Conflicts: 731000 | #Constraints: 131904
1382.65/1386.04 c #Conflicts: 732000 | #Constraints: 132904
1382.65/1386.04 c #Conflicts: 733000 | #Constraints: 133904
1382.65/1386.04 c #Conflicts: 734000 | #Constraints: 134904
1382.65/1386.04 c #Conflicts: 735000 | #Constraints: 135904
1382.65/1386.04 c #Conflicts: 736000 | #Constraints: 136904
1382.65/1386.04 c #Conflicts: 737000 | #Constraints: 137904
1382.65/1386.04 c #Conflicts: 738000 | #Constraints: 138904
1382.65/1386.04 c #Conflicts: 739000 | #Constraints: 139904
1382.65/1386.04 c INPROCESSING
1382.65/1386.04 c GARBAGE COLLECT
1382.65/1386.04 c #Conflicts: 740000 | #Constraints: 123910
1382.65/1386.04 c #Conflicts: 741000 | #Constraints: 124910
1382.65/1386.04 c #Conflicts: 742000 | #Constraints: 125910
1382.65/1386.04 c #Conflicts: 743000 | #Constraints: 126910
1382.65/1386.04 c #Conflicts: 744000 | #Constraints: 127910
1382.65/1386.04 c #Conflicts: 745000 | #Constraints: 128910
1382.65/1386.04 c #Conflicts: 746000 | #Constraints: 129910
1382.65/1386.04 c #Conflicts: 747000 | #Constraints: 130910
1382.65/1386.04 c #Conflicts: 748000 | #Constraints: 131910
1382.65/1386.04 c #Conflicts: 749000 | #Constraints: 132910
1382.65/1386.04 c #Conflicts: 750000 | #Constraints: 133910
1382.65/1386.04 c #Conflicts: 751000 | #Constraints: 134910
1382.65/1386.04 c #Conflicts: 752000 | #Constraints: 135910
1382.65/1386.04 c #Conflicts: 753000 | #Constraints: 136910
1382.65/1386.04 c #Conflicts: 754000 | #Constraints: 137910
1382.65/1386.04 c #Conflicts: 755000 | #Constraints: 138910
1382.65/1386.04 c #Conflicts: 756000 | #Constraints: 139910
1382.65/1386.04 c INPROCESSING
1382.65/1386.04 c GARBAGE COLLECT
1382.65/1386.04 c #Conflicts: 757000 | #Constraints: 123705
1382.65/1386.04 c #Conflicts: 758000 | #Constraints: 124705
1382.65/1386.04 c #Conflicts: 759000 | #Constraints: 125705
1382.65/1386.04 c #Conflicts: 760000 | #Constraints: 126705
1382.65/1386.04 c #Conflicts: 761000 | #Constraints: 127705
1382.65/1386.04 c #Conflicts: 762000 | #Constraints: 128705
1382.65/1386.04 c #Conflicts: 763000 | #Constraints: 129705
1382.65/1386.04 c #Conflicts: 764000 | #Constraints: 130705
1382.65/1386.04 c #Conflicts: 765000 | #Constraints: 131705
1382.65/1386.04 c #Conflicts: 766000 | #Constraints: 132705
1382.65/1386.04 c #Conflicts: 767000 | #Constraints: 133705
1382.65/1386.04 c #Conflicts: 768000 | #Constraints: 134705
1382.65/1386.04 c #Conflicts: 769000 | #Constraints: 135705
1382.65/1386.04 c #Conflicts: 770000 | #Constraints: 136705
1382.65/1386.04 c #Conflicts: 771000 | #Constraints: 137705
1382.65/1386.04 c #Conflicts: 772000 | #Constraints: 138705
1382.65/1386.04 c #Conflicts: 773000 | #Constraints: 139705
1382.65/1386.04 c #Conflicts: 774000 | #Constraints: 140705
1382.65/1386.04 c INPROCESSING
1382.65/1386.04 c GARBAGE COLLECT
1382.65/1386.04 c #Conflicts: 775000 | #Constraints: 124296
1382.65/1386.04 c #Conflicts: 776000 | #Constraints: 125296
1382.65/1386.04 c #Conflicts: 777000 | #Constraints: 126296
1382.65/1386.04 c #Conflicts: 778000 | #Constraints: 127296
1382.65/1386.04 c #Conflicts: 779000 | #Constraints: 128296
1382.65/1386.04 c #Conflicts: 780000 | #Constraints: 129296
1382.65/1386.04 c #Conflicts: 781000 | #Constraints: 130296
1382.65/1386.04 c #Conflicts: 782000 | #Constraints: 131296
1382.65/1386.04 c #Conflicts: 783000 | #Constraints: 132296
1382.65/1386.04 c #Conflicts: 784000 | #Constraints: 133296
1382.65/1386.04 c #Conflicts: 785000 | #Constraints: 134296
1382.65/1386.04 c #Conflicts: 786000 | #Constraints: 135296
1382.65/1386.04 c #Conflicts: 787000 | #Constraints: 136296
1382.65/1386.04 c #Conflicts: 788000 | #Constraints: 137296
1382.65/1386.04 c #Conflicts: 789000 | #Constraints: 138296
1382.65/1386.04 c #Conflicts: 790000 | #Constraints: 139296
1382.65/1386.04 c #Conflicts: 791000 | #Constraints: 140296
1382.65/1386.04 c #Conflicts: 792000 | #Constraints: 141296
1382.65/1386.04 c INPROCESSING
1382.65/1386.04 c GARBAGE COLLECT
1382.65/1386.04 c #Conflicts: 793000 | #Constraints: 124686
1382.65/1386.04 c #Conflicts: 794000 | #Constraints: 125686
1382.65/1386.04 c #Conflicts: 795000 | #Constraints: 126686
1382.65/1386.04 c #Conflicts: 796000 | #Constraints: 127686
1382.65/1386.04 c #Conflicts: 797000 | #Constraints: 128686
1382.65/1386.04 c #Conflicts: 798000 | #Constraints: 129686
1572.40/1576.26 c #Conflicts: 799000 | #Constraints: 130686
1572.40/1576.26 c #Conflicts: 800000 | #Constraints: 131686
1572.40/1576.26 c #Conflicts: 801000 | #Constraints: 132686
1572.40/1576.26 c #Conflicts: 802000 | #Constraints: 133686
1572.40/1576.26 c #Conflicts: 803000 | #Constraints: 134686
1572.40/1576.26 c #Conflicts: 804000 | #Constraints: 135686
1572.40/1576.26 c #Conflicts: 805000 | #Constraints: 136686
1572.40/1576.26 c #Conflicts: 806000 | #Constraints: 137686
1572.40/1576.26 c #Conflicts: 807000 | #Constraints: 138686
1572.40/1576.26 c #Conflicts: 808000 | #Constraints: 139686
1572.40/1576.26 c #Conflicts: 809000 | #Constraints: 140686
1572.40/1576.26 c #Conflicts: 810000 | #Constraints: 141686
1572.40/1576.26 c INPROCESSING
1572.40/1576.26 c GARBAGE COLLECT
1572.40/1576.26 c #Conflicts: 811000 | #Constraints: 124889
1572.40/1576.26 c #Conflicts: 812000 | #Constraints: 125889
1572.40/1576.26 c #Conflicts: 813000 | #Constraints: 126889
1572.40/1576.26 c #Conflicts: 814000 | #Constraints: 127889
1572.40/1576.26 c #Conflicts: 815000 | #Constraints: 128889
1572.40/1576.26 c #Conflicts: 816000 | #Constraints: 129889
1572.40/1576.26 c #Conflicts: 817000 | #Constraints: 130889
1572.40/1576.26 c #Conflicts: 818000 | #Constraints: 131889
1572.40/1576.26 c #Conflicts: 819000 | #Constraints: 132889
1572.40/1576.26 c #Conflicts: 820000 | #Constraints: 133889
1572.40/1576.26 c #Conflicts: 821000 | #Constraints: 134889
1572.40/1576.26 c #Conflicts: 822000 | #Constraints: 135889
1572.40/1576.26 c #Conflicts: 823000 | #Constraints: 136889
1572.40/1576.26 c #Conflicts: 824000 | #Constraints: 137889
1572.40/1576.26 c #Conflicts: 825000 | #Constraints: 138889
1572.40/1576.26 c #Conflicts: 826000 | #Constraints: 139889
1572.40/1576.26 c #Conflicts: 827000 | #Constraints: 140889
1572.40/1576.26 c #Conflicts: 828000 | #Constraints: 141889
1572.40/1576.26 c INPROCESSING
1572.40/1576.26 c GARBAGE COLLECT
1572.40/1576.26 c #Conflicts: 829000 | #Constraints: 124904
1572.40/1576.26 c #Conflicts: 830000 | #Constraints: 125904
1572.40/1576.26 c #Conflicts: 831000 | #Constraints: 126904
1572.40/1576.26 c #Conflicts: 832000 | #Constraints: 127904
1572.40/1576.26 c #Conflicts: 833000 | #Constraints: 128904
1572.40/1576.26 c #Conflicts: 834000 | #Constraints: 129904
1572.40/1576.26 c #Conflicts: 835000 | #Constraints: 130904
1572.40/1576.26 c #Conflicts: 836000 | #Constraints: 131904
1572.40/1576.26 c #Conflicts: 837000 | #Constraints: 132904
1572.40/1576.26 c #Conflicts: 838000 | #Constraints: 133904
1572.40/1576.26 c #Conflicts: 839000 | #Constraints: 134904
1572.40/1576.26 c #Conflicts: 840000 | #Constraints: 135904
1572.40/1576.26 c #Conflicts: 841000 | #Constraints: 136904
1572.40/1576.26 c #Conflicts: 842000 | #Constraints: 137904
1572.40/1576.26 c #Conflicts: 843000 | #Constraints: 138904
1572.40/1576.26 c #Conflicts: 844000 | #Constraints: 139904
1572.40/1576.26 c #Conflicts: 845000 | #Constraints: 140904
1572.40/1576.26 c #Conflicts: 846000 | #Constraints: 141904
1572.40/1576.26 c INPROCESSING
1572.40/1576.26 c GARBAGE COLLECT
1572.40/1576.26 c #Conflicts: 847000 | #Constraints: 124702
1572.40/1576.26 c #Conflicts: 848000 | #Constraints: 125702
1572.40/1576.26 c #Conflicts: 849000 | #Constraints: 126702
1572.40/1576.26 c #Conflicts: 850000 | #Constraints: 127702
1572.40/1576.26 c #Conflicts: 851000 | #Constraints: 128702
1572.40/1576.26 c #Conflicts: 852000 | #Constraints: 129702
1572.40/1576.26 c #Conflicts: 853000 | #Constraints: 130702
1572.40/1576.26 c #Conflicts: 854000 | #Constraints: 131702
1572.40/1576.26 c #Conflicts: 855000 | #Constraints: 132702
1572.40/1576.26 c #Conflicts: 856000 | #Constraints: 133702
1572.40/1576.26 c #Conflicts: 857000 | #Constraints: 134702
1572.40/1576.26 c #Conflicts: 858000 | #Constraints: 135702
1572.40/1576.26 c #Conflicts: 859000 | #Constraints: 136702
1572.40/1576.26 c #Conflicts: 860000 | #Constraints: 137702
1572.40/1576.26 c #Conflicts: 861000 | #Constraints: 138702
1572.40/1576.26 c #Conflicts: 862000 | #Constraints: 139702
1572.40/1576.26 c #Conflicts: 863000 | #Constraints: 140702
1572.40/1576.26 c #Conflicts: 864000 | #Constraints: 141702
1572.40/1576.26 c #Conflicts: 865000 | #Constraints: 142702
1572.40/1576.26 c INPROCESSING
1572.40/1576.26 c GARBAGE COLLECT
1572.40/1576.26 c #Conflicts: 866000 | #Constraints: 125295
1572.40/1576.26 c #Conflicts: 867000 | #Constraints: 126295
1572.40/1576.26 c #Conflicts: 868000 | #Constraints: 127295
1572.40/1576.26 c #Conflicts: 869000 | #Constraints: 128295
1572.40/1576.26 c #Conflicts: 870000 | #Constraints: 129295
1572.40/1576.26 c #Conflicts: 871000 | #Constraints: 130295
1572.40/1576.26 c #Conflicts: 872000 | #Constraints: 131295
1572.40/1576.26 c #Conflicts: 873000 | #Constraints: 132295
1572.40/1576.26 c #Conflicts: 874000 | #Constraints: 133295
1572.40/1576.26 c #Conflicts: 875000 | #Constraints: 134295
1709.80/1713.90 c #Conflicts: 876000 | #Constraints: 135295
1709.80/1713.90 c #Conflicts: 877000 | #Constraints: 136295
1709.80/1713.90 c #Conflicts: 878000 | #Constraints: 137295
1709.80/1713.90 c #Conflicts: 879000 | #Constraints: 138295
1709.80/1713.90 c #Conflicts: 880000 | #Constraints: 139295
1709.80/1713.90 c #Conflicts: 881000 | #Constraints: 140295
1709.80/1713.90 c #Conflicts: 882000 | #Constraints: 141295
1709.80/1713.90 c #Conflicts: 883000 | #Constraints: 142295
1709.80/1713.90 c #Conflicts: 884000 | #Constraints: 143295
1709.80/1713.90 c INPROCESSING
1709.80/1713.90 c GARBAGE COLLECT
1709.80/1713.90 c #Conflicts: 885000 | #Constraints: 125684
1709.80/1713.90 c #Conflicts: 886000 | #Constraints: 126684
1709.80/1713.90 c #Conflicts: 887000 | #Constraints: 127684
1709.80/1713.90 c #Conflicts: 888000 | #Constraints: 128684
1709.80/1713.90 c #Conflicts: 889000 | #Constraints: 129684
1709.80/1713.90 c #Conflicts: 890000 | #Constraints: 130684
1709.80/1713.90 c #Conflicts: 891000 | #Constraints: 131684
1709.80/1713.90 c #Conflicts: 892000 | #Constraints: 132684
1709.80/1713.90 c #Conflicts: 893000 | #Constraints: 133684
1709.80/1713.90 c #Conflicts: 894000 | #Constraints: 134684
1709.80/1713.90 c #Conflicts: 895000 | #Constraints: 135684
1709.80/1713.90 c #Conflicts: 896000 | #Constraints: 136684
1709.80/1713.90 c #Conflicts: 897000 | #Constraints: 137684
1709.80/1713.90 c #Conflicts: 898000 | #Constraints: 138684
1709.80/1713.90 c #Conflicts: 899000 | #Constraints: 139684
1709.80/1713.90 c #Conflicts: 900000 | #Constraints: 140684
1709.80/1713.90 c #Conflicts: 901000 | #Constraints: 141684
1709.80/1713.90 c #Conflicts: 902000 | #Constraints: 142684
1709.80/1713.90 c #Conflicts: 903000 | #Constraints: 143684
1709.80/1713.90 c INPROCESSING
1709.80/1713.90 c GARBAGE COLLECT
1709.80/1713.90 c #Conflicts: 904000 | #Constraints: 125889
1709.80/1713.90 c #Conflicts: 905000 | #Constraints: 126889
1709.80/1713.90 c #Conflicts: 906000 | #Constraints: 127889
1709.80/1713.90 c #Conflicts: 907000 | #Constraints: 128889
1709.80/1713.90 c #Conflicts: 908000 | #Constraints: 129889
1709.80/1713.90 c #Conflicts: 909000 | #Constraints: 130889
1709.80/1713.90 c #Conflicts: 910000 | #Constraints: 131889
1709.80/1713.90 c #Conflicts: 911000 | #Constraints: 132889
1709.80/1713.90 c #Conflicts: 912000 | #Constraints: 133889
1709.80/1713.90 c #Conflicts: 913000 | #Constraints: 134889
1709.80/1713.90 c #Conflicts: 914000 | #Constraints: 135889
1709.80/1713.90 c #Conflicts: 915000 | #Constraints: 136889
1709.80/1713.90 c #Conflicts: 916000 | #Constraints: 137889
1709.80/1713.90 c #Conflicts: 917000 | #Constraints: 138889
1709.80/1713.90 c #Conflicts: 918000 | #Constraints: 139889
1709.80/1713.90 c #Conflicts: 919000 | #Constraints: 140889
1709.80/1713.90 c #Conflicts: 920000 | #Constraints: 141889
1709.80/1713.90 c #Conflicts: 921000 | #Constraints: 142889
1709.80/1713.90 c #Conflicts: 922000 | #Constraints: 143889
1709.80/1713.90 c INPROCESSING
1709.80/1713.90 c GARBAGE COLLECT
1709.80/1713.90 c #Conflicts: 923000 | #Constraints: 125895
1709.80/1713.90 c #Conflicts: 924000 | #Constraints: 126895
1709.80/1713.90 c #Conflicts: 925000 | #Constraints: 127895
1709.80/1713.90 c #Conflicts: 926000 | #Constraints: 128895
1709.80/1713.90 c #Conflicts: 927000 | #Constraints: 129895
1709.80/1713.90 c #Conflicts: 928000 | #Constraints: 130895
1709.80/1713.90 c #Conflicts: 929000 | #Constraints: 131895
1709.80/1713.90 c #Conflicts: 930000 | #Constraints: 132895
1709.80/1713.90 c #Conflicts: 931000 | #Constraints: 133895
1709.80/1713.90 c #Conflicts: 932000 | #Constraints: 134895
1709.80/1713.90 c #Conflicts: 933000 | #Constraints: 135895
1709.80/1713.90 c #Conflicts: 934000 | #Constraints: 136895
1709.80/1713.90 c #Conflicts: 935000 | #Constraints: 137895
1709.80/1713.90 c #Conflicts: 936000 | #Constraints: 138895
1709.80/1713.90 c #Conflicts: 937000 | #Constraints: 139895
1709.80/1713.90 c #Conflicts: 938000 | #Constraints: 140895
1709.80/1713.90 c #Conflicts: 939000 | #Constraints: 141895
1709.80/1713.90 c #Conflicts: 940000 | #Constraints: 142895
1709.80/1713.90 c #Conflicts: 941000 | #Constraints: 143895
1709.80/1713.90 c INPROCESSING
1709.80/1713.90 c GARBAGE COLLECT
1709.80/1713.90 c #Conflicts: 942000 | #Constraints: 125696
1709.80/1713.90 c #Conflicts: 943000 | #Constraints: 126696
1709.80/1713.90 c #Conflicts: 944000 | #Constraints: 127696
1709.80/1713.90 c #Conflicts: 945000 | #Constraints: 128696
1709.80/1713.90 c #Conflicts: 946000 | #Constraints: 129696
1709.80/1713.90 c #Conflicts: 947000 | #Constraints: 130696
1709.80/1713.90 c #Conflicts: 948000 | #Constraints: 131696
1709.80/1713.90 c #Conflicts: 949000 | #Constraints: 132696
1709.80/1713.90 c #Conflicts: 950000 | #Constraints: 133696
1709.80/1713.90 c #Conflicts: 951000 | #Constraints: 134696
1879.24/1883.79 c #Conflicts: 952000 | #Constraints: 135696
1879.24/1883.79 c #Conflicts: 953000 | #Constraints: 136696
1879.24/1883.79 c #Conflicts: 954000 | #Constraints: 137696
1879.24/1883.79 c #Conflicts: 955000 | #Constraints: 138696
1879.24/1883.79 c #Conflicts: 956000 | #Constraints: 139696
1879.24/1883.79 c #Conflicts: 957000 | #Constraints: 140696
1879.24/1883.79 c #Conflicts: 958000 | #Constraints: 141696
1879.24/1883.79 c #Conflicts: 959000 | #Constraints: 142696
1879.24/1883.79 c #Conflicts: 960000 | #Constraints: 143696
1879.24/1883.79 c #Conflicts: 961000 | #Constraints: 144696
1879.24/1883.79 c INPROCESSING
1879.24/1883.79 c GARBAGE COLLECT
1879.24/1883.79 c #Conflicts: 962000 | #Constraints: 126297
1879.24/1883.79 c #Conflicts: 963000 | #Constraints: 127297
1879.24/1883.79 c #Conflicts: 964000 | #Constraints: 128297
1879.24/1883.79 c #Conflicts: 965000 | #Constraints: 129297
1879.24/1883.79 c #Conflicts: 966000 | #Constraints: 130297
1879.24/1883.79 c #Conflicts: 967000 | #Constraints: 131297
1879.24/1883.79 c #Conflicts: 968000 | #Constraints: 132297
1879.24/1883.79 c #Conflicts: 969000 | #Constraints: 133297
1879.24/1883.79 c #Conflicts: 970000 | #Constraints: 134297
1879.24/1883.79 c #Conflicts: 971000 | #Constraints: 135297
1879.24/1883.79 c #Conflicts: 972000 | #Constraints: 136297
1879.24/1883.79 c #Conflicts: 973000 | #Constraints: 137297
1879.24/1883.79 c #Conflicts: 974000 | #Constraints: 138297
1879.24/1883.79 c #Conflicts: 975000 | #Constraints: 139297
1879.24/1883.79 c #Conflicts: 976000 | #Constraints: 140297
1879.24/1883.79 c #Conflicts: 977000 | #Constraints: 141297
1879.24/1883.79 c #Conflicts: 978000 | #Constraints: 142297
1879.24/1883.79 c #Conflicts: 979000 | #Constraints: 143297
1879.24/1883.79 c #Conflicts: 980000 | #Constraints: 144297
1879.24/1883.79 c #Conflicts: 981000 | #Constraints: 145297
1879.24/1883.79 c INPROCESSING
1879.24/1883.79 c GARBAGE COLLECT
1879.24/1883.79 c #Conflicts: 982000 | #Constraints: 126701
1879.24/1883.79 c #Conflicts: 983000 | #Constraints: 127701
1879.24/1883.79 c #Conflicts: 984000 | #Constraints: 128701
1879.24/1883.79 c #Conflicts: 985000 | #Constraints: 129701
1879.24/1883.79 c #Conflicts: 986000 | #Constraints: 130701
1879.24/1883.79 c #Conflicts: 987000 | #Constraints: 131701
1879.24/1883.79 c #Conflicts: 988000 | #Constraints: 132701
1879.24/1883.79 c #Conflicts: 989000 | #Constraints: 133701
1879.24/1883.79 c #Conflicts: 990000 | #Constraints: 134701
1879.24/1883.79 c #Conflicts: 991000 | #Constraints: 135701
1879.24/1883.79 c #Conflicts: 992000 | #Constraints: 136701
1879.24/1883.79 c #Conflicts: 993000 | #Constraints: 137701
1879.24/1883.79 c #Conflicts: 994000 | #Constraints: 138701
1879.24/1883.79 c #Conflicts: 995000 | #Constraints: 139701
1879.24/1883.79 c #Conflicts: 996000 | #Constraints: 140701
1879.24/1883.79 c #Conflicts: 997000 | #Constraints: 141701
1879.24/1883.79 c #Conflicts: 998000 | #Constraints: 142701
1879.24/1883.79 c #Conflicts: 999000 | #Constraints: 143701
1879.24/1883.79 c #Conflicts: 1000000 | #Constraints: 144701
1879.24/1883.79 c #Conflicts: 1001000 | #Constraints: 145701
1879.24/1883.79 c INPROCESSING
1879.24/1883.79 c GARBAGE COLLECT
1879.24/1883.79 c #Conflicts: 1002000 | #Constraints: 126898
1879.24/1883.79 c #Conflicts: 1003000 | #Constraints: 127898
1879.24/1883.79 c #Conflicts: 1004000 | #Constraints: 128898
1879.24/1883.79 c #Conflicts: 1005000 | #Constraints: 129898
1879.24/1883.79 c #Conflicts: 1006000 | #Constraints: 130898
1879.24/1883.79 c #Conflicts: 1007000 | #Constraints: 131898
1879.24/1883.79 c #Conflicts: 1008000 | #Constraints: 132898
1879.24/1883.79 c #Conflicts: 1009000 | #Constraints: 133898
1879.24/1883.79 c #Conflicts: 1010000 | #Constraints: 134898
1879.24/1883.79 c #Conflicts: 1011000 | #Constraints: 135898
1879.24/1883.79 c #Conflicts: 1012000 | #Constraints: 136898
1879.24/1883.79 c #Conflicts: 1013000 | #Constraints: 137898
1879.24/1883.79 c #Conflicts: 1014000 | #Constraints: 138898
1879.24/1883.79 c #Conflicts: 1015000 | #Constraints: 139898
1879.24/1883.79 c #Conflicts: 1016000 | #Constraints: 140898
1879.24/1883.79 c #Conflicts: 1017000 | #Constraints: 141898
1879.24/1883.79 c #Conflicts: 1018000 | #Constraints: 142898
1879.24/1883.79 c #Conflicts: 1019000 | #Constraints: 143898
1879.24/1883.79 c #Conflicts: 1020000 | #Constraints: 144898
1879.24/1883.79 c #Conflicts: 1021000 | #Constraints: 145898
1879.24/1883.79 c INPROCESSING
1879.24/1883.79 c GARBAGE COLLECT
1879.24/1883.79 c #Conflicts: 1022000 | #Constraints: 126901
1879.24/1883.79 c #Conflicts: 1023000 | #Constraints: 127901
1879.24/1883.79 c #Conflicts: 1024000 | #Constraints: 128901
1879.24/1883.79 c #Conflicts: 1025000 | #Constraints: 129901
1879.24/1883.79 c #Conflicts: 1026000 | #Constraints: 130901
1879.24/1883.79 c #Conflicts: 1027000 | #Constraints: 131901
1989.00/1993.74 c #Conflicts: 1028000 | #Constraints: 132901
1989.00/1993.74 c #Conflicts: 1029000 | #Constraints: 133901
1989.00/1993.74 c #Conflicts: 1030000 | #Constraints: 134901
1989.00/1993.74 c #Conflicts: 1031000 | #Constraints: 135901
1989.00/1993.74 c #Conflicts: 1032000 | #Constraints: 136901
1989.00/1993.74 c #Conflicts: 1033000 | #Constraints: 137901
1989.00/1993.74 c #Conflicts: 1034000 | #Constraints: 138901
1989.00/1993.74 c #Conflicts: 1035000 | #Constraints: 139901
1989.00/1993.74 c #Conflicts: 1036000 | #Constraints: 140901
1989.00/1993.74 c #Conflicts: 1037000 | #Constraints: 141901
1989.00/1993.74 c #Conflicts: 1038000 | #Constraints: 142901
1989.00/1993.74 c #Conflicts: 1039000 | #Constraints: 143901
1989.00/1993.74 c #Conflicts: 1040000 | #Constraints: 144901
1989.00/1993.74 c #Conflicts: 1041000 | #Constraints: 145901
1989.00/1993.74 c INPROCESSING
1989.00/1993.74 c GARBAGE COLLECT
1989.00/1993.74 c #Conflicts: 1042000 | #Constraints: 126703
1989.00/1993.74 c #Conflicts: 1043000 | #Constraints: 127703
1989.00/1993.74 c #Conflicts: 1044000 | #Constraints: 128703
1989.00/1993.74 c #Conflicts: 1045000 | #Constraints: 129703
1989.00/1993.74 c #Conflicts: 1046000 | #Constraints: 130703
1989.00/1993.74 c #Conflicts: 1047000 | #Constraints: 131703
1989.00/1993.74 c #Conflicts: 1048000 | #Constraints: 132703
1989.00/1993.74 c #Conflicts: 1049000 | #Constraints: 133703
1989.00/1993.74 c #Conflicts: 1050000 | #Constraints: 134703
1989.00/1993.74 c #Conflicts: 1051000 | #Constraints: 135703
1989.00/1993.74 c #Conflicts: 1052000 | #Constraints: 136703
1989.00/1993.74 c #Conflicts: 1053000 | #Constraints: 137703
1989.00/1993.74 c #Conflicts: 1054000 | #Constraints: 138703
1989.00/1993.74 c #Conflicts: 1055000 | #Constraints: 139703
1989.00/1993.74 c #Conflicts: 1056000 | #Constraints: 140703
1989.00/1993.74 c #Conflicts: 1057000 | #Constraints: 141703
1989.00/1993.74 c #Conflicts: 1058000 | #Constraints: 142703
1989.00/1993.74 c #Conflicts: 1059000 | #Constraints: 143703
1989.00/1993.74 c #Conflicts: 1060000 | #Constraints: 144703
1989.00/1993.74 c #Conflicts: 1061000 | #Constraints: 145703
1989.00/1993.74 c #Conflicts: 1062000 | #Constraints: 146703
1989.00/1993.74 c INPROCESSING
1989.00/1993.74 c GARBAGE COLLECT
1989.00/1993.74 c #Conflicts: 1063000 | #Constraints: 127310
1989.00/1993.74 c #Conflicts: 1064000 | #Constraints: 128310
1989.00/1993.74 c #Conflicts: 1065000 | #Constraints: 129310
1989.00/1993.74 c #Conflicts: 1066000 | #Constraints: 130310
1989.00/1993.74 c #Conflicts: 1067000 | #Constraints: 131310
1989.00/1993.74 c #Conflicts: 1068000 | #Constraints: 132310
1989.00/1993.74 c #Conflicts: 1069000 | #Constraints: 133310
1989.00/1993.74 c #Conflicts: 1070000 | #Constraints: 134310
1989.00/1993.74 c #Conflicts: 1071000 | #Constraints: 135310
1989.00/1993.74 c #Conflicts: 1072000 | #Constraints: 136310
1989.00/1993.74 c #Conflicts: 1073000 | #Constraints: 137310
1989.00/1993.74 c #Conflicts: 1074000 | #Constraints: 138310
1989.00/1993.74 c #Conflicts: 1075000 | #Constraints: 139310
1989.00/1993.74 c #Conflicts: 1076000 | #Constraints: 140310
1989.00/1993.74 c #Conflicts: 1077000 | #Constraints: 141310
1989.00/1993.74 c #Conflicts: 1078000 | #Constraints: 142310
1989.00/1993.74 c #Conflicts: 1079000 | #Constraints: 143310
1989.00/1993.74 c #Conflicts: 1080000 | #Constraints: 144310
1989.00/1993.74 c #Conflicts: 1081000 | #Constraints: 145310
1989.00/1993.74 c #Conflicts: 1082000 | #Constraints: 146310
1989.00/1993.74 c #Conflicts: 1083000 | #Constraints: 147310
1989.00/1993.74 c INPROCESSING
1989.00/1993.74 c GARBAGE COLLECT
1989.00/1993.74 c #Conflicts: 1084000 | #Constraints: 127711
1989.00/1993.74 c #Conflicts: 1085000 | #Constraints: 128711
1989.00/1993.74 c #Conflicts: 1086000 | #Constraints: 129711
1989.00/1993.74 c #Conflicts: 1087000 | #Constraints: 130711
1989.00/1993.74 c #Conflicts: 1088000 | #Constraints: 131711
1989.00/1993.74 c #Conflicts: 1089000 | #Constraints: 132711
1989.00/1993.74 c #Conflicts: 1090000 | #Constraints: 133711
1989.00/1993.74 c #Conflicts: 1091000 | #Constraints: 134711
1989.00/1993.74 c #Conflicts: 1092000 | #Constraints: 135711
1989.00/1993.74 c #Conflicts: 1093000 | #Constraints: 136711
1989.00/1993.74 c #Conflicts: 1094000 | #Constraints: 137711
1989.00/1993.74 c #Conflicts: 1095000 | #Constraints: 138711
1989.00/1993.74 c #Conflicts: 1096000 | #Constraints: 139711
1989.00/1993.74 c #Conflicts: 1097000 | #Constraints: 140711
1989.00/1993.74 c #Conflicts: 1098000 | #Constraints: 141711
1989.00/1993.74 c #Conflicts: 1099000 | #Constraints: 142711
1989.00/1993.74 c #Conflicts: 1100000 | #Constraints: 143711
1989.00/1993.74 c #Conflicts: 1101000 | #Constraints: 144711
1989.00/1993.74 c #Conflicts: 1102000 | #Constraints: 145711
1989.00/1993.74 c #Conflicts: 1103000 | #Constraints: 146711
1989.00/1993.74 c #Conflicts: 1104000 | #Constraints: 147711
2133.60/2138.67 c INPROCESSING
2133.60/2138.67 c GARBAGE COLLECT
2133.60/2138.67 c #Conflicts: 1105000 | #Constraints: 127898
2133.60/2138.67 c #Conflicts: 1106000 | #Constraints: 128898
2133.60/2138.67 c #Conflicts: 1107000 | #Constraints: 129898
2133.60/2138.67 c #Conflicts: 1108000 | #Constraints: 130898
2133.60/2138.67 c #Conflicts: 1109000 | #Constraints: 131898
2133.60/2138.67 c #Conflicts: 1110000 | #Constraints: 132898
2133.60/2138.67 c #Conflicts: 1111000 | #Constraints: 133898
2133.60/2138.67 c #Conflicts: 1112000 | #Constraints: 134898
2133.60/2138.67 c #Conflicts: 1113000 | #Constraints: 135898
2133.60/2138.67 c #Conflicts: 1114000 | #Constraints: 136898
2133.60/2138.67 c #Conflicts: 1115000 | #Constraints: 137898
2133.60/2138.67 c #Conflicts: 1116000 | #Constraints: 138898
2133.60/2138.67 c #Conflicts: 1117000 | #Constraints: 139898
2133.60/2138.67 c #Conflicts: 1118000 | #Constraints: 140898
2133.60/2138.67 c #Conflicts: 1119000 | #Constraints: 141898
2133.60/2138.67 c #Conflicts: 1120000 | #Constraints: 142898
2133.60/2138.67 c #Conflicts: 1121000 | #Constraints: 143898
2133.60/2138.67 c #Conflicts: 1122000 | #Constraints: 144898
2133.60/2138.67 c #Conflicts: 1123000 | #Constraints: 145898
2133.60/2138.67 c #Conflicts: 1124000 | #Constraints: 146898
2133.60/2138.67 c #Conflicts: 1125000 | #Constraints: 147898
2133.60/2138.67 c INPROCESSING
2133.60/2138.67 c GARBAGE COLLECT
2133.60/2138.67 c #Conflicts: 1126000 | #Constraints: 127900
2133.60/2138.67 c #Conflicts: 1127000 | #Constraints: 128900
2133.60/2138.67 c #Conflicts: 1128000 | #Constraints: 129900
2133.60/2138.67 c #Conflicts: 1129000 | #Constraints: 130900
2133.60/2138.67 c #Conflicts: 1130000 | #Constraints: 131900
2133.60/2138.67 c #Conflicts: 1131000 | #Constraints: 132900
2133.60/2138.67 c #Conflicts: 1132000 | #Constraints: 133900
2133.60/2138.67 c #Conflicts: 1133000 | #Constraints: 134900
2133.60/2138.67 c #Conflicts: 1134000 | #Constraints: 135900
2133.60/2138.67 c #Conflicts: 1135000 | #Constraints: 136900
2133.60/2138.67 c #Conflicts: 1136000 | #Constraints: 137900
2133.60/2138.67 c #Conflicts: 1137000 | #Constraints: 138900
2133.60/2138.67 c #Conflicts: 1138000 | #Constraints: 139900
2133.60/2138.67 c #Conflicts: 1139000 | #Constraints: 140900
2133.60/2138.67 c #Conflicts: 1140000 | #Constraints: 141900
2133.60/2138.67 c #Conflicts: 1141000 | #Constraints: 142900
2133.60/2138.67 c #Conflicts: 1142000 | #Constraints: 143900
2133.60/2138.67 c #Conflicts: 1143000 | #Constraints: 144900
2133.60/2138.67 c #Conflicts: 1144000 | #Constraints: 145900
2133.60/2138.67 c #Conflicts: 1145000 | #Constraints: 146900
2133.60/2138.67 c #Conflicts: 1146000 | #Constraints: 147900
2133.60/2138.67 c INPROCESSING
2133.60/2138.67 c GARBAGE COLLECT
2133.60/2138.67 c #Conflicts: 1147000 | #Constraints: 127692
2133.60/2138.67 c #Conflicts: 1148000 | #Constraints: 128692
2133.60/2138.67 c #Conflicts: 1149000 | #Constraints: 129692
2133.60/2138.67 c #Conflicts: 1150000 | #Constraints: 130692
2133.60/2138.67 c #Conflicts: 1151000 | #Constraints: 131692
2133.60/2138.67 c #Conflicts: 1152000 | #Constraints: 132692
2133.60/2138.67 c #Conflicts: 1153000 | #Constraints: 133692
2133.60/2138.67 c #Conflicts: 1154000 | #Constraints: 134692
2133.60/2138.67 c #Conflicts: 1155000 | #Constraints: 135692
2133.60/2138.67 c #Conflicts: 1156000 | #Constraints: 136692
2133.60/2138.67 c #Conflicts: 1157000 | #Constraints: 137692
2133.60/2138.67 c #Conflicts: 1158000 | #Constraints: 138692
2133.60/2138.67 c #Conflicts: 1159000 | #Constraints: 139692
2133.60/2138.67 c #Conflicts: 1160000 | #Constraints: 140692
2133.60/2138.67 c #Conflicts: 1161000 | #Constraints: 141692
2133.60/2138.67 c #Conflicts: 1162000 | #Constraints: 142692
2133.60/2138.67 c #Conflicts: 1163000 | #Constraints: 143692
2133.60/2138.67 c #Conflicts: 1164000 | #Constraints: 144692
2133.60/2138.67 c #Conflicts: 1165000 | #Constraints: 145692
2133.60/2138.67 c #Conflicts: 1166000 | #Constraints: 146692
2133.60/2138.67 c #Conflicts: 1167000 | #Constraints: 147692
2133.60/2138.67 c #Conflicts: 1168000 | #Constraints: 148692
2133.60/2138.67 c INPROCESSING
2133.60/2138.67 c GARBAGE COLLECT
2133.60/2138.67 c #Conflicts: 1169000 | #Constraints: 128297
2133.60/2138.67 c #Conflicts: 1170000 | #Constraints: 129297
2133.60/2138.67 c #Conflicts: 1171000 | #Constraints: 130297
2133.60/2138.67 c #Conflicts: 1172000 | #Constraints: 131297
2133.60/2138.67 c #Conflicts: 1173000 | #Constraints: 132297
2133.60/2138.67 c #Conflicts: 1174000 | #Constraints: 133297
2133.60/2138.67 c #Conflicts: 1175000 | #Constraints: 134297
2133.60/2138.67 c #Conflicts: 1176000 | #Constraints: 135297
2133.60/2138.67 c #Conflicts: 1177000 | #Constraints: 136297
2133.60/2138.67 c #Conflicts: 1178000 | #Constraints: 137297
2133.60/2138.67 c #Conflicts: 1179000 | #Constraints: 138297
2133.60/2138.67 c #Conflicts: 1180000 | #Constraints: 139297
2247.87/2253.11 c #Conflicts: 1181000 | #Constraints: 140297
2247.87/2253.11 c #Conflicts: 1182000 | #Constraints: 141297
2247.87/2253.11 c #Conflicts: 1183000 | #Constraints: 142297
2247.87/2253.11 c #Conflicts: 1184000 | #Constraints: 143297
2247.87/2253.11 c #Conflicts: 1185000 | #Constraints: 144297
2247.87/2253.11 c #Conflicts: 1186000 | #Constraints: 145297
2247.87/2253.11 c #Conflicts: 1187000 | #Constraints: 146297
2247.87/2253.11 c #Conflicts: 1188000 | #Constraints: 147297
2247.87/2253.11 c #Conflicts: 1189000 | #Constraints: 148297
2247.87/2253.11 c #Conflicts: 1190000 | #Constraints: 149297
2247.87/2253.11 c INPROCESSING
2247.87/2253.11 c GARBAGE COLLECT
2247.87/2253.11 c #Conflicts: 1191000 | #Constraints: 128697
2247.87/2253.11 c #Conflicts: 1192000 | #Constraints: 129697
2247.87/2253.11 c #Conflicts: 1193000 | #Constraints: 130697
2247.87/2253.11 c #Conflicts: 1194000 | #Constraints: 131697
2247.87/2253.11 c #Conflicts: 1195000 | #Constraints: 132697
2247.87/2253.11 c #Conflicts: 1196000 | #Constraints: 133697
2247.87/2253.11 c #Conflicts: 1197000 | #Constraints: 134697
2247.87/2253.11 c #Conflicts: 1198000 | #Constraints: 135697
2247.87/2253.11 c #Conflicts: 1199000 | #Constraints: 136697
2247.87/2253.11 c #Conflicts: 1200000 | #Constraints: 137697
2247.87/2253.11 c #Conflicts: 1201000 | #Constraints: 138697
2247.87/2253.11 c #Conflicts: 1202000 | #Constraints: 139697
2247.87/2253.11 c #Conflicts: 1203000 | #Constraints: 140697
2247.87/2253.11 c #Conflicts: 1204000 | #Constraints: 141697
2247.87/2253.11 c #Conflicts: 1205000 | #Constraints: 142697
2247.87/2253.11 c #Conflicts: 1206000 | #Constraints: 143697
2247.87/2253.11 c #Conflicts: 1207000 | #Constraints: 144697
2247.87/2253.11 c #Conflicts: 1208000 | #Constraints: 145697
2247.87/2253.11 c #Conflicts: 1209000 | #Constraints: 146697
2247.87/2253.11 c #Conflicts: 1210000 | #Constraints: 147697
2247.87/2253.11 c #Conflicts: 1211000 | #Constraints: 148697
2247.87/2253.11 c #Conflicts: 1212000 | #Constraints: 149697
2247.87/2253.11 c INPROCESSING
2247.87/2253.11 c GARBAGE COLLECT
2247.87/2253.11 c #Conflicts: 1213000 | #Constraints: 128900
2247.87/2253.11 c #Conflicts: 1214000 | #Constraints: 129900
2247.87/2253.11 c #Conflicts: 1215000 | #Constraints: 130900
2247.87/2253.11 c #Conflicts: 1216000 | #Constraints: 131900
2247.87/2253.11 c #Conflicts: 1217000 | #Constraints: 132900
2247.87/2253.11 c #Conflicts: 1218000 | #Constraints: 133900
2247.87/2253.11 c #Conflicts: 1219000 | #Constraints: 134900
2247.87/2253.11 c #Conflicts: 1220000 | #Constraints: 135900
2247.87/2253.11 c #Conflicts: 1221000 | #Constraints: 136900
2247.87/2253.11 c #Conflicts: 1222000 | #Constraints: 137900
2247.87/2253.11 c #Conflicts: 1223000 | #Constraints: 138900
2247.87/2253.11 c #Conflicts: 1224000 | #Constraints: 139900
2247.87/2253.11 c #Conflicts: 1225000 | #Constraints: 140900
2247.87/2253.11 c #Conflicts: 1226000 | #Constraints: 141900
2247.87/2253.11 c #Conflicts: 1227000 | #Constraints: 142900
2247.87/2253.11 c #Conflicts: 1228000 | #Constraints: 143900
2247.87/2253.11 c #Conflicts: 1229000 | #Constraints: 144900
2247.87/2253.11 c #Conflicts: 1230000 | #Constraints: 145900
2247.87/2253.11 c #Conflicts: 1231000 | #Constraints: 146900
2247.87/2253.11 c #Conflicts: 1232000 | #Constraints: 147900
2247.87/2253.11 c #Conflicts: 1233000 | #Constraints: 148900
2247.87/2253.11 c #Conflicts: 1234000 | #Constraints: 149900
2247.87/2253.11 c INPROCESSING
2247.87/2253.11 c GARBAGE COLLECT
2247.87/2253.11 c #Conflicts: 1235000 | #Constraints: 128902
2247.87/2253.11 c #Conflicts: 1236000 | #Constraints: 129902
2247.87/2253.11 c #Conflicts: 1237000 | #Constraints: 130902
2247.87/2253.11 c #Conflicts: 1238000 | #Constraints: 131902
2247.87/2253.11 c #Conflicts: 1239000 | #Constraints: 132902
2247.87/2253.11 c #Conflicts: 1240000 | #Constraints: 133902
2247.87/2253.11 c #Conflicts: 1241000 | #Constraints: 134902
2247.87/2253.11 c #Conflicts: 1242000 | #Constraints: 135902
2247.87/2253.11 c #Conflicts: 1243000 | #Constraints: 136902
2247.87/2253.11 c #Conflicts: 1244000 | #Constraints: 137902
2247.87/2253.11 c #Conflicts: 1245000 | #Constraints: 138902
2247.87/2253.11 c #Conflicts: 1246000 | #Constraints: 139902
2247.87/2253.11 c #Conflicts: 1247000 | #Constraints: 140902
2247.87/2253.11 c #Conflicts: 1248000 | #Constraints: 141902
2247.87/2253.11 c #Conflicts: 1249000 | #Constraints: 142902
2247.87/2253.11 c #Conflicts: 1250000 | #Constraints: 143902
2247.87/2253.11 c #Conflicts: 1251000 | #Constraints: 144902
2247.87/2253.11 c #Conflicts: 1252000 | #Constraints: 145902
2247.87/2253.11 c #Conflicts: 1253000 | #Constraints: 146902
2247.87/2253.11 c #Conflicts: 1254000 | #Constraints: 147902
2247.87/2253.11 c #Conflicts: 1255000 | #Constraints: 148902
2247.87/2253.11 c #Conflicts: 1256000 | #Constraints: 149902
2247.87/2253.11 c INPROCESSING
2247.87/2253.11 c GARBAGE COLLECT
2382.07/2387.69 c #Conflicts: 1257000 | #Constraints: 128704
2382.07/2387.69 c #Conflicts: 1258000 | #Constraints: 129704
2382.07/2387.69 c #Conflicts: 1259000 | #Constraints: 130704
2382.07/2387.69 c #Conflicts: 1260000 | #Constraints: 131704
2382.07/2387.69 c #Conflicts: 1261000 | #Constraints: 132704
2382.07/2387.69 c #Conflicts: 1262000 | #Constraints: 133704
2382.07/2387.69 c #Conflicts: 1263000 | #Constraints: 134704
2382.07/2387.69 c #Conflicts: 1264000 | #Constraints: 135704
2382.07/2387.69 c #Conflicts: 1265000 | #Constraints: 136704
2382.07/2387.69 c #Conflicts: 1266000 | #Constraints: 137704
2382.07/2387.69 c #Conflicts: 1267000 | #Constraints: 138704
2382.07/2387.69 c #Conflicts: 1268000 | #Constraints: 139704
2382.07/2387.69 c #Conflicts: 1269000 | #Constraints: 140704
2382.07/2387.69 c #Conflicts: 1270000 | #Constraints: 141704
2382.07/2387.69 c #Conflicts: 1271000 | #Constraints: 142704
2382.07/2387.69 c #Conflicts: 1272000 | #Constraints: 143704
2382.07/2387.69 c #Conflicts: 1273000 | #Constraints: 144704
2382.07/2387.69 c #Conflicts: 1274000 | #Constraints: 145704
2382.07/2387.69 c #Conflicts: 1275000 | #Constraints: 146704
2382.07/2387.69 c #Conflicts: 1276000 | #Constraints: 147704
2382.07/2387.69 c #Conflicts: 1277000 | #Constraints: 148704
2382.07/2387.69 c #Conflicts: 1278000 | #Constraints: 149704
2382.07/2387.69 c #Conflicts: 1279000 | #Constraints: 150704
2382.07/2387.69 c INPROCESSING
2382.07/2387.69 c GARBAGE COLLECT
2382.07/2387.69 c #Conflicts: 1280000 | #Constraints: 129306
2382.07/2387.69 c #Conflicts: 1281000 | #Constraints: 130306
2382.07/2387.69 c #Conflicts: 1282000 | #Constraints: 131306
2382.07/2387.69 c #Conflicts: 1283000 | #Constraints: 132306
2382.07/2387.69 c #Conflicts: 1284000 | #Constraints: 133306
2382.07/2387.69 c #Conflicts: 1285000 | #Constraints: 134306
2382.07/2387.69 c #Conflicts: 1286000 | #Constraints: 135306
2382.07/2387.69 c #Conflicts: 1287000 | #Constraints: 136306
2382.07/2387.69 c #Conflicts: 1288000 | #Constraints: 137306
2382.07/2387.69 c #Conflicts: 1289000 | #Constraints: 138306
2382.07/2387.69 c #Conflicts: 1290000 | #Constraints: 139306
2382.07/2387.69 c #Conflicts: 1291000 | #Constraints: 140306
2382.07/2387.69 c #Conflicts: 1292000 | #Constraints: 141306
2382.07/2387.69 c #Conflicts: 1293000 | #Constraints: 142306
2382.07/2387.69 c #Conflicts: 1294000 | #Constraints: 143306
2382.07/2387.69 c #Conflicts: 1295000 | #Constraints: 144306
2382.07/2387.69 c #Conflicts: 1296000 | #Constraints: 145306
2382.07/2387.69 c #Conflicts: 1297000 | #Constraints: 146306
2382.07/2387.69 c #Conflicts: 1298000 | #Constraints: 147306
2382.07/2387.69 c #Conflicts: 1299000 | #Constraints: 148306
2382.07/2387.69 c #Conflicts: 1300000 | #Constraints: 149306
2382.07/2387.69 c #Conflicts: 1301000 | #Constraints: 150306
2382.07/2387.69 c #Conflicts: 1302000 | #Constraints: 151306
2382.07/2387.69 c INPROCESSING
2382.07/2387.69 c GARBAGE COLLECT
2382.07/2387.69 c #Conflicts: 1303000 | #Constraints: 129694
2382.07/2387.69 c #Conflicts: 1304000 | #Constraints: 130694
2382.07/2387.69 c #Conflicts: 1305000 | #Constraints: 131694
2382.07/2387.69 c #Conflicts: 1306000 | #Constraints: 132694
2382.07/2387.69 c #Conflicts: 1307000 | #Constraints: 133694
2382.07/2387.69 c #Conflicts: 1308000 | #Constraints: 134694
2382.07/2387.69 c #Conflicts: 1309000 | #Constraints: 135694
2382.07/2387.69 c #Conflicts: 1310000 | #Constraints: 136694
2382.07/2387.69 c #Conflicts: 1311000 | #Constraints: 137694
2382.07/2387.69 c #Conflicts: 1312000 | #Constraints: 138694
2382.07/2387.69 c #Conflicts: 1313000 | #Constraints: 139694
2382.07/2387.69 c #Conflicts: 1314000 | #Constraints: 140694
2382.07/2387.69 c #Conflicts: 1315000 | #Constraints: 141694
2382.07/2387.69 c #Conflicts: 1316000 | #Constraints: 142694
2382.07/2387.69 c #Conflicts: 1317000 | #Constraints: 143694
2382.07/2387.69 c #Conflicts: 1318000 | #Constraints: 144694
2382.07/2387.69 c #Conflicts: 1319000 | #Constraints: 145694
2382.07/2387.69 c #Conflicts: 1320000 | #Constraints: 146694
2382.07/2387.69 c #Conflicts: 1321000 | #Constraints: 147694
2382.07/2387.69 c #Conflicts: 1322000 | #Constraints: 148694
2382.07/2387.69 c #Conflicts: 1323000 | #Constraints: 149694
2382.07/2387.69 c #Conflicts: 1324000 | #Constraints: 150694
2382.07/2387.69 c #Conflicts: 1325000 | #Constraints: 151694
2382.07/2387.69 c INPROCESSING
2382.07/2387.69 c GARBAGE COLLECT
2382.07/2387.69 c #Conflicts: 1326000 | #Constraints: 129896
2382.07/2387.69 c #Conflicts: 1327000 | #Constraints: 130896
2382.07/2387.69 c #Conflicts: 1328000 | #Constraints: 131896
2382.07/2387.69 c #Conflicts: 1329000 | #Constraints: 132896
2382.07/2387.69 c #Conflicts: 1330000 | #Constraints: 133896
2382.07/2387.69 c #Conflicts: 1331000 | #Constraints: 134896
2382.07/2387.69 c #Conflicts: 1332000 | #Constraints: 135896
2382.07/2387.69 c #Conflicts: 1333000 | #Constraints: 136896
2537.64/2543.54 c #Conflicts: 1334000 | #Constraints: 137896
2537.64/2543.54 c #Conflicts: 1335000 | #Constraints: 138896
2537.64/2543.54 c #Conflicts: 1336000 | #Constraints: 139896
2537.64/2543.54 c #Conflicts: 1337000 | #Constraints: 140896
2537.64/2543.54 c #Conflicts: 1338000 | #Constraints: 141896
2537.64/2543.54 c #Conflicts: 1339000 | #Constraints: 142896
2537.64/2543.54 c #Conflicts: 1340000 | #Constraints: 143896
2537.64/2543.54 c #Conflicts: 1341000 | #Constraints: 144896
2537.64/2543.54 c #Conflicts: 1342000 | #Constraints: 145896
2537.64/2543.54 c #Conflicts: 1343000 | #Constraints: 146896
2537.64/2543.54 c #Conflicts: 1344000 | #Constraints: 147896
2537.64/2543.54 c #Conflicts: 1345000 | #Constraints: 148896
2537.64/2543.54 c #Conflicts: 1346000 | #Constraints: 149896
2537.64/2543.54 c #Conflicts: 1347000 | #Constraints: 150896
2537.64/2543.54 c #Conflicts: 1348000 | #Constraints: 151896
2537.64/2543.54 c INPROCESSING
2537.64/2543.54 c GARBAGE COLLECT
2537.64/2543.54 c #Conflicts: 1349000 | #Constraints: 129903
2537.64/2543.54 c #Conflicts: 1350000 | #Constraints: 130903
2537.64/2543.54 c #Conflicts: 1351000 | #Constraints: 131903
2537.64/2543.54 c #Conflicts: 1352000 | #Constraints: 132903
2537.64/2543.54 c #Conflicts: 1353000 | #Constraints: 133903
2537.64/2543.54 c #Conflicts: 1354000 | #Constraints: 134903
2537.64/2543.54 c #Conflicts: 1355000 | #Constraints: 135903
2537.64/2543.54 c #Conflicts: 1356000 | #Constraints: 136903
2537.64/2543.54 c #Conflicts: 1357000 | #Constraints: 137903
2537.64/2543.54 c #Conflicts: 1358000 | #Constraints: 138903
2537.64/2543.54 c #Conflicts: 1359000 | #Constraints: 139903
2537.64/2543.54 c #Conflicts: 1360000 | #Constraints: 140903
2537.64/2543.54 c #Conflicts: 1361000 | #Constraints: 141903
2537.64/2543.54 c #Conflicts: 1362000 | #Constraints: 142903
2537.64/2543.54 c #Conflicts: 1363000 | #Constraints: 143903
2537.64/2543.54 c #Conflicts: 1364000 | #Constraints: 144903
2537.64/2543.54 c #Conflicts: 1365000 | #Constraints: 145903
2537.64/2543.54 c #Conflicts: 1366000 | #Constraints: 146903
2537.64/2543.54 c #Conflicts: 1367000 | #Constraints: 147903
2537.64/2543.54 c #Conflicts: 1368000 | #Constraints: 148903
2537.64/2543.54 c #Conflicts: 1369000 | #Constraints: 149903
2537.64/2543.54 c #Conflicts: 1370000 | #Constraints: 150903
2537.64/2543.54 c #Conflicts: 1371000 | #Constraints: 151903
2537.64/2543.54 c INPROCESSING
2537.64/2543.54 c GARBAGE COLLECT
2537.64/2543.54 c #Conflicts: 1372000 | #Constraints: 129694
2537.64/2543.54 c #Conflicts: 1373000 | #Constraints: 130694
2537.64/2543.54 c #Conflicts: 1374000 | #Constraints: 131694
2537.64/2543.54 c #Conflicts: 1375000 | #Constraints: 132694
2537.64/2543.54 c #Conflicts: 1376000 | #Constraints: 133694
2537.64/2543.54 c #Conflicts: 1377000 | #Constraints: 134694
2537.64/2543.54 c #Conflicts: 1378000 | #Constraints: 135694
2537.64/2543.54 c #Conflicts: 1379000 | #Constraints: 136694
2537.64/2543.54 c #Conflicts: 1380000 | #Constraints: 137694
2537.64/2543.54 c #Conflicts: 1381000 | #Constraints: 138694
2537.64/2543.54 c #Conflicts: 1382000 | #Constraints: 139694
2537.64/2543.54 c #Conflicts: 1383000 | #Constraints: 140694
2537.64/2543.54 c #Conflicts: 1384000 | #Constraints: 141694
2537.64/2543.54 c #Conflicts: 1385000 | #Constraints: 142694
2537.64/2543.54 c #Conflicts: 1386000 | #Constraints: 143694
2537.64/2543.54 c #Conflicts: 1387000 | #Constraints: 144694
2537.64/2543.54 c #Conflicts: 1388000 | #Constraints: 145694
2537.64/2543.54 c #Conflicts: 1389000 | #Constraints: 146694
2537.64/2543.54 c #Conflicts: 1390000 | #Constraints: 147694
2537.64/2543.54 c #Conflicts: 1391000 | #Constraints: 148694
2537.64/2543.54 c #Conflicts: 1392000 | #Constraints: 149694
2537.64/2543.54 c #Conflicts: 1393000 | #Constraints: 150694
2537.64/2543.54 c #Conflicts: 1394000 | #Constraints: 151694
2537.64/2543.54 c #Conflicts: 1395000 | #Constraints: 152694
2537.64/2543.54 c INPROCESSING
2537.64/2543.54 c GARBAGE COLLECT
2537.64/2543.54 c #Conflicts: 1396000 | #Constraints: 130295
2537.64/2543.54 c #Conflicts: 1397000 | #Constraints: 131295
2537.64/2543.54 c #Conflicts: 1398000 | #Constraints: 132295
2537.64/2543.54 c #Conflicts: 1399000 | #Constraints: 133295
2537.64/2543.54 c #Conflicts: 1400000 | #Constraints: 134295
2537.64/2543.54 c #Conflicts: 1401000 | #Constraints: 135295
2537.64/2543.54 c #Conflicts: 1402000 | #Constraints: 136295
2537.64/2543.54 c #Conflicts: 1403000 | #Constraints: 137295
2537.64/2543.54 c #Conflicts: 1404000 | #Constraints: 138295
2537.64/2543.54 c #Conflicts: 1405000 | #Constraints: 139295
2537.64/2543.54 c #Conflicts: 1406000 | #Constraints: 140295
2537.64/2543.54 c #Conflicts: 1407000 | #Constraints: 141295
2537.64/2543.54 c #Conflicts: 1408000 | #Constraints: 142295
2537.64/2543.54 c #Conflicts: 1409000 | #Constraints: 143295
2537.64/2543.54 c #Conflicts: 1410000 | #Constraints: 144295
2689.82/2696.03 c #Conflicts: 1411000 | #Constraints: 145295
2689.82/2696.03 c #Conflicts: 1412000 | #Constraints: 146295
2689.82/2696.03 c #Conflicts: 1413000 | #Constraints: 147295
2689.82/2696.03 c #Conflicts: 1414000 | #Constraints: 148295
2689.82/2696.03 c #Conflicts: 1415000 | #Constraints: 149295
2689.82/2696.03 c #Conflicts: 1416000 | #Constraints: 150295
2689.82/2696.03 c #Conflicts: 1417000 | #Constraints: 151295
2689.82/2696.03 c #Conflicts: 1418000 | #Constraints: 152295
2689.82/2696.03 c #Conflicts: 1419000 | #Constraints: 153295
2689.82/2696.03 c INPROCESSING
2689.82/2696.03 c GARBAGE COLLECT
2689.82/2696.03 c #Conflicts: 1420000 | #Constraints: 130693
2689.82/2696.03 c #Conflicts: 1421000 | #Constraints: 131693
2689.82/2696.03 c #Conflicts: 1422000 | #Constraints: 132693
2689.82/2696.03 c #Conflicts: 1423000 | #Constraints: 133693
2689.82/2696.03 c #Conflicts: 1424000 | #Constraints: 134693
2689.82/2696.03 c #Conflicts: 1425000 | #Constraints: 135693
2689.82/2696.03 c #Conflicts: 1426000 | #Constraints: 136693
2689.82/2696.03 c #Conflicts: 1427000 | #Constraints: 137693
2689.82/2696.03 c #Conflicts: 1428000 | #Constraints: 138693
2689.82/2696.03 c #Conflicts: 1429000 | #Constraints: 139693
2689.82/2696.03 c #Conflicts: 1430000 | #Constraints: 140693
2689.82/2696.03 c #Conflicts: 1431000 | #Constraints: 141693
2689.82/2696.03 c #Conflicts: 1432000 | #Constraints: 142693
2689.82/2696.03 c #Conflicts: 1433000 | #Constraints: 143693
2689.82/2696.03 c #Conflicts: 1434000 | #Constraints: 144693
2689.82/2696.03 c #Conflicts: 1435000 | #Constraints: 145693
2689.82/2696.03 c #Conflicts: 1436000 | #Constraints: 146693
2689.82/2696.03 c #Conflicts: 1437000 | #Constraints: 147693
2689.82/2696.03 c #Conflicts: 1438000 | #Constraints: 148693
2689.82/2696.03 c #Conflicts: 1439000 | #Constraints: 149693
2689.82/2696.03 c #Conflicts: 1440000 | #Constraints: 150693
2689.82/2696.03 c #Conflicts: 1441000 | #Constraints: 151693
2689.82/2696.03 c #Conflicts: 1442000 | #Constraints: 152693
2689.82/2696.03 c #Conflicts: 1443000 | #Constraints: 153693
2689.82/2696.03 c INPROCESSING
2689.82/2696.03 c GARBAGE COLLECT
2689.82/2696.03 c #Conflicts: 1444000 | #Constraints: 130899
2689.82/2696.03 c #Conflicts: 1445000 | #Constraints: 131899
2689.82/2696.03 c #Conflicts: 1446000 | #Constraints: 132899
2689.82/2696.03 c #Conflicts: 1447000 | #Constraints: 133899
2689.82/2696.03 c #Conflicts: 1448000 | #Constraints: 134899
2689.82/2696.03 c #Conflicts: 1449000 | #Constraints: 135899
2689.82/2696.03 c #Conflicts: 1450000 | #Constraints: 136899
2689.82/2696.03 c #Conflicts: 1451000 | #Constraints: 137899
2689.82/2696.03 c #Conflicts: 1452000 | #Constraints: 138899
2689.82/2696.03 c #Conflicts: 1453000 | #Constraints: 139899
2689.82/2696.03 c #Conflicts: 1454000 | #Constraints: 140899
2689.82/2696.03 c #Conflicts: 1455000 | #Constraints: 141899
2689.82/2696.03 c #Conflicts: 1456000 | #Constraints: 142899
2689.82/2696.03 c #Conflicts: 1457000 | #Constraints: 143899
2689.82/2696.03 c #Conflicts: 1458000 | #Constraints: 144899
2689.82/2696.03 c #Conflicts: 1459000 | #Constraints: 145899
2689.82/2696.03 c #Conflicts: 1460000 | #Constraints: 146899
2689.82/2696.03 c #Conflicts: 1461000 | #Constraints: 147899
2689.82/2696.03 c #Conflicts: 1462000 | #Constraints: 148899
2689.82/2696.03 c #Conflicts: 1463000 | #Constraints: 149899
2689.82/2696.03 c #Conflicts: 1464000 | #Constraints: 150899
2689.82/2696.03 c #Conflicts: 1465000 | #Constraints: 151899
2689.82/2696.03 c #Conflicts: 1466000 | #Constraints: 152899
2689.82/2696.03 c #Conflicts: 1467000 | #Constraints: 153899
2689.82/2696.03 c INPROCESSING
2689.82/2696.03 c GARBAGE COLLECT
2689.82/2696.03 c #Conflicts: 1468000 | #Constraints: 130914
2689.82/2696.03 c #Conflicts: 1469000 | #Constraints: 131914
2689.82/2696.03 c #Conflicts: 1470000 | #Constraints: 132914
2689.82/2696.03 c #Conflicts: 1471000 | #Constraints: 133914
2689.82/2696.03 c #Conflicts: 1472000 | #Constraints: 134914
2689.82/2696.03 c #Conflicts: 1473000 | #Constraints: 135914
2689.82/2696.03 c #Conflicts: 1474000 | #Constraints: 136914
2689.82/2696.03 c #Conflicts: 1475000 | #Constraints: 137914
2689.82/2696.03 c #Conflicts: 1476000 | #Constraints: 138914
2689.82/2696.03 c #Conflicts: 1477000 | #Constraints: 139914
2689.82/2696.03 c #Conflicts: 1478000 | #Constraints: 140914
2689.82/2696.03 c #Conflicts: 1479000 | #Constraints: 141914
2689.82/2696.03 c #Conflicts: 1480000 | #Constraints: 142914
2689.82/2696.03 c #Conflicts: 1481000 | #Constraints: 143914
2689.82/2696.03 c #Conflicts: 1482000 | #Constraints: 144914
2689.82/2696.03 c #Conflicts: 1483000 | #Constraints: 145914
2689.82/2696.03 c #Conflicts: 1484000 | #Constraints: 146914
2689.82/2696.03 c #Conflicts: 1485000 | #Constraints: 147914
2689.82/2696.03 c #Conflicts: 1486000 | #Constraints: 148914
2689.82/2696.03 c #Conflicts: 1487000 | #Constraints: 149914
2825.32/2831.81 c #Conflicts: 1488000 | #Constraints: 150914
2825.32/2831.81 c #Conflicts: 1489000 | #Constraints: 151914
2825.32/2831.81 c #Conflicts: 1490000 | #Constraints: 152914
2825.32/2831.81 c #Conflicts: 1491000 | #Constraints: 153914
2825.32/2831.81 c INPROCESSING
2825.32/2831.81 c GARBAGE COLLECT
2825.32/2831.81 c #Conflicts: 1492000 | #Constraints: 130710
2825.32/2831.81 c #Conflicts: 1493000 | #Constraints: 131710
2825.32/2831.81 c #Conflicts: 1494000 | #Constraints: 132710
2825.32/2831.81 c #Conflicts: 1495000 | #Constraints: 133710
2825.32/2831.81 c #Conflicts: 1496000 | #Constraints: 134710
2825.32/2831.81 c #Conflicts: 1497000 | #Constraints: 135710
2825.32/2831.81 c #Conflicts: 1498000 | #Constraints: 136710
2825.32/2831.81 c #Conflicts: 1499000 | #Constraints: 137710
2825.32/2831.81 c #Conflicts: 1500000 | #Constraints: 138710
2825.32/2831.81 c #Conflicts: 1501000 | #Constraints: 139710
2825.32/2831.81 c #Conflicts: 1502000 | #Constraints: 140710
2825.32/2831.81 c #Conflicts: 1503000 | #Constraints: 141710
2825.32/2831.81 c #Conflicts: 1504000 | #Constraints: 142710
2825.32/2831.81 c #Conflicts: 1505000 | #Constraints: 143710
2825.32/2831.81 c #Conflicts: 1506000 | #Constraints: 144710
2825.32/2831.81 c #Conflicts: 1507000 | #Constraints: 145710
2825.32/2831.81 c #Conflicts: 1508000 | #Constraints: 146710
2825.32/2831.81 c #Conflicts: 1509000 | #Constraints: 147710
2825.32/2831.81 c #Conflicts: 1510000 | #Constraints: 148710
2825.32/2831.81 c #Conflicts: 1511000 | #Constraints: 149710
2825.32/2831.81 c #Conflicts: 1512000 | #Constraints: 150710
2825.32/2831.81 c #Conflicts: 1513000 | #Constraints: 151710
2825.32/2831.81 c #Conflicts: 1514000 | #Constraints: 152710
2825.32/2831.81 c #Conflicts: 1515000 | #Constraints: 153710
2825.32/2831.81 c #Conflicts: 1516000 | #Constraints: 154710
2825.32/2831.81 c INPROCESSING
2825.32/2831.81 c GARBAGE COLLECT
2825.32/2831.81 c #Conflicts: 1517000 | #Constraints: 131326
2825.32/2831.81 c #Conflicts: 1518000 | #Constraints: 132326
2825.32/2831.81 c #Conflicts: 1519000 | #Constraints: 133326
2825.32/2831.81 c #Conflicts: 1520000 | #Constraints: 134326
2825.32/2831.81 c #Conflicts: 1521000 | #Constraints: 135326
2825.32/2831.81 c #Conflicts: 1522000 | #Constraints: 136326
2825.32/2831.81 c #Conflicts: 1523000 | #Constraints: 137326
2825.32/2831.81 c #Conflicts: 1524000 | #Constraints: 138326
2825.32/2831.81 c #Conflicts: 1525000 | #Constraints: 139326
2825.32/2831.81 c #Conflicts: 1526000 | #Constraints: 140326
2825.32/2831.81 c #Conflicts: 1527000 | #Constraints: 141326
2825.32/2831.81 c #Conflicts: 1528000 | #Constraints: 142326
2825.32/2831.81 c #Conflicts: 1529000 | #Constraints: 143326
2825.32/2831.81 c #Conflicts: 1530000 | #Constraints: 144326
2825.32/2831.81 c #Conflicts: 1531000 | #Constraints: 145326
2825.32/2831.81 c #Conflicts: 1532000 | #Constraints: 146326
2825.32/2831.81 c #Conflicts: 1533000 | #Constraints: 147326
2825.32/2831.81 c #Conflicts: 1534000 | #Constraints: 148326
2825.32/2831.81 c #Conflicts: 1535000 | #Constraints: 149326
2825.32/2831.81 c #Conflicts: 1536000 | #Constraints: 150326
2825.32/2831.81 c #Conflicts: 1537000 | #Constraints: 151326
2825.32/2831.81 c #Conflicts: 1538000 | #Constraints: 152326
2825.32/2831.81 c #Conflicts: 1539000 | #Constraints: 153326
2825.32/2831.81 c #Conflicts: 1540000 | #Constraints: 154326
2825.32/2831.81 c #Conflicts: 1541000 | #Constraints: 155326
2825.32/2831.81 c INPROCESSING
2825.32/2831.81 c GARBAGE COLLECT
2825.32/2831.81 c #Conflicts: 1542000 | #Constraints: 131720
2825.32/2831.81 c #Conflicts: 1543000 | #Constraints: 132720
2825.32/2831.81 c #Conflicts: 1544000 | #Constraints: 133720
2825.32/2831.81 c #Conflicts: 1545000 | #Constraints: 134720
2825.32/2831.81 c #Conflicts: 1546000 | #Constraints: 135720
2825.32/2831.81 c #Conflicts: 1547000 | #Constraints: 136720
2825.32/2831.81 c #Conflicts: 1548000 | #Constraints: 137720
2825.32/2831.81 c #Conflicts: 1549000 | #Constraints: 138720
2825.32/2831.81 c #Conflicts: 1550000 | #Constraints: 139720
2825.32/2831.81 c #Conflicts: 1551000 | #Constraints: 140720
2825.32/2831.81 c #Conflicts: 1552000 | #Constraints: 141720
2825.32/2831.81 c #Conflicts: 1553000 | #Constraints: 142720
2825.32/2831.81 c #Conflicts: 1554000 | #Constraints: 143720
2825.32/2831.81 c #Conflicts: 1555000 | #Constraints: 144720
2825.32/2831.81 c #Conflicts: 1556000 | #Constraints: 145720
2825.32/2831.81 c #Conflicts: 1557000 | #Constraints: 146720
2825.32/2831.81 c #Conflicts: 1558000 | #Constraints: 147720
2825.32/2831.81 c #Conflicts: 1559000 | #Constraints: 148720
2825.32/2831.81 c #Conflicts: 1560000 | #Constraints: 149720
2825.32/2831.81 c #Conflicts: 1561000 | #Constraints: 150720
2825.32/2831.81 c #Conflicts: 1562000 | #Constraints: 151720
2825.32/2831.81 c #Conflicts: 1563000 | #Constraints: 152720
2825.32/2831.81 c #Conflicts: 1564000 | #Constraints: 153720
2938.29/2945.07 c #Conflicts: 1565000 | #Constraints: 154720
2938.29/2945.07 c #Conflicts: 1566000 | #Constraints: 155720
2938.29/2945.07 c INPROCESSING
2938.29/2945.07 c GARBAGE COLLECT
2938.29/2945.07 c #Conflicts: 1567000 | #Constraints: 131919
2938.29/2945.07 c #Conflicts: 1568000 | #Constraints: 132919
2938.29/2945.07 c #Conflicts: 1569000 | #Constraints: 133919
2938.29/2945.07 c #Conflicts: 1570000 | #Constraints: 134919
2938.29/2945.07 c #Conflicts: 1571000 | #Constraints: 135919
2938.29/2945.07 c #Conflicts: 1572000 | #Constraints: 136919
2938.29/2945.07 c #Conflicts: 1573000 | #Constraints: 137919
2938.29/2945.07 c #Conflicts: 1574000 | #Constraints: 138919
2938.29/2945.07 c #Conflicts: 1575000 | #Constraints: 139919
2938.29/2945.07 c #Conflicts: 1576000 | #Constraints: 140919
2938.29/2945.07 c #Conflicts: 1577000 | #Constraints: 141919
2938.29/2945.07 c #Conflicts: 1578000 | #Constraints: 142919
2938.29/2945.07 c #Conflicts: 1579000 | #Constraints: 143919
2938.29/2945.07 c #Conflicts: 1580000 | #Constraints: 144919
2938.29/2945.07 c #Conflicts: 1581000 | #Constraints: 145919
2938.29/2945.07 c #Conflicts: 1582000 | #Constraints: 146919
2938.29/2945.07 c #Conflicts: 1583000 | #Constraints: 147919
2938.29/2945.07 c #Conflicts: 1584000 | #Constraints: 148919
2938.29/2945.07 c #Conflicts: 1585000 | #Constraints: 149919
2938.29/2945.07 c #Conflicts: 1586000 | #Constraints: 150919
2938.29/2945.07 c #Conflicts: 1587000 | #Constraints: 151919
2938.29/2945.07 c #Conflicts: 1588000 | #Constraints: 152919
2938.29/2945.07 c #Conflicts: 1589000 | #Constraints: 153919
2938.29/2945.07 c #Conflicts: 1590000 | #Constraints: 154919
2938.29/2945.07 c #Conflicts: 1591000 | #Constraints: 155919
2938.29/2945.07 c INPROCESSING
2938.29/2945.07 c GARBAGE COLLECT
2938.29/2945.07 c #Conflicts: 1592000 | #Constraints: 131915
2938.29/2945.07 c #Conflicts: 1593000 | #Constraints: 132915
2938.29/2945.07 c #Conflicts: 1594000 | #Constraints: 133915
2938.29/2945.07 c #Conflicts: 1595000 | #Constraints: 134915
2938.29/2945.07 c #Conflicts: 1596000 | #Constraints: 135915
2938.29/2945.07 c #Conflicts: 1597000 | #Constraints: 136915
2938.29/2945.07 c #Conflicts: 1598000 | #Constraints: 137915
2938.29/2945.07 c #Conflicts: 1599000 | #Constraints: 138915
2938.29/2945.07 c #Conflicts: 1600000 | #Constraints: 139915
2938.29/2945.07 c #Conflicts: 1601000 | #Constraints: 140915
2938.29/2945.07 c #Conflicts: 1602000 | #Constraints: 141915
2938.29/2945.07 c #Conflicts: 1603000 | #Constraints: 142915
2938.29/2945.07 c #Conflicts: 1604000 | #Constraints: 143915
2938.29/2945.07 c #Conflicts: 1605000 | #Constraints: 144915
2938.29/2945.07 c #Conflicts: 1606000 | #Constraints: 145915
2938.29/2945.07 c #Conflicts: 1607000 | #Constraints: 146915
2938.29/2945.07 c #Conflicts: 1608000 | #Constraints: 147915
2938.29/2945.07 c #Conflicts: 1609000 | #Constraints: 148915
2938.29/2945.07 c #Conflicts: 1610000 | #Constraints: 149915
2938.29/2945.07 c #Conflicts: 1611000 | #Constraints: 150915
2938.29/2945.07 c #Conflicts: 1612000 | #Constraints: 151915
2938.29/2945.07 c #Conflicts: 1613000 | #Constraints: 152915
2938.29/2945.07 c #Conflicts: 1614000 | #Constraints: 153915
2938.29/2945.07 c #Conflicts: 1615000 | #Constraints: 154915
2938.29/2945.07 c #Conflicts: 1616000 | #Constraints: 155915
2938.29/2945.07 c INPROCESSING
2938.29/2945.07 c GARBAGE COLLECT
2938.29/2945.07 c #Conflicts: 1617000 | #Constraints: 131716
2938.29/2945.07 c #Conflicts: 1618000 | #Constraints: 132716
2938.29/2945.07 c #Conflicts: 1619000 | #Constraints: 133716
2938.29/2945.07 c #Conflicts: 1620000 | #Constraints: 134716
2938.29/2945.07 c #Conflicts: 1621000 | #Constraints: 135716
2938.29/2945.07 c #Conflicts: 1622000 | #Constraints: 136716
2938.29/2945.07 c #Conflicts: 1623000 | #Constraints: 137716
2938.29/2945.07 c #Conflicts: 1624000 | #Constraints: 138716
2938.29/2945.07 c #Conflicts: 1625000 | #Constraints: 139716
2938.29/2945.07 c #Conflicts: 1626000 | #Constraints: 140716
2938.29/2945.07 c #Conflicts: 1627000 | #Constraints: 141716
2938.29/2945.07 c #Conflicts: 1628000 | #Constraints: 142716
2938.29/2945.07 c #Conflicts: 1629000 | #Constraints: 143716
2938.29/2945.07 c #Conflicts: 1630000 | #Constraints: 144716
2938.29/2945.07 c #Conflicts: 1631000 | #Constraints: 145716
2938.29/2945.07 c #Conflicts: 1632000 | #Constraints: 146716
2938.29/2945.07 c #Conflicts: 1633000 | #Constraints: 147716
2938.29/2945.07 c #Conflicts: 1634000 | #Constraints: 148716
2938.29/2945.07 c #Conflicts: 1635000 | #Constraints: 149716
2938.29/2945.07 c #Conflicts: 1636000 | #Constraints: 150716
2938.29/2945.07 c #Conflicts: 1637000 | #Constraints: 151716
2938.29/2945.07 c #Conflicts: 1638000 | #Constraints: 152716
2938.29/2945.07 c #Conflicts: 1639000 | #Constraints: 153716
2938.29/2945.07 c #Conflicts: 1640000 | #Constraints: 154716
2938.29/2945.07 c #Conflicts: 1641000 | #Constraints: 155716
3078.67/3085.73 c #Conflicts: 1642000 | #Constraints: 156716
3078.67/3085.73 c INPROCESSING
3078.67/3085.73 c GARBAGE COLLECT
3078.67/3085.73 c #Conflicts: 1643000 | #Constraints: 132312
3078.67/3085.73 c #Conflicts: 1644000 | #Constraints: 133312
3078.67/3085.73 c #Conflicts: 1645000 | #Constraints: 134312
3078.67/3085.73 c #Conflicts: 1646000 | #Constraints: 135312
3078.67/3085.73 c #Conflicts: 1647000 | #Constraints: 136312
3078.67/3085.73 c #Conflicts: 1648000 | #Constraints: 137312
3078.67/3085.73 c #Conflicts: 1649000 | #Constraints: 138312
3078.67/3085.73 c #Conflicts: 1650000 | #Constraints: 139312
3078.67/3085.73 c #Conflicts: 1651000 | #Constraints: 140312
3078.67/3085.73 c #Conflicts: 1652000 | #Constraints: 141312
3078.67/3085.73 c #Conflicts: 1653000 | #Constraints: 142312
3078.67/3085.73 c #Conflicts: 1654000 | #Constraints: 143312
3078.67/3085.73 c #Conflicts: 1655000 | #Constraints: 144312
3078.67/3085.73 c #Conflicts: 1656000 | #Constraints: 145312
3078.67/3085.73 c #Conflicts: 1657000 | #Constraints: 146312
3078.67/3085.73 c #Conflicts: 1658000 | #Constraints: 147312
3078.67/3085.73 c #Conflicts: 1659000 | #Constraints: 148312
3078.67/3085.73 c #Conflicts: 1660000 | #Constraints: 149312
3078.67/3085.73 c #Conflicts: 1661000 | #Constraints: 150312
3078.67/3085.73 c #Conflicts: 1662000 | #Constraints: 151312
3078.67/3085.73 c #Conflicts: 1663000 | #Constraints: 152312
3078.67/3085.73 c #Conflicts: 1664000 | #Constraints: 153312
3078.67/3085.73 c #Conflicts: 1665000 | #Constraints: 154312
3078.67/3085.73 c #Conflicts: 1666000 | #Constraints: 155312
3078.67/3085.73 c #Conflicts: 1667000 | #Constraints: 156312
3078.67/3085.73 c #Conflicts: 1668000 | #Constraints: 157312
3078.67/3085.73 c INPROCESSING
3078.67/3085.73 c GARBAGE COLLECT
3078.67/3085.73 c #Conflicts: 1669000 | #Constraints: 132694
3078.67/3085.73 c #Conflicts: 1670000 | #Constraints: 133694
3078.67/3085.73 c #Conflicts: 1671000 | #Constraints: 134694
3078.67/3085.73 c #Conflicts: 1672000 | #Constraints: 135694
3078.67/3085.73 c #Conflicts: 1673000 | #Constraints: 136694
3078.67/3085.73 c #Conflicts: 1674000 | #Constraints: 137694
3078.67/3085.73 c #Conflicts: 1675000 | #Constraints: 138694
3078.67/3085.73 c #Conflicts: 1676000 | #Constraints: 139694
3078.67/3085.73 c #Conflicts: 1677000 | #Constraints: 140694
3078.67/3085.73 c #Conflicts: 1678000 | #Constraints: 141694
3078.67/3085.73 c #Conflicts: 1679000 | #Constraints: 142694
3078.67/3085.73 c #Conflicts: 1680000 | #Constraints: 143694
3078.67/3085.73 c #Conflicts: 1681000 | #Constraints: 144694
3078.67/3085.73 c #Conflicts: 1682000 | #Constraints: 145694
3078.67/3085.73 c #Conflicts: 1683000 | #Constraints: 146694
3078.67/3085.73 c #Conflicts: 1684000 | #Constraints: 147694
3078.67/3085.73 c #Conflicts: 1685000 | #Constraints: 148694
3078.67/3085.73 c #Conflicts: 1686000 | #Constraints: 149694
3078.67/3085.73 c #Conflicts: 1687000 | #Constraints: 150694
3078.67/3085.73 c #Conflicts: 1688000 | #Constraints: 151694
3078.67/3085.73 c #Conflicts: 1689000 | #Constraints: 152694
3078.67/3085.73 c #Conflicts: 1690000 | #Constraints: 153694
3078.67/3085.73 c #Conflicts: 1691000 | #Constraints: 154694
3078.67/3085.73 c #Conflicts: 1692000 | #Constraints: 155694
3078.67/3085.73 c #Conflicts: 1693000 | #Constraints: 156694
3078.67/3085.73 c #Conflicts: 1694000 | #Constraints: 157694
3078.67/3085.73 c INPROCESSING
3078.67/3085.73 c GARBAGE COLLECT
3078.67/3085.73 c #Conflicts: 1695000 | #Constraints: 132897
3078.67/3085.73 c #Conflicts: 1696000 | #Constraints: 133897
3078.67/3085.73 c #Conflicts: 1697000 | #Constraints: 134897
3078.67/3085.73 c #Conflicts: 1698000 | #Constraints: 135897
3078.67/3085.73 c #Conflicts: 1699000 | #Constraints: 136897
3078.67/3085.73 c #Conflicts: 1700000 | #Constraints: 137897
3078.67/3085.73 c #Conflicts: 1701000 | #Constraints: 138897
3078.67/3085.73 c #Conflicts: 1702000 | #Constraints: 139897
3078.67/3085.73 c #Conflicts: 1703000 | #Constraints: 140897
3078.67/3085.73 c #Conflicts: 1704000 | #Constraints: 141897
3078.67/3085.73 c #Conflicts: 1705000 | #Constraints: 142897
3078.67/3085.73 c #Conflicts: 1706000 | #Constraints: 143897
3078.67/3085.73 c #Conflicts: 1707000 | #Constraints: 144897
3078.67/3085.73 c #Conflicts: 1708000 | #Constraints: 145897
3078.67/3085.73 c #Conflicts: 1709000 | #Constraints: 146897
3078.67/3085.73 c #Conflicts: 1710000 | #Constraints: 147897
3078.67/3085.73 c #Conflicts: 1711000 | #Constraints: 148897
3078.67/3085.73 c #Conflicts: 1712000 | #Constraints: 149897
3078.67/3085.73 c #Conflicts: 1713000 | #Constraints: 150897
3078.67/3085.73 c #Conflicts: 1714000 | #Constraints: 151897
3078.67/3085.73 c #Conflicts: 1715000 | #Constraints: 152897
3078.67/3085.73 c #Conflicts: 1716000 | #Constraints: 153897
3078.67/3085.73 c #Conflicts: 1717000 | #Constraints: 154897
3078.67/3085.73 c #Conflicts: 1718000 | #Constraints: 155897
3199.01/3206.30 c #Conflicts: 1719000 | #Constraints: 156897
3199.01/3206.30 c #Conflicts: 1720000 | #Constraints: 157897
3199.01/3206.30 c INPROCESSING
3199.01/3206.30 c GARBAGE COLLECT
3199.01/3206.30 c #Conflicts: 1721000 | #Constraints: 132897
3199.01/3206.30 c #Conflicts: 1722000 | #Constraints: 133897
3199.01/3206.30 c #Conflicts: 1723000 | #Constraints: 134897
3199.01/3206.30 c #Conflicts: 1724000 | #Constraints: 135897
3199.01/3206.30 c #Conflicts: 1725000 | #Constraints: 136897
3199.01/3206.30 c #Conflicts: 1726000 | #Constraints: 137897
3199.01/3206.30 c #Conflicts: 1727000 | #Constraints: 138897
3199.01/3206.30 c #Conflicts: 1728000 | #Constraints: 139897
3199.01/3206.30 c #Conflicts: 1729000 | #Constraints: 140897
3199.01/3206.30 c #Conflicts: 1730000 | #Constraints: 141897
3199.01/3206.30 c #Conflicts: 1731000 | #Constraints: 142897
3199.01/3206.30 c #Conflicts: 1732000 | #Constraints: 143897
3199.01/3206.30 c #Conflicts: 1733000 | #Constraints: 144897
3199.01/3206.30 c #Conflicts: 1734000 | #Constraints: 145897
3199.01/3206.30 c #Conflicts: 1735000 | #Constraints: 146897
3199.01/3206.30 c #Conflicts: 1736000 | #Constraints: 147897
3199.01/3206.30 c #Conflicts: 1737000 | #Constraints: 148897
3199.01/3206.30 c #Conflicts: 1738000 | #Constraints: 149897
3199.01/3206.30 c #Conflicts: 1739000 | #Constraints: 150897
3199.01/3206.30 c #Conflicts: 1740000 | #Constraints: 151897
3199.01/3206.30 c #Conflicts: 1741000 | #Constraints: 152897
3199.01/3206.30 c #Conflicts: 1742000 | #Constraints: 153897
3199.01/3206.30 c #Conflicts: 1743000 | #Constraints: 154897
3199.01/3206.30 c #Conflicts: 1744000 | #Constraints: 155897
3199.01/3206.30 c #Conflicts: 1745000 | #Constraints: 156897
3199.01/3206.30 c #Conflicts: 1746000 | #Constraints: 157897
3199.01/3206.30 c INPROCESSING
3199.01/3206.30 c GARBAGE COLLECT
3199.01/3206.30 c #Conflicts: 1747000 | #Constraints: 132700
3199.01/3206.30 c #Conflicts: 1748000 | #Constraints: 133700
3199.01/3206.30 c #Conflicts: 1749000 | #Constraints: 134700
3199.01/3206.30 c #Conflicts: 1750000 | #Constraints: 135700
3199.01/3206.30 c #Conflicts: 1751000 | #Constraints: 136700
3199.01/3206.30 c #Conflicts: 1752000 | #Constraints: 137700
3199.01/3206.30 c #Conflicts: 1753000 | #Constraints: 138700
3199.01/3206.30 c #Conflicts: 1754000 | #Constraints: 139700
3199.01/3206.30 c #Conflicts: 1755000 | #Constraints: 140700
3199.01/3206.30 c #Conflicts: 1756000 | #Constraints: 141700
3199.01/3206.30 c #Conflicts: 1757000 | #Constraints: 142700
3199.01/3206.30 c #Conflicts: 1758000 | #Constraints: 143700
3199.01/3206.30 c #Conflicts: 1759000 | #Constraints: 144700
3199.01/3206.30 c #Conflicts: 1760000 | #Constraints: 145700
3199.01/3206.30 c #Conflicts: 1761000 | #Constraints: 146700
3199.01/3206.30 c #Conflicts: 1762000 | #Constraints: 147700
3199.01/3206.30 c #Conflicts: 1763000 | #Constraints: 148700
3199.01/3206.30 c #Conflicts: 1764000 | #Constraints: 149700
3199.01/3206.30 c #Conflicts: 1765000 | #Constraints: 150700
3199.01/3206.30 c #Conflicts: 1766000 | #Constraints: 151700
3199.01/3206.30 c #Conflicts: 1767000 | #Constraints: 152700
3199.01/3206.30 c #Conflicts: 1768000 | #Constraints: 153700
3199.01/3206.30 c #Conflicts: 1769000 | #Constraints: 154700
3199.01/3206.30 c #Conflicts: 1770000 | #Constraints: 155700
3199.01/3206.30 c #Conflicts: 1771000 | #Constraints: 156700
3199.01/3206.30 c #Conflicts: 1772000 | #Constraints: 157700
3199.01/3206.30 c #Conflicts: 1773000 | #Constraints: 158700
3199.01/3206.30 c INPROCESSING
3199.01/3206.30 c GARBAGE COLLECT
3199.01/3206.30 c #Conflicts: 1774000 | #Constraints: 133314
3199.01/3206.30 c #Conflicts: 1775000 | #Constraints: 134314
3199.01/3206.30 c #Conflicts: 1776000 | #Constraints: 135314
3199.01/3206.30 c #Conflicts: 1777000 | #Constraints: 136314
3199.01/3206.30 c #Conflicts: 1778000 | #Constraints: 137314
3199.01/3206.30 c #Conflicts: 1779000 | #Constraints: 138314
3199.01/3206.30 c #Conflicts: 1780000 | #Constraints: 139314
3199.01/3206.30 c #Conflicts: 1781000 | #Constraints: 140314
3199.01/3206.30 c #Conflicts: 1782000 | #Constraints: 141314
3199.01/3206.30 c #Conflicts: 1783000 | #Constraints: 142314
3199.01/3206.30 c #Conflicts: 1784000 | #Constraints: 143314
3199.01/3206.30 c #Conflicts: 1785000 | #Constraints: 144314
3199.01/3206.30 c #Conflicts: 1786000 | #Constraints: 145314
3199.01/3206.30 c #Conflicts: 1787000 | #Constraints: 146314
3199.01/3206.30 c #Conflicts: 1788000 | #Constraints: 147314
3199.01/3206.30 c #Conflicts: 1789000 | #Constraints: 148314
3199.01/3206.30 c #Conflicts: 1790000 | #Constraints: 149314
3199.01/3206.30 c #Conflicts: 1791000 | #Constraints: 150314
3199.01/3206.30 c #Conflicts: 1792000 | #Constraints: 151314
3199.01/3206.30 c #Conflicts: 1793000 | #Constraints: 152314
3199.01/3206.30 c #Conflicts: 1794000 | #Constraints: 153314
3340.52/3348.13 c #Conflicts: 1795000 | #Constraints: 154314
3340.52/3348.13 c #Conflicts: 1796000 | #Constraints: 155314
3340.52/3348.13 c #Conflicts: 1797000 | #Constraints: 156314
3340.52/3348.13 c #Conflicts: 1798000 | #Constraints: 157314
3340.52/3348.13 c #Conflicts: 1799000 | #Constraints: 158314
3340.52/3348.13 c #Conflicts: 1800000 | #Constraints: 159314
3340.52/3348.13 c INPROCESSING
3340.52/3348.13 c GARBAGE COLLECT
3340.52/3348.13 c #Conflicts: 1801000 | #Constraints: 133708
3340.52/3348.13 c #Conflicts: 1802000 | #Constraints: 134708
3340.52/3348.13 c #Conflicts: 1803000 | #Constraints: 135708
3340.52/3348.13 c #Conflicts: 1804000 | #Constraints: 136708
3340.52/3348.13 c #Conflicts: 1805000 | #Constraints: 137708
3340.52/3348.13 c #Conflicts: 1806000 | #Constraints: 138708
3340.52/3348.13 c #Conflicts: 1807000 | #Constraints: 139708
3340.52/3348.13 c #Conflicts: 1808000 | #Constraints: 140708
3340.52/3348.13 c #Conflicts: 1809000 | #Constraints: 141708
3340.52/3348.13 c #Conflicts: 1810000 | #Constraints: 142708
3340.52/3348.13 c #Conflicts: 1811000 | #Constraints: 143708
3340.52/3348.13 c #Conflicts: 1812000 | #Constraints: 144708
3340.52/3348.13 c #Conflicts: 1813000 | #Constraints: 145708
3340.52/3348.13 c #Conflicts: 1814000 | #Constraints: 146708
3340.52/3348.13 c #Conflicts: 1815000 | #Constraints: 147708
3340.52/3348.13 c #Conflicts: 1816000 | #Constraints: 148708
3340.52/3348.13 c #Conflicts: 1817000 | #Constraints: 149708
3340.52/3348.13 c #Conflicts: 1818000 | #Constraints: 150708
3340.52/3348.13 c #Conflicts: 1819000 | #Constraints: 151708
3340.52/3348.13 c #Conflicts: 1820000 | #Constraints: 152708
3340.52/3348.13 c #Conflicts: 1821000 | #Constraints: 153708
3340.52/3348.13 c #Conflicts: 1822000 | #Constraints: 154708
3340.52/3348.13 c #Conflicts: 1823000 | #Constraints: 155708
3340.52/3348.13 c #Conflicts: 1824000 | #Constraints: 156708
3340.52/3348.13 c #Conflicts: 1825000 | #Constraints: 157708
3340.52/3348.13 c #Conflicts: 1826000 | #Constraints: 158708
3340.52/3348.13 c #Conflicts: 1827000 | #Constraints: 159708
3340.52/3348.13 c INPROCESSING
3340.52/3348.13 c GARBAGE COLLECT
3340.52/3348.13 c #Conflicts: 1828000 | #Constraints: 133907
3340.52/3348.13 c #Conflicts: 1829000 | #Constraints: 134907
3340.52/3348.13 c #Conflicts: 1830000 | #Constraints: 135907
3340.52/3348.13 c #Conflicts: 1831000 | #Constraints: 136907
3340.52/3348.13 c #Conflicts: 1832000 | #Constraints: 137907
3340.52/3348.13 c #Conflicts: 1833000 | #Constraints: 138907
3340.52/3348.13 c #Conflicts: 1834000 | #Constraints: 139907
3340.52/3348.13 c #Conflicts: 1835000 | #Constraints: 140907
3340.52/3348.13 c #Conflicts: 1836000 | #Constraints: 141907
3340.52/3348.13 c #Conflicts: 1837000 | #Constraints: 142907
3340.52/3348.13 c #Conflicts: 1838000 | #Constraints: 143907
3340.52/3348.13 c #Conflicts: 1839000 | #Constraints: 144907
3340.52/3348.13 c #Conflicts: 1840000 | #Constraints: 145907
3340.52/3348.13 c #Conflicts: 1841000 | #Constraints: 146907
3340.52/3348.13 c #Conflicts: 1842000 | #Constraints: 147907
3340.52/3348.13 c #Conflicts: 1843000 | #Constraints: 148907
3340.52/3348.13 c #Conflicts: 1844000 | #Constraints: 149907
3340.52/3348.13 c #Conflicts: 1845000 | #Constraints: 150907
3340.52/3348.13 c #Conflicts: 1846000 | #Constraints: 151907
3340.52/3348.13 c #Conflicts: 1847000 | #Constraints: 152907
3340.52/3348.13 c #Conflicts: 1848000 | #Constraints: 153907
3340.52/3348.13 c #Conflicts: 1849000 | #Constraints: 154907
3340.52/3348.13 c #Conflicts: 1850000 | #Constraints: 155907
3340.52/3348.13 c #Conflicts: 1851000 | #Constraints: 156907
3340.52/3348.13 c #Conflicts: 1852000 | #Constraints: 157907
3340.52/3348.13 c #Conflicts: 1853000 | #Constraints: 158907
3340.52/3348.13 c #Conflicts: 1854000 | #Constraints: 159907
3340.52/3348.13 c INPROCESSING
3340.52/3348.13 c GARBAGE COLLECT
3340.52/3348.13 c #Conflicts: 1855000 | #Constraints: 133913
3340.52/3348.13 c #Conflicts: 1856000 | #Constraints: 134913
3340.52/3348.13 c #Conflicts: 1857000 | #Constraints: 135913
3340.52/3348.13 c #Conflicts: 1858000 | #Constraints: 136913
3340.52/3348.13 c #Conflicts: 1859000 | #Constraints: 137913
3340.52/3348.13 c #Conflicts: 1860000 | #Constraints: 138913
3340.52/3348.13 c #Conflicts: 1861000 | #Constraints: 139913
3340.52/3348.13 c #Conflicts: 1862000 | #Constraints: 140913
3340.52/3348.13 c #Conflicts: 1863000 | #Constraints: 141913
3340.52/3348.13 c #Conflicts: 1864000 | #Constraints: 142913
3340.52/3348.13 c #Conflicts: 1865000 | #Constraints: 143913
3340.52/3348.13 c #Conflicts: 1866000 | #Constraints: 144913
3340.52/3348.13 c #Conflicts: 1867000 | #Constraints: 145913
3340.52/3348.13 c #Conflicts: 1868000 | #Constraints: 146913
3340.52/3348.13 c #Conflicts: 1869000 | #Constraints: 147913
3340.52/3348.13 c #Conflicts: 1870000 | #Constraints: 148913
3340.52/3348.13 c #Conflicts: 1871000 | #Constraints: 149913
3492.67/3500.68 c #Conflicts: 1872000 | #Constraints: 150913
3492.67/3500.68 c #Conflicts: 1873000 | #Constraints: 151913
3492.67/3500.68 c #Conflicts: 1874000 | #Constraints: 152913
3492.67/3500.68 c #Conflicts: 1875000 | #Constraints: 153913
3492.67/3500.68 c #Conflicts: 1876000 | #Constraints: 154913
3492.67/3500.68 c #Conflicts: 1877000 | #Constraints: 155913
3492.67/3500.68 c #Conflicts: 1878000 | #Constraints: 156913
3492.67/3500.68 c #Conflicts: 1879000 | #Constraints: 157913
3492.67/3500.68 c #Conflicts: 1880000 | #Constraints: 158913
3492.67/3500.68 c #Conflicts: 1881000 | #Constraints: 159913
3492.67/3500.68 c INPROCESSING
3492.67/3500.68 c GARBAGE COLLECT
3492.67/3500.68 c #Conflicts: 1882000 | #Constraints: 133699
3492.67/3500.68 c #Conflicts: 1883000 | #Constraints: 134699
3492.67/3500.68 c #Conflicts: 1884000 | #Constraints: 135699
3492.67/3500.68 c #Conflicts: 1885000 | #Constraints: 136699
3492.67/3500.68 c #Conflicts: 1886000 | #Constraints: 137699
3492.67/3500.68 c #Conflicts: 1887000 | #Constraints: 138699
3492.67/3500.68 c #Conflicts: 1888000 | #Constraints: 139699
3492.67/3500.68 c #Conflicts: 1889000 | #Constraints: 140699
3492.67/3500.68 c #Conflicts: 1890000 | #Constraints: 141699
3492.67/3500.68 c #Conflicts: 1891000 | #Constraints: 142699
3492.67/3500.68 c #Conflicts: 1892000 | #Constraints: 143699
3492.67/3500.68 c #Conflicts: 1893000 | #Constraints: 144699
3492.67/3500.68 c #Conflicts: 1894000 | #Constraints: 145699
3492.67/3500.68 c #Conflicts: 1895000 | #Constraints: 146699
3492.67/3500.68 c #Conflicts: 1896000 | #Constraints: 147699
3492.67/3500.68 c #Conflicts: 1897000 | #Constraints: 148699
3492.67/3500.68 c #Conflicts: 1898000 | #Constraints: 149699
3492.67/3500.68 c #Conflicts: 1899000 | #Constraints: 150699
3492.67/3500.68 c #Conflicts: 1900000 | #Constraints: 151699
3492.67/3500.68 c #Conflicts: 1901000 | #Constraints: 152699
3492.67/3500.68 c #Conflicts: 1902000 | #Constraints: 153699
3492.67/3500.68 c #Conflicts: 1903000 | #Constraints: 154699
3492.67/3500.68 c #Conflicts: 1904000 | #Constraints: 155699
3492.67/3500.68 c #Conflicts: 1905000 | #Constraints: 156699
3492.67/3500.68 c #Conflicts: 1906000 | #Constraints: 157699
3492.67/3500.68 c #Conflicts: 1907000 | #Constraints: 158699
3492.67/3500.68 c #Conflicts: 1908000 | #Constraints: 159699
3492.67/3500.68 c #Conflicts: 1909000 | #Constraints: 160699
3492.67/3500.68 c INPROCESSING
3492.67/3500.68 c GARBAGE COLLECT
3492.67/3500.68 c #Conflicts: 1910000 | #Constraints: 134296
3492.67/3500.68 c #Conflicts: 1911000 | #Constraints: 135296
3492.67/3500.68 c #Conflicts: 1912000 | #Constraints: 136296
3492.67/3500.68 c #Conflicts: 1913000 | #Constraints: 137296
3492.67/3500.68 c #Conflicts: 1914000 | #Constraints: 138296
3492.67/3500.68 c #Conflicts: 1915000 | #Constraints: 139296
3492.67/3500.68 c #Conflicts: 1916000 | #Constraints: 140296
3492.67/3500.68 c #Conflicts: 1917000 | #Constraints: 141296
3492.67/3500.68 c #Conflicts: 1918000 | #Constraints: 142296
3492.67/3500.68 c #Conflicts: 1919000 | #Constraints: 143296
3492.67/3500.68 c #Conflicts: 1920000 | #Constraints: 144296
3492.67/3500.68 c #Conflicts: 1921000 | #Constraints: 145296
3492.67/3500.68 c #Conflicts: 1922000 | #Constraints: 146296
3492.67/3500.68 c #Conflicts: 1923000 | #Constraints: 147296
3492.67/3500.68 c #Conflicts: 1924000 | #Constraints: 148296
3492.67/3500.68 c #Conflicts: 1925000 | #Constraints: 149296
3492.67/3500.68 c #Conflicts: 1926000 | #Constraints: 150296
3492.67/3500.68 c #Conflicts: 1927000 | #Constraints: 151296
3492.67/3500.68 c #Conflicts: 1928000 | #Constraints: 152296
3492.67/3500.68 c #Conflicts: 1929000 | #Constraints: 153296
3492.67/3500.68 c #Conflicts: 1930000 | #Constraints: 154296
3492.67/3500.68 c #Conflicts: 1931000 | #Constraints: 155296
3492.67/3500.68 c #Conflicts: 1932000 | #Constraints: 156296
3492.67/3500.68 c #Conflicts: 1933000 | #Constraints: 157296
3492.67/3500.68 c #Conflicts: 1934000 | #Constraints: 158296
3492.67/3500.68 c #Conflicts: 1935000 | #Constraints: 159296
3492.67/3500.68 c #Conflicts: 1936000 | #Constraints: 160296
3492.67/3500.68 c #Conflicts: 1937000 | #Constraints: 161296
3492.67/3500.68 c INPROCESSING
3492.67/3500.68 c GARBAGE COLLECT
3492.67/3500.68 c #Conflicts: 1938000 | #Constraints: 134698
3492.67/3500.68 c #Conflicts: 1939000 | #Constraints: 135698
3492.67/3500.68 c #Conflicts: 1940000 | #Constraints: 136698
3492.67/3500.68 c #Conflicts: 1941000 | #Constraints: 137698
3492.67/3500.68 c #Conflicts: 1942000 | #Constraints: 138698
3492.67/3500.68 c #Conflicts: 1943000 | #Constraints: 139698
3492.67/3500.68 c #Conflicts: 1944000 | #Constraints: 140698
3492.67/3500.68 c #Conflicts: 1945000 | #Constraints: 141698
3492.67/3500.68 c #Conflicts: 1946000 | #Constraints: 142698
3492.67/3500.68 c #Conflicts: 1947000 | #Constraints: 143698
3492.67/3500.68 c #Conflicts: 1948000 | #Constraints: 144698
3600.04/3608.20 c #Conflicts: 1949000 | #Constraints: 145698
3600.04/3608.20 c #Conflicts: 1950000 | #Constraints: 146698
3600.04/3608.20 c #Conflicts: 1951000 | #Constraints: 147698
3600.04/3608.20 c #Conflicts: 1952000 | #Constraints: 148698
3600.04/3608.20 c #Conflicts: 1953000 | #Constraints: 149698
3600.04/3608.20 c #Conflicts: 1954000 | #Constraints: 150698
3600.04/3608.20 c #Conflicts: 1955000 | #Constraints: 151698
3600.04/3608.20 c #Conflicts: 1956000 | #Constraints: 152698
3600.04/3608.20 c #Conflicts: 1957000 | #Constraints: 153698
3600.04/3608.20 c #Conflicts: 1958000 | #Constraints: 154698
3600.04/3608.20 c #Conflicts: 1959000 | #Constraints: 155698
3600.04/3608.20 c #Conflicts: 1960000 | #Constraints: 156698
3600.04/3608.20 c #Conflicts: 1961000 | #Constraints: 157698
3600.04/3608.20 c #Conflicts: 1962000 | #Constraints: 158698
3600.04/3608.20 c #Conflicts: 1963000 | #Constraints: 159698
3600.04/3608.20 c #Conflicts: 1964000 | #Constraints: 160698
3600.04/3608.20 c #Conflicts: 1965000 | #Constraints: 161698
3600.04/3608.20 c INPROCESSING
3600.04/3608.20 c GARBAGE COLLECT
3600.04/3608.20 c #Conflicts: 1966000 | #Constraints: 134901
3600.04/3608.20 c #Conflicts: 1967000 | #Constraints: 135901
3600.04/3608.20 c #Conflicts: 1968000 | #Constraints: 136901
3600.04/3608.20 c #Conflicts: 1969000 | #Constraints: 137901
3600.04/3608.20 c #Conflicts: 1970000 | #Constraints: 138901
3600.04/3608.20 c #Conflicts: 1971000 | #Constraints: 139901
3600.04/3608.20 c #Conflicts: 1972000 | #Constraints: 140901
3600.04/3608.20 c #Conflicts: 1973000 | #Constraints: 141901
3600.04/3608.20 c #Conflicts: 1974000 | #Constraints: 142901
3600.04/3608.20 c #Conflicts: 1975000 | #Constraints: 143901
3600.04/3608.20 c #Conflicts: 1976000 | #Constraints: 144901
3600.04/3608.20 c #Conflicts: 1977000 | #Constraints: 145901
3600.04/3608.20 c #Conflicts: 1978000 | #Constraints: 146901
3600.04/3608.20 c #Conflicts: 1979000 | #Constraints: 147901
3600.04/3608.20 c #Conflicts: 1980000 | #Constraints: 148901
3600.04/3608.20 c #Conflicts: 1981000 | #Constraints: 149901
3600.04/3608.20 c #Conflicts: 1982000 | #Constraints: 150901
3600.04/3608.20 c #Conflicts: 1983000 | #Constraints: 151901
3600.04/3608.20 c #Conflicts: 1984000 | #Constraints: 152901
3600.04/3608.20 c #Conflicts: 1985000 | #Constraints: 153901
3600.04/3608.20 c #Conflicts: 1986000 | #Constraints: 154901
3600.04/3608.20 c #Conflicts: 1987000 | #Constraints: 155901
3600.04/3608.20 c #Conflicts: 1988000 | #Constraints: 156901
3600.04/3608.20 c #Conflicts: 1989000 | #Constraints: 157901
3600.04/3608.20 c #Conflicts: 1990000 | #Constraints: 158901
3600.04/3608.20 c #Conflicts: 1991000 | #Constraints: 159901
3600.04/3608.20 c #Conflicts: 1992000 | #Constraints: 160901
3600.04/3608.20 c #Conflicts: 1993000 | #Constraints: 161901
3600.04/3608.20 c INPROCESSING
3600.04/3608.20 c GARBAGE COLLECT
3600.04/3608.20 c #Conflicts: 1994000 | #Constraints: 134893
3600.04/3608.20 c #Conflicts: 1995000 | #Constraints: 135893
3600.04/3608.20 c #Conflicts: 1996000 | #Constraints: 136893
3600.04/3608.20 c #Conflicts: 1997000 | #Constraints: 137893
3600.04/3608.20 c #Conflicts: 1998000 | #Constraints: 138893
3600.04/3608.20 c #Conflicts: 1999000 | #Constraints: 139893
3600.04/3608.20 c Program interrupted by user.
3600.04/3608.20 c cpu time 3591.6 s
3600.04/3608.20 c deterministic time 285538355002 2.86e+11
3600.04/3608.20 c optimization time 334.699 s
3600.04/3608.20 c total solve time 3256.4 s
3600.04/3608.20 c core-guided solve time 3256.4 s
3600.04/3608.20 c propagation time 1980.04 s
3600.04/3608.20 c conflict analysis time 1549.02 s
3600.04/3608.20 c propagations 488702154
3600.04/3608.20 c resolve steps 95213054
3600.04/3608.20 c decisions 2354698
3600.04/3608.20 c conflicts 1999002
3600.04/3608.20 c restarts 3929
3600.04/3608.20 c inprocessing phases 132
3600.04/3608.20 c input clauses 105317
3600.04/3608.20 c input cardinalities 1296
3600.04/3608.20 c input general constraints 390
3600.04/3608.20 c input average constraint length 6.76
3600.04/3608.20 c input average constraint degree 1.54
3600.04/3608.20 c learned clauses 1936966
3600.04/3608.20 c learned cardinalities 5913
3600.04/3608.20 c learned general constraints 56179
3600.04/3608.20 c learned average constraint length 416.83
3600.04/3608.20 c learned average constraint degree 12.02
3600.04/3608.20 c watched constraints 30111
3600.04/3608.20 c counting constraints 26458
3600.04/3608.20 c gcd simplifications 610934
3600.04/3608.20 c detected cardinalities 9
3600.04/3608.20 c weakened non-implied lits 964914627
3600.04/3608.20 c weakened non-implying lits 4546417
3600.04/3608.20 c original variables 1485
3600.04/3608.20 c clausal propagations 256844527
3600.04/3608.20 c cardinality propagations 84779461
3600.04/3608.20 c watched propagations 442541
3600.04/3608.20 c counting propagations 142758782
3600.04/3608.20 c watch lookups 81340535160
3600.04/3608.20 c watch backjump lookups 60374284994
3600.04/3608.20 c watch checks 132514764101
3600.04/3608.20 c propagation checks 6217059888
3600.04/3608.20 c constraint additions 4107598276
3600.04/3608.20 c trail pops 493055730
3600.04/3608.20 c formula constraints 104940
3600.04/3608.20 c learned constraints 1999058
3600.04/3608.20 c bound constraints 331
3600.04/3608.20 c core-guided constraints 1732
3600.04/3608.20 c encountered formula constraints 90891851
3600.04/3608.20 c encountered learned constraints 5972960
3600.04/3608.20 c encountered bound constraints 1495
3600.04/3608.20 c encountered core-guided constraints 345750
3600.04/3608.20 c LP total time 0 s
3600.04/3608.20 c LP solve time 0 s
3600.04/3608.20 c LP constraints added 0
3600.04/3608.20 c LP constraints removed 0
3600.04/3608.20 c LP pivots internal 0
3600.04/3608.20 c LP pivots root 0
3600.04/3608.20 c LP calls 0
3600.04/3608.20 c LP optimalities 0
3600.04/3608.20 c LP no pivot count 0
3600.04/3608.20 c LP infeasibilities 0
3600.04/3608.20 c LP valid Farkas constraints 0
3600.04/3608.20 c LP learned Farkas constraints 0
3600.04/3608.20 c LP basis resets 0
3600.04/3608.20 c LP cycling count 0
3600.04/3608.20 c LP singular count 0
3600.04/3608.20 c LP no primal count 0
3600.04/3608.20 c LP no farkas count 0
3600.04/3608.20 c LP other issue count 0
3600.04/3608.20 c LP Gomory cuts 0
3600.04/3608.20 c LP learned cuts 0
3600.04/3608.20 c LP deleted cuts 0
3600.04/3608.20 c LP encountered Gomory constraints 0
3600.04/3608.20 c LP encountered Farkas constraints 0
3600.04/3608.20 c LP encountered learned Farkas constraints 0
3600.04/3608.20 c CG auxiliary variables introduced 678
3600.04/3608.20 c CG solutions found 1
3600.04/3608.20 c CG cores constructed 330
3600.04/3608.20 c CG core cardinality constraints returned 0
3600.04/3608.20 c CG unit cores 0
3600.04/3608.20 c CG single cores 325
3600.04/3608.20 c CG blocks removed during cardinality reduction 0
3600.04/3608.20 c CG first core best 0
3600.04/3608.20 c CG decision core best 0
3600.04/3608.20 c CG core reduction tie 5
3600.04/3608.20 c CG core degree average 1.00
3600.04/3608.20 c CG core slack average 4.63
3600.04/3608.20 c CG exhausted 0
3600.04/3608.20 c CG exhaust time 324.376 s
3600.04/3608.20 c CG trimmed 26
3600.04/3608.20 c CG trim time 0.022116 s
3600.04/3608.20 c CG minimized 0
3600.04/3608.20 c CG minimize time 0 s
3600.04/3608.20 c CG am1 prop time 0.00608 s
3600.04/3608.20 c CG # am1s reformulated 0
3600.04/3608.20 c CG lower bound derived from am1s 0
3600.04/3608.20 c CG # clausal cores 327
3600.04/3608.20 c CG # cardinality cores 0
3600.04/3608.20 c CG # pb cores 8
3600.04/3608.20 c CG # pb reforms 0
3600.04/3608.20 c CG # cores discarded because of pb reform 0
3600.04/3608.20 d LOWERBOUND -880
3600.04/3608.20 d NCORES 330
3600.04/3608.20 d NPBCORES 8
3600.04/3608.20 d NPBREFORM 0
3600.04/3608.20 d NTRIMMED 26
3600.04/3608.20 d NEXHAUSTED 0
3600.04/3608.20 d NAM1S 0
3600.04/3608.20 d AM1LB 0
3600.04/3608.20 o -726
3600.04/3608.20 s SATISFIABLE
3600.04/3608.20 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 (50368 MiB free)
memory of node 1: 64510 MiB (56227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458775-1721891549/watcher-4458775-1721891549 -o /tmp/evaluation-result-4458775-1721891549/solver-4458775-1721891549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273805 --watchdog 3760 pb-oll-rs HOME/instance-4458775-1721891549.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
solver pid=275836, runsolver pid=275833
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.15 4.12 4.09 6/244 275837
/proc/meminfo: memFree=109150940/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=39768 memory=8080 CPUtime=0.1 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 526 0 0 0 7 3 0 0 20 0 1 0 25144273 40722432 2020 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 9942 2020 1187 291 0 1476 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39768 KiB
Current children cumulated memory: 8080 KiB
[startup+0.212557 s]*
/proc/loadavg: 4.15 4.12 4.09 5/244 275837
/proc/meminfo: memFree=109150436/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=40164 memory=8340 CPUtime=0.22 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 614 0 0 0 16 6 0 0 20 0 1 0 25144273 41127936 2085 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 10041 2085 1187 291 0 1575 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40164 KiB
Current children cumulated memory: 8340 KiB
[startup+0.313123 s]*
/proc/loadavg: 4.15 4.12 4.09 5/244 275837
/proc/meminfo: memFree=109149960/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=40428 memory=8868 CPUtime=0.32 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 701 0 0 0 24 8 0 0 20 0 1 0 25144273 41398272 2217 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 10107 2217 1187 291 0 1641 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40428 KiB
Current children cumulated memory: 8868 KiB
[startup+0.700285 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 275837
/proc/meminfo: memFree=109148140/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=45424 memory=13888 CPUtime=0.69 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 1916 0 0 0 52 17 0 0 20 0 1 0 25144273 46514176 3472 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 11356 3472 1361 291 0 2890 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45424 KiB
Current children cumulated memory: 13888 KiB
[startup+1.50028 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 275837
/proc/meminfo: memFree=109142400/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=51496 memory=17984 CPUtime=1.48 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 2950 0 0 0 130 18 0 0 20 0 1 0 25144273 52731904 4496 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 12874 4496 1377 291 0 4408 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51496 KiB
Current children cumulated memory: 17984 KiB
[startup+3.11344 s]
/proc/loadavg: 4.06 4.10 4.09 5/244 275883
/proc/meminfo: memFree=109377700/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=54904 memory=24916 CPUtime=3.09 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 4633 0 0 0 290 19 0 0 20 0 1 0 25144273 56221696 6229 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 13726 6229 1377 291 0 5260 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 54904 KiB
Current children cumulated memory: 24916 KiB
[startup+6.30031 s]
/proc/loadavg: 4.06 4.10 4.09 5/244 275885
/proc/meminfo: memFree=109340520/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=65204 memory=29868 CPUtime=6.27 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 5813 0 0 0 606 21 0 0 20 0 1 0 25144273 66768896 7467 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 16301 7467 1433 291 0 7835 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 65204 KiB
Current children cumulated memory: 29868 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 4.10 4.09 5/244 275885
/proc/meminfo: memFree=109322024/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=65568 memory=32692 CPUtime=12.65 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 6053 0 0 0 1241 24 0 0 20 0 1 0 25144273 67141632 8173 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 16392 8173 1433 291 0 7926 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 65568 KiB
Current children cumulated memory: 32692 KiB
[startup+25.5003 s]
/proc/loadavg: 4.04 4.09 4.08 5/244 275934
/proc/meminfo: memFree=109468084/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=68356 memory=38928 CPUtime=25.42 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 7109 0 0 0 2512 30 0 0 20 0 1 0 25144273 69996544 9732 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 17089 9732 1433 291 0 8623 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 68356 KiB
Current children cumulated memory: 38928 KiB
[startup+51.113 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 275937
/proc/meminfo: memFree=109432664/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=80032 memory=45432 CPUtime=50.96 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 7691 0 0 0 5056 40 0 0 20 0 1 0 25144273 81952768 11358 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 20008 11358 1433 291 0 11542 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 80032 KiB
Current children cumulated memory: 45432 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/244 275946
/proc/meminfo: memFree=109394220/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=84404 memory=54096 CPUtime=101.99 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 8834 0 0 0 10139 60 0 0 20 0 1 0 25144273 86429696 13524 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 21101 13524 1433 291 0 12635 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 84404 KiB
Current children cumulated memory: 54096 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/245 275957
/proc/meminfo: memFree=109359788/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=104036 memory=60960 CPUtime=161.84 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 9533 0 0 0 16105 79 0 0 20 0 1 0 25144273 106532864 15240 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 26009 15240 1433 291 0 17543 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 104036 KiB
Current children cumulated memory: 60960 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/242 275967
/proc/meminfo: memFree=109335852/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=108268 memory=68804 CPUtime=221.7 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 10539 0 0 0 22075 95 0 0 20 0 1 0 25144273 110866432 17201 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 27067 17201 1433 291 0 18601 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 108268 KiB
Current children cumulated memory: 68804 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/242 275978
/proc/meminfo: memFree=109312500/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=110868 memory=75688 CPUtime=281.57 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 11288 0 0 0 28049 108 0 0 20 0 1 0 25144273 113528832 18922 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 27717 18922 1433 291 0 19251 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 110868 KiB
Current children cumulated memory: 75688 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/242 275988
/proc/meminfo: memFree=109281896/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=126408 memory=89780 CPUtime=341.42 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 14796 0 0 0 34018 124 0 0 20 0 1 0 25144273 129441792 22445 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 31602 22445 1433 291 0 23136 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 89780 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/242 275999
/proc/meminfo: memFree=109267400/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=127964 memory=91296 CPUtime=401.28 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 15228 0 0 0 39988 140 0 0 20 0 1 0 25144273 131035136 22824 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 31991 22824 1433 291 0 23525 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 127964 KiB
Current children cumulated memory: 91296 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/241 276009
/proc/meminfo: memFree=109254300/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=128160 memory=93752 CPUtime=461.14 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 15361 0 0 0 45962 152 0 0 20 0 1 0 25144273 131235840 23438 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 32040 23438 1433 291 0 23574 0
################
# More data... #
################
Current children cumulated memory: 138680 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.20 4.19 5/243 277700
/proc/meminfo: memFree=106306968/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=169292 memory=138880 CPUtime=2855.75 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 47740 0 0 0 284902 673 0 0 20 0 1 0 25144273 173355008 34720 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 42323 34720 1433 291 0 33857 0
Current children cumulated CPU time: 2855.75 s
Current children cumulated vsize: 169292 KiB
Current children cumulated memory: 138880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.76 4.38 4.26 5/243 277725
/proc/meminfo: memFree=106279608/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=170060 memory=139584 CPUtime=2915.63 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 49213 0 0 0 290874 689 0 0 20 0 1 0 25144273 174141440 34896 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 42515 34896 1433 291 0 34049 0
Current children cumulated CPU time: 2915.63 s
Current children cumulated vsize: 170060 KiB
Current children cumulated memory: 139584 KiB
[startup+2982.3 s]
/proc/loadavg: 4.37 4.34 4.25 5/243 277737
/proc/meminfo: memFree=106250688/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=170492 memory=139956 CPUtime=2975.5 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 50000 0 0 0 296847 703 0 0 20 0 1 0 25144273 174583808 34989 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 42623 34989 1433 291 0 34157 0
Current children cumulated CPU time: 2975.5 s
Current children cumulated vsize: 170492 KiB
Current children cumulated memory: 139956 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.29 4.24 5/243 277747
/proc/meminfo: memFree=106221728/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=170560 memory=140124 CPUtime=3035.37 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 51327 0 0 0 302821 716 0 0 20 0 1 0 25144273 174653440 35031 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 42640 35031 1433 291 0 34174 0
Current children cumulated CPU time: 3035.37 s
Current children cumulated vsize: 170560 KiB
Current children cumulated memory: 140124 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.27 4.23 5/243 277758
/proc/meminfo: memFree=106193056/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=220648 memory=143352 CPUtime=3095.24 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 52267 0 0 0 308793 731 0 0 20 0 1 0 25144273 225943552 35838 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55162 35838 1433 291 0 46696 0
Current children cumulated CPU time: 3095.24 s
Current children cumulated vsize: 220648 KiB
Current children cumulated memory: 143352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.23 4.22 5/243 277768
/proc/meminfo: memFree=106167296/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=220740 memory=143488 CPUtime=3155.11 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 52984 0 0 0 314764 747 0 0 20 0 1 0 25144273 226037760 35872 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55185 35872 1433 291 0 46719 0
Current children cumulated CPU time: 3155.11 s
Current children cumulated vsize: 220740 KiB
Current children cumulated memory: 143488 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.19 4.20 5/241 277778
/proc/meminfo: memFree=106142988/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=220924 memory=143696 CPUtime=3214.98 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 54346 0 0 0 320736 762 0 0 20 0 1 0 25144273 226226176 35924 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55231 35924 1433 291 0 46765 0
Current children cumulated CPU time: 3214.98 s
Current children cumulated vsize: 220924 KiB
Current children cumulated memory: 143696 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.18 4.20 5/241 277788
/proc/meminfo: memFree=106110416/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=221068 memory=147992 CPUtime=3274.85 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 55084 0 0 0 326712 773 0 0 20 0 1 0 25144273 226373632 36998 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55267 36998 1433 291 0 46801 0
Current children cumulated CPU time: 3274.85 s
Current children cumulated vsize: 221068 KiB
Current children cumulated memory: 147992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.19 5/241 277798
/proc/meminfo: memFree=106090696/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=221072 memory=148000 CPUtime=3334.72 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 55769 0 0 0 332685 787 0 0 20 0 1 0 25144273 226377728 37000 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55268 37000 1433 291 0 46802 0
Current children cumulated CPU time: 3334.72 s
Current children cumulated vsize: 221072 KiB
Current children cumulated memory: 148000 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.18 5/241 277809
/proc/meminfo: memFree=106066056/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=221240 memory=148164 CPUtime=3394.6 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 56486 0 0 0 338658 802 0 0 20 0 1 0 25144273 226549760 37041 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55310 37041 1433 291 0 46844 0
Current children cumulated CPU time: 3394.6 s
Current children cumulated vsize: 221240 KiB
Current children cumulated memory: 148164 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.17 5/241 277819
/proc/meminfo: memFree=106041468/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=221276 memory=148204 CPUtime=3454.46 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 57184 0 0 0 344633 813 0 0 20 0 1 0 25144273 226586624 37051 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55319 37051 1433 291 0 46853 0
Current children cumulated CPU time: 3454.46 s
Current children cumulated vsize: 221276 KiB
Current children cumulated memory: 148204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.17 5/242 277833
/proc/meminfo: memFree=106017532/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=221476 memory=149188 CPUtime=3514.33 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 57922 0 0 0 350607 826 0 0 20 0 1 0 25144273 226791424 37297 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55369 37297 1433 291 0 46903 0
Current children cumulated CPU time: 3514.33 s
Current children cumulated vsize: 221476 KiB
Current children cumulated memory: 149188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.17 5/242 277844
/proc/meminfo: memFree=105987424/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=221516 memory=149240 CPUtime=3574.2 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 58633 0 0 0 356581 839 0 0 20 0 1 0 25144273 226832384 37310 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55379 37310 1433 291 0 46913 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 149240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.2 s]
/proc/loadavg: 4.09 4.11 4.16 5/242 277848
/proc/meminfo: memFree=105983160/131655788 swapFree=131070704/131071996
[pid=275836] ppid=275833 vsize=222024 memory=149672 CPUtime=3600.04 cores=1,3
/proc/275836/stat : 275836 (pb-oll-rs) R 275833 275836 273793 0 -1 4194304 59427 0 0 0 359160 844 0 0 20 0 1 0 25144273 227352576 37418 134679101440 4194304 5384005 140727817964048 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38350848 140727817970711 140727817970788 140727817970788 140727817977803 0
/proc/275836/statm: 55506 37418 1433 291 0 47040 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 149672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.2 s]
# the end of solver process 275836 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.61 s, system=8.45058 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.2
CPU time (s): 3600.06
CPU user time (s): 3591.61
CPU system time (s): 8.45058
CPU usage (%): 99.7742
Max. virtual memory (cumulated for all children) (KiB): 224144
Max. memory (cumulated for all children) (KiB): 151544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.61
system time used= 8.45058
maximum resident set size= 152132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59442
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= 62
involuntary context switches= 1631
# summary of solver processes directly reported to runsolver:
# pid: 275836
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.61
# total CPU system time (s): 8.45058
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0746 second user time and 36.1436 second system time
The end
Begin job on nodeC008 at 2024-07-25 09:12:29
IDJOB=4458775
IDBENCH=178157
IDSOLVER=3067
FILE ID=nodeC008/4458775-1721891549
RUNJOBID= nodeC008-1721887939-273805
SLURM_JOB_ID= 8089302
Free space on /tmp= 723760 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458775-1721891549/watcher-4458775-1721891549 -o /tmp/evaluation-result-4458775-1721891549/solver-4458775-1721891549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273805 --watchdog 3760 pb-oll-rs HOME/instance-4458775-1721891549.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ff0f59bbfc198112e385d67f72301d6a
RANDOM SEED=25764228
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.722
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 : 1950.808
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.266
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.119
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 : 3491.597
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 : 3652.131
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.134
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.222
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: 109155264 kB
MemAvailable: 129122212 kB
Buffers: 312408 kB
Cached: 20416084 kB
SwapCached: 732 kB
Active: 2744432 kB
Inactive: 19048044 kB
Active(anon): 1644 kB
Inactive(anon): 1116564 kB
Active(file): 2742788 kB
Inactive(file): 17931480 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 4976 kB
Writeback: 0 kB
AnonPages: 1052484 kB
Mapped: 123956 kB
Shmem: 53860 kB
KReclaimable: 265420 kB
Slab: 385460 kB
SReclaimable: 265420 kB
SUnreclaim: 120040 kB
KernelStack: 3932 kB
PageTables: 11896 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1538364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 960512 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= 723636 MiB
End job on nodeC008 at 2024-07-25 10:12:37