0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.06 c Papilo could not simplify the problem
0.00/0.06 c [STEP] solving with SCIP
299.11/300.14 c [STEP] preprocessing done, loading into solver
299.11/300.15 c [STEP] solving
299.11/300.15 c #variables 3626 #constraints 4800
299.11/300.16 c SMALL=int, LARGE=long long
299.11/300.16 c bounds - >= -1684 @ 299.067
299.11/300.16 c stratification level: 1
299.20/300.23 c bounds - >= -1515 @ 299.074
299.20/300.23 c bounds - >= -1514 @ 299.075
299.20/300.23 c bounds - >= -1513 @ 299.076
299.20/300.23 c bounds - >= -1512 @ 299.076
299.20/300.23 c bounds - >= -1511 @ 299.077
299.20/300.23 c bounds - >= -1510 @ 299.077
299.20/300.23 c bounds - >= -1509 @ 299.078
299.20/300.23 c bounds - >= -1508 @ 299.078
299.20/300.23 c bounds - >= -1507 @ 299.079
299.20/300.23 c bounds - >= -1506 @ 299.079
299.20/300.23 c bounds - >= -1505 @ 299.079
299.20/300.23 c bounds - >= -1504 @ 299.08
299.20/300.23 c bounds - >= -1503 @ 299.08
299.20/300.23 c bounds - >= -1502 @ 299.081
299.20/300.23 c bounds - >= -1501 @ 299.081
299.20/300.23 c bounds - >= -1500 @ 299.081
299.20/300.23 c bounds - >= -1499 @ 299.082
299.20/300.23 c bounds - >= -1498 @ 299.082
299.20/300.23 c bounds - >= -1497 @ 299.083
299.20/300.23 c bounds - >= -1496 @ 299.083
299.20/300.23 c bounds - >= -1495 @ 299.083
299.20/300.23 c bounds - >= -1494 @ 299.084
299.20/300.23 c bounds - >= -1493 @ 299.084
299.20/300.23 c bounds - >= -1492 @ 299.085
299.20/300.23 c bounds - >= -1491 @ 299.085
299.20/300.23 c bounds - >= -1490 @ 299.085
299.20/300.23 c bounds - >= -1489 @ 299.085
299.20/300.23 c bounds - >= -1488 @ 299.085
299.20/300.23 c bounds - >= -1487 @ 299.086
299.20/300.23 c bounds - >= -1486 @ 299.086
299.20/300.23 c bounds - >= -1485 @ 299.087
299.20/300.23 c bounds - >= -1484 @ 299.087
299.20/300.23 c bounds - >= -1483 @ 299.087
299.20/300.23 c bounds - >= -1482 @ 299.088
299.20/300.23 c bounds - >= -1481 @ 299.088
299.20/300.23 c bounds - >= -1480 @ 299.089
299.20/300.23 c bounds - >= -1479 @ 299.089
299.20/300.23 c bounds - >= -1478 @ 299.089
299.20/300.23 c bounds - >= -1477 @ 299.089
299.20/300.23 c bounds - >= -1476 @ 299.089
299.20/300.23 c bounds - >= -1475 @ 299.09
299.20/300.23 c bounds - >= -1474 @ 299.09
299.20/300.23 c bounds - >= -1473 @ 299.091
299.20/300.23 c bounds - >= -1472 @ 299.091
299.20/300.23 c bounds - >= -1471 @ 299.092
299.20/300.23 c bounds - >= -1470 @ 299.092
299.20/300.23 c bounds - >= -1469 @ 299.092
299.20/300.23 c bounds - >= -1468 @ 299.093
299.20/300.23 c bounds - >= -1467 @ 299.093
299.20/300.23 c bounds - >= -1466 @ 299.094
299.20/300.23 c bounds - >= -1465 @ 299.094
299.20/300.23 c bounds - >= -1464 @ 299.095
299.20/300.23 c bounds - >= -1463 @ 299.095
299.20/300.23 c bounds - >= -1462 @ 299.095
299.20/300.23 c bounds - >= -1461 @ 299.095
299.20/300.23 c bounds - >= -1460 @ 299.095
299.20/300.23 c bounds - >= -1459 @ 299.096
299.20/300.23 c bounds - >= -1458 @ 299.096
299.20/300.23 c bounds - >= -1457 @ 299.097
299.20/300.23 c bounds - >= -1456 @ 299.097
299.20/300.23 c bounds - >= -1455 @ 299.098
299.20/300.23 c bounds - >= -1454 @ 299.098
299.20/300.23 c bounds - >= -1453 @ 299.098
299.20/300.23 c bounds - >= -1452 @ 299.099
299.20/300.23 c bounds - >= -1451 @ 299.099
299.20/300.23 c bounds - >= -1450 @ 299.1
299.20/300.23 c bounds - >= -1449 @ 299.1
299.20/300.23 c bounds - >= -1448 @ 299.1
299.20/300.23 c bounds - >= -1447 @ 299.1
299.20/300.23 c bounds - >= -1446 @ 299.101
299.20/300.23 c bounds - >= -1445 @ 299.101
299.20/300.23 c bounds - >= -1444 @ 299.101
299.20/300.23 c bounds - >= -1443 @ 299.101
299.20/300.23 c bounds - >= -1442 @ 299.101
299.20/300.23 c bounds - >= -1441 @ 299.102
299.20/300.23 c bounds - >= -1440 @ 299.102
299.20/300.23 c bounds - >= -1439 @ 299.103
299.20/300.23 c bounds - >= -1438 @ 299.103
299.20/300.23 c bounds - >= -1437 @ 299.104
299.20/300.23 c bounds - >= -1436 @ 299.104
299.20/300.23 c bounds - >= -1435 @ 299.105
299.20/300.23 c bounds - >= -1434 @ 299.105
299.20/300.23 c bounds - >= -1433 @ 299.106
299.20/300.23 c bounds - >= -1432 @ 299.106
299.20/300.23 c bounds - >= -1431 @ 299.107
299.20/300.23 c bounds - >= -1430 @ 299.107
299.20/300.23 c bounds - >= -1429 @ 299.107
299.20/300.23 c bounds - >= -1428 @ 299.108
299.20/300.23 c bounds - >= -1427 @ 299.108
299.20/300.23 c bounds - >= -1426 @ 299.109
299.20/300.23 c bounds - >= -1425 @ 299.109
299.20/300.23 c bounds - >= -1424 @ 299.11
299.20/300.23 c bounds - >= -1423 @ 299.11
299.20/300.23 c bounds - >= -1422 @ 299.111
299.20/300.23 c bounds - >= -1421 @ 299.111
299.20/300.23 c bounds - >= -1420 @ 299.112
299.20/300.23 c bounds - >= -1419 @ 299.112
299.20/300.23 c bounds - >= -1418 @ 299.113
299.20/300.23 c bounds - >= -1417 @ 299.113
299.20/300.23 c bounds - >= -1416 @ 299.114
299.20/300.23 c bounds - >= -1415 @ 299.114
299.20/300.23 c bounds - >= -1414 @ 299.114
299.20/300.23 c bounds - >= -1413 @ 299.114
299.20/300.23 c bounds - >= -1412 @ 299.114
299.20/300.23 c bounds - >= -1411 @ 299.114
299.20/300.23 c bounds - >= -1410 @ 299.114
299.20/300.23 c bounds - >= -1409 @ 299.115
299.20/300.23 c bounds - >= -1408 @ 299.115
299.20/300.23 c bounds - >= -1407 @ 299.116
299.20/300.23 c bounds - >= -1406 @ 299.116
299.20/300.23 c bounds - >= -1405 @ 299.117
299.20/300.23 c bounds - >= -1404 @ 299.117
299.20/300.23 c bounds - >= -1403 @ 299.118
299.20/300.23 c bounds - >= -1402 @ 299.118
299.20/300.23 c bounds - >= -1401 @ 299.119
299.20/300.23 c bounds - >= -1400 @ 299.119
299.20/300.23 c bounds - >= -1399 @ 299.119
299.20/300.23 c bounds - >= -1398 @ 299.119
299.20/300.23 c bounds - >= -1397 @ 299.119
299.20/300.23 c bounds - >= -1396 @ 299.119
299.20/300.23 c bounds - >= -1395 @ 299.119
299.20/300.23 c bounds - >= -1394 @ 299.12
299.20/300.23 c bounds - >= -1393 @ 299.12
299.20/300.23 c bounds - >= -1392 @ 299.121
299.20/300.23 c bounds - >= -1391 @ 299.121
299.20/300.23 c bounds - >= -1390 @ 299.122
299.20/300.23 c bounds - >= -1389 @ 299.122
299.20/300.23 c bounds - >= -1388 @ 299.123
299.20/300.23 c bounds - >= -1387 @ 299.123
299.20/300.23 c bounds - >= -1386 @ 299.124
299.20/300.23 c bounds - >= -1385 @ 299.124
299.20/300.23 c bounds - >= -1384 @ 299.125
299.20/300.23 c bounds - >= -1383 @ 299.125
299.20/300.23 c bounds - >= -1382 @ 299.125
299.20/300.23 c bounds - >= -1381 @ 299.125
299.20/300.23 c bounds - >= -1380 @ 299.125
299.20/300.23 c bounds - >= -1379 @ 299.125
299.20/300.23 c bounds - >= -1378 @ 299.125
299.20/300.29 c bounds - >= -1377 @ 299.126
299.20/300.29 c bounds - >= -1376 @ 299.126
299.20/300.29 c bounds - >= -1375 @ 299.127
299.20/300.29 c bounds - >= -1374 @ 299.127
299.20/300.29 c bounds - >= -1373 @ 299.128
299.20/300.29 c bounds - >= -1372 @ 299.128
299.20/300.29 c bounds - >= -1371 @ 299.129
299.20/300.29 c bounds - >= -1370 @ 299.129
299.20/300.29 c bounds - >= -1369 @ 299.13
299.20/300.29 c bounds - >= -1368 @ 299.13
299.20/300.29 c bounds - >= -1367 @ 299.131
299.20/300.29 c bounds - >= -1366 @ 299.131
299.20/300.29 c bounds - >= -1365 @ 299.131
299.20/300.29 c bounds - >= -1364 @ 299.131
299.20/300.29 c bounds - >= -1363 @ 299.131
299.20/300.29 c bounds - >= -1362 @ 299.131
299.20/300.29 c bounds - >= -1361 @ 299.131
299.20/300.29 c bounds - >= -1360 @ 299.132
299.20/300.29 c bounds - >= -1359 @ 299.132
299.20/300.29 c bounds - >= -1358 @ 299.133
299.20/300.29 c bounds - >= -1357 @ 299.133
299.20/300.29 c bounds - >= -1356 @ 299.134
299.20/300.29 c bounds - >= -1355 @ 299.134
299.20/300.29 c bounds - >= -1354 @ 299.135
299.20/300.29 c bounds - >= -1353 @ 299.135
299.20/300.29 c bounds - >= -1352 @ 299.136
299.20/300.29 c bounds - >= -1351 @ 299.136
299.20/300.29 c bounds - >= -1350 @ 299.137
299.20/300.29 c bounds - >= -1349 @ 299.137
299.20/300.29 c bounds - >= -1348 @ 299.138
299.20/300.29 c bounds - >= -1347 @ 299.138
299.20/300.29 c bounds - >= -1346 @ 299.138
299.20/300.29 c bounds - >= -1345 @ 299.139
299.20/300.29 c bounds - >= -1344 @ 299.139
299.20/300.29 c bounds - >= -1343 @ 299.139
299.20/300.29 c bounds - >= -1342 @ 299.139
299.20/300.29 c bounds - >= -1341 @ 299.14
299.20/300.29 c bounds - >= -1340 @ 299.14
299.20/300.29 c bounds - >= -1339 @ 299.141
299.20/300.29 c bounds - >= -1338 @ 299.141
299.20/300.29 c bounds - >= -1337 @ 299.142
299.20/300.29 c bounds - >= -1336 @ 299.142
299.20/300.29 c bounds - >= -1335 @ 299.143
299.20/300.29 c bounds - >= -1334 @ 299.143
299.20/300.29 c bounds - >= -1333 @ 299.144
299.20/300.29 c bounds - >= -1332 @ 299.144
299.20/300.29 c bounds - >= -1331 @ 299.145
299.20/300.29 c bounds - >= -1330 @ 299.145
299.20/300.29 c bounds - >= -1329 @ 299.146
299.20/300.29 c bounds - >= -1328 @ 299.146
299.20/300.29 c bounds - >= -1327 @ 299.147
299.20/300.29 c bounds - >= -1326 @ 299.147
299.20/300.29 c bounds - >= -1325 @ 299.147
299.20/300.29 c bounds - >= -1324 @ 299.148
299.20/300.29 c bounds - >= -1323 @ 299.148
299.20/300.29 c bounds - >= -1322 @ 299.149
299.20/300.29 c bounds - >= -1321 @ 299.149
299.20/300.29 c bounds - >= -1320 @ 299.15
299.20/300.29 c bounds - >= -1319 @ 299.15
299.20/300.29 c bounds - >= -1318 @ 299.15
299.20/300.29 c bounds - >= -1317 @ 299.15
299.20/300.29 c bounds - >= -1316 @ 299.151
299.20/300.29 c bounds - >= -1315 @ 299.151
299.20/300.29 c bounds - >= -1314 @ 299.152
299.20/300.29 c bounds - >= -1313 @ 299.152
299.20/300.29 c bounds - >= -1312 @ 299.153
299.20/300.29 c bounds - >= -1311 @ 299.153
299.20/300.29 c bounds - >= -1310 @ 299.154
299.20/300.29 c bounds - >= -1309 @ 299.154
299.20/300.29 c bounds - >= -1308 @ 299.155
299.20/300.29 c bounds - >= -1307 @ 299.155
299.20/300.29 c bounds - >= -1306 @ 299.155
299.20/300.29 c bounds - >= -1305 @ 299.156
299.20/300.29 c bounds - >= -1304 @ 299.156
299.20/300.29 c bounds - >= -1303 @ 299.157
299.20/300.29 c bounds - >= -1302 @ 299.157
299.20/300.29 c bounds - >= -1301 @ 299.158
299.20/300.29 c bounds - >= -1300 @ 299.158
299.20/300.29 c bounds - >= -1299 @ 299.159
299.20/300.29 c bounds - >= -1298 @ 299.159
299.20/300.29 c bounds - >= -1297 @ 299.16
299.20/300.29 c bounds - >= -1296 @ 299.16
299.20/300.29 c bounds - >= -1295 @ 299.161
299.20/300.29 c bounds - >= -1294 @ 299.161
299.20/300.29 c bounds - >= -1293 @ 299.162
299.20/300.29 c bounds - >= -1292 @ 299.162
299.20/300.29 c bounds - >= -1291 @ 299.163
299.20/300.29 c bounds - >= -1290 @ 299.163
299.20/300.29 c bounds - >= -1289 @ 299.163
299.20/300.29 c bounds - >= -1288 @ 299.163
299.20/300.29 c bounds - >= -1287 @ 299.163
299.20/300.29 c bounds - >= -1286 @ 299.163
299.20/300.29 c bounds - >= -1285 @ 299.164
299.20/300.29 c bounds - >= -1284 @ 299.164
299.20/300.29 c bounds - >= -1283 @ 299.165
299.20/300.29 c bounds - >= -1282 @ 299.165
299.20/300.29 c bounds - >= -1281 @ 299.166
299.20/300.29 c bounds - >= -1280 @ 299.166
299.20/300.29 c bounds - >= -1279 @ 299.167
299.20/300.29 c bounds - >= -1278 @ 299.167
299.20/300.29 c bounds - >= -1277 @ 299.168
299.20/300.29 c bounds - >= -1276 @ 299.168
299.20/300.29 c bounds - >= -1275 @ 299.169
299.20/300.29 c bounds - >= -1274 @ 299.169
299.20/300.29 c bounds - >= -1273 @ 299.169
299.20/300.29 c bounds - >= -1272 @ 299.17
299.20/300.29 c bounds - >= -1271 @ 299.17
299.20/300.29 c bounds - >= -1270 @ 299.171
299.20/300.29 c bounds - >= -1269 @ 299.171
299.20/300.29 c bounds - >= -1268 @ 299.172
299.20/300.29 c bounds - >= -1267 @ 299.172
299.20/300.29 c bounds - >= -1266 @ 299.173
299.20/300.29 c bounds - >= -1265 @ 299.173
299.20/300.29 c bounds - >= -1264 @ 299.174
299.20/300.29 c bounds - >= -1263 @ 299.174
299.20/300.29 c bounds - >= -1262 @ 299.175
299.20/300.29 c bounds - >= -1261 @ 299.175
299.20/300.29 c bounds - >= -1260 @ 299.176
299.20/300.29 c bounds - >= -1259 @ 299.176
299.20/300.29 c bounds - >= -1258 @ 299.177
299.20/300.29 c bounds - >= -1257 @ 299.177
299.20/300.29 c bounds - >= -1256 @ 299.178
299.20/300.29 c bounds - >= -1255 @ 299.178
299.20/300.29 c bounds - >= -1254 @ 299.179
299.20/300.29 c bounds - >= -1253 @ 299.179
299.20/300.29 c bounds - >= -1252 @ 299.18
299.20/300.29 c bounds - >= -1251 @ 299.18
299.20/300.29 c bounds - >= -1250 @ 299.181
299.20/300.29 c bounds - >= -1249 @ 299.181
299.20/300.29 c bounds - >= -1248 @ 299.181
299.20/300.29 c bounds - >= -1247 @ 299.182
299.20/300.29 c bounds - >= -1246 @ 299.182
299.20/300.29 c bounds - >= -1245 @ 299.183
299.20/300.29 c bounds - >= -1244 @ 299.183
299.20/300.29 c bounds - >= -1243 @ 299.184
299.20/300.29 c bounds - >= -1242 @ 299.184
299.20/300.29 c bounds - >= -1241 @ 299.185
299.30/300.36 c bounds - >= -1240 @ 299.185
299.30/300.36 c bounds - >= -1239 @ 299.186
299.30/300.36 c bounds - >= -1238 @ 299.186
299.30/300.36 c bounds - >= -1237 @ 299.187
299.30/300.36 c bounds - >= -1236 @ 299.187
299.30/300.36 c bounds - >= -1235 @ 299.188
299.30/300.36 c bounds - >= -1234 @ 299.188
299.30/300.36 c bounds - >= -1233 @ 299.189
299.30/300.36 c bounds - >= -1232 @ 299.189
299.30/300.36 c bounds - >= -1231 @ 299.19
299.30/300.36 c bounds - >= -1230 @ 299.191
299.30/300.36 c bounds - >= -1229 @ 299.191
299.30/300.36 c bounds - >= -1228 @ 299.192
299.30/300.36 c bounds - >= -1227 @ 299.192
299.30/300.36 c bounds - >= -1226 @ 299.192
299.30/300.36 c bounds - >= -1225 @ 299.193
299.30/300.36 c bounds - >= -1224 @ 299.193
299.30/300.36 c bounds - >= -1223 @ 299.194
299.30/300.36 c bounds - >= -1222 @ 299.194
299.30/300.36 c bounds - >= -1221 @ 299.195
299.30/300.36 c bounds - >= -1220 @ 299.195
299.30/300.36 c bounds - >= -1219 @ 299.196
299.30/300.36 c bounds - >= -1218 @ 299.196
299.30/300.36 c bounds - >= -1217 @ 299.196
299.30/300.36 c bounds - >= -1216 @ 299.196
299.30/300.36 c bounds - >= -1215 @ 299.197
299.30/300.36 c bounds - >= -1214 @ 299.197
299.30/300.36 c bounds - >= -1213 @ 299.197
299.30/300.36 c bounds - >= -1212 @ 299.198
299.30/300.36 c bounds - >= -1211 @ 299.198
299.30/300.36 c bounds - >= -1210 @ 299.199
299.30/300.36 c bounds - >= -1209 @ 299.199
299.30/300.36 c bounds - >= -1208 @ 299.2
299.30/300.36 c bounds - >= -1207 @ 299.2
299.30/300.36 c bounds - >= -1206 @ 299.201
299.30/300.36 c bounds - >= -1205 @ 299.201
299.30/300.36 c bounds - >= -1204 @ 299.202
299.30/300.36 c bounds - >= -1203 @ 299.202
299.30/300.36 c bounds - >= -1202 @ 299.203
299.30/300.36 c bounds - >= -1201 @ 299.203
299.30/300.36 c bounds - >= -1200 @ 299.203
299.30/300.36 c bounds - >= -1199 @ 299.204
299.30/300.36 c bounds - >= -1198 @ 299.204
299.30/300.36 c bounds - >= -1197 @ 299.205
299.30/300.36 c bounds - >= -1196 @ 299.205
299.30/300.36 c bounds - >= -1195 @ 299.206
299.30/300.36 c bounds - >= -1194 @ 299.206
299.30/300.36 c bounds - >= -1193 @ 299.207
299.30/300.36 c bounds - >= -1192 @ 299.207
299.30/300.36 c bounds - >= -1191 @ 299.208
299.30/300.36 c bounds - >= -1190 @ 299.208
299.30/300.36 c bounds - >= -1189 @ 299.209
299.30/300.36 c bounds - >= -1188 @ 299.209
299.30/300.36 c bounds - >= -1187 @ 299.209
299.30/300.36 c bounds - >= -1186 @ 299.21
299.30/300.36 c bounds - >= -1185 @ 299.21
299.30/300.36 c bounds - >= -1184 @ 299.211
299.30/300.36 c bounds - >= -1183 @ 299.211
299.30/300.36 c bounds - >= -1182 @ 299.212
299.30/300.36 c bounds - >= -1181 @ 299.212
299.30/300.36 c bounds - >= -1180 @ 299.213
299.30/300.36 c bounds - >= -1179 @ 299.213
299.30/300.36 c bounds - >= -1178 @ 299.213
299.30/300.36 c bounds - >= -1177 @ 299.213
299.30/300.36 c bounds - >= -1176 @ 299.214
299.30/300.36 c bounds - >= -1175 @ 299.214
299.30/300.36 c bounds - >= -1174 @ 299.214
299.30/300.36 c bounds - >= -1173 @ 299.215
299.30/300.36 c bounds - >= -1172 @ 299.215
299.30/300.36 c bounds - >= -1171 @ 299.216
299.30/300.36 c bounds - >= -1170 @ 299.216
299.30/300.36 c bounds - >= -1169 @ 299.217
299.30/300.36 c bounds - >= -1168 @ 299.217
299.30/300.36 c bounds - >= -1167 @ 299.218
299.30/300.36 c bounds - >= -1166 @ 299.218
299.30/300.36 c bounds - >= -1165 @ 299.219
299.30/300.36 c bounds - >= -1164 @ 299.219
299.30/300.36 c bounds - >= -1163 @ 299.22
299.30/300.36 c bounds - >= -1162 @ 299.22
299.30/300.36 c bounds - >= -1161 @ 299.221
299.30/300.36 c bounds - >= -1160 @ 299.221
299.30/300.36 c bounds - >= -1159 @ 299.222
299.30/300.36 c bounds - >= -1158 @ 299.222
299.30/300.36 c bounds - >= -1157 @ 299.223
299.30/300.36 c bounds - >= -1156 @ 299.223
299.30/300.36 c bounds - >= -1155 @ 299.224
299.30/300.36 c bounds - >= -1154 @ 299.224
299.30/300.36 c bounds - >= -1153 @ 299.224
299.30/300.36 c bounds - >= -1152 @ 299.224
299.30/300.36 c bounds - >= -1151 @ 299.225
299.30/300.36 c bounds - >= -1150 @ 299.225
299.30/300.36 c bounds - >= -1149 @ 299.225
299.30/300.36 c bounds - >= -1148 @ 299.225
299.30/300.36 c bounds - >= -1147 @ 299.226
299.30/300.36 c bounds - >= -1146 @ 299.227
299.30/300.36 c bounds - >= -1145 @ 299.227
299.30/300.36 c bounds - >= -1144 @ 299.228
299.30/300.36 c bounds - >= -1143 @ 299.228
299.30/300.36 c bounds - >= -1142 @ 299.228
299.30/300.36 c bounds - >= -1141 @ 299.228
299.30/300.36 c bounds - >= -1140 @ 299.229
299.30/300.36 c bounds - >= -1139 @ 299.229
299.30/300.36 c bounds - >= -1138 @ 299.229
299.30/300.36 c bounds - >= -1137 @ 299.229
299.30/300.36 c bounds - >= -1136 @ 299.229
299.30/300.36 c bounds - >= -1135 @ 299.229
299.30/300.36 c bounds - >= -1134 @ 299.229
299.30/300.36 c bounds - >= -1133 @ 299.229
299.30/300.36 c bounds - >= -1132 @ 299.23
299.30/300.36 c bounds - >= -1131 @ 299.23
299.30/300.36 c bounds - >= -1130 @ 299.231
299.30/300.36 c bounds - >= -1129 @ 299.231
299.30/300.36 c bounds - >= -1128 @ 299.232
299.30/300.36 c bounds - >= -1127 @ 299.232
299.30/300.36 c bounds - >= -1126 @ 299.233
299.30/300.36 c bounds - >= -1125 @ 299.233
299.30/300.36 c bounds - >= -1124 @ 299.234
299.30/300.36 c bounds - >= -1123 @ 299.234
299.30/300.36 c bounds - >= -1122 @ 299.235
299.30/300.36 c bounds - >= -1121 @ 299.235
299.30/300.36 c bounds - >= -1120 @ 299.235
299.30/300.36 c bounds - >= -1119 @ 299.235
299.30/300.36 c bounds - >= -1118 @ 299.235
299.30/300.36 c bounds - >= -1117 @ 299.235
299.30/300.36 c bounds - >= -1116 @ 299.235
299.30/300.36 c bounds - >= -1115 @ 299.236
299.30/300.36 c bounds - >= -1114 @ 299.236
299.30/300.36 c bounds - >= -1113 @ 299.237
299.30/300.36 c bounds - >= -1112 @ 299.237
299.30/300.36 c bounds - >= -1111 @ 299.238
299.30/300.36 c bounds - >= -1110 @ 299.239
299.30/300.36 c bounds - >= -1109 @ 299.239
299.30/300.36 c bounds - >= -1108 @ 299.239
299.30/300.36 c bounds - >= -1107 @ 299.239
299.30/300.36 c bounds - >= -1106 @ 299.239
299.30/300.36 c bounds - >= -1105 @ 299.239
299.40/300.46 c bounds - >= -1104 @ 299.24
299.40/300.46 c bounds - >= -1103 @ 299.24
299.40/300.46 c bounds - >= -1102 @ 299.241
299.40/300.46 c bounds - >= -1101 @ 299.241
299.40/300.46 c bounds - >= -1100 @ 299.241
299.40/300.46 c bounds - >= -1099 @ 299.241
299.40/300.46 c bounds - >= -1098 @ 299.241
299.40/300.46 c bounds - >= -1097 @ 299.242
299.40/300.46 c bounds - >= -1096 @ 299.242
299.40/300.46 c bounds - >= -1095 @ 299.243
299.40/300.46 c bounds - >= -1094 @ 299.244
299.40/300.46 c bounds - >= -1093 @ 299.244
299.40/300.46 c bounds - >= -1092 @ 299.245
299.40/300.46 c bounds - >= -1091 @ 299.245
299.40/300.46 c bounds - >= -1090 @ 299.246
299.40/300.46 c bounds - >= -1089 @ 299.246
299.40/300.46 c bounds - >= -1088 @ 299.247
299.40/300.46 c bounds - >= -1087 @ 299.247
299.40/300.46 c bounds - >= -1086 @ 299.247
299.40/300.46 c bounds - >= -1085 @ 299.247
299.40/300.46 c bounds - >= -1084 @ 299.247
299.40/300.46 c bounds - >= -1083 @ 299.248
299.40/300.46 c bounds - >= -1082 @ 299.248
299.40/300.46 c bounds - >= -1081 @ 299.249
299.40/300.46 c bounds - >= -1080 @ 299.25
299.40/300.46 c bounds - >= -1079 @ 299.25
299.40/300.46 c bounds - >= -1078 @ 299.25
299.40/300.46 c bounds - >= -1077 @ 299.25
299.40/300.46 c bounds - >= -1076 @ 299.251
299.40/300.46 c bounds - >= -1075 @ 299.252
299.40/300.46 c bounds - >= -1074 @ 299.252
299.40/300.46 c bounds - >= -1073 @ 299.252
299.40/300.46 c bounds - >= -1072 @ 299.252
299.40/300.46 c bounds - >= -1071 @ 299.253
299.40/300.46 c bounds - >= -1070 @ 299.254
299.40/300.46 c bounds - >= -1069 @ 299.254
299.40/300.46 c bounds - >= -1068 @ 299.254
299.40/300.46 c bounds - >= -1067 @ 299.254
299.40/300.46 c bounds - >= -1066 @ 299.255
299.40/300.46 c bounds - >= -1065 @ 299.255
299.40/300.46 c bounds - >= -1064 @ 299.255
299.40/300.46 c bounds - >= -1063 @ 299.256
299.40/300.46 c bounds - >= -1062 @ 299.256
299.40/300.46 c bounds - >= -1061 @ 299.257
299.40/300.46 c bounds - >= -1060 @ 299.257
299.40/300.46 c bounds - >= -1059 @ 299.257
299.40/300.46 c bounds - >= -1058 @ 299.257
299.40/300.46 c bounds - >= -1057 @ 299.257
299.40/300.46 c bounds - >= -1056 @ 299.257
299.40/300.46 c bounds - >= -1055 @ 299.258
299.40/300.46 c bounds - >= -1054 @ 299.258
299.40/300.46 c bounds - >= -1053 @ 299.259
299.40/300.46 c bounds - >= -1052 @ 299.259
299.40/300.46 c bounds - >= -1051 @ 299.26
299.40/300.46 c bounds - >= -1050 @ 299.26
299.40/300.46 c bounds - >= -1049 @ 299.26
299.40/300.46 c bounds - >= -1048 @ 299.261
299.40/300.46 c bounds - >= -1047 @ 299.261
299.40/300.46 c bounds - >= -1046 @ 299.261
299.40/300.46 c bounds - >= -1045 @ 299.262
299.40/300.46 c bounds - >= -1044 @ 299.263
299.40/300.46 c bounds - >= -1043 @ 299.263
299.40/300.46 c bounds - >= -1042 @ 299.264
299.40/300.46 c bounds - >= -1041 @ 299.265
299.40/300.46 c bounds - >= -1040 @ 299.265
299.40/300.46 c bounds - >= -1039 @ 299.266
299.40/300.46 c bounds - >= -1038 @ 299.266
299.40/300.46 c bounds - >= -1037 @ 299.266
299.40/300.46 c bounds - >= -1036 @ 299.267
299.40/300.46 c bounds - >= -1035 @ 299.268
299.40/300.46 c bounds - >= -1034 @ 299.268
299.40/300.46 c bounds - >= -1033 @ 299.269
299.40/300.46 c bounds - >= -1032 @ 299.27
299.40/300.46 c bounds - >= -1031 @ 299.27
299.40/300.46 c bounds - >= -1030 @ 299.271
299.40/300.46 c bounds - >= -1029 @ 299.272
299.40/300.46 c bounds - >= -1028 @ 299.273
299.40/300.46 c bounds - >= -1027 @ 299.273
299.40/300.46 c bounds - >= -1026 @ 299.273
299.40/300.46 c bounds - >= -1025 @ 299.273
299.40/300.46 c bounds - >= -1024 @ 299.273
299.40/300.46 c bounds - >= -1023 @ 299.274
299.40/300.46 c bounds - >= -1022 @ 299.275
299.40/300.46 c bounds - >= -1021 @ 299.275
299.40/300.46 c bounds - >= -1020 @ 299.276
299.40/300.46 c bounds - >= -1019 @ 299.276
299.40/300.46 c bounds - >= -1018 @ 299.277
299.40/300.46 c bounds - >= -1017 @ 299.277
299.40/300.46 c bounds - >= -1016 @ 299.277
299.40/300.46 c bounds - >= -1015 @ 299.278
299.40/300.46 c bounds - >= -1014 @ 299.278
299.40/300.46 c bounds - >= -1013 @ 299.279
299.40/300.46 c bounds - >= -1012 @ 299.279
299.40/300.46 c bounds - >= -1011 @ 299.28
299.40/300.46 c bounds - >= -1010 @ 299.28
299.40/300.46 c bounds - >= -1009 @ 299.28
299.40/300.46 c bounds - >= -1008 @ 299.281
299.40/300.46 c bounds - >= -1007 @ 299.281
299.40/300.46 c bounds - >= -1006 @ 299.282
299.40/300.46 c bounds - >= -1005 @ 299.283
299.40/300.46 c bounds - >= -1004 @ 299.284
299.40/300.46 c bounds - >= -1003 @ 299.284
299.40/300.46 c bounds - >= -1002 @ 299.284
299.40/300.46 c bounds - >= -1001 @ 299.285
299.40/300.46 c bounds - >= -1000 @ 299.286
299.40/300.46 c bounds - >= -999 @ 299.286
299.40/300.46 c bounds - >= -998 @ 299.286
299.40/300.46 c bounds - >= -997 @ 299.286
299.40/300.46 c bounds - >= -996 @ 299.286
299.40/300.46 c bounds - >= -995 @ 299.287
299.40/300.46 c bounds - >= -994 @ 299.287
299.40/300.46 c bounds - >= -993 @ 299.287
299.40/300.46 c bounds - >= -992 @ 299.287
299.40/300.46 c bounds - >= -991 @ 299.288
299.40/300.46 c bounds - >= -990 @ 299.288
299.40/300.46 c bounds - >= -989 @ 299.289
299.40/300.46 c bounds - >= -988 @ 299.289
299.40/300.46 c bounds - >= -987 @ 299.29
299.40/300.46 c bounds - >= -986 @ 299.29
299.40/300.46 c bounds - >= -985 @ 299.29
299.40/300.46 c bounds - >= -984 @ 299.29
299.40/300.46 c bounds - >= -983 @ 299.291
299.40/300.46 c bounds - >= -982 @ 299.291
299.40/300.46 c bounds - >= -981 @ 299.291
299.40/300.46 c bounds - >= -980 @ 299.292
299.40/300.46 c bounds - >= -979 @ 299.292
299.40/300.46 c bounds - >= -978 @ 299.293
299.40/300.46 c bounds - >= -977 @ 299.293
299.40/300.46 c bounds - >= -976 @ 299.294
299.40/300.46 c bounds - >= -975 @ 299.294
299.40/300.46 c bounds - >= -974 @ 299.295
299.40/300.46 c bounds - >= -973 @ 299.295
299.40/300.46 c bounds - >= -972 @ 299.295
299.40/300.46 c bounds - >= -971 @ 299.296
299.40/300.46 c bounds - >= -970 @ 299.296
299.40/300.46 c bounds - >= -969 @ 299.296
299.40/300.46 c bounds - >= -968 @ 299.296
299.40/300.46 c bounds - >= -967 @ 299.296
299.40/300.46 c bounds - >= -966 @ 299.296
299.50/300.59 c bounds - >= -965 @ 299.297
299.50/300.59 c bounds - >= -964 @ 299.297
299.50/300.59 c bounds - >= -963 @ 299.298
299.50/300.59 c bounds - >= -962 @ 299.299
299.50/300.59 c bounds - >= -961 @ 299.299
299.50/300.59 c bounds - >= -960 @ 299.3
299.50/300.59 c bounds - >= -959 @ 299.3
299.50/300.59 c bounds - >= -958 @ 299.301
299.50/300.59 c bounds - >= -957 @ 299.301
299.50/300.59 c bounds - >= -956 @ 299.302
299.50/300.59 c bounds - >= -955 @ 299.302
299.50/300.59 c bounds - >= -954 @ 299.302
299.50/300.59 c bounds - >= -953 @ 299.303
299.50/300.59 c bounds - >= -952 @ 299.304
299.50/300.59 c bounds - >= -951 @ 299.304
299.50/300.59 c bounds - >= -950 @ 299.305
299.50/300.59 c bounds - >= -949 @ 299.305
299.50/300.59 c bounds - >= -948 @ 299.306
299.50/300.59 c bounds - >= -947 @ 299.307
299.50/300.59 c bounds - >= -946 @ 299.307
299.50/300.59 c bounds - >= -945 @ 299.307
299.50/300.59 c bounds - >= -944 @ 299.307
299.50/300.59 c bounds - >= -943 @ 299.308
299.50/300.59 c bounds - >= -942 @ 299.309
299.50/300.59 c bounds - >= -941 @ 299.309
299.50/300.59 c bounds - >= -940 @ 299.309
299.50/300.59 c bounds - >= -939 @ 299.31
299.50/300.59 c bounds - >= -938 @ 299.31
299.50/300.59 c bounds - >= -937 @ 299.311
299.50/300.59 c bounds - >= -936 @ 299.311
299.50/300.59 c bounds - >= -935 @ 299.311
299.50/300.59 c bounds - >= -934 @ 299.311
299.50/300.59 c bounds - >= -933 @ 299.311
299.50/300.59 c bounds - >= -932 @ 299.311
299.50/300.59 c bounds - >= -931 @ 299.312
299.50/300.60 c bounds - >= -930 @ 299.313
299.50/300.60 c bounds - >= -929 @ 299.313
299.50/300.60 c bounds - >= -928 @ 299.313
299.50/300.60 c bounds - >= -927 @ 299.313
299.50/300.60 c bounds - >= -926 @ 299.313
299.50/300.60 c bounds - >= -925 @ 299.314
299.50/300.60 c bounds - >= -924 @ 299.314
299.50/300.60 c bounds - >= -923 @ 299.315
299.50/300.60 c bounds - >= -922 @ 299.316
299.50/300.60 c bounds - >= -921 @ 299.316
299.50/300.60 c bounds - >= -920 @ 299.316
299.50/300.60 c bounds - >= -919 @ 299.316
299.50/300.60 c bounds - >= -918 @ 299.316
299.50/300.60 c bounds - >= -917 @ 299.316
299.50/300.60 c bounds - >= -916 @ 299.316
299.50/300.60 c bounds - >= -915 @ 299.317
299.50/300.60 c bounds - >= -914 @ 299.317
299.50/300.60 c bounds - >= -913 @ 299.318
299.50/300.60 c bounds - >= -912 @ 299.319
299.50/300.60 c bounds - >= -911 @ 299.32
299.50/300.60 c bounds - >= -910 @ 299.321
299.50/300.60 c bounds - >= -909 @ 299.322
299.50/300.60 c bounds - >= -908 @ 299.323
299.50/300.60 c bounds - >= -907 @ 299.323
299.50/300.60 c bounds - >= -906 @ 299.324
299.50/300.60 c bounds - >= -905 @ 299.325
299.50/300.60 c bounds - >= -904 @ 299.326
299.50/300.60 c bounds - >= -903 @ 299.326
299.50/300.60 c bounds - >= -902 @ 299.326
299.50/300.60 c bounds - >= -901 @ 299.327
299.50/300.60 c bounds - >= -900 @ 299.327
299.50/300.60 c bounds - >= -899 @ 299.327
299.50/300.60 c bounds - >= -898 @ 299.327
299.50/300.60 c bounds - >= -897 @ 299.327
299.50/300.60 c bounds - >= -896 @ 299.328
299.50/300.60 c bounds - >= -895 @ 299.328
299.50/300.60 c bounds - >= -894 @ 299.328
299.50/300.60 c bounds - >= -893 @ 299.328
299.50/300.60 c bounds - >= -892 @ 299.329
299.50/300.60 c bounds - >= -891 @ 299.33
299.50/300.60 c bounds - >= -890 @ 299.33
299.50/300.60 c bounds - >= -889 @ 299.33
299.50/300.60 c bounds - >= -888 @ 299.33
299.50/300.60 c bounds - >= -887 @ 299.33
299.50/300.60 c bounds - >= -886 @ 299.33
299.50/300.60 c bounds - >= -885 @ 299.33
299.50/300.60 c bounds - >= -884 @ 299.331
299.50/300.60 c bounds - >= -883 @ 299.331
299.50/300.60 c bounds - >= -882 @ 299.332
299.50/300.60 c bounds - >= -881 @ 299.333
299.50/300.60 c bounds - >= -880 @ 299.334
299.50/300.60 c bounds - >= -879 @ 299.335
299.50/300.60 c bounds - >= -878 @ 299.336
299.50/300.60 c bounds - >= -877 @ 299.337
299.50/300.60 c bounds - >= -876 @ 299.338
299.50/300.60 c bounds - >= -875 @ 299.339
299.50/300.60 c bounds - >= -874 @ 299.34
299.50/300.60 c bounds - >= -873 @ 299.341
299.50/300.60 c bounds - >= -872 @ 299.342
299.50/300.60 c bounds - >= -871 @ 299.343
299.50/300.60 c bounds - >= -870 @ 299.344
299.50/300.60 c bounds - >= -869 @ 299.346
299.50/300.60 c bounds - >= -868 @ 299.347
299.50/300.60 c bounds - >= -867 @ 299.348
299.50/300.60 c bounds - >= -866 @ 299.349
299.50/300.60 c bounds - >= -865 @ 299.35
299.50/300.60 c bounds - >= -864 @ 299.351
299.50/300.60 c bounds - >= -863 @ 299.352
299.50/300.60 c bounds - >= -862 @ 299.352
299.50/300.60 c bounds - >= -861 @ 299.352
299.50/300.60 c bounds - >= -860 @ 299.352
299.50/300.60 c bounds - >= -859 @ 299.352
299.50/300.60 c bounds - >= -858 @ 299.353
299.50/300.60 c bounds - >= -857 @ 299.353
299.50/300.60 c bounds - >= -856 @ 299.353
299.50/300.60 c bounds - >= -855 @ 299.353
299.50/300.60 c bounds - >= -854 @ 299.353
299.50/300.60 c bounds - >= -853 @ 299.353
299.50/300.60 c bounds - >= -852 @ 299.354
299.50/300.60 c bounds - >= -851 @ 299.356
299.50/300.60 c bounds - >= -850 @ 299.357
299.50/300.60 c bounds - >= -849 @ 299.358
299.50/300.60 c bounds - >= -848 @ 299.358
299.50/300.60 c bounds - >= -847 @ 299.358
299.50/300.60 c bounds - >= -846 @ 299.359
299.50/300.60 c bounds - >= -845 @ 299.36
299.50/300.60 c bounds - >= -844 @ 299.36
299.50/300.60 c bounds - >= -843 @ 299.36
299.50/300.60 c bounds - >= -842 @ 299.361
299.50/300.60 c bounds - >= -841 @ 299.363
299.50/300.60 c bounds - >= -840 @ 299.363
299.50/300.60 c bounds - >= -839 @ 299.363
299.50/300.60 c bounds - >= -838 @ 299.363
299.50/300.60 c bounds - >= -837 @ 299.364
299.50/300.60 c bounds - >= -836 @ 299.364
299.50/300.60 c bounds - >= -835 @ 299.366
299.50/300.60 c bounds - >= -834 @ 299.367
299.50/300.60 c bounds - >= -833 @ 299.368
299.50/300.60 c bounds - >= -832 @ 299.368
299.50/300.60 c bounds - >= -831 @ 299.368
299.50/300.60 c bounds - >= -830 @ 299.37
299.50/300.60 c bounds - >= -829 @ 299.371
299.50/300.60 c bounds - >= -828 @ 299.371
299.50/300.60 c bounds - >= -827 @ 299.371
299.50/300.60 c bounds - >= -826 @ 299.371
299.50/300.60 c bounds - >= -825 @ 299.373
299.50/300.60 c bounds - >= -824 @ 299.374
424.78/426.25 c bounds - >= -823 @ 299.374
424.78/426.25 c bounds - >= -822 @ 299.374
424.78/426.25 c bounds - >= -821 @ 299.375
424.78/426.25 c bounds - >= -820 @ 299.376
424.78/426.25 c bounds - >= -819 @ 299.376
424.78/426.25 c bounds - >= -818 @ 299.377
424.78/426.25 c bounds - >= -817 @ 299.378
424.78/426.25 c bounds - >= -816 @ 299.379
424.78/426.25 c bounds - >= -815 @ 299.379
424.78/426.25 c bounds - >= -814 @ 299.38
424.78/426.25 c #Conflicts: 1000 | #Constraints: 7064
424.78/426.25 c #Conflicts: 2000 | #Constraints: 8064
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 3000 | #Constraints: 7197
424.78/426.25 c #Conflicts: 4000 | #Constraints: 8197
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 5000 | #Constraints: 7516
424.78/426.25 c #Conflicts: 6000 | #Constraints: 8516
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 7000 | #Constraints: 7473
424.78/426.25 c #Conflicts: 8000 | #Constraints: 8473
424.78/426.25 c #Conflicts: 9000 | #Constraints: 9473
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 10000 | #Constraints: 8158
424.78/426.25 c #Conflicts: 11000 | #Constraints: 9158
424.78/426.25 c #Conflicts: 12000 | #Constraints: 10158
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 13000 | #Constraints: 8588
424.78/426.25 c #Conflicts: 14000 | #Constraints: 9588
424.78/426.25 c #Conflicts: 15000 | #Constraints: 10588
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 16000 | #Constraints: 8804
424.78/426.25 c #Conflicts: 17000 | #Constraints: 9804
424.78/426.25 c #Conflicts: 18000 | #Constraints: 10804
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 19000 | #Constraints: 8806
424.78/426.25 c #Conflicts: 20000 | #Constraints: 9806
424.78/426.25 c #Conflicts: 21000 | #Constraints: 10806
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 22000 | #Constraints: 8613
424.78/426.25 c #Conflicts: 23000 | #Constraints: 9613
424.78/426.25 c #Conflicts: 24000 | #Constraints: 10613
424.78/426.25 c #Conflicts: 25000 | #Constraints: 11613
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 26000 | #Constraints: 9214
424.78/426.25 c #Conflicts: 27000 | #Constraints: 10214
424.78/426.25 c #Conflicts: 28000 | #Constraints: 11214
424.78/426.25 c #Conflicts: 29000 | #Constraints: 12214
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 30000 | #Constraints: 9617
424.78/426.25 c #Conflicts: 31000 | #Constraints: 10617
424.78/426.25 c #Conflicts: 32000 | #Constraints: 11617
424.78/426.25 c #Conflicts: 33000 | #Constraints: 12617
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 34000 | #Constraints: 9812
424.78/426.25 c #Conflicts: 35000 | #Constraints: 10812
424.78/426.25 c #Conflicts: 36000 | #Constraints: 11812
424.78/426.25 c #Conflicts: 37000 | #Constraints: 12812
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 38000 | #Constraints: 9809
424.78/426.25 c #Conflicts: 39000 | #Constraints: 10809
424.78/426.25 c #Conflicts: 40000 | #Constraints: 11809
424.78/426.25 c #Conflicts: 41000 | #Constraints: 12809
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 42000 | #Constraints: 9614
424.78/426.25 c #Conflicts: 43000 | #Constraints: 10614
424.78/426.25 c #Conflicts: 44000 | #Constraints: 11614
424.78/426.25 c #Conflicts: 45000 | #Constraints: 12614
424.78/426.25 c #Conflicts: 46000 | #Constraints: 13614
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 47000 | #Constraints: 10208
424.78/426.25 c #Conflicts: 48000 | #Constraints: 11208
424.78/426.25 c #Conflicts: 49000 | #Constraints: 12208
424.78/426.25 c #Conflicts: 50000 | #Constraints: 13208
424.78/426.25 c #Conflicts: 51000 | #Constraints: 14208
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 52000 | #Constraints: 10616
424.78/426.25 c #Conflicts: 53000 | #Constraints: 11616
424.78/426.25 c #Conflicts: 54000 | #Constraints: 12616
424.78/426.25 c #Conflicts: 55000 | #Constraints: 13616
424.78/426.25 c #Conflicts: 56000 | #Constraints: 14616
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 57000 | #Constraints: 10808
424.78/426.25 c #Conflicts: 58000 | #Constraints: 11808
424.78/426.25 c #Conflicts: 59000 | #Constraints: 12808
424.78/426.25 c #Conflicts: 60000 | #Constraints: 13808
424.78/426.25 c #Conflicts: 61000 | #Constraints: 14808
424.78/426.25 c INPROCESSING
424.78/426.25 c GARBAGE COLLECT
424.78/426.25 c #Conflicts: 62000 | #Constraints: 10801
612.75/614.85 c #Conflicts: 63000 | #Constraints: 11801
612.75/614.85 c #Conflicts: 64000 | #Constraints: 12801
612.75/614.85 c #Conflicts: 65000 | #Constraints: 13801
612.75/614.85 c #Conflicts: 66000 | #Constraints: 14801
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 67000 | #Constraints: 10603
612.75/614.85 c #Conflicts: 68000 | #Constraints: 11603
612.75/614.85 c #Conflicts: 69000 | #Constraints: 12603
612.75/614.85 c #Conflicts: 70000 | #Constraints: 13603
612.75/614.85 c #Conflicts: 71000 | #Constraints: 14603
612.75/614.85 c #Conflicts: 72000 | #Constraints: 15603
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 73000 | #Constraints: 11204
612.75/614.85 c #Conflicts: 74000 | #Constraints: 12204
612.75/614.85 c #Conflicts: 75000 | #Constraints: 13204
612.75/614.85 c #Conflicts: 76000 | #Constraints: 14204
612.75/614.85 c #Conflicts: 77000 | #Constraints: 15204
612.75/614.85 c #Conflicts: 78000 | #Constraints: 16204
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 79000 | #Constraints: 11608
612.75/614.85 c #Conflicts: 80000 | #Constraints: 12608
612.75/614.85 c #Conflicts: 81000 | #Constraints: 13608
612.75/614.85 c #Conflicts: 82000 | #Constraints: 14608
612.75/614.85 c #Conflicts: 83000 | #Constraints: 15608
612.75/614.85 c #Conflicts: 84000 | #Constraints: 16608
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 85000 | #Constraints: 11812
612.75/614.85 c #Conflicts: 86000 | #Constraints: 12812
612.75/614.85 c #Conflicts: 87000 | #Constraints: 13812
612.75/614.85 c #Conflicts: 88000 | #Constraints: 14812
612.75/614.85 c #Conflicts: 89000 | #Constraints: 15812
612.75/614.85 c #Conflicts: 90000 | #Constraints: 16812
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 91000 | #Constraints: 11812
612.75/614.85 c #Conflicts: 92000 | #Constraints: 12812
612.75/614.85 c #Conflicts: 93000 | #Constraints: 13812
612.75/614.85 c #Conflicts: 94000 | #Constraints: 14812
612.75/614.85 c #Conflicts: 95000 | #Constraints: 15812
612.75/614.85 c #Conflicts: 96000 | #Constraints: 16812
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 97000 | #Constraints: 11615
612.75/614.85 c #Conflicts: 98000 | #Constraints: 12615
612.75/614.85 c #Conflicts: 99000 | #Constraints: 13615
612.75/614.85 c #Conflicts: 100000 | #Constraints: 14615
612.75/614.85 c #Conflicts: 101000 | #Constraints: 15615
612.75/614.85 c #Conflicts: 102000 | #Constraints: 16615
612.75/614.85 c #Conflicts: 103000 | #Constraints: 17615
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 104000 | #Constraints: 12216
612.75/614.85 c #Conflicts: 105000 | #Constraints: 13216
612.75/614.85 c #Conflicts: 106000 | #Constraints: 14216
612.75/614.85 c #Conflicts: 107000 | #Constraints: 15216
612.75/614.85 c #Conflicts: 108000 | #Constraints: 16216
612.75/614.85 c #Conflicts: 109000 | #Constraints: 17216
612.75/614.85 c #Conflicts: 110000 | #Constraints: 18216
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 111000 | #Constraints: 12616
612.75/614.85 c #Conflicts: 112000 | #Constraints: 13616
612.75/614.85 c #Conflicts: 113000 | #Constraints: 14616
612.75/614.85 c #Conflicts: 114000 | #Constraints: 15616
612.75/614.85 c #Conflicts: 115000 | #Constraints: 16616
612.75/614.85 c #Conflicts: 116000 | #Constraints: 17616
612.75/614.85 c #Conflicts: 117000 | #Constraints: 18616
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 118000 | #Constraints: 12805
612.75/614.85 c #Conflicts: 119000 | #Constraints: 13805
612.75/614.85 c #Conflicts: 120000 | #Constraints: 14805
612.75/614.85 c #Conflicts: 121000 | #Constraints: 15805
612.75/614.85 c #Conflicts: 122000 | #Constraints: 16805
612.75/614.85 c #Conflicts: 123000 | #Constraints: 17805
612.75/614.85 c #Conflicts: 124000 | #Constraints: 18805
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 125000 | #Constraints: 12809
612.75/614.85 c #Conflicts: 126000 | #Constraints: 13809
612.75/614.85 c #Conflicts: 127000 | #Constraints: 14809
612.75/614.85 c #Conflicts: 128000 | #Constraints: 15809
612.75/614.85 c #Conflicts: 129000 | #Constraints: 16809
612.75/614.85 c #Conflicts: 130000 | #Constraints: 17809
612.75/614.85 c #Conflicts: 131000 | #Constraints: 18809
612.75/614.85 c INPROCESSING
612.75/614.85 c GARBAGE COLLECT
612.75/614.85 c #Conflicts: 132000 | #Constraints: 12610
612.75/614.85 c #Conflicts: 133000 | #Constraints: 13610
612.75/614.85 c #Conflicts: 134000 | #Constraints: 14610
838.30/841.19 c #Conflicts: 135000 | #Constraints: 15610
838.30/841.19 c #Conflicts: 136000 | #Constraints: 16610
838.30/841.19 c #Conflicts: 137000 | #Constraints: 17610
838.30/841.19 c #Conflicts: 138000 | #Constraints: 18610
838.30/841.19 c #Conflicts: 139000 | #Constraints: 19610
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
838.30/841.19 c #Conflicts: 140000 | #Constraints: 13205
838.30/841.19 c #Conflicts: 141000 | #Constraints: 14205
838.30/841.19 c #Conflicts: 142000 | #Constraints: 15205
838.30/841.19 c #Conflicts: 143000 | #Constraints: 16205
838.30/841.19 c #Conflicts: 144000 | #Constraints: 17205
838.30/841.19 c #Conflicts: 145000 | #Constraints: 18205
838.30/841.19 c #Conflicts: 146000 | #Constraints: 19205
838.30/841.19 c #Conflicts: 147000 | #Constraints: 20205
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
838.30/841.19 c #Conflicts: 148000 | #Constraints: 13616
838.30/841.19 c #Conflicts: 149000 | #Constraints: 14616
838.30/841.19 c #Conflicts: 150000 | #Constraints: 15616
838.30/841.19 c #Conflicts: 151000 | #Constraints: 16616
838.30/841.19 c #Conflicts: 152000 | #Constraints: 17616
838.30/841.19 c #Conflicts: 153000 | #Constraints: 18616
838.30/841.19 c #Conflicts: 154000 | #Constraints: 19616
838.30/841.19 c #Conflicts: 155000 | #Constraints: 20616
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
838.30/841.19 c #Conflicts: 156000 | #Constraints: 13815
838.30/841.19 c #Conflicts: 157000 | #Constraints: 14815
838.30/841.19 c #Conflicts: 158000 | #Constraints: 15815
838.30/841.19 c #Conflicts: 159000 | #Constraints: 16815
838.30/841.19 c #Conflicts: 160000 | #Constraints: 17815
838.30/841.19 c #Conflicts: 161000 | #Constraints: 18815
838.30/841.19 c #Conflicts: 162000 | #Constraints: 19815
838.30/841.19 c #Conflicts: 163000 | #Constraints: 20815
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
838.30/841.19 c #Conflicts: 164000 | #Constraints: 13825
838.30/841.19 c #Conflicts: 165000 | #Constraints: 14825
838.30/841.19 c #Conflicts: 166000 | #Constraints: 15825
838.30/841.19 c #Conflicts: 167000 | #Constraints: 16825
838.30/841.19 c #Conflicts: 168000 | #Constraints: 17825
838.30/841.19 c #Conflicts: 169000 | #Constraints: 18825
838.30/841.19 c #Conflicts: 170000 | #Constraints: 19825
838.30/841.19 c #Conflicts: 171000 | #Constraints: 20825
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
838.30/841.19 c #Conflicts: 172000 | #Constraints: 13615
838.30/841.19 c #Conflicts: 173000 | #Constraints: 14615
838.30/841.19 c #Conflicts: 174000 | #Constraints: 15615
838.30/841.19 c #Conflicts: 175000 | #Constraints: 16615
838.30/841.19 c #Conflicts: 176000 | #Constraints: 17615
838.30/841.19 c #Conflicts: 177000 | #Constraints: 18615
838.30/841.19 c #Conflicts: 178000 | #Constraints: 19615
838.30/841.19 c #Conflicts: 179000 | #Constraints: 20615
838.30/841.19 c #Conflicts: 180000 | #Constraints: 21615
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
838.30/841.19 c #Conflicts: 181000 | #Constraints: 14214
838.30/841.19 c #Conflicts: 182000 | #Constraints: 15214
838.30/841.19 c #Conflicts: 183000 | #Constraints: 16214
838.30/841.19 c #Conflicts: 184000 | #Constraints: 17214
838.30/841.19 c #Conflicts: 185000 | #Constraints: 18214
838.30/841.19 c #Conflicts: 186000 | #Constraints: 19214
838.30/841.19 c #Conflicts: 187000 | #Constraints: 20214
838.30/841.19 c #Conflicts: 188000 | #Constraints: 21214
838.30/841.19 c #Conflicts: 189000 | #Constraints: 22214
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
838.30/841.19 c #Conflicts: 190000 | #Constraints: 14619
838.30/841.19 c #Conflicts: 191000 | #Constraints: 15619
838.30/841.19 c #Conflicts: 192000 | #Constraints: 16619
838.30/841.19 c #Conflicts: 193000 | #Constraints: 17619
838.30/841.19 c #Conflicts: 194000 | #Constraints: 18619
838.30/841.19 c #Conflicts: 195000 | #Constraints: 19619
838.30/841.19 c #Conflicts: 196000 | #Constraints: 20619
838.30/841.19 c #Conflicts: 197000 | #Constraints: 21619
838.30/841.19 c #Conflicts: 198000 | #Constraints: 22619
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
838.30/841.19 c #Conflicts: 199000 | #Constraints: 14820
838.30/841.19 c #Conflicts: 200000 | #Constraints: 15820
838.30/841.19 c #Conflicts: 201000 | #Constraints: 16820
838.30/841.19 c #Conflicts: 202000 | #Constraints: 17820
838.30/841.19 c #Conflicts: 203000 | #Constraints: 18820
838.30/841.19 c #Conflicts: 204000 | #Constraints: 19820
838.30/841.19 c #Conflicts: 205000 | #Constraints: 20820
838.30/841.19 c #Conflicts: 206000 | #Constraints: 21820
838.30/841.19 c #Conflicts: 207000 | #Constraints: 22820
838.30/841.19 c INPROCESSING
838.30/841.19 c GARBAGE COLLECT
1190.90/1194.99 c #Conflicts: 208000 | #Constraints: 14823
1190.90/1194.99 c #Conflicts: 209000 | #Constraints: 15823
1190.90/1194.99 c #Conflicts: 210000 | #Constraints: 16823
1190.90/1194.99 c #Conflicts: 211000 | #Constraints: 17823
1190.90/1194.99 c #Conflicts: 212000 | #Constraints: 18823
1190.90/1194.99 c #Conflicts: 213000 | #Constraints: 19823
1190.90/1194.99 c #Conflicts: 214000 | #Constraints: 20823
1190.90/1194.99 c #Conflicts: 215000 | #Constraints: 21823
1190.90/1194.99 c #Conflicts: 216000 | #Constraints: 22823
1190.90/1194.99 c INPROCESSING
1190.90/1194.99 c GARBAGE COLLECT
1190.90/1194.99 c #Conflicts: 217000 | #Constraints: 14625
1190.90/1194.99 c #Conflicts: 218000 | #Constraints: 15625
1190.90/1194.99 c #Conflicts: 219000 | #Constraints: 16625
1190.90/1194.99 c #Conflicts: 220000 | #Constraints: 17625
1190.90/1194.99 c #Conflicts: 221000 | #Constraints: 18625
1190.90/1194.99 c #Conflicts: 222000 | #Constraints: 19625
1190.90/1194.99 c #Conflicts: 223000 | #Constraints: 20625
1190.90/1194.99 c #Conflicts: 224000 | #Constraints: 21625
1190.90/1194.99 c #Conflicts: 225000 | #Constraints: 22625
1190.90/1194.99 c #Conflicts: 226000 | #Constraints: 23625
1190.90/1194.99 c INPROCESSING
1190.90/1194.99 c GARBAGE COLLECT
1190.90/1194.99 c #Conflicts: 227000 | #Constraints: 15214
1190.90/1194.99 c #Conflicts: 228000 | #Constraints: 16214
1190.90/1194.99 c #Conflicts: 229000 | #Constraints: 17214
1190.90/1194.99 c #Conflicts: 230000 | #Constraints: 18214
1190.90/1194.99 c #Conflicts: 231000 | #Constraints: 19214
1190.90/1194.99 c #Conflicts: 232000 | #Constraints: 20214
1190.90/1194.99 c #Conflicts: 233000 | #Constraints: 21214
1190.90/1194.99 c #Conflicts: 234000 | #Constraints: 22214
1190.90/1194.99 c #Conflicts: 235000 | #Constraints: 23214
1190.90/1194.99 c #Conflicts: 236000 | #Constraints: 24214
1190.90/1194.99 c INPROCESSING
1190.90/1194.99 c GARBAGE COLLECT
1190.90/1194.99 c #Conflicts: 237000 | #Constraints: 15610
1190.90/1194.99 c #Conflicts: 238000 | #Constraints: 16610
1190.90/1194.99 c #Conflicts: 239000 | #Constraints: 17610
1190.90/1194.99 c #Conflicts: 240000 | #Constraints: 18610
1190.90/1194.99 c #Conflicts: 241000 | #Constraints: 19610
1190.90/1194.99 c #Conflicts: 242000 | #Constraints: 20610
1190.90/1194.99 c #Conflicts: 243000 | #Constraints: 21610
1190.90/1194.99 c #Conflicts: 244000 | #Constraints: 22610
1190.90/1194.99 c #Conflicts: 245000 | #Constraints: 23610
1190.90/1194.99 c #Conflicts: 246000 | #Constraints: 24610
1190.90/1194.99 c INPROCESSING
1190.90/1194.99 c GARBAGE COLLECT
1190.90/1194.99 c #Conflicts: 247000 | #Constraints: 15821
1190.90/1194.99 c #Conflicts: 248000 | #Constraints: 16821
1190.90/1194.99 c #Conflicts: 249000 | #Constraints: 17821
1190.90/1194.99 c #Conflicts: 250000 | #Constraints: 18821
1190.90/1194.99 c #Conflicts: 251000 | #Constraints: 19821
1190.90/1194.99 c #Conflicts: 252000 | #Constraints: 20821
1190.90/1194.99 c #Conflicts: 253000 | #Constraints: 21821
1190.90/1194.99 c #Conflicts: 254000 | #Constraints: 22821
1190.90/1194.99 c #Conflicts: 255000 | #Constraints: 23821
1190.90/1194.99 c #Conflicts: 256000 | #Constraints: 24821
1190.90/1194.99 c INPROCESSING
1190.90/1194.99 c GARBAGE COLLECT
1190.90/1194.99 c #Conflicts: 257000 | #Constraints: 15821
1190.90/1194.99 c #Conflicts: 258000 | #Constraints: 16821
1190.90/1194.99 c #Conflicts: 259000 | #Constraints: 17821
1190.90/1194.99 c #Conflicts: 260000 | #Constraints: 18821
1190.90/1194.99 c #Conflicts: 261000 | #Constraints: 19821
1190.90/1194.99 c #Conflicts: 262000 | #Constraints: 20821
1190.90/1194.99 c #Conflicts: 263000 | #Constraints: 21821
1190.90/1194.99 c #Conflicts: 264000 | #Constraints: 22821
1190.90/1194.99 c #Conflicts: 265000 | #Constraints: 23821
1190.90/1194.99 c #Conflicts: 266000 | #Constraints: 24821
1190.90/1194.99 c INPROCESSING
1190.90/1194.99 c GARBAGE COLLECT
1190.90/1194.99 c #Conflicts: 267000 | #Constraints: 15621
1190.90/1194.99 c #Conflicts: 268000 | #Constraints: 16621
1190.90/1194.99 c #Conflicts: 269000 | #Constraints: 17621
1190.90/1194.99 c #Conflicts: 270000 | #Constraints: 18621
1190.90/1194.99 c #Conflicts: 271000 | #Constraints: 19621
1190.90/1194.99 c #Conflicts: 272000 | #Constraints: 20621
1190.90/1194.99 c #Conflicts: 273000 | #Constraints: 21621
1190.90/1194.99 c #Conflicts: 274000 | #Constraints: 22621
1190.90/1194.99 c #Conflicts: 275000 | #Constraints: 23621
1190.90/1194.99 c #Conflicts: 276000 | #Constraints: 24621
1190.90/1194.99 c #Conflicts: 277000 | #Constraints: 25621
1190.90/1194.99 c INPROCESSING
1190.90/1194.99 c GARBAGE COLLECT
1190.90/1194.99 c #Conflicts: 278000 | #Constraints: 16215
1190.90/1194.99 c #Conflicts: 279000 | #Constraints: 17215
1190.90/1194.99 c #Conflicts: 280000 | #Constraints: 18215
1190.90/1194.99 c #Conflicts: 281000 | #Constraints: 19215
1190.90/1194.99 c #Conflicts: 282000 | #Constraints: 20215
1516.80/1521.96 c #Conflicts: 283000 | #Constraints: 21215
1516.80/1521.96 c #Conflicts: 284000 | #Constraints: 22215
1516.80/1521.96 c #Conflicts: 285000 | #Constraints: 23215
1516.80/1521.96 c #Conflicts: 286000 | #Constraints: 24215
1516.80/1521.96 c #Conflicts: 287000 | #Constraints: 25215
1516.80/1521.96 c #Conflicts: 288000 | #Constraints: 26215
1516.80/1521.96 c INPROCESSING
1516.80/1521.96 c GARBAGE COLLECT
1516.80/1521.96 c #Conflicts: 289000 | #Constraints: 16610
1516.80/1521.96 c #Conflicts: 290000 | #Constraints: 17610
1516.80/1521.96 c #Conflicts: 291000 | #Constraints: 18610
1516.80/1521.96 c #Conflicts: 292000 | #Constraints: 19610
1516.80/1521.96 c #Conflicts: 293000 | #Constraints: 20610
1516.80/1521.96 c #Conflicts: 294000 | #Constraints: 21610
1516.80/1521.96 c #Conflicts: 295000 | #Constraints: 22610
1516.80/1521.96 c #Conflicts: 296000 | #Constraints: 23610
1516.80/1521.96 c #Conflicts: 297000 | #Constraints: 24610
1516.80/1521.96 c #Conflicts: 298000 | #Constraints: 25610
1516.80/1521.96 c #Conflicts: 299000 | #Constraints: 26610
1516.80/1521.96 c INPROCESSING
1516.80/1521.96 c GARBAGE COLLECT
1516.80/1521.96 c #Conflicts: 300000 | #Constraints: 16818
1516.80/1521.96 c #Conflicts: 301000 | #Constraints: 17818
1516.80/1521.96 c #Conflicts: 302000 | #Constraints: 18818
1516.80/1521.96 c #Conflicts: 303000 | #Constraints: 19818
1516.80/1521.96 c #Conflicts: 304000 | #Constraints: 20818
1516.80/1521.96 c #Conflicts: 305000 | #Constraints: 21818
1516.80/1521.96 c #Conflicts: 306000 | #Constraints: 22818
1516.80/1521.96 c #Conflicts: 307000 | #Constraints: 23818
1516.80/1521.96 c #Conflicts: 308000 | #Constraints: 24818
1516.80/1521.96 c #Conflicts: 309000 | #Constraints: 25818
1516.80/1521.96 c #Conflicts: 310000 | #Constraints: 26818
1516.80/1521.96 c INPROCESSING
1516.80/1521.96 c GARBAGE COLLECT
1516.80/1521.96 c #Conflicts: 311000 | #Constraints: 16821
1516.80/1521.96 c #Conflicts: 312000 | #Constraints: 17821
1516.80/1521.96 c #Conflicts: 313000 | #Constraints: 18821
1516.80/1521.96 c #Conflicts: 314000 | #Constraints: 19821
1516.80/1521.96 c #Conflicts: 315000 | #Constraints: 20821
1516.80/1521.96 c #Conflicts: 316000 | #Constraints: 21821
1516.80/1521.96 c #Conflicts: 317000 | #Constraints: 22821
1516.80/1521.96 c #Conflicts: 318000 | #Constraints: 23821
1516.80/1521.96 c #Conflicts: 319000 | #Constraints: 24821
1516.80/1521.96 c #Conflicts: 320000 | #Constraints: 25821
1516.80/1521.96 c #Conflicts: 321000 | #Constraints: 26821
1516.80/1521.96 c INPROCESSING
1516.80/1521.96 c GARBAGE COLLECT
1516.80/1521.96 c #Conflicts: 322000 | #Constraints: 16621
1516.80/1521.96 c #Conflicts: 323000 | #Constraints: 17621
1516.80/1521.96 c #Conflicts: 324000 | #Constraints: 18621
1516.80/1521.96 c #Conflicts: 325000 | #Constraints: 19621
1516.80/1521.96 c #Conflicts: 326000 | #Constraints: 20621
1516.80/1521.96 c #Conflicts: 327000 | #Constraints: 21621
1516.80/1521.96 c #Conflicts: 328000 | #Constraints: 22621
1516.80/1521.96 c #Conflicts: 329000 | #Constraints: 23621
1516.80/1521.96 c #Conflicts: 330000 | #Constraints: 24621
1516.80/1521.96 c #Conflicts: 331000 | #Constraints: 25621
1516.80/1521.96 c #Conflicts: 332000 | #Constraints: 26621
1516.80/1521.96 c #Conflicts: 333000 | #Constraints: 27621
1516.80/1521.96 c INPROCESSING
1516.80/1521.96 c GARBAGE COLLECT
1516.80/1521.96 c #Conflicts: 334000 | #Constraints: 17215
1516.80/1521.96 c #Conflicts: 335000 | #Constraints: 18215
1516.80/1521.96 c #Conflicts: 336000 | #Constraints: 19215
1516.80/1521.96 c #Conflicts: 337000 | #Constraints: 20215
1516.80/1521.96 c #Conflicts: 338000 | #Constraints: 21215
1516.80/1521.96 c #Conflicts: 339000 | #Constraints: 22215
1516.80/1521.96 c #Conflicts: 340000 | #Constraints: 23215
1516.80/1521.96 c #Conflicts: 341000 | #Constraints: 24215
1516.80/1521.96 c #Conflicts: 342000 | #Constraints: 25215
1516.80/1521.96 c #Conflicts: 343000 | #Constraints: 26215
1516.80/1521.96 c #Conflicts: 344000 | #Constraints: 27215
1516.80/1521.96 c #Conflicts: 345000 | #Constraints: 28215
1516.80/1521.96 c INPROCESSING
1516.80/1521.96 c GARBAGE COLLECT
1516.80/1521.96 c #Conflicts: 346000 | #Constraints: 17612
1516.80/1521.96 c #Conflicts: 347000 | #Constraints: 18612
1516.80/1521.96 c #Conflicts: 348000 | #Constraints: 19612
1516.80/1521.96 c #Conflicts: 349000 | #Constraints: 20612
1516.80/1521.96 c #Conflicts: 350000 | #Constraints: 21612
1516.80/1521.96 c #Conflicts: 351000 | #Constraints: 22612
1516.80/1521.96 c #Conflicts: 352000 | #Constraints: 23612
1516.80/1521.96 c #Conflicts: 353000 | #Constraints: 24612
1516.80/1521.96 c #Conflicts: 354000 | #Constraints: 25612
1516.80/1521.96 c #Conflicts: 355000 | #Constraints: 26612
1516.80/1521.96 c #Conflicts: 356000 | #Constraints: 27612
1516.80/1521.96 c #Conflicts: 357000 | #Constraints: 28612
1885.32/1891.79 c INPROCESSING
1885.32/1891.79 c GARBAGE COLLECT
1885.32/1891.79 c #Conflicts: 358000 | #Constraints: 17810
1885.32/1891.79 c #Conflicts: 359000 | #Constraints: 18810
1885.32/1891.79 c #Conflicts: 360000 | #Constraints: 19810
1885.32/1891.79 c #Conflicts: 361000 | #Constraints: 20810
1885.32/1891.79 c #Conflicts: 362000 | #Constraints: 21810
1885.32/1891.79 c #Conflicts: 363000 | #Constraints: 22810
1885.32/1891.79 c #Conflicts: 364000 | #Constraints: 23810
1885.32/1891.79 c #Conflicts: 365000 | #Constraints: 24810
1885.32/1891.79 c #Conflicts: 366000 | #Constraints: 25810
1885.32/1891.79 c #Conflicts: 367000 | #Constraints: 26810
1885.32/1891.79 c #Conflicts: 368000 | #Constraints: 27810
1885.32/1891.79 c #Conflicts: 369000 | #Constraints: 28810
1885.32/1891.79 c INPROCESSING
1885.32/1891.79 c GARBAGE COLLECT
1885.32/1891.79 c #Conflicts: 370000 | #Constraints: 17820
1885.32/1891.79 c #Conflicts: 371000 | #Constraints: 18820
1885.32/1891.79 c #Conflicts: 372000 | #Constraints: 19820
1885.32/1891.79 c #Conflicts: 373000 | #Constraints: 20820
1885.32/1891.79 c #Conflicts: 374000 | #Constraints: 21820
1885.32/1891.79 c #Conflicts: 375000 | #Constraints: 22820
1885.32/1891.79 c #Conflicts: 376000 | #Constraints: 23820
1885.32/1891.79 c #Conflicts: 377000 | #Constraints: 24820
1885.32/1891.79 c #Conflicts: 378000 | #Constraints: 25820
1885.32/1891.79 c #Conflicts: 379000 | #Constraints: 26820
1885.32/1891.79 c #Conflicts: 380000 | #Constraints: 27820
1885.32/1891.79 c #Conflicts: 381000 | #Constraints: 28820
1885.32/1891.79 c INPROCESSING
1885.32/1891.79 c GARBAGE COLLECT
1885.32/1891.79 c #Conflicts: 382000 | #Constraints: 17616
1885.32/1891.79 c #Conflicts: 383000 | #Constraints: 18616
1885.32/1891.79 c #Conflicts: 384000 | #Constraints: 19616
1885.32/1891.79 c #Conflicts: 385000 | #Constraints: 20616
1885.32/1891.79 c #Conflicts: 386000 | #Constraints: 21616
1885.32/1891.79 c #Conflicts: 387000 | #Constraints: 22616
1885.32/1891.79 c #Conflicts: 388000 | #Constraints: 23616
1885.32/1891.79 c #Conflicts: 389000 | #Constraints: 24616
1885.32/1891.79 c #Conflicts: 390000 | #Constraints: 25616
1885.32/1891.79 c #Conflicts: 391000 | #Constraints: 26616
1885.32/1891.79 c #Conflicts: 392000 | #Constraints: 27616
1885.32/1891.79 c #Conflicts: 393000 | #Constraints: 28616
1885.32/1891.79 c #Conflicts: 394000 | #Constraints: 29616
1885.32/1891.79 c INPROCESSING
1885.32/1891.79 c GARBAGE COLLECT
1885.32/1891.79 c #Conflicts: 395000 | #Constraints: 18220
1885.32/1891.79 c #Conflicts: 396000 | #Constraints: 19220
1885.32/1891.79 c #Conflicts: 397000 | #Constraints: 20220
1885.32/1891.79 c #Conflicts: 398000 | #Constraints: 21220
1885.32/1891.79 c #Conflicts: 399000 | #Constraints: 22220
1885.32/1891.79 c #Conflicts: 400000 | #Constraints: 23220
1885.32/1891.79 c #Conflicts: 401000 | #Constraints: 24220
1885.32/1891.79 c #Conflicts: 402000 | #Constraints: 25220
1885.32/1891.79 c #Conflicts: 403000 | #Constraints: 26220
1885.32/1891.79 c #Conflicts: 404000 | #Constraints: 27220
1885.32/1891.79 c #Conflicts: 405000 | #Constraints: 28220
1885.32/1891.79 c #Conflicts: 406000 | #Constraints: 29220
1885.32/1891.79 c #Conflicts: 407000 | #Constraints: 30220
1885.32/1891.79 c INPROCESSING
1885.32/1891.79 c GARBAGE COLLECT
1885.32/1891.79 c #Conflicts: 408000 | #Constraints: 18622
1885.32/1891.79 c #Conflicts: 409000 | #Constraints: 19622
1885.32/1891.79 c #Conflicts: 410000 | #Constraints: 20622
1885.32/1891.79 c #Conflicts: 411000 | #Constraints: 21622
1885.32/1891.79 c #Conflicts: 412000 | #Constraints: 22622
1885.32/1891.79 c #Conflicts: 413000 | #Constraints: 23622
1885.32/1891.79 c #Conflicts: 414000 | #Constraints: 24622
1885.32/1891.79 c #Conflicts: 415000 | #Constraints: 25622
1885.32/1891.79 c #Conflicts: 416000 | #Constraints: 26622
1885.32/1891.79 c #Conflicts: 417000 | #Constraints: 27622
1885.32/1891.79 c #Conflicts: 418000 | #Constraints: 28622
1885.32/1891.79 c #Conflicts: 419000 | #Constraints: 29622
1885.32/1891.79 c #Conflicts: 420000 | #Constraints: 30622
1885.32/1891.79 c INPROCESSING
1885.32/1891.79 c GARBAGE COLLECT
1885.32/1891.79 c #Conflicts: 421000 | #Constraints: 18827
1885.32/1891.79 c #Conflicts: 422000 | #Constraints: 19827
1885.32/1891.79 c #Conflicts: 423000 | #Constraints: 20827
1885.32/1891.79 c #Conflicts: 424000 | #Constraints: 21827
1885.32/1891.79 c #Conflicts: 425000 | #Constraints: 22827
1885.32/1891.79 c #Conflicts: 426000 | #Constraints: 23827
1885.32/1891.79 c #Conflicts: 427000 | #Constraints: 24827
1885.32/1891.79 c #Conflicts: 428000 | #Constraints: 25827
1885.32/1891.79 c #Conflicts: 429000 | #Constraints: 26827
1885.32/1891.79 c #Conflicts: 430000 | #Constraints: 27827
1885.32/1891.79 c #Conflicts: 431000 | #Constraints: 28827
1885.32/1891.79 c #Conflicts: 432000 | #Constraints: 29827
2247.22/2254.82 c #Conflicts: 433000 | #Constraints: 30827
2247.22/2254.82 c INPROCESSING
2247.22/2254.82 c GARBAGE COLLECT
2247.22/2254.82 c #Conflicts: 434000 | #Constraints: 18832
2247.22/2254.82 c #Conflicts: 435000 | #Constraints: 19832
2247.22/2254.82 c #Conflicts: 436000 | #Constraints: 20832
2247.22/2254.82 c #Conflicts: 437000 | #Constraints: 21832
2247.22/2254.82 c #Conflicts: 438000 | #Constraints: 22832
2247.22/2254.82 c #Conflicts: 439000 | #Constraints: 23832
2247.22/2254.82 c #Conflicts: 440000 | #Constraints: 24832
2247.22/2254.82 c #Conflicts: 441000 | #Constraints: 25832
2247.22/2254.82 c #Conflicts: 442000 | #Constraints: 26832
2247.22/2254.82 c #Conflicts: 443000 | #Constraints: 27832
2247.22/2254.82 c #Conflicts: 444000 | #Constraints: 28832
2247.22/2254.82 c #Conflicts: 445000 | #Constraints: 29832
2247.22/2254.82 c #Conflicts: 446000 | #Constraints: 30832
2247.22/2254.82 c INPROCESSING
2247.22/2254.82 c GARBAGE COLLECT
2247.22/2254.82 c #Conflicts: 447000 | #Constraints: 18631
2247.22/2254.82 c #Conflicts: 448000 | #Constraints: 19631
2247.22/2254.82 c #Conflicts: 449000 | #Constraints: 20631
2247.22/2254.82 c #Conflicts: 450000 | #Constraints: 21631
2247.22/2254.82 c #Conflicts: 451000 | #Constraints: 22631
2247.22/2254.82 c #Conflicts: 452000 | #Constraints: 23631
2247.22/2254.82 c #Conflicts: 453000 | #Constraints: 24631
2247.22/2254.82 c #Conflicts: 454000 | #Constraints: 25631
2247.22/2254.82 c #Conflicts: 455000 | #Constraints: 26631
2247.22/2254.82 c #Conflicts: 456000 | #Constraints: 27631
2247.22/2254.82 c #Conflicts: 457000 | #Constraints: 28631
2247.22/2254.82 c #Conflicts: 458000 | #Constraints: 29631
2247.22/2254.82 c #Conflicts: 459000 | #Constraints: 30631
2247.22/2254.82 c #Conflicts: 460000 | #Constraints: 31631
2247.22/2254.82 c INPROCESSING
2247.22/2254.82 c GARBAGE COLLECT
2247.22/2254.82 c #Conflicts: 461000 | #Constraints: 19232
2247.22/2254.82 c #Conflicts: 462000 | #Constraints: 20232
2247.22/2254.82 c #Conflicts: 463000 | #Constraints: 21232
2247.22/2254.82 c #Conflicts: 464000 | #Constraints: 22232
2247.22/2254.82 c #Conflicts: 465000 | #Constraints: 23232
2247.22/2254.82 c #Conflicts: 466000 | #Constraints: 24232
2247.22/2254.82 c #Conflicts: 467000 | #Constraints: 25232
2247.22/2254.82 c #Conflicts: 468000 | #Constraints: 26232
2247.22/2254.82 c #Conflicts: 469000 | #Constraints: 27232
2247.22/2254.82 c #Conflicts: 470000 | #Constraints: 28232
2247.22/2254.82 c #Conflicts: 471000 | #Constraints: 29232
2247.22/2254.82 c #Conflicts: 472000 | #Constraints: 30232
2247.22/2254.82 c #Conflicts: 473000 | #Constraints: 31232
2247.22/2254.82 c #Conflicts: 474000 | #Constraints: 32232
2247.22/2254.82 c INPROCESSING
2247.22/2254.82 c GARBAGE COLLECT
2247.22/2254.82 c #Conflicts: 475000 | #Constraints: 19628
2247.22/2254.82 c #Conflicts: 476000 | #Constraints: 20628
2247.22/2254.82 c #Conflicts: 477000 | #Constraints: 21628
2247.22/2254.82 c #Conflicts: 478000 | #Constraints: 22628
2247.22/2254.82 c #Conflicts: 479000 | #Constraints: 23628
2247.22/2254.82 c #Conflicts: 480000 | #Constraints: 24628
2247.22/2254.82 c #Conflicts: 481000 | #Constraints: 25628
2247.22/2254.82 c #Conflicts: 482000 | #Constraints: 26628
2247.22/2254.82 c #Conflicts: 483000 | #Constraints: 27628
2247.22/2254.82 c #Conflicts: 484000 | #Constraints: 28628
2247.22/2254.82 c #Conflicts: 485000 | #Constraints: 29628
2247.22/2254.82 c #Conflicts: 486000 | #Constraints: 30628
2247.22/2254.82 c #Conflicts: 487000 | #Constraints: 31628
2247.22/2254.82 c #Conflicts: 488000 | #Constraints: 32628
2247.22/2254.82 c INPROCESSING
2247.22/2254.82 c GARBAGE COLLECT
2247.22/2254.82 c #Conflicts: 489000 | #Constraints: 19828
2247.22/2254.82 c #Conflicts: 490000 | #Constraints: 20828
2247.22/2254.82 c #Conflicts: 491000 | #Constraints: 21828
2247.22/2254.82 c #Conflicts: 492000 | #Constraints: 22828
2247.22/2254.82 c #Conflicts: 493000 | #Constraints: 23828
2247.22/2254.82 c #Conflicts: 494000 | #Constraints: 24828
2247.22/2254.82 c #Conflicts: 495000 | #Constraints: 25828
2247.22/2254.82 c #Conflicts: 496000 | #Constraints: 26828
2247.22/2254.82 c #Conflicts: 497000 | #Constraints: 27828
2247.22/2254.82 c #Conflicts: 498000 | #Constraints: 28828
2247.22/2254.82 c #Conflicts: 499000 | #Constraints: 29828
2247.22/2254.82 c #Conflicts: 500000 | #Constraints: 30828
2247.22/2254.82 c #Conflicts: 501000 | #Constraints: 31828
2247.22/2254.82 c #Conflicts: 502000 | #Constraints: 32828
2247.22/2254.82 c INPROCESSING
2247.22/2254.82 c GARBAGE COLLECT
2247.22/2254.82 c #Conflicts: 503000 | #Constraints: 19825
2247.22/2254.82 c #Conflicts: 504000 | #Constraints: 20825
2247.22/2254.82 c #Conflicts: 505000 | #Constraints: 21825
2247.22/2254.82 c #Conflicts: 506000 | #Constraints: 22825
2602.86/2611.79 c #Conflicts: 507000 | #Constraints: 23825
2602.86/2611.79 c #Conflicts: 508000 | #Constraints: 24825
2602.86/2611.79 c #Conflicts: 509000 | #Constraints: 25825
2602.86/2611.79 c #Conflicts: 510000 | #Constraints: 26825
2602.86/2611.79 c #Conflicts: 511000 | #Constraints: 27825
2602.86/2611.79 c #Conflicts: 512000 | #Constraints: 28825
2602.86/2611.79 c #Conflicts: 513000 | #Constraints: 29825
2602.86/2611.79 c #Conflicts: 514000 | #Constraints: 30825
2602.86/2611.79 c #Conflicts: 515000 | #Constraints: 31825
2602.86/2611.79 c #Conflicts: 516000 | #Constraints: 32825
2602.86/2611.79 c INPROCESSING
2602.86/2611.79 c GARBAGE COLLECT
2602.86/2611.79 c #Conflicts: 517000 | #Constraints: 19618
2602.86/2611.79 c #Conflicts: 518000 | #Constraints: 20618
2602.86/2611.79 c #Conflicts: 519000 | #Constraints: 21618
2602.86/2611.79 c #Conflicts: 520000 | #Constraints: 22618
2602.86/2611.79 c #Conflicts: 521000 | #Constraints: 23618
2602.86/2611.79 c #Conflicts: 522000 | #Constraints: 24618
2602.86/2611.79 c #Conflicts: 523000 | #Constraints: 25618
2602.86/2611.79 c #Conflicts: 524000 | #Constraints: 26618
2602.86/2611.79 c #Conflicts: 525000 | #Constraints: 27618
2602.86/2611.79 c #Conflicts: 526000 | #Constraints: 28618
2602.86/2611.79 c #Conflicts: 527000 | #Constraints: 29618
2602.86/2611.79 c #Conflicts: 528000 | #Constraints: 30618
2602.86/2611.79 c #Conflicts: 529000 | #Constraints: 31618
2602.86/2611.79 c #Conflicts: 530000 | #Constraints: 32618
2602.86/2611.79 c #Conflicts: 531000 | #Constraints: 33618
2602.86/2611.79 c INPROCESSING
2602.86/2611.79 c GARBAGE COLLECT
2602.86/2611.79 c #Conflicts: 532000 | #Constraints: 20220
2602.86/2611.79 c #Conflicts: 533000 | #Constraints: 21220
2602.86/2611.79 c #Conflicts: 534000 | #Constraints: 22220
2602.86/2611.79 c #Conflicts: 535000 | #Constraints: 23220
2602.86/2611.79 c #Conflicts: 536000 | #Constraints: 24220
2602.86/2611.79 c #Conflicts: 537000 | #Constraints: 25220
2602.86/2611.79 c #Conflicts: 538000 | #Constraints: 26220
2602.86/2611.79 c #Conflicts: 539000 | #Constraints: 27220
2602.86/2611.79 c #Conflicts: 540000 | #Constraints: 28220
2602.86/2611.79 c #Conflicts: 541000 | #Constraints: 29220
2602.86/2611.79 c #Conflicts: 542000 | #Constraints: 30220
2602.86/2611.79 c #Conflicts: 543000 | #Constraints: 31220
2602.86/2611.79 c #Conflicts: 544000 | #Constraints: 32220
2602.86/2611.79 c #Conflicts: 545000 | #Constraints: 33220
2602.86/2611.79 c #Conflicts: 546000 | #Constraints: 34220
2602.86/2611.79 c INPROCESSING
2602.86/2611.79 c GARBAGE COLLECT
2602.86/2611.79 c #Conflicts: 547000 | #Constraints: 20615
2602.86/2611.79 c #Conflicts: 548000 | #Constraints: 21615
2602.86/2611.79 c #Conflicts: 549000 | #Constraints: 22615
2602.86/2611.79 c #Conflicts: 550000 | #Constraints: 23615
2602.86/2611.79 c #Conflicts: 551000 | #Constraints: 24615
2602.86/2611.79 c #Conflicts: 552000 | #Constraints: 25615
2602.86/2611.79 c #Conflicts: 553000 | #Constraints: 26615
2602.86/2611.79 c #Conflicts: 554000 | #Constraints: 27615
2602.86/2611.79 c #Conflicts: 555000 | #Constraints: 28615
2602.86/2611.79 c #Conflicts: 556000 | #Constraints: 29615
2602.86/2611.79 c #Conflicts: 557000 | #Constraints: 30615
2602.86/2611.79 c #Conflicts: 558000 | #Constraints: 31615
2602.86/2611.79 c #Conflicts: 559000 | #Constraints: 32615
2602.86/2611.79 c #Conflicts: 560000 | #Constraints: 33615
2602.86/2611.79 c #Conflicts: 561000 | #Constraints: 34615
2602.86/2611.79 c INPROCESSING
2602.86/2611.79 c GARBAGE COLLECT
2602.86/2611.79 c #Conflicts: 562000 | #Constraints: 20825
2602.86/2611.79 c #Conflicts: 563000 | #Constraints: 21825
2602.86/2611.79 c #Conflicts: 564000 | #Constraints: 22825
2602.86/2611.79 c #Conflicts: 565000 | #Constraints: 23825
2602.86/2611.79 c #Conflicts: 566000 | #Constraints: 24825
2602.86/2611.79 c #Conflicts: 567000 | #Constraints: 25825
2602.86/2611.79 c #Conflicts: 568000 | #Constraints: 26825
2602.86/2611.79 c #Conflicts: 569000 | #Constraints: 27825
2602.86/2611.79 c #Conflicts: 570000 | #Constraints: 28825
2602.86/2611.79 c #Conflicts: 571000 | #Constraints: 29825
2602.86/2611.79 c #Conflicts: 572000 | #Constraints: 30825
2602.86/2611.79 c #Conflicts: 573000 | #Constraints: 31825
2602.86/2611.79 c #Conflicts: 574000 | #Constraints: 32825
2602.86/2611.79 c #Conflicts: 575000 | #Constraints: 33825
2602.86/2611.79 c #Conflicts: 576000 | #Constraints: 34825
2602.86/2611.79 c INPROCESSING
2602.86/2611.79 c GARBAGE COLLECT
2602.86/2611.79 c #Conflicts: 577000 | #Constraints: 20823
2602.86/2611.79 c #Conflicts: 578000 | #Constraints: 21823
2602.86/2611.79 c #Conflicts: 579000 | #Constraints: 22823
2602.86/2611.79 c #Conflicts: 580000 | #Constraints: 23823
2602.86/2611.79 c #Conflicts: 581000 | #Constraints: 24823
2602.86/2611.79 c #Conflicts: 582000 | #Constraints: 25823
2955.39/2965.44 c #Conflicts: 583000 | #Constraints: 26823
2955.39/2965.44 c #Conflicts: 584000 | #Constraints: 27823
2955.39/2965.44 c #Conflicts: 585000 | #Constraints: 28823
2955.39/2965.44 c #Conflicts: 586000 | #Constraints: 29823
2955.39/2965.44 c #Conflicts: 587000 | #Constraints: 30823
2955.39/2965.44 c #Conflicts: 588000 | #Constraints: 31823
2955.39/2965.44 c #Conflicts: 589000 | #Constraints: 32823
2955.39/2965.44 c #Conflicts: 590000 | #Constraints: 33823
2955.39/2965.44 c #Conflicts: 591000 | #Constraints: 34823
2955.39/2965.44 c INPROCESSING
2955.39/2965.44 c GARBAGE COLLECT
2955.39/2965.44 c #Conflicts: 592000 | #Constraints: 20620
2955.39/2965.44 c #Conflicts: 593000 | #Constraints: 21620
2955.39/2965.44 c #Conflicts: 594000 | #Constraints: 22620
2955.39/2965.44 c #Conflicts: 595000 | #Constraints: 23620
2955.39/2965.44 c #Conflicts: 596000 | #Constraints: 24620
2955.39/2965.44 c #Conflicts: 597000 | #Constraints: 25620
2955.39/2965.44 c #Conflicts: 598000 | #Constraints: 26620
2955.39/2965.44 c #Conflicts: 599000 | #Constraints: 27620
2955.39/2965.44 c #Conflicts: 600000 | #Constraints: 28620
2955.39/2965.44 c #Conflicts: 601000 | #Constraints: 29620
2955.39/2965.44 c #Conflicts: 602000 | #Constraints: 30620
2955.39/2965.44 c #Conflicts: 603000 | #Constraints: 31620
2955.39/2965.44 c #Conflicts: 604000 | #Constraints: 32620
2955.39/2965.44 c #Conflicts: 605000 | #Constraints: 33620
2955.39/2965.44 c #Conflicts: 606000 | #Constraints: 34620
2955.39/2965.44 c #Conflicts: 607000 | #Constraints: 35620
2955.39/2965.44 c INPROCESSING
2955.39/2965.44 c GARBAGE COLLECT
2955.39/2965.44 c #Conflicts: 608000 | #Constraints: 21220
2955.39/2965.44 c #Conflicts: 609000 | #Constraints: 22220
2955.39/2965.44 c #Conflicts: 610000 | #Constraints: 23220
2955.39/2965.44 c #Conflicts: 611000 | #Constraints: 24220
2955.39/2965.44 c #Conflicts: 612000 | #Constraints: 25220
2955.39/2965.44 c #Conflicts: 613000 | #Constraints: 26220
2955.39/2965.44 c #Conflicts: 614000 | #Constraints: 27220
2955.39/2965.44 c #Conflicts: 615000 | #Constraints: 28220
2955.39/2965.44 c #Conflicts: 616000 | #Constraints: 29220
2955.39/2965.44 c #Conflicts: 617000 | #Constraints: 30220
2955.39/2965.44 c #Conflicts: 618000 | #Constraints: 31220
2955.39/2965.44 c #Conflicts: 619000 | #Constraints: 32220
2955.39/2965.44 c #Conflicts: 620000 | #Constraints: 33220
2955.39/2965.44 c #Conflicts: 621000 | #Constraints: 34220
2955.39/2965.44 c #Conflicts: 622000 | #Constraints: 35220
2955.39/2965.44 c #Conflicts: 623000 | #Constraints: 36220
2955.39/2965.44 c INPROCESSING
2955.39/2965.44 c GARBAGE COLLECT
2955.39/2965.44 c #Conflicts: 624000 | #Constraints: 21625
2955.39/2965.44 c #Conflicts: 625000 | #Constraints: 22625
2955.39/2965.44 c #Conflicts: 626000 | #Constraints: 23625
2955.39/2965.44 c #Conflicts: 627000 | #Constraints: 24625
2955.39/2965.44 c #Conflicts: 628000 | #Constraints: 25625
2955.39/2965.44 c #Conflicts: 629000 | #Constraints: 26625
2955.39/2965.44 c #Conflicts: 630000 | #Constraints: 27625
2955.39/2965.44 c #Conflicts: 631000 | #Constraints: 28625
2955.39/2965.44 c #Conflicts: 632000 | #Constraints: 29625
2955.39/2965.44 c #Conflicts: 633000 | #Constraints: 30625
2955.39/2965.44 c #Conflicts: 634000 | #Constraints: 31625
2955.39/2965.44 c #Conflicts: 635000 | #Constraints: 32625
2955.39/2965.44 c #Conflicts: 636000 | #Constraints: 33625
2955.39/2965.44 c #Conflicts: 637000 | #Constraints: 34625
2955.39/2965.44 c #Conflicts: 638000 | #Constraints: 35625
2955.39/2965.44 c #Conflicts: 639000 | #Constraints: 36625
2955.39/2965.44 c INPROCESSING
2955.39/2965.44 c GARBAGE COLLECT
2955.39/2965.44 c #Conflicts: 640000 | #Constraints: 21828
2955.39/2965.44 c #Conflicts: 641000 | #Constraints: 22828
2955.39/2965.44 c #Conflicts: 642000 | #Constraints: 23828
2955.39/2965.44 c #Conflicts: 643000 | #Constraints: 24828
2955.39/2965.44 c #Conflicts: 644000 | #Constraints: 25828
2955.39/2965.44 c #Conflicts: 645000 | #Constraints: 26828
2955.39/2965.44 c #Conflicts: 646000 | #Constraints: 27828
2955.39/2965.44 c #Conflicts: 647000 | #Constraints: 28828
2955.39/2965.44 c #Conflicts: 648000 | #Constraints: 29828
2955.39/2965.44 c #Conflicts: 649000 | #Constraints: 30828
2955.39/2965.44 c #Conflicts: 650000 | #Constraints: 31828
2955.39/2965.44 c #Conflicts: 651000 | #Constraints: 32828
2955.39/2965.44 c #Conflicts: 652000 | #Constraints: 33828
2955.39/2965.44 c #Conflicts: 653000 | #Constraints: 34828
2955.39/2965.44 c #Conflicts: 654000 | #Constraints: 35828
2955.39/2965.44 c #Conflicts: 655000 | #Constraints: 36828
2955.39/2965.44 c INPROCESSING
2955.39/2965.44 c GARBAGE COLLECT
2955.39/2965.44 c #Conflicts: 656000 | #Constraints: 21822
2955.39/2965.44 c #Conflicts: 657000 | #Constraints: 22822
2955.39/2965.44 c #Conflicts: 658000 | #Constraints: 23822
3345.44/3356.61 c #Conflicts: 659000 | #Constraints: 24822
3345.44/3356.61 c #Conflicts: 660000 | #Constraints: 25822
3345.44/3356.61 c #Conflicts: 661000 | #Constraints: 26822
3345.44/3356.61 c #Conflicts: 662000 | #Constraints: 27822
3345.44/3356.61 c #Conflicts: 663000 | #Constraints: 28822
3345.44/3356.61 c #Conflicts: 664000 | #Constraints: 29822
3345.44/3356.61 c #Conflicts: 665000 | #Constraints: 30822
3345.44/3356.61 c #Conflicts: 666000 | #Constraints: 31822
3345.44/3356.61 c #Conflicts: 667000 | #Constraints: 32822
3345.44/3356.61 c #Conflicts: 668000 | #Constraints: 33822
3345.44/3356.61 c #Conflicts: 669000 | #Constraints: 34822
3345.44/3356.61 c #Conflicts: 670000 | #Constraints: 35822
3345.44/3356.61 c #Conflicts: 671000 | #Constraints: 36822
3345.44/3356.61 c INPROCESSING
3345.44/3356.61 c GARBAGE COLLECT
3345.44/3356.61 c #Conflicts: 672000 | #Constraints: 21618
3345.44/3356.61 c #Conflicts: 673000 | #Constraints: 22618
3345.44/3356.61 c #Conflicts: 674000 | #Constraints: 23618
3345.44/3356.61 c #Conflicts: 675000 | #Constraints: 24618
3345.44/3356.61 c #Conflicts: 676000 | #Constraints: 25618
3345.44/3356.61 c #Conflicts: 677000 | #Constraints: 26618
3345.44/3356.61 c #Conflicts: 678000 | #Constraints: 27618
3345.44/3356.61 c #Conflicts: 679000 | #Constraints: 28618
3345.44/3356.61 c #Conflicts: 680000 | #Constraints: 29618
3345.44/3356.61 c #Conflicts: 681000 | #Constraints: 30618
3345.44/3356.61 c #Conflicts: 682000 | #Constraints: 31618
3345.44/3356.61 c #Conflicts: 683000 | #Constraints: 32618
3345.44/3356.61 c #Conflicts: 684000 | #Constraints: 33618
3345.44/3356.61 c #Conflicts: 685000 | #Constraints: 34618
3345.44/3356.61 c #Conflicts: 686000 | #Constraints: 35618
3345.44/3356.61 c #Conflicts: 687000 | #Constraints: 36618
3345.44/3356.61 c #Conflicts: 688000 | #Constraints: 37618
3345.44/3356.61 c INPROCESSING
3345.44/3356.61 c GARBAGE COLLECT
3345.44/3356.61 c #Conflicts: 689000 | #Constraints: 22221
3345.44/3356.61 c #Conflicts: 690000 | #Constraints: 23221
3345.44/3356.61 c #Conflicts: 691000 | #Constraints: 24221
3345.44/3356.61 c #Conflicts: 692000 | #Constraints: 25221
3345.44/3356.61 c #Conflicts: 693000 | #Constraints: 26221
3345.44/3356.61 c #Conflicts: 694000 | #Constraints: 27221
3345.44/3356.61 c #Conflicts: 695000 | #Constraints: 28221
3345.44/3356.61 c #Conflicts: 696000 | #Constraints: 29221
3345.44/3356.61 c #Conflicts: 697000 | #Constraints: 30221
3345.44/3356.61 c #Conflicts: 698000 | #Constraints: 31221
3345.44/3356.61 c #Conflicts: 699000 | #Constraints: 32221
3345.44/3356.61 c #Conflicts: 700000 | #Constraints: 33221
3345.44/3356.61 c #Conflicts: 701000 | #Constraints: 34221
3345.44/3356.61 c #Conflicts: 702000 | #Constraints: 35221
3345.44/3356.61 c #Conflicts: 703000 | #Constraints: 36221
3345.44/3356.61 c #Conflicts: 704000 | #Constraints: 37221
3345.44/3356.61 c #Conflicts: 705000 | #Constraints: 38221
3345.44/3356.61 c INPROCESSING
3345.44/3356.61 c GARBAGE COLLECT
3345.44/3356.61 c #Conflicts: 706000 | #Constraints: 22623
3345.44/3356.61 c #Conflicts: 707000 | #Constraints: 23623
3345.44/3356.61 c #Conflicts: 708000 | #Constraints: 24623
3345.44/3356.61 c #Conflicts: 709000 | #Constraints: 25623
3345.44/3356.61 c #Conflicts: 710000 | #Constraints: 26623
3345.44/3356.61 c #Conflicts: 711000 | #Constraints: 27623
3345.44/3356.61 c #Conflicts: 712000 | #Constraints: 28623
3345.44/3356.61 c #Conflicts: 713000 | #Constraints: 29623
3345.44/3356.61 c #Conflicts: 714000 | #Constraints: 30623
3345.44/3356.61 c #Conflicts: 715000 | #Constraints: 31623
3345.44/3356.61 c #Conflicts: 716000 | #Constraints: 32623
3345.44/3356.61 c #Conflicts: 717000 | #Constraints: 33623
3345.44/3356.61 c #Conflicts: 718000 | #Constraints: 34623
3345.44/3356.61 c #Conflicts: 719000 | #Constraints: 35623
3345.44/3356.61 c #Conflicts: 720000 | #Constraints: 36623
3345.44/3356.61 c #Conflicts: 721000 | #Constraints: 37623
3345.44/3356.61 c #Conflicts: 722000 | #Constraints: 38623
3345.44/3356.61 c INPROCESSING
3345.44/3356.61 c GARBAGE COLLECT
3345.44/3356.61 c #Conflicts: 723000 | #Constraints: 22829
3345.44/3356.61 c #Conflicts: 724000 | #Constraints: 23829
3345.44/3356.61 c #Conflicts: 725000 | #Constraints: 24829
3345.44/3356.61 c #Conflicts: 726000 | #Constraints: 25829
3345.44/3356.61 c #Conflicts: 727000 | #Constraints: 26829
3345.44/3356.61 c #Conflicts: 728000 | #Constraints: 27829
3345.44/3356.61 c #Conflicts: 729000 | #Constraints: 28829
3345.44/3356.61 c #Conflicts: 730000 | #Constraints: 29829
3345.44/3356.61 c #Conflicts: 731000 | #Constraints: 30829
3345.44/3356.61 c #Conflicts: 732000 | #Constraints: 31829
3345.44/3356.61 c #Conflicts: 733000 | #Constraints: 32829
3345.44/3356.61 c #Conflicts: 734000 | #Constraints: 33829
3600.02/3611.90 c #Conflicts: 735000 | #Constraints: 34829
3600.02/3611.90 c #Conflicts: 736000 | #Constraints: 35829
3600.02/3611.90 c #Conflicts: 737000 | #Constraints: 36829
3600.02/3611.90 c #Conflicts: 738000 | #Constraints: 37829
3600.02/3611.90 c #Conflicts: 739000 | #Constraints: 38829
3600.02/3611.90 c INPROCESSING
3600.02/3611.90 c GARBAGE COLLECT
3600.02/3611.90 c #Conflicts: 740000 | #Constraints: 22834
3600.02/3611.90 c #Conflicts: 741000 | #Constraints: 23834
3600.02/3611.90 c #Conflicts: 742000 | #Constraints: 24834
3600.02/3611.90 c #Conflicts: 743000 | #Constraints: 25834
3600.02/3611.90 c #Conflicts: 744000 | #Constraints: 26834
3600.02/3611.90 c #Conflicts: 745000 | #Constraints: 27834
3600.02/3611.90 c #Conflicts: 746000 | #Constraints: 28834
3600.02/3611.90 c #Conflicts: 747000 | #Constraints: 29834
3600.02/3611.90 c #Conflicts: 748000 | #Constraints: 30834
3600.02/3611.90 c #Conflicts: 749000 | #Constraints: 31834
3600.02/3611.90 c #Conflicts: 750000 | #Constraints: 32834
3600.02/3611.90 c #Conflicts: 751000 | #Constraints: 33834
3600.02/3611.90 c #Conflicts: 752000 | #Constraints: 34834
3600.02/3611.90 c #Conflicts: 753000 | #Constraints: 35834
3600.02/3611.90 c #Conflicts: 754000 | #Constraints: 36834
3600.02/3611.90 c #Conflicts: 755000 | #Constraints: 37834
3600.02/3611.90 c #Conflicts: 756000 | #Constraints: 38834
3600.02/3611.90 c INPROCESSING
3600.02/3611.90 c GARBAGE COLLECT
3600.02/3611.90 c #Conflicts: 757000 | #Constraints: 22628
3600.02/3611.90 c #Conflicts: 758000 | #Constraints: 23628
3600.02/3611.90 c #Conflicts: 759000 | #Constraints: 24628
3600.02/3611.90 c #Conflicts: 760000 | #Constraints: 25628
3600.02/3611.90 c #Conflicts: 761000 | #Constraints: 26628
3600.02/3611.90 c #Conflicts: 762000 | #Constraints: 27628
3600.02/3611.90 c #Conflicts: 763000 | #Constraints: 28628
3600.02/3611.90 c #Conflicts: 764000 | #Constraints: 29628
3600.02/3611.90 c #Conflicts: 765000 | #Constraints: 30628
3600.02/3611.90 c #Conflicts: 766000 | #Constraints: 31628
3600.02/3611.90 c #Conflicts: 767000 | #Constraints: 32628
3600.02/3611.90 c #Conflicts: 768000 | #Constraints: 33628
3600.02/3611.90 c #Conflicts: 769000 | #Constraints: 34628
3600.02/3611.90 c #Conflicts: 770000 | #Constraints: 35628
3600.02/3611.90 c #Conflicts: 771000 | #Constraints: 36628
3600.02/3611.90 c #Conflicts: 772000 | #Constraints: 37628
3600.02/3611.90 c #Conflicts: 773000 | #Constraints: 38628
3600.02/3611.90 c #Conflicts: 774000 | #Constraints: 39628
3600.02/3611.90 c INPROCESSING
3600.02/3611.90 c GARBAGE COLLECT
3600.02/3611.90 c #Conflicts: 775000 | #Constraints: 23225
3600.02/3611.90 c #Conflicts: 776000 | #Constraints: 24225
3600.02/3611.90 c #Conflicts: 777000 | #Constraints: 25225
3600.02/3611.90 c #Conflicts: 778000 | #Constraints: 26225
3600.02/3611.90 c #Conflicts: 779000 | #Constraints: 27225
3600.02/3611.90 c #Conflicts: 780000 | #Constraints: 28225
3600.02/3611.90 c #Conflicts: 781000 | #Constraints: 29225
3600.02/3611.90 c #Conflicts: 782000 | #Constraints: 30225
3600.02/3611.90 c #Conflicts: 783000 | #Constraints: 31225
3600.02/3611.90 c #Conflicts: 784000 | #Constraints: 32225
3600.02/3611.90 c #Conflicts: 785000 | #Constraints: 33225
3600.02/3611.90 c #Conflicts: 786000 | #Constraints: 34225
3600.02/3611.90 c #Conflicts: 787000 | #Constraints: 35225
3600.02/3611.90 c Program interrupted by user.
3600.02/3611.90 c cpu time 3588.95 s
3600.02/3611.90 c deterministic time 638041343358 6.38e+11
3600.02/3611.90 c optimization time 61.9266 s
3600.02/3611.90 c total solve time 3227.96 s
3600.02/3611.90 c core-guided solve time 3227.96 s
3600.02/3611.90 c propagation time 2263.98 s
3600.02/3611.90 c conflict analysis time 807.865 s
3600.02/3611.90 c propagations 197442450
3600.02/3611.90 c resolve steps 7086464
3600.02/3611.90 c decisions 7121463
3600.02/3611.90 c conflicts 787853
3600.02/3611.90 c restarts 1662
3600.02/3611.90 c inprocessing phases 79
3600.02/3611.90 c input clauses 2568
3600.02/3611.90 c input cardinalities 0
3600.02/3611.90 c input general constraints 3103
3600.02/3611.90 c input average constraint length 390.64
3600.02/3611.90 c input average constraint degree 65.99
3600.02/3611.90 c learned clauses 174187
3600.02/3611.90 c learned cardinalities 212
3600.02/3611.90 c learned general constraints 613847
3600.02/3611.90 c learned average constraint length 1940.19
3600.02/3611.90 c learned average constraint degree 35139578.70
3600.02/3611.90 c watched constraints 374033
3600.02/3611.90 c counting constraints 242917
3600.02/3611.90 c gcd simplifications 71359
3600.02/3611.90 c detected cardinalities 16
3600.02/3611.90 c weakened non-implied lits 517575755
3600.02/3611.90 c weakened non-implying lits 220546
3600.02/3611.90 c original variables 3625
3600.02/3611.90 c clausal propagations 25700636
3600.02/3611.90 c cardinality propagations 62
3600.02/3611.90 c watched propagations 5939946
3600.02/3611.90 c counting propagations 163674602
3600.02/3611.90 c watch lookups 36898968084
3600.02/3611.90 c watch backjump lookups 35933206316
3600.02/3611.90 c watch checks 423678553931
3600.02/3611.90 c propagation checks 134925998223
3600.02/3611.90 c constraint additions 6194704237
3600.02/3611.90 c trail pops 205348653
3600.02/3611.90 c formula constraints 4800
3600.02/3611.90 c learned constraints 788246
3600.02/3611.90 c bound constraints 703
3600.02/3611.90 c core-guided constraints 168
3600.02/3611.90 c encountered formula constraints 5226949
3600.02/3611.90 c encountered learned constraints 2567068
3600.02/3611.90 c encountered bound constraints 109
3600.02/3611.90 c encountered core-guided constraints 80191
3600.02/3611.90 c LP total time 0 s
3600.02/3611.90 c LP solve time 0 s
3600.02/3611.90 c LP constraints added 0
3600.02/3611.90 c LP constraints removed 0
3600.02/3611.90 c LP pivots internal 0
3600.02/3611.90 c LP pivots root 0
3600.02/3611.90 c LP calls 0
3600.02/3611.90 c LP optimalities 0
3600.02/3611.90 c LP no pivot count 0
3600.02/3611.90 c LP infeasibilities 0
3600.02/3611.90 c LP valid Farkas constraints 0
3600.02/3611.90 c LP learned Farkas constraints 0
3600.02/3611.90 c LP basis resets 0
3600.02/3611.90 c LP cycling count 0
3600.02/3611.90 c LP singular count 0
3600.02/3611.90 c LP no primal count 0
3600.02/3611.90 c LP no farkas count 0
3600.02/3611.90 c LP other issue count 0
3600.02/3611.90 c LP Gomory cuts 0
3600.02/3611.90 c LP learned cuts 0
3600.02/3611.90 c LP deleted cuts 0
3600.02/3611.90 c LP encountered Gomory constraints 0
3600.02/3611.90 c LP encountered Farkas constraints 0
3600.02/3611.90 c LP encountered learned Farkas constraints 0
3600.02/3611.90 c CG auxiliary variables introduced 168
3600.02/3611.90 c CG solutions found 0
3600.02/3611.90 c CG cores constructed 702
3600.02/3611.90 c CG core cardinality constraints returned 0
3600.02/3611.90 c CG unit cores 0
3600.02/3611.90 c CG single cores 702
3600.02/3611.90 c CG blocks removed during cardinality reduction 0
3600.02/3611.90 c CG first core best 0
3600.02/3611.90 c CG decision core best 0
3600.02/3611.90 c CG core reduction tie 0
3600.02/3611.90 c CG core degree average 1.00
3600.02/3611.90 c CG core slack average 2.03
3600.02/3611.90 c CG exhausted 0
3600.02/3611.90 c CG exhaust time 0 s
3600.02/3611.90 c CG trimmed 0
3600.02/3611.90 c CG trim time 0.00419 s
3600.02/3611.90 c CG minimized 0
3600.02/3611.90 c CG minimize time 0 s
3600.02/3611.90 c CG am1 prop time 0.002502 s
3600.02/3611.90 c CG # am1s reformulated 168
3600.02/3611.90 c CG lower bound derived from am1s 168
3600.02/3611.90 c CG # clausal cores 702
3600.02/3611.90 c CG # cardinality cores 0
3600.02/3611.90 c CG # pb cores 0
3600.02/3611.90 c CG # pb reforms 0
3600.02/3611.90 c CG # cores discarded because of pb reform 0
3600.02/3611.90 d LOWERBOUND -814
3600.02/3611.90 d NCORES 702
3600.02/3611.90 d NPBCORES 0
3600.02/3611.90 d NPBREFORM 0
3600.02/3611.90 d NTRIMMED 0
3600.02/3611.90 d NEXHAUSTED 0
3600.02/3611.90 d NAM1S 168
3600.02/3611.90 d AM1LB 168
3600.02/3611.90 c [Papilo Statistics]
3600.02/3611.90 c prepro time 0.0139101s
3600.02/3611.90 c # tsx applied 0
3600.02/3611.90 c # tsx conflicts 0
3600.02/3611.90 c # bound changes 0
3600.02/3611.90 c # side changes 0
3600.02/3611.90 c # coef changes 0
3600.02/3611.90 c # rounds 1
3600.02/3611.90 c # deted vars 0
3600.02/3611.90 c # deted constrs 0
3600.02/3611.90 c # consecutive rounds of only bound changes 0
3600.02/3611.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62807 MiB free)
memory of node 1: 64510 MiB (60174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435752-1721163254/watcher-4435752-1721163254 -o /tmp/evaluation-result-4435752-1721163254/solver-4435752-1721163254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721154660-858765 --watchdog 3760 mixed-bag HOME/instance-4435752-1721163254.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=863825, runsolver pid=863822
[startup+0.100993 s]*
/proc/loadavg: 4.12 4.19 4.22 5/243 863826
/proc/meminfo: memFree=125911112/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=103952 memory=36860 CPUtime=0.1 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 6304 0 0 0 8 2 0 0 20 0 1 0 168481792 106446848 9215 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 25988 9215 3825 3002 0 9739 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 103952 KiB
Current children cumulated memory: 36860 KiB
[startup+0.212891 s]*
/proc/loadavg: 4.12 4.19 4.22 5/243 863826
/proc/meminfo: memFree=125905008/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=110008 memory=43292 CPUtime=0.21 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 8359 0 0 0 19 2 0 0 20 0 1 0 168481792 112648192 10823 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 27502 10823 3889 3002 0 11253 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 110008 KiB
Current children cumulated memory: 43292 KiB
[startup+0.312651 s]*
/proc/loadavg: 4.12 4.19 4.22 5/243 863826
/proc/meminfo: memFree=125902992/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=118668 memory=46212 CPUtime=0.3 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 9240 0 0 0 28 2 0 0 20 0 1 0 168481792 121516032 11553 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 29667 11553 3929 3002 0 13418 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118668 KiB
Current children cumulated memory: 46212 KiB
[startup+0.700306 s]
/proc/loadavg: 4.12 4.19 4.22 5/243 863826
/proc/meminfo: memFree=125889184/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=132204 memory=59492 CPUtime=0.68 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 12640 0 0 0 65 3 0 0 20 0 1 0 168481792 135376896 14873 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 33051 14873 4105 3002 0 16802 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 132204 KiB
Current children cumulated memory: 59492 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.19 4.22 5/243 863826
/proc/meminfo: memFree=125883252/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=157584 memory=83600 CPUtime=1.48 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 20762 0 0 0 143 5 0 0 20 0 1 0 168481792 161366016 20900 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 39396 20900 4119 3002 0 23147 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 157584 KiB
Current children cumulated memory: 83600 KiB
[startup+3.11209 s]
/proc/loadavg: 4.12 4.19 4.22 5/243 863826
/proc/meminfo: memFree=125847168/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=162724 memory=90436 CPUtime=3.09 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 22461 0 0 0 303 6 0 0 20 0 1 0 168481792 166629376 22609 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 40681 22609 4119 3002 0 24432 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 162724 KiB
Current children cumulated memory: 90436 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.19 4.22 5/243 863826
/proc/meminfo: memFree=125825204/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=183344 memory=107592 CPUtime=6.27 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 26760 0 0 0 620 7 0 0 20 0 1 0 168481792 187744256 26898 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 45836 26898 4119 3002 0 29587 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 183344 KiB
Current children cumulated memory: 107592 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.19 4.22 5/243 863827
/proc/meminfo: memFree=125792644/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=197352 memory=117360 CPUtime=12.64 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 29184 0 0 0 1257 7 0 0 20 0 1 0 168481792 202088448 29340 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 49338 29340 4119 3002 0 33089 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 197352 KiB
Current children cumulated memory: 117360 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.19 4.22 5/243 863829
/proc/meminfo: memFree=125753344/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=200564 memory=118680 CPUtime=25.4 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 29568 0 0 0 2533 7 0 0 20 0 1 0 168481792 205377536 29670 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 50141 29670 4119 3002 0 33892 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 200564 KiB
Current children cumulated memory: 118680 KiB
[startup+51.1121 s]
/proc/loadavg: 4.10 4.18 4.21 5/243 863834
/proc/meminfo: memFree=125710772/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=201692 memory=120052 CPUtime=50.92 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 29879 0 0 0 5085 7 0 0 20 0 1 0 168481792 206532608 30013 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 50423 30013 4134 3002 0 34174 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 201692 KiB
Current children cumulated memory: 120052 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.18 4.21 5/241 864227
/proc/meminfo: memFree=125694324/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=213128 memory=131844 CPUtime=101.95 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 33525 0 0 0 10187 8 0 0 20 0 1 0 168481792 218243072 32961 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 53282 32961 4150 3002 0 37033 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 213128 KiB
Current children cumulated memory: 131844 KiB
[startup+162.3 s]
/proc/loadavg: 4.55 4.27 4.24 5/241 864237
/proc/meminfo: memFree=125687776/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=216032 memory=134464 CPUtime=161.75 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 34413 0 0 0 16167 8 0 0 20 0 1 0 168481792 221216768 33616 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 54008 33616 4150 3002 0 37759 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 216032 KiB
Current children cumulated memory: 134464 KiB
[startup+222.3 s]
/proc/loadavg: 4.50 4.33 4.26 5/241 864247
/proc/meminfo: memFree=125672748/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=217160 memory=135468 CPUtime=221.55 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 34701 0 0 0 22147 8 0 0 20 0 1 0 168481792 222371840 33867 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 54290 33867 4150 3002 0 38041 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 217160 KiB
Current children cumulated memory: 135468 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 4.30 4.25 5/243 864428
/proc/meminfo: memFree=125661676/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=217476 memory=135968 CPUtime=281.35 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 34830 0 0 0 28127 8 0 0 20 0 1 0 168481792 222695424 33992 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 54369 33992 4150 3002 0 38120 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 217476 KiB
Current children cumulated memory: 135968 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.27 4.25 5/243 864438
/proc/meminfo: memFree=125394636/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=315992 memory=213040 CPUtime=341.17 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 40366 0 0 0 34061 56 0 0 20 0 1 0 168481792 323575808 53260 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 78998 53260 4281 3002 0 62749 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 315992 KiB
Current children cumulated memory: 213040 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.25 4.24 5/243 864461
/proc/meminfo: memFree=125323272/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=367912 memory=278508 CPUtime=400.96 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 49094 0 0 0 40000 96 0 0 20 0 1 0 168481792 376741888 69627 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 91978 69627 4281 3002 0 75729 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 367912 KiB
Current children cumulated memory: 278508 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.23 4.24 5/243 864471
/proc/meminfo: memFree=125272388/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=480384 memory=327100 CPUtime=460.76 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 56127 0 0 0 45941 135 0 0 20 0 1 0 168481792 491913216 81775 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 120096 81775 4281 3002 0 103847 0
################
# More data... #
################
Current children cumulated memory: 986540 KiB
[startup+2922.3 s]
/proc/loadavg: 2.10 2.30 3.06 3/230 865587
/proc/meminfo: memFree=128190572/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1265300 memory=986880 CPUtime=2912.43 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 143578 0 0 0 290300 943 0 0 20 0 1 0 168481792 1295667200 246720 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 316325 246720 4281 3002 0 300076 0
Current children cumulated CPU time: 2912.43 s
Current children cumulated vsize: 1265300 KiB
Current children cumulated memory: 986880 KiB
[startup+2982.3 s]
/proc/loadavg: 2.08 2.26 2.99 3/230 865598
/proc/meminfo: memFree=128160172/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1265300 memory=1014876 CPUtime=2972.23 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 143880 0 0 0 296265 958 0 0 20 0 1 0 168481792 1295667200 253719 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 316325 253719 4281 3002 0 300076 0
Current children cumulated CPU time: 2972.23 s
Current children cumulated vsize: 1265300 KiB
Current children cumulated memory: 1014876 KiB
[startup+3042.3 s]
/proc/loadavg: 2.07 2.22 2.93 3/230 865610
/proc/meminfo: memFree=128122540/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1266068 memory=1059368 CPUtime=3032.05 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 144478 0 0 0 302232 973 0 0 20 0 1 0 168481792 1296453632 264842 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 316517 264842 4281 3002 0 300268 0
Current children cumulated CPU time: 3032.05 s
Current children cumulated vsize: 1266068 KiB
Current children cumulated memory: 1059368 KiB
[startup+3102.3 s]
/proc/loadavg: 2.08 2.19 2.88 3/228 865621
/proc/meminfo: memFree=128089988/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1266068 memory=1084436 CPUtime=3091.86 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 144871 0 0 0 308195 991 0 0 20 0 1 0 168481792 1296453632 271109 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 316517 271109 4281 3002 0 300268 0
Current children cumulated CPU time: 3091.86 s
Current children cumulated vsize: 1266068 KiB
Current children cumulated memory: 1084436 KiB
[startup+3162.3 s]
/proc/loadavg: 1.57 2.04 2.78 2/220 865661
/proc/meminfo: memFree=128510336/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1267092 memory=1085092 CPUtime=3151.68 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 145552 0 0 0 314161 1007 0 0 20 0 1 0 168481792 1297502208 271273 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 316773 271273 4281 3002 0 300524 0
Current children cumulated CPU time: 3151.68 s
Current children cumulated vsize: 1267092 KiB
Current children cumulated memory: 1085092 KiB
[startup+3222.3 s]
/proc/loadavg: 1.31 1.88 2.68 2/220 865671
/proc/meminfo: memFree=128487416/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1270932 memory=1107740 CPUtime=3211.51 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 146620 0 0 0 320133 1018 0 0 20 0 1 0 168481792 1301434368 276935 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 317733 276935 4281 3002 0 301484 0
Current children cumulated CPU time: 3211.51 s
Current children cumulated vsize: 1270932 KiB
Current children cumulated memory: 1107740 KiB
[startup+3282.3 s]
/proc/loadavg: 1.16 1.73 2.58 2/220 865682
/proc/meminfo: memFree=128487080/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1270932 memory=1107740 CPUtime=3271.34 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 147124 0 0 0 326109 1025 0 0 20 0 1 0 168481792 1301434368 276935 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 317733 276935 4281 3002 0 301484 0
Current children cumulated CPU time: 3271.34 s
Current children cumulated vsize: 1270932 KiB
Current children cumulated memory: 1107740 KiB
[startup+3342.3 s]
/proc/loadavg: 1.17 1.63 2.49 2/220 865692
/proc/meminfo: memFree=128448948/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1287108 memory=1145552 CPUtime=3331.18 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 149966 0 0 0 332083 1035 0 0 20 0 1 0 168481792 1317998592 286388 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 321777 286388 4281 3002 0 305528 0
Current children cumulated CPU time: 3331.18 s
Current children cumulated vsize: 1287108 KiB
Current children cumulated memory: 1145552 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.53 2.40 2/223 865707
/proc/meminfo: memFree=128448560/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1287108 memory=1145552 CPUtime=3391.01 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 150449 0 0 0 338053 1048 0 0 20 0 1 0 168481792 1317998592 286388 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 321777 286388 4281 3002 0 305528 0
Current children cumulated CPU time: 3391.01 s
Current children cumulated vsize: 1287108 KiB
Current children cumulated memory: 1145552 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.46 2.32 2/223 865717
/proc/meminfo: memFree=128447468/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1288388 memory=1146280 CPUtime=3450.84 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 151182 0 0 0 344017 1067 0 0 20 0 1 0 168481792 1319309312 286570 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 322097 286570 4281 3002 0 305848 0
Current children cumulated CPU time: 3450.84 s
Current children cumulated vsize: 1288388 KiB
Current children cumulated memory: 1146280 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.40 2.24 2/223 865728
/proc/meminfo: memFree=128447096/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1288824 memory=1146376 CPUtime=3510.68 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 151738 0 0 0 349984 1084 0 0 20 0 1 0 168481792 1319755776 286594 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 322206 286594 4281 3002 0 305957 0
Current children cumulated CPU time: 3510.68 s
Current children cumulated vsize: 1288824 KiB
Current children cumulated memory: 1146376 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.34 2.17 2/223 865738
/proc/meminfo: memFree=128444828/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1291716 memory=1148440 CPUtime=3570.51 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 152773 0 0 0 355950 1101 0 0 20 0 1 0 168481792 1322717184 287110 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 322929 287110 4281 3002 0 306680 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 1291716 KiB
Current children cumulated memory: 1148440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 1.12 1.33 2.13 2/223 865744
/proc/meminfo: memFree=128444640/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1291716 memory=1148440 CPUtime=3600.02 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 152914 0 0 0 358895 1107 0 0 20 0 1 0 168481792 1322717184 287110 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 322929 287110 4281 3002 0 306680 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1291716 KiB
Current children cumulated memory: 1148440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 863825 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.96 s, system=11.0764 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 1.12 1.33 2.13 2/223 865744
/proc/meminfo: memFree=128444640/131655788 swapFree=131071996/131071996
[pid=863825] ppid=863822 vsize=1291716 memory=1148440 CPUtime=3600.02 cores=0,2
/proc/863825/stat : 863825 (mixed-bag) R 863822 863825 858755 0 -1 4194304 152914 0 0 0 358895 1107 0 0 20 0 1 0 168481792 1322717184 287110 134679101440 4194304 16487941 140721044732752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 53854208 140721044739095 140721044739172 140721044739172 140721044746187 0
/proc/863825/statm: 322929 287110 4281 3002 0 306680 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1291716 KiB
Current children cumulated memory: 1148440 KiB
Child status: 0
Real time (s): 3611.91
CPU time (s): 3600.04
CPU user time (s): 3588.96
CPU system time (s): 11.0764
CPU usage (%): 99.6714
Max. virtual memory (cumulated for all children) (KiB): 1291716
Max. memory (cumulated for all children) (KiB): 1148440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.96
system time used= 11.0764
maximum resident set size= 1148440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152937
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= 176
involuntary context switches= 24922
# summary of solver processes directly reported to runsolver:
# pid: 863825
# total CPU time (s): 3600.04
# total CPU user time (s): 3588.96
# total CPU system time (s): 11.0764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5189 second user time and 33.2179 second system time
The end
Begin job on nodeC008 at 2024-07-16 22:54:26
IDJOB=4435752
IDBENCH=158503
IDSOLVER=3066
FILE ID=nodeC008/4435752-1721163254
RUNJOBID= nodeC008-1721154660-858765
SLURM_JOB_ID= 7505762
Free space on /tmp= 723712 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435752-1721163254/watcher-4435752-1721163254 -o /tmp/evaluation-result-4435752-1721163254/solver-4435752-1721163254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721154660-858765 --watchdog 3760 mixed-bag HOME/instance-4435752-1721163254.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c
RANDOM SEED=1386317877
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.970
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.274
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.250
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.469
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.806
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.513
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.419
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125933184 kB
MemAvailable: 126375888 kB
Buffers: 454628 kB
Cached: 830172 kB
SwapCached: 0 kB
Active: 750476 kB
Inactive: 4437960 kB
Active(anon): 1476 kB
Inactive(anon): 3939900 kB
Active(file): 749000 kB
Inactive(file): 498060 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16456 kB
Writeback: 0 kB
AnonPages: 3903684 kB
Mapped: 139104 kB
Shmem: 37704 kB
KReclaimable: 71352 kB
Slab: 166260 kB
SReclaimable: 71352 kB
SUnreclaim: 94908 kB
KernelStack: 3904 kB
PageTables: 17384 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5231204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2146304 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC008 at 2024-07-16 23:54:38