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.19/0.30 c [STEP] solving
0.19/0.30 c #variables 1485 #constraints 104940
0.19/0.30 c SMALL=int, LARGE=long long
0.19/0.30 c bounds - >= -1210 @ 0.220825
0.19/0.30 c stratification level: 0
0.29/0.33 c bounds - >= -1209 @ 0.225477
0.29/0.33 c bounds - >= -1208 @ 0.22569
0.29/0.33 c bounds - >= -1207 @ 0.225877
0.29/0.33 c bounds - >= -1206 @ 0.226055
0.29/0.33 c bounds - >= -1205 @ 0.226232
0.29/0.33 c bounds - >= -1204 @ 0.226399
0.29/0.33 c bounds - >= -1203 @ 0.226565
0.29/0.33 c bounds - >= -1202 @ 0.226722
0.29/0.33 c bounds - >= -1201 @ 0.226876
0.29/0.33 c bounds - >= -1200 @ 0.227036
0.29/0.33 c bounds - >= -1199 @ 0.227177
0.29/0.33 c bounds - >= -1198 @ 0.227632
0.29/0.33 c bounds - >= -1197 @ 0.227847
0.29/0.33 c bounds - >= -1196 @ 0.228054
0.29/0.33 c bounds - >= -1195 @ 0.228234
0.29/0.33 c bounds - >= -1194 @ 0.228405
0.29/0.33 c bounds - >= -1193 @ 0.228577
0.29/0.33 c bounds - >= -1192 @ 0.228757
0.29/0.33 c bounds - >= -1191 @ 0.228923
0.29/0.33 c bounds - >= -1190 @ 0.229092
0.29/0.33 c bounds - >= -1189 @ 0.229234
0.29/0.33 c bounds - >= -1188 @ 0.229372
0.29/0.33 c bounds - >= -1187 @ 0.229571
0.29/0.33 c bounds - >= -1186 @ 0.229747
0.29/0.33 c bounds - >= -1185 @ 0.229899
0.29/0.33 c bounds - >= -1184 @ 0.230068
0.29/0.33 c bounds - >= -1183 @ 0.230214
0.29/0.33 c bounds - >= -1182 @ 0.230361
0.29/0.33 c bounds - >= -1181 @ 0.230501
0.29/0.33 c bounds - >= -1180 @ 0.230642
0.29/0.33 c bounds - >= -1179 @ 0.230794
0.29/0.33 c bounds - >= -1178 @ 0.230936
0.29/0.33 c bounds - >= -1177 @ 0.231094
0.29/0.33 c bounds - >= -1176 @ 0.231232
0.29/0.33 c bounds - >= -1175 @ 0.231404
0.29/0.33 c bounds - >= -1174 @ 0.231554
0.29/0.33 c bounds - >= -1173 @ 0.23169
0.29/0.33 c bounds - >= -1172 @ 0.231856
0.29/0.33 c bounds - >= -1171 @ 0.232013
0.29/0.33 c bounds - >= -1170 @ 0.232157
0.29/0.33 c bounds - >= -1169 @ 0.232292
0.29/0.33 c bounds - >= -1168 @ 0.232424
0.29/0.33 c bounds - >= -1167 @ 0.232566
0.29/0.33 c bounds - >= -1166 @ 0.232774
0.29/0.33 c bounds - >= -1165 @ 0.232936
0.29/0.33 c bounds - >= -1164 @ 0.233115
0.29/0.33 c bounds - >= -1163 @ 0.233256
0.29/0.33 c bounds - >= -1162 @ 0.2334
0.29/0.33 c bounds - >= -1161 @ 0.233548
0.29/0.33 c bounds - >= -1160 @ 0.233706
0.29/0.33 c bounds - >= -1159 @ 0.233847
0.29/0.33 c bounds - >= -1158 @ 0.234005
0.29/0.33 c bounds - >= -1157 @ 0.234154
0.29/0.33 c bounds - >= -1156 @ 0.234292
0.29/0.33 c bounds - >= -1155 @ 0.23443
0.29/0.33 c bounds - >= -1154 @ 0.234605
0.29/0.33 c bounds - >= -1153 @ 0.234769
0.29/0.33 c bounds - >= -1152 @ 0.234927
0.29/0.33 c bounds - >= -1151 @ 0.235084
0.29/0.33 c bounds - >= -1150 @ 0.235217
0.29/0.33 c bounds - >= -1149 @ 0.235354
0.29/0.33 c bounds - >= -1148 @ 0.2355
0.29/0.33 c bounds - >= -1147 @ 0.235638
0.29/0.33 c bounds - >= -1146 @ 0.235795
0.29/0.33 c bounds - >= -1145 @ 0.236001
0.29/0.33 c bounds - >= -1144 @ 0.23618
0.29/0.33 c bounds - >= -1143 @ 0.236322
0.29/0.33 c bounds - >= -1142 @ 0.23647
0.29/0.33 c bounds - >= -1141 @ 0.236617
0.29/0.33 c bounds - >= -1140 @ 0.236676
0.29/0.33 c bounds - >= -1139 @ 0.236676
0.29/0.33 c bounds - >= -1138 @ 0.236676
0.29/0.33 c bounds - >= -1137 @ 0.236676
0.29/0.33 c bounds - >= -1136 @ 0.236676
0.29/0.33 c bounds - >= -1135 @ 0.236676
0.29/0.33 c bounds - >= -1134 @ 0.236676
0.29/0.33 c bounds - >= -1133 @ 0.236864
0.29/0.33 c bounds - >= -1132 @ 0.237031
0.29/0.33 c bounds - >= -1131 @ 0.237174
0.29/0.33 c bounds - >= -1130 @ 0.237323
0.29/0.33 c bounds - >= -1129 @ 0.237466
0.29/0.33 c bounds - >= -1128 @ 0.237601
0.29/0.33 c bounds - >= -1127 @ 0.23775
0.29/0.33 c bounds - >= -1126 @ 0.237894
0.29/0.33 c bounds - >= -1125 @ 0.23812
0.29/0.33 c bounds - >= -1124 @ 0.238279
0.29/0.33 c bounds - >= -1123 @ 0.238438
0.29/0.33 c bounds - >= -1122 @ 0.238591
0.29/0.33 c bounds - >= -1121 @ 0.238769
0.29/0.33 c bounds - >= -1120 @ 0.238919
0.29/0.33 c bounds - >= -1119 @ 0.239086
0.29/0.33 c bounds - >= -1118 @ 0.239231
0.29/0.33 c bounds - >= -1117 @ 0.239385
0.29/0.33 c bounds - >= -1116 @ 0.239541
0.29/0.33 c bounds - >= -1115 @ 0.239808
0.29/0.33 c bounds - >= -1114 @ 0.239957
0.29/0.33 c bounds - >= -1113 @ 0.240109
0.29/0.33 c bounds - >= -1112 @ 0.240248
0.29/0.33 c bounds - >= -1111 @ 0.240394
0.29/0.33 c bounds - >= -1110 @ 0.240613
0.29/0.33 c bounds - >= -1109 @ 0.2408
0.29/0.33 c bounds - >= -1108 @ 0.240967
0.29/0.33 c bounds - >= -1107 @ 0.241129
0.29/0.33 c bounds - >= -1106 @ 0.241362
0.29/0.33 c bounds - >= -1105 @ 0.241569
0.29/0.33 c bounds - >= -1104 @ 0.241747
0.29/0.33 c bounds - >= -1103 @ 0.241908
0.29/0.33 c bounds - >= -1102 @ 0.242077
0.29/0.33 c bounds - >= -1101 @ 0.242229
0.29/0.33 c bounds - >= -1100 @ 0.242377
0.29/0.33 c bounds - >= -1099 @ 0.242522
0.29/0.33 c bounds - >= -1098 @ 0.242658
0.29/0.33 c bounds - >= -1097 @ 0.242833
0.29/0.33 c bounds - >= -1096 @ 0.24299
0.29/0.33 c bounds - >= -1095 @ 0.243139
0.29/0.33 c bounds - >= -1094 @ 0.243281
0.29/0.33 c bounds - >= -1093 @ 0.243419
0.29/0.33 c bounds - >= -1092 @ 0.243561
0.29/0.33 c bounds - >= -1091 @ 0.243738
0.29/0.33 c bounds - >= -1090 @ 0.243974
0.29/0.33 c bounds - >= -1089 @ 0.244131
0.29/0.33 c bounds - >= -1088 @ 0.244278
0.29/0.33 c bounds - >= -1087 @ 0.244408
0.29/0.33 c bounds - >= -1086 @ 0.244658
0.29/0.33 c bounds - >= -1085 @ 0.244832
0.29/0.33 c bounds - >= -1084 @ 0.244995
0.29/0.33 c bounds - >= -1083 @ 0.245145
0.29/0.33 c bounds - >= -1082 @ 0.245286
0.29/0.33 c bounds - >= -1081 @ 0.245425
0.29/0.33 c bounds - >= -1080 @ 0.24557
0.29/0.33 c bounds - >= -1079 @ 0.245718
0.29/0.33 c bounds - >= -1078 @ 0.245873
0.29/0.33 c bounds - >= -1077 @ 0.246041
0.29/0.35 c bounds - >= -1076 @ 0.246193
0.29/0.35 c bounds - >= -1075 @ 0.246336
0.29/0.35 c bounds - >= -1074 @ 0.246477
0.29/0.35 c bounds - >= -1073 @ 0.246617
0.29/0.35 c bounds - >= -1072 @ 0.246819
0.29/0.35 c bounds - >= -1071 @ 0.247075
0.29/0.35 c bounds - >= -1070 @ 0.247212
0.29/0.35 c bounds - >= -1069 @ 0.247373
0.29/0.35 c bounds - >= -1068 @ 0.247512
0.29/0.35 c bounds - >= -1067 @ 0.247714
0.29/0.35 c bounds - >= -1066 @ 0.247862
0.29/0.35 c bounds - >= -1065 @ 0.248025
0.29/0.35 c bounds - >= -1064 @ 0.248174
0.29/0.35 c bounds - >= -1063 @ 0.248309
0.29/0.35 c bounds - >= -1062 @ 0.248448
0.29/0.35 c bounds - >= -1061 @ 0.248587
0.29/0.35 c bounds - >= -1060 @ 0.248746
0.29/0.35 c bounds - >= -1059 @ 0.248913
0.29/0.35 c bounds - >= -1058 @ 0.249075
0.29/0.35 c bounds - >= -1057 @ 0.249225
0.29/0.35 c bounds - >= -1056 @ 0.249369
0.29/0.35 c bounds - >= -1055 @ 0.249509
0.29/0.35 c bounds - >= -1054 @ 0.249648
0.29/0.35 c bounds - >= -1053 @ 0.24987
0.29/0.35 c bounds - >= -1052 @ 0.250018
0.29/0.35 c bounds - >= -1051 @ 0.250146
0.29/0.35 c bounds - >= -1050 @ 0.250311
0.29/0.35 c bounds - >= -1049 @ 0.250458
0.29/0.35 c bounds - >= -1048 @ 0.250707
0.29/0.35 c bounds - >= -1047 @ 0.250864
0.29/0.35 c bounds - >= -1046 @ 0.251031
0.29/0.35 c bounds - >= -1045 @ 0.251326
0.29/0.35 c bounds - >= -1044 @ 0.251538
0.29/0.35 c bounds - >= -1043 @ 0.251753
0.29/0.35 c bounds - >= -1042 @ 0.251948
0.29/0.35 c bounds - >= -1041 @ 0.252134
0.29/0.35 c bounds - >= -1040 @ 0.252308
0.29/0.35 c bounds - >= -1039 @ 0.252478
0.29/0.35 c bounds - >= -1038 @ 0.252643
0.29/0.35 c bounds - >= -1037 @ 0.252819
0.29/0.35 c bounds - >= -1036 @ 0.252988
0.29/0.35 c bounds - >= -1035 @ 0.253131
0.29/0.35 c bounds - >= -1034 @ 0.253273
0.29/0.35 c bounds - >= -1033 @ 0.253411
0.29/0.35 c bounds - >= -1032 @ 0.253571
0.29/0.35 c bounds - >= -1031 @ 0.253814
0.29/0.35 c bounds - >= -1030 @ 0.253997
0.29/0.35 c bounds - >= -1029 @ 0.254158
0.29/0.35 c bounds - >= -1028 @ 0.254358
0.29/0.35 c bounds - >= -1027 @ 0.254534
0.29/0.35 c bounds - >= -1026 @ 0.254712
0.29/0.35 c bounds - >= -1025 @ 0.254884
0.29/0.35 c bounds - >= -1024 @ 0.255067
0.29/0.35 c bounds - >= -1023 @ 0.25523
0.29/0.35 c bounds - >= -1022 @ 0.255396
0.29/0.35 c bounds - >= -1021 @ 0.255562
0.29/0.35 c bounds - >= -1020 @ 0.25571
0.29/0.35 c bounds - >= -1019 @ 0.255859
0.29/0.35 c bounds - >= -1018 @ 0.256004
0.29/0.35 c bounds - >= -1017 @ 0.256147
0.29/0.35 c bounds - >= -1016 @ 0.256292
0.29/0.35 c bounds - >= -1015 @ 0.256471
0.29/0.35 c bounds - >= -1014 @ 0.25668
0.29/0.35 c bounds - >= -1013 @ 0.256853
0.29/0.35 c bounds - >= -1012 @ 0.257021
0.29/0.35 c bounds - >= -1011 @ 0.257215
0.29/0.35 c bounds - >= -1010 @ 0.257383
0.29/0.35 c bounds - >= -1009 @ 0.257559
0.29/0.35 c bounds - >= -1008 @ 0.257655
0.29/0.35 c bounds - >= -1007 @ 0.257655
0.29/0.35 c bounds - >= -1006 @ 0.257655
0.29/0.35 c bounds - >= -1005 @ 0.257655
0.29/0.35 c bounds - >= -1004 @ 0.257655
0.29/0.35 c bounds - >= -1003 @ 0.257655
0.29/0.35 c bounds - >= -1002 @ 0.257716
0.29/0.35 c bounds - >= -1001 @ 0.257858
0.29/0.35 c bounds - >= -1000 @ 0.258014
0.29/0.35 c bounds - >= -999 @ 0.258157
0.29/0.35 c bounds - >= -998 @ 0.258331
0.29/0.35 c bounds - >= -997 @ 0.258501
0.29/0.35 c bounds - >= -996 @ 0.258629
0.29/0.35 c bounds - >= -995 @ 0.258654
0.29/0.35 c bounds - >= -994 @ 0.258654
0.29/0.35 c bounds - >= -993 @ 0.258654
0.29/0.35 c bounds - >= -992 @ 0.258654
0.29/0.35 c bounds - >= -991 @ 0.258654
0.29/0.35 c bounds - >= -990 @ 0.258716
0.29/0.35 c bounds - >= -989 @ 0.258878
0.29/0.35 c bounds - >= -988 @ 0.259175
0.29/0.35 c bounds - >= -987 @ 0.259329
0.29/0.35 c bounds - >= -986 @ 0.259517
0.29/0.35 c bounds - >= -985 @ 0.259687
0.29/0.35 c bounds - >= -984 @ 0.259851
0.29/0.35 c bounds - >= -983 @ 0.260008
0.29/0.35 c bounds - >= -982 @ 0.260153
0.29/0.35 c bounds - >= -981 @ 0.260468
0.29/0.35 c bounds - >= -980 @ 0.260648
0.29/0.35 c bounds - >= -979 @ 0.261092
0.29/0.35 c bounds - >= -978 @ 0.261275
0.29/0.35 c bounds - >= -977 @ 0.26146
0.29/0.35 c bounds - >= -976 @ 0.261636
0.29/0.35 c bounds - >= -975 @ 0.261803
0.29/0.35 c bounds - >= -974 @ 0.26197
0.29/0.35 c bounds - >= -973 @ 0.262182
0.29/0.35 c bounds - >= -972 @ 0.262372
0.29/0.35 c bounds - >= -971 @ 0.262643
0.29/0.35 c bounds - >= -970 @ 0.262643
0.29/0.35 c bounds - >= -969 @ 0.262643
0.29/0.35 c bounds - >= -968 @ 0.262643
0.29/0.35 c bounds - >= -967 @ 0.262643
0.29/0.35 c bounds - >= -966 @ 0.262643
0.29/0.35 c bounds - >= -965 @ 0.262807
0.29/0.35 c bounds - >= -964 @ 0.263008
0.29/0.35 c bounds - >= -963 @ 0.263307
0.29/0.35 c bounds - >= -962 @ 0.263496
0.29/0.35 c bounds - >= -961 @ 0.263682
0.29/0.35 c bounds - >= -960 @ 0.263861
0.29/0.35 c bounds - >= -959 @ 0.264042
0.29/0.35 c bounds - >= -958 @ 0.26422
0.29/0.35 c bounds - >= -957 @ 0.264483
0.29/0.35 c bounds - >= -956 @ 0.264838
0.29/0.35 c bounds - >= -955 @ 0.265091
0.29/0.35 c bounds - >= -954 @ 0.265292
0.29/0.35 c bounds - >= -953 @ 0.2655
0.29/0.35 c bounds - >= -952 @ 0.26569
0.29/0.35 c bounds - >= -951 @ 0.26588
0.29/0.35 c bounds - >= -950 @ 0.266051
0.29/0.35 c bounds - >= -949 @ 0.266221
0.29/0.35 c bounds - >= -948 @ 0.266442
0.29/0.35 c bounds - >= -947 @ 0.266836
0.29/0.35 c bounds - >= -946 @ 0.267114
0.29/0.35 c bounds - >= -945 @ 0.267347
0.29/0.35 c bounds - >= -944 @ 0.267619
0.29/0.35 c bounds - >= -943 @ 0.267898
0.29/0.36 c bounds - >= -942 @ 0.26812
0.29/0.36 c bounds - >= -941 @ 0.268331
0.29/0.36 c bounds - >= -940 @ 0.268556
0.29/0.36 c bounds - >= -939 @ 0.268806
0.29/0.36 c bounds - >= -938 @ 0.269252
0.29/0.36 c bounds - >= -937 @ 0.269536
0.29/0.36 c bounds - >= -936 @ 0.269785
0.29/0.36 c bounds - >= -935 @ 0.269981
0.29/0.36 c bounds - >= -934 @ 0.27017
0.29/0.36 c bounds - >= -933 @ 0.270351
0.29/0.36 c bounds - >= -932 @ 0.270533
0.29/0.36 c bounds - >= -931 @ 0.27071
0.29/0.36 c bounds - >= -930 @ 0.270943
0.29/0.36 c bounds - >= -929 @ 0.271319
0.29/0.36 c bounds - >= -928 @ 0.271589
0.29/0.36 c bounds - >= -927 @ 0.271876
0.29/0.36 c bounds - >= -926 @ 0.27214
0.29/0.36 c bounds - >= -925 @ 0.272331
0.29/0.36 c bounds - >= -924 @ 0.272508
0.29/0.36 c bounds - >= -923 @ 0.272714
0.29/0.36 c bounds - >= -922 @ 0.273034
0.29/0.36 c bounds - >= -921 @ 0.27341
0.29/0.36 c bounds - >= -920 @ 0.27368
0.29/0.36 c bounds - >= -919 @ 0.273917
0.29/0.36 c bounds - >= -918 @ 0.274136
0.29/0.36 c bounds - >= -917 @ 0.274462
0.29/0.36 c bounds - >= -916 @ 0.274765
0.29/0.36 c bounds - >= -915 @ 0.275099
0.29/0.36 c bounds - >= -914 @ 0.275328
0.29/0.36 c bounds - >= -913 @ 0.27556
0.29/0.36 c bounds - >= -912 @ 0.275932
0.29/0.36 c bounds - >= -911 @ 0.27614
0.29/0.36 c bounds - >= -910 @ 0.276456
0.29/0.36 c bounds - >= -909 @ 0.276668
0.29/0.36 c bounds - >= -908 @ 0.27697
0.29/0.36 c finalizing WCE round: reformulating cores
66.77/67.06 c #Conflicts: 1000 | #Constraints: 106275
66.77/67.06 c #Conflicts: 2000 | #Constraints: 107277
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 3000 | #Constraints: 106967
66.77/67.06 c #Conflicts: 4000 | #Constraints: 107969
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 5000 | #Constraints: 107365
66.77/67.06 c #Conflicts: 6000 | #Constraints: 108367
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 7000 | #Constraints: 107369
66.77/67.06 c #Conflicts: 8000 | #Constraints: 108371
66.77/67.06 c #Conflicts: 9000 | #Constraints: 109375
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 10000 | #Constraints: 108078
66.77/67.06 c #Conflicts: 11000 | #Constraints: 109080
66.77/67.06 c #Conflicts: 12000 | #Constraints: 110082
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 13000 | #Constraints: 108534
66.77/67.06 c #Conflicts: 14000 | #Constraints: 109536
66.77/67.06 c #Conflicts: 15000 | #Constraints: 110538
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 16000 | #Constraints: 108767
66.77/67.06 c #Conflicts: 17000 | #Constraints: 109769
66.77/67.06 c #Conflicts: 18000 | #Constraints: 110771
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 19000 | #Constraints: 108786
66.77/67.06 c #Conflicts: 20000 | #Constraints: 109788
66.77/67.06 c #Conflicts: 21000 | #Constraints: 110790
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 22000 | #Constraints: 108599
66.77/67.06 c #Conflicts: 23000 | #Constraints: 109601
66.77/67.06 c #Conflicts: 24000 | #Constraints: 110605
66.77/67.06 c #Conflicts: 25000 | #Constraints: 111607
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 26000 | #Constraints: 109215
66.77/67.06 c #Conflicts: 27000 | #Constraints: 110217
66.77/67.06 c #Conflicts: 28000 | #Constraints: 111219
66.77/67.06 c #Conflicts: 29000 | #Constraints: 112223
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 30000 | #Constraints: 109627
66.77/67.06 c #Conflicts: 31000 | #Constraints: 110629
66.77/67.06 c #Conflicts: 32000 | #Constraints: 111631
66.77/67.06 c #Conflicts: 33000 | #Constraints: 112635
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 34000 | #Constraints: 109837
66.77/67.06 c #Conflicts: 35000 | #Constraints: 110839
66.77/67.06 c #Conflicts: 36000 | #Constraints: 111841
66.77/67.06 c #Conflicts: 37000 | #Constraints: 112845
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 38000 | #Constraints: 109848
66.77/67.06 c #Conflicts: 39000 | #Constraints: 110850
66.77/67.06 c #Conflicts: 40000 | #Constraints: 111852
66.77/67.06 c #Conflicts: 41000 | #Constraints: 112856
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 42000 | #Constraints: 109654
66.77/67.06 c #Conflicts: 43000 | #Constraints: 110656
66.77/67.06 c #Conflicts: 44000 | #Constraints: 111660
66.77/67.06 c #Conflicts: 45000 | #Constraints: 112662
66.77/67.06 c #Conflicts: 46000 | #Constraints: 113664
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 47000 | #Constraints: 110267
66.77/67.06 c #Conflicts: 48000 | #Constraints: 111269
66.77/67.06 c #Conflicts: 49000 | #Constraints: 112271
66.77/67.06 c #Conflicts: 50000 | #Constraints: 113275
66.77/67.06 c #Conflicts: 51000 | #Constraints: 114277
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 52000 | #Constraints: 110681
66.77/67.06 c #Conflicts: 53000 | #Constraints: 111683
66.77/67.06 c #Conflicts: 54000 | #Constraints: 112685
66.77/67.06 c #Conflicts: 55000 | #Constraints: 113689
66.77/67.06 c #Conflicts: 56000 | #Constraints: 114691
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 57000 | #Constraints: 110893
66.77/67.06 c #Conflicts: 58000 | #Constraints: 111895
66.77/67.06 c #Conflicts: 59000 | #Constraints: 112897
66.77/67.06 c #Conflicts: 60000 | #Constraints: 113901
66.77/67.06 c #Conflicts: 61000 | #Constraints: 114903
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 62000 | #Constraints: 110906
66.77/67.06 c #Conflicts: 63000 | #Constraints: 111908
66.77/67.06 c #Conflicts: 64000 | #Constraints: 112910
66.77/67.06 c #Conflicts: 65000 | #Constraints: 113914
66.77/67.06 c #Conflicts: 66000 | #Constraints: 114916
66.77/67.06 c INPROCESSING
66.77/67.06 c GARBAGE COLLECT
66.77/67.06 c #Conflicts: 67000 | #Constraints: 110722
66.77/67.06 c #Conflicts: 68000 | #Constraints: 111724
160.84/161.41 c #Conflicts: 69000 | #Constraints: 112728
160.84/161.41 c #Conflicts: 70000 | #Constraints: 113730
160.84/161.41 c #Conflicts: 71000 | #Constraints: 114732
160.84/161.41 c #Conflicts: 72000 | #Constraints: 115736
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 73000 | #Constraints: 111335
160.84/161.41 c #Conflicts: 74000 | #Constraints: 112337
160.84/161.41 c #Conflicts: 75000 | #Constraints: 113339
160.84/161.41 c #Conflicts: 76000 | #Constraints: 114343
160.84/161.41 c #Conflicts: 77000 | #Constraints: 115345
160.84/161.41 c #Conflicts: 78000 | #Constraints: 116347
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 79000 | #Constraints: 111752
160.84/161.41 c #Conflicts: 80000 | #Constraints: 112754
160.84/161.41 c #Conflicts: 81000 | #Constraints: 113756
160.84/161.41 c #Conflicts: 82000 | #Constraints: 114760
160.84/161.41 c #Conflicts: 83000 | #Constraints: 115762
160.84/161.41 c #Conflicts: 84000 | #Constraints: 116764
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 85000 | #Constraints: 111969
160.84/161.41 c #Conflicts: 86000 | #Constraints: 112971
160.84/161.41 c #Conflicts: 87000 | #Constraints: 113973
160.84/161.41 c #Conflicts: 88000 | #Constraints: 114977
160.84/161.41 c #Conflicts: 89000 | #Constraints: 115979
160.84/161.41 c #Conflicts: 90000 | #Constraints: 116981
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 91000 | #Constraints: 111982
160.84/161.41 c #Conflicts: 92000 | #Constraints: 112984
160.84/161.41 c #Conflicts: 93000 | #Constraints: 113986
160.84/161.41 c #Conflicts: 94000 | #Constraints: 114990
160.84/161.41 c #Conflicts: 95000 | #Constraints: 115992
160.84/161.41 c #Conflicts: 96000 | #Constraints: 116994
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 97000 | #Constraints: 111795
160.84/161.41 c #Conflicts: 98000 | #Constraints: 112797
160.84/161.41 c #Conflicts: 99000 | #Constraints: 113801
160.84/161.41 c #Conflicts: 100000 | #Constraints: 114803
160.84/161.41 c #Conflicts: 101000 | #Constraints: 115805
160.84/161.41 c #Conflicts: 102000 | #Constraints: 116809
160.84/161.41 c #Conflicts: 103000 | #Constraints: 117811
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 104000 | #Constraints: 112413
160.84/161.41 c #Conflicts: 105000 | #Constraints: 113415
160.84/161.41 c #Conflicts: 106000 | #Constraints: 114417
160.84/161.41 c #Conflicts: 107000 | #Constraints: 115421
160.84/161.41 c #Conflicts: 108000 | #Constraints: 116423
160.84/161.41 c #Conflicts: 109000 | #Constraints: 117425
160.84/161.41 c #Conflicts: 110000 | #Constraints: 118429
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 111000 | #Constraints: 112829
160.84/161.41 c #Conflicts: 112000 | #Constraints: 113831
160.84/161.41 c #Conflicts: 113000 | #Constraints: 114833
160.84/161.41 c #Conflicts: 114000 | #Constraints: 115837
160.84/161.41 c #Conflicts: 115000 | #Constraints: 116839
160.84/161.41 c #Conflicts: 116000 | #Constraints: 117841
160.84/161.41 c #Conflicts: 117000 | #Constraints: 118845
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 118000 | #Constraints: 113047
160.84/161.41 c #Conflicts: 119000 | #Constraints: 114049
160.84/161.41 c #Conflicts: 120000 | #Constraints: 115051
160.84/161.41 c #Conflicts: 121000 | #Constraints: 116055
160.84/161.41 c #Conflicts: 122000 | #Constraints: 117057
160.84/161.41 c #Conflicts: 123000 | #Constraints: 118059
160.84/161.41 c #Conflicts: 124000 | #Constraints: 119063
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 125000 | #Constraints: 113065
160.84/161.41 c #Conflicts: 126000 | #Constraints: 114067
160.84/161.41 c #Conflicts: 127000 | #Constraints: 115069
160.84/161.41 c #Conflicts: 128000 | #Constraints: 116073
160.84/161.41 c #Conflicts: 129000 | #Constraints: 117075
160.84/161.41 c #Conflicts: 130000 | #Constraints: 118077
160.84/161.41 c #Conflicts: 131000 | #Constraints: 119081
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 132000 | #Constraints: 112882
160.84/161.41 c #Conflicts: 133000 | #Constraints: 113884
160.84/161.41 c #Conflicts: 134000 | #Constraints: 114888
160.84/161.41 c #Conflicts: 135000 | #Constraints: 115890
160.84/161.41 c #Conflicts: 136000 | #Constraints: 116892
160.84/161.41 c #Conflicts: 137000 | #Constraints: 117896
160.84/161.41 c #Conflicts: 138000 | #Constraints: 118898
160.84/161.41 c #Conflicts: 139000 | #Constraints: 119900
160.84/161.41 c INPROCESSING
160.84/161.41 c GARBAGE COLLECT
160.84/161.41 c #Conflicts: 140000 | #Constraints: 113506
281.32/282.37 c #Conflicts: 141000 | #Constraints: 114508
281.32/282.37 c #Conflicts: 142000 | #Constraints: 115510
281.32/282.37 c #Conflicts: 143000 | #Constraints: 116514
281.32/282.37 c #Conflicts: 144000 | #Constraints: 117516
281.32/282.37 c #Conflicts: 145000 | #Constraints: 118518
281.32/282.37 c #Conflicts: 146000 | #Constraints: 119522
281.32/282.37 c #Conflicts: 147000 | #Constraints: 120524
281.32/282.37 c INPROCESSING
281.32/282.37 c GARBAGE COLLECT
281.32/282.37 c #Conflicts: 148000 | #Constraints: 113926
281.32/282.37 c #Conflicts: 149000 | #Constraints: 114928
281.32/282.37 c #Conflicts: 150000 | #Constraints: 115930
281.32/282.37 c #Conflicts: 151000 | #Constraints: 116934
281.32/282.37 c #Conflicts: 152000 | #Constraints: 117936
281.32/282.37 c #Conflicts: 153000 | #Constraints: 118938
281.32/282.37 c #Conflicts: 154000 | #Constraints: 119942
281.32/282.37 c #Conflicts: 155000 | #Constraints: 120944
281.32/282.37 c INPROCESSING
281.32/282.37 c GARBAGE COLLECT
281.32/282.37 c #Conflicts: 156000 | #Constraints: 114149
281.32/282.37 c #Conflicts: 157000 | #Constraints: 115151
281.32/282.37 c #Conflicts: 158000 | #Constraints: 116153
281.32/282.37 c #Conflicts: 159000 | #Constraints: 117157
281.32/282.37 c #Conflicts: 160000 | #Constraints: 118159
281.32/282.37 c #Conflicts: 161000 | #Constraints: 119161
281.32/282.37 c #Conflicts: 162000 | #Constraints: 120165
281.32/282.37 c #Conflicts: 163000 | #Constraints: 121167
281.32/282.37 c INPROCESSING
281.32/282.37 c GARBAGE COLLECT
281.32/282.37 c #Conflicts: 164000 | #Constraints: 114164
281.32/282.37 c #Conflicts: 165000 | #Constraints: 115166
281.32/282.37 c #Conflicts: 166000 | #Constraints: 116168
281.32/282.37 c #Conflicts: 167000 | #Constraints: 117172
281.32/282.37 c #Conflicts: 168000 | #Constraints: 118174
281.32/282.37 c #Conflicts: 169000 | #Constraints: 119176
281.32/282.37 c #Conflicts: 170000 | #Constraints: 120180
281.32/282.37 c #Conflicts: 171000 | #Constraints: 121182
281.32/282.37 c INPROCESSING
281.32/282.37 c GARBAGE COLLECT
281.32/282.37 c #Conflicts: 172000 | #Constraints: 113981
281.32/282.37 c #Conflicts: 173000 | #Constraints: 114983
281.32/282.37 c #Conflicts: 174000 | #Constraints: 115987
281.32/282.37 c #Conflicts: 175000 | #Constraints: 116989
281.32/282.37 c #Conflicts: 176000 | #Constraints: 117991
281.32/282.37 c #Conflicts: 177000 | #Constraints: 118995
281.32/282.37 c #Conflicts: 178000 | #Constraints: 119997
281.32/282.37 c #Conflicts: 179000 | #Constraints: 120999
281.32/282.37 c #Conflicts: 180000 | #Constraints: 122003
281.32/282.37 c INPROCESSING
281.32/282.37 c GARBAGE COLLECT
281.32/282.37 c #Conflicts: 181000 | #Constraints: 114607
281.32/282.37 c #Conflicts: 182000 | #Constraints: 115609
281.32/282.37 c #Conflicts: 183000 | #Constraints: 116611
281.32/282.37 c #Conflicts: 184000 | #Constraints: 117615
281.32/282.37 c #Conflicts: 185000 | #Constraints: 118617
281.32/282.37 c #Conflicts: 186000 | #Constraints: 119619
281.32/282.37 c #Conflicts: 187000 | #Constraints: 120623
281.32/282.37 c #Conflicts: 188000 | #Constraints: 121625
281.32/282.37 c #Conflicts: 189000 | #Constraints: 122627
281.32/282.37 c INPROCESSING
281.32/282.37 c GARBAGE COLLECT
281.32/282.37 c #Conflicts: 190000 | #Constraints: 115032
281.32/282.37 c #Conflicts: 191000 | #Constraints: 116034
281.32/282.37 c #Conflicts: 192000 | #Constraints: 117036
281.32/282.37 c #Conflicts: 193000 | #Constraints: 118040
281.32/282.37 c #Conflicts: 194000 | #Constraints: 119042
281.32/282.37 c #Conflicts: 195000 | #Constraints: 120044
281.32/282.37 c #Conflicts: 196000 | #Constraints: 121048
281.32/282.37 c #Conflicts: 197000 | #Constraints: 122050
281.32/282.37 c #Conflicts: 198000 | #Constraints: 123052
281.32/282.37 c INPROCESSING
281.32/282.37 c GARBAGE COLLECT
281.32/282.37 c #Conflicts: 199000 | #Constraints: 115260
281.32/282.37 c #Conflicts: 200000 | #Constraints: 116262
281.32/282.37 c #Conflicts: 201000 | #Constraints: 117264
281.32/282.37 c #Conflicts: 202000 | #Constraints: 118268
281.32/282.37 c #Conflicts: 203000 | #Constraints: 119270
281.32/282.37 c #Conflicts: 204000 | #Constraints: 120272
281.32/282.37 c #Conflicts: 205000 | #Constraints: 121276
281.32/282.37 c #Conflicts: 206000 | #Constraints: 122278
281.32/282.37 c #Conflicts: 207000 | #Constraints: 123280
281.32/282.37 c INPROCESSING
281.32/282.37 c GARBAGE COLLECT
281.32/282.37 c #Conflicts: 208000 | #Constraints: 115280
281.32/282.37 c #Conflicts: 209000 | #Constraints: 116282
281.32/282.37 c #Conflicts: 210000 | #Constraints: 117284
281.32/282.37 c #Conflicts: 211000 | #Constraints: 118288
281.32/282.37 c #Conflicts: 212000 | #Constraints: 119290
281.32/282.37 c #Conflicts: 213000 | #Constraints: 120292
371.89/373.26 c #Conflicts: 214000 | #Constraints: 121296
371.89/373.26 c #Conflicts: 215000 | #Constraints: 122298
371.89/373.26 c #Conflicts: 216000 | #Constraints: 123300
371.89/373.26 c INPROCESSING
371.89/373.26 c GARBAGE COLLECT
371.89/373.26 c #Conflicts: 217000 | #Constraints: 115103
371.89/373.26 c #Conflicts: 218000 | #Constraints: 116105
371.89/373.26 c #Conflicts: 219000 | #Constraints: 117109
371.89/373.26 c #Conflicts: 220000 | #Constraints: 118111
371.89/373.26 c #Conflicts: 221000 | #Constraints: 119113
371.89/373.26 c #Conflicts: 222000 | #Constraints: 120117
371.89/373.26 c #Conflicts: 223000 | #Constraints: 121119
371.89/373.26 c #Conflicts: 224000 | #Constraints: 122121
371.89/373.26 c #Conflicts: 225000 | #Constraints: 123125
371.89/373.26 c #Conflicts: 226000 | #Constraints: 124127
371.89/373.26 c INPROCESSING
371.89/373.26 c GARBAGE COLLECT
371.89/373.26 c #Conflicts: 227000 | #Constraints: 115728
371.89/373.26 c #Conflicts: 228000 | #Constraints: 116730
371.89/373.26 c #Conflicts: 229000 | #Constraints: 117732
371.89/373.26 c #Conflicts: 230000 | #Constraints: 118736
371.89/373.26 c #Conflicts: 231000 | #Constraints: 119738
371.89/373.26 c #Conflicts: 232000 | #Constraints: 120740
371.89/373.26 c #Conflicts: 233000 | #Constraints: 121744
371.89/373.26 c #Conflicts: 234000 | #Constraints: 122746
371.89/373.26 c #Conflicts: 235000 | #Constraints: 123748
371.89/373.26 c #Conflicts: 236000 | #Constraints: 124752
371.89/373.26 c INPROCESSING
371.89/373.26 c GARBAGE COLLECT
371.89/373.26 c #Conflicts: 237000 | #Constraints: 116154
371.89/373.26 c #Conflicts: 238000 | #Constraints: 117156
371.89/373.26 c #Conflicts: 239000 | #Constraints: 118158
371.89/373.26 c #Conflicts: 240000 | #Constraints: 119162
371.89/373.26 c #Conflicts: 241000 | #Constraints: 120164
371.89/373.26 c bounds -726 >= -908 @ 321.401
371.89/373.26 c bounds -726 >= -907 @ 321.407
371.89/373.26 c bounds -726 >= -906 @ 321.408
371.89/373.26 c bounds -726 >= -905 @ 321.419
371.89/373.26 c bounds -726 >= -904 @ 321.424
371.89/373.26 c bounds -726 >= -903 @ 321.429
371.89/373.26 c bounds -726 >= -902 @ 321.436
371.89/373.26 c bounds -726 >= -901 @ 321.442
371.89/373.26 c bounds -726 >= -900 @ 321.449
371.89/373.26 c bounds -726 >= -899 @ 321.454
371.89/373.26 c bounds -726 >= -898 @ 321.458
371.89/373.26 c bounds -726 >= -897 @ 321.461
371.89/373.26 c bounds -726 >= -896 @ 321.465
371.89/373.26 c bounds -726 >= -895 @ 321.471
371.89/373.26 c bounds -726 >= -894 @ 321.476
371.89/373.26 c bounds -726 >= -893 @ 321.482
371.89/373.26 c bounds -726 >= -892 @ 321.487
371.89/373.26 c bounds -726 >= -891 @ 321.49
371.89/373.26 c bounds -726 >= -890 @ 321.493
371.89/373.26 c bounds -726 >= -889 @ 321.495
371.89/373.26 c bounds -726 >= -888 @ 321.499
371.89/373.26 c bounds -726 >= -887 @ 321.502
371.89/373.26 c bounds -726 >= -886 @ 321.512
371.89/373.26 c bounds -726 >= -885 @ 321.528
371.89/373.26 c bounds -726 >= -884 @ 321.588
371.89/373.26 c bounds -726 >= -883 @ 321.679
371.89/373.26 c bounds -726 >= -882 @ 321.799
371.89/373.26 c #Conflicts: 242000 | #Constraints: 122165
371.89/373.26 c bounds -726 >= -881 @ 322.283
371.89/373.26 c #Conflicts: 243000 | #Constraints: 123268
371.89/373.26 c #Conflicts: 244000 | #Constraints: 124268
371.89/373.26 c #Conflicts: 245000 | #Constraints: 125268
371.89/373.26 c #Conflicts: 246000 | #Constraints: 126268
371.89/373.26 c INPROCESSING
371.89/373.26 c GARBAGE COLLECT
371.89/373.26 c #Conflicts: 247000 | #Constraints: 117185
371.89/373.26 c #Conflicts: 248000 | #Constraints: 118185
371.89/373.26 c #Conflicts: 249000 | #Constraints: 119185
371.89/373.26 c bounds -726 >= -880 @ 337.503
371.89/373.26 c #Conflicts: 250000 | #Constraints: 120264
371.89/373.26 c #Conflicts: 251000 | #Constraints: 121264
371.89/373.26 c #Conflicts: 252000 | #Constraints: 122264
371.89/373.26 c #Conflicts: 253000 | #Constraints: 123264
371.89/373.26 c #Conflicts: 254000 | #Constraints: 124264
371.89/373.26 c #Conflicts: 255000 | #Constraints: 125264
371.89/373.26 c #Conflicts: 256000 | #Constraints: 126264
371.89/373.26 c INPROCESSING
371.89/373.26 c GARBAGE COLLECT
371.89/373.26 c #Conflicts: 257000 | #Constraints: 117085
371.89/373.26 c #Conflicts: 258000 | #Constraints: 118085
371.89/373.26 c #Conflicts: 259000 | #Constraints: 119085
371.89/373.26 c #Conflicts: 260000 | #Constraints: 120085
371.89/373.26 c #Conflicts: 261000 | #Constraints: 121085
371.89/373.26 c #Conflicts: 262000 | #Constraints: 122085
371.89/373.26 c #Conflicts: 263000 | #Constraints: 123085
371.89/373.26 c #Conflicts: 264000 | #Constraints: 124085
371.89/373.26 c #Conflicts: 265000 | #Constraints: 125085
371.89/373.26 c #Conflicts: 266000 | #Constraints: 126085
371.89/373.26 c INPROCESSING
371.89/373.26 c GARBAGE COLLECT
371.89/373.26 c #Conflicts: 267000 | #Constraints: 116779
371.89/373.26 c #Conflicts: 268000 | #Constraints: 117779
371.89/373.26 c #Conflicts: 269000 | #Constraints: 118779
371.89/373.26 c #Conflicts: 270000 | #Constraints: 119779
503.93/505.75 c #Conflicts: 271000 | #Constraints: 120779
503.93/505.75 c #Conflicts: 272000 | #Constraints: 121779
503.93/505.75 c #Conflicts: 273000 | #Constraints: 122779
503.93/505.75 c #Conflicts: 274000 | #Constraints: 123779
503.93/505.75 c #Conflicts: 275000 | #Constraints: 124779
503.93/505.75 c #Conflicts: 276000 | #Constraints: 125779
503.93/505.75 c #Conflicts: 277000 | #Constraints: 126779
503.93/505.75 c INPROCESSING
503.93/505.75 c GARBAGE COLLECT
503.93/505.75 c #Conflicts: 278000 | #Constraints: 117331
503.93/505.75 c #Conflicts: 279000 | #Constraints: 118331
503.93/505.75 c #Conflicts: 280000 | #Constraints: 119331
503.93/505.75 c #Conflicts: 281000 | #Constraints: 120331
503.93/505.75 c #Conflicts: 282000 | #Constraints: 121331
503.93/505.75 c #Conflicts: 283000 | #Constraints: 122331
503.93/505.75 c #Conflicts: 284000 | #Constraints: 123331
503.93/505.75 c #Conflicts: 285000 | #Constraints: 124331
503.93/505.75 c #Conflicts: 286000 | #Constraints: 125331
503.93/505.75 c #Conflicts: 287000 | #Constraints: 126331
503.93/505.75 c #Conflicts: 288000 | #Constraints: 127331
503.93/505.75 c INPROCESSING
503.93/505.75 c GARBAGE COLLECT
503.93/505.75 c #Conflicts: 289000 | #Constraints: 117711
503.93/505.75 c #Conflicts: 290000 | #Constraints: 118711
503.93/505.75 c #Conflicts: 291000 | #Constraints: 119711
503.93/505.75 c #Conflicts: 292000 | #Constraints: 120711
503.93/505.75 c #Conflicts: 293000 | #Constraints: 121711
503.93/505.75 c #Conflicts: 294000 | #Constraints: 122711
503.93/505.75 c #Conflicts: 295000 | #Constraints: 123711
503.93/505.75 c #Conflicts: 296000 | #Constraints: 124711
503.93/505.75 c #Conflicts: 297000 | #Constraints: 125711
503.93/505.75 c #Conflicts: 298000 | #Constraints: 126711
503.93/505.75 c #Conflicts: 299000 | #Constraints: 127711
503.93/505.75 c INPROCESSING
503.93/505.75 c GARBAGE COLLECT
503.93/505.75 c #Conflicts: 300000 | #Constraints: 117889
503.93/505.75 c #Conflicts: 301000 | #Constraints: 118889
503.93/505.75 c #Conflicts: 302000 | #Constraints: 119889
503.93/505.75 c #Conflicts: 303000 | #Constraints: 120889
503.93/505.75 c #Conflicts: 304000 | #Constraints: 121889
503.93/505.75 c #Conflicts: 305000 | #Constraints: 122889
503.93/505.75 c #Conflicts: 306000 | #Constraints: 123889
503.93/505.75 c #Conflicts: 307000 | #Constraints: 124889
503.93/505.75 c #Conflicts: 308000 | #Constraints: 125889
503.93/505.75 c #Conflicts: 309000 | #Constraints: 126889
503.93/505.75 c #Conflicts: 310000 | #Constraints: 127889
503.93/505.75 c INPROCESSING
503.93/505.75 c GARBAGE COLLECT
503.93/505.75 c #Conflicts: 311000 | #Constraints: 117890
503.93/505.75 c #Conflicts: 312000 | #Constraints: 118890
503.93/505.75 c #Conflicts: 313000 | #Constraints: 119890
503.93/505.75 c #Conflicts: 314000 | #Constraints: 120890
503.93/505.75 c #Conflicts: 315000 | #Constraints: 121890
503.93/505.75 c #Conflicts: 316000 | #Constraints: 122890
503.93/505.75 c #Conflicts: 317000 | #Constraints: 123890
503.93/505.75 c #Conflicts: 318000 | #Constraints: 124890
503.93/505.75 c #Conflicts: 319000 | #Constraints: 125890
503.93/505.75 c #Conflicts: 320000 | #Constraints: 126890
503.93/505.75 c #Conflicts: 321000 | #Constraints: 127890
503.93/505.75 c INPROCESSING
503.93/505.75 c GARBAGE COLLECT
503.93/505.75 c #Conflicts: 322000 | #Constraints: 117691
503.93/505.75 c #Conflicts: 323000 | #Constraints: 118691
503.93/505.75 c #Conflicts: 324000 | #Constraints: 119691
503.93/505.75 c #Conflicts: 325000 | #Constraints: 120691
503.93/505.75 c #Conflicts: 326000 | #Constraints: 121691
503.93/505.75 c #Conflicts: 327000 | #Constraints: 122691
503.93/505.75 c #Conflicts: 328000 | #Constraints: 123691
503.93/505.75 c #Conflicts: 329000 | #Constraints: 124691
503.93/505.75 c #Conflicts: 330000 | #Constraints: 125691
503.93/505.75 c #Conflicts: 331000 | #Constraints: 126691
503.93/505.75 c #Conflicts: 332000 | #Constraints: 127691
503.93/505.75 c #Conflicts: 333000 | #Constraints: 128691
503.93/505.75 c INPROCESSING
503.93/505.75 c GARBAGE COLLECT
503.93/505.75 c #Conflicts: 334000 | #Constraints: 118298
503.93/505.75 c #Conflicts: 335000 | #Constraints: 119298
503.93/505.75 c #Conflicts: 336000 | #Constraints: 120298
503.93/505.75 c #Conflicts: 337000 | #Constraints: 121298
503.93/505.75 c #Conflicts: 338000 | #Constraints: 122298
503.93/505.75 c #Conflicts: 339000 | #Constraints: 123298
503.93/505.75 c #Conflicts: 340000 | #Constraints: 124298
503.93/505.75 c #Conflicts: 341000 | #Constraints: 125298
503.93/505.75 c #Conflicts: 342000 | #Constraints: 126298
503.93/505.75 c #Conflicts: 343000 | #Constraints: 127298
503.93/505.75 c #Conflicts: 344000 | #Constraints: 128298
503.93/505.75 c #Conflicts: 345000 | #Constraints: 129298
633.47/635.79 c INPROCESSING
633.47/635.79 c GARBAGE COLLECT
633.47/635.79 c #Conflicts: 346000 | #Constraints: 118680
633.47/635.79 c #Conflicts: 347000 | #Constraints: 119680
633.47/635.79 c #Conflicts: 348000 | #Constraints: 120680
633.47/635.79 c #Conflicts: 349000 | #Constraints: 121680
633.47/635.79 c #Conflicts: 350000 | #Constraints: 122680
633.47/635.79 c #Conflicts: 351000 | #Constraints: 123680
633.47/635.79 c #Conflicts: 352000 | #Constraints: 124680
633.47/635.79 c #Conflicts: 353000 | #Constraints: 125680
633.47/635.79 c #Conflicts: 354000 | #Constraints: 126680
633.47/635.79 c #Conflicts: 355000 | #Constraints: 127680
633.47/635.79 c #Conflicts: 356000 | #Constraints: 128680
633.47/635.79 c #Conflicts: 357000 | #Constraints: 129680
633.47/635.79 c INPROCESSING
633.47/635.79 c GARBAGE COLLECT
633.47/635.79 c #Conflicts: 358000 | #Constraints: 118876
633.47/635.79 c #Conflicts: 359000 | #Constraints: 119876
633.47/635.79 c #Conflicts: 360000 | #Constraints: 120876
633.47/635.79 c #Conflicts: 361000 | #Constraints: 121876
633.47/635.79 c #Conflicts: 362000 | #Constraints: 122876
633.47/635.79 c #Conflicts: 363000 | #Constraints: 123876
633.47/635.79 c #Conflicts: 364000 | #Constraints: 124876
633.47/635.79 c #Conflicts: 365000 | #Constraints: 125876
633.47/635.79 c #Conflicts: 366000 | #Constraints: 126876
633.47/635.79 c #Conflicts: 367000 | #Constraints: 127876
633.47/635.79 c #Conflicts: 368000 | #Constraints: 128876
633.47/635.79 c #Conflicts: 369000 | #Constraints: 129876
633.47/635.79 c INPROCESSING
633.47/635.79 c GARBAGE COLLECT
633.47/635.79 c #Conflicts: 370000 | #Constraints: 118886
633.47/635.79 c #Conflicts: 371000 | #Constraints: 119886
633.47/635.79 c #Conflicts: 372000 | #Constraints: 120886
633.47/635.79 c #Conflicts: 373000 | #Constraints: 121886
633.47/635.79 c #Conflicts: 374000 | #Constraints: 122886
633.47/635.79 c #Conflicts: 375000 | #Constraints: 123886
633.47/635.79 c #Conflicts: 376000 | #Constraints: 124886
633.47/635.79 c #Conflicts: 377000 | #Constraints: 125886
633.47/635.79 c #Conflicts: 378000 | #Constraints: 126886
633.47/635.79 c #Conflicts: 379000 | #Constraints: 127886
633.47/635.79 c #Conflicts: 380000 | #Constraints: 128886
633.47/635.79 c #Conflicts: 381000 | #Constraints: 129886
633.47/635.79 c INPROCESSING
633.47/635.79 c GARBAGE COLLECT
633.47/635.79 c #Conflicts: 382000 | #Constraints: 118695
633.47/635.79 c #Conflicts: 383000 | #Constraints: 119695
633.47/635.79 c #Conflicts: 384000 | #Constraints: 120695
633.47/635.79 c #Conflicts: 385000 | #Constraints: 121695
633.47/635.79 c #Conflicts: 386000 | #Constraints: 122695
633.47/635.79 c #Conflicts: 387000 | #Constraints: 123695
633.47/635.79 c #Conflicts: 388000 | #Constraints: 124695
633.47/635.79 c #Conflicts: 389000 | #Constraints: 125695
633.47/635.79 c #Conflicts: 390000 | #Constraints: 126695
633.47/635.79 c #Conflicts: 391000 | #Constraints: 127695
633.47/635.79 c #Conflicts: 392000 | #Constraints: 128695
633.47/635.79 c #Conflicts: 393000 | #Constraints: 129695
633.47/635.79 c #Conflicts: 394000 | #Constraints: 130695
633.47/635.79 c INPROCESSING
633.47/635.79 c GARBAGE COLLECT
633.47/635.79 c #Conflicts: 395000 | #Constraints: 119293
633.47/635.79 c #Conflicts: 396000 | #Constraints: 120293
633.47/635.79 c #Conflicts: 397000 | #Constraints: 121293
633.47/635.79 c #Conflicts: 398000 | #Constraints: 122293
633.47/635.79 c #Conflicts: 399000 | #Constraints: 123293
633.47/635.79 c #Conflicts: 400000 | #Constraints: 124293
633.47/635.79 c #Conflicts: 401000 | #Constraints: 125293
633.47/635.79 c #Conflicts: 402000 | #Constraints: 126293
633.47/635.79 c #Conflicts: 403000 | #Constraints: 127293
633.47/635.79 c #Conflicts: 404000 | #Constraints: 128293
633.47/635.79 c #Conflicts: 405000 | #Constraints: 129293
633.47/635.79 c #Conflicts: 406000 | #Constraints: 130293
633.47/635.79 c #Conflicts: 407000 | #Constraints: 131293
633.47/635.79 c INPROCESSING
633.47/635.79 c GARBAGE COLLECT
633.47/635.79 c #Conflicts: 408000 | #Constraints: 119686
633.47/635.79 c #Conflicts: 409000 | #Constraints: 120686
633.47/635.79 c #Conflicts: 410000 | #Constraints: 121686
633.47/635.79 c #Conflicts: 411000 | #Constraints: 122686
633.47/635.79 c #Conflicts: 412000 | #Constraints: 123686
633.47/635.79 c #Conflicts: 413000 | #Constraints: 124686
633.47/635.79 c #Conflicts: 414000 | #Constraints: 125686
633.47/635.79 c #Conflicts: 415000 | #Constraints: 126686
633.47/635.79 c #Conflicts: 416000 | #Constraints: 127686
633.47/635.79 c #Conflicts: 417000 | #Constraints: 128686
633.47/635.79 c #Conflicts: 418000 | #Constraints: 129686
633.47/635.79 c #Conflicts: 419000 | #Constraints: 130686
633.47/635.79 c #Conflicts: 420000 | #Constraints: 131686
788.21/791.03 c INPROCESSING
788.21/791.03 c GARBAGE COLLECT
788.21/791.03 c #Conflicts: 421000 | #Constraints: 119897
788.21/791.03 c #Conflicts: 422000 | #Constraints: 120897
788.21/791.03 c #Conflicts: 423000 | #Constraints: 121897
788.21/791.03 c #Conflicts: 424000 | #Constraints: 122897
788.21/791.03 c #Conflicts: 425000 | #Constraints: 123897
788.21/791.03 c #Conflicts: 426000 | #Constraints: 124897
788.21/791.03 c #Conflicts: 427000 | #Constraints: 125897
788.21/791.03 c #Conflicts: 428000 | #Constraints: 126897
788.21/791.03 c #Conflicts: 429000 | #Constraints: 127897
788.21/791.03 c #Conflicts: 430000 | #Constraints: 128897
788.21/791.03 c #Conflicts: 431000 | #Constraints: 129897
788.21/791.03 c #Conflicts: 432000 | #Constraints: 130897
788.21/791.03 c #Conflicts: 433000 | #Constraints: 131897
788.21/791.03 c INPROCESSING
788.21/791.03 c GARBAGE COLLECT
788.21/791.03 c #Conflicts: 434000 | #Constraints: 119893
788.21/791.03 c #Conflicts: 435000 | #Constraints: 120893
788.21/791.03 c #Conflicts: 436000 | #Constraints: 121893
788.21/791.03 c #Conflicts: 437000 | #Constraints: 122893
788.21/791.03 c #Conflicts: 438000 | #Constraints: 123893
788.21/791.03 c #Conflicts: 439000 | #Constraints: 124893
788.21/791.03 c #Conflicts: 440000 | #Constraints: 125893
788.21/791.03 c #Conflicts: 441000 | #Constraints: 126893
788.21/791.03 c #Conflicts: 442000 | #Constraints: 127893
788.21/791.03 c #Conflicts: 443000 | #Constraints: 128893
788.21/791.03 c #Conflicts: 444000 | #Constraints: 129893
788.21/791.03 c #Conflicts: 445000 | #Constraints: 130893
788.21/791.03 c #Conflicts: 446000 | #Constraints: 131893
788.21/791.03 c INPROCESSING
788.21/791.03 c GARBAGE COLLECT
788.21/791.03 c #Conflicts: 447000 | #Constraints: 119688
788.21/791.03 c #Conflicts: 448000 | #Constraints: 120688
788.21/791.03 c #Conflicts: 449000 | #Constraints: 121688
788.21/791.03 c #Conflicts: 450000 | #Constraints: 122688
788.21/791.03 c #Conflicts: 451000 | #Constraints: 123688
788.21/791.03 c #Conflicts: 452000 | #Constraints: 124688
788.21/791.03 c #Conflicts: 453000 | #Constraints: 125688
788.21/791.03 c #Conflicts: 454000 | #Constraints: 126688
788.21/791.03 c #Conflicts: 455000 | #Constraints: 127688
788.21/791.03 c #Conflicts: 456000 | #Constraints: 128688
788.21/791.03 c #Conflicts: 457000 | #Constraints: 129688
788.21/791.03 c #Conflicts: 458000 | #Constraints: 130688
788.21/791.03 c #Conflicts: 459000 | #Constraints: 131688
788.21/791.03 c #Conflicts: 460000 | #Constraints: 132688
788.21/791.03 c INPROCESSING
788.21/791.03 c GARBAGE COLLECT
788.21/791.03 c #Conflicts: 461000 | #Constraints: 120305
788.21/791.03 c #Conflicts: 462000 | #Constraints: 121305
788.21/791.03 c #Conflicts: 463000 | #Constraints: 122305
788.21/791.03 c #Conflicts: 464000 | #Constraints: 123305
788.21/791.03 c #Conflicts: 465000 | #Constraints: 124305
788.21/791.03 c #Conflicts: 466000 | #Constraints: 125305
788.21/791.03 c #Conflicts: 467000 | #Constraints: 126305
788.21/791.03 c #Conflicts: 468000 | #Constraints: 127305
788.21/791.03 c #Conflicts: 469000 | #Constraints: 128305
788.21/791.03 c #Conflicts: 470000 | #Constraints: 129305
788.21/791.03 c #Conflicts: 471000 | #Constraints: 130305
788.21/791.03 c #Conflicts: 472000 | #Constraints: 131305
788.21/791.03 c #Conflicts: 473000 | #Constraints: 132305
788.21/791.03 c #Conflicts: 474000 | #Constraints: 133305
788.21/791.03 c INPROCESSING
788.21/791.03 c GARBAGE COLLECT
788.21/791.03 c #Conflicts: 475000 | #Constraints: 120696
788.21/791.03 c #Conflicts: 476000 | #Constraints: 121696
788.21/791.03 c #Conflicts: 477000 | #Constraints: 122696
788.21/791.03 c #Conflicts: 478000 | #Constraints: 123696
788.21/791.03 c #Conflicts: 479000 | #Constraints: 124696
788.21/791.03 c #Conflicts: 480000 | #Constraints: 125696
788.21/791.03 c #Conflicts: 481000 | #Constraints: 126696
788.21/791.03 c #Conflicts: 482000 | #Constraints: 127696
788.21/791.03 c #Conflicts: 483000 | #Constraints: 128696
788.21/791.03 c #Conflicts: 484000 | #Constraints: 129696
788.21/791.03 c #Conflicts: 485000 | #Constraints: 130696
788.21/791.03 c #Conflicts: 486000 | #Constraints: 131696
788.21/791.03 c #Conflicts: 487000 | #Constraints: 132696
788.21/791.03 c #Conflicts: 488000 | #Constraints: 133696
788.21/791.03 c INPROCESSING
788.21/791.03 c GARBAGE COLLECT
788.21/791.03 c #Conflicts: 489000 | #Constraints: 120895
788.21/791.03 c #Conflicts: 490000 | #Constraints: 121895
788.21/791.03 c #Conflicts: 491000 | #Constraints: 122895
788.21/791.03 c #Conflicts: 492000 | #Constraints: 123895
788.21/791.03 c #Conflicts: 493000 | #Constraints: 124895
788.21/791.03 c #Conflicts: 494000 | #Constraints: 125895
788.21/791.03 c #Conflicts: 495000 | #Constraints: 126895
945.93/949.39 c #Conflicts: 496000 | #Constraints: 127895
945.93/949.39 c #Conflicts: 497000 | #Constraints: 128895
945.93/949.39 c #Conflicts: 498000 | #Constraints: 129895
945.93/949.39 c #Conflicts: 499000 | #Constraints: 130895
945.93/949.39 c #Conflicts: 500000 | #Constraints: 131895
945.93/949.39 c #Conflicts: 501000 | #Constraints: 132895
945.93/949.39 c #Conflicts: 502000 | #Constraints: 133895
945.93/949.39 c INPROCESSING
945.93/949.39 c GARBAGE COLLECT
945.93/949.39 c #Conflicts: 503000 | #Constraints: 120899
945.93/949.39 c #Conflicts: 504000 | #Constraints: 121899
945.93/949.39 c #Conflicts: 505000 | #Constraints: 122899
945.93/949.39 c #Conflicts: 506000 | #Constraints: 123899
945.93/949.39 c #Conflicts: 507000 | #Constraints: 124899
945.93/949.39 c #Conflicts: 508000 | #Constraints: 125899
945.93/949.39 c #Conflicts: 509000 | #Constraints: 126899
945.93/949.39 c #Conflicts: 510000 | #Constraints: 127899
945.93/949.39 c #Conflicts: 511000 | #Constraints: 128899
945.93/949.39 c #Conflicts: 512000 | #Constraints: 129899
945.93/949.39 c #Conflicts: 513000 | #Constraints: 130899
945.93/949.39 c #Conflicts: 514000 | #Constraints: 131899
945.93/949.39 c #Conflicts: 515000 | #Constraints: 132899
945.93/949.39 c #Conflicts: 516000 | #Constraints: 133899
945.93/949.39 c INPROCESSING
945.93/949.39 c GARBAGE COLLECT
945.93/949.39 c #Conflicts: 517000 | #Constraints: 120703
945.93/949.39 c #Conflicts: 518000 | #Constraints: 121703
945.93/949.39 c #Conflicts: 519000 | #Constraints: 122703
945.93/949.39 c #Conflicts: 520000 | #Constraints: 123703
945.93/949.39 c #Conflicts: 521000 | #Constraints: 124703
945.93/949.39 c #Conflicts: 522000 | #Constraints: 125703
945.93/949.39 c #Conflicts: 523000 | #Constraints: 126703
945.93/949.39 c #Conflicts: 524000 | #Constraints: 127703
945.93/949.39 c #Conflicts: 525000 | #Constraints: 128703
945.93/949.39 c #Conflicts: 526000 | #Constraints: 129703
945.93/949.39 c #Conflicts: 527000 | #Constraints: 130703
945.93/949.39 c #Conflicts: 528000 | #Constraints: 131703
945.93/949.39 c #Conflicts: 529000 | #Constraints: 132703
945.93/949.39 c #Conflicts: 530000 | #Constraints: 133703
945.93/949.39 c #Conflicts: 531000 | #Constraints: 134703
945.93/949.39 c INPROCESSING
945.93/949.39 c GARBAGE COLLECT
945.93/949.39 c #Conflicts: 532000 | #Constraints: 121290
945.93/949.39 c #Conflicts: 533000 | #Constraints: 122290
945.93/949.39 c #Conflicts: 534000 | #Constraints: 123290
945.93/949.39 c #Conflicts: 535000 | #Constraints: 124290
945.93/949.39 c #Conflicts: 536000 | #Constraints: 125290
945.93/949.39 c #Conflicts: 537000 | #Constraints: 126290
945.93/949.39 c #Conflicts: 538000 | #Constraints: 127290
945.93/949.39 c #Conflicts: 539000 | #Constraints: 128290
945.93/949.39 c #Conflicts: 540000 | #Constraints: 129290
945.93/949.39 c #Conflicts: 541000 | #Constraints: 130290
945.93/949.39 c #Conflicts: 542000 | #Constraints: 131290
945.93/949.39 c #Conflicts: 543000 | #Constraints: 132290
945.93/949.39 c #Conflicts: 544000 | #Constraints: 133290
945.93/949.39 c #Conflicts: 545000 | #Constraints: 134290
945.93/949.39 c #Conflicts: 546000 | #Constraints: 135290
945.93/949.39 c INPROCESSING
945.93/949.39 c GARBAGE COLLECT
945.93/949.39 c #Conflicts: 547000 | #Constraints: 121686
945.93/949.39 c #Conflicts: 548000 | #Constraints: 122686
945.93/949.39 c #Conflicts: 549000 | #Constraints: 123686
945.93/949.39 c #Conflicts: 550000 | #Constraints: 124686
945.93/949.39 c #Conflicts: 551000 | #Constraints: 125686
945.93/949.39 c #Conflicts: 552000 | #Constraints: 126686
945.93/949.39 c #Conflicts: 553000 | #Constraints: 127686
945.93/949.39 c #Conflicts: 554000 | #Constraints: 128686
945.93/949.39 c #Conflicts: 555000 | #Constraints: 129686
945.93/949.39 c #Conflicts: 556000 | #Constraints: 130686
945.93/949.39 c #Conflicts: 557000 | #Constraints: 131686
945.93/949.39 c #Conflicts: 558000 | #Constraints: 132686
945.93/949.39 c #Conflicts: 559000 | #Constraints: 133686
945.93/949.39 c #Conflicts: 560000 | #Constraints: 134686
945.93/949.39 c #Conflicts: 561000 | #Constraints: 135686
945.93/949.39 c INPROCESSING
945.93/949.39 c GARBAGE COLLECT
945.93/949.39 c #Conflicts: 562000 | #Constraints: 121877
945.93/949.39 c #Conflicts: 563000 | #Constraints: 122877
945.93/949.39 c #Conflicts: 564000 | #Constraints: 123877
945.93/949.39 c #Conflicts: 565000 | #Constraints: 124877
945.93/949.39 c #Conflicts: 566000 | #Constraints: 125877
945.93/949.39 c #Conflicts: 567000 | #Constraints: 126877
945.93/949.39 c #Conflicts: 568000 | #Constraints: 127877
945.93/949.39 c #Conflicts: 569000 | #Constraints: 128877
945.93/949.39 c #Conflicts: 570000 | #Constraints: 129877
945.93/949.39 c #Conflicts: 571000 | #Constraints: 130877
1137.22/1141.33 c #Conflicts: 572000 | #Constraints: 131877
1137.22/1141.33 c #Conflicts: 573000 | #Constraints: 132877
1137.22/1141.33 c #Conflicts: 574000 | #Constraints: 133877
1137.22/1141.33 c #Conflicts: 575000 | #Constraints: 134877
1137.22/1141.33 c #Conflicts: 576000 | #Constraints: 135877
1137.22/1141.33 c INPROCESSING
1137.22/1141.33 c GARBAGE COLLECT
1137.22/1141.33 c #Conflicts: 577000 | #Constraints: 121890
1137.22/1141.33 c #Conflicts: 578000 | #Constraints: 122890
1137.22/1141.33 c #Conflicts: 579000 | #Constraints: 123890
1137.22/1141.33 c #Conflicts: 580000 | #Constraints: 124890
1137.22/1141.33 c #Conflicts: 581000 | #Constraints: 125890
1137.22/1141.33 c #Conflicts: 582000 | #Constraints: 126890
1137.22/1141.33 c #Conflicts: 583000 | #Constraints: 127890
1137.22/1141.33 c #Conflicts: 584000 | #Constraints: 128890
1137.22/1141.33 c #Conflicts: 585000 | #Constraints: 129890
1137.22/1141.33 c #Conflicts: 586000 | #Constraints: 130890
1137.22/1141.33 c #Conflicts: 587000 | #Constraints: 131890
1137.22/1141.33 c #Conflicts: 588000 | #Constraints: 132890
1137.22/1141.33 c #Conflicts: 589000 | #Constraints: 133890
1137.22/1141.33 c #Conflicts: 590000 | #Constraints: 134890
1137.22/1141.33 c #Conflicts: 591000 | #Constraints: 135890
1137.22/1141.33 c INPROCESSING
1137.22/1141.33 c GARBAGE COLLECT
1137.22/1141.33 c #Conflicts: 592000 | #Constraints: 121694
1137.22/1141.33 c #Conflicts: 593000 | #Constraints: 122694
1137.22/1141.33 c #Conflicts: 594000 | #Constraints: 123694
1137.22/1141.33 c #Conflicts: 595000 | #Constraints: 124694
1137.22/1141.33 c #Conflicts: 596000 | #Constraints: 125694
1137.22/1141.33 c #Conflicts: 597000 | #Constraints: 126694
1137.22/1141.33 c #Conflicts: 598000 | #Constraints: 127694
1137.22/1141.33 c #Conflicts: 599000 | #Constraints: 128694
1137.22/1141.33 c #Conflicts: 600000 | #Constraints: 129694
1137.22/1141.33 c #Conflicts: 601000 | #Constraints: 130694
1137.22/1141.33 c #Conflicts: 602000 | #Constraints: 131694
1137.22/1141.33 c #Conflicts: 603000 | #Constraints: 132694
1137.22/1141.33 c #Conflicts: 604000 | #Constraints: 133694
1137.22/1141.33 c #Conflicts: 605000 | #Constraints: 134694
1137.22/1141.33 c #Conflicts: 606000 | #Constraints: 135694
1137.22/1141.33 c #Conflicts: 607000 | #Constraints: 136694
1137.22/1141.33 c INPROCESSING
1137.22/1141.33 c GARBAGE COLLECT
1137.22/1141.33 c #Conflicts: 608000 | #Constraints: 122292
1137.22/1141.33 c #Conflicts: 609000 | #Constraints: 123292
1137.22/1141.33 c #Conflicts: 610000 | #Constraints: 124292
1137.22/1141.33 c #Conflicts: 611000 | #Constraints: 125292
1137.22/1141.33 c #Conflicts: 612000 | #Constraints: 126292
1137.22/1141.33 c #Conflicts: 613000 | #Constraints: 127292
1137.22/1141.33 c #Conflicts: 614000 | #Constraints: 128292
1137.22/1141.33 c #Conflicts: 615000 | #Constraints: 129292
1137.22/1141.33 c #Conflicts: 616000 | #Constraints: 130292
1137.22/1141.33 c #Conflicts: 617000 | #Constraints: 131292
1137.22/1141.33 c #Conflicts: 618000 | #Constraints: 132292
1137.22/1141.33 c #Conflicts: 619000 | #Constraints: 133292
1137.22/1141.33 c #Conflicts: 620000 | #Constraints: 134292
1137.22/1141.33 c #Conflicts: 621000 | #Constraints: 135292
1137.22/1141.33 c #Conflicts: 622000 | #Constraints: 136292
1137.22/1141.33 c #Conflicts: 623000 | #Constraints: 137292
1137.22/1141.33 c INPROCESSING
1137.22/1141.33 c GARBAGE COLLECT
1137.22/1141.33 c #Conflicts: 624000 | #Constraints: 122694
1137.22/1141.33 c #Conflicts: 625000 | #Constraints: 123694
1137.22/1141.33 c #Conflicts: 626000 | #Constraints: 124694
1137.22/1141.33 c #Conflicts: 627000 | #Constraints: 125694
1137.22/1141.33 c #Conflicts: 628000 | #Constraints: 126694
1137.22/1141.33 c #Conflicts: 629000 | #Constraints: 127694
1137.22/1141.33 c #Conflicts: 630000 | #Constraints: 128694
1137.22/1141.33 c #Conflicts: 631000 | #Constraints: 129694
1137.22/1141.33 c #Conflicts: 632000 | #Constraints: 130694
1137.22/1141.33 c #Conflicts: 633000 | #Constraints: 131694
1137.22/1141.33 c #Conflicts: 634000 | #Constraints: 132694
1137.22/1141.33 c #Conflicts: 635000 | #Constraints: 133694
1137.22/1141.33 c #Conflicts: 636000 | #Constraints: 134694
1137.22/1141.33 c #Conflicts: 637000 | #Constraints: 135694
1137.22/1141.33 c #Conflicts: 638000 | #Constraints: 136694
1137.22/1141.33 c #Conflicts: 639000 | #Constraints: 137694
1137.22/1141.33 c INPROCESSING
1137.22/1141.33 c GARBAGE COLLECT
1137.22/1141.33 c #Conflicts: 640000 | #Constraints: 122890
1137.22/1141.33 c #Conflicts: 641000 | #Constraints: 123890
1137.22/1141.33 c #Conflicts: 642000 | #Constraints: 124890
1137.22/1141.33 c #Conflicts: 643000 | #Constraints: 125890
1137.22/1141.33 c #Conflicts: 644000 | #Constraints: 126890
1137.22/1141.33 c #Conflicts: 645000 | #Constraints: 127890
1137.22/1141.33 c #Conflicts: 646000 | #Constraints: 128890
1137.22/1141.33 c #Conflicts: 647000 | #Constraints: 129890
1300.42/1305.15 c #Conflicts: 648000 | #Constraints: 130890
1300.42/1305.15 c #Conflicts: 649000 | #Constraints: 131890
1300.42/1305.15 c #Conflicts: 650000 | #Constraints: 132890
1300.42/1305.15 c #Conflicts: 651000 | #Constraints: 133890
1300.42/1305.15 c #Conflicts: 652000 | #Constraints: 134890
1300.42/1305.15 c #Conflicts: 653000 | #Constraints: 135890
1300.42/1305.15 c #Conflicts: 654000 | #Constraints: 136890
1300.42/1305.15 c #Conflicts: 655000 | #Constraints: 137890
1300.42/1305.15 c INPROCESSING
1300.42/1305.15 c GARBAGE COLLECT
1300.42/1305.15 c #Conflicts: 656000 | #Constraints: 122889
1300.42/1305.15 c #Conflicts: 657000 | #Constraints: 123889
1300.42/1305.15 c #Conflicts: 658000 | #Constraints: 124889
1300.42/1305.15 c #Conflicts: 659000 | #Constraints: 125889
1300.42/1305.15 c #Conflicts: 660000 | #Constraints: 126889
1300.42/1305.15 c #Conflicts: 661000 | #Constraints: 127889
1300.42/1305.15 c #Conflicts: 662000 | #Constraints: 128889
1300.42/1305.15 c #Conflicts: 663000 | #Constraints: 129889
1300.42/1305.15 c #Conflicts: 664000 | #Constraints: 130889
1300.42/1305.15 c #Conflicts: 665000 | #Constraints: 131889
1300.42/1305.15 c #Conflicts: 666000 | #Constraints: 132889
1300.42/1305.15 c #Conflicts: 667000 | #Constraints: 133889
1300.42/1305.15 c #Conflicts: 668000 | #Constraints: 134889
1300.42/1305.15 c #Conflicts: 669000 | #Constraints: 135889
1300.42/1305.15 c #Conflicts: 670000 | #Constraints: 136889
1300.42/1305.15 c #Conflicts: 671000 | #Constraints: 137889
1300.42/1305.15 c INPROCESSING
1300.42/1305.15 c GARBAGE COLLECT
1300.42/1305.15 c #Conflicts: 672000 | #Constraints: 122693
1300.42/1305.15 c #Conflicts: 673000 | #Constraints: 123693
1300.42/1305.15 c #Conflicts: 674000 | #Constraints: 124693
1300.42/1305.15 c #Conflicts: 675000 | #Constraints: 125693
1300.42/1305.15 c #Conflicts: 676000 | #Constraints: 126693
1300.42/1305.15 c #Conflicts: 677000 | #Constraints: 127693
1300.42/1305.15 c #Conflicts: 678000 | #Constraints: 128693
1300.42/1305.15 c #Conflicts: 679000 | #Constraints: 129693
1300.42/1305.15 c #Conflicts: 680000 | #Constraints: 130693
1300.42/1305.15 c #Conflicts: 681000 | #Constraints: 131693
1300.42/1305.15 c #Conflicts: 682000 | #Constraints: 132693
1300.42/1305.15 c #Conflicts: 683000 | #Constraints: 133693
1300.42/1305.15 c #Conflicts: 684000 | #Constraints: 134693
1300.42/1305.15 c #Conflicts: 685000 | #Constraints: 135693
1300.42/1305.15 c #Conflicts: 686000 | #Constraints: 136693
1300.42/1305.15 c #Conflicts: 687000 | #Constraints: 137693
1300.42/1305.15 c #Conflicts: 688000 | #Constraints: 138693
1300.42/1305.15 c INPROCESSING
1300.42/1305.15 c GARBAGE COLLECT
1300.42/1305.15 c #Conflicts: 689000 | #Constraints: 123298
1300.42/1305.15 c #Conflicts: 690000 | #Constraints: 124298
1300.42/1305.15 c #Conflicts: 691000 | #Constraints: 125298
1300.42/1305.15 c #Conflicts: 692000 | #Constraints: 126298
1300.42/1305.15 c #Conflicts: 693000 | #Constraints: 127298
1300.42/1305.15 c #Conflicts: 694000 | #Constraints: 128298
1300.42/1305.15 c #Conflicts: 695000 | #Constraints: 129298
1300.42/1305.15 c #Conflicts: 696000 | #Constraints: 130298
1300.42/1305.15 c #Conflicts: 697000 | #Constraints: 131298
1300.42/1305.15 c #Conflicts: 698000 | #Constraints: 132298
1300.42/1305.15 c #Conflicts: 699000 | #Constraints: 133298
1300.42/1305.15 c #Conflicts: 700000 | #Constraints: 134298
1300.42/1305.15 c #Conflicts: 701000 | #Constraints: 135298
1300.42/1305.15 c #Conflicts: 702000 | #Constraints: 136298
1300.42/1305.15 c #Conflicts: 703000 | #Constraints: 137298
1300.42/1305.15 c #Conflicts: 704000 | #Constraints: 138298
1300.42/1305.15 c #Conflicts: 705000 | #Constraints: 139298
1300.42/1305.15 c INPROCESSING
1300.42/1305.15 c GARBAGE COLLECT
1300.42/1305.15 c #Conflicts: 706000 | #Constraints: 123698
1300.42/1305.15 c #Conflicts: 707000 | #Constraints: 124698
1300.42/1305.15 c #Conflicts: 708000 | #Constraints: 125698
1300.42/1305.15 c #Conflicts: 709000 | #Constraints: 126698
1300.42/1305.15 c #Conflicts: 710000 | #Constraints: 127698
1300.42/1305.15 c #Conflicts: 711000 | #Constraints: 128698
1300.42/1305.15 c #Conflicts: 712000 | #Constraints: 129698
1300.42/1305.15 c #Conflicts: 713000 | #Constraints: 130698
1300.42/1305.15 c #Conflicts: 714000 | #Constraints: 131698
1300.42/1305.15 c #Conflicts: 715000 | #Constraints: 132698
1300.42/1305.15 c #Conflicts: 716000 | #Constraints: 133698
1300.42/1305.15 c #Conflicts: 717000 | #Constraints: 134698
1300.42/1305.15 c #Conflicts: 718000 | #Constraints: 135698
1300.42/1305.15 c #Conflicts: 719000 | #Constraints: 136698
1300.42/1305.15 c #Conflicts: 720000 | #Constraints: 137698
1300.42/1305.15 c #Conflicts: 721000 | #Constraints: 138698
1300.42/1305.15 c #Conflicts: 722000 | #Constraints: 139698
1300.42/1305.15 c INPROCESSING
1477.87/1483.22 c GARBAGE COLLECT
1477.87/1483.22 c #Conflicts: 723000 | #Constraints: 123904
1477.87/1483.22 c #Conflicts: 724000 | #Constraints: 124904
1477.87/1483.22 c #Conflicts: 725000 | #Constraints: 125904
1477.87/1483.22 c #Conflicts: 726000 | #Constraints: 126904
1477.87/1483.22 c #Conflicts: 727000 | #Constraints: 127904
1477.87/1483.22 c #Conflicts: 728000 | #Constraints: 128904
1477.87/1483.22 c #Conflicts: 729000 | #Constraints: 129904
1477.87/1483.22 c #Conflicts: 730000 | #Constraints: 130904
1477.87/1483.22 c #Conflicts: 731000 | #Constraints: 131904
1477.87/1483.22 c #Conflicts: 732000 | #Constraints: 132904
1477.87/1483.22 c #Conflicts: 733000 | #Constraints: 133904
1477.87/1483.22 c #Conflicts: 734000 | #Constraints: 134904
1477.87/1483.22 c #Conflicts: 735000 | #Constraints: 135904
1477.87/1483.22 c #Conflicts: 736000 | #Constraints: 136904
1477.87/1483.22 c #Conflicts: 737000 | #Constraints: 137904
1477.87/1483.22 c #Conflicts: 738000 | #Constraints: 138904
1477.87/1483.22 c #Conflicts: 739000 | #Constraints: 139904
1477.87/1483.22 c INPROCESSING
1477.87/1483.22 c GARBAGE COLLECT
1477.87/1483.22 c #Conflicts: 740000 | #Constraints: 123910
1477.87/1483.22 c #Conflicts: 741000 | #Constraints: 124910
1477.87/1483.22 c #Conflicts: 742000 | #Constraints: 125910
1477.87/1483.22 c #Conflicts: 743000 | #Constraints: 126910
1477.87/1483.22 c #Conflicts: 744000 | #Constraints: 127910
1477.87/1483.22 c #Conflicts: 745000 | #Constraints: 128910
1477.87/1483.22 c #Conflicts: 746000 | #Constraints: 129910
1477.87/1483.22 c #Conflicts: 747000 | #Constraints: 130910
1477.87/1483.22 c #Conflicts: 748000 | #Constraints: 131910
1477.87/1483.22 c #Conflicts: 749000 | #Constraints: 132910
1477.87/1483.22 c #Conflicts: 750000 | #Constraints: 133910
1477.87/1483.22 c #Conflicts: 751000 | #Constraints: 134910
1477.87/1483.22 c #Conflicts: 752000 | #Constraints: 135910
1477.87/1483.22 c #Conflicts: 753000 | #Constraints: 136910
1477.87/1483.22 c #Conflicts: 754000 | #Constraints: 137910
1477.87/1483.22 c #Conflicts: 755000 | #Constraints: 138910
1477.87/1483.22 c #Conflicts: 756000 | #Constraints: 139910
1477.87/1483.22 c INPROCESSING
1477.87/1483.22 c GARBAGE COLLECT
1477.87/1483.22 c #Conflicts: 757000 | #Constraints: 123705
1477.87/1483.22 c #Conflicts: 758000 | #Constraints: 124705
1477.87/1483.22 c #Conflicts: 759000 | #Constraints: 125705
1477.87/1483.22 c #Conflicts: 760000 | #Constraints: 126705
1477.87/1483.22 c #Conflicts: 761000 | #Constraints: 127705
1477.87/1483.22 c #Conflicts: 762000 | #Constraints: 128705
1477.87/1483.22 c #Conflicts: 763000 | #Constraints: 129705
1477.87/1483.22 c #Conflicts: 764000 | #Constraints: 130705
1477.87/1483.22 c #Conflicts: 765000 | #Constraints: 131705
1477.87/1483.22 c #Conflicts: 766000 | #Constraints: 132705
1477.87/1483.22 c #Conflicts: 767000 | #Constraints: 133705
1477.87/1483.22 c #Conflicts: 768000 | #Constraints: 134705
1477.87/1483.22 c #Conflicts: 769000 | #Constraints: 135705
1477.87/1483.22 c #Conflicts: 770000 | #Constraints: 136705
1477.87/1483.22 c #Conflicts: 771000 | #Constraints: 137705
1477.87/1483.22 c #Conflicts: 772000 | #Constraints: 138705
1477.87/1483.22 c #Conflicts: 773000 | #Constraints: 139705
1477.87/1483.22 c #Conflicts: 774000 | #Constraints: 140705
1477.87/1483.22 c INPROCESSING
1477.87/1483.22 c GARBAGE COLLECT
1477.87/1483.22 c #Conflicts: 775000 | #Constraints: 124296
1477.87/1483.22 c #Conflicts: 776000 | #Constraints: 125296
1477.87/1483.22 c #Conflicts: 777000 | #Constraints: 126296
1477.87/1483.22 c #Conflicts: 778000 | #Constraints: 127296
1477.87/1483.22 c #Conflicts: 779000 | #Constraints: 128296
1477.87/1483.22 c #Conflicts: 780000 | #Constraints: 129296
1477.87/1483.22 c #Conflicts: 781000 | #Constraints: 130296
1477.87/1483.22 c #Conflicts: 782000 | #Constraints: 131296
1477.87/1483.22 c #Conflicts: 783000 | #Constraints: 132296
1477.87/1483.22 c #Conflicts: 784000 | #Constraints: 133296
1477.87/1483.22 c #Conflicts: 785000 | #Constraints: 134296
1477.87/1483.22 c #Conflicts: 786000 | #Constraints: 135296
1477.87/1483.22 c #Conflicts: 787000 | #Constraints: 136296
1477.87/1483.22 c #Conflicts: 788000 | #Constraints: 137296
1477.87/1483.22 c #Conflicts: 789000 | #Constraints: 138296
1477.87/1483.22 c #Conflicts: 790000 | #Constraints: 139296
1477.87/1483.22 c #Conflicts: 791000 | #Constraints: 140296
1477.87/1483.22 c #Conflicts: 792000 | #Constraints: 141296
1477.87/1483.22 c INPROCESSING
1477.87/1483.22 c GARBAGE COLLECT
1477.87/1483.22 c #Conflicts: 793000 | #Constraints: 124686
1477.87/1483.22 c #Conflicts: 794000 | #Constraints: 125686
1477.87/1483.22 c #Conflicts: 795000 | #Constraints: 126686
1477.87/1483.22 c #Conflicts: 796000 | #Constraints: 127686
1477.87/1483.22 c #Conflicts: 797000 | #Constraints: 128686
1477.87/1483.22 c #Conflicts: 798000 | #Constraints: 129686
1686.02/1692.14 c #Conflicts: 799000 | #Constraints: 130686
1686.02/1692.14 c #Conflicts: 800000 | #Constraints: 131686
1686.02/1692.14 c #Conflicts: 801000 | #Constraints: 132686
1686.02/1692.14 c #Conflicts: 802000 | #Constraints: 133686
1686.02/1692.14 c #Conflicts: 803000 | #Constraints: 134686
1686.02/1692.14 c #Conflicts: 804000 | #Constraints: 135686
1686.02/1692.14 c #Conflicts: 805000 | #Constraints: 136686
1686.02/1692.14 c #Conflicts: 806000 | #Constraints: 137686
1686.02/1692.14 c #Conflicts: 807000 | #Constraints: 138686
1686.02/1692.14 c #Conflicts: 808000 | #Constraints: 139686
1686.02/1692.14 c #Conflicts: 809000 | #Constraints: 140686
1686.02/1692.14 c #Conflicts: 810000 | #Constraints: 141686
1686.02/1692.14 c INPROCESSING
1686.02/1692.14 c GARBAGE COLLECT
1686.02/1692.14 c #Conflicts: 811000 | #Constraints: 124889
1686.02/1692.14 c #Conflicts: 812000 | #Constraints: 125889
1686.02/1692.14 c #Conflicts: 813000 | #Constraints: 126889
1686.02/1692.14 c #Conflicts: 814000 | #Constraints: 127889
1686.02/1692.14 c #Conflicts: 815000 | #Constraints: 128889
1686.02/1692.14 c #Conflicts: 816000 | #Constraints: 129889
1686.02/1692.14 c #Conflicts: 817000 | #Constraints: 130889
1686.02/1692.14 c #Conflicts: 818000 | #Constraints: 131889
1686.02/1692.14 c #Conflicts: 819000 | #Constraints: 132889
1686.02/1692.14 c #Conflicts: 820000 | #Constraints: 133889
1686.02/1692.14 c #Conflicts: 821000 | #Constraints: 134889
1686.02/1692.14 c #Conflicts: 822000 | #Constraints: 135889
1686.02/1692.14 c #Conflicts: 823000 | #Constraints: 136889
1686.02/1692.14 c #Conflicts: 824000 | #Constraints: 137889
1686.02/1692.14 c #Conflicts: 825000 | #Constraints: 138889
1686.02/1692.14 c #Conflicts: 826000 | #Constraints: 139889
1686.02/1692.14 c #Conflicts: 827000 | #Constraints: 140889
1686.02/1692.14 c #Conflicts: 828000 | #Constraints: 141889
1686.02/1692.14 c INPROCESSING
1686.02/1692.14 c GARBAGE COLLECT
1686.02/1692.14 c #Conflicts: 829000 | #Constraints: 124904
1686.02/1692.14 c #Conflicts: 830000 | #Constraints: 125904
1686.02/1692.14 c #Conflicts: 831000 | #Constraints: 126904
1686.02/1692.14 c #Conflicts: 832000 | #Constraints: 127904
1686.02/1692.14 c #Conflicts: 833000 | #Constraints: 128904
1686.02/1692.14 c #Conflicts: 834000 | #Constraints: 129904
1686.02/1692.14 c #Conflicts: 835000 | #Constraints: 130904
1686.02/1692.14 c #Conflicts: 836000 | #Constraints: 131904
1686.02/1692.14 c #Conflicts: 837000 | #Constraints: 132904
1686.02/1692.14 c #Conflicts: 838000 | #Constraints: 133904
1686.02/1692.14 c #Conflicts: 839000 | #Constraints: 134904
1686.02/1692.14 c #Conflicts: 840000 | #Constraints: 135904
1686.02/1692.14 c #Conflicts: 841000 | #Constraints: 136904
1686.02/1692.14 c #Conflicts: 842000 | #Constraints: 137904
1686.02/1692.14 c #Conflicts: 843000 | #Constraints: 138904
1686.02/1692.14 c #Conflicts: 844000 | #Constraints: 139904
1686.02/1692.14 c #Conflicts: 845000 | #Constraints: 140904
1686.02/1692.14 c #Conflicts: 846000 | #Constraints: 141904
1686.02/1692.14 c INPROCESSING
1686.02/1692.14 c GARBAGE COLLECT
1686.02/1692.14 c #Conflicts: 847000 | #Constraints: 124702
1686.02/1692.14 c #Conflicts: 848000 | #Constraints: 125702
1686.02/1692.14 c #Conflicts: 849000 | #Constraints: 126702
1686.02/1692.14 c #Conflicts: 850000 | #Constraints: 127702
1686.02/1692.14 c #Conflicts: 851000 | #Constraints: 128702
1686.02/1692.14 c #Conflicts: 852000 | #Constraints: 129702
1686.02/1692.14 c #Conflicts: 853000 | #Constraints: 130702
1686.02/1692.14 c #Conflicts: 854000 | #Constraints: 131702
1686.02/1692.14 c #Conflicts: 855000 | #Constraints: 132702
1686.02/1692.14 c #Conflicts: 856000 | #Constraints: 133702
1686.02/1692.14 c #Conflicts: 857000 | #Constraints: 134702
1686.02/1692.14 c #Conflicts: 858000 | #Constraints: 135702
1686.02/1692.14 c #Conflicts: 859000 | #Constraints: 136702
1686.02/1692.14 c #Conflicts: 860000 | #Constraints: 137702
1686.02/1692.14 c #Conflicts: 861000 | #Constraints: 138702
1686.02/1692.14 c #Conflicts: 862000 | #Constraints: 139702
1686.02/1692.14 c #Conflicts: 863000 | #Constraints: 140702
1686.02/1692.14 c #Conflicts: 864000 | #Constraints: 141702
1686.02/1692.14 c #Conflicts: 865000 | #Constraints: 142702
1686.02/1692.14 c INPROCESSING
1686.02/1692.14 c GARBAGE COLLECT
1686.02/1692.14 c #Conflicts: 866000 | #Constraints: 125295
1686.02/1692.14 c #Conflicts: 867000 | #Constraints: 126295
1686.02/1692.14 c #Conflicts: 868000 | #Constraints: 127295
1686.02/1692.14 c #Conflicts: 869000 | #Constraints: 128295
1686.02/1692.14 c #Conflicts: 870000 | #Constraints: 129295
1686.02/1692.14 c #Conflicts: 871000 | #Constraints: 130295
1686.02/1692.14 c #Conflicts: 872000 | #Constraints: 131295
1686.02/1692.14 c #Conflicts: 873000 | #Constraints: 132295
1686.02/1692.14 c #Conflicts: 874000 | #Constraints: 133295
1686.02/1692.14 c #Conflicts: 875000 | #Constraints: 134295
1870.75/1877.56 c #Conflicts: 876000 | #Constraints: 135295
1870.75/1877.56 c #Conflicts: 877000 | #Constraints: 136295
1870.75/1877.56 c #Conflicts: 878000 | #Constraints: 137295
1870.75/1877.56 c #Conflicts: 879000 | #Constraints: 138295
1870.75/1877.56 c #Conflicts: 880000 | #Constraints: 139295
1870.75/1877.56 c #Conflicts: 881000 | #Constraints: 140295
1870.75/1877.56 c #Conflicts: 882000 | #Constraints: 141295
1870.75/1877.56 c #Conflicts: 883000 | #Constraints: 142295
1870.75/1877.56 c #Conflicts: 884000 | #Constraints: 143295
1870.75/1877.56 c INPROCESSING
1870.75/1877.56 c GARBAGE COLLECT
1870.75/1877.56 c #Conflicts: 885000 | #Constraints: 125684
1870.75/1877.56 c #Conflicts: 886000 | #Constraints: 126684
1870.75/1877.56 c #Conflicts: 887000 | #Constraints: 127684
1870.75/1877.56 c #Conflicts: 888000 | #Constraints: 128684
1870.75/1877.56 c #Conflicts: 889000 | #Constraints: 129684
1870.75/1877.56 c #Conflicts: 890000 | #Constraints: 130684
1870.75/1877.56 c #Conflicts: 891000 | #Constraints: 131684
1870.75/1877.56 c #Conflicts: 892000 | #Constraints: 132684
1870.75/1877.56 c #Conflicts: 893000 | #Constraints: 133684
1870.75/1877.56 c #Conflicts: 894000 | #Constraints: 134684
1870.75/1877.56 c #Conflicts: 895000 | #Constraints: 135684
1870.75/1877.56 c #Conflicts: 896000 | #Constraints: 136684
1870.75/1877.56 c #Conflicts: 897000 | #Constraints: 137684
1870.75/1877.56 c #Conflicts: 898000 | #Constraints: 138684
1870.75/1877.56 c #Conflicts: 899000 | #Constraints: 139684
1870.75/1877.56 c #Conflicts: 900000 | #Constraints: 140684
1870.75/1877.56 c #Conflicts: 901000 | #Constraints: 141684
1870.75/1877.56 c #Conflicts: 902000 | #Constraints: 142684
1870.75/1877.56 c #Conflicts: 903000 | #Constraints: 143684
1870.75/1877.56 c INPROCESSING
1870.75/1877.56 c GARBAGE COLLECT
1870.75/1877.56 c #Conflicts: 904000 | #Constraints: 125889
1870.75/1877.56 c #Conflicts: 905000 | #Constraints: 126889
1870.75/1877.56 c #Conflicts: 906000 | #Constraints: 127889
1870.75/1877.56 c #Conflicts: 907000 | #Constraints: 128889
1870.75/1877.56 c #Conflicts: 908000 | #Constraints: 129889
1870.75/1877.56 c #Conflicts: 909000 | #Constraints: 130889
1870.75/1877.56 c #Conflicts: 910000 | #Constraints: 131889
1870.75/1877.56 c #Conflicts: 911000 | #Constraints: 132889
1870.75/1877.56 c #Conflicts: 912000 | #Constraints: 133889
1870.75/1877.56 c #Conflicts: 913000 | #Constraints: 134889
1870.75/1877.56 c #Conflicts: 914000 | #Constraints: 135889
1870.75/1877.56 c #Conflicts: 915000 | #Constraints: 136889
1870.75/1877.56 c #Conflicts: 916000 | #Constraints: 137889
1870.75/1877.56 c #Conflicts: 917000 | #Constraints: 138889
1870.75/1877.56 c #Conflicts: 918000 | #Constraints: 139889
1870.75/1877.56 c #Conflicts: 919000 | #Constraints: 140889
1870.75/1877.56 c #Conflicts: 920000 | #Constraints: 141889
1870.75/1877.56 c #Conflicts: 921000 | #Constraints: 142889
1870.75/1877.56 c #Conflicts: 922000 | #Constraints: 143889
1870.75/1877.56 c INPROCESSING
1870.75/1877.56 c GARBAGE COLLECT
1870.75/1877.56 c #Conflicts: 923000 | #Constraints: 125895
1870.75/1877.56 c #Conflicts: 924000 | #Constraints: 126895
1870.75/1877.56 c #Conflicts: 925000 | #Constraints: 127895
1870.75/1877.56 c #Conflicts: 926000 | #Constraints: 128895
1870.75/1877.56 c #Conflicts: 927000 | #Constraints: 129895
1870.75/1877.56 c #Conflicts: 928000 | #Constraints: 130895
1870.75/1877.56 c #Conflicts: 929000 | #Constraints: 131895
1870.75/1877.56 c #Conflicts: 930000 | #Constraints: 132895
1870.75/1877.56 c #Conflicts: 931000 | #Constraints: 133895
1870.75/1877.56 c #Conflicts: 932000 | #Constraints: 134895
1870.75/1877.56 c #Conflicts: 933000 | #Constraints: 135895
1870.75/1877.56 c #Conflicts: 934000 | #Constraints: 136895
1870.75/1877.56 c #Conflicts: 935000 | #Constraints: 137895
1870.75/1877.56 c #Conflicts: 936000 | #Constraints: 138895
1870.75/1877.56 c #Conflicts: 937000 | #Constraints: 139895
1870.75/1877.56 c #Conflicts: 938000 | #Constraints: 140895
1870.75/1877.56 c #Conflicts: 939000 | #Constraints: 141895
1870.75/1877.56 c #Conflicts: 940000 | #Constraints: 142895
1870.75/1877.56 c #Conflicts: 941000 | #Constraints: 143895
1870.75/1877.56 c INPROCESSING
1870.75/1877.56 c GARBAGE COLLECT
1870.75/1877.56 c #Conflicts: 942000 | #Constraints: 125696
1870.75/1877.56 c #Conflicts: 943000 | #Constraints: 126696
1870.75/1877.56 c #Conflicts: 944000 | #Constraints: 127696
1870.75/1877.56 c #Conflicts: 945000 | #Constraints: 128696
1870.75/1877.56 c #Conflicts: 946000 | #Constraints: 129696
1870.75/1877.56 c #Conflicts: 947000 | #Constraints: 130696
1870.75/1877.56 c #Conflicts: 948000 | #Constraints: 131696
1870.75/1877.56 c #Conflicts: 949000 | #Constraints: 132696
1870.75/1877.56 c #Conflicts: 950000 | #Constraints: 133696
1870.75/1877.56 c #Conflicts: 951000 | #Constraints: 134696
2102.58/2110.24 c #Conflicts: 952000 | #Constraints: 135696
2102.58/2110.24 c #Conflicts: 953000 | #Constraints: 136696
2102.58/2110.24 c #Conflicts: 954000 | #Constraints: 137696
2102.58/2110.24 c #Conflicts: 955000 | #Constraints: 138696
2102.58/2110.24 c #Conflicts: 956000 | #Constraints: 139696
2102.58/2110.24 c #Conflicts: 957000 | #Constraints: 140696
2102.58/2110.24 c #Conflicts: 958000 | #Constraints: 141696
2102.58/2110.24 c #Conflicts: 959000 | #Constraints: 142696
2102.58/2110.24 c #Conflicts: 960000 | #Constraints: 143696
2102.58/2110.24 c #Conflicts: 961000 | #Constraints: 144696
2102.58/2110.24 c INPROCESSING
2102.58/2110.24 c GARBAGE COLLECT
2102.58/2110.24 c #Conflicts: 962000 | #Constraints: 126297
2102.58/2110.24 c #Conflicts: 963000 | #Constraints: 127297
2102.58/2110.24 c #Conflicts: 964000 | #Constraints: 128297
2102.58/2110.24 c #Conflicts: 965000 | #Constraints: 129297
2102.58/2110.24 c #Conflicts: 966000 | #Constraints: 130297
2102.58/2110.24 c #Conflicts: 967000 | #Constraints: 131297
2102.58/2110.24 c #Conflicts: 968000 | #Constraints: 132297
2102.58/2110.24 c #Conflicts: 969000 | #Constraints: 133297
2102.58/2110.24 c #Conflicts: 970000 | #Constraints: 134297
2102.58/2110.24 c #Conflicts: 971000 | #Constraints: 135297
2102.58/2110.24 c #Conflicts: 972000 | #Constraints: 136297
2102.58/2110.24 c #Conflicts: 973000 | #Constraints: 137297
2102.58/2110.24 c #Conflicts: 974000 | #Constraints: 138297
2102.58/2110.24 c #Conflicts: 975000 | #Constraints: 139297
2102.58/2110.24 c #Conflicts: 976000 | #Constraints: 140297
2102.58/2110.24 c #Conflicts: 977000 | #Constraints: 141297
2102.58/2110.24 c #Conflicts: 978000 | #Constraints: 142297
2102.58/2110.24 c #Conflicts: 979000 | #Constraints: 143297
2102.58/2110.24 c #Conflicts: 980000 | #Constraints: 144297
2102.58/2110.24 c #Conflicts: 981000 | #Constraints: 145297
2102.58/2110.24 c INPROCESSING
2102.58/2110.24 c GARBAGE COLLECT
2102.58/2110.24 c #Conflicts: 982000 | #Constraints: 126701
2102.58/2110.24 c #Conflicts: 983000 | #Constraints: 127701
2102.58/2110.24 c #Conflicts: 984000 | #Constraints: 128701
2102.58/2110.24 c #Conflicts: 985000 | #Constraints: 129701
2102.58/2110.24 c #Conflicts: 986000 | #Constraints: 130701
2102.58/2110.24 c #Conflicts: 987000 | #Constraints: 131701
2102.58/2110.24 c #Conflicts: 988000 | #Constraints: 132701
2102.58/2110.24 c #Conflicts: 989000 | #Constraints: 133701
2102.58/2110.24 c #Conflicts: 990000 | #Constraints: 134701
2102.58/2110.24 c #Conflicts: 991000 | #Constraints: 135701
2102.58/2110.24 c #Conflicts: 992000 | #Constraints: 136701
2102.58/2110.24 c #Conflicts: 993000 | #Constraints: 137701
2102.58/2110.24 c #Conflicts: 994000 | #Constraints: 138701
2102.58/2110.24 c #Conflicts: 995000 | #Constraints: 139701
2102.58/2110.24 c #Conflicts: 996000 | #Constraints: 140701
2102.58/2110.24 c #Conflicts: 997000 | #Constraints: 141701
2102.58/2110.24 c #Conflicts: 998000 | #Constraints: 142701
2102.58/2110.24 c #Conflicts: 999000 | #Constraints: 143701
2102.58/2110.24 c #Conflicts: 1000000 | #Constraints: 144701
2102.58/2110.24 c #Conflicts: 1001000 | #Constraints: 145701
2102.58/2110.24 c INPROCESSING
2102.58/2110.24 c GARBAGE COLLECT
2102.58/2110.24 c #Conflicts: 1002000 | #Constraints: 126898
2102.58/2110.24 c #Conflicts: 1003000 | #Constraints: 127898
2102.58/2110.24 c #Conflicts: 1004000 | #Constraints: 128898
2102.58/2110.24 c #Conflicts: 1005000 | #Constraints: 129898
2102.58/2110.24 c #Conflicts: 1006000 | #Constraints: 130898
2102.58/2110.24 c #Conflicts: 1007000 | #Constraints: 131898
2102.58/2110.24 c #Conflicts: 1008000 | #Constraints: 132898
2102.58/2110.24 c #Conflicts: 1009000 | #Constraints: 133898
2102.58/2110.24 c #Conflicts: 1010000 | #Constraints: 134898
2102.58/2110.24 c #Conflicts: 1011000 | #Constraints: 135898
2102.58/2110.24 c #Conflicts: 1012000 | #Constraints: 136898
2102.58/2110.24 c #Conflicts: 1013000 | #Constraints: 137898
2102.58/2110.24 c #Conflicts: 1014000 | #Constraints: 138898
2102.58/2110.24 c #Conflicts: 1015000 | #Constraints: 139898
2102.58/2110.24 c #Conflicts: 1016000 | #Constraints: 140898
2102.58/2110.24 c #Conflicts: 1017000 | #Constraints: 141898
2102.58/2110.24 c #Conflicts: 1018000 | #Constraints: 142898
2102.58/2110.24 c #Conflicts: 1019000 | #Constraints: 143898
2102.58/2110.24 c #Conflicts: 1020000 | #Constraints: 144898
2102.58/2110.24 c #Conflicts: 1021000 | #Constraints: 145898
2102.58/2110.24 c INPROCESSING
2102.58/2110.24 c GARBAGE COLLECT
2102.58/2110.24 c #Conflicts: 1022000 | #Constraints: 126901
2102.58/2110.24 c #Conflicts: 1023000 | #Constraints: 127901
2102.58/2110.24 c #Conflicts: 1024000 | #Constraints: 128901
2102.58/2110.24 c #Conflicts: 1025000 | #Constraints: 129901
2102.58/2110.24 c #Conflicts: 1026000 | #Constraints: 130901
2102.58/2110.24 c #Conflicts: 1027000 | #Constraints: 131901
2231.46/2239.60 c #Conflicts: 1028000 | #Constraints: 132901
2231.46/2239.60 c #Conflicts: 1029000 | #Constraints: 133901
2231.46/2239.60 c #Conflicts: 1030000 | #Constraints: 134901
2231.46/2239.60 c #Conflicts: 1031000 | #Constraints: 135901
2231.46/2239.60 c #Conflicts: 1032000 | #Constraints: 136901
2231.46/2239.60 c #Conflicts: 1033000 | #Constraints: 137901
2231.46/2239.60 c #Conflicts: 1034000 | #Constraints: 138901
2231.46/2239.60 c #Conflicts: 1035000 | #Constraints: 139901
2231.46/2239.60 c #Conflicts: 1036000 | #Constraints: 140901
2231.46/2239.60 c #Conflicts: 1037000 | #Constraints: 141901
2231.46/2239.60 c #Conflicts: 1038000 | #Constraints: 142901
2231.46/2239.60 c #Conflicts: 1039000 | #Constraints: 143901
2231.46/2239.60 c #Conflicts: 1040000 | #Constraints: 144901
2231.46/2239.60 c #Conflicts: 1041000 | #Constraints: 145901
2231.46/2239.60 c INPROCESSING
2231.46/2239.60 c GARBAGE COLLECT
2231.46/2239.60 c #Conflicts: 1042000 | #Constraints: 126703
2231.46/2239.60 c #Conflicts: 1043000 | #Constraints: 127703
2231.46/2239.60 c #Conflicts: 1044000 | #Constraints: 128703
2231.46/2239.60 c #Conflicts: 1045000 | #Constraints: 129703
2231.46/2239.60 c #Conflicts: 1046000 | #Constraints: 130703
2231.46/2239.60 c #Conflicts: 1047000 | #Constraints: 131703
2231.46/2239.60 c #Conflicts: 1048000 | #Constraints: 132703
2231.46/2239.60 c #Conflicts: 1049000 | #Constraints: 133703
2231.46/2239.60 c #Conflicts: 1050000 | #Constraints: 134703
2231.46/2239.60 c #Conflicts: 1051000 | #Constraints: 135703
2231.46/2239.60 c #Conflicts: 1052000 | #Constraints: 136703
2231.46/2239.60 c #Conflicts: 1053000 | #Constraints: 137703
2231.46/2239.60 c #Conflicts: 1054000 | #Constraints: 138703
2231.46/2239.60 c #Conflicts: 1055000 | #Constraints: 139703
2231.46/2239.60 c #Conflicts: 1056000 | #Constraints: 140703
2231.46/2239.60 c #Conflicts: 1057000 | #Constraints: 141703
2231.46/2239.60 c #Conflicts: 1058000 | #Constraints: 142703
2231.46/2239.60 c #Conflicts: 1059000 | #Constraints: 143703
2231.46/2239.60 c #Conflicts: 1060000 | #Constraints: 144703
2231.46/2239.60 c #Conflicts: 1061000 | #Constraints: 145703
2231.46/2239.60 c #Conflicts: 1062000 | #Constraints: 146703
2231.46/2239.60 c INPROCESSING
2231.46/2239.60 c GARBAGE COLLECT
2231.46/2239.60 c #Conflicts: 1063000 | #Constraints: 127310
2231.46/2239.60 c #Conflicts: 1064000 | #Constraints: 128310
2231.46/2239.60 c #Conflicts: 1065000 | #Constraints: 129310
2231.46/2239.60 c #Conflicts: 1066000 | #Constraints: 130310
2231.46/2239.60 c #Conflicts: 1067000 | #Constraints: 131310
2231.46/2239.60 c #Conflicts: 1068000 | #Constraints: 132310
2231.46/2239.60 c #Conflicts: 1069000 | #Constraints: 133310
2231.46/2239.60 c #Conflicts: 1070000 | #Constraints: 134310
2231.46/2239.60 c #Conflicts: 1071000 | #Constraints: 135310
2231.46/2239.60 c #Conflicts: 1072000 | #Constraints: 136310
2231.46/2239.60 c #Conflicts: 1073000 | #Constraints: 137310
2231.46/2239.60 c #Conflicts: 1074000 | #Constraints: 138310
2231.46/2239.60 c #Conflicts: 1075000 | #Constraints: 139310
2231.46/2239.60 c #Conflicts: 1076000 | #Constraints: 140310
2231.46/2239.60 c #Conflicts: 1077000 | #Constraints: 141310
2231.46/2239.60 c #Conflicts: 1078000 | #Constraints: 142310
2231.46/2239.60 c #Conflicts: 1079000 | #Constraints: 143310
2231.46/2239.60 c #Conflicts: 1080000 | #Constraints: 144310
2231.46/2239.60 c #Conflicts: 1081000 | #Constraints: 145310
2231.46/2239.60 c #Conflicts: 1082000 | #Constraints: 146310
2231.46/2239.60 c #Conflicts: 1083000 | #Constraints: 147310
2231.46/2239.60 c INPROCESSING
2231.46/2239.60 c GARBAGE COLLECT
2231.46/2239.60 c #Conflicts: 1084000 | #Constraints: 127711
2231.46/2239.60 c #Conflicts: 1085000 | #Constraints: 128711
2231.46/2239.60 c #Conflicts: 1086000 | #Constraints: 129711
2231.46/2239.60 c #Conflicts: 1087000 | #Constraints: 130711
2231.46/2239.60 c #Conflicts: 1088000 | #Constraints: 131711
2231.46/2239.60 c #Conflicts: 1089000 | #Constraints: 132711
2231.46/2239.60 c #Conflicts: 1090000 | #Constraints: 133711
2231.46/2239.60 c #Conflicts: 1091000 | #Constraints: 134711
2231.46/2239.60 c #Conflicts: 1092000 | #Constraints: 135711
2231.46/2239.60 c #Conflicts: 1093000 | #Constraints: 136711
2231.46/2239.60 c #Conflicts: 1094000 | #Constraints: 137711
2231.46/2239.60 c #Conflicts: 1095000 | #Constraints: 138711
2231.46/2239.60 c #Conflicts: 1096000 | #Constraints: 139711
2231.46/2239.60 c #Conflicts: 1097000 | #Constraints: 140711
2231.46/2239.60 c #Conflicts: 1098000 | #Constraints: 141711
2231.46/2239.60 c #Conflicts: 1099000 | #Constraints: 142711
2231.46/2239.60 c #Conflicts: 1100000 | #Constraints: 143711
2231.46/2239.60 c #Conflicts: 1101000 | #Constraints: 144711
2231.46/2239.60 c #Conflicts: 1102000 | #Constraints: 145711
2231.46/2239.60 c #Conflicts: 1103000 | #Constraints: 146711
2231.46/2239.60 c #Conflicts: 1104000 | #Constraints: 147711
2405.86/2414.73 c INPROCESSING
2405.86/2414.73 c GARBAGE COLLECT
2405.86/2414.73 c #Conflicts: 1105000 | #Constraints: 127898
2405.86/2414.73 c #Conflicts: 1106000 | #Constraints: 128898
2405.86/2414.73 c #Conflicts: 1107000 | #Constraints: 129898
2405.86/2414.73 c #Conflicts: 1108000 | #Constraints: 130898
2405.86/2414.73 c #Conflicts: 1109000 | #Constraints: 131898
2405.86/2414.73 c #Conflicts: 1110000 | #Constraints: 132898
2405.86/2414.73 c #Conflicts: 1111000 | #Constraints: 133898
2405.86/2414.73 c #Conflicts: 1112000 | #Constraints: 134898
2405.86/2414.73 c #Conflicts: 1113000 | #Constraints: 135898
2405.86/2414.73 c #Conflicts: 1114000 | #Constraints: 136898
2405.86/2414.73 c #Conflicts: 1115000 | #Constraints: 137898
2405.86/2414.73 c #Conflicts: 1116000 | #Constraints: 138898
2405.86/2414.73 c #Conflicts: 1117000 | #Constraints: 139898
2405.86/2414.73 c #Conflicts: 1118000 | #Constraints: 140898
2405.86/2414.73 c #Conflicts: 1119000 | #Constraints: 141898
2405.86/2414.73 c #Conflicts: 1120000 | #Constraints: 142898
2405.86/2414.73 c #Conflicts: 1121000 | #Constraints: 143898
2405.86/2414.73 c #Conflicts: 1122000 | #Constraints: 144898
2405.86/2414.73 c #Conflicts: 1123000 | #Constraints: 145898
2405.86/2414.73 c #Conflicts: 1124000 | #Constraints: 146898
2405.86/2414.73 c #Conflicts: 1125000 | #Constraints: 147898
2405.86/2414.73 c INPROCESSING
2405.86/2414.73 c GARBAGE COLLECT
2405.86/2414.73 c #Conflicts: 1126000 | #Constraints: 127900
2405.86/2414.73 c #Conflicts: 1127000 | #Constraints: 128900
2405.86/2414.73 c #Conflicts: 1128000 | #Constraints: 129900
2405.86/2414.73 c #Conflicts: 1129000 | #Constraints: 130900
2405.86/2414.73 c #Conflicts: 1130000 | #Constraints: 131900
2405.86/2414.73 c #Conflicts: 1131000 | #Constraints: 132900
2405.86/2414.73 c #Conflicts: 1132000 | #Constraints: 133900
2405.86/2414.73 c #Conflicts: 1133000 | #Constraints: 134900
2405.86/2414.73 c #Conflicts: 1134000 | #Constraints: 135900
2405.86/2414.73 c #Conflicts: 1135000 | #Constraints: 136900
2405.86/2414.73 c #Conflicts: 1136000 | #Constraints: 137900
2405.86/2414.73 c #Conflicts: 1137000 | #Constraints: 138900
2405.86/2414.73 c #Conflicts: 1138000 | #Constraints: 139900
2405.86/2414.73 c #Conflicts: 1139000 | #Constraints: 140900
2405.86/2414.73 c #Conflicts: 1140000 | #Constraints: 141900
2405.86/2414.73 c #Conflicts: 1141000 | #Constraints: 142900
2405.86/2414.73 c #Conflicts: 1142000 | #Constraints: 143900
2405.86/2414.73 c #Conflicts: 1143000 | #Constraints: 144900
2405.86/2414.73 c #Conflicts: 1144000 | #Constraints: 145900
2405.86/2414.73 c #Conflicts: 1145000 | #Constraints: 146900
2405.86/2414.73 c #Conflicts: 1146000 | #Constraints: 147900
2405.86/2414.73 c INPROCESSING
2405.86/2414.73 c GARBAGE COLLECT
2405.86/2414.73 c #Conflicts: 1147000 | #Constraints: 127692
2405.86/2414.73 c #Conflicts: 1148000 | #Constraints: 128692
2405.86/2414.73 c #Conflicts: 1149000 | #Constraints: 129692
2405.86/2414.73 c #Conflicts: 1150000 | #Constraints: 130692
2405.86/2414.73 c #Conflicts: 1151000 | #Constraints: 131692
2405.86/2414.73 c #Conflicts: 1152000 | #Constraints: 132692
2405.86/2414.73 c #Conflicts: 1153000 | #Constraints: 133692
2405.86/2414.73 c #Conflicts: 1154000 | #Constraints: 134692
2405.86/2414.73 c #Conflicts: 1155000 | #Constraints: 135692
2405.86/2414.73 c #Conflicts: 1156000 | #Constraints: 136692
2405.86/2414.73 c #Conflicts: 1157000 | #Constraints: 137692
2405.86/2414.73 c #Conflicts: 1158000 | #Constraints: 138692
2405.86/2414.73 c #Conflicts: 1159000 | #Constraints: 139692
2405.86/2414.73 c #Conflicts: 1160000 | #Constraints: 140692
2405.86/2414.73 c #Conflicts: 1161000 | #Constraints: 141692
2405.86/2414.73 c #Conflicts: 1162000 | #Constraints: 142692
2405.86/2414.73 c #Conflicts: 1163000 | #Constraints: 143692
2405.86/2414.73 c #Conflicts: 1164000 | #Constraints: 144692
2405.86/2414.73 c #Conflicts: 1165000 | #Constraints: 145692
2405.86/2414.73 c #Conflicts: 1166000 | #Constraints: 146692
2405.86/2414.73 c #Conflicts: 1167000 | #Constraints: 147692
2405.86/2414.73 c #Conflicts: 1168000 | #Constraints: 148692
2405.86/2414.73 c INPROCESSING
2405.86/2414.73 c GARBAGE COLLECT
2405.86/2414.73 c #Conflicts: 1169000 | #Constraints: 128297
2405.86/2414.73 c #Conflicts: 1170000 | #Constraints: 129297
2405.86/2414.73 c #Conflicts: 1171000 | #Constraints: 130297
2405.86/2414.73 c #Conflicts: 1172000 | #Constraints: 131297
2405.86/2414.73 c #Conflicts: 1173000 | #Constraints: 132297
2405.86/2414.73 c #Conflicts: 1174000 | #Constraints: 133297
2405.86/2414.73 c #Conflicts: 1175000 | #Constraints: 134297
2405.86/2414.73 c #Conflicts: 1176000 | #Constraints: 135297
2405.86/2414.73 c #Conflicts: 1177000 | #Constraints: 136297
2405.86/2414.73 c #Conflicts: 1178000 | #Constraints: 137297
2405.86/2414.73 c #Conflicts: 1179000 | #Constraints: 138297
2405.86/2414.73 c #Conflicts: 1180000 | #Constraints: 139297
2539.73/2549.16 c #Conflicts: 1181000 | #Constraints: 140297
2539.73/2549.16 c #Conflicts: 1182000 | #Constraints: 141297
2539.73/2549.16 c #Conflicts: 1183000 | #Constraints: 142297
2539.73/2549.16 c #Conflicts: 1184000 | #Constraints: 143297
2539.73/2549.16 c #Conflicts: 1185000 | #Constraints: 144297
2539.73/2549.16 c #Conflicts: 1186000 | #Constraints: 145297
2539.73/2549.16 c #Conflicts: 1187000 | #Constraints: 146297
2539.73/2549.16 c #Conflicts: 1188000 | #Constraints: 147297
2539.73/2549.16 c #Conflicts: 1189000 | #Constraints: 148297
2539.73/2549.16 c #Conflicts: 1190000 | #Constraints: 149297
2539.73/2549.16 c INPROCESSING
2539.73/2549.16 c GARBAGE COLLECT
2539.73/2549.16 c #Conflicts: 1191000 | #Constraints: 128697
2539.73/2549.16 c #Conflicts: 1192000 | #Constraints: 129697
2539.73/2549.16 c #Conflicts: 1193000 | #Constraints: 130697
2539.73/2549.16 c #Conflicts: 1194000 | #Constraints: 131697
2539.73/2549.16 c #Conflicts: 1195000 | #Constraints: 132697
2539.73/2549.16 c #Conflicts: 1196000 | #Constraints: 133697
2539.73/2549.16 c #Conflicts: 1197000 | #Constraints: 134697
2539.73/2549.16 c #Conflicts: 1198000 | #Constraints: 135697
2539.73/2549.16 c #Conflicts: 1199000 | #Constraints: 136697
2539.73/2549.16 c #Conflicts: 1200000 | #Constraints: 137697
2539.73/2549.16 c #Conflicts: 1201000 | #Constraints: 138697
2539.73/2549.16 c #Conflicts: 1202000 | #Constraints: 139697
2539.73/2549.16 c #Conflicts: 1203000 | #Constraints: 140697
2539.73/2549.16 c #Conflicts: 1204000 | #Constraints: 141697
2539.73/2549.16 c #Conflicts: 1205000 | #Constraints: 142697
2539.73/2549.16 c #Conflicts: 1206000 | #Constraints: 143697
2539.73/2549.16 c #Conflicts: 1207000 | #Constraints: 144697
2539.73/2549.16 c #Conflicts: 1208000 | #Constraints: 145697
2539.73/2549.16 c #Conflicts: 1209000 | #Constraints: 146697
2539.73/2549.16 c #Conflicts: 1210000 | #Constraints: 147697
2539.73/2549.16 c #Conflicts: 1211000 | #Constraints: 148697
2539.73/2549.16 c #Conflicts: 1212000 | #Constraints: 149697
2539.73/2549.16 c INPROCESSING
2539.73/2549.16 c GARBAGE COLLECT
2539.73/2549.16 c #Conflicts: 1213000 | #Constraints: 128900
2539.73/2549.16 c #Conflicts: 1214000 | #Constraints: 129900
2539.73/2549.16 c #Conflicts: 1215000 | #Constraints: 130900
2539.73/2549.16 c #Conflicts: 1216000 | #Constraints: 131900
2539.73/2549.16 c #Conflicts: 1217000 | #Constraints: 132900
2539.73/2549.16 c #Conflicts: 1218000 | #Constraints: 133900
2539.73/2549.16 c #Conflicts: 1219000 | #Constraints: 134900
2539.73/2549.16 c #Conflicts: 1220000 | #Constraints: 135900
2539.73/2549.16 c #Conflicts: 1221000 | #Constraints: 136900
2539.73/2549.16 c #Conflicts: 1222000 | #Constraints: 137900
2539.73/2549.16 c #Conflicts: 1223000 | #Constraints: 138900
2539.73/2549.16 c #Conflicts: 1224000 | #Constraints: 139900
2539.73/2549.16 c #Conflicts: 1225000 | #Constraints: 140900
2539.73/2549.16 c #Conflicts: 1226000 | #Constraints: 141900
2539.73/2549.16 c #Conflicts: 1227000 | #Constraints: 142900
2539.73/2549.16 c #Conflicts: 1228000 | #Constraints: 143900
2539.73/2549.16 c #Conflicts: 1229000 | #Constraints: 144900
2539.73/2549.16 c #Conflicts: 1230000 | #Constraints: 145900
2539.73/2549.16 c #Conflicts: 1231000 | #Constraints: 146900
2539.73/2549.16 c #Conflicts: 1232000 | #Constraints: 147900
2539.73/2549.16 c #Conflicts: 1233000 | #Constraints: 148900
2539.73/2549.16 c #Conflicts: 1234000 | #Constraints: 149900
2539.73/2549.16 c INPROCESSING
2539.73/2549.16 c GARBAGE COLLECT
2539.73/2549.16 c #Conflicts: 1235000 | #Constraints: 128902
2539.73/2549.16 c #Conflicts: 1236000 | #Constraints: 129902
2539.73/2549.16 c #Conflicts: 1237000 | #Constraints: 130902
2539.73/2549.16 c #Conflicts: 1238000 | #Constraints: 131902
2539.73/2549.16 c #Conflicts: 1239000 | #Constraints: 132902
2539.73/2549.16 c #Conflicts: 1240000 | #Constraints: 133902
2539.73/2549.16 c #Conflicts: 1241000 | #Constraints: 134902
2539.73/2549.16 c #Conflicts: 1242000 | #Constraints: 135902
2539.73/2549.16 c #Conflicts: 1243000 | #Constraints: 136902
2539.73/2549.16 c #Conflicts: 1244000 | #Constraints: 137902
2539.73/2549.16 c #Conflicts: 1245000 | #Constraints: 138902
2539.73/2549.16 c #Conflicts: 1246000 | #Constraints: 139902
2539.73/2549.16 c #Conflicts: 1247000 | #Constraints: 140902
2539.73/2549.16 c #Conflicts: 1248000 | #Constraints: 141902
2539.73/2549.16 c #Conflicts: 1249000 | #Constraints: 142902
2539.73/2549.16 c #Conflicts: 1250000 | #Constraints: 143902
2539.73/2549.16 c #Conflicts: 1251000 | #Constraints: 144902
2539.73/2549.16 c #Conflicts: 1252000 | #Constraints: 145902
2539.73/2549.16 c #Conflicts: 1253000 | #Constraints: 146902
2539.73/2549.16 c #Conflicts: 1254000 | #Constraints: 147902
2539.73/2549.16 c #Conflicts: 1255000 | #Constraints: 148902
2539.73/2549.16 c #Conflicts: 1256000 | #Constraints: 149902
2539.73/2549.16 c INPROCESSING
2539.73/2549.16 c GARBAGE COLLECT
2695.49/2705.56 c #Conflicts: 1257000 | #Constraints: 128704
2695.49/2705.56 c #Conflicts: 1258000 | #Constraints: 129704
2695.49/2705.56 c #Conflicts: 1259000 | #Constraints: 130704
2695.49/2705.56 c #Conflicts: 1260000 | #Constraints: 131704
2695.49/2705.56 c #Conflicts: 1261000 | #Constraints: 132704
2695.49/2705.56 c #Conflicts: 1262000 | #Constraints: 133704
2695.49/2705.56 c #Conflicts: 1263000 | #Constraints: 134704
2695.49/2705.56 c #Conflicts: 1264000 | #Constraints: 135704
2695.49/2705.56 c #Conflicts: 1265000 | #Constraints: 136704
2695.49/2705.56 c #Conflicts: 1266000 | #Constraints: 137704
2695.49/2705.56 c #Conflicts: 1267000 | #Constraints: 138704
2695.49/2705.56 c #Conflicts: 1268000 | #Constraints: 139704
2695.49/2705.56 c #Conflicts: 1269000 | #Constraints: 140704
2695.49/2705.56 c #Conflicts: 1270000 | #Constraints: 141704
2695.49/2705.56 c #Conflicts: 1271000 | #Constraints: 142704
2695.49/2705.56 c #Conflicts: 1272000 | #Constraints: 143704
2695.49/2705.56 c #Conflicts: 1273000 | #Constraints: 144704
2695.49/2705.56 c #Conflicts: 1274000 | #Constraints: 145704
2695.49/2705.56 c #Conflicts: 1275000 | #Constraints: 146704
2695.49/2705.56 c #Conflicts: 1276000 | #Constraints: 147704
2695.49/2705.56 c #Conflicts: 1277000 | #Constraints: 148704
2695.49/2705.56 c #Conflicts: 1278000 | #Constraints: 149704
2695.49/2705.56 c #Conflicts: 1279000 | #Constraints: 150704
2695.49/2705.56 c INPROCESSING
2695.49/2705.56 c GARBAGE COLLECT
2695.49/2705.56 c #Conflicts: 1280000 | #Constraints: 129306
2695.49/2705.56 c #Conflicts: 1281000 | #Constraints: 130306
2695.49/2705.56 c #Conflicts: 1282000 | #Constraints: 131306
2695.49/2705.56 c #Conflicts: 1283000 | #Constraints: 132306
2695.49/2705.56 c #Conflicts: 1284000 | #Constraints: 133306
2695.49/2705.56 c #Conflicts: 1285000 | #Constraints: 134306
2695.49/2705.56 c #Conflicts: 1286000 | #Constraints: 135306
2695.49/2705.56 c #Conflicts: 1287000 | #Constraints: 136306
2695.49/2705.56 c #Conflicts: 1288000 | #Constraints: 137306
2695.49/2705.56 c #Conflicts: 1289000 | #Constraints: 138306
2695.49/2705.56 c #Conflicts: 1290000 | #Constraints: 139306
2695.49/2705.56 c #Conflicts: 1291000 | #Constraints: 140306
2695.49/2705.56 c #Conflicts: 1292000 | #Constraints: 141306
2695.49/2705.56 c #Conflicts: 1293000 | #Constraints: 142306
2695.49/2705.56 c #Conflicts: 1294000 | #Constraints: 143306
2695.49/2705.56 c #Conflicts: 1295000 | #Constraints: 144306
2695.49/2705.56 c #Conflicts: 1296000 | #Constraints: 145306
2695.49/2705.56 c #Conflicts: 1297000 | #Constraints: 146306
2695.49/2705.56 c #Conflicts: 1298000 | #Constraints: 147306
2695.49/2705.56 c #Conflicts: 1299000 | #Constraints: 148306
2695.49/2705.56 c #Conflicts: 1300000 | #Constraints: 149306
2695.49/2705.56 c #Conflicts: 1301000 | #Constraints: 150306
2695.49/2705.56 c #Conflicts: 1302000 | #Constraints: 151306
2695.49/2705.56 c INPROCESSING
2695.49/2705.56 c GARBAGE COLLECT
2695.49/2705.56 c #Conflicts: 1303000 | #Constraints: 129694
2695.49/2705.56 c #Conflicts: 1304000 | #Constraints: 130694
2695.49/2705.56 c #Conflicts: 1305000 | #Constraints: 131694
2695.49/2705.56 c #Conflicts: 1306000 | #Constraints: 132694
2695.49/2705.56 c #Conflicts: 1307000 | #Constraints: 133694
2695.49/2705.56 c #Conflicts: 1308000 | #Constraints: 134694
2695.49/2705.56 c #Conflicts: 1309000 | #Constraints: 135694
2695.49/2705.56 c #Conflicts: 1310000 | #Constraints: 136694
2695.49/2705.56 c #Conflicts: 1311000 | #Constraints: 137694
2695.49/2705.56 c #Conflicts: 1312000 | #Constraints: 138694
2695.49/2705.56 c #Conflicts: 1313000 | #Constraints: 139694
2695.49/2705.56 c #Conflicts: 1314000 | #Constraints: 140694
2695.49/2705.56 c #Conflicts: 1315000 | #Constraints: 141694
2695.49/2705.56 c #Conflicts: 1316000 | #Constraints: 142694
2695.49/2705.56 c #Conflicts: 1317000 | #Constraints: 143694
2695.49/2705.56 c #Conflicts: 1318000 | #Constraints: 144694
2695.49/2705.56 c #Conflicts: 1319000 | #Constraints: 145694
2695.49/2705.56 c #Conflicts: 1320000 | #Constraints: 146694
2695.49/2705.56 c #Conflicts: 1321000 | #Constraints: 147694
2695.49/2705.56 c #Conflicts: 1322000 | #Constraints: 148694
2695.49/2705.56 c #Conflicts: 1323000 | #Constraints: 149694
2695.49/2705.56 c #Conflicts: 1324000 | #Constraints: 150694
2695.49/2705.56 c #Conflicts: 1325000 | #Constraints: 151694
2695.49/2705.56 c INPROCESSING
2695.49/2705.56 c GARBAGE COLLECT
2695.49/2705.56 c #Conflicts: 1326000 | #Constraints: 129896
2695.49/2705.56 c #Conflicts: 1327000 | #Constraints: 130896
2695.49/2705.56 c #Conflicts: 1328000 | #Constraints: 131896
2695.49/2705.56 c #Conflicts: 1329000 | #Constraints: 132896
2695.49/2705.56 c #Conflicts: 1330000 | #Constraints: 133896
2695.49/2705.56 c #Conflicts: 1331000 | #Constraints: 134896
2695.49/2705.56 c #Conflicts: 1332000 | #Constraints: 135896
2695.49/2705.56 c #Conflicts: 1333000 | #Constraints: 136896
2876.07/2886.82 c #Conflicts: 1334000 | #Constraints: 137896
2876.07/2886.82 c #Conflicts: 1335000 | #Constraints: 138896
2876.07/2886.82 c #Conflicts: 1336000 | #Constraints: 139896
2876.07/2886.82 c #Conflicts: 1337000 | #Constraints: 140896
2876.07/2886.82 c #Conflicts: 1338000 | #Constraints: 141896
2876.07/2886.82 c #Conflicts: 1339000 | #Constraints: 142896
2876.07/2886.82 c #Conflicts: 1340000 | #Constraints: 143896
2876.07/2886.82 c #Conflicts: 1341000 | #Constraints: 144896
2876.07/2886.82 c #Conflicts: 1342000 | #Constraints: 145896
2876.07/2886.82 c #Conflicts: 1343000 | #Constraints: 146896
2876.07/2886.82 c #Conflicts: 1344000 | #Constraints: 147896
2876.07/2886.82 c #Conflicts: 1345000 | #Constraints: 148896
2876.07/2886.82 c #Conflicts: 1346000 | #Constraints: 149896
2876.07/2886.82 c #Conflicts: 1347000 | #Constraints: 150896
2876.07/2886.82 c #Conflicts: 1348000 | #Constraints: 151896
2876.07/2886.82 c INPROCESSING
2876.07/2886.82 c GARBAGE COLLECT
2876.07/2886.82 c #Conflicts: 1349000 | #Constraints: 129903
2876.07/2886.82 c #Conflicts: 1350000 | #Constraints: 130903
2876.07/2886.82 c #Conflicts: 1351000 | #Constraints: 131903
2876.07/2886.82 c #Conflicts: 1352000 | #Constraints: 132903
2876.07/2886.82 c #Conflicts: 1353000 | #Constraints: 133903
2876.07/2886.82 c #Conflicts: 1354000 | #Constraints: 134903
2876.07/2886.82 c #Conflicts: 1355000 | #Constraints: 135903
2876.07/2886.82 c #Conflicts: 1356000 | #Constraints: 136903
2876.07/2886.82 c #Conflicts: 1357000 | #Constraints: 137903
2876.07/2886.82 c #Conflicts: 1358000 | #Constraints: 138903
2876.07/2886.82 c #Conflicts: 1359000 | #Constraints: 139903
2876.07/2886.82 c #Conflicts: 1360000 | #Constraints: 140903
2876.07/2886.82 c #Conflicts: 1361000 | #Constraints: 141903
2876.07/2886.82 c #Conflicts: 1362000 | #Constraints: 142903
2876.07/2886.82 c #Conflicts: 1363000 | #Constraints: 143903
2876.07/2886.82 c #Conflicts: 1364000 | #Constraints: 144903
2876.07/2886.82 c #Conflicts: 1365000 | #Constraints: 145903
2876.07/2886.82 c #Conflicts: 1366000 | #Constraints: 146903
2876.07/2886.82 c #Conflicts: 1367000 | #Constraints: 147903
2876.07/2886.82 c #Conflicts: 1368000 | #Constraints: 148903
2876.07/2886.82 c #Conflicts: 1369000 | #Constraints: 149903
2876.07/2886.82 c #Conflicts: 1370000 | #Constraints: 150903
2876.07/2886.82 c #Conflicts: 1371000 | #Constraints: 151903
2876.07/2886.82 c INPROCESSING
2876.07/2886.82 c GARBAGE COLLECT
2876.07/2886.82 c #Conflicts: 1372000 | #Constraints: 129694
2876.07/2886.82 c #Conflicts: 1373000 | #Constraints: 130694
2876.07/2886.82 c #Conflicts: 1374000 | #Constraints: 131694
2876.07/2886.82 c #Conflicts: 1375000 | #Constraints: 132694
2876.07/2886.82 c #Conflicts: 1376000 | #Constraints: 133694
2876.07/2886.82 c #Conflicts: 1377000 | #Constraints: 134694
2876.07/2886.82 c #Conflicts: 1378000 | #Constraints: 135694
2876.07/2886.82 c #Conflicts: 1379000 | #Constraints: 136694
2876.07/2886.82 c #Conflicts: 1380000 | #Constraints: 137694
2876.07/2886.82 c #Conflicts: 1381000 | #Constraints: 138694
2876.07/2886.82 c #Conflicts: 1382000 | #Constraints: 139694
2876.07/2886.82 c #Conflicts: 1383000 | #Constraints: 140694
2876.07/2886.82 c #Conflicts: 1384000 | #Constraints: 141694
2876.07/2886.82 c #Conflicts: 1385000 | #Constraints: 142694
2876.07/2886.82 c #Conflicts: 1386000 | #Constraints: 143694
2876.07/2886.82 c #Conflicts: 1387000 | #Constraints: 144694
2876.07/2886.82 c #Conflicts: 1388000 | #Constraints: 145694
2876.07/2886.82 c #Conflicts: 1389000 | #Constraints: 146694
2876.07/2886.82 c #Conflicts: 1390000 | #Constraints: 147694
2876.07/2886.82 c #Conflicts: 1391000 | #Constraints: 148694
2876.07/2886.82 c #Conflicts: 1392000 | #Constraints: 149694
2876.07/2886.82 c #Conflicts: 1393000 | #Constraints: 150694
2876.07/2886.82 c #Conflicts: 1394000 | #Constraints: 151694
2876.07/2886.82 c #Conflicts: 1395000 | #Constraints: 152694
2876.07/2886.82 c INPROCESSING
2876.07/2886.82 c GARBAGE COLLECT
2876.07/2886.82 c #Conflicts: 1396000 | #Constraints: 130295
2876.07/2886.82 c #Conflicts: 1397000 | #Constraints: 131295
2876.07/2886.82 c #Conflicts: 1398000 | #Constraints: 132295
2876.07/2886.82 c #Conflicts: 1399000 | #Constraints: 133295
2876.07/2886.82 c #Conflicts: 1400000 | #Constraints: 134295
2876.07/2886.82 c #Conflicts: 1401000 | #Constraints: 135295
2876.07/2886.82 c #Conflicts: 1402000 | #Constraints: 136295
2876.07/2886.82 c #Conflicts: 1403000 | #Constraints: 137295
2876.07/2886.82 c #Conflicts: 1404000 | #Constraints: 138295
2876.07/2886.82 c #Conflicts: 1405000 | #Constraints: 139295
2876.07/2886.82 c #Conflicts: 1406000 | #Constraints: 140295
2876.07/2886.82 c #Conflicts: 1407000 | #Constraints: 141295
2876.07/2886.82 c #Conflicts: 1408000 | #Constraints: 142295
2876.07/2886.82 c #Conflicts: 1409000 | #Constraints: 143295
2876.07/2886.82 c #Conflicts: 1410000 | #Constraints: 144295
3052.86/3064.35 c #Conflicts: 1411000 | #Constraints: 145295
3052.86/3064.35 c #Conflicts: 1412000 | #Constraints: 146295
3052.86/3064.35 c #Conflicts: 1413000 | #Constraints: 147295
3052.86/3064.35 c #Conflicts: 1414000 | #Constraints: 148295
3052.86/3064.35 c #Conflicts: 1415000 | #Constraints: 149295
3052.86/3064.35 c #Conflicts: 1416000 | #Constraints: 150295
3052.86/3064.35 c #Conflicts: 1417000 | #Constraints: 151295
3052.86/3064.35 c #Conflicts: 1418000 | #Constraints: 152295
3052.86/3064.35 c #Conflicts: 1419000 | #Constraints: 153295
3052.86/3064.35 c INPROCESSING
3052.86/3064.35 c GARBAGE COLLECT
3052.86/3064.35 c #Conflicts: 1420000 | #Constraints: 130693
3052.86/3064.35 c #Conflicts: 1421000 | #Constraints: 131693
3052.86/3064.35 c #Conflicts: 1422000 | #Constraints: 132693
3052.86/3064.35 c #Conflicts: 1423000 | #Constraints: 133693
3052.86/3064.35 c #Conflicts: 1424000 | #Constraints: 134693
3052.86/3064.35 c #Conflicts: 1425000 | #Constraints: 135693
3052.86/3064.35 c #Conflicts: 1426000 | #Constraints: 136693
3052.86/3064.35 c #Conflicts: 1427000 | #Constraints: 137693
3052.86/3064.35 c #Conflicts: 1428000 | #Constraints: 138693
3052.86/3064.35 c #Conflicts: 1429000 | #Constraints: 139693
3052.86/3064.35 c #Conflicts: 1430000 | #Constraints: 140693
3052.86/3064.35 c #Conflicts: 1431000 | #Constraints: 141693
3052.86/3064.35 c #Conflicts: 1432000 | #Constraints: 142693
3052.86/3064.35 c #Conflicts: 1433000 | #Constraints: 143693
3052.86/3064.35 c #Conflicts: 1434000 | #Constraints: 144693
3052.86/3064.35 c #Conflicts: 1435000 | #Constraints: 145693
3052.86/3064.35 c #Conflicts: 1436000 | #Constraints: 146693
3052.86/3064.35 c #Conflicts: 1437000 | #Constraints: 147693
3052.86/3064.35 c #Conflicts: 1438000 | #Constraints: 148693
3052.86/3064.35 c #Conflicts: 1439000 | #Constraints: 149693
3052.86/3064.35 c #Conflicts: 1440000 | #Constraints: 150693
3052.86/3064.35 c #Conflicts: 1441000 | #Constraints: 151693
3052.86/3064.35 c #Conflicts: 1442000 | #Constraints: 152693
3052.86/3064.35 c #Conflicts: 1443000 | #Constraints: 153693
3052.86/3064.35 c INPROCESSING
3052.86/3064.35 c GARBAGE COLLECT
3052.86/3064.35 c #Conflicts: 1444000 | #Constraints: 130899
3052.86/3064.35 c #Conflicts: 1445000 | #Constraints: 131899
3052.86/3064.35 c #Conflicts: 1446000 | #Constraints: 132899
3052.86/3064.35 c #Conflicts: 1447000 | #Constraints: 133899
3052.86/3064.35 c #Conflicts: 1448000 | #Constraints: 134899
3052.86/3064.35 c #Conflicts: 1449000 | #Constraints: 135899
3052.86/3064.35 c #Conflicts: 1450000 | #Constraints: 136899
3052.86/3064.35 c #Conflicts: 1451000 | #Constraints: 137899
3052.86/3064.35 c #Conflicts: 1452000 | #Constraints: 138899
3052.86/3064.35 c #Conflicts: 1453000 | #Constraints: 139899
3052.86/3064.35 c #Conflicts: 1454000 | #Constraints: 140899
3052.86/3064.35 c #Conflicts: 1455000 | #Constraints: 141899
3052.86/3064.35 c #Conflicts: 1456000 | #Constraints: 142899
3052.86/3064.35 c #Conflicts: 1457000 | #Constraints: 143899
3052.86/3064.35 c #Conflicts: 1458000 | #Constraints: 144899
3052.86/3064.35 c #Conflicts: 1459000 | #Constraints: 145899
3052.86/3064.35 c #Conflicts: 1460000 | #Constraints: 146899
3052.86/3064.35 c #Conflicts: 1461000 | #Constraints: 147899
3052.86/3064.35 c #Conflicts: 1462000 | #Constraints: 148899
3052.86/3064.35 c #Conflicts: 1463000 | #Constraints: 149899
3052.86/3064.35 c #Conflicts: 1464000 | #Constraints: 150899
3052.86/3064.35 c #Conflicts: 1465000 | #Constraints: 151899
3052.86/3064.35 c #Conflicts: 1466000 | #Constraints: 152899
3052.86/3064.35 c #Conflicts: 1467000 | #Constraints: 153899
3052.86/3064.35 c INPROCESSING
3052.86/3064.35 c GARBAGE COLLECT
3052.86/3064.35 c #Conflicts: 1468000 | #Constraints: 130914
3052.86/3064.35 c #Conflicts: 1469000 | #Constraints: 131914
3052.86/3064.35 c #Conflicts: 1470000 | #Constraints: 132914
3052.86/3064.35 c #Conflicts: 1471000 | #Constraints: 133914
3052.86/3064.35 c #Conflicts: 1472000 | #Constraints: 134914
3052.86/3064.35 c #Conflicts: 1473000 | #Constraints: 135914
3052.86/3064.35 c #Conflicts: 1474000 | #Constraints: 136914
3052.86/3064.35 c #Conflicts: 1475000 | #Constraints: 137914
3052.86/3064.35 c #Conflicts: 1476000 | #Constraints: 138914
3052.86/3064.35 c #Conflicts: 1477000 | #Constraints: 139914
3052.86/3064.35 c #Conflicts: 1478000 | #Constraints: 140914
3052.86/3064.35 c #Conflicts: 1479000 | #Constraints: 141914
3052.86/3064.35 c #Conflicts: 1480000 | #Constraints: 142914
3052.86/3064.35 c #Conflicts: 1481000 | #Constraints: 143914
3052.86/3064.35 c #Conflicts: 1482000 | #Constraints: 144914
3052.86/3064.35 c #Conflicts: 1483000 | #Constraints: 145914
3052.86/3064.35 c #Conflicts: 1484000 | #Constraints: 146914
3052.86/3064.35 c #Conflicts: 1485000 | #Constraints: 147914
3052.86/3064.35 c #Conflicts: 1486000 | #Constraints: 148914
3052.86/3064.35 c #Conflicts: 1487000 | #Constraints: 149914
3214.00/3226.12 c #Conflicts: 1488000 | #Constraints: 150914
3214.00/3226.12 c #Conflicts: 1489000 | #Constraints: 151914
3214.00/3226.12 c #Conflicts: 1490000 | #Constraints: 152914
3214.00/3226.12 c #Conflicts: 1491000 | #Constraints: 153914
3214.00/3226.12 c INPROCESSING
3214.00/3226.12 c GARBAGE COLLECT
3214.00/3226.12 c #Conflicts: 1492000 | #Constraints: 130710
3214.00/3226.12 c #Conflicts: 1493000 | #Constraints: 131710
3214.00/3226.12 c #Conflicts: 1494000 | #Constraints: 132710
3214.00/3226.12 c #Conflicts: 1495000 | #Constraints: 133710
3214.00/3226.12 c #Conflicts: 1496000 | #Constraints: 134710
3214.00/3226.12 c #Conflicts: 1497000 | #Constraints: 135710
3214.00/3226.12 c #Conflicts: 1498000 | #Constraints: 136710
3214.00/3226.12 c #Conflicts: 1499000 | #Constraints: 137710
3214.00/3226.12 c #Conflicts: 1500000 | #Constraints: 138710
3214.00/3226.12 c #Conflicts: 1501000 | #Constraints: 139710
3214.00/3226.12 c #Conflicts: 1502000 | #Constraints: 140710
3214.00/3226.12 c #Conflicts: 1503000 | #Constraints: 141710
3214.00/3226.12 c #Conflicts: 1504000 | #Constraints: 142710
3214.00/3226.12 c #Conflicts: 1505000 | #Constraints: 143710
3214.00/3226.12 c #Conflicts: 1506000 | #Constraints: 144710
3214.00/3226.12 c #Conflicts: 1507000 | #Constraints: 145710
3214.00/3226.12 c #Conflicts: 1508000 | #Constraints: 146710
3214.00/3226.12 c #Conflicts: 1509000 | #Constraints: 147710
3214.00/3226.12 c #Conflicts: 1510000 | #Constraints: 148710
3214.00/3226.12 c #Conflicts: 1511000 | #Constraints: 149710
3214.00/3226.12 c #Conflicts: 1512000 | #Constraints: 150710
3214.00/3226.12 c #Conflicts: 1513000 | #Constraints: 151710
3214.00/3226.12 c #Conflicts: 1514000 | #Constraints: 152710
3214.00/3226.12 c #Conflicts: 1515000 | #Constraints: 153710
3214.00/3226.12 c #Conflicts: 1516000 | #Constraints: 154710
3214.00/3226.12 c INPROCESSING
3214.00/3226.12 c GARBAGE COLLECT
3214.00/3226.12 c #Conflicts: 1517000 | #Constraints: 131326
3214.00/3226.12 c #Conflicts: 1518000 | #Constraints: 132326
3214.00/3226.12 c #Conflicts: 1519000 | #Constraints: 133326
3214.00/3226.12 c #Conflicts: 1520000 | #Constraints: 134326
3214.00/3226.12 c #Conflicts: 1521000 | #Constraints: 135326
3214.00/3226.12 c #Conflicts: 1522000 | #Constraints: 136326
3214.00/3226.12 c #Conflicts: 1523000 | #Constraints: 137326
3214.00/3226.12 c #Conflicts: 1524000 | #Constraints: 138326
3214.00/3226.12 c #Conflicts: 1525000 | #Constraints: 139326
3214.00/3226.12 c #Conflicts: 1526000 | #Constraints: 140326
3214.00/3226.12 c #Conflicts: 1527000 | #Constraints: 141326
3214.00/3226.12 c #Conflicts: 1528000 | #Constraints: 142326
3214.00/3226.12 c #Conflicts: 1529000 | #Constraints: 143326
3214.00/3226.12 c #Conflicts: 1530000 | #Constraints: 144326
3214.00/3226.12 c #Conflicts: 1531000 | #Constraints: 145326
3214.00/3226.12 c #Conflicts: 1532000 | #Constraints: 146326
3214.00/3226.12 c #Conflicts: 1533000 | #Constraints: 147326
3214.00/3226.12 c #Conflicts: 1534000 | #Constraints: 148326
3214.00/3226.12 c #Conflicts: 1535000 | #Constraints: 149326
3214.00/3226.12 c #Conflicts: 1536000 | #Constraints: 150326
3214.00/3226.12 c #Conflicts: 1537000 | #Constraints: 151326
3214.00/3226.12 c #Conflicts: 1538000 | #Constraints: 152326
3214.00/3226.12 c #Conflicts: 1539000 | #Constraints: 153326
3214.00/3226.12 c #Conflicts: 1540000 | #Constraints: 154326
3214.00/3226.12 c #Conflicts: 1541000 | #Constraints: 155326
3214.00/3226.12 c INPROCESSING
3214.00/3226.12 c GARBAGE COLLECT
3214.00/3226.12 c #Conflicts: 1542000 | #Constraints: 131720
3214.00/3226.12 c #Conflicts: 1543000 | #Constraints: 132720
3214.00/3226.12 c #Conflicts: 1544000 | #Constraints: 133720
3214.00/3226.12 c #Conflicts: 1545000 | #Constraints: 134720
3214.00/3226.12 c #Conflicts: 1546000 | #Constraints: 135720
3214.00/3226.12 c #Conflicts: 1547000 | #Constraints: 136720
3214.00/3226.12 c #Conflicts: 1548000 | #Constraints: 137720
3214.00/3226.12 c #Conflicts: 1549000 | #Constraints: 138720
3214.00/3226.12 c #Conflicts: 1550000 | #Constraints: 139720
3214.00/3226.12 c #Conflicts: 1551000 | #Constraints: 140720
3214.00/3226.12 c #Conflicts: 1552000 | #Constraints: 141720
3214.00/3226.12 c #Conflicts: 1553000 | #Constraints: 142720
3214.00/3226.12 c #Conflicts: 1554000 | #Constraints: 143720
3214.00/3226.12 c #Conflicts: 1555000 | #Constraints: 144720
3214.00/3226.12 c #Conflicts: 1556000 | #Constraints: 145720
3214.00/3226.12 c #Conflicts: 1557000 | #Constraints: 146720
3214.00/3226.12 c #Conflicts: 1558000 | #Constraints: 147720
3214.00/3226.12 c #Conflicts: 1559000 | #Constraints: 148720
3214.00/3226.12 c #Conflicts: 1560000 | #Constraints: 149720
3214.00/3226.12 c #Conflicts: 1561000 | #Constraints: 150720
3214.00/3226.12 c #Conflicts: 1562000 | #Constraints: 151720
3214.00/3226.12 c #Conflicts: 1563000 | #Constraints: 152720
3214.00/3226.12 c #Conflicts: 1564000 | #Constraints: 153720
3350.04/3362.79 c #Conflicts: 1565000 | #Constraints: 154720
3350.04/3362.79 c #Conflicts: 1566000 | #Constraints: 155720
3350.04/3362.79 c INPROCESSING
3350.04/3362.79 c GARBAGE COLLECT
3350.04/3362.79 c #Conflicts: 1567000 | #Constraints: 131919
3350.04/3362.79 c #Conflicts: 1568000 | #Constraints: 132919
3350.04/3362.79 c #Conflicts: 1569000 | #Constraints: 133919
3350.04/3362.79 c #Conflicts: 1570000 | #Constraints: 134919
3350.04/3362.79 c #Conflicts: 1571000 | #Constraints: 135919
3350.04/3362.79 c #Conflicts: 1572000 | #Constraints: 136919
3350.04/3362.79 c #Conflicts: 1573000 | #Constraints: 137919
3350.04/3362.79 c #Conflicts: 1574000 | #Constraints: 138919
3350.04/3362.79 c #Conflicts: 1575000 | #Constraints: 139919
3350.04/3362.79 c #Conflicts: 1576000 | #Constraints: 140919
3350.04/3362.79 c #Conflicts: 1577000 | #Constraints: 141919
3350.04/3362.79 c #Conflicts: 1578000 | #Constraints: 142919
3350.04/3362.79 c #Conflicts: 1579000 | #Constraints: 143919
3350.04/3362.79 c #Conflicts: 1580000 | #Constraints: 144919
3350.04/3362.79 c #Conflicts: 1581000 | #Constraints: 145919
3350.04/3362.79 c #Conflicts: 1582000 | #Constraints: 146919
3350.04/3362.79 c #Conflicts: 1583000 | #Constraints: 147919
3350.04/3362.79 c #Conflicts: 1584000 | #Constraints: 148919
3350.04/3362.79 c #Conflicts: 1585000 | #Constraints: 149919
3350.04/3362.79 c #Conflicts: 1586000 | #Constraints: 150919
3350.04/3362.79 c #Conflicts: 1587000 | #Constraints: 151919
3350.04/3362.79 c #Conflicts: 1588000 | #Constraints: 152919
3350.04/3362.79 c #Conflicts: 1589000 | #Constraints: 153919
3350.04/3362.79 c #Conflicts: 1590000 | #Constraints: 154919
3350.04/3362.79 c #Conflicts: 1591000 | #Constraints: 155919
3350.04/3362.79 c INPROCESSING
3350.04/3362.79 c GARBAGE COLLECT
3350.04/3362.79 c #Conflicts: 1592000 | #Constraints: 131915
3350.04/3362.79 c #Conflicts: 1593000 | #Constraints: 132915
3350.04/3362.79 c #Conflicts: 1594000 | #Constraints: 133915
3350.04/3362.79 c #Conflicts: 1595000 | #Constraints: 134915
3350.04/3362.79 c #Conflicts: 1596000 | #Constraints: 135915
3350.04/3362.79 c #Conflicts: 1597000 | #Constraints: 136915
3350.04/3362.79 c #Conflicts: 1598000 | #Constraints: 137915
3350.04/3362.79 c #Conflicts: 1599000 | #Constraints: 138915
3350.04/3362.79 c #Conflicts: 1600000 | #Constraints: 139915
3350.04/3362.79 c #Conflicts: 1601000 | #Constraints: 140915
3350.04/3362.79 c #Conflicts: 1602000 | #Constraints: 141915
3350.04/3362.79 c #Conflicts: 1603000 | #Constraints: 142915
3350.04/3362.79 c #Conflicts: 1604000 | #Constraints: 143915
3350.04/3362.79 c #Conflicts: 1605000 | #Constraints: 144915
3350.04/3362.79 c #Conflicts: 1606000 | #Constraints: 145915
3350.04/3362.79 c #Conflicts: 1607000 | #Constraints: 146915
3350.04/3362.79 c #Conflicts: 1608000 | #Constraints: 147915
3350.04/3362.79 c #Conflicts: 1609000 | #Constraints: 148915
3350.04/3362.79 c #Conflicts: 1610000 | #Constraints: 149915
3350.04/3362.79 c #Conflicts: 1611000 | #Constraints: 150915
3350.04/3362.79 c #Conflicts: 1612000 | #Constraints: 151915
3350.04/3362.79 c #Conflicts: 1613000 | #Constraints: 152915
3350.04/3362.79 c #Conflicts: 1614000 | #Constraints: 153915
3350.04/3362.79 c #Conflicts: 1615000 | #Constraints: 154915
3350.04/3362.79 c #Conflicts: 1616000 | #Constraints: 155915
3350.04/3362.79 c INPROCESSING
3350.04/3362.79 c GARBAGE COLLECT
3350.04/3362.79 c #Conflicts: 1617000 | #Constraints: 131716
3350.04/3362.79 c #Conflicts: 1618000 | #Constraints: 132716
3350.04/3362.79 c #Conflicts: 1619000 | #Constraints: 133716
3350.04/3362.79 c #Conflicts: 1620000 | #Constraints: 134716
3350.04/3362.79 c #Conflicts: 1621000 | #Constraints: 135716
3350.04/3362.79 c #Conflicts: 1622000 | #Constraints: 136716
3350.04/3362.79 c #Conflicts: 1623000 | #Constraints: 137716
3350.04/3362.79 c #Conflicts: 1624000 | #Constraints: 138716
3350.04/3362.79 c #Conflicts: 1625000 | #Constraints: 139716
3350.04/3362.79 c #Conflicts: 1626000 | #Constraints: 140716
3350.04/3362.79 c #Conflicts: 1627000 | #Constraints: 141716
3350.04/3362.79 c #Conflicts: 1628000 | #Constraints: 142716
3350.04/3362.79 c #Conflicts: 1629000 | #Constraints: 143716
3350.04/3362.79 c #Conflicts: 1630000 | #Constraints: 144716
3350.04/3362.79 c #Conflicts: 1631000 | #Constraints: 145716
3350.04/3362.79 c #Conflicts: 1632000 | #Constraints: 146716
3350.04/3362.79 c #Conflicts: 1633000 | #Constraints: 147716
3350.04/3362.79 c #Conflicts: 1634000 | #Constraints: 148716
3350.04/3362.79 c #Conflicts: 1635000 | #Constraints: 149716
3350.04/3362.79 c #Conflicts: 1636000 | #Constraints: 150716
3350.04/3362.79 c #Conflicts: 1637000 | #Constraints: 151716
3350.04/3362.79 c #Conflicts: 1638000 | #Constraints: 152716
3350.04/3362.79 c #Conflicts: 1639000 | #Constraints: 153716
3350.04/3362.79 c #Conflicts: 1640000 | #Constraints: 154716
3350.04/3362.79 c #Conflicts: 1641000 | #Constraints: 155716
3506.54/3519.87 c #Conflicts: 1642000 | #Constraints: 156716
3506.54/3519.87 c INPROCESSING
3506.54/3519.87 c GARBAGE COLLECT
3506.54/3519.87 c #Conflicts: 1643000 | #Constraints: 132312
3506.54/3519.87 c #Conflicts: 1644000 | #Constraints: 133312
3506.54/3519.87 c #Conflicts: 1645000 | #Constraints: 134312
3506.54/3519.87 c #Conflicts: 1646000 | #Constraints: 135312
3506.54/3519.87 c #Conflicts: 1647000 | #Constraints: 136312
3506.54/3519.87 c #Conflicts: 1648000 | #Constraints: 137312
3506.54/3519.87 c #Conflicts: 1649000 | #Constraints: 138312
3506.54/3519.87 c #Conflicts: 1650000 | #Constraints: 139312
3506.54/3519.87 c #Conflicts: 1651000 | #Constraints: 140312
3506.54/3519.87 c #Conflicts: 1652000 | #Constraints: 141312
3506.54/3519.87 c #Conflicts: 1653000 | #Constraints: 142312
3506.54/3519.87 c #Conflicts: 1654000 | #Constraints: 143312
3506.54/3519.87 c #Conflicts: 1655000 | #Constraints: 144312
3506.54/3519.87 c #Conflicts: 1656000 | #Constraints: 145312
3506.54/3519.87 c #Conflicts: 1657000 | #Constraints: 146312
3506.54/3519.87 c #Conflicts: 1658000 | #Constraints: 147312
3506.54/3519.87 c #Conflicts: 1659000 | #Constraints: 148312
3506.54/3519.87 c #Conflicts: 1660000 | #Constraints: 149312
3506.54/3519.87 c #Conflicts: 1661000 | #Constraints: 150312
3506.54/3519.87 c #Conflicts: 1662000 | #Constraints: 151312
3506.54/3519.87 c #Conflicts: 1663000 | #Constraints: 152312
3506.54/3519.87 c #Conflicts: 1664000 | #Constraints: 153312
3506.54/3519.87 c #Conflicts: 1665000 | #Constraints: 154312
3506.54/3519.87 c #Conflicts: 1666000 | #Constraints: 155312
3506.54/3519.87 c #Conflicts: 1667000 | #Constraints: 156312
3506.54/3519.87 c #Conflicts: 1668000 | #Constraints: 157312
3506.54/3519.87 c INPROCESSING
3506.54/3519.87 c GARBAGE COLLECT
3506.54/3519.87 c #Conflicts: 1669000 | #Constraints: 132694
3506.54/3519.87 c #Conflicts: 1670000 | #Constraints: 133694
3506.54/3519.87 c #Conflicts: 1671000 | #Constraints: 134694
3506.54/3519.87 c #Conflicts: 1672000 | #Constraints: 135694
3506.54/3519.87 c #Conflicts: 1673000 | #Constraints: 136694
3506.54/3519.87 c #Conflicts: 1674000 | #Constraints: 137694
3506.54/3519.87 c #Conflicts: 1675000 | #Constraints: 138694
3506.54/3519.87 c #Conflicts: 1676000 | #Constraints: 139694
3506.54/3519.87 c #Conflicts: 1677000 | #Constraints: 140694
3506.54/3519.87 c #Conflicts: 1678000 | #Constraints: 141694
3506.54/3519.87 c #Conflicts: 1679000 | #Constraints: 142694
3506.54/3519.87 c #Conflicts: 1680000 | #Constraints: 143694
3506.54/3519.87 c #Conflicts: 1681000 | #Constraints: 144694
3506.54/3519.87 c #Conflicts: 1682000 | #Constraints: 145694
3506.54/3519.87 c #Conflicts: 1683000 | #Constraints: 146694
3506.54/3519.87 c #Conflicts: 1684000 | #Constraints: 147694
3506.54/3519.87 c #Conflicts: 1685000 | #Constraints: 148694
3506.54/3519.87 c #Conflicts: 1686000 | #Constraints: 149694
3506.54/3519.87 c #Conflicts: 1687000 | #Constraints: 150694
3506.54/3519.87 c #Conflicts: 1688000 | #Constraints: 151694
3506.54/3519.87 c #Conflicts: 1689000 | #Constraints: 152694
3506.54/3519.87 c #Conflicts: 1690000 | #Constraints: 153694
3506.54/3519.87 c #Conflicts: 1691000 | #Constraints: 154694
3506.54/3519.87 c #Conflicts: 1692000 | #Constraints: 155694
3506.54/3519.87 c #Conflicts: 1693000 | #Constraints: 156694
3506.54/3519.87 c #Conflicts: 1694000 | #Constraints: 157694
3506.54/3519.87 c INPROCESSING
3506.54/3519.87 c GARBAGE COLLECT
3506.54/3519.87 c #Conflicts: 1695000 | #Constraints: 132897
3506.54/3519.87 c #Conflicts: 1696000 | #Constraints: 133897
3506.54/3519.87 c #Conflicts: 1697000 | #Constraints: 134897
3506.54/3519.87 c #Conflicts: 1698000 | #Constraints: 135897
3506.54/3519.87 c #Conflicts: 1699000 | #Constraints: 136897
3506.54/3519.87 c #Conflicts: 1700000 | #Constraints: 137897
3506.54/3519.87 c #Conflicts: 1701000 | #Constraints: 138897
3506.54/3519.87 c #Conflicts: 1702000 | #Constraints: 139897
3506.54/3519.87 c #Conflicts: 1703000 | #Constraints: 140897
3506.54/3519.87 c #Conflicts: 1704000 | #Constraints: 141897
3506.54/3519.87 c #Conflicts: 1705000 | #Constraints: 142897
3506.54/3519.87 c #Conflicts: 1706000 | #Constraints: 143897
3506.54/3519.87 c #Conflicts: 1707000 | #Constraints: 144897
3506.54/3519.87 c #Conflicts: 1708000 | #Constraints: 145897
3506.54/3519.87 c #Conflicts: 1709000 | #Constraints: 146897
3506.54/3519.87 c #Conflicts: 1710000 | #Constraints: 147897
3506.54/3519.87 c #Conflicts: 1711000 | #Constraints: 148897
3506.54/3519.87 c #Conflicts: 1712000 | #Constraints: 149897
3506.54/3519.87 c #Conflicts: 1713000 | #Constraints: 150897
3506.54/3519.87 c #Conflicts: 1714000 | #Constraints: 151897
3506.54/3519.87 c #Conflicts: 1715000 | #Constraints: 152897
3506.54/3519.87 c #Conflicts: 1716000 | #Constraints: 153897
3506.54/3519.87 c #Conflicts: 1717000 | #Constraints: 154897
3506.54/3519.87 c #Conflicts: 1718000 | #Constraints: 155897
3600.05/3613.60 c #Conflicts: 1719000 | #Constraints: 156897
3600.05/3613.60 c #Conflicts: 1720000 | #Constraints: 157897
3600.05/3613.60 c INPROCESSING
3600.05/3613.60 c GARBAGE COLLECT
3600.05/3613.60 c #Conflicts: 1721000 | #Constraints: 132897
3600.05/3613.60 c #Conflicts: 1722000 | #Constraints: 133897
3600.05/3613.60 c #Conflicts: 1723000 | #Constraints: 134897
3600.05/3613.60 c #Conflicts: 1724000 | #Constraints: 135897
3600.05/3613.60 c #Conflicts: 1725000 | #Constraints: 136897
3600.05/3613.60 c #Conflicts: 1726000 | #Constraints: 137897
3600.05/3613.60 c #Conflicts: 1727000 | #Constraints: 138897
3600.05/3613.60 c #Conflicts: 1728000 | #Constraints: 139897
3600.05/3613.60 c #Conflicts: 1729000 | #Constraints: 140897
3600.05/3613.60 c #Conflicts: 1730000 | #Constraints: 141897
3600.05/3613.60 c #Conflicts: 1731000 | #Constraints: 142897
3600.05/3613.60 c #Conflicts: 1732000 | #Constraints: 143897
3600.05/3613.60 c #Conflicts: 1733000 | #Constraints: 144897
3600.05/3613.60 c #Conflicts: 1734000 | #Constraints: 145897
3600.05/3613.60 c #Conflicts: 1735000 | #Constraints: 146897
3600.05/3613.60 c #Conflicts: 1736000 | #Constraints: 147897
3600.05/3613.60 c #Conflicts: 1737000 | #Constraints: 148897
3600.05/3613.60 c #Conflicts: 1738000 | #Constraints: 149897
3600.05/3613.60 c #Conflicts: 1739000 | #Constraints: 150897
3600.05/3613.60 c #Conflicts: 1740000 | #Constraints: 151897
3600.05/3613.60 c #Conflicts: 1741000 | #Constraints: 152897
3600.05/3613.60 c #Conflicts: 1742000 | #Constraints: 153897
3600.05/3613.60 c #Conflicts: 1743000 | #Constraints: 154897
3600.05/3613.60 c #Conflicts: 1744000 | #Constraints: 155897
3600.05/3613.60 c #Conflicts: 1745000 | #Constraints: 156897
3600.05/3613.60 c #Conflicts: 1746000 | #Constraints: 157897
3600.05/3613.60 c INPROCESSING
3600.05/3613.60 c GARBAGE COLLECT
3600.05/3613.60 c #Conflicts: 1747000 | #Constraints: 132700
3600.05/3613.60 c #Conflicts: 1748000 | #Constraints: 133700
3600.05/3613.60 c #Conflicts: 1749000 | #Constraints: 134700
3600.05/3613.60 c #Conflicts: 1750000 | #Constraints: 135700
3600.05/3613.60 c #Conflicts: 1751000 | #Constraints: 136700
3600.05/3613.60 c #Conflicts: 1752000 | #Constraints: 137700
3600.05/3613.60 c #Conflicts: 1753000 | #Constraints: 138700
3600.05/3613.60 c #Conflicts: 1754000 | #Constraints: 139700
3600.05/3613.60 c #Conflicts: 1755000 | #Constraints: 140700
3600.05/3613.60 c #Conflicts: 1756000 | #Constraints: 141700
3600.05/3613.60 c #Conflicts: 1757000 | #Constraints: 142700
3600.05/3613.60 c #Conflicts: 1758000 | #Constraints: 143700
3600.05/3613.60 c #Conflicts: 1759000 | #Constraints: 144700
3600.05/3613.60 c #Conflicts: 1760000 | #Constraints: 145700
3600.05/3613.60 c #Conflicts: 1761000 | #Constraints: 146700
3600.05/3613.60 c #Conflicts: 1762000 | #Constraints: 147700
3600.05/3613.60 c #Conflicts: 1763000 | #Constraints: 148700
3600.05/3613.60 c #Conflicts: 1764000 | #Constraints: 149700
3600.05/3613.60 c #Conflicts: 1765000 | #Constraints: 150700
3600.05/3613.60 c #Conflicts: 1766000 | #Constraints: 151700
3600.05/3613.60 c #Conflicts: 1767000 | #Constraints: 152700
3600.05/3613.60 c #Conflicts: 1768000 | #Constraints: 153700
3600.05/3613.60 c #Conflicts: 1769000 | #Constraints: 154700
3600.05/3613.60 c #Conflicts: 1770000 | #Constraints: 155700
3600.05/3613.60 c #Conflicts: 1771000 | #Constraints: 156700
3600.05/3613.60 c #Conflicts: 1772000 | #Constraints: 157700
3600.05/3613.60 c #Conflicts: 1773000 | #Constraints: 158700
3600.05/3613.60 c INPROCESSING
3600.05/3613.60 c GARBAGE COLLECT
3600.05/3613.60 c #Conflicts: 1774000 | #Constraints: 133314
3600.05/3613.60 c #Conflicts: 1775000 | #Constraints: 134314
3600.05/3613.60 c #Conflicts: 1776000 | #Constraints: 135314
3600.05/3613.60 c #Conflicts: 1777000 | #Constraints: 136314
3600.05/3613.60 c #Conflicts: 1778000 | #Constraints: 137314
3600.05/3613.60 c Program interrupted by user.
3600.05/3613.60 c cpu time 3589.62 s
3600.05/3613.60 c deterministic time 250313031534 2.50e+11
3600.05/3613.60 c optimization time 329.812 s
3600.05/3613.60 c total solve time 3259.58 s
3600.05/3613.60 c core-guided solve time 3259.58 s
3600.05/3613.60 c propagation time 2106.77 s
3600.05/3613.60 c conflict analysis time 1424.06 s
3600.05/3613.60 c propagations 437545727
3600.05/3613.60 c resolve steps 85054484
3600.05/3613.60 c decisions 2097323
3600.05/3613.60 c conflicts 1778193
3600.05/3613.60 c restarts 3450
3600.05/3613.60 c inprocessing phases 124
3600.05/3613.60 c input clauses 105317
3600.05/3613.60 c input cardinalities 1296
3600.05/3613.60 c input general constraints 390
3600.05/3613.60 c input average constraint length 6.76
3600.05/3613.60 c input average constraint degree 1.54
3600.05/3613.60 c learned clauses 1724212
3600.05/3613.60 c learned cardinalities 5630
3600.05/3613.60 c learned general constraints 48406
3600.05/3613.60 c learned average constraint length 419.90
3600.05/3613.60 c learned average constraint degree 12.08
3600.05/3613.60 c watched constraints 25374
3600.05/3613.60 c counting constraints 23422
3600.05/3613.60 c gcd simplifications 546151
3600.05/3613.60 c detected cardinalities 8
3600.05/3613.60 c weakened non-implied lits 870853957
3600.05/3613.60 c weakened non-implying lits 4073544
3600.05/3613.60 c original variables 1485
3600.05/3613.60 c clausal propagations 228430383
3600.05/3613.60 c cardinality propagations 74742464
3600.05/3613.60 c watched propagations 416102
3600.05/3613.60 c counting propagations 130411632
3600.05/3613.60 c watch lookups 69361491844
3600.05/3613.60 c watch backjump lookups 50433457892
3600.05/3613.60 c watch checks 120576414821
3600.05/3613.60 c propagation checks 5367726823
3600.05/3613.60 c constraint additions 3692876938
3600.05/3613.60 c trail pops 441420165
3600.05/3613.60 c formula constraints 104940
3600.05/3613.60 c learned constraints 1778248
3600.05/3613.60 c bound constraints 331
3600.05/3613.60 c core-guided constraints 1732
3600.05/3613.60 c encountered formula constraints 81222542
3600.05/3613.60 c encountered learned constraints 5302993
3600.05/3613.60 c encountered bound constraints 1458
3600.05/3613.60 c encountered core-guided constraints 305684
3600.05/3613.60 c LP total time 0 s
3600.05/3613.60 c LP solve time 0 s
3600.05/3613.60 c LP constraints added 0
3600.05/3613.60 c LP constraints removed 0
3600.05/3613.60 c LP pivots internal 0
3600.05/3613.60 c LP pivots root 0
3600.05/3613.60 c LP calls 0
3600.05/3613.60 c LP optimalities 0
3600.05/3613.60 c LP no pivot count 0
3600.05/3613.60 c LP infeasibilities 0
3600.05/3613.60 c LP valid Farkas constraints 0
3600.05/3613.60 c LP learned Farkas constraints 0
3600.05/3613.60 c LP basis resets 0
3600.05/3613.60 c LP cycling count 0
3600.05/3613.60 c LP singular count 0
3600.05/3613.60 c LP no primal count 0
3600.05/3613.60 c LP no farkas count 0
3600.05/3613.60 c LP other issue count 0
3600.05/3613.60 c LP Gomory cuts 0
3600.05/3613.60 c LP learned cuts 0
3600.05/3613.60 c LP deleted cuts 0
3600.05/3613.60 c LP encountered Gomory constraints 0
3600.05/3613.60 c LP encountered Farkas constraints 0
3600.05/3613.60 c LP encountered learned Farkas constraints 0
3600.05/3613.60 c CG auxiliary variables introduced 678
3600.05/3613.60 c CG solutions found 1
3600.05/3613.60 c CG cores constructed 330
3600.05/3613.60 c CG core cardinality constraints returned 0
3600.05/3613.60 c CG unit cores 0
3600.05/3613.60 c CG single cores 325
3600.05/3613.60 c CG blocks removed during cardinality reduction 0
3600.05/3613.60 c CG first core best 0
3600.05/3613.60 c CG decision core best 0
3600.05/3613.60 c CG core reduction tie 5
3600.05/3613.60 c CG core degree average 1.00
3600.05/3613.60 c CG core slack average 4.63
3600.05/3613.60 c CG exhausted 0
3600.05/3613.60 c CG exhaust time 320.634 s
3600.05/3613.60 c CG trimmed 26
3600.05/3613.60 c CG trim time 0.023718 s
3600.05/3613.60 c CG minimized 0
3600.05/3613.60 c CG minimize time 0 s
3600.05/3613.60 c CG am1 prop time 0.006593 s
3600.05/3613.60 c CG # am1s reformulated 0
3600.05/3613.60 c CG lower bound derived from am1s 0
3600.05/3613.60 c CG # clausal cores 327
3600.05/3613.60 c CG # cardinality cores 0
3600.05/3613.60 c CG # pb cores 8
3600.05/3613.60 c CG # pb reforms 0
3600.05/3613.60 c CG # cores discarded because of pb reform 0
3600.05/3613.60 d LOWERBOUND -880
3600.05/3613.60 d NCORES 330
3600.05/3613.60 d NPBCORES 8
3600.05/3613.60 d NPBREFORM 0
3600.05/3613.60 d NTRIMMED 26
3600.05/3613.60 d NEXHAUSTED 0
3600.05/3613.60 d NAM1S 0
3600.05/3613.60 d AM1LB 0
3600.05/3613.60 o -726
3600.05/3613.60 s SATISFIABLE
3600.05/3613.60 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: 63931 MiB (61073 MiB free)
memory of node 1: 64510 MiB (61359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458789-1721883300/watcher-4458789-1721883300 -o /tmp/evaluation-result-4458789-1721883300/solver-4458789-1721883300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217935 --watchdog 3760 pb-oll-rs HOME/instance-4458789-1721883300.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=222225, runsolver pid=222222
[startup+0.100312 s]*
/proc/loadavg: 4.19 4.18 4.12 5/256 222226
/proc/meminfo: memFree=125364016/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=40296 memory=9044 CPUtime=0.1 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 764 0 0 0 8 2 0 0 20 0 1 0 24858584 41263104 2261 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 10074 2261 1162 291 0 1608 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40296 KiB
Current children cumulated memory: 9044 KiB
[startup+0.205749 s]*
/proc/loadavg: 4.19 4.18 4.12 5/256 222226
/proc/meminfo: memFree=125362140/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=41352 memory=10364 CPUtime=0.19 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 1136 0 0 0 15 4 0 0 20 0 1 0 24858584 42344448 2591 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 10338 2591 1162 291 0 1872 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 10364 KiB
[startup+0.305755 s]*
/proc/loadavg: 4.19 4.18 4.12 5/256 222226
/proc/meminfo: memFree=125359984/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=45288 memory=13592 CPUtime=0.29 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 1836 0 0 0 22 7 0 0 20 0 1 0 24858584 46374912 3398 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 11322 3398 1351 291 0 2856 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45288 KiB
Current children cumulated memory: 13592 KiB
[startup+0.700229 s]
/proc/loadavg: 4.19 4.18 4.12 5/256 222226
/proc/meminfo: memFree=125353688/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=47076 memory=17608 CPUtime=0.68 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 2844 0 0 0 60 8 0 0 20 0 1 0 24858584 48205824 4402 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 11769 4402 1367 291 0 3303 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47076 KiB
Current children cumulated memory: 17608 KiB
[startup+1.50023 s]
/proc/loadavg: 4.19 4.18 4.12 5/256 222226
/proc/meminfo: memFree=125349972/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=51496 memory=22044 CPUtime=1.48 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 2902 0 0 0 139 9 0 0 20 0 1 0 24858584 52731904 5511 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 12874 5511 1367 291 0 4408 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51496 KiB
Current children cumulated memory: 22044 KiB
[startup+3.10562 s]
/proc/loadavg: 4.19 4.18 4.12 5/256 222228
/proc/meminfo: memFree=125343960/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=54904 memory=25316 CPUtime=3.08 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 4267 0 0 0 299 9 0 0 20 0 1 0 24858584 56221696 6329 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 13726 6329 1367 291 0 5260 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54904 KiB
Current children cumulated memory: 25316 KiB
[startup+6.30021 s]
/proc/loadavg: 4.25 4.19 4.12 5/256 222228
/proc/meminfo: memFree=125340008/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=65204 memory=29812 CPUtime=6.26 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 5303 0 0 0 615 11 0 0 20 0 1 0 24858584 66768896 7453 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 16301 7453 1445 291 0 7835 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65204 KiB
Current children cumulated memory: 29812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.19 4.12 5/256 222228
/proc/meminfo: memFree=125333816/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=66952 memory=36784 CPUtime=12.64 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 5993 0 0 0 1251 13 0 0 20 0 1 0 24858584 68558848 9196 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 16738 9196 1445 291 0 8272 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66952 KiB
Current children cumulated memory: 36784 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.18 4.12 5/256 222231
/proc/meminfo: memFree=125315180/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=80032 memory=39544 CPUtime=25.4 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 6725 0 0 0 2520 20 0 0 20 0 1 0 24858584 81952768 9886 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 20008 9886 1445 291 0 11542 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 80032 KiB
Current children cumulated memory: 39544 KiB
[startup+51.1058 s]
/proc/loadavg: 4.20 4.18 4.12 5/258 222618
/proc/meminfo: memFree=125215152/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=80032 memory=43900 CPUtime=50.91 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 6782 0 0 0 5059 32 0 0 20 0 1 0 24858584 81952768 10975 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 20008 10975 1445 291 0 11542 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 80032 KiB
Current children cumulated memory: 43900 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/256 222629
/proc/meminfo: memFree=125066104/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=84404 memory=54724 CPUtime=101.94 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 7951 0 0 0 10141 53 0 0 20 0 1 0 24858584 86429696 13681 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 21101 13681 1445 291 0 12635 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 84404 KiB
Current children cumulated memory: 54724 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/256 222639
/proc/meminfo: memFree=124765484/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=104036 memory=63224 CPUtime=161.73 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 8589 0 0 0 16098 75 0 0 20 0 1 0 24858584 106532864 15806 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 26009 15806 1445 291 0 17543 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 104036 KiB
Current children cumulated memory: 63224 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.19 4.13 7/258 222714
/proc/meminfo: memFree=123942116/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=108268 memory=69152 CPUtime=221.53 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 9586 0 0 0 22060 93 0 0 20 0 1 0 24858584 110866432 17288 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 27067 17288 1445 291 0 18601 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 108268 KiB
Current children cumulated memory: 69152 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.22 4.14 5/257 222829
/proc/meminfo: memFree=123146604/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=110868 memory=76104 CPUtime=281.32 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 10281 0 0 0 28020 112 0 0 20 0 1 0 24858584 113528832 19026 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 27717 19026 1445 291 0 19251 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 110868 KiB
Current children cumulated memory: 76104 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/257 222839
/proc/meminfo: memFree=123105540/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=126408 memory=90056 CPUtime=341.11 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 13788 0 0 0 33975 136 0 0 20 0 1 0 24858584 129441792 22514 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 31602 22514 1445 291 0 23136 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 90056 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.19 4.14 5/256 222865
/proc/meminfo: memFree=122775044/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=127964 memory=91592 CPUtime=400.9 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 14200 0 0 0 39933 157 0 0 20 0 1 0 24858584 131035136 22898 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 31991 22898 1445 291 0 23525 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 127964 KiB
Current children cumulated memory: 91592 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/256 222875
/proc/meminfo: memFree=122540700/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=128160 memory=94164 CPUtime=460.68 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 14320 0 0 0 45893 175 0 0 20 0 1 0 24858584 131235840 23541 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 32040 23541 1445 291 0 23574 0
################
# More data... #
################
Current children cumulated memory: 136912 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/258 224244
/proc/meminfo: memFree=114587436/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=168668 memory=137300 CPUtime=2851.67 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 40825 0 0 0 284346 821 0 0 20 0 1 0 24858584 172716032 34325 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42167 34325 1445 291 0 33701 0
Current children cumulated CPU time: 2851.67 s
Current children cumulated vsize: 168668 KiB
Current children cumulated memory: 137300 KiB
[startup+2922.3 s]
/proc/loadavg: 4.38 4.19 4.14 5/258 224254
/proc/meminfo: memFree=114459552/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=168672 memory=137308 CPUtime=2911.42 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 41451 0 0 0 290302 840 0 0 20 0 1 0 24858584 172720128 34327 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42168 34327 1445 291 0 33702 0
Current children cumulated CPU time: 2911.42 s
Current children cumulated vsize: 168672 KiB
Current children cumulated memory: 137308 KiB
[startup+2982.3 s]
/proc/loadavg: 4.31 4.21 4.15 5/258 224264
/proc/meminfo: memFree=114350012/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=168700 memory=137372 CPUtime=2971.18 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 42106 0 0 0 296264 854 0 0 20 0 1 0 24858584 172748800 34343 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42175 34343 1445 291 0 33709 0
Current children cumulated CPU time: 2971.18 s
Current children cumulated vsize: 168700 KiB
Current children cumulated memory: 137372 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/258 224275
/proc/meminfo: memFree=114311776/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=168704 memory=137816 CPUtime=3030.94 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 42855 0 0 0 302224 870 0 0 20 0 1 0 24858584 172752896 34454 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42176 34454 1445 291 0 33710 0
Current children cumulated CPU time: 3030.94 s
Current children cumulated vsize: 168704 KiB
Current children cumulated memory: 137816 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/254 224285
/proc/meminfo: memFree=114267340/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=168732 memory=137876 CPUtime=3090.7 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 43510 0 0 0 308183 887 0 0 20 0 1 0 24858584 172781568 34469 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42183 34469 1445 291 0 33717 0
Current children cumulated CPU time: 3090.7 s
Current children cumulated vsize: 168732 KiB
Current children cumulated memory: 137876 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/255 224296
/proc/meminfo: memFree=114216324/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=168948 memory=138052 CPUtime=3150.46 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 44195 0 0 0 314140 906 0 0 20 0 1 0 24858584 173002752 34513 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42237 34513 1445 291 0 33771 0
Current children cumulated CPU time: 3150.46 s
Current children cumulated vsize: 168948 KiB
Current children cumulated memory: 138052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/255 224307
/proc/meminfo: memFree=114147268/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=169132 memory=138284 CPUtime=3210.22 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 44886 0 0 0 320098 924 0 0 20 0 1 0 24858584 173191168 34571 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42283 34571 1445 291 0 33817 0
Current children cumulated CPU time: 3210.22 s
Current children cumulated vsize: 169132 KiB
Current children cumulated memory: 138284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/255 224317
/proc/meminfo: memFree=114053864/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=169980 memory=139020 CPUtime=3269.98 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 46330 0 0 0 326052 946 0 0 20 0 1 0 24858584 174059520 34755 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42495 34755 1445 291 0 34029 0
Current children cumulated CPU time: 3269.98 s
Current children cumulated vsize: 169980 KiB
Current children cumulated memory: 139020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/255 224327
/proc/meminfo: memFree=113921216/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=170060 memory=139188 CPUtime=3329.73 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 47000 0 0 0 332006 967 0 0 20 0 1 0 24858584 174141440 34797 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42515 34797 1445 291 0 34049 0
Current children cumulated CPU time: 3329.73 s
Current children cumulated vsize: 170060 KiB
Current children cumulated memory: 139188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/257 224342
/proc/meminfo: memFree=113861236/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=170492 memory=139564 CPUtime=3389.49 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 47737 0 0 0 337962 987 0 0 20 0 1 0 24858584 174583808 34891 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42623 34891 1445 291 0 34157 0
Current children cumulated CPU time: 3389.49 s
Current children cumulated vsize: 170492 KiB
Current children cumulated memory: 139564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/257 224353
/proc/meminfo: memFree=113781444/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=170560 memory=140180 CPUtime=3449.23 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 48445 0 0 0 343917 1006 0 0 20 0 1 0 24858584 174653440 35045 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 42640 35045 1445 291 0 34174 0
Current children cumulated CPU time: 3449.23 s
Current children cumulated vsize: 170560 KiB
Current children cumulated memory: 140180 KiB
[startup+3522.3 s]
/proc/loadavg: 2.83 3.76 4.00 3/242 224424
/proc/meminfo: memFree=123488932/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=220648 memory=142392 CPUtime=3509.04 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 49482 0 0 0 349884 1020 0 0 20 0 1 0 24858584 225943552 35598 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 55162 35598 1445 291 0 46696 0
Current children cumulated CPU time: 3509.04 s
Current children cumulated vsize: 220648 KiB
Current children cumulated memory: 142392 KiB
[startup+3582.3 s]
/proc/loadavg: 2.42 3.47 3.88 3/243 224435
/proc/meminfo: memFree=123450856/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=220740 memory=144900 CPUtime=3568.85 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 50899 0 0 0 355848 1037 0 0 20 0 1 0 24858584 226037760 36225 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 55185 36225 1445 291 0 46719 0
Current children cumulated CPU time: 3568.85 s
Current children cumulated vsize: 220740 KiB
Current children cumulated memory: 144900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 2.25 3.33 3.82 3/243 224443
/proc/meminfo: memFree=123441984/131524600 swapFree=131056028/131071996
[pid=222225] ppid=222222 vsize=220784 memory=144948 CPUtime=3600.05 cores=0,2
/proc/222225/stat : 222225 (pb-oll-rs) R 222222 222225 217925 0 -1 4194304 51545 0 0 0 358961 1044 0 0 20 0 1 0 24858584 226082816 36237 134679101440 4194304 5384485 140732975525792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8265728 140732975535127 140732975535204 140732975535204 140732975542219 0
/proc/222225/statm: 55196 36237 1445 291 0 46730 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 220784 KiB
Current children cumulated memory: 144948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.6 s]
# the end of solver process 222225 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.62 s, system=10.4483 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.6
CPU time (s): 3600.06
CPU user time (s): 3589.62
CPU system time (s): 10.4483
CPU usage (%): 99.6254
Max. virtual memory (cumulated for all children) (KiB): 223276
Max. memory (cumulated for all children) (KiB): 147076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.62
system time used= 10.4483
maximum resident set size= 147276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51560
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= 57
involuntary context switches= 25217
# summary of solver processes directly reported to runsolver:
# pid: 222225
# total CPU time (s): 3600.06
# total CPU user time (s): 3589.62
# total CPU system time (s): 10.4483
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5406 second user time and 13.1327 second system time
The end
Begin job on nodeC016 at 2024-07-25 06:55:01
IDJOB=4458789
IDBENCH=178157
IDSOLVER=3082
FILE ID=nodeC016/4458789-1721883300
RUNJOBID= nodeC016-1721875931-217935
SLURM_JOB_ID= 8089230
Free space on /tmp= 890072 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458789-1721883300/watcher-4458789-1721883300 -o /tmp/evaluation-result-4458789-1721883300/solver-4458789-1721883300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217935 --watchdog 3760 pb-oll-rs HOME/instance-4458789-1721883300.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ff0f59bbfc198112e385d67f72301d6a
RANDOM SEED=56657066
nodeC016.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 : 0xb00002a
cpu MHz : 3662.437
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.34
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 : 0xb00002a
cpu MHz : 3687.830
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.68
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 : 0xb00002a
cpu MHz : 3635.342
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.34
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 : 0xb00002a
cpu MHz : 3600.036
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.68
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 : 0xb00002a
cpu MHz : 3678.621
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.34
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 : 0xb00002a
cpu MHz : 3687.861
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.68
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 : 0xb00002a
cpu MHz : 3615.924
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.34
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 : 0xb00002a
cpu MHz : 3599.911
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125372572 kB
MemAvailable: 128342828 kB
Buffers: 292836 kB
Cached: 3359208 kB
SwapCached: 284 kB
Active: 2330384 kB
Inactive: 2924256 kB
Active(anon): 2416 kB
Inactive(anon): 1652608 kB
Active(file): 2327968 kB
Inactive(file): 1271648 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 5320 kB
Writeback: 0 kB
AnonPages: 1599808 kB
Mapped: 107496 kB
Shmem: 52400 kB
KReclaimable: 420572 kB
Slab: 541232 kB
SReclaimable: 420572 kB
SUnreclaim: 120660 kB
KernelStack: 4128 kB
PageTables: 12676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2087152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 663552 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: 373460 kB
DirectMap2M: 42391552 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC016 at 2024-07-25 07:55:14