0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
1.47/2.12	c #variables 14300 #constraints 65280
18.72/19.48	c bounds - >= 0 @ 1.37895
18.72/19.48	c bounds 1216 >= 0 @ 9.98578
18.72/19.48	c bounds 1216 >= 1 @ 9.98924
18.72/19.48	c bounds 1216 >= 2 @ 9.9915
18.72/19.48	c bounds 1216 >= 3 @ 9.99584
18.72/19.48	c bounds 1216 >= 4 @ 9.99722
18.72/19.48	c bounds 1216 >= 5 @ 10.0032
18.72/19.48	c bounds 1216 >= 6 @ 10.0072
18.72/19.48	c bounds 1216 >= 7 @ 10.0131
18.72/19.48	c bounds 1216 >= 8 @ 10.0163
18.72/19.48	c bounds 1216 >= 9 @ 10.0212
18.72/19.48	c bounds 1216 >= 10 @ 10.0253
18.72/19.48	c bounds 1216 >= 11 @ 10.0278
18.72/19.48	c bounds 1216 >= 12 @ 10.0301
18.72/19.48	c bounds 1216 >= 13 @ 10.0346
18.72/19.48	c bounds 1216 >= 14 @ 10.0395
18.72/19.48	c bounds 1216 >= 15 @ 10.0421
18.72/19.48	c bounds 1216 >= 16 @ 10.0503
18.72/19.48	c bounds 1216 >= 17 @ 10.0531
18.72/19.48	c bounds 1216 >= 18 @ 10.0565
18.72/19.48	c bounds 1216 >= 19 @ 10.063
18.72/19.48	c bounds 1216 >= 20 @ 10.0688
18.72/19.48	c bounds 1216 >= 21 @ 10.0729
18.72/19.48	c bounds 1216 >= 22 @ 10.08
18.72/19.48	c bounds 1216 >= 23 @ 10.0827
18.72/19.48	c bounds 1216 >= 24 @ 10.0864
18.72/19.48	c bounds 1216 >= 25 @ 10.0936
18.72/19.48	c bounds 1216 >= 26 @ 10.1042
18.72/19.48	c bounds 1216 >= 27 @ 10.1377
18.72/19.48	c bounds 1216 >= 28 @ 10.195
18.72/19.48	c bounds 1215 >= 28 @ 10.2527
18.72/19.48	c bounds 1214 >= 28 @ 10.2752
18.72/19.48	c bounds 1214 >= 29 @ 10.6832
18.72/19.48	c bounds 1213 >= 29 @ 10.7124
18.72/19.48	c bounds 1212 >= 29 @ 10.7324
18.72/19.48	c bounds 1211 >= 29 @ 10.765
18.72/19.48	c bounds 1210 >= 29 @ 10.7833
18.72/19.48	c bounds 1209 >= 29 @ 10.845
18.72/19.48	c bounds 1208 >= 29 @ 10.9856
18.72/19.48	c bounds 1207 >= 29 @ 11.1308
18.72/19.48	c bounds 1206 >= 29 @ 11.1731
18.72/19.48	c bounds 1205 >= 29 @ 11.2324
18.72/19.48	c bounds 1204 >= 29 @ 11.2547
18.72/19.48	c bounds 1203 >= 29 @ 11.2689
18.72/19.48	c bounds 1202 >= 29 @ 11.2785
18.72/19.48	c bounds 1201 >= 29 @ 11.2918
18.72/19.48	c bounds 1200 >= 29 @ 11.3083
18.72/19.48	c bounds 1199 >= 29 @ 11.3202
18.72/19.48	c bounds 1198 >= 29 @ 11.328
18.72/19.48	c bounds 1197 >= 29 @ 11.3388
18.72/19.48	c bounds 1196 >= 29 @ 11.3483
18.72/19.48	c bounds 1195 >= 29 @ 11.3565
18.72/19.48	c bounds 1194 >= 29 @ 11.3659
18.72/19.48	c bounds 1193 >= 29 @ 11.3752
18.72/19.48	c bounds 1192 >= 29 @ 11.3885
18.72/19.48	c bounds 1191 >= 29 @ 11.4077
18.72/19.48	c bounds 1190 >= 29 @ 11.4305
18.72/19.48	c bounds 1189 >= 29 @ 11.4429
18.72/19.48	c bounds 1188 >= 29 @ 11.4543
18.72/19.48	c bounds 1187 >= 29 @ 11.4671
18.72/19.48	c bounds 1186 >= 29 @ 11.4795
18.72/19.48	c bounds 1185 >= 29 @ 11.4877
18.72/19.48	c bounds 1184 >= 29 @ 11.4988
18.72/19.48	c bounds 1183 >= 29 @ 11.507
18.72/19.48	c bounds 1182 >= 29 @ 11.5193
18.72/19.48	c bounds 1181 >= 29 @ 11.5317
18.72/19.48	c bounds 1180 >= 29 @ 11.5416
18.72/19.48	c #Conflicts:       1000 | #Constraints:      66470
18.72/19.48	c bounds 1180 >= 30 @ 15.0616
18.72/19.48	c bounds 1179 >= 30 @ 15.1018
18.72/19.48	c bounds 1178 >= 30 @ 15.1303
18.72/19.48	c bounds 1177 >= 30 @ 15.166
18.72/19.48	c bounds 1176 >= 30 @ 15.2038
18.72/19.48	c bounds 1175 >= 30 @ 15.2256
18.72/19.48	c bounds 1174 >= 30 @ 15.2452
18.72/19.48	c bounds 1173 >= 30 @ 15.2685
18.72/19.48	c bounds 1172 >= 30 @ 15.2898
18.72/19.48	c bounds 1171 >= 30 @ 15.3057
18.72/19.48	c bounds 1170 >= 30 @ 15.3229
18.72/19.48	c bounds 1169 >= 30 @ 15.3446
18.72/19.48	c bounds 1168 >= 30 @ 15.3646
18.72/19.48	c bounds 1167 >= 30 @ 15.3804
18.72/19.48	c bounds 1166 >= 30 @ 15.3966
18.72/19.48	c bounds 1165 >= 30 @ 15.4164
18.72/19.48	c bounds 1164 >= 30 @ 15.4289
18.72/19.48	c bounds 1163 >= 30 @ 15.4439
18.72/19.48	c bounds 1162 >= 30 @ 15.4608
18.72/19.48	c bounds 1161 >= 30 @ 15.4792
18.72/19.48	c bounds 1160 >= 30 @ 15.499
18.72/19.48	c bounds 1159 >= 30 @ 15.5125
18.72/19.48	c bounds 1158 >= 30 @ 15.5309
18.72/19.48	c bounds 1157 >= 30 @ 15.5546
18.72/19.48	c bounds 1156 >= 30 @ 15.5845
18.72/19.48	c bounds 1155 >= 30 @ 15.612
18.72/19.48	c bounds 1154 >= 30 @ 15.6345
18.72/19.48	c bounds 1153 >= 30 @ 15.6561
18.72/19.48	c bounds 1152 >= 30 @ 15.6772
18.72/19.48	c bounds 1151 >= 30 @ 15.6942
18.72/19.48	c bounds 1150 >= 30 @ 15.7078
18.72/19.48	c bounds 1149 >= 30 @ 15.7208
18.72/19.48	c bounds 1148 >= 30 @ 15.7345
18.72/19.48	c bounds 1147 >= 30 @ 15.7537
18.72/19.48	c bounds 1146 >= 30 @ 15.7695
18.72/19.48	c bounds 1145 >= 30 @ 15.7823
18.72/19.48	c bounds 1144 >= 30 @ 15.7999
18.72/19.48	c bounds 1143 >= 30 @ 15.8185
18.72/19.48	c bounds 1142 >= 30 @ 15.8341
18.72/19.48	c bounds 1141 >= 30 @ 15.8547
18.72/19.48	c bounds 1140 >= 30 @ 15.8696
18.72/19.48	c bounds 1139 >= 30 @ 15.8863
18.72/19.48	c bounds 1138 >= 30 @ 15.903
18.72/19.48	c bounds 1137 >= 30 @ 15.9213
18.72/19.48	c bounds 1136 >= 30 @ 15.9344
18.72/19.48	c bounds 1135 >= 30 @ 15.953
18.72/19.48	c bounds 1134 >= 30 @ 15.9639
18.72/19.48	c bounds 1133 >= 30 @ 15.9825
18.72/19.48	c bounds 1132 >= 30 @ 15.9984
18.72/19.48	c bounds 1131 >= 30 @ 16.0127
18.72/19.48	c bounds 1130 >= 30 @ 16.0306
18.72/19.48	c bounds 1129 >= 30 @ 16.0436
18.72/19.48	c bounds 1128 >= 30 @ 16.0594
18.72/19.48	c bounds 1127 >= 30 @ 16.0783
18.72/19.48	c bounds 1126 >= 30 @ 16.0925
18.72/19.48	c bounds 1125 >= 30 @ 16.1112
18.72/19.48	c bounds 1124 >= 30 @ 16.1259
18.72/19.48	c bounds 1123 >= 30 @ 16.1451
18.72/19.48	c bounds 1122 >= 30 @ 16.1657
18.72/19.48	c bounds 1121 >= 30 @ 16.1894
18.72/19.48	c bounds 1120 >= 30 @ 16.2057
18.72/19.48	c bounds 1119 >= 30 @ 16.2238
18.72/19.48	c bounds 1118 >= 30 @ 16.2419
18.72/19.48	c bounds 1117 >= 30 @ 16.2632
18.72/19.48	c bounds 1116 >= 30 @ 16.2799
18.72/19.48	c bounds 1115 >= 30 @ 16.3041
18.72/19.48	c bounds 1114 >= 30 @ 16.3242
18.72/19.48	c bounds 1113 >= 30 @ 16.3457
18.72/19.48	c bounds 1112 >= 30 @ 16.3788
23.50/24.20	c bounds 1111 >= 30 @ 16.4029
23.50/24.20	c bounds 1110 >= 30 @ 16.4288
23.50/24.20	c bounds 1109 >= 30 @ 16.4513
23.50/24.20	c bounds 1108 >= 30 @ 16.4766
23.50/24.20	c bounds 1107 >= 30 @ 16.5031
23.50/24.20	c bounds 1106 >= 30 @ 16.5252
23.50/24.20	c bounds 1105 >= 30 @ 16.5518
23.50/24.20	c bounds 1104 >= 30 @ 16.5767
23.50/24.20	c bounds 1103 >= 30 @ 16.6011
23.50/24.20	c bounds 1102 >= 30 @ 16.6199
23.50/24.20	c bounds 1101 >= 30 @ 16.641
23.50/24.20	c bounds 1100 >= 30 @ 16.6565
23.50/24.20	c bounds 1099 >= 30 @ 16.6763
23.50/24.20	c bounds 1098 >= 30 @ 16.6969
23.50/24.20	c bounds 1097 >= 30 @ 16.7145
23.50/24.20	c bounds 1096 >= 30 @ 16.7348
23.50/24.20	c bounds 1095 >= 30 @ 16.7648
23.50/24.20	c bounds 1094 >= 30 @ 16.7895
23.50/24.20	c bounds 1093 >= 30 @ 16.8159
23.50/24.20	c bounds 1092 >= 30 @ 16.8426
23.50/24.20	c bounds 1091 >= 30 @ 16.8638
23.50/24.20	c bounds 1090 >= 30 @ 16.8902
23.50/24.20	c bounds 1089 >= 30 @ 16.909
23.50/24.20	c bounds 1088 >= 30 @ 16.9322
23.50/24.20	c bounds 1087 >= 30 @ 16.9524
23.50/24.20	c bounds 1086 >= 30 @ 16.9728
23.50/24.20	c bounds 1085 >= 30 @ 16.9908
23.50/24.20	c bounds 1084 >= 30 @ 17.0146
23.50/24.20	c bounds 1083 >= 30 @ 17.0336
23.50/24.20	c bounds 1082 >= 30 @ 17.0542
23.50/24.20	c bounds 1081 >= 30 @ 17.0728
23.50/24.20	c bounds 1080 >= 30 @ 17.089
23.50/24.20	c bounds 1079 >= 30 @ 17.1091
23.50/24.20	c bounds 1078 >= 30 @ 17.1276
23.50/24.20	c bounds 1077 >= 30 @ 17.1462
23.50/24.20	c bounds 1076 >= 30 @ 17.1885
23.50/24.20	c bounds 1075 >= 30 @ 17.2132
23.50/24.20	c bounds 1074 >= 30 @ 17.2361
23.50/24.20	c bounds 1073 >= 30 @ 17.257
23.50/24.20	c bounds 1072 >= 30 @ 17.2754
23.50/24.20	c bounds 1071 >= 30 @ 17.2995
23.50/24.20	c bounds 1070 >= 30 @ 17.3211
23.50/24.20	c bounds 1069 >= 30 @ 17.3374
23.50/24.20	c bounds 1068 >= 30 @ 17.3601
23.50/24.20	c bounds 1067 >= 30 @ 17.377
23.50/24.20	c bounds 1066 >= 30 @ 17.3915
23.50/24.20	c bounds 1065 >= 30 @ 17.4067
23.50/24.20	c bounds 1064 >= 30 @ 17.4206
23.50/24.20	c bounds 1063 >= 30 @ 17.4393
23.50/24.20	c bounds 1062 >= 30 @ 17.4543
23.50/24.20	c bounds 1061 >= 30 @ 17.4826
23.50/24.20	c bounds 1060 >= 30 @ 17.5108
23.50/24.20	c bounds 1059 >= 30 @ 17.5368
23.50/24.20	c bounds 1058 >= 30 @ 17.5625
23.50/24.20	c bounds 1057 >= 30 @ 17.5824
23.50/24.20	c bounds 1056 >= 30 @ 17.5961
23.50/24.20	c bounds 1055 >= 30 @ 17.6141
23.50/24.20	c bounds 1054 >= 30 @ 17.6316
23.50/24.20	c bounds 1053 >= 30 @ 17.6449
23.50/24.20	c bounds 1052 >= 30 @ 17.6642
23.50/24.20	c bounds 1051 >= 30 @ 17.6859
23.50/24.20	c bounds 1050 >= 30 @ 17.7017
23.50/24.20	c bounds 1049 >= 30 @ 17.7151
23.50/24.20	c bounds 1048 >= 30 @ 17.7348
23.50/24.20	c bounds 1047 >= 30 @ 17.7529
23.50/24.20	c bounds 1046 >= 30 @ 17.774
23.50/24.20	c bounds 1045 >= 30 @ 17.7974
23.50/24.20	c bounds 1044 >= 30 @ 17.8217
23.50/24.20	c bounds 1043 >= 30 @ 17.841
23.50/24.20	c bounds 1042 >= 30 @ 17.8569
23.50/24.20	c bounds 1041 >= 30 @ 17.8733
23.50/24.20	c bounds 1040 >= 30 @ 17.8889
23.50/24.20	c bounds 1039 >= 30 @ 17.9071
23.50/24.20	c bounds 1038 >= 30 @ 17.9212
23.50/24.20	c bounds 1037 >= 30 @ 17.9383
23.50/24.20	c bounds 1036 >= 30 @ 17.9591
23.50/24.20	c bounds 1035 >= 30 @ 17.9826
23.50/24.20	c bounds 1034 >= 30 @ 18.0018
23.50/24.20	c bounds 1033 >= 30 @ 18.022
23.50/24.20	c bounds 1032 >= 30 @ 18.0414
23.50/24.20	c bounds 1031 >= 30 @ 18.0604
23.50/24.20	c bounds 1030 >= 30 @ 18.0783
23.50/24.20	c bounds 1029 >= 30 @ 18.0946
23.50/24.20	c bounds 1028 >= 30 @ 18.1144
23.50/24.20	c bounds 1027 >= 30 @ 18.1327
23.50/24.20	c bounds 1026 >= 30 @ 18.1486
23.50/24.20	c bounds 1025 >= 30 @ 18.1612
23.50/24.20	c bounds 1024 >= 30 @ 18.1812
23.50/24.20	c bounds 1023 >= 30 @ 18.2002
23.50/24.20	c bounds 1022 >= 30 @ 18.2188
23.50/24.20	c bounds 1021 >= 30 @ 18.2427
23.50/24.20	c bounds 1020 >= 30 @ 18.2628
23.50/24.20	c bounds 1019 >= 30 @ 18.2808
23.50/24.20	c bounds 1018 >= 30 @ 18.298
23.50/24.20	c bounds 1017 >= 30 @ 18.3204
23.50/24.20	c bounds 1016 >= 30 @ 18.3461
23.50/24.20	c bounds 1015 >= 30 @ 18.3723
23.50/24.20	c bounds 1014 >= 30 @ 18.4036
23.50/24.20	c bounds 1013 >= 30 @ 18.4272
23.50/24.20	c bounds 1012 >= 30 @ 18.4528
23.50/24.20	c bounds 1011 >= 30 @ 18.4782
23.50/24.20	c bounds 1010 >= 30 @ 18.5013
23.50/24.20	c bounds 1009 >= 30 @ 18.5208
23.50/24.20	c bounds 1008 >= 30 @ 18.5375
23.50/24.20	c bounds 1007 >= 30 @ 18.5574
23.50/24.20	c bounds 1006 >= 30 @ 18.575
23.50/24.20	c bounds 1005 >= 30 @ 18.5922
23.50/24.20	c bounds 1004 >= 30 @ 18.6122
23.50/24.20	c bounds 1003 >= 30 @ 18.6303
23.50/24.20	c bounds 1002 >= 30 @ 18.6523
23.50/24.20	c bounds 1001 >= 30 @ 18.6692
23.50/24.20	c bounds 1000 >= 30 @ 18.6951
23.50/24.20	c bounds 999 >= 30 @ 18.7185
23.50/24.20	c bounds 998 >= 30 @ 18.7352
23.50/24.20	c bounds 997 >= 30 @ 18.7567
23.50/24.20	c bounds 996 >= 30 @ 18.7732
23.50/24.20	c bounds 995 >= 30 @ 18.7942
23.50/24.20	c bounds 994 >= 30 @ 18.8111
23.50/24.20	c bounds 993 >= 30 @ 18.8349
23.50/24.20	c bounds 992 >= 30 @ 18.8553
23.50/24.20	c bounds 991 >= 30 @ 18.8774
23.50/24.20	c bounds 990 >= 30 @ 18.8978
23.50/24.20	c bounds 989 >= 30 @ 18.9116
23.50/24.20	c bounds 988 >= 30 @ 18.9362
23.50/24.20	c bounds 987 >= 30 @ 18.9655
23.50/24.20	c bounds 986 >= 30 @ 18.992
23.50/24.20	c bounds 985 >= 30 @ 19.0178
23.50/24.20	c bounds 984 >= 30 @ 19.0402
23.50/24.20	c bounds 983 >= 30 @ 19.0644
23.50/24.20	c bounds 982 >= 30 @ 19.0862
23.50/24.20	c bounds 981 >= 30 @ 19.104
23.50/24.20	c bounds 980 >= 30 @ 19.1247
23.50/24.20	c bounds 979 >= 30 @ 19.1431
23.50/24.20	c bounds 978 >= 30 @ 19.1595
23.50/24.20	c bounds 977 >= 30 @ 19.1801
23.50/24.20	c bounds 976 >= 30 @ 19.195
23.50/24.20	c bounds 975 >= 30 @ 19.2157
23.50/24.20	c bounds 974 >= 30 @ 19.2388
105.76/106.72	c bounds 973 >= 30 @ 19.2552
105.76/106.72	c bounds 972 >= 30 @ 19.2815
105.76/106.72	c bounds 971 >= 30 @ 19.3201
105.76/106.72	c #Conflicts:       2000 | #Constraints:      67711
105.76/106.72	c INPROCESSING
105.76/106.72	c GARBAGE COLLECT
105.76/106.72	c bounds 970 >= 30 @ 50.2256
105.76/106.72	c bounds 969 >= 30 @ 50.2503
105.76/106.72	c bounds 968 >= 30 @ 51.1758
105.76/106.72	c bounds 967 >= 30 @ 51.2354
105.76/106.72	c bounds 966 >= 30 @ 51.2781
105.76/106.72	c bounds 965 >= 30 @ 51.902
105.76/106.72	c #Conflicts:       3000 | #Constraints:      67473
105.76/106.72	c bounds 964 >= 30 @ 56.1261
105.76/106.72	c #Conflicts:       4000 | #Constraints:      68474
105.76/106.72	c INPROCESSING
105.76/106.72	c GARBAGE COLLECT
105.76/106.72	c bounds 963 >= 30 @ 60.113
105.76/106.72	c bounds 962 >= 30 @ 60.1557
105.76/106.72	c bounds 961 >= 30 @ 60.1959
105.76/106.72	c bounds 960 >= 30 @ 60.2458
105.76/106.72	c bounds 959 >= 30 @ 60.3156
105.76/106.72	c bounds 958 >= 30 @ 60.3502
105.76/106.72	c bounds 957 >= 30 @ 60.3792
105.76/106.72	c bounds 956 >= 30 @ 60.4052
105.76/106.72	c bounds 955 >= 30 @ 60.4374
105.76/106.72	c bounds 954 >= 30 @ 60.4649
105.76/106.72	c bounds 953 >= 30 @ 60.4946
105.76/106.72	c bounds 952 >= 30 @ 60.5167
105.76/106.72	c bounds 951 >= 30 @ 60.5468
105.76/106.72	c bounds 950 >= 30 @ 60.572
105.76/106.72	c bounds 949 >= 30 @ 60.5936
105.76/106.72	c bounds 948 >= 30 @ 60.6232
105.76/106.72	c bounds 947 >= 30 @ 60.6484
105.76/106.72	c bounds 946 >= 30 @ 60.6776
105.76/106.72	c bounds 945 >= 30 @ 60.7054
105.76/106.72	c bounds 944 >= 30 @ 60.7304
105.76/106.72	c bounds 943 >= 30 @ 60.757
105.76/106.72	c bounds 942 >= 30 @ 60.7907
105.76/106.72	c bounds 941 >= 30 @ 60.8284
105.76/106.72	c bounds 940 >= 30 @ 60.8734
105.76/106.72	c bounds 939 >= 30 @ 60.9182
105.76/106.72	c bounds 938 >= 30 @ 60.9492
105.76/106.72	c bounds 937 >= 30 @ 60.9728
105.76/106.72	c bounds 936 >= 30 @ 61.0028
105.76/106.72	c bounds 935 >= 30 @ 61.04
105.76/106.72	c bounds 934 >= 30 @ 61.0824
105.76/106.72	c bounds 933 >= 30 @ 61.1112
105.76/106.72	c bounds 932 >= 30 @ 61.1443
105.76/106.72	c bounds 931 >= 30 @ 61.1758
105.76/106.72	c bounds 930 >= 30 @ 61.2006
105.76/106.72	c bounds 929 >= 30 @ 61.2329
105.76/106.72	c bounds 928 >= 30 @ 61.2659
105.76/106.72	c bounds 927 >= 30 @ 61.2891
105.76/106.72	c bounds 926 >= 30 @ 61.3206
105.76/106.72	c bounds 925 >= 30 @ 61.3434
105.76/106.72	c bounds 924 >= 30 @ 61.365
105.76/106.72	c bounds 923 >= 30 @ 61.3847
105.76/106.72	c bounds 922 >= 30 @ 61.4063
105.76/106.72	c bounds 921 >= 30 @ 61.4288
105.76/106.72	c bounds 920 >= 30 @ 61.4753
105.76/106.72	c bounds 919 >= 30 @ 61.5099
105.76/106.72	c bounds 918 >= 30 @ 61.5393
105.76/106.72	c bounds 917 >= 30 @ 61.5655
105.76/106.72	c bounds 916 >= 30 @ 61.5925
105.76/106.72	c bounds 915 >= 30 @ 61.6183
105.76/106.72	c bounds 914 >= 30 @ 61.6473
105.76/106.72	c bounds 913 >= 30 @ 61.6744
105.76/106.72	c bounds 912 >= 30 @ 61.6981
105.76/106.72	c bounds 911 >= 30 @ 61.7196
105.76/106.72	c bounds 910 >= 30 @ 61.7518
105.76/106.72	c bounds 909 >= 30 @ 61.78
105.76/106.72	c bounds 908 >= 30 @ 61.8251
105.76/106.72	c bounds 907 >= 30 @ 61.86
105.76/106.72	c bounds 906 >= 30 @ 61.9024
105.76/106.72	c bounds 905 >= 30 @ 61.94
105.76/106.72	c bounds 904 >= 30 @ 62.1009
105.76/106.72	c bounds 903 >= 30 @ 62.2306
105.76/106.72	c bounds 902 >= 30 @ 63.0619
105.76/106.72	c bounds 901 >= 30 @ 63.2297
105.76/106.72	c bounds 900 >= 30 @ 63.3745
105.76/106.72	c bounds 899 >= 30 @ 63.4209
105.76/106.72	c bounds 898 >= 30 @ 63.953
105.76/106.72	c #Conflicts:       5000 | #Constraints:      67963
105.76/106.72	c #Conflicts:       6000 | #Constraints:      68963
105.76/106.72	c INPROCESSING
105.76/106.72	c GARBAGE COLLECT
105.76/106.72	c rational objective 42
131.38/132.49	c #Conflicts:       7000 | #Constraints:      67892
131.38/132.49	c #Conflicts:       8000 | #Constraints:      68892
131.38/132.49	c bounds 898 >= 31 @ 114.008
131.38/132.49	c bounds 897 >= 31 @ 114.088
131.38/132.49	c bounds 896 >= 31 @ 114.216
131.38/132.49	c bounds 895 >= 31 @ 114.359
131.38/132.49	c bounds 894 >= 31 @ 114.423
131.38/132.49	c bounds 893 >= 31 @ 114.486
131.38/132.49	c bounds 892 >= 31 @ 114.552
131.38/132.49	c bounds 891 >= 31 @ 114.615
131.38/132.49	c bounds 890 >= 31 @ 114.683
131.38/132.49	c bounds 889 >= 31 @ 114.749
131.38/132.49	c bounds 888 >= 31 @ 114.829
131.38/132.49	c bounds 887 >= 31 @ 114.9
131.38/132.49	c bounds 886 >= 31 @ 114.985
131.38/132.49	c bounds 885 >= 31 @ 115.062
131.38/132.49	c bounds 884 >= 31 @ 115.126
131.38/132.49	c bounds 883 >= 31 @ 115.194
131.38/132.49	c bounds 882 >= 31 @ 115.253
131.38/132.49	c bounds 881 >= 31 @ 115.31
131.38/132.49	c bounds 880 >= 31 @ 115.365
131.38/132.49	c bounds 879 >= 31 @ 115.416
131.38/132.49	c bounds 878 >= 31 @ 115.464
131.38/132.49	c bounds 877 >= 31 @ 115.519
131.38/132.49	c bounds 876 >= 31 @ 115.575
131.38/132.49	c bounds 875 >= 31 @ 115.63
131.38/132.49	c bounds 874 >= 31 @ 115.679
131.38/132.49	c bounds 873 >= 31 @ 115.73
131.38/132.49	c bounds 872 >= 31 @ 115.786
131.38/132.49	c bounds 871 >= 31 @ 115.843
131.38/132.49	c bounds 870 >= 31 @ 115.893
131.38/132.49	c bounds 869 >= 31 @ 115.944
131.38/132.49	c bounds 868 >= 31 @ 115.995
131.38/132.49	c bounds 867 >= 31 @ 116.045
131.38/132.49	c bounds 866 >= 31 @ 116.101
131.38/132.49	c bounds 865 >= 31 @ 116.158
131.38/132.49	c bounds 864 >= 31 @ 116.213
131.38/132.49	c bounds 863 >= 31 @ 116.276
131.38/132.49	c bounds 862 >= 31 @ 116.328
131.38/132.49	c bounds 861 >= 31 @ 116.375
131.38/132.49	c bounds 860 >= 31 @ 116.437
131.38/132.49	c bounds 859 >= 31 @ 116.502
131.38/132.49	c bounds 858 >= 31 @ 116.572
131.38/132.49	c bounds 857 >= 31 @ 116.627
131.38/132.49	c bounds 856 >= 31 @ 116.683
131.38/132.49	c bounds 855 >= 31 @ 116.741
131.38/132.49	c bounds 854 >= 31 @ 116.796
131.38/132.49	c bounds 853 >= 31 @ 116.851
131.38/132.49	c bounds 852 >= 31 @ 116.906
131.38/132.49	c bounds 851 >= 31 @ 116.965
131.38/132.49	c bounds 850 >= 31 @ 117.014
131.38/132.49	c bounds 849 >= 31 @ 117.067
131.38/132.49	c bounds 848 >= 31 @ 117.121
131.38/132.49	c bounds 847 >= 31 @ 117.174
131.38/132.49	c bounds 846 >= 31 @ 117.229
131.38/132.49	c bounds 845 >= 31 @ 117.28
131.38/132.49	c bounds 844 >= 31 @ 117.329
131.38/132.49	c bounds 843 >= 31 @ 117.379
131.38/132.49	c bounds 842 >= 31 @ 117.442
131.38/132.49	c bounds 841 >= 31 @ 117.512
131.38/132.49	c bounds 840 >= 31 @ 117.571
131.38/132.49	c bounds 839 >= 31 @ 117.625
131.38/132.49	c bounds 838 >= 31 @ 117.677
131.38/132.49	c bounds 837 >= 31 @ 117.74
131.38/132.49	c bounds 836 >= 31 @ 117.807
131.38/132.49	c bounds 835 >= 31 @ 117.867
131.38/132.49	c bounds 834 >= 31 @ 117.921
131.38/132.49	c bounds 833 >= 31 @ 117.978
131.38/132.49	c bounds 832 >= 31 @ 118.035
131.38/132.49	c bounds 831 >= 31 @ 118.093
131.38/132.49	c bounds 830 >= 31 @ 118.145
131.38/132.49	c bounds 829 >= 31 @ 118.198
131.38/132.49	c bounds 828 >= 31 @ 118.253
131.38/132.49	c bounds 827 >= 31 @ 118.308
131.38/132.49	c bounds 826 >= 31 @ 118.359
131.38/132.49	c bounds 825 >= 31 @ 118.41
131.38/132.49	c bounds 824 >= 31 @ 118.464
131.38/132.49	c bounds 823 >= 31 @ 118.517
131.38/132.49	c bounds 822 >= 31 @ 118.577
131.38/132.49	c bounds 821 >= 31 @ 118.63
131.38/132.49	c bounds 820 >= 31 @ 118.685
131.38/132.49	c bounds 819 >= 31 @ 118.743
131.38/132.49	c bounds 818 >= 31 @ 118.795
131.38/132.49	c bounds 817 >= 31 @ 118.849
131.38/132.49	c bounds 816 >= 31 @ 118.905
131.38/132.49	c bounds 815 >= 31 @ 118.958
131.38/132.49	c bounds 814 >= 31 @ 119.014
131.38/132.49	c bounds 813 >= 31 @ 119.069
131.38/132.49	c bounds 812 >= 31 @ 119.124
131.38/132.49	c bounds 811 >= 31 @ 119.175
131.38/132.49	c bounds 810 >= 31 @ 119.226
131.38/132.49	c bounds 809 >= 31 @ 119.281
131.38/132.49	c bounds 808 >= 31 @ 119.333
131.38/132.49	c bounds 807 >= 31 @ 119.392
131.38/132.49	c bounds 806 >= 31 @ 119.452
131.38/132.49	c bounds 805 >= 31 @ 119.513
131.38/132.49	c bounds 804 >= 31 @ 119.567
131.38/132.49	c bounds 803 >= 31 @ 119.62
131.38/132.49	c bounds 802 >= 31 @ 119.684
131.38/132.49	c bounds 801 >= 31 @ 119.756
131.38/132.49	c bounds 800 >= 31 @ 119.813
131.38/132.49	c bounds 799 >= 31 @ 119.868
131.38/132.49	c bounds 798 >= 31 @ 119.927
131.38/132.49	c bounds 797 >= 31 @ 119.985
131.38/132.49	c bounds 796 >= 31 @ 120.043
131.38/132.49	c bounds 795 >= 31 @ 120.098
131.38/132.49	c bounds 794 >= 31 @ 120.146
131.38/132.49	c bounds 793 >= 31 @ 120.203
131.38/132.49	c bounds 792 >= 31 @ 120.261
131.38/132.49	c bounds 791 >= 31 @ 120.308
131.38/132.49	c bounds 790 >= 31 @ 120.357
131.38/132.49	c bounds 789 >= 31 @ 120.411
131.38/132.49	c bounds 788 >= 31 @ 120.459
131.38/132.49	c bounds 787 >= 31 @ 120.513
131.38/132.49	c bounds 786 >= 31 @ 120.562
131.38/132.49	c bounds 785 >= 31 @ 120.604
131.38/132.49	c bounds 784 >= 31 @ 120.657
131.38/132.49	c bounds 783 >= 31 @ 120.705
131.38/132.49	c bounds 782 >= 31 @ 120.759
131.38/132.49	c bounds 781 >= 31 @ 120.812
131.38/132.49	c bounds 780 >= 31 @ 120.86
131.38/132.49	c bounds 779 >= 31 @ 120.914
131.38/132.49	c bounds 778 >= 31 @ 120.971
131.38/132.49	c bounds 777 >= 31 @ 121.026
131.38/132.49	c bounds 776 >= 31 @ 121.096
131.38/132.49	c bounds 775 >= 31 @ 121.166
131.38/132.49	c bounds 774 >= 31 @ 121.225
131.38/132.49	c bounds 773 >= 31 @ 121.284
131.38/132.49	c bounds 772 >= 31 @ 121.341
131.38/132.49	c bounds 771 >= 31 @ 121.408
131.38/132.49	c #Conflicts:       9000 | #Constraints:      70048
131.38/132.49	c bounds 770 >= 31 @ 121.481
131.38/132.49	c bounds 769 >= 31 @ 121.572
131.38/132.49	c bounds 768 >= 31 @ 121.667
131.38/132.49	c bounds 767 >= 31 @ 122.211
131.38/132.49	c bounds 766 >= 31 @ 122.307
131.38/132.49	c bounds 765 >= 31 @ 122.402
131.38/132.49	c bounds 764 >= 31 @ 122.481
131.38/132.49	c bounds 763 >= 31 @ 122.547
131.38/132.49	c bounds 762 >= 31 @ 122.616
766.52/769.17	c bounds 761 >= 31 @ 122.756
766.52/769.17	c bounds 760 >= 31 @ 122.828
766.52/769.17	c INPROCESSING
766.52/769.17	c GARBAGE COLLECT
766.52/769.17	c bounds 759 >= 31 @ 123.122
766.52/769.17	c bounds 758 >= 31 @ 123.15
766.52/769.17	c bounds 757 >= 31 @ 123.182
766.52/769.17	c bounds 756 >= 31 @ 123.212
766.52/769.17	c bounds 755 >= 31 @ 123.239
766.52/769.17	c bounds 754 >= 31 @ 123.269
766.52/769.17	c bounds 753 >= 31 @ 123.3
766.52/769.17	c bounds 752 >= 31 @ 123.334
766.52/769.17	c bounds 751 >= 31 @ 124.378
766.52/769.17	c bounds 750 >= 31 @ 124.476
766.52/769.17	c bounds 749 >= 31 @ 125.327
766.52/769.17	c bounds 748 >= 31 @ 126.411
766.52/769.17	c bounds 747 >= 31 @ 126.548
766.52/769.17	c #Conflicts:      10000 | #Constraints:      68623
766.52/769.17	c bounds 746 >= 31 @ 328.774
766.52/769.17	c bounds 745 >= 31 @ 329.191
766.52/769.17	c #Conflicts:      11000 | #Constraints:      69627
766.52/769.17	c bounds 744 >= 31 @ 334.908
766.52/769.17	c bounds 743 >= 31 @ 335.123
766.52/769.17	c bounds 742 >= 31 @ 335.206
766.52/769.17	c bounds 741 >= 31 @ 337.565
766.52/769.17	c #Conflicts:      12000 | #Constraints:      70631
766.52/769.17	c INPROCESSING
766.52/769.17	c GARBAGE COLLECT
766.52/769.17	c bounds 740 >= 31 @ 341.893
766.52/769.17	c bounds 739 >= 31 @ 344.461
766.52/769.17	c bounds 738 >= 31 @ 345.325
766.52/769.17	c #Conflicts:      13000 | #Constraints:      69069
766.52/769.17	c #Conflicts:      14000 | #Constraints:      70069
766.52/769.17	c #Conflicts:      15000 | #Constraints:      71069
766.52/769.17	c INPROCESSING
766.52/769.17	c GARBAGE COLLECT
766.52/769.17	c bounds 737 >= 31 @ 652.465
766.52/769.17	c bounds 736 >= 31 @ 652.502
766.52/769.17	c bounds 735 >= 31 @ 652.534
766.52/769.17	c bounds 734 >= 31 @ 652.623
766.52/769.17	c bounds 733 >= 31 @ 652.688
766.52/769.17	c bounds 732 >= 31 @ 652.756
766.52/769.17	c bounds 731 >= 31 @ 653.082
766.52/769.17	c bounds 730 >= 31 @ 653.139
766.52/769.17	c bounds 729 >= 31 @ 653.193
766.52/769.17	c bounds 728 >= 31 @ 653.254
766.52/769.17	c bounds 727 >= 31 @ 653.301
766.52/769.17	c bounds 726 >= 31 @ 653.534
766.52/769.17	c bounds 725 >= 31 @ 653.952
766.52/769.17	c #Conflicts:      16000 | #Constraints:      69325
766.52/769.17	c #Conflicts:      17000 | #Constraints:      70325
766.52/769.17	c #Conflicts:      18000 | #Constraints:      71325
766.52/769.17	c INPROCESSING
766.52/769.17	c GARBAGE COLLECT
766.52/769.17	c #Conflicts:      19000 | #Constraints:      69322
766.52/769.17	c #Conflicts:      20000 | #Constraints:      70322
766.52/769.17	c #Conflicts:      21000 | #Constraints:      71322
766.52/769.17	c INPROCESSING
766.52/769.17	c GARBAGE COLLECT
766.52/769.17	c bounds 724 >= 31 @ 702.751
766.52/769.17	c bounds 723 >= 31 @ 702.817
766.52/769.17	c bounds 722 >= 31 @ 702.869
766.52/769.17	c bounds 721 >= 31 @ 702.925
766.52/769.17	c bounds 720 >= 31 @ 702.965
766.52/769.17	c #Conflicts:      22000 | #Constraints:      69146
766.52/769.17	c bounds 719 >= 31 @ 706.704
766.52/769.17	c bounds 718 >= 31 @ 706.768
766.52/769.17	c bounds 717 >= 31 @ 706.826
766.52/769.17	c bounds 716 >= 31 @ 706.878
766.52/769.17	c bounds 715 >= 31 @ 706.928
766.52/769.17	c bounds 714 >= 31 @ 706.97
766.52/769.17	c bounds 713 >= 31 @ 707.017
766.52/769.17	c bounds 712 >= 31 @ 707.067
766.52/769.17	c bounds 711 >= 31 @ 707.117
766.52/769.17	c bounds 710 >= 31 @ 707.166
766.52/769.17	c bounds 709 >= 31 @ 707.211
766.52/769.17	c bounds 708 >= 31 @ 707.253
766.52/769.17	c bounds 707 >= 31 @ 707.295
766.52/769.17	c bounds 706 >= 31 @ 707.348
766.52/769.17	c bounds 705 >= 31 @ 707.393
766.52/769.17	c bounds 704 >= 31 @ 707.465
766.52/769.17	c bounds 703 >= 31 @ 707.519
766.52/769.17	c bounds 702 >= 31 @ 707.569
766.52/769.17	c bounds 701 >= 31 @ 707.611
766.52/769.17	c bounds 700 >= 31 @ 707.66
766.52/769.17	c bounds 699 >= 31 @ 707.704
766.52/769.17	c bounds 698 >= 31 @ 707.75
766.52/769.17	c bounds 697 >= 31 @ 707.789
766.52/769.17	c bounds 696 >= 31 @ 707.837
766.52/769.17	c bounds 695 >= 31 @ 707.882
766.52/769.17	c bounds 694 >= 31 @ 708.53
766.52/769.17	c bounds 693 >= 31 @ 708.712
766.52/769.17	c bounds 692 >= 31 @ 708.771
766.52/769.17	c bounds 691 >= 31 @ 708.82
766.52/769.17	c bounds 690 >= 31 @ 710.677
766.52/769.17	c bounds 689 >= 31 @ 710.757
766.52/769.17	c bounds 688 >= 31 @ 711.03
766.52/769.17	c #Conflicts:      23000 | #Constraints:      70178
766.52/769.17	c bounds 687 >= 31 @ 711.583
766.52/769.17	c bounds 686 >= 31 @ 711.728
766.52/769.17	c bounds 685 >= 31 @ 711.796
766.52/769.17	c bounds 684 >= 31 @ 711.862
766.52/769.17	c bounds 683 >= 31 @ 711.925
766.52/769.17	c bounds 682 >= 31 @ 711.986
766.52/769.17	c bounds 681 >= 31 @ 712.048
766.52/769.17	c bounds 680 >= 31 @ 712.117
766.52/769.17	c bounds 679 >= 31 @ 712.249
766.52/769.17	c bounds 678 >= 31 @ 712.369
766.52/769.17	c bounds 677 >= 31 @ 712.462
766.52/769.17	c bounds 676 >= 31 @ 714.721
766.52/769.17	c bounds 675 >= 31 @ 714.831
766.52/769.17	c bounds 674 >= 31 @ 714.913
766.52/769.17	c bounds 673 >= 31 @ 715.004
766.52/769.17	c bounds 672 >= 31 @ 715.334
766.52/769.17	c bounds 671 >= 31 @ 715.419
766.52/769.17	c #Conflicts:      24000 | #Constraints:      71195
766.52/769.17	c bounds 670 >= 31 @ 718.837
766.52/769.17	c bounds 669 >= 31 @ 719.104
766.52/769.17	c bounds 668 >= 31 @ 719.199
766.52/769.17	c #Conflicts:      25000 | #Constraints:      72198
766.52/769.17	c INPROCESSING
766.52/769.17	c GARBAGE COLLECT
766.52/769.17	c bounds 667 >= 31 @ 726.617
766.52/769.17	c bounds 666 >= 31 @ 726.684
766.52/769.17	c bounds 665 >= 31 @ 726.743
766.52/769.17	c bounds 664 >= 31 @ 726.848
766.52/769.17	c bounds 663 >= 31 @ 727.39
766.52/769.17	c #Conflicts:      26000 | #Constraints:      69740
766.52/769.17	c #Conflicts:      27000 | #Constraints:      70743
766.52/769.17	c bounds 662 >= 31 @ 747.589
766.52/769.17	c bounds 661 >= 31 @ 750.628
766.52/769.17	c #Conflicts:      28000 | #Constraints:      71745
3047.15/3056.03	c bounds 660 >= 31 @ 754.95
3047.15/3056.03	c bounds 659 >= 31 @ 756.932
3047.15/3056.03	c bounds 658 >= 31 @ 757.133
3047.15/3056.03	c bounds 657 >= 31 @ 757.301
3047.15/3056.03	c bounds 656 >= 31 @ 757.44
3047.15/3056.03	c bounds 655 >= 31 @ 757.579
3047.15/3056.03	c #Conflicts:      29000 | #Constraints:      72752
3047.15/3056.03	c INPROCESSING
3047.15/3056.03	c GARBAGE COLLECT
3047.15/3056.03	c #Conflicts:      30000 | #Constraints:      70126
3047.15/3056.03	c bounds 654 >= 31 @ 2945.14
3047.15/3056.03	c #Conflicts:      31000 | #Constraints:      71127
3047.15/3056.03	c #Conflicts:      32000 | #Constraints:      72127
3047.15/3056.03	c #Conflicts:      33000 | #Constraints:      73127
3047.15/3056.03	c INPROCESSING
3047.15/3056.03	c GARBAGE COLLECT
3047.15/3056.03	c bounds 653 >= 31 @ 2971.63
3047.15/3056.03	c bounds 652 >= 31 @ 2971.68
3047.15/3056.03	c bounds 651 >= 31 @ 2971.72
3047.15/3056.03	c bounds 650 >= 31 @ 2971.76
3047.15/3056.03	c bounds 649 >= 31 @ 2971.8
3047.15/3056.03	c bounds 648 >= 31 @ 2971.85
3047.15/3056.03	c bounds 647 >= 31 @ 2971.89
3047.15/3056.03	c bounds 646 >= 31 @ 2971.93
3047.15/3056.03	c bounds 645 >= 31 @ 2971.97
3047.15/3056.03	c bounds 644 >= 31 @ 2972.01
3047.15/3056.03	c bounds 643 >= 31 @ 2972.05
3047.15/3056.03	c bounds 642 >= 31 @ 2972.09
3047.15/3056.03	c bounds 641 >= 31 @ 2972.13
3047.15/3056.03	c bounds 640 >= 31 @ 2972.17
3047.15/3056.03	c bounds 639 >= 31 @ 2972.21
3047.15/3056.03	c bounds 638 >= 31 @ 2972.25
3047.15/3056.03	c bounds 637 >= 31 @ 2972.3
3047.15/3056.03	c bounds 636 >= 31 @ 2972.34
3047.15/3056.03	c bounds 635 >= 31 @ 2972.38
3047.15/3056.03	c bounds 634 >= 31 @ 2972.43
3047.15/3056.03	c bounds 633 >= 31 @ 2972.48
3047.15/3056.03	c bounds 632 >= 31 @ 2972.64
3047.15/3056.03	c bounds 631 >= 31 @ 2972.76
3047.15/3056.03	c bounds 630 >= 31 @ 2972.95
3047.15/3056.03	c bounds 629 >= 31 @ 2973
3047.15/3056.03	c bounds 628 >= 31 @ 2973.05
3047.15/3056.03	c bounds 627 >= 31 @ 2973.11
3047.15/3056.03	c bounds 626 >= 31 @ 2973.17
3047.15/3056.03	c bounds 625 >= 31 @ 2973.25
3047.15/3056.03	c bounds 624 >= 31 @ 2973.29
3047.15/3056.03	c bounds 623 >= 31 @ 2973.33
3047.15/3056.03	c bounds 622 >= 31 @ 2973.38
3047.15/3056.03	c bounds 621 >= 31 @ 2973.43
3047.15/3056.03	c bounds 620 >= 31 @ 2973.47
3047.15/3056.03	c bounds 619 >= 31 @ 2973.53
3047.15/3056.03	c bounds 618 >= 31 @ 2973.58
3047.15/3056.03	c bounds 617 >= 31 @ 2973.63
3047.15/3056.03	c bounds 616 >= 31 @ 2973.67
3047.15/3056.03	c bounds 615 >= 31 @ 2973.72
3047.15/3056.03	c bounds 614 >= 31 @ 2973.76
3047.15/3056.03	c bounds 613 >= 31 @ 2973.8
3047.15/3056.03	c bounds 612 >= 31 @ 2973.84
3047.15/3056.03	c bounds 611 >= 31 @ 2973.88
3047.15/3056.03	c bounds 610 >= 31 @ 2973.93
3047.15/3056.03	c bounds 609 >= 31 @ 2973.97
3047.15/3056.03	c bounds 608 >= 31 @ 2974.01
3047.15/3056.03	c bounds 607 >= 31 @ 2974.05
3047.15/3056.03	c bounds 606 >= 31 @ 2974.09
3047.15/3056.03	c bounds 605 >= 31 @ 2974.13
3047.15/3056.03	c bounds 604 >= 31 @ 2974.18
3047.15/3056.03	c bounds 603 >= 31 @ 2974.22
3047.15/3056.03	c bounds 602 >= 31 @ 2974.27
3047.15/3056.03	c bounds 601 >= 31 @ 2974.32
3047.15/3056.03	c bounds 600 >= 31 @ 2974.37
3047.15/3056.03	c bounds 599 >= 31 @ 2974.41
3047.15/3056.03	c bounds 598 >= 31 @ 2974.45
3047.15/3056.03	c bounds 597 >= 31 @ 2974.5
3047.15/3056.03	c bounds 596 >= 31 @ 2974.54
3047.15/3056.03	c bounds 595 >= 31 @ 2974.58
3047.15/3056.03	c bounds 594 >= 31 @ 2974.62
3047.15/3056.03	c bounds 593 >= 31 @ 2974.67
3047.15/3056.03	c bounds 592 >= 31 @ 2974.71
3047.15/3056.03	c bounds 591 >= 31 @ 2974.75
3047.15/3056.03	c bounds 590 >= 31 @ 2974.79
3047.15/3056.03	c bounds 589 >= 31 @ 2974.83
3047.15/3056.03	c bounds 588 >= 31 @ 2974.88
3047.15/3056.03	c bounds 587 >= 31 @ 2974.92
3047.15/3056.03	c bounds 586 >= 31 @ 2974.96
3047.15/3056.03	c bounds 585 >= 31 @ 2975.01
3047.15/3056.03	c bounds 584 >= 31 @ 2975.05
3047.15/3056.03	c bounds 583 >= 31 @ 2975.1
3047.15/3056.03	c bounds 582 >= 31 @ 2975.15
3047.15/3056.03	c bounds 581 >= 31 @ 2975.19
3047.15/3056.03	c bounds 580 >= 31 @ 2975.25
3047.15/3056.03	c bounds 579 >= 31 @ 2975.31
3047.15/3056.03	c bounds 578 >= 31 @ 2975.36
3047.15/3056.03	c bounds 577 >= 31 @ 2975.41
3047.15/3056.03	c bounds 576 >= 31 @ 2975.46
3047.15/3056.03	c bounds 575 >= 31 @ 2975.52
3047.15/3056.03	c bounds 574 >= 31 @ 2975.55
3047.15/3056.03	c bounds 573 >= 31 @ 2975.6
3047.15/3056.03	c bounds 572 >= 31 @ 2975.65
3047.15/3056.03	c bounds 571 >= 31 @ 2975.69
3047.15/3056.03	c bounds 570 >= 31 @ 2975.73
3047.15/3056.03	c bounds 569 >= 31 @ 2975.78
3047.15/3056.03	c bounds 568 >= 31 @ 2975.82
3047.15/3056.03	c bounds 567 >= 31 @ 2975.87
3047.15/3056.03	c bounds 566 >= 31 @ 2975.91
3047.15/3056.03	c bounds 565 >= 31 @ 2975.96
3047.15/3056.03	c bounds 564 >= 31 @ 2976.01
3047.15/3056.03	c bounds 563 >= 31 @ 2976.05
3047.15/3056.03	c bounds 562 >= 31 @ 2976.09
3047.15/3056.03	c bounds 561 >= 31 @ 2976.13
3047.15/3056.03	c bounds 560 >= 31 @ 2976.17
3047.15/3056.03	c bounds 559 >= 31 @ 2976.22
3047.15/3056.03	c bounds 558 >= 31 @ 2976.26
3047.15/3056.03	c bounds 557 >= 31 @ 2976.31
3047.15/3056.03	c bounds 556 >= 31 @ 2976.35
3047.15/3056.03	c bounds 555 >= 31 @ 2976.39
3047.15/3056.03	c bounds 554 >= 31 @ 2976.43
3047.15/3056.03	c bounds 553 >= 31 @ 2976.48
3047.15/3056.03	c bounds 552 >= 31 @ 2976.53
3047.15/3056.03	c bounds 551 >= 31 @ 2976.57
3047.15/3056.03	c bounds 550 >= 31 @ 2976.62
3047.15/3056.03	c bounds 549 >= 31 @ 2976.66
3047.15/3056.03	c bounds 548 >= 31 @ 2976.7
3047.15/3056.03	c bounds 547 >= 31 @ 2976.75
3047.15/3056.03	c bounds 546 >= 31 @ 2976.88
3047.15/3056.03	c #Conflicts:      34000 | #Constraints:      70454
3047.15/3056.03	c #Conflicts:      35000 | #Constraints:      71454
3047.15/3056.03	c #Conflicts:      36000 | #Constraints:      72454
3047.15/3056.03	c #Conflicts:      37000 | #Constraints:      73454
3047.15/3056.03	c INPROCESSING
3047.15/3056.03	c GARBAGE COLLECT
3047.15/3056.03	c bounds 545 >= 31 @ 3003.55
3047.15/3056.03	c #Conflicts:      38000 | #Constraints:      70335
3047.15/3056.03	c #Conflicts:      39000 | #Constraints:      71335
3047.15/3056.03	c #Conflicts:      40000 | #Constraints:  

ERROR: no interpretation found !

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: 63968 MiB (55207 MiB free)
  memory of node 1: 64473 MiB (16614 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462763-1722344445/watcher-4462763-1722344445 -o /tmp/evaluation-result-4462763-1722344445/solver-4462763-1722344445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6034 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462763-1722344445 --lp-cut-gomory=0 HOME/instance-4462763-1722344445.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8265, runsolver pid=8262

[startup+0.10008 s]*
/proc/loadavg: 4.13 4.14 4.09 2/265 8266
/proc/meminfo: memFree=73543368/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/8265/stat : 8265 (roundingsat) D 8262 8265 6021 0 -1 1078198272 211 0 0 0 0 0 0 0 20 0 1 0 832711 38273024 638 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB

[startup+0.205304 s]*
/proc/loadavg: 4.13 4.14 4.09 2/265 8266
/proc/meminfo: memFree=73542760/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/8265/stat : 8265 (roundingsat) D 8262 8265 6021 0 -1 1078198272 211 0 0 0 0 0 0 0 20 0 1 0 832711 38273024 638 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB

[startup+0.304552 s]*
/proc/loadavg: 4.13 4.14 4.09 3/265 8266
/proc/meminfo: memFree=73540816/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=37376 memory=2552 CPUtime=0 cores=5,7
/proc/8265/stat : 8265 (roundingsat) D 8262 8265 6021 0 -1 1078198272 211 0 0 0 0 0 0 0 20 0 1 0 832711 38273024 638 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB

[startup+0.700231 s]
/proc/loadavg: 4.13 4.14 4.09 2/265 8266
/proc/meminfo: memFree=73538660/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=41084 memory=12080 CPUtime=0.06 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 1816 0 0 0 6 0 0 0 20 0 1 0 832711 42070016 3020 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 10271 3020 1365 992 0 2129 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 12080 KiB

[startup+1.50016 s]
/proc/loadavg: 4.13 4.14 4.09 3/265 8266
/proc/meminfo: memFree=73522612/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=55712 memory=24832 CPUtime=0.86 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 3473 0 0 0 83 3 0 0 20 0 1 0 832711 57049088 6208 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 13928 6208 1365 992 0 5786 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 55712 KiB
Current children cumulated memory: 24832 KiB

[startup+3.10569 s]
/proc/loadavg: 4.13 4.14 4.09 3/260 8292
/proc/meminfo: memFree=75922460/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=343256 memory=310096 CPUtime=2.47 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 46743 0 0 0 216 31 0 0 20 0 1 0 832711 351494144 77524 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 85814 77524 1730 992 0 77672 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 343256 KiB
Current children cumulated memory: 310096 KiB
heavy processes:

[startup+6.3002 s]
/proc/loadavg: 4.12 4.14 4.09 3/260 8297
/proc/meminfo: memFree=75889716/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=343256 memory=310288 CPUtime=5.66 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 46855 0 0 0 534 32 0 0 20 0 1 0 832711 351494144 77572 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 85814 77572 1778 992 0 77672 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 343256 KiB
Current children cumulated memory: 310288 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.09 3/260 8297
/proc/meminfo: memFree=75786540/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=362224 memory=325040 CPUtime=12.04 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 47467 0 0 0 1114 90 0 0 20 0 1 0 832711 370917376 81260 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 90556 81260 1879 992 0 82414 0
Current children cumulated CPU time: 12.04 s
Current children cumulated vsize: 362224 KiB
Current children cumulated memory: 325040 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.09 4/266 8331
/proc/meminfo: memFree=127874080/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=576912 memory=501244 CPUtime=24.8 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 74025 0 0 0 2042 438 0 0 20 0 1 0 832711 590757888 125311 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 144228 125311 1879 992 0 136086 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 576912 KiB
Current children cumulated memory: 501244 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.14 4.09 5/258 8362
/proc/meminfo: memFree=126529256/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=594632 memory=518184 CPUtime=50.33 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 75889 0 0 0 4589 444 0 0 20 0 1 0 832711 608903168 129546 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 148658 129546 1879 992 0 140516 0
Current children cumulated CPU time: 50.33 s
Current children cumulated vsize: 594632 KiB
Current children cumulated memory: 518184 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 8390
/proc/meminfo: memFree=124759944/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1115892 memory=923624 CPUtime=101.37 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 141101 0 0 0 9498 639 0 0 20 0 1 0 832711 1142673408 230906 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 278973 230906 1879 992 0 270831 0
Current children cumulated CPU time: 101.37 s
Current children cumulated vsize: 1115892 KiB
Current children cumulated memory: 923624 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 8402
/proc/meminfo: memFree=122510980/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1129212 memory=942760 CPUtime=161.2 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 142471 0 0 0 15195 925 0 0 20 0 1 0 832711 1156313088 235690 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 282303 235690 1895 992 0 274161 0
Current children cumulated CPU time: 161.2 s
Current children cumulated vsize: 1129212 KiB
Current children cumulated memory: 942760 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 8415
/proc/meminfo: memFree=120475308/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1137372 memory=950672 CPUtime=221.06 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 143063 0 0 0 21178 928 0 0 20 0 1 0 832711 1164668928 237668 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 284343 237668 1895 992 0 276201 0
Current children cumulated CPU time: 221.06 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 950672 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 8426
/proc/meminfo: memFree=118565576/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1137372 memory=951444 CPUtime=280.92 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 143221 0 0 0 27162 930 0 0 20 0 1 0 832711 1164668928 237861 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 284343 237861 1895 992 0 276201 0
Current children cumulated CPU time: 280.92 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 951444 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/262 8439
/proc/meminfo: memFree=116353028/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1157240 memory=974400 CPUtime=340.77 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 144110 0 0 0 33129 948 0 0 20 0 1 0 832711 1185013760 243600 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 289310 243600 1895 992 0 281168 0
Current children cumulated CPU time: 340.77 s
Current children cumulated vsize: 1157240 KiB
Current children cumulated memory: 974400 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/261 8450
/proc/meminfo: memFree=114321536/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1174404 memory=1070892 CPUtime=400.62 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 150572 0 0 0 38981 1081 0 0 20 0 1 0 832711 1202589696 267723 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 293601 267723 1895 992 0 285459 0
Current children cumulated CPU time: 400.62 s
Current children cumulated vsize: 1174404 KiB
Current children cumulated memory: 1070892 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/261 8461
/proc/meminfo: memFree=112621276/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1253712 memory=1145232 CPUtime=460.46 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 152428 0 0 0 44959 1087 0 0 20 0 1 0 832711 1283801088 286308 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0

################
# More data... #
################

[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/261 9577
/proc/meminfo: memFree=59905564/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1786304 memory=1641000 CPUtime=3093.31 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 212291 0 0 0 307272 2059 0 0 20 0 1 0 832711 1829175296 410250 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 446576 410250 1895 992 0 438434 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 1786304 KiB
Current children cumulated memory: 1641000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/261 9590
/proc/meminfo: memFree=58516876/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1786304 memory=1641000 CPUtime=3153.14 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 212771 0 0 0 313160 2154 0 0 20 0 1 0 832711 1829175296 410250 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 446576 410250 1895 992 0 438434 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 1786304 KiB
Current children cumulated memory: 1641000 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/260 9602
/proc/meminfo: memFree=57405080/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1786304 memory=1641000 CPUtime=3212.96 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 213103 0 0 0 319136 2160 0 0 20 0 1 0 832711 1829175296 410250 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 446576 410250 1895 992 0 438434 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 1786304 KiB
Current children cumulated memory: 1641000 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/260 9612
/proc/meminfo: memFree=56432936/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1786304 memory=1641000 CPUtime=3272.79 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 213326 0 0 0 325114 2165 0 0 20 0 1 0 832711 1829175296 410250 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 446576 410250 1895 992 0 438434 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 1786304 KiB
Current children cumulated memory: 1641000 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/261 10010
/proc/meminfo: memFree=55097368/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1793628 memory=1648324 CPUtime=3332.62 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 213941 0 0 0 331092 2170 0 0 20 0 1 0 832711 1836675072 412081 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 448407 412081 1895 992 0 440265 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 1793628 KiB
Current children cumulated memory: 1648324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/261 10020
/proc/meminfo: memFree=54527744/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1794296 memory=1648992 CPUtime=3392.44 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 214397 0 0 0 337071 2173 0 0 20 0 1 0 832711 1837359104 412248 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 448574 412248 1895 992 0 440432 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 1794296 KiB
Current children cumulated memory: 1648992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/261 10031
/proc/meminfo: memFree=54039416/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1794296 memory=1649060 CPUtime=3452.26 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 214702 0 0 0 343049 2177 0 0 20 0 1 0 832711 1837359104 412265 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 448574 412265 1895 992 0 440432 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 1794296 KiB
Current children cumulated memory: 1649060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/262 10211
/proc/meminfo: memFree=53544404/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1854344 memory=1727376 CPUtime=3512.09 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 218831 0 0 0 349028 2181 0 0 20 0 1 0 832711 1898848256 431844 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 463586 431844 1895 992 0 455444 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 1854344 KiB
Current children cumulated memory: 1727376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.13 5/262 10222
/proc/meminfo: memFree=52717280/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1908188 memory=1758424 CPUtime=3571.91 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 219168 0 0 0 355008 2183 0 0 20 0 1 0 832711 1953984512 439606 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 477047 439606 1895 992 0 468905 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 1908188 KiB
Current children cumulated memory: 1758424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.23 4.13 4.14 5/264 10277
/proc/meminfo: memFree=69741688/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1908188 memory=1758424 CPUtime=3600.03 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 219327 0 0 0 357819 2184 0 0 20 0 1 0 832711 1953984512 439606 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 477047 439606 1895 992 0 468905 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1908188 KiB
Current children cumulated memory: 1758424 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3612.52 s]
# the end of solver process 8265 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3580.19 s, system=21.8582 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.29 4.14 4.15 5/264 10277
/proc/meminfo: memFree=69720864/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1908188 memory=1758424 CPUtime=3600.73 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 219331 0 0 0 357889 2184 0 0 20 0 1 0 832711 1953984512 439606 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 477047 439606 1895 992 0 468905 0
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 1908188 KiB
Current children cumulated memory: 1758424 KiB

[startup+3612 s]*
/proc/loadavg: 4.29 4.14 4.15 5/264 10277
/proc/meminfo: memFree=69690908/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1908188 memory=1758424 CPUtime=3601.53 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 219331 0 0 0 357969 2184 0 0 20 0 1 0 832711 1953984512 439606 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 477047 439606 1895 992 0 468905 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 1908188 KiB
Current children cumulated memory: 1758424 KiB

[startup+3612.4 s]
/proc/loadavg: 4.29 4.14 4.15 5/264 10277
/proc/meminfo: memFree=69690908/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1908188 memory=1758424 CPUtime=3601.93 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 219331 0 0 0 358009 2184 0 0 20 0 1 0 832711 1953984512 439606 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 477047 439606 1895 992 0 468905 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 1908188 KiB
Current children cumulated memory: 1758424 KiB

[startup+3612.5 s]
/proc/loadavg: 4.29 4.14 4.15 5/264 10277
/proc/meminfo: memFree=69690908/131524600 swapFree=131071996/131071996
[pid=8265] ppid=8262 vsize=1908188 memory=1758424 CPUtime=3602.03 cores=5,7
/proc/8265/stat : 8265 (roundingsat) R 8262 8265 6021 0 -1 4194304 219331 0 0 0 358019 2184 0 0 20 0 1 0 832711 1953984512 439606 134679101440 4194304 8255733 140734899911680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 38359040 140734899917662 140734899917924 140734899917924 140734899924937 0
/proc/8265/statm: 477047 439606 1895 992 0 468905 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 1908188 KiB
Current children cumulated memory: 1758424 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.52
CPU time (s): 3602.05
CPU user time (s): 3580.19
CPU system time (s): 21.8582
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 1908188
Max. memory (cumulated for all children) (KiB): 1758424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.19
system time used= 21.8582
maximum resident set size= 1758424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219331
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8344192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 1560


# summary of solver processes directly reported to runsolver:
#   pid: 8265
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3580.19
#   total CPU system time (s): 21.8582

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27062 second user time and 18.2387 second system time

The end

Begin job on nodeC015 at 2024-07-30 15:00:45
IDJOB=4462763
IDBENCH=155402
IDSOLVER=3089
FILE ID=nodeC015/4462763-1722344445
RUNJOBID= nodeC015-1722340763-6034
SLURM_JOB_ID= 8248978
Free space on /tmp= 890004 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462763-1722344445/watcher-4462763-1722344445 -o /tmp/evaluation-result-4462763-1722344445/solver-4462763-1722344445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6034 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462763-1722344445 --lp-cut-gomory=0 HOME/instance-4462763-1722344445.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=1429832398

nodeC015.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		: 3682.426
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.37
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		: 3305.347
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.03
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		: 3651.247
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.37
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		: 3282.924
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.03
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		: 3655.509
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.37
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		: 3686.163
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.03
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		: 3608.052
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.37
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		: 3532.984
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.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        73546544 kB
MemAvailable:   126941836 kB
Buffers:           50580 kB
Cached:         54123628 kB
SwapCached:            0 kB
Active:           160784 kB
Inactive:       57180508 kB
Active(anon):       1544 kB
Inactive(anon):  3188936 kB
Active(file):     159240 kB
Inactive(file): 53991572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            256808 kB
Writeback:        993668 kB
AnonPages:       3167100 kB
Mapped:            98624 kB
Shmem:             23384 kB
KReclaimable:     168604 kB
Slab:             288928 kB
SReclaimable:     168604 kB
SUnreclaim:       120324 kB
KernelStack:        4272 kB
PageTables:        15612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3596532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8864 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2899968 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:      158420 kB
DirectMap2M:    12197888 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC015 at 2024-07-30 16:00:58