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.01 c [STEP] preprocessing with Papilo
0.00/0.02 c Papilo could not simplify the problem
0.00/0.02 c [STEP] solving with SCIP
299.03/300.09 c [STEP] preprocessing done, loading into solver
299.13/300.10 c [STEP] solving
299.13/300.10 c #variables 3626 #constraints 4800
299.13/300.10 c SMALL=int, LARGE=long long
299.13/300.10 d SCIPUB -513
299.13/300.10 c bounds - >= -1684 @ 299.089
299.13/300.10 c stratification level: 1
299.13/300.17 c bounds - >= -1515 @ 299.097
299.13/300.17 c bounds - >= -1514 @ 299.097
299.13/300.17 c bounds - >= -1513 @ 299.097
299.13/300.17 c bounds - >= -1512 @ 299.098
299.13/300.17 c bounds - >= -1511 @ 299.098
299.13/300.17 c bounds - >= -1510 @ 299.098
299.13/300.17 c bounds - >= -1509 @ 299.099
299.13/300.17 c bounds - >= -1508 @ 299.099
299.13/300.17 c bounds - >= -1507 @ 299.1
299.13/300.17 c bounds - >= -1506 @ 299.1
299.13/300.17 c bounds - >= -1505 @ 299.1
299.13/300.17 c bounds - >= -1504 @ 299.101
299.13/300.17 c bounds - >= -1503 @ 299.101
299.13/300.17 c bounds - >= -1502 @ 299.101
299.13/300.17 c bounds - >= -1501 @ 299.102
299.13/300.17 c bounds - >= -1500 @ 299.102
299.13/300.17 c bounds - >= -1499 @ 299.103
299.13/300.17 c bounds - >= -1498 @ 299.103
299.13/300.17 c bounds - >= -1497 @ 299.104
299.13/300.17 c bounds - >= -1496 @ 299.104
299.13/300.17 c bounds - >= -1495 @ 299.104
299.13/300.17 c bounds - >= -1494 @ 299.105
299.13/300.17 c bounds - >= -1493 @ 299.105
299.13/300.17 c bounds - >= -1492 @ 299.106
299.13/300.17 c bounds - >= -1491 @ 299.106
299.13/300.17 c bounds - >= -1490 @ 299.107
299.13/300.17 c bounds - >= -1489 @ 299.107
299.13/300.17 c bounds - >= -1488 @ 299.107
299.13/300.17 c bounds - >= -1487 @ 299.108
299.13/300.17 c bounds - >= -1486 @ 299.108
299.13/300.17 c bounds - >= -1485 @ 299.109
299.13/300.17 c bounds - >= -1484 @ 299.109
299.13/300.17 c bounds - >= -1483 @ 299.109
299.13/300.17 c bounds - >= -1482 @ 299.11
299.13/300.17 c bounds - >= -1481 @ 299.11
299.13/300.17 c bounds - >= -1480 @ 299.111
299.13/300.17 c bounds - >= -1479 @ 299.111
299.13/300.17 c bounds - >= -1478 @ 299.112
299.13/300.17 c bounds - >= -1477 @ 299.112
299.13/300.17 c bounds - >= -1476 @ 299.112
299.13/300.17 c bounds - >= -1475 @ 299.112
299.13/300.17 c bounds - >= -1474 @ 299.112
299.13/300.17 c bounds - >= -1473 @ 299.113
299.13/300.17 c bounds - >= -1472 @ 299.113
299.13/300.17 c bounds - >= -1471 @ 299.114
299.13/300.17 c bounds - >= -1470 @ 299.114
299.13/300.17 c bounds - >= -1469 @ 299.114
299.13/300.17 c bounds - >= -1468 @ 299.115
299.13/300.17 c bounds - >= -1467 @ 299.115
299.13/300.17 c bounds - >= -1466 @ 299.116
299.13/300.17 c bounds - >= -1465 @ 299.116
299.13/300.17 c bounds - >= -1464 @ 299.117
299.13/300.17 c bounds - >= -1463 @ 299.117
299.13/300.17 c bounds - >= -1462 @ 299.117
299.13/300.17 c bounds - >= -1461 @ 299.118
299.13/300.17 c bounds - >= -1460 @ 299.118
299.13/300.17 c bounds - >= -1459 @ 299.119
299.13/300.17 c bounds - >= -1458 @ 299.119
299.13/300.17 c bounds - >= -1457 @ 299.12
299.13/300.17 c bounds - >= -1456 @ 299.12
299.13/300.17 c bounds - >= -1455 @ 299.12
299.13/300.17 c bounds - >= -1454 @ 299.12
299.13/300.17 c bounds - >= -1453 @ 299.12
299.13/300.17 c bounds - >= -1452 @ 299.121
299.13/300.17 c bounds - >= -1451 @ 299.121
299.13/300.17 c bounds - >= -1450 @ 299.122
299.13/300.17 c bounds - >= -1449 @ 299.122
299.13/300.17 c bounds - >= -1448 @ 299.122
299.13/300.17 c bounds - >= -1447 @ 299.123
299.13/300.17 c bounds - >= -1446 @ 299.123
299.13/300.17 c bounds - >= -1445 @ 299.124
299.13/300.17 c bounds - >= -1444 @ 299.124
299.13/300.17 c bounds - >= -1443 @ 299.125
299.13/300.17 c bounds - >= -1442 @ 299.125
299.13/300.17 c bounds - >= -1441 @ 299.126
299.13/300.17 c bounds - >= -1440 @ 299.126
299.13/300.17 c bounds - >= -1439 @ 299.127
299.13/300.17 c bounds - >= -1438 @ 299.127
299.13/300.17 c bounds - >= -1437 @ 299.127
299.13/300.17 c bounds - >= -1436 @ 299.127
299.13/300.17 c bounds - >= -1435 @ 299.127
299.13/300.17 c bounds - >= -1434 @ 299.128
299.13/300.17 c bounds - >= -1433 @ 299.128
299.13/300.17 c bounds - >= -1432 @ 299.129
299.13/300.17 c bounds - >= -1431 @ 299.129
299.13/300.17 c bounds - >= -1430 @ 299.129
299.13/300.17 c bounds - >= -1429 @ 299.129
299.13/300.17 c bounds - >= -1428 @ 299.129
299.13/300.17 c bounds - >= -1427 @ 299.13
299.13/300.17 c bounds - >= -1426 @ 299.13
299.13/300.17 c bounds - >= -1425 @ 299.131
299.13/300.17 c bounds - >= -1424 @ 299.131
299.13/300.17 c bounds - >= -1423 @ 299.131
299.13/300.17 c bounds - >= -1422 @ 299.132
299.13/300.17 c bounds - >= -1421 @ 299.132
299.13/300.17 c bounds - >= -1420 @ 299.132
299.13/300.17 c bounds - >= -1419 @ 299.132
299.13/300.17 c bounds - >= -1418 @ 299.133
299.13/300.17 c bounds - >= -1417 @ 299.133
299.13/300.17 c bounds - >= -1416 @ 299.134
299.13/300.17 c bounds - >= -1415 @ 299.134
299.13/300.17 c bounds - >= -1414 @ 299.135
299.13/300.17 c bounds - >= -1413 @ 299.135
299.13/300.17 c bounds - >= -1412 @ 299.135
299.13/300.17 c bounds - >= -1411 @ 299.135
299.13/300.17 c bounds - >= -1410 @ 299.135
299.13/300.17 c bounds - >= -1409 @ 299.136
299.13/300.17 c bounds - >= -1408 @ 299.136
299.13/300.17 c bounds - >= -1407 @ 299.137
299.13/300.17 c bounds - >= -1406 @ 299.137
299.13/300.17 c bounds - >= -1405 @ 299.138
299.13/300.17 c bounds - >= -1404 @ 299.138
299.13/300.17 c bounds - >= -1403 @ 299.139
299.13/300.17 c bounds - >= -1402 @ 299.139
299.13/300.17 c bounds - >= -1401 @ 299.14
299.13/300.17 c bounds - >= -1400 @ 299.14
299.13/300.17 c bounds - >= -1399 @ 299.14
299.13/300.17 c bounds - >= -1398 @ 299.141
299.13/300.17 c bounds - >= -1397 @ 299.141
299.13/300.17 c bounds - >= -1396 @ 299.141
299.13/300.17 c bounds - >= -1395 @ 299.141
299.13/300.17 c bounds - >= -1394 @ 299.142
299.13/300.17 c bounds - >= -1393 @ 299.142
299.13/300.17 c bounds - >= -1392 @ 299.143
299.13/300.17 c bounds - >= -1391 @ 299.143
299.13/300.17 c bounds - >= -1390 @ 299.144
299.13/300.17 c bounds - >= -1389 @ 299.144
299.13/300.17 c bounds - >= -1388 @ 299.145
299.13/300.17 c bounds - >= -1387 @ 299.145
299.13/300.17 c bounds - >= -1386 @ 299.145
299.13/300.17 c bounds - >= -1385 @ 299.146
299.13/300.17 c bounds - >= -1384 @ 299.146
299.13/300.17 c bounds - >= -1383 @ 299.146
299.13/300.17 c bounds - >= -1382 @ 299.146
299.13/300.17 c bounds - >= -1381 @ 299.147
299.13/300.17 c bounds - >= -1380 @ 299.147
299.13/300.17 c bounds - >= -1379 @ 299.148
299.13/300.17 c bounds - >= -1378 @ 299.148
299.23/300.24 c bounds - >= -1377 @ 299.149
299.23/300.24 c bounds - >= -1376 @ 299.149
299.23/300.24 c bounds - >= -1375 @ 299.15
299.23/300.24 c bounds - >= -1374 @ 299.15
299.23/300.24 c bounds - >= -1373 @ 299.15
299.23/300.24 c bounds - >= -1372 @ 299.151
299.23/300.24 c bounds - >= -1371 @ 299.151
299.23/300.24 c bounds - >= -1370 @ 299.151
299.23/300.24 c bounds - >= -1369 @ 299.151
299.23/300.24 c bounds - >= -1368 @ 299.152
299.23/300.24 c bounds - >= -1367 @ 299.152
299.23/300.24 c bounds - >= -1366 @ 299.153
299.23/300.24 c bounds - >= -1365 @ 299.153
299.23/300.24 c bounds - >= -1364 @ 299.154
299.23/300.24 c bounds - >= -1363 @ 299.154
299.23/300.24 c bounds - >= -1362 @ 299.155
299.23/300.24 c bounds - >= -1361 @ 299.155
299.23/300.24 c bounds - >= -1360 @ 299.155
299.23/300.24 c bounds - >= -1359 @ 299.156
299.23/300.24 c bounds - >= -1358 @ 299.156
299.23/300.24 c bounds - >= -1357 @ 299.156
299.23/300.24 c bounds - >= -1356 @ 299.156
299.23/300.24 c bounds - >= -1355 @ 299.156
299.23/300.24 c bounds - >= -1354 @ 299.156
299.23/300.24 c bounds - >= -1353 @ 299.157
299.23/300.24 c bounds - >= -1352 @ 299.157
299.23/300.24 c bounds - >= -1351 @ 299.157
299.23/300.24 c bounds - >= -1350 @ 299.157
299.23/300.24 c bounds - >= -1349 @ 299.158
299.23/300.24 c bounds - >= -1348 @ 299.158
299.23/300.24 c bounds - >= -1347 @ 299.158
299.23/300.24 c bounds - >= -1346 @ 299.159
299.23/300.24 c bounds - >= -1345 @ 299.159
299.23/300.24 c bounds - >= -1344 @ 299.16
299.23/300.24 c bounds - >= -1343 @ 299.16
299.23/300.24 c bounds - >= -1342 @ 299.16
299.23/300.24 c bounds - >= -1341 @ 299.161
299.23/300.24 c bounds - >= -1340 @ 299.161
299.23/300.24 c bounds - >= -1339 @ 299.162
299.23/300.24 c bounds - >= -1338 @ 299.162
299.23/300.24 c bounds - >= -1337 @ 299.162
299.23/300.24 c bounds - >= -1336 @ 299.163
299.23/300.24 c bounds - >= -1335 @ 299.163
299.23/300.24 c bounds - >= -1334 @ 299.163
299.23/300.24 c bounds - >= -1333 @ 299.163
299.23/300.24 c bounds - >= -1332 @ 299.164
299.23/300.24 c bounds - >= -1331 @ 299.164
299.23/300.24 c bounds - >= -1330 @ 299.164
299.23/300.24 c bounds - >= -1329 @ 299.164
299.23/300.24 c bounds - >= -1328 @ 299.165
299.23/300.24 c bounds - >= -1327 @ 299.165
299.23/300.24 c bounds - >= -1326 @ 299.166
299.23/300.24 c bounds - >= -1325 @ 299.166
299.23/300.24 c bounds - >= -1324 @ 299.167
299.23/300.24 c bounds - >= -1323 @ 299.167
299.23/300.24 c bounds - >= -1322 @ 299.168
299.23/300.24 c bounds - >= -1321 @ 299.168
299.23/300.24 c bounds - >= -1320 @ 299.168
299.23/300.24 c bounds - >= -1319 @ 299.169
299.23/300.24 c bounds - >= -1318 @ 299.169
299.23/300.24 c bounds - >= -1317 @ 299.17
299.23/300.24 c bounds - >= -1316 @ 299.17
299.23/300.24 c bounds - >= -1315 @ 299.17
299.23/300.24 c bounds - >= -1314 @ 299.17
299.23/300.24 c bounds - >= -1313 @ 299.171
299.23/300.24 c bounds - >= -1312 @ 299.171
299.23/300.24 c bounds - >= -1311 @ 299.172
299.23/300.24 c bounds - >= -1310 @ 299.172
299.23/300.24 c bounds - >= -1309 @ 299.173
299.23/300.24 c bounds - >= -1308 @ 299.173
299.23/300.24 c bounds - >= -1307 @ 299.173
299.23/300.24 c bounds - >= -1306 @ 299.174
299.23/300.24 c bounds - >= -1305 @ 299.174
299.23/300.24 c bounds - >= -1304 @ 299.174
299.23/300.24 c bounds - >= -1303 @ 299.174
299.23/300.24 c bounds - >= -1302 @ 299.175
299.23/300.24 c bounds - >= -1301 @ 299.175
299.23/300.24 c bounds - >= -1300 @ 299.176
299.23/300.24 c bounds - >= -1299 @ 299.176
299.23/300.24 c bounds - >= -1298 @ 299.177
299.23/300.24 c bounds - >= -1297 @ 299.177
299.23/300.24 c bounds - >= -1296 @ 299.178
299.23/300.24 c bounds - >= -1295 @ 299.178
299.23/300.24 c bounds - >= -1294 @ 299.178
299.23/300.24 c bounds - >= -1293 @ 299.179
299.23/300.24 c bounds - >= -1292 @ 299.179
299.23/300.24 c bounds - >= -1291 @ 299.18
299.23/300.24 c bounds - >= -1290 @ 299.18
299.23/300.24 c bounds - >= -1289 @ 299.181
299.23/300.24 c bounds - >= -1288 @ 299.181
299.23/300.24 c bounds - >= -1287 @ 299.182
299.23/300.24 c bounds - >= -1286 @ 299.182
299.23/300.24 c bounds - >= -1285 @ 299.183
299.23/300.24 c bounds - >= -1284 @ 299.183
299.23/300.24 c bounds - >= -1283 @ 299.184
299.23/300.24 c bounds - >= -1282 @ 299.184
299.23/300.24 c bounds - >= -1281 @ 299.184
299.23/300.24 c bounds - >= -1280 @ 299.185
299.23/300.24 c bounds - >= -1279 @ 299.185
299.23/300.24 c bounds - >= -1278 @ 299.185
299.23/300.24 c bounds - >= -1277 @ 299.185
299.23/300.24 c bounds - >= -1276 @ 299.186
299.23/300.24 c bounds - >= -1275 @ 299.186
299.23/300.24 c bounds - >= -1274 @ 299.187
299.23/300.24 c bounds - >= -1273 @ 299.187
299.23/300.24 c bounds - >= -1272 @ 299.187
299.23/300.24 c bounds - >= -1271 @ 299.188
299.23/300.24 c bounds - >= -1270 @ 299.188
299.23/300.24 c bounds - >= -1269 @ 299.189
299.23/300.24 c bounds - >= -1268 @ 299.189
299.23/300.24 c bounds - >= -1267 @ 299.189
299.23/300.24 c bounds - >= -1266 @ 299.189
299.23/300.24 c bounds - >= -1265 @ 299.19
299.23/300.24 c bounds - >= -1264 @ 299.19
299.23/300.24 c bounds - >= -1263 @ 299.191
299.23/300.24 c bounds - >= -1262 @ 299.191
299.23/300.24 c bounds - >= -1261 @ 299.192
299.23/300.24 c bounds - >= -1260 @ 299.192
299.23/300.24 c bounds - >= -1259 @ 299.193
299.23/300.24 c bounds - >= -1258 @ 299.193
299.23/300.24 c bounds - >= -1257 @ 299.193
299.23/300.24 c bounds - >= -1256 @ 299.194
299.23/300.24 c bounds - >= -1255 @ 299.194
299.23/300.24 c bounds - >= -1254 @ 299.195
299.23/300.24 c bounds - >= -1253 @ 299.195
299.23/300.24 c bounds - >= -1252 @ 299.195
299.23/300.24 c bounds - >= -1251 @ 299.195
299.23/300.24 c bounds - >= -1250 @ 299.195
299.23/300.24 c bounds - >= -1249 @ 299.195
299.23/300.24 c bounds - >= -1248 @ 299.196
299.23/300.24 c bounds - >= -1247 @ 299.196
299.23/300.24 c bounds - >= -1246 @ 299.197
299.23/300.24 c bounds - >= -1245 @ 299.197
299.23/300.24 c bounds - >= -1244 @ 299.198
299.23/300.24 c bounds - >= -1243 @ 299.198
299.23/300.24 c bounds - >= -1242 @ 299.198
299.23/300.24 c bounds - >= -1241 @ 299.199
299.33/300.31 c bounds - >= -1240 @ 299.199
299.33/300.31 c bounds - >= -1239 @ 299.2
299.33/300.31 c bounds - >= -1238 @ 299.2
299.33/300.31 c bounds - >= -1237 @ 299.201
299.33/300.31 c bounds - >= -1236 @ 299.201
299.33/300.31 c bounds - >= -1235 @ 299.201
299.33/300.31 c bounds - >= -1234 @ 299.201
299.33/300.31 c bounds - >= -1233 @ 299.202
299.33/300.31 c bounds - >= -1232 @ 299.202
299.33/300.31 c bounds - >= -1231 @ 299.203
299.33/300.31 c bounds - >= -1230 @ 299.203
299.33/300.31 c bounds - >= -1229 @ 299.203
299.33/300.31 c bounds - >= -1228 @ 299.204
299.33/300.31 c bounds - >= -1227 @ 299.204
299.33/300.31 c bounds - >= -1226 @ 299.205
299.33/300.31 c bounds - >= -1225 @ 299.205
299.33/300.31 c bounds - >= -1224 @ 299.206
299.33/300.31 c bounds - >= -1223 @ 299.206
299.33/300.31 c bounds - >= -1222 @ 299.206
299.33/300.31 c bounds - >= -1221 @ 299.206
299.33/300.31 c bounds - >= -1220 @ 299.206
299.33/300.31 c bounds - >= -1219 @ 299.206
299.33/300.31 c bounds - >= -1218 @ 299.206
299.33/300.31 c bounds - >= -1217 @ 299.207
299.33/300.31 c bounds - >= -1216 @ 299.207
299.33/300.31 c bounds - >= -1215 @ 299.208
299.33/300.31 c bounds - >= -1214 @ 299.208
299.33/300.31 c bounds - >= -1213 @ 299.208
299.33/300.31 c bounds - >= -1212 @ 299.208
299.33/300.31 c bounds - >= -1211 @ 299.209
299.33/300.31 c bounds - >= -1210 @ 299.209
299.33/300.31 c bounds - >= -1209 @ 299.21
299.33/300.31 c bounds - >= -1208 @ 299.21
299.33/300.31 c bounds - >= -1207 @ 299.211
299.33/300.31 c bounds - >= -1206 @ 299.211
299.33/300.31 c bounds - >= -1205 @ 299.212
299.33/300.31 c bounds - >= -1204 @ 299.212
299.33/300.31 c bounds - >= -1203 @ 299.212
299.33/300.31 c bounds - >= -1202 @ 299.212
299.33/300.31 c bounds - >= -1201 @ 299.213
299.33/300.31 c bounds - >= -1200 @ 299.213
299.33/300.31 c bounds - >= -1199 @ 299.213
299.33/300.31 c bounds - >= -1198 @ 299.214
299.33/300.31 c bounds - >= -1197 @ 299.214
299.33/300.31 c bounds - >= -1196 @ 299.215
299.33/300.31 c bounds - >= -1195 @ 299.215
299.33/300.31 c bounds - >= -1194 @ 299.215
299.33/300.31 c bounds - >= -1193 @ 299.215
299.33/300.31 c bounds - >= -1192 @ 299.216
299.33/300.31 c bounds - >= -1191 @ 299.216
299.33/300.31 c bounds - >= -1190 @ 299.217
299.33/300.31 c bounds - >= -1189 @ 299.217
299.33/300.31 c bounds - >= -1188 @ 299.217
299.33/300.31 c bounds - >= -1187 @ 299.218
299.33/300.31 c bounds - >= -1186 @ 299.218
299.33/300.31 c bounds - >= -1185 @ 299.219
299.33/300.31 c bounds - >= -1184 @ 299.219
299.33/300.31 c bounds - >= -1183 @ 299.22
299.33/300.31 c bounds - >= -1182 @ 299.22
299.33/300.31 c bounds - >= -1181 @ 299.22
299.33/300.31 c bounds - >= -1180 @ 299.22
299.33/300.31 c bounds - >= -1179 @ 299.221
299.33/300.31 c bounds - >= -1178 @ 299.221
299.33/300.31 c bounds - >= -1177 @ 299.222
299.33/300.31 c bounds - >= -1176 @ 299.222
299.33/300.31 c bounds - >= -1175 @ 299.222
299.33/300.31 c bounds - >= -1174 @ 299.223
299.33/300.31 c bounds - >= -1173 @ 299.223
299.33/300.31 c bounds - >= -1172 @ 299.224
299.33/300.31 c bounds - >= -1171 @ 299.224
299.33/300.31 c bounds - >= -1170 @ 299.224
299.33/300.31 c bounds - >= -1169 @ 299.224
299.33/300.31 c bounds - >= -1168 @ 299.224
299.33/300.31 c bounds - >= -1167 @ 299.224
299.33/300.31 c bounds - >= -1166 @ 299.224
299.33/300.31 c bounds - >= -1165 @ 299.224
299.33/300.31 c bounds - >= -1164 @ 299.224
299.33/300.31 c bounds - >= -1163 @ 299.224
299.33/300.31 c bounds - >= -1162 @ 299.225
299.33/300.31 c bounds - >= -1161 @ 299.225
299.33/300.31 c bounds - >= -1160 @ 299.226
299.33/300.31 c bounds - >= -1159 @ 299.226
299.33/300.31 c bounds - >= -1158 @ 299.227
299.33/300.31 c bounds - >= -1157 @ 299.227
299.33/300.31 c bounds - >= -1156 @ 299.228
299.33/300.31 c bounds - >= -1155 @ 299.228
299.33/300.31 c bounds - >= -1154 @ 299.229
299.33/300.31 c bounds - >= -1153 @ 299.229
299.33/300.31 c bounds - >= -1152 @ 299.229
299.33/300.31 c bounds - >= -1151 @ 299.23
299.33/300.31 c bounds - >= -1150 @ 299.23
299.33/300.31 c bounds - >= -1149 @ 299.231
299.33/300.31 c bounds - >= -1148 @ 299.231
299.33/300.31 c bounds - >= -1147 @ 299.232
299.33/300.31 c bounds - >= -1146 @ 299.232
299.33/300.31 c bounds - >= -1145 @ 299.233
299.33/300.31 c bounds - >= -1144 @ 299.233
299.33/300.31 c bounds - >= -1143 @ 299.234
299.33/300.31 c bounds - >= -1142 @ 299.234
299.33/300.31 c bounds - >= -1141 @ 299.235
299.33/300.31 c bounds - >= -1140 @ 299.235
299.33/300.31 c bounds - >= -1139 @ 299.236
299.33/300.31 c bounds - >= -1138 @ 299.236
299.33/300.31 c bounds - >= -1137 @ 299.237
299.33/300.31 c bounds - >= -1136 @ 299.237
299.33/300.31 c bounds - >= -1135 @ 299.238
299.33/300.31 c bounds - >= -1134 @ 299.239
299.33/300.31 c bounds - >= -1133 @ 299.239
299.33/300.31 c bounds - >= -1132 @ 299.24
299.33/300.31 c bounds - >= -1131 @ 299.24
299.33/300.31 c bounds - >= -1130 @ 299.241
299.33/300.31 c bounds - >= -1129 @ 299.241
299.33/300.31 c bounds - >= -1128 @ 299.242
299.33/300.31 c bounds - >= -1127 @ 299.242
299.33/300.31 c bounds - >= -1126 @ 299.243
299.33/300.31 c bounds - >= -1125 @ 299.243
299.33/300.31 c bounds - >= -1124 @ 299.244
299.33/300.31 c bounds - >= -1123 @ 299.244
299.33/300.31 c bounds - >= -1122 @ 299.244
299.33/300.31 c bounds - >= -1121 @ 299.244
299.33/300.31 c bounds - >= -1120 @ 299.244
299.33/300.31 c bounds - >= -1119 @ 299.244
299.33/300.31 c bounds - >= -1118 @ 299.245
299.33/300.31 c bounds - >= -1117 @ 299.245
299.33/300.31 c bounds - >= -1116 @ 299.246
299.33/300.31 c bounds - >= -1115 @ 299.247
299.33/300.31 c bounds - >= -1114 @ 299.247
299.33/300.31 c bounds - >= -1113 @ 299.248
299.33/300.31 c bounds - >= -1112 @ 299.248
299.33/300.31 c bounds - >= -1111 @ 299.248
299.33/300.31 c bounds - >= -1110 @ 299.248
299.33/300.31 c bounds - >= -1109 @ 299.249
299.33/300.31 c bounds - >= -1108 @ 299.249
299.33/300.31 c bounds - >= -1107 @ 299.25
299.33/300.31 c bounds - >= -1106 @ 299.251
299.33/300.31 c bounds - >= -1105 @ 299.251
299.33/300.31 c bounds - >= -1104 @ 299.251
299.42/300.40 c bounds - >= -1103 @ 299.251
299.42/300.40 c bounds - >= -1102 @ 299.252
299.42/300.40 c bounds - >= -1101 @ 299.252
299.42/300.40 c bounds - >= -1100 @ 299.253
299.42/300.40 c bounds - >= -1099 @ 299.254
299.42/300.40 c bounds - >= -1098 @ 299.254
299.42/300.40 c bounds - >= -1097 @ 299.254
299.42/300.40 c bounds - >= -1096 @ 299.254
299.42/300.40 c bounds - >= -1095 @ 299.254
299.42/300.40 c bounds - >= -1094 @ 299.254
299.42/300.40 c bounds - >= -1093 @ 299.255
299.42/300.40 c bounds - >= -1092 @ 299.255
299.42/300.40 c bounds - >= -1091 @ 299.256
299.42/300.40 c bounds - >= -1090 @ 299.256
299.42/300.40 c bounds - >= -1089 @ 299.256
299.42/300.40 c bounds - >= -1088 @ 299.256
299.42/300.40 c bounds - >= -1087 @ 299.256
299.42/300.40 c bounds - >= -1086 @ 299.257
299.42/300.40 c bounds - >= -1085 @ 299.258
299.42/300.40 c bounds - >= -1084 @ 299.258
299.42/300.40 c bounds - >= -1083 @ 299.258
299.42/300.40 c bounds - >= -1082 @ 299.258
299.42/300.40 c bounds - >= -1081 @ 299.259
299.42/300.40 c bounds - >= -1080 @ 299.26
299.42/300.40 c bounds - >= -1079 @ 299.26
299.42/300.40 c bounds - >= -1078 @ 299.26
299.42/300.40 c bounds - >= -1077 @ 299.26
299.42/300.40 c bounds - >= -1076 @ 299.261
299.42/300.40 c bounds - >= -1075 @ 299.262
299.42/300.40 c bounds - >= -1074 @ 299.262
299.42/300.40 c bounds - >= -1073 @ 299.262
299.42/300.40 c bounds - >= -1072 @ 299.262
299.42/300.40 c bounds - >= -1071 @ 299.263
299.42/300.40 c bounds - >= -1070 @ 299.264
299.42/300.40 c bounds - >= -1069 @ 299.264
299.42/300.40 c bounds - >= -1068 @ 299.264
299.42/300.40 c bounds - >= -1067 @ 299.264
299.42/300.40 c bounds - >= -1066 @ 299.265
299.42/300.40 c bounds - >= -1065 @ 299.266
299.42/300.40 c bounds - >= -1064 @ 299.266
299.42/300.40 c bounds - >= -1063 @ 299.267
299.42/300.40 c bounds - >= -1062 @ 299.267
299.42/300.40 c bounds - >= -1061 @ 299.267
299.42/300.40 c bounds - >= -1060 @ 299.268
299.42/300.40 c bounds - >= -1059 @ 299.269
299.42/300.40 c bounds - >= -1058 @ 299.269
299.42/300.40 c bounds - >= -1057 @ 299.269
299.42/300.40 c bounds - >= -1056 @ 299.269
299.42/300.40 c bounds - >= -1055 @ 299.27
299.42/300.40 c bounds - >= -1054 @ 299.271
299.42/300.40 c bounds - >= -1053 @ 299.271
299.42/300.40 c bounds - >= -1052 @ 299.272
299.42/300.40 c bounds - >= -1051 @ 299.272
299.42/300.40 c bounds - >= -1050 @ 299.272
299.42/300.40 c bounds - >= -1049 @ 299.273
299.42/300.40 c bounds - >= -1048 @ 299.273
299.42/300.40 c bounds - >= -1047 @ 299.273
299.42/300.40 c bounds - >= -1046 @ 299.274
299.42/300.40 c bounds - >= -1045 @ 299.274
299.42/300.40 c bounds - >= -1044 @ 299.274
299.42/300.40 c bounds - >= -1043 @ 299.274
299.42/300.40 c bounds - >= -1042 @ 299.274
299.42/300.40 c bounds - >= -1041 @ 299.275
299.42/300.40 c bounds - >= -1040 @ 299.275
299.42/300.40 c bounds - >= -1039 @ 299.275
299.42/300.40 c bounds - >= -1038 @ 299.276
299.42/300.40 c bounds - >= -1037 @ 299.276
299.42/300.40 c bounds - >= -1036 @ 299.276
299.42/300.40 c bounds - >= -1035 @ 299.277
299.42/300.40 c bounds - >= -1034 @ 299.277
299.42/300.40 c bounds - >= -1033 @ 299.278
299.42/300.40 c bounds - >= -1032 @ 299.278
299.42/300.40 c bounds - >= -1031 @ 299.279
299.42/300.40 c bounds - >= -1030 @ 299.279
299.42/300.40 c bounds - >= -1029 @ 299.279
299.42/300.40 c bounds - >= -1028 @ 299.28
299.42/300.40 c bounds - >= -1027 @ 299.281
299.42/300.40 c bounds - >= -1026 @ 299.281
299.42/300.40 c bounds - >= -1025 @ 299.282
299.42/300.40 c bounds - >= -1024 @ 299.282
299.42/300.40 c bounds - >= -1023 @ 299.282
299.42/300.40 c bounds - >= -1022 @ 299.282
299.42/300.40 c bounds - >= -1021 @ 299.283
299.42/300.40 c bounds - >= -1020 @ 299.284
299.42/300.40 c bounds - >= -1019 @ 299.284
299.42/300.40 c bounds - >= -1018 @ 299.285
299.42/300.40 c bounds - >= -1017 @ 299.285
299.42/300.40 c bounds - >= -1016 @ 299.285
299.42/300.40 c bounds - >= -1015 @ 299.286
299.42/300.40 c bounds - >= -1014 @ 299.286
299.42/300.40 c bounds - >= -1013 @ 299.287
299.42/300.40 c bounds - >= -1012 @ 299.287
299.42/300.40 c bounds - >= -1011 @ 299.288
299.42/300.40 c bounds - >= -1010 @ 299.289
299.42/300.40 c bounds - >= -1009 @ 299.289
299.42/300.40 c bounds - >= -1008 @ 299.289
299.42/300.40 c bounds - >= -1007 @ 299.289
299.42/300.40 c bounds - >= -1006 @ 299.29
299.42/300.40 c bounds - >= -1005 @ 299.29
299.42/300.40 c bounds - >= -1004 @ 299.291
299.42/300.40 c bounds - >= -1003 @ 299.291
299.42/300.40 c bounds - >= -1002 @ 299.292
299.42/300.40 c bounds - >= -1001 @ 299.292
299.42/300.40 c bounds - >= -1000 @ 299.293
299.42/300.40 c bounds - >= -999 @ 299.293
299.42/300.40 c bounds - >= -998 @ 299.293
299.42/300.40 c bounds - >= -997 @ 299.293
299.42/300.40 c bounds - >= -996 @ 299.294
299.42/300.40 c bounds - >= -995 @ 299.294
299.42/300.40 c bounds - >= -994 @ 299.294
299.42/300.40 c bounds - >= -993 @ 299.295
299.42/300.40 c bounds - >= -992 @ 299.296
299.42/300.40 c bounds - >= -991 @ 299.297
299.42/300.40 c bounds - >= -990 @ 299.297
299.42/300.40 c bounds - >= -989 @ 299.298
299.42/300.40 c bounds - >= -988 @ 299.299
299.42/300.40 c bounds - >= -987 @ 299.299
299.42/300.40 c bounds - >= -986 @ 299.299
299.42/300.40 c bounds - >= -985 @ 299.3
299.42/300.40 c bounds - >= -984 @ 299.301
299.42/300.40 c bounds - >= -983 @ 299.302
299.42/300.40 c bounds - >= -982 @ 299.302
299.42/300.40 c bounds - >= -981 @ 299.302
299.42/300.40 c bounds - >= -980 @ 299.303
299.42/300.40 c bounds - >= -979 @ 299.304
299.42/300.40 c bounds - >= -978 @ 299.304
299.42/300.40 c bounds - >= -977 @ 299.304
299.42/300.40 c bounds - >= -976 @ 299.305
299.42/300.40 c bounds - >= -975 @ 299.306
299.42/300.40 c bounds - >= -974 @ 299.306
299.42/300.40 c bounds - >= -973 @ 299.306
299.42/300.40 c bounds - >= -972 @ 299.307
299.42/300.40 c bounds - >= -971 @ 299.307
299.42/300.40 c bounds - >= -970 @ 299.307
299.42/300.40 c bounds - >= -969 @ 299.307
299.42/300.40 c bounds - >= -968 @ 299.308
299.42/300.40 c bounds - >= -967 @ 299.309
299.42/300.40 c bounds - >= -966 @ 299.31
299.52/300.54 c bounds - >= -965 @ 299.31
299.52/300.54 c bounds - >= -964 @ 299.31
299.52/300.54 c bounds - >= -963 @ 299.311
299.52/300.54 c bounds - >= -962 @ 299.312
299.52/300.54 c bounds - >= -961 @ 299.313
299.52/300.54 c bounds - >= -960 @ 299.314
299.52/300.54 c bounds - >= -959 @ 299.314
299.52/300.54 c bounds - >= -958 @ 299.315
299.52/300.54 c bounds - >= -957 @ 299.316
299.52/300.54 c bounds - >= -956 @ 299.316
299.52/300.54 c bounds - >= -955 @ 299.316
299.52/300.54 c bounds - >= -954 @ 299.316
299.52/300.54 c bounds - >= -953 @ 299.317
299.52/300.54 c bounds - >= -952 @ 299.317
299.52/300.54 c bounds - >= -951 @ 299.317
299.52/300.54 c bounds - >= -950 @ 299.317
299.52/300.54 c bounds - >= -949 @ 299.318
299.52/300.54 c bounds - >= -948 @ 299.318
299.52/300.54 c bounds - >= -947 @ 299.319
299.52/300.54 c bounds - >= -946 @ 299.32
299.52/300.54 c bounds - >= -945 @ 299.32
299.52/300.54 c bounds - >= -944 @ 299.32
299.52/300.54 c bounds - >= -943 @ 299.32
299.52/300.54 c bounds - >= -942 @ 299.321
299.52/300.54 c bounds - >= -941 @ 299.322
299.52/300.54 c bounds - >= -940 @ 299.323
299.52/300.54 c bounds - >= -939 @ 299.323
299.52/300.54 c bounds - >= -938 @ 299.323
299.52/300.54 c bounds - >= -937 @ 299.324
299.52/300.54 c bounds - >= -936 @ 299.325
299.52/300.54 c bounds - >= -935 @ 299.326
299.52/300.54 c bounds - >= -934 @ 299.327
299.52/300.54 c bounds - >= -933 @ 299.328
299.52/300.54 c bounds - >= -932 @ 299.328
299.52/300.54 c bounds - >= -931 @ 299.328
299.52/300.54 c bounds - >= -930 @ 299.329
299.52/300.54 c bounds - >= -929 @ 299.33
299.52/300.54 c bounds - >= -928 @ 299.33
299.52/300.54 c bounds - >= -927 @ 299.33
299.52/300.54 c bounds - >= -926 @ 299.33
299.52/300.54 c bounds - >= -925 @ 299.33
299.52/300.54 c bounds - >= -924 @ 299.33
299.52/300.54 c bounds - >= -923 @ 299.33
299.52/300.54 c bounds - >= -922 @ 299.33
299.52/300.54 c bounds - >= -921 @ 299.33
299.52/300.54 c bounds - >= -920 @ 299.331
299.52/300.54 c bounds - >= -919 @ 299.332
299.52/300.54 c bounds - >= -918 @ 299.333
299.52/300.54 c bounds - >= -917 @ 299.333
299.52/300.54 c bounds - >= -916 @ 299.333
299.52/300.54 c bounds - >= -915 @ 299.333
299.52/300.54 c bounds - >= -914 @ 299.334
299.52/300.54 c bounds - >= -913 @ 299.334
299.52/300.54 c bounds - >= -912 @ 299.335
299.52/300.54 c bounds - >= -911 @ 299.335
299.52/300.54 c bounds - >= -910 @ 299.335
299.52/300.54 c bounds - >= -909 @ 299.336
299.52/300.54 c bounds - >= -908 @ 299.337
299.52/300.54 c bounds - >= -907 @ 299.338
299.52/300.54 c bounds - >= -906 @ 299.339
299.52/300.54 c bounds - >= -905 @ 299.34
299.52/300.54 c bounds - >= -904 @ 299.341
299.52/300.54 c bounds - >= -903 @ 299.341
299.52/300.54 c bounds - >= -902 @ 299.342
299.52/300.54 c bounds - >= -901 @ 299.342
299.52/300.54 c bounds - >= -900 @ 299.342
299.52/300.54 c bounds - >= -899 @ 299.342
299.52/300.54 c bounds - >= -898 @ 299.342
299.52/300.54 c bounds - >= -897 @ 299.342
299.52/300.54 c bounds - >= -896 @ 299.342
299.52/300.54 c bounds - >= -895 @ 299.342
299.52/300.54 c bounds - >= -894 @ 299.342
299.52/300.54 c bounds - >= -893 @ 299.343
299.52/300.54 c bounds - >= -892 @ 299.344
299.52/300.54 c bounds - >= -891 @ 299.344
299.52/300.54 c bounds - >= -890 @ 299.345
299.52/300.54 c bounds - >= -889 @ 299.346
299.52/300.54 c bounds - >= -888 @ 299.347
299.52/300.54 c bounds - >= -887 @ 299.348
299.52/300.54 c bounds - >= -886 @ 299.349
299.52/300.54 c bounds - >= -885 @ 299.35
299.52/300.54 c bounds - >= -884 @ 299.351
299.52/300.54 c bounds - >= -883 @ 299.352
299.52/300.54 c bounds - >= -882 @ 299.353
299.52/300.54 c bounds - >= -881 @ 299.354
299.52/300.54 c bounds - >= -880 @ 299.354
299.52/300.54 c bounds - >= -879 @ 299.355
299.52/300.54 c bounds - >= -878 @ 299.355
299.52/300.54 c bounds - >= -877 @ 299.355
299.52/300.54 c bounds - >= -876 @ 299.355
299.52/300.54 c bounds - >= -875 @ 299.355
299.52/300.54 c bounds - >= -874 @ 299.355
299.52/300.54 c bounds - >= -873 @ 299.355
299.52/300.54 c bounds - >= -872 @ 299.356
299.52/300.54 c bounds - >= -871 @ 299.356
299.52/300.54 c bounds - >= -870 @ 299.356
299.52/300.54 c bounds - >= -869 @ 299.356
299.52/300.54 c bounds - >= -868 @ 299.356
299.52/300.54 c bounds - >= -867 @ 299.357
299.52/300.54 c bounds - >= -866 @ 299.357
299.52/300.54 c bounds - >= -865 @ 299.357
299.52/300.54 c bounds - >= -864 @ 299.358
299.52/300.54 c bounds - >= -863 @ 299.359
299.52/300.54 c bounds - >= -862 @ 299.359
299.52/300.54 c bounds - >= -861 @ 299.359
299.52/300.54 c bounds - >= -860 @ 299.36
299.52/300.54 c bounds - >= -859 @ 299.36
299.52/300.54 c bounds - >= -858 @ 299.36
299.52/300.54 c bounds - >= -857 @ 299.361
299.52/300.54 c bounds - >= -856 @ 299.362
299.52/300.54 c bounds - >= -855 @ 299.363
299.52/300.54 c bounds - >= -854 @ 299.364
299.52/300.54 c bounds - >= -853 @ 299.365
299.52/300.54 c bounds - >= -852 @ 299.366
299.52/300.54 c bounds - >= -851 @ 299.366
299.52/300.54 c bounds - >= -850 @ 299.366
299.52/300.54 c bounds - >= -849 @ 299.367
299.52/300.54 c bounds - >= -848 @ 299.368
299.52/300.54 c bounds - >= -847 @ 299.368
299.52/300.54 c bounds - >= -846 @ 299.368
299.52/300.54 c bounds - >= -845 @ 299.368
299.52/300.54 c bounds - >= -844 @ 299.368
299.52/300.54 c bounds - >= -843 @ 299.369
299.52/300.54 c bounds - >= -842 @ 299.37
299.52/300.54 c bounds - >= -841 @ 299.371
299.52/300.54 c bounds - >= -840 @ 299.372
299.52/300.54 c bounds - >= -839 @ 299.372
299.52/300.54 c bounds - >= -838 @ 299.372
299.52/300.54 c bounds - >= -837 @ 299.372
299.52/300.54 c bounds - >= -836 @ 299.372
299.52/300.54 c bounds - >= -835 @ 299.373
299.52/300.54 c bounds - >= -834 @ 299.374
299.52/300.54 c bounds - >= -833 @ 299.376
299.52/300.54 c bounds - >= -832 @ 299.377
299.52/300.54 c bounds - >= -831 @ 299.377
299.52/300.54 c bounds - >= -830 @ 299.377
299.52/300.54 c bounds - >= -829 @ 299.378
299.52/300.54 c bounds - >= -828 @ 299.378
299.52/300.54 c bounds - >= -827 @ 299.378
299.52/300.54 c bounds - >= -826 @ 299.378
299.52/300.54 c bounds - >= -825 @ 299.379
299.52/300.54 c bounds - >= -824 @ 299.38
418.17/419.58 c bounds - >= -823 @ 299.381
418.17/419.58 c bounds - >= -822 @ 299.382
418.17/419.58 c bounds - >= -821 @ 299.382
418.17/419.58 c bounds - >= -820 @ 299.383
418.17/419.58 c bounds - >= -819 @ 299.384
418.17/419.58 c bounds - >= -818 @ 299.385
418.17/419.58 c bounds - >= -817 @ 299.385
418.17/419.58 c bounds - >= -816 @ 299.385
418.17/419.58 c bounds - >= -815 @ 299.386
418.17/419.58 c bounds - >= -814 @ 299.387
418.17/419.58 c #Conflicts: 1000 | #Constraints: 7064
418.17/419.58 c #Conflicts: 2000 | #Constraints: 8064
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 3000 | #Constraints: 7197
418.17/419.58 c #Conflicts: 4000 | #Constraints: 8197
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 5000 | #Constraints: 7516
418.17/419.58 c #Conflicts: 6000 | #Constraints: 8516
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 7000 | #Constraints: 7473
418.17/419.58 c #Conflicts: 8000 | #Constraints: 8473
418.17/419.58 c #Conflicts: 9000 | #Constraints: 9473
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 10000 | #Constraints: 8158
418.17/419.58 c #Conflicts: 11000 | #Constraints: 9158
418.17/419.58 c #Conflicts: 12000 | #Constraints: 10158
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 13000 | #Constraints: 8588
418.17/419.58 c #Conflicts: 14000 | #Constraints: 9588
418.17/419.58 c #Conflicts: 15000 | #Constraints: 10588
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 16000 | #Constraints: 8804
418.17/419.58 c #Conflicts: 17000 | #Constraints: 9804
418.17/419.58 c #Conflicts: 18000 | #Constraints: 10804
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 19000 | #Constraints: 8806
418.17/419.58 c #Conflicts: 20000 | #Constraints: 9806
418.17/419.58 c #Conflicts: 21000 | #Constraints: 10806
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 22000 | #Constraints: 8613
418.17/419.58 c #Conflicts: 23000 | #Constraints: 9613
418.17/419.58 c #Conflicts: 24000 | #Constraints: 10613
418.17/419.58 c #Conflicts: 25000 | #Constraints: 11613
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 26000 | #Constraints: 9214
418.17/419.58 c #Conflicts: 27000 | #Constraints: 10214
418.17/419.58 c #Conflicts: 28000 | #Constraints: 11214
418.17/419.58 c #Conflicts: 29000 | #Constraints: 12214
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 30000 | #Constraints: 9617
418.17/419.58 c #Conflicts: 31000 | #Constraints: 10617
418.17/419.58 c #Conflicts: 32000 | #Constraints: 11617
418.17/419.58 c #Conflicts: 33000 | #Constraints: 12617
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 34000 | #Constraints: 9812
418.17/419.58 c #Conflicts: 35000 | #Constraints: 10812
418.17/419.58 c #Conflicts: 36000 | #Constraints: 11812
418.17/419.58 c #Conflicts: 37000 | #Constraints: 12812
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 38000 | #Constraints: 9809
418.17/419.58 c #Conflicts: 39000 | #Constraints: 10809
418.17/419.58 c #Conflicts: 40000 | #Constraints: 11809
418.17/419.58 c #Conflicts: 41000 | #Constraints: 12809
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 42000 | #Constraints: 9614
418.17/419.58 c #Conflicts: 43000 | #Constraints: 10614
418.17/419.58 c #Conflicts: 44000 | #Constraints: 11614
418.17/419.58 c #Conflicts: 45000 | #Constraints: 12614
418.17/419.58 c #Conflicts: 46000 | #Constraints: 13614
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 47000 | #Constraints: 10208
418.17/419.58 c #Conflicts: 48000 | #Constraints: 11208
418.17/419.58 c #Conflicts: 49000 | #Constraints: 12208
418.17/419.58 c #Conflicts: 50000 | #Constraints: 13208
418.17/419.58 c #Conflicts: 51000 | #Constraints: 14208
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 52000 | #Constraints: 10616
418.17/419.58 c #Conflicts: 53000 | #Constraints: 11616
418.17/419.58 c #Conflicts: 54000 | #Constraints: 12616
418.17/419.58 c #Conflicts: 55000 | #Constraints: 13616
418.17/419.58 c #Conflicts: 56000 | #Constraints: 14616
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 57000 | #Constraints: 10808
418.17/419.58 c #Conflicts: 58000 | #Constraints: 11808
418.17/419.58 c #Conflicts: 59000 | #Constraints: 12808
418.17/419.58 c #Conflicts: 60000 | #Constraints: 13808
418.17/419.58 c #Conflicts: 61000 | #Constraints: 14808
418.17/419.58 c INPROCESSING
418.17/419.58 c GARBAGE COLLECT
418.17/419.58 c #Conflicts: 62000 | #Constraints: 10801
591.95/593.86 c #Conflicts: 63000 | #Constraints: 11801
591.95/593.86 c #Conflicts: 64000 | #Constraints: 12801
591.95/593.86 c #Conflicts: 65000 | #Constraints: 13801
591.95/593.86 c #Conflicts: 66000 | #Constraints: 14801
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 67000 | #Constraints: 10603
591.95/593.86 c #Conflicts: 68000 | #Constraints: 11603
591.95/593.86 c #Conflicts: 69000 | #Constraints: 12603
591.95/593.86 c #Conflicts: 70000 | #Constraints: 13603
591.95/593.86 c #Conflicts: 71000 | #Constraints: 14603
591.95/593.86 c #Conflicts: 72000 | #Constraints: 15603
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 73000 | #Constraints: 11204
591.95/593.86 c #Conflicts: 74000 | #Constraints: 12204
591.95/593.86 c #Conflicts: 75000 | #Constraints: 13204
591.95/593.86 c #Conflicts: 76000 | #Constraints: 14204
591.95/593.86 c #Conflicts: 77000 | #Constraints: 15204
591.95/593.86 c #Conflicts: 78000 | #Constraints: 16204
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 79000 | #Constraints: 11608
591.95/593.86 c #Conflicts: 80000 | #Constraints: 12608
591.95/593.86 c #Conflicts: 81000 | #Constraints: 13608
591.95/593.86 c #Conflicts: 82000 | #Constraints: 14608
591.95/593.86 c #Conflicts: 83000 | #Constraints: 15608
591.95/593.86 c #Conflicts: 84000 | #Constraints: 16608
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 85000 | #Constraints: 11812
591.95/593.86 c #Conflicts: 86000 | #Constraints: 12812
591.95/593.86 c #Conflicts: 87000 | #Constraints: 13812
591.95/593.86 c #Conflicts: 88000 | #Constraints: 14812
591.95/593.86 c #Conflicts: 89000 | #Constraints: 15812
591.95/593.86 c #Conflicts: 90000 | #Constraints: 16812
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 91000 | #Constraints: 11812
591.95/593.86 c #Conflicts: 92000 | #Constraints: 12812
591.95/593.86 c #Conflicts: 93000 | #Constraints: 13812
591.95/593.86 c #Conflicts: 94000 | #Constraints: 14812
591.95/593.86 c #Conflicts: 95000 | #Constraints: 15812
591.95/593.86 c #Conflicts: 96000 | #Constraints: 16812
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 97000 | #Constraints: 11615
591.95/593.86 c #Conflicts: 98000 | #Constraints: 12615
591.95/593.86 c #Conflicts: 99000 | #Constraints: 13615
591.95/593.86 c #Conflicts: 100000 | #Constraints: 14615
591.95/593.86 c #Conflicts: 101000 | #Constraints: 15615
591.95/593.86 c #Conflicts: 102000 | #Constraints: 16615
591.95/593.86 c #Conflicts: 103000 | #Constraints: 17615
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 104000 | #Constraints: 12216
591.95/593.86 c #Conflicts: 105000 | #Constraints: 13216
591.95/593.86 c #Conflicts: 106000 | #Constraints: 14216
591.95/593.86 c #Conflicts: 107000 | #Constraints: 15216
591.95/593.86 c #Conflicts: 108000 | #Constraints: 16216
591.95/593.86 c #Conflicts: 109000 | #Constraints: 17216
591.95/593.86 c #Conflicts: 110000 | #Constraints: 18216
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 111000 | #Constraints: 12616
591.95/593.86 c #Conflicts: 112000 | #Constraints: 13616
591.95/593.86 c #Conflicts: 113000 | #Constraints: 14616
591.95/593.86 c #Conflicts: 114000 | #Constraints: 15616
591.95/593.86 c #Conflicts: 115000 | #Constraints: 16616
591.95/593.86 c #Conflicts: 116000 | #Constraints: 17616
591.95/593.86 c #Conflicts: 117000 | #Constraints: 18616
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 118000 | #Constraints: 12805
591.95/593.86 c #Conflicts: 119000 | #Constraints: 13805
591.95/593.86 c #Conflicts: 120000 | #Constraints: 14805
591.95/593.86 c #Conflicts: 121000 | #Constraints: 15805
591.95/593.86 c #Conflicts: 122000 | #Constraints: 16805
591.95/593.86 c #Conflicts: 123000 | #Constraints: 17805
591.95/593.86 c #Conflicts: 124000 | #Constraints: 18805
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 125000 | #Constraints: 12809
591.95/593.86 c #Conflicts: 126000 | #Constraints: 13809
591.95/593.86 c #Conflicts: 127000 | #Constraints: 14809
591.95/593.86 c #Conflicts: 128000 | #Constraints: 15809
591.95/593.86 c #Conflicts: 129000 | #Constraints: 16809
591.95/593.86 c #Conflicts: 130000 | #Constraints: 17809
591.95/593.86 c #Conflicts: 131000 | #Constraints: 18809
591.95/593.86 c INPROCESSING
591.95/593.86 c GARBAGE COLLECT
591.95/593.86 c #Conflicts: 132000 | #Constraints: 12610
591.95/593.86 c #Conflicts: 133000 | #Constraints: 13610
591.95/593.86 c #Conflicts: 134000 | #Constraints: 14610
798.63/801.11 c #Conflicts: 135000 | #Constraints: 15610
798.63/801.11 c #Conflicts: 136000 | #Constraints: 16610
798.63/801.11 c #Conflicts: 137000 | #Constraints: 17610
798.63/801.11 c #Conflicts: 138000 | #Constraints: 18610
798.63/801.11 c #Conflicts: 139000 | #Constraints: 19610
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
798.63/801.11 c #Conflicts: 140000 | #Constraints: 13205
798.63/801.11 c #Conflicts: 141000 | #Constraints: 14205
798.63/801.11 c #Conflicts: 142000 | #Constraints: 15205
798.63/801.11 c #Conflicts: 143000 | #Constraints: 16205
798.63/801.11 c #Conflicts: 144000 | #Constraints: 17205
798.63/801.11 c #Conflicts: 145000 | #Constraints: 18205
798.63/801.11 c #Conflicts: 146000 | #Constraints: 19205
798.63/801.11 c #Conflicts: 147000 | #Constraints: 20205
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
798.63/801.11 c #Conflicts: 148000 | #Constraints: 13616
798.63/801.11 c #Conflicts: 149000 | #Constraints: 14616
798.63/801.11 c #Conflicts: 150000 | #Constraints: 15616
798.63/801.11 c #Conflicts: 151000 | #Constraints: 16616
798.63/801.11 c #Conflicts: 152000 | #Constraints: 17616
798.63/801.11 c #Conflicts: 153000 | #Constraints: 18616
798.63/801.11 c #Conflicts: 154000 | #Constraints: 19616
798.63/801.11 c #Conflicts: 155000 | #Constraints: 20616
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
798.63/801.11 c #Conflicts: 156000 | #Constraints: 13815
798.63/801.11 c #Conflicts: 157000 | #Constraints: 14815
798.63/801.11 c #Conflicts: 158000 | #Constraints: 15815
798.63/801.11 c #Conflicts: 159000 | #Constraints: 16815
798.63/801.11 c #Conflicts: 160000 | #Constraints: 17815
798.63/801.11 c #Conflicts: 161000 | #Constraints: 18815
798.63/801.11 c #Conflicts: 162000 | #Constraints: 19815
798.63/801.11 c #Conflicts: 163000 | #Constraints: 20815
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
798.63/801.11 c #Conflicts: 164000 | #Constraints: 13825
798.63/801.11 c #Conflicts: 165000 | #Constraints: 14825
798.63/801.11 c #Conflicts: 166000 | #Constraints: 15825
798.63/801.11 c #Conflicts: 167000 | #Constraints: 16825
798.63/801.11 c #Conflicts: 168000 | #Constraints: 17825
798.63/801.11 c #Conflicts: 169000 | #Constraints: 18825
798.63/801.11 c #Conflicts: 170000 | #Constraints: 19825
798.63/801.11 c #Conflicts: 171000 | #Constraints: 20825
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
798.63/801.11 c #Conflicts: 172000 | #Constraints: 13615
798.63/801.11 c #Conflicts: 173000 | #Constraints: 14615
798.63/801.11 c #Conflicts: 174000 | #Constraints: 15615
798.63/801.11 c #Conflicts: 175000 | #Constraints: 16615
798.63/801.11 c #Conflicts: 176000 | #Constraints: 17615
798.63/801.11 c #Conflicts: 177000 | #Constraints: 18615
798.63/801.11 c #Conflicts: 178000 | #Constraints: 19615
798.63/801.11 c #Conflicts: 179000 | #Constraints: 20615
798.63/801.11 c #Conflicts: 180000 | #Constraints: 21615
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
798.63/801.11 c #Conflicts: 181000 | #Constraints: 14214
798.63/801.11 c #Conflicts: 182000 | #Constraints: 15214
798.63/801.11 c #Conflicts: 183000 | #Constraints: 16214
798.63/801.11 c #Conflicts: 184000 | #Constraints: 17214
798.63/801.11 c #Conflicts: 185000 | #Constraints: 18214
798.63/801.11 c #Conflicts: 186000 | #Constraints: 19214
798.63/801.11 c #Conflicts: 187000 | #Constraints: 20214
798.63/801.11 c #Conflicts: 188000 | #Constraints: 21214
798.63/801.11 c #Conflicts: 189000 | #Constraints: 22214
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
798.63/801.11 c #Conflicts: 190000 | #Constraints: 14619
798.63/801.11 c #Conflicts: 191000 | #Constraints: 15619
798.63/801.11 c #Conflicts: 192000 | #Constraints: 16619
798.63/801.11 c #Conflicts: 193000 | #Constraints: 17619
798.63/801.11 c #Conflicts: 194000 | #Constraints: 18619
798.63/801.11 c #Conflicts: 195000 | #Constraints: 19619
798.63/801.11 c #Conflicts: 196000 | #Constraints: 20619
798.63/801.11 c #Conflicts: 197000 | #Constraints: 21619
798.63/801.11 c #Conflicts: 198000 | #Constraints: 22619
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
798.63/801.11 c #Conflicts: 199000 | #Constraints: 14820
798.63/801.11 c #Conflicts: 200000 | #Constraints: 15820
798.63/801.11 c #Conflicts: 201000 | #Constraints: 16820
798.63/801.11 c #Conflicts: 202000 | #Constraints: 17820
798.63/801.11 c #Conflicts: 203000 | #Constraints: 18820
798.63/801.11 c #Conflicts: 204000 | #Constraints: 19820
798.63/801.11 c #Conflicts: 205000 | #Constraints: 20820
798.63/801.11 c #Conflicts: 206000 | #Constraints: 21820
798.63/801.11 c #Conflicts: 207000 | #Constraints: 22820
798.63/801.11 c INPROCESSING
798.63/801.11 c GARBAGE COLLECT
1117.49/1120.98 c #Conflicts: 208000 | #Constraints: 14823
1117.49/1120.98 c #Conflicts: 209000 | #Constraints: 15823
1117.49/1120.98 c #Conflicts: 210000 | #Constraints: 16823
1117.49/1120.98 c #Conflicts: 211000 | #Constraints: 17823
1117.49/1120.98 c #Conflicts: 212000 | #Constraints: 18823
1117.49/1120.98 c #Conflicts: 213000 | #Constraints: 19823
1117.49/1120.98 c #Conflicts: 214000 | #Constraints: 20823
1117.49/1120.98 c #Conflicts: 215000 | #Constraints: 21823
1117.49/1120.98 c #Conflicts: 216000 | #Constraints: 22823
1117.49/1120.98 c INPROCESSING
1117.49/1120.98 c GARBAGE COLLECT
1117.49/1120.98 c #Conflicts: 217000 | #Constraints: 14625
1117.49/1120.98 c #Conflicts: 218000 | #Constraints: 15625
1117.49/1120.98 c #Conflicts: 219000 | #Constraints: 16625
1117.49/1120.98 c #Conflicts: 220000 | #Constraints: 17625
1117.49/1120.98 c #Conflicts: 221000 | #Constraints: 18625
1117.49/1120.98 c #Conflicts: 222000 | #Constraints: 19625
1117.49/1120.98 c #Conflicts: 223000 | #Constraints: 20625
1117.49/1120.98 c #Conflicts: 224000 | #Constraints: 21625
1117.49/1120.98 c #Conflicts: 225000 | #Constraints: 22625
1117.49/1120.98 c #Conflicts: 226000 | #Constraints: 23625
1117.49/1120.98 c INPROCESSING
1117.49/1120.98 c GARBAGE COLLECT
1117.49/1120.98 c #Conflicts: 227000 | #Constraints: 15214
1117.49/1120.98 c #Conflicts: 228000 | #Constraints: 16214
1117.49/1120.98 c #Conflicts: 229000 | #Constraints: 17214
1117.49/1120.98 c #Conflicts: 230000 | #Constraints: 18214
1117.49/1120.98 c #Conflicts: 231000 | #Constraints: 19214
1117.49/1120.98 c #Conflicts: 232000 | #Constraints: 20214
1117.49/1120.98 c #Conflicts: 233000 | #Constraints: 21214
1117.49/1120.98 c #Conflicts: 234000 | #Constraints: 22214
1117.49/1120.98 c #Conflicts: 235000 | #Constraints: 23214
1117.49/1120.98 c #Conflicts: 236000 | #Constraints: 24214
1117.49/1120.98 c INPROCESSING
1117.49/1120.98 c GARBAGE COLLECT
1117.49/1120.98 c #Conflicts: 237000 | #Constraints: 15610
1117.49/1120.98 c #Conflicts: 238000 | #Constraints: 16610
1117.49/1120.98 c #Conflicts: 239000 | #Constraints: 17610
1117.49/1120.98 c #Conflicts: 240000 | #Constraints: 18610
1117.49/1120.98 c #Conflicts: 241000 | #Constraints: 19610
1117.49/1120.98 c #Conflicts: 242000 | #Constraints: 20610
1117.49/1120.98 c #Conflicts: 243000 | #Constraints: 21610
1117.49/1120.98 c #Conflicts: 244000 | #Constraints: 22610
1117.49/1120.98 c #Conflicts: 245000 | #Constraints: 23610
1117.49/1120.98 c #Conflicts: 246000 | #Constraints: 24610
1117.49/1120.98 c INPROCESSING
1117.49/1120.98 c GARBAGE COLLECT
1117.49/1120.98 c #Conflicts: 247000 | #Constraints: 15821
1117.49/1120.98 c #Conflicts: 248000 | #Constraints: 16821
1117.49/1120.98 c #Conflicts: 249000 | #Constraints: 17821
1117.49/1120.98 c #Conflicts: 250000 | #Constraints: 18821
1117.49/1120.98 c #Conflicts: 251000 | #Constraints: 19821
1117.49/1120.98 c #Conflicts: 252000 | #Constraints: 20821
1117.49/1120.98 c #Conflicts: 253000 | #Constraints: 21821
1117.49/1120.98 c #Conflicts: 254000 | #Constraints: 22821
1117.49/1120.98 c #Conflicts: 255000 | #Constraints: 23821
1117.49/1120.98 c #Conflicts: 256000 | #Constraints: 24821
1117.49/1120.98 c INPROCESSING
1117.49/1120.98 c GARBAGE COLLECT
1117.49/1120.98 c #Conflicts: 257000 | #Constraints: 15821
1117.49/1120.98 c #Conflicts: 258000 | #Constraints: 16821
1117.49/1120.98 c #Conflicts: 259000 | #Constraints: 17821
1117.49/1120.98 c #Conflicts: 260000 | #Constraints: 18821
1117.49/1120.98 c #Conflicts: 261000 | #Constraints: 19821
1117.49/1120.98 c #Conflicts: 262000 | #Constraints: 20821
1117.49/1120.98 c #Conflicts: 263000 | #Constraints: 21821
1117.49/1120.98 c #Conflicts: 264000 | #Constraints: 22821
1117.49/1120.98 c #Conflicts: 265000 | #Constraints: 23821
1117.49/1120.98 c #Conflicts: 266000 | #Constraints: 24821
1117.49/1120.98 c INPROCESSING
1117.49/1120.98 c GARBAGE COLLECT
1117.49/1120.98 c #Conflicts: 267000 | #Constraints: 15621
1117.49/1120.98 c #Conflicts: 268000 | #Constraints: 16621
1117.49/1120.98 c #Conflicts: 269000 | #Constraints: 17621
1117.49/1120.98 c #Conflicts: 270000 | #Constraints: 18621
1117.49/1120.98 c #Conflicts: 271000 | #Constraints: 19621
1117.49/1120.98 c #Conflicts: 272000 | #Constraints: 20621
1117.49/1120.98 c #Conflicts: 273000 | #Constraints: 21621
1117.49/1120.98 c #Conflicts: 274000 | #Constraints: 22621
1117.49/1120.98 c #Conflicts: 275000 | #Constraints: 23621
1117.49/1120.98 c #Conflicts: 276000 | #Constraints: 24621
1117.49/1120.98 c #Conflicts: 277000 | #Constraints: 25621
1117.49/1120.98 c INPROCESSING
1117.49/1120.98 c GARBAGE COLLECT
1117.49/1120.98 c #Conflicts: 278000 | #Constraints: 16215
1117.49/1120.98 c #Conflicts: 279000 | #Constraints: 17215
1117.49/1120.98 c #Conflicts: 280000 | #Constraints: 18215
1117.49/1120.98 c #Conflicts: 281000 | #Constraints: 19215
1117.49/1120.98 c #Conflicts: 282000 | #Constraints: 20215
1409.52/1413.84 c #Conflicts: 283000 | #Constraints: 21215
1409.52/1413.84 c #Conflicts: 284000 | #Constraints: 22215
1409.52/1413.84 c #Conflicts: 285000 | #Constraints: 23215
1409.52/1413.84 c #Conflicts: 286000 | #Constraints: 24215
1409.52/1413.84 c #Conflicts: 287000 | #Constraints: 25215
1409.52/1413.84 c #Conflicts: 288000 | #Constraints: 26215
1409.52/1413.84 c INPROCESSING
1409.52/1413.84 c GARBAGE COLLECT
1409.52/1413.84 c #Conflicts: 289000 | #Constraints: 16610
1409.52/1413.84 c #Conflicts: 290000 | #Constraints: 17610
1409.52/1413.84 c #Conflicts: 291000 | #Constraints: 18610
1409.52/1413.84 c #Conflicts: 292000 | #Constraints: 19610
1409.52/1413.84 c #Conflicts: 293000 | #Constraints: 20610
1409.52/1413.84 c #Conflicts: 294000 | #Constraints: 21610
1409.52/1413.84 c #Conflicts: 295000 | #Constraints: 22610
1409.52/1413.84 c #Conflicts: 296000 | #Constraints: 23610
1409.52/1413.84 c #Conflicts: 297000 | #Constraints: 24610
1409.52/1413.84 c #Conflicts: 298000 | #Constraints: 25610
1409.52/1413.84 c #Conflicts: 299000 | #Constraints: 26610
1409.52/1413.84 c INPROCESSING
1409.52/1413.84 c GARBAGE COLLECT
1409.52/1413.84 c #Conflicts: 300000 | #Constraints: 16818
1409.52/1413.84 c #Conflicts: 301000 | #Constraints: 17818
1409.52/1413.84 c #Conflicts: 302000 | #Constraints: 18818
1409.52/1413.84 c #Conflicts: 303000 | #Constraints: 19818
1409.52/1413.84 c #Conflicts: 304000 | #Constraints: 20818
1409.52/1413.84 c #Conflicts: 305000 | #Constraints: 21818
1409.52/1413.84 c #Conflicts: 306000 | #Constraints: 22818
1409.52/1413.84 c #Conflicts: 307000 | #Constraints: 23818
1409.52/1413.84 c #Conflicts: 308000 | #Constraints: 24818
1409.52/1413.84 c #Conflicts: 309000 | #Constraints: 25818
1409.52/1413.84 c #Conflicts: 310000 | #Constraints: 26818
1409.52/1413.84 c INPROCESSING
1409.52/1413.84 c GARBAGE COLLECT
1409.52/1413.84 c #Conflicts: 311000 | #Constraints: 16821
1409.52/1413.84 c #Conflicts: 312000 | #Constraints: 17821
1409.52/1413.84 c #Conflicts: 313000 | #Constraints: 18821
1409.52/1413.84 c #Conflicts: 314000 | #Constraints: 19821
1409.52/1413.84 c #Conflicts: 315000 | #Constraints: 20821
1409.52/1413.84 c #Conflicts: 316000 | #Constraints: 21821
1409.52/1413.84 c #Conflicts: 317000 | #Constraints: 22821
1409.52/1413.84 c #Conflicts: 318000 | #Constraints: 23821
1409.52/1413.84 c #Conflicts: 319000 | #Constraints: 24821
1409.52/1413.84 c #Conflicts: 320000 | #Constraints: 25821
1409.52/1413.84 c #Conflicts: 321000 | #Constraints: 26821
1409.52/1413.84 c INPROCESSING
1409.52/1413.84 c GARBAGE COLLECT
1409.52/1413.84 c #Conflicts: 322000 | #Constraints: 16621
1409.52/1413.84 c #Conflicts: 323000 | #Constraints: 17621
1409.52/1413.84 c #Conflicts: 324000 | #Constraints: 18621
1409.52/1413.84 c #Conflicts: 325000 | #Constraints: 19621
1409.52/1413.84 c #Conflicts: 326000 | #Constraints: 20621
1409.52/1413.84 c #Conflicts: 327000 | #Constraints: 21621
1409.52/1413.84 c #Conflicts: 328000 | #Constraints: 22621
1409.52/1413.84 c #Conflicts: 329000 | #Constraints: 23621
1409.52/1413.84 c #Conflicts: 330000 | #Constraints: 24621
1409.52/1413.84 c #Conflicts: 331000 | #Constraints: 25621
1409.52/1413.84 c #Conflicts: 332000 | #Constraints: 26621
1409.52/1413.84 c #Conflicts: 333000 | #Constraints: 27621
1409.52/1413.84 c INPROCESSING
1409.52/1413.84 c GARBAGE COLLECT
1409.52/1413.84 c #Conflicts: 334000 | #Constraints: 17215
1409.52/1413.84 c #Conflicts: 335000 | #Constraints: 18215
1409.52/1413.84 c #Conflicts: 336000 | #Constraints: 19215
1409.52/1413.84 c #Conflicts: 337000 | #Constraints: 20215
1409.52/1413.84 c #Conflicts: 338000 | #Constraints: 21215
1409.52/1413.84 c #Conflicts: 339000 | #Constraints: 22215
1409.52/1413.84 c #Conflicts: 340000 | #Constraints: 23215
1409.52/1413.84 c #Conflicts: 341000 | #Constraints: 24215
1409.52/1413.84 c #Conflicts: 342000 | #Constraints: 25215
1409.52/1413.84 c #Conflicts: 343000 | #Constraints: 26215
1409.52/1413.84 c #Conflicts: 344000 | #Constraints: 27215
1409.52/1413.84 c #Conflicts: 345000 | #Constraints: 28215
1409.52/1413.84 c INPROCESSING
1409.52/1413.84 c GARBAGE COLLECT
1409.52/1413.84 c #Conflicts: 346000 | #Constraints: 17612
1409.52/1413.84 c #Conflicts: 347000 | #Constraints: 18612
1409.52/1413.84 c #Conflicts: 348000 | #Constraints: 19612
1409.52/1413.84 c #Conflicts: 349000 | #Constraints: 20612
1409.52/1413.84 c #Conflicts: 350000 | #Constraints: 21612
1409.52/1413.84 c #Conflicts: 351000 | #Constraints: 22612
1409.52/1413.84 c #Conflicts: 352000 | #Constraints: 23612
1409.52/1413.84 c #Conflicts: 353000 | #Constraints: 24612
1409.52/1413.84 c #Conflicts: 354000 | #Constraints: 25612
1409.52/1413.84 c #Conflicts: 355000 | #Constraints: 26612
1409.52/1413.84 c #Conflicts: 356000 | #Constraints: 27612
1409.52/1413.84 c #Conflicts: 357000 | #Constraints: 28612
1744.12/1749.43 c INPROCESSING
1744.12/1749.43 c GARBAGE COLLECT
1744.12/1749.43 c #Conflicts: 358000 | #Constraints: 17810
1744.12/1749.43 c #Conflicts: 359000 | #Constraints: 18810
1744.12/1749.43 c #Conflicts: 360000 | #Constraints: 19810
1744.12/1749.43 c #Conflicts: 361000 | #Constraints: 20810
1744.12/1749.43 c #Conflicts: 362000 | #Constraints: 21810
1744.12/1749.43 c #Conflicts: 363000 | #Constraints: 22810
1744.12/1749.43 c #Conflicts: 364000 | #Constraints: 23810
1744.12/1749.43 c #Conflicts: 365000 | #Constraints: 24810
1744.12/1749.43 c #Conflicts: 366000 | #Constraints: 25810
1744.12/1749.43 c #Conflicts: 367000 | #Constraints: 26810
1744.12/1749.43 c #Conflicts: 368000 | #Constraints: 27810
1744.12/1749.43 c #Conflicts: 369000 | #Constraints: 28810
1744.12/1749.43 c INPROCESSING
1744.12/1749.43 c GARBAGE COLLECT
1744.12/1749.43 c #Conflicts: 370000 | #Constraints: 17820
1744.12/1749.43 c #Conflicts: 371000 | #Constraints: 18820
1744.12/1749.43 c #Conflicts: 372000 | #Constraints: 19820
1744.12/1749.43 c #Conflicts: 373000 | #Constraints: 20820
1744.12/1749.43 c #Conflicts: 374000 | #Constraints: 21820
1744.12/1749.43 c #Conflicts: 375000 | #Constraints: 22820
1744.12/1749.43 c #Conflicts: 376000 | #Constraints: 23820
1744.12/1749.43 c #Conflicts: 377000 | #Constraints: 24820
1744.12/1749.43 c #Conflicts: 378000 | #Constraints: 25820
1744.12/1749.43 c #Conflicts: 379000 | #Constraints: 26820
1744.12/1749.43 c #Conflicts: 380000 | #Constraints: 27820
1744.12/1749.43 c #Conflicts: 381000 | #Constraints: 28820
1744.12/1749.43 c INPROCESSING
1744.12/1749.43 c GARBAGE COLLECT
1744.12/1749.43 c #Conflicts: 382000 | #Constraints: 17616
1744.12/1749.43 c #Conflicts: 383000 | #Constraints: 18616
1744.12/1749.43 c #Conflicts: 384000 | #Constraints: 19616
1744.12/1749.43 c #Conflicts: 385000 | #Constraints: 20616
1744.12/1749.43 c #Conflicts: 386000 | #Constraints: 21616
1744.12/1749.43 c #Conflicts: 387000 | #Constraints: 22616
1744.12/1749.43 c #Conflicts: 388000 | #Constraints: 23616
1744.12/1749.43 c #Conflicts: 389000 | #Constraints: 24616
1744.12/1749.43 c #Conflicts: 390000 | #Constraints: 25616
1744.12/1749.43 c #Conflicts: 391000 | #Constraints: 26616
1744.12/1749.43 c #Conflicts: 392000 | #Constraints: 27616
1744.12/1749.43 c #Conflicts: 393000 | #Constraints: 28616
1744.12/1749.43 c #Conflicts: 394000 | #Constraints: 29616
1744.12/1749.43 c INPROCESSING
1744.12/1749.43 c GARBAGE COLLECT
1744.12/1749.43 c #Conflicts: 395000 | #Constraints: 18220
1744.12/1749.43 c #Conflicts: 396000 | #Constraints: 19220
1744.12/1749.43 c #Conflicts: 397000 | #Constraints: 20220
1744.12/1749.43 c #Conflicts: 398000 | #Constraints: 21220
1744.12/1749.43 c #Conflicts: 399000 | #Constraints: 22220
1744.12/1749.43 c #Conflicts: 400000 | #Constraints: 23220
1744.12/1749.43 c #Conflicts: 401000 | #Constraints: 24220
1744.12/1749.43 c #Conflicts: 402000 | #Constraints: 25220
1744.12/1749.43 c #Conflicts: 403000 | #Constraints: 26220
1744.12/1749.43 c #Conflicts: 404000 | #Constraints: 27220
1744.12/1749.43 c #Conflicts: 405000 | #Constraints: 28220
1744.12/1749.43 c #Conflicts: 406000 | #Constraints: 29220
1744.12/1749.43 c #Conflicts: 407000 | #Constraints: 30220
1744.12/1749.43 c INPROCESSING
1744.12/1749.43 c GARBAGE COLLECT
1744.12/1749.43 c #Conflicts: 408000 | #Constraints: 18622
1744.12/1749.43 c #Conflicts: 409000 | #Constraints: 19622
1744.12/1749.43 c #Conflicts: 410000 | #Constraints: 20622
1744.12/1749.43 c #Conflicts: 411000 | #Constraints: 21622
1744.12/1749.43 c #Conflicts: 412000 | #Constraints: 22622
1744.12/1749.43 c #Conflicts: 413000 | #Constraints: 23622
1744.12/1749.43 c #Conflicts: 414000 | #Constraints: 24622
1744.12/1749.43 c #Conflicts: 415000 | #Constraints: 25622
1744.12/1749.43 c #Conflicts: 416000 | #Constraints: 26622
1744.12/1749.43 c #Conflicts: 417000 | #Constraints: 27622
1744.12/1749.43 c #Conflicts: 418000 | #Constraints: 28622
1744.12/1749.43 c #Conflicts: 419000 | #Constraints: 29622
1744.12/1749.43 c #Conflicts: 420000 | #Constraints: 30622
1744.12/1749.43 c INPROCESSING
1744.12/1749.43 c GARBAGE COLLECT
1744.12/1749.43 c #Conflicts: 421000 | #Constraints: 18827
1744.12/1749.43 c #Conflicts: 422000 | #Constraints: 19827
1744.12/1749.43 c #Conflicts: 423000 | #Constraints: 20827
1744.12/1749.43 c #Conflicts: 424000 | #Constraints: 21827
1744.12/1749.43 c #Conflicts: 425000 | #Constraints: 22827
1744.12/1749.43 c #Conflicts: 426000 | #Constraints: 23827
1744.12/1749.43 c #Conflicts: 427000 | #Constraints: 24827
1744.12/1749.43 c #Conflicts: 428000 | #Constraints: 25827
1744.12/1749.43 c #Conflicts: 429000 | #Constraints: 26827
1744.12/1749.43 c #Conflicts: 430000 | #Constraints: 27827
1744.12/1749.43 c #Conflicts: 431000 | #Constraints: 28827
1744.12/1749.43 c #Conflicts: 432000 | #Constraints: 29827
2108.25/2114.60 c #Conflicts: 433000 | #Constraints: 30827
2108.25/2114.60 c INPROCESSING
2108.25/2114.60 c GARBAGE COLLECT
2108.25/2114.60 c #Conflicts: 434000 | #Constraints: 18832
2108.25/2114.60 c #Conflicts: 435000 | #Constraints: 19832
2108.25/2114.60 c #Conflicts: 436000 | #Constraints: 20832
2108.25/2114.60 c #Conflicts: 437000 | #Constraints: 21832
2108.25/2114.60 c #Conflicts: 438000 | #Constraints: 22832
2108.25/2114.60 c #Conflicts: 439000 | #Constraints: 23832
2108.25/2114.60 c #Conflicts: 440000 | #Constraints: 24832
2108.25/2114.60 c #Conflicts: 441000 | #Constraints: 25832
2108.25/2114.60 c #Conflicts: 442000 | #Constraints: 26832
2108.25/2114.60 c #Conflicts: 443000 | #Constraints: 27832
2108.25/2114.60 c #Conflicts: 444000 | #Constraints: 28832
2108.25/2114.60 c #Conflicts: 445000 | #Constraints: 29832
2108.25/2114.60 c #Conflicts: 446000 | #Constraints: 30832
2108.25/2114.60 c INPROCESSING
2108.25/2114.60 c GARBAGE COLLECT
2108.25/2114.60 c #Conflicts: 447000 | #Constraints: 18631
2108.25/2114.60 c #Conflicts: 448000 | #Constraints: 19631
2108.25/2114.60 c #Conflicts: 449000 | #Constraints: 20631
2108.25/2114.60 c #Conflicts: 450000 | #Constraints: 21631
2108.25/2114.60 c #Conflicts: 451000 | #Constraints: 22631
2108.25/2114.60 c #Conflicts: 452000 | #Constraints: 23631
2108.25/2114.60 c #Conflicts: 453000 | #Constraints: 24631
2108.25/2114.60 c #Conflicts: 454000 | #Constraints: 25631
2108.25/2114.60 c #Conflicts: 455000 | #Constraints: 26631
2108.25/2114.60 c #Conflicts: 456000 | #Constraints: 27631
2108.25/2114.60 c #Conflicts: 457000 | #Constraints: 28631
2108.25/2114.60 c #Conflicts: 458000 | #Constraints: 29631
2108.25/2114.60 c #Conflicts: 459000 | #Constraints: 30631
2108.25/2114.60 c #Conflicts: 460000 | #Constraints: 31631
2108.25/2114.60 c INPROCESSING
2108.25/2114.60 c GARBAGE COLLECT
2108.25/2114.60 c #Conflicts: 461000 | #Constraints: 19232
2108.25/2114.60 c #Conflicts: 462000 | #Constraints: 20232
2108.25/2114.60 c #Conflicts: 463000 | #Constraints: 21232
2108.25/2114.60 c #Conflicts: 464000 | #Constraints: 22232
2108.25/2114.60 c #Conflicts: 465000 | #Constraints: 23232
2108.25/2114.60 c #Conflicts: 466000 | #Constraints: 24232
2108.25/2114.60 c #Conflicts: 467000 | #Constraints: 25232
2108.25/2114.60 c #Conflicts: 468000 | #Constraints: 26232
2108.25/2114.60 c #Conflicts: 469000 | #Constraints: 27232
2108.25/2114.60 c #Conflicts: 470000 | #Constraints: 28232
2108.25/2114.60 c #Conflicts: 471000 | #Constraints: 29232
2108.25/2114.60 c #Conflicts: 472000 | #Constraints: 30232
2108.25/2114.60 c #Conflicts: 473000 | #Constraints: 31232
2108.25/2114.60 c #Conflicts: 474000 | #Constraints: 32232
2108.25/2114.60 c INPROCESSING
2108.25/2114.60 c GARBAGE COLLECT
2108.25/2114.60 c #Conflicts: 475000 | #Constraints: 19628
2108.25/2114.60 c #Conflicts: 476000 | #Constraints: 20628
2108.25/2114.60 c #Conflicts: 477000 | #Constraints: 21628
2108.25/2114.60 c #Conflicts: 478000 | #Constraints: 22628
2108.25/2114.60 c #Conflicts: 479000 | #Constraints: 23628
2108.25/2114.60 c #Conflicts: 480000 | #Constraints: 24628
2108.25/2114.60 c #Conflicts: 481000 | #Constraints: 25628
2108.25/2114.60 c #Conflicts: 482000 | #Constraints: 26628
2108.25/2114.60 c #Conflicts: 483000 | #Constraints: 27628
2108.25/2114.60 c #Conflicts: 484000 | #Constraints: 28628
2108.25/2114.60 c #Conflicts: 485000 | #Constraints: 29628
2108.25/2114.60 c #Conflicts: 486000 | #Constraints: 30628
2108.25/2114.60 c #Conflicts: 487000 | #Constraints: 31628
2108.25/2114.60 c #Conflicts: 488000 | #Constraints: 32628
2108.25/2114.60 c INPROCESSING
2108.25/2114.60 c GARBAGE COLLECT
2108.25/2114.60 c #Conflicts: 489000 | #Constraints: 19828
2108.25/2114.60 c #Conflicts: 490000 | #Constraints: 20828
2108.25/2114.60 c #Conflicts: 491000 | #Constraints: 21828
2108.25/2114.60 c #Conflicts: 492000 | #Constraints: 22828
2108.25/2114.60 c #Conflicts: 493000 | #Constraints: 23828
2108.25/2114.60 c #Conflicts: 494000 | #Constraints: 24828
2108.25/2114.60 c #Conflicts: 495000 | #Constraints: 25828
2108.25/2114.60 c #Conflicts: 496000 | #Constraints: 26828
2108.25/2114.60 c #Conflicts: 497000 | #Constraints: 27828
2108.25/2114.60 c #Conflicts: 498000 | #Constraints: 28828
2108.25/2114.60 c #Conflicts: 499000 | #Constraints: 29828
2108.25/2114.60 c #Conflicts: 500000 | #Constraints: 30828
2108.25/2114.60 c #Conflicts: 501000 | #Constraints: 31828
2108.25/2114.60 c #Conflicts: 502000 | #Constraints: 32828
2108.25/2114.60 c INPROCESSING
2108.25/2114.60 c GARBAGE COLLECT
2108.25/2114.60 c #Conflicts: 503000 | #Constraints: 19825
2108.25/2114.60 c #Conflicts: 504000 | #Constraints: 20825
2108.25/2114.60 c #Conflicts: 505000 | #Constraints: 21825
2108.25/2114.60 c #Conflicts: 506000 | #Constraints: 22825
2480.59/2488.06 c #Conflicts: 507000 | #Constraints: 23825
2480.59/2488.06 c #Conflicts: 508000 | #Constraints: 24825
2480.59/2488.06 c #Conflicts: 509000 | #Constraints: 25825
2480.59/2488.06 c #Conflicts: 510000 | #Constraints: 26825
2480.59/2488.06 c #Conflicts: 511000 | #Constraints: 27825
2480.59/2488.06 c #Conflicts: 512000 | #Constraints: 28825
2480.59/2488.06 c #Conflicts: 513000 | #Constraints: 29825
2480.59/2488.06 c #Conflicts: 514000 | #Constraints: 30825
2480.59/2488.06 c #Conflicts: 515000 | #Constraints: 31825
2480.59/2488.06 c #Conflicts: 516000 | #Constraints: 32825
2480.59/2488.06 c INPROCESSING
2480.59/2488.06 c GARBAGE COLLECT
2480.59/2488.06 c #Conflicts: 517000 | #Constraints: 19618
2480.59/2488.06 c #Conflicts: 518000 | #Constraints: 20618
2480.59/2488.06 c #Conflicts: 519000 | #Constraints: 21618
2480.59/2488.06 c #Conflicts: 520000 | #Constraints: 22618
2480.59/2488.06 c #Conflicts: 521000 | #Constraints: 23618
2480.59/2488.06 c #Conflicts: 522000 | #Constraints: 24618
2480.59/2488.06 c #Conflicts: 523000 | #Constraints: 25618
2480.59/2488.06 c #Conflicts: 524000 | #Constraints: 26618
2480.59/2488.06 c #Conflicts: 525000 | #Constraints: 27618
2480.59/2488.06 c #Conflicts: 526000 | #Constraints: 28618
2480.59/2488.06 c #Conflicts: 527000 | #Constraints: 29618
2480.59/2488.06 c #Conflicts: 528000 | #Constraints: 30618
2480.59/2488.06 c #Conflicts: 529000 | #Constraints: 31618
2480.59/2488.06 c #Conflicts: 530000 | #Constraints: 32618
2480.59/2488.06 c #Conflicts: 531000 | #Constraints: 33618
2480.59/2488.06 c INPROCESSING
2480.59/2488.06 c GARBAGE COLLECT
2480.59/2488.06 c #Conflicts: 532000 | #Constraints: 20220
2480.59/2488.06 c #Conflicts: 533000 | #Constraints: 21220
2480.59/2488.06 c #Conflicts: 534000 | #Constraints: 22220
2480.59/2488.06 c #Conflicts: 535000 | #Constraints: 23220
2480.59/2488.06 c #Conflicts: 536000 | #Constraints: 24220
2480.59/2488.06 c #Conflicts: 537000 | #Constraints: 25220
2480.59/2488.06 c #Conflicts: 538000 | #Constraints: 26220
2480.59/2488.06 c #Conflicts: 539000 | #Constraints: 27220
2480.59/2488.06 c #Conflicts: 540000 | #Constraints: 28220
2480.59/2488.06 c #Conflicts: 541000 | #Constraints: 29220
2480.59/2488.06 c #Conflicts: 542000 | #Constraints: 30220
2480.59/2488.06 c #Conflicts: 543000 | #Constraints: 31220
2480.59/2488.06 c #Conflicts: 544000 | #Constraints: 32220
2480.59/2488.06 c #Conflicts: 545000 | #Constraints: 33220
2480.59/2488.06 c #Conflicts: 546000 | #Constraints: 34220
2480.59/2488.06 c INPROCESSING
2480.59/2488.06 c GARBAGE COLLECT
2480.59/2488.06 c #Conflicts: 547000 | #Constraints: 20615
2480.59/2488.06 c #Conflicts: 548000 | #Constraints: 21615
2480.59/2488.06 c #Conflicts: 549000 | #Constraints: 22615
2480.59/2488.06 c #Conflicts: 550000 | #Constraints: 23615
2480.59/2488.06 c #Conflicts: 551000 | #Constraints: 24615
2480.59/2488.06 c #Conflicts: 552000 | #Constraints: 25615
2480.59/2488.06 c #Conflicts: 553000 | #Constraints: 26615
2480.59/2488.06 c #Conflicts: 554000 | #Constraints: 27615
2480.59/2488.06 c #Conflicts: 555000 | #Constraints: 28615
2480.59/2488.06 c #Conflicts: 556000 | #Constraints: 29615
2480.59/2488.06 c #Conflicts: 557000 | #Constraints: 30615
2480.59/2488.06 c #Conflicts: 558000 | #Constraints: 31615
2480.59/2488.06 c #Conflicts: 559000 | #Constraints: 32615
2480.59/2488.06 c #Conflicts: 560000 | #Constraints: 33615
2480.59/2488.06 c #Conflicts: 561000 | #Constraints: 34615
2480.59/2488.06 c INPROCESSING
2480.59/2488.06 c GARBAGE COLLECT
2480.59/2488.06 c #Conflicts: 562000 | #Constraints: 20825
2480.59/2488.06 c #Conflicts: 563000 | #Constraints: 21825
2480.59/2488.06 c #Conflicts: 564000 | #Constraints: 22825
2480.59/2488.06 c #Conflicts: 565000 | #Constraints: 23825
2480.59/2488.06 c #Conflicts: 566000 | #Constraints: 24825
2480.59/2488.06 c #Conflicts: 567000 | #Constraints: 25825
2480.59/2488.06 c #Conflicts: 568000 | #Constraints: 26825
2480.59/2488.06 c #Conflicts: 569000 | #Constraints: 27825
2480.59/2488.06 c #Conflicts: 570000 | #Constraints: 28825
2480.59/2488.06 c #Conflicts: 571000 | #Constraints: 29825
2480.59/2488.06 c #Conflicts: 572000 | #Constraints: 30825
2480.59/2488.06 c #Conflicts: 573000 | #Constraints: 31825
2480.59/2488.06 c #Conflicts: 574000 | #Constraints: 32825
2480.59/2488.06 c #Conflicts: 575000 | #Constraints: 33825
2480.59/2488.06 c #Conflicts: 576000 | #Constraints: 34825
2480.59/2488.06 c INPROCESSING
2480.59/2488.06 c GARBAGE COLLECT
2480.59/2488.06 c #Conflicts: 577000 | #Constraints: 20823
2480.59/2488.06 c #Conflicts: 578000 | #Constraints: 21823
2480.59/2488.06 c #Conflicts: 579000 | #Constraints: 22823
2480.59/2488.06 c #Conflicts: 580000 | #Constraints: 23823
2480.59/2488.06 c #Conflicts: 581000 | #Constraints: 24823
2480.59/2488.06 c #Conflicts: 582000 | #Constraints: 25823
2836.40/2844.85 c #Conflicts: 583000 | #Constraints: 26823
2836.40/2844.85 c #Conflicts: 584000 | #Constraints: 27823
2836.40/2844.85 c #Conflicts: 585000 | #Constraints: 28823
2836.40/2844.85 c #Conflicts: 586000 | #Constraints: 29823
2836.40/2844.85 c #Conflicts: 587000 | #Constraints: 30823
2836.40/2844.85 c #Conflicts: 588000 | #Constraints: 31823
2836.40/2844.85 c #Conflicts: 589000 | #Constraints: 32823
2836.40/2844.85 c #Conflicts: 590000 | #Constraints: 33823
2836.40/2844.85 c #Conflicts: 591000 | #Constraints: 34823
2836.40/2844.85 c INPROCESSING
2836.40/2844.85 c GARBAGE COLLECT
2836.40/2844.85 c #Conflicts: 592000 | #Constraints: 20620
2836.40/2844.85 c #Conflicts: 593000 | #Constraints: 21620
2836.40/2844.85 c #Conflicts: 594000 | #Constraints: 22620
2836.40/2844.85 c #Conflicts: 595000 | #Constraints: 23620
2836.40/2844.85 c #Conflicts: 596000 | #Constraints: 24620
2836.40/2844.85 c #Conflicts: 597000 | #Constraints: 25620
2836.40/2844.85 c #Conflicts: 598000 | #Constraints: 26620
2836.40/2844.85 c #Conflicts: 599000 | #Constraints: 27620
2836.40/2844.85 c #Conflicts: 600000 | #Constraints: 28620
2836.40/2844.85 c #Conflicts: 601000 | #Constraints: 29620
2836.40/2844.85 c #Conflicts: 602000 | #Constraints: 30620
2836.40/2844.85 c #Conflicts: 603000 | #Constraints: 31620
2836.40/2844.85 c #Conflicts: 604000 | #Constraints: 32620
2836.40/2844.85 c #Conflicts: 605000 | #Constraints: 33620
2836.40/2844.85 c #Conflicts: 606000 | #Constraints: 34620
2836.40/2844.85 c #Conflicts: 607000 | #Constraints: 35620
2836.40/2844.85 c INPROCESSING
2836.40/2844.85 c GARBAGE COLLECT
2836.40/2844.85 c #Conflicts: 608000 | #Constraints: 21220
2836.40/2844.85 c #Conflicts: 609000 | #Constraints: 22220
2836.40/2844.85 c #Conflicts: 610000 | #Constraints: 23220
2836.40/2844.85 c #Conflicts: 611000 | #Constraints: 24220
2836.40/2844.85 c #Conflicts: 612000 | #Constraints: 25220
2836.40/2844.85 c #Conflicts: 613000 | #Constraints: 26220
2836.40/2844.85 c #Conflicts: 614000 | #Constraints: 27220
2836.40/2844.85 c #Conflicts: 615000 | #Constraints: 28220
2836.40/2844.85 c #Conflicts: 616000 | #Constraints: 29220
2836.40/2844.85 c #Conflicts: 617000 | #Constraints: 30220
2836.40/2844.85 c #Conflicts: 618000 | #Constraints: 31220
2836.40/2844.85 c #Conflicts: 619000 | #Constraints: 32220
2836.40/2844.85 c #Conflicts: 620000 | #Constraints: 33220
2836.40/2844.85 c #Conflicts: 621000 | #Constraints: 34220
2836.40/2844.85 c #Conflicts: 622000 | #Constraints: 35220
2836.40/2844.85 c #Conflicts: 623000 | #Constraints: 36220
2836.40/2844.85 c INPROCESSING
2836.40/2844.85 c GARBAGE COLLECT
2836.40/2844.85 c #Conflicts: 624000 | #Constraints: 21625
2836.40/2844.85 c #Conflicts: 625000 | #Constraints: 22625
2836.40/2844.85 c #Conflicts: 626000 | #Constraints: 23625
2836.40/2844.85 c #Conflicts: 627000 | #Constraints: 24625
2836.40/2844.85 c #Conflicts: 628000 | #Constraints: 25625
2836.40/2844.85 c #Conflicts: 629000 | #Constraints: 26625
2836.40/2844.85 c #Conflicts: 630000 | #Constraints: 27625
2836.40/2844.85 c #Conflicts: 631000 | #Constraints: 28625
2836.40/2844.85 c #Conflicts: 632000 | #Constraints: 29625
2836.40/2844.85 c #Conflicts: 633000 | #Constraints: 30625
2836.40/2844.85 c #Conflicts: 634000 | #Constraints: 31625
2836.40/2844.85 c #Conflicts: 635000 | #Constraints: 32625
2836.40/2844.85 c #Conflicts: 636000 | #Constraints: 33625
2836.40/2844.85 c #Conflicts: 637000 | #Constraints: 34625
2836.40/2844.85 c #Conflicts: 638000 | #Constraints: 35625
2836.40/2844.85 c #Conflicts: 639000 | #Constraints: 36625
2836.40/2844.85 c INPROCESSING
2836.40/2844.85 c GARBAGE COLLECT
2836.40/2844.85 c #Conflicts: 640000 | #Constraints: 21828
2836.40/2844.85 c #Conflicts: 641000 | #Constraints: 22828
2836.40/2844.85 c #Conflicts: 642000 | #Constraints: 23828
2836.40/2844.85 c #Conflicts: 643000 | #Constraints: 24828
2836.40/2844.85 c #Conflicts: 644000 | #Constraints: 25828
2836.40/2844.85 c #Conflicts: 645000 | #Constraints: 26828
2836.40/2844.85 c #Conflicts: 646000 | #Constraints: 27828
2836.40/2844.85 c #Conflicts: 647000 | #Constraints: 28828
2836.40/2844.85 c #Conflicts: 648000 | #Constraints: 29828
2836.40/2844.85 c #Conflicts: 649000 | #Constraints: 30828
2836.40/2844.85 c #Conflicts: 650000 | #Constraints: 31828
2836.40/2844.85 c #Conflicts: 651000 | #Constraints: 32828
2836.40/2844.85 c #Conflicts: 652000 | #Constraints: 33828
2836.40/2844.85 c #Conflicts: 653000 | #Constraints: 34828
2836.40/2844.85 c #Conflicts: 654000 | #Constraints: 35828
2836.40/2844.85 c #Conflicts: 655000 | #Constraints: 36828
2836.40/2844.85 c INPROCESSING
2836.40/2844.85 c GARBAGE COLLECT
2836.40/2844.85 c #Conflicts: 656000 | #Constraints: 21822
2836.40/2844.85 c #Conflicts: 657000 | #Constraints: 22822
2836.40/2844.85 c #Conflicts: 658000 | #Constraints: 23822
3218.42/3227.76 c #Conflicts: 659000 | #Constraints: 24822
3218.42/3227.76 c #Conflicts: 660000 | #Constraints: 25822
3218.42/3227.76 c #Conflicts: 661000 | #Constraints: 26822
3218.42/3227.76 c #Conflicts: 662000 | #Constraints: 27822
3218.42/3227.76 c #Conflicts: 663000 | #Constraints: 28822
3218.42/3227.76 c #Conflicts: 664000 | #Constraints: 29822
3218.42/3227.76 c #Conflicts: 665000 | #Constraints: 30822
3218.42/3227.76 c #Conflicts: 666000 | #Constraints: 31822
3218.42/3227.76 c #Conflicts: 667000 | #Constraints: 32822
3218.42/3227.76 c #Conflicts: 668000 | #Constraints: 33822
3218.42/3227.76 c #Conflicts: 669000 | #Constraints: 34822
3218.42/3227.76 c #Conflicts: 670000 | #Constraints: 35822
3218.42/3227.76 c #Conflicts: 671000 | #Constraints: 36822
3218.42/3227.76 c INPROCESSING
3218.42/3227.76 c GARBAGE COLLECT
3218.42/3227.76 c #Conflicts: 672000 | #Constraints: 21618
3218.42/3227.76 c #Conflicts: 673000 | #Constraints: 22618
3218.42/3227.76 c #Conflicts: 674000 | #Constraints: 23618
3218.42/3227.76 c #Conflicts: 675000 | #Constraints: 24618
3218.42/3227.76 c #Conflicts: 676000 | #Constraints: 25618
3218.42/3227.76 c #Conflicts: 677000 | #Constraints: 26618
3218.42/3227.78 c #Conflicts: 678000 | #Constraints: 27618
3218.42/3227.78 c #Conflicts: 679000 | #Constraints: 28618
3218.42/3227.78 c #Conflicts: 680000 | #Constraints: 29618
3218.42/3227.78 c #Conflicts: 681000 | #Constraints: 30618
3218.42/3227.78 c #Conflicts: 682000 | #Constraints: 31618
3218.42/3227.78 c #Conflicts: 683000 | #Constraints: 32618
3218.42/3227.78 c #Conflicts: 684000 | #Constraints: 33618
3218.42/3227.78 c #Conflicts: 685000 | #Constraints: 34618
3218.42/3227.78 c #Conflicts: 686000 | #Constraints: 35618
3218.42/3227.78 c #Conflicts: 687000 | #Constraints: 36618
3218.42/3227.78 c #Conflicts: 688000 | #Constraints: 37618
3218.42/3227.78 c INPROCESSING
3218.42/3227.78 c GARBAGE COLLECT
3218.42/3227.78 c #Conflicts: 689000 | #Constraints: 22221
3218.42/3227.78 c #Conflicts: 690000 | #Constraints: 23221
3218.42/3227.78 c #Conflicts: 691000 | #Constraints: 24221
3218.42/3227.78 c #Conflicts: 692000 | #Constraints: 25221
3218.42/3227.78 c #Conflicts: 693000 | #Constraints: 26221
3218.42/3227.78 c #Conflicts: 694000 | #Constraints: 27221
3218.42/3227.78 c #Conflicts: 695000 | #Constraints: 28221
3218.42/3227.78 c #Conflicts: 696000 | #Constraints: 29221
3218.42/3227.78 c #Conflicts: 697000 | #Constraints: 30221
3218.42/3227.78 c #Conflicts: 698000 | #Constraints: 31221
3218.42/3227.78 c #Conflicts: 699000 | #Constraints: 32221
3218.42/3227.78 c #Conflicts: 700000 | #Constraints: 33221
3218.42/3227.78 c #Conflicts: 701000 | #Constraints: 34221
3218.42/3227.78 c #Conflicts: 702000 | #Constraints: 35221
3218.42/3227.78 c #Conflicts: 703000 | #Constraints: 36221
3218.42/3227.78 c #Conflicts: 704000 | #Constraints: 37221
3218.42/3227.78 c #Conflicts: 705000 | #Constraints: 38221
3218.42/3227.78 c INPROCESSING
3218.42/3227.78 c GARBAGE COLLECT
3218.42/3227.78 c #Conflicts: 706000 | #Constraints: 22623
3218.42/3227.78 c #Conflicts: 707000 | #Constraints: 23623
3218.42/3227.78 c #Conflicts: 708000 | #Constraints: 24623
3218.42/3227.78 c #Conflicts: 709000 | #Constraints: 25623
3218.42/3227.78 c #Conflicts: 710000 | #Constraints: 26623
3218.42/3227.78 c #Conflicts: 711000 | #Constraints: 27623
3218.42/3227.78 c #Conflicts: 712000 | #Constraints: 28623
3218.42/3227.78 c #Conflicts: 713000 | #Constraints: 29623
3218.42/3227.78 c #Conflicts: 714000 | #Constraints: 30623
3218.42/3227.78 c #Conflicts: 715000 | #Constraints: 31623
3218.42/3227.78 c #Conflicts: 716000 | #Constraints: 32623
3218.42/3227.78 c #Conflicts: 717000 | #Constraints: 33623
3218.42/3227.78 c #Conflicts: 718000 | #Constraints: 34623
3218.42/3227.78 c #Conflicts: 719000 | #Constraints: 35623
3218.42/3227.78 c #Conflicts: 720000 | #Constraints: 36623
3218.42/3227.78 c #Conflicts: 721000 | #Constraints: 37623
3218.42/3227.78 c #Conflicts: 722000 | #Constraints: 38623
3218.42/3227.78 c INPROCESSING
3218.42/3227.78 c GARBAGE COLLECT
3218.42/3227.78 c #Conflicts: 723000 | #Constraints: 22829
3218.42/3227.78 c #Conflicts: 724000 | #Constraints: 23829
3218.42/3227.78 c #Conflicts: 725000 | #Constraints: 24829
3218.42/3227.78 c #Conflicts: 726000 | #Constraints: 25829
3218.42/3227.78 c #Conflicts: 727000 | #Constraints: 26829
3218.42/3227.78 c #Conflicts: 728000 | #Constraints: 27829
3218.42/3227.78 c #Conflicts: 729000 | #Constraints: 28829
3218.42/3227.78 c #Conflicts: 730000 | #Constraints: 29829
3218.42/3227.78 c #Conflicts: 731000 | #Constraints: 30829
3218.42/3227.78 c #Conflicts: 732000 | #Constraints: 31829
3218.42/3227.78 c #Conflicts: 733000 | #Constraints: 32829
3218.42/3227.78 c #Conflicts: 734000 | #Constraints: 33829
3600.05/3610.20 c #Conflicts: 735000 | #Constraints: 34829
3600.05/3610.20 c #Conflicts: 736000 | #Constraints: 35829
3600.05/3610.20 c #Conflicts: 737000 | #Constraints: 36829
3600.05/3610.20 c #Conflicts: 738000 | #Constraints: 37829
3600.05/3610.20 c #Conflicts: 739000 | #Constraints: 38829
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 740000 | #Constraints: 22834
3600.05/3610.20 c #Conflicts: 741000 | #Constraints: 23834
3600.05/3610.20 c #Conflicts: 742000 | #Constraints: 24834
3600.05/3610.20 c #Conflicts: 743000 | #Constraints: 25834
3600.05/3610.20 c #Conflicts: 744000 | #Constraints: 26834
3600.05/3610.20 c #Conflicts: 745000 | #Constraints: 27834
3600.05/3610.20 c #Conflicts: 746000 | #Constraints: 28834
3600.05/3610.20 c #Conflicts: 747000 | #Constraints: 29834
3600.05/3610.20 c #Conflicts: 748000 | #Constraints: 30834
3600.05/3610.20 c #Conflicts: 749000 | #Constraints: 31834
3600.05/3610.20 c #Conflicts: 750000 | #Constraints: 32834
3600.05/3610.20 c #Conflicts: 751000 | #Constraints: 33834
3600.05/3610.20 c #Conflicts: 752000 | #Constraints: 34834
3600.05/3610.20 c #Conflicts: 753000 | #Constraints: 35834
3600.05/3610.20 c #Conflicts: 754000 | #Constraints: 36834
3600.05/3610.20 c #Conflicts: 755000 | #Constraints: 37834
3600.05/3610.20 c #Conflicts: 756000 | #Constraints: 38834
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 757000 | #Constraints: 22628
3600.05/3610.20 c #Conflicts: 758000 | #Constraints: 23628
3600.05/3610.20 c #Conflicts: 759000 | #Constraints: 24628
3600.05/3610.20 c #Conflicts: 760000 | #Constraints: 25628
3600.05/3610.20 c #Conflicts: 761000 | #Constraints: 26628
3600.05/3610.20 c #Conflicts: 762000 | #Constraints: 27628
3600.05/3610.20 c #Conflicts: 763000 | #Constraints: 28628
3600.05/3610.20 c #Conflicts: 764000 | #Constraints: 29628
3600.05/3610.20 c #Conflicts: 765000 | #Constraints: 30628
3600.05/3610.20 c #Conflicts: 766000 | #Constraints: 31628
3600.05/3610.20 c #Conflicts: 767000 | #Constraints: 32628
3600.05/3610.20 c #Conflicts: 768000 | #Constraints: 33628
3600.05/3610.20 c #Conflicts: 769000 | #Constraints: 34628
3600.05/3610.20 c #Conflicts: 770000 | #Constraints: 35628
3600.05/3610.20 c #Conflicts: 771000 | #Constraints: 36628
3600.05/3610.20 c #Conflicts: 772000 | #Constraints: 37628
3600.05/3610.20 c #Conflicts: 773000 | #Constraints: 38628
3600.05/3610.20 c #Conflicts: 774000 | #Constraints: 39628
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 775000 | #Constraints: 23225
3600.05/3610.20 c #Conflicts: 776000 | #Constraints: 24225
3600.05/3610.20 c #Conflicts: 777000 | #Constraints: 25225
3600.05/3610.20 c #Conflicts: 778000 | #Constraints: 26225
3600.05/3610.20 c #Conflicts: 779000 | #Constraints: 27225
3600.05/3610.20 c #Conflicts: 780000 | #Constraints: 28225
3600.05/3610.20 c #Conflicts: 781000 | #Constraints: 29225
3600.05/3610.20 c #Conflicts: 782000 | #Constraints: 30225
3600.05/3610.20 c #Conflicts: 783000 | #Constraints: 31225
3600.05/3610.20 c #Conflicts: 784000 | #Constraints: 32225
3600.05/3610.20 c #Conflicts: 785000 | #Constraints: 33225
3600.05/3610.20 c #Conflicts: 786000 | #Constraints: 34225
3600.05/3610.20 c #Conflicts: 787000 | #Constraints: 35225
3600.05/3610.20 c #Conflicts: 788000 | #Constraints: 36225
3600.05/3610.20 c #Conflicts: 789000 | #Constraints: 37225
3600.05/3610.20 c #Conflicts: 790000 | #Constraints: 38225
3600.05/3610.20 c #Conflicts: 791000 | #Constraints: 39225
3600.05/3610.20 c #Conflicts: 792000 | #Constraints: 40225
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 793000 | #Constraints: 23625
3600.05/3610.20 c #Conflicts: 794000 | #Constraints: 24625
3600.05/3610.20 c #Conflicts: 795000 | #Constraints: 25625
3600.05/3610.20 c #Conflicts: 796000 | #Constraints: 26625
3600.05/3610.20 c #Conflicts: 797000 | #Constraints: 27625
3600.05/3610.20 c #Conflicts: 798000 | #Constraints: 28625
3600.05/3610.20 c #Conflicts: 799000 | #Constraints: 29625
3600.05/3610.20 c #Conflicts: 800000 | #Constraints: 30625
3600.05/3610.20 c #Conflicts: 801000 | #Constraints: 31625
3600.05/3610.20 c #Conflicts: 802000 | #Constraints: 32625
3600.05/3610.20 c #Conflicts: 803000 | #Constraints: 33625
3600.05/3610.20 c #Conflicts: 804000 | #Constraints: 34625
3600.05/3610.20 c #Conflicts: 805000 | #Constraints: 35625
3600.05/3610.20 c #Conflicts: 806000 | #Constraints: 36625
3600.05/3610.20 c #Conflicts: 807000 | #Constraints: 37625
3600.05/3610.20 c #Conflicts: 808000 | #Constraints: 38625
3600.05/3610.20 c #Conflicts: 809000 | #Constraints: 39625
3600.05/3610.20 c Program interrupted by user.
3600.05/3610.20 c cpu time 3588.97 s
3600.05/3610.20 c deterministic time 659682947435 6.60e+11
3600.05/3610.20 c optimization time 88.6535 s
3600.05/3610.20 c total solve time 3201.22 s
3600.05/3610.20 c core-guided solve time 3201.22 s
3600.05/3610.20 c propagation time 2233.51 s
3600.05/3610.20 c conflict analysis time 824.758 s
3600.05/3610.20 c propagations 203159903
3600.05/3610.20 c resolve steps 7279976
3600.05/3610.20 c decisions 7351124
3600.05/3610.20 c conflicts 809662
3600.05/3610.20 c restarts 1738
3600.05/3610.20 c inprocessing phases 80
3600.05/3610.20 c input clauses 2568
3600.05/3610.20 c input cardinalities 0
3600.05/3610.20 c input general constraints 3103
3600.05/3610.20 c input average constraint length 390.64
3600.05/3610.20 c input average constraint degree 65.99
3600.05/3610.20 c learned clauses 178866
3600.05/3610.20 c learned cardinalities 214
3600.05/3610.20 c learned general constraints 630975
3600.05/3610.20 c learned average constraint length 1940.20
3600.05/3610.20 c learned average constraint degree 34859586.46
3600.05/3610.20 c watched constraints 384112
3600.05/3610.20 c counting constraints 249966
3600.05/3610.20 c gcd simplifications 73080
3600.05/3610.20 c detected cardinalities 16
3600.05/3610.20 c weakened non-implied lits 531306872
3600.05/3610.20 c weakened non-implying lits 228464
3600.05/3610.20 c original variables 3625
3600.05/3610.20 c clausal propagations 26445247
3600.05/3610.20 c cardinality propagations 63
3600.05/3610.20 c watched propagations 6082220
3600.05/3610.20 c counting propagations 168461595
3600.05/3610.20 c watch lookups 38790637271
3600.05/3610.20 c watch backjump lookups 37785995851
3600.05/3610.20 c watch checks 438666978386
3600.05/3610.20 c propagation checks 137656848429
3600.05/3610.20 c constraint additions 6360658941
3600.05/3610.20 c trail pops 211317529
3600.05/3610.20 c formula constraints 4800
3600.05/3610.20 c learned constraints 810055
3600.05/3610.20 c bound constraints 703
3600.05/3610.20 c core-guided constraints 168
3600.05/3610.20 c encountered formula constraints 5370893
3600.05/3610.20 c encountered learned constraints 2636123
3600.05/3610.20 c encountered bound constraints 109
3600.05/3610.20 c encountered core-guided constraints 82513
3600.05/3610.20 c LP total time 0 s
3600.05/3610.20 c LP solve time 0 s
3600.05/3610.20 c LP constraints added 0
3600.05/3610.20 c LP constraints removed 0
3600.05/3610.20 c LP pivots internal 0
3600.05/3610.20 c LP pivots root 0
3600.05/3610.20 c LP calls 0
3600.05/3610.20 c LP optimalities 0
3600.05/3610.20 c LP no pivot count 0
3600.05/3610.20 c LP infeasibilities 0
3600.05/3610.20 c LP valid Farkas constraints 0
3600.05/3610.20 c LP learned Farkas constraints 0
3600.05/3610.20 c LP basis resets 0
3600.05/3610.20 c LP cycling count 0
3600.05/3610.20 c LP singular count 0
3600.05/3610.20 c LP no primal count 0
3600.05/3610.20 c LP no farkas count 0
3600.05/3610.20 c LP other issue count 0
3600.05/3610.20 c LP Gomory cuts 0
3600.05/3610.20 c LP learned cuts 0
3600.05/3610.20 c LP deleted cuts 0
3600.05/3610.20 c LP encountered Gomory constraints 0
3600.05/3610.20 c LP encountered Farkas constraints 0
3600.05/3610.20 c LP encountered learned Farkas constraints 0
3600.05/3610.20 c CG auxiliary variables introduced 168
3600.05/3610.20 c CG solutions found 0
3600.05/3610.20 c CG cores constructed 702
3600.05/3610.20 c CG core cardinality constraints returned 0
3600.05/3610.20 c CG unit cores 0
3600.05/3610.20 c CG single cores 702
3600.05/3610.20 c CG blocks removed during cardinality reduction 0
3600.05/3610.20 c CG first core best 0
3600.05/3610.20 c CG decision core best 0
3600.05/3610.20 c CG core reduction tie 0
3600.05/3610.20 c CG core degree average 1.00
3600.05/3610.20 c CG core slack average 2.03
3600.05/3610.20 c CG exhausted 0
3600.05/3610.20 c CG exhaust time 0 s
3600.05/3610.20 c CG trimmed 0
3600.05/3610.20 c CG trim time 0.004343 s
3600.05/3610.20 c CG minimized 0
3600.05/3610.20 c CG minimize time 0 s
3600.05/3610.20 c CG am1 prop time 0.002826 s
3600.05/3610.20 c CG # am1s reformulated 168
3600.05/3610.20 c CG lower bound derived from am1s 168
3600.05/3610.20 c CG # clausal cores 702
3600.05/3610.20 c CG # cardinality cores 0
3600.05/3610.20 c CG # pb cores 0
3600.05/3610.20 c CG # pb reforms 0
3600.05/3610.20 c CG # cores discarded because of pb reform 0
3600.05/3610.20 d LOWERBOUND -814
3600.05/3610.20 d NCORES 702
3600.05/3610.20 d NPBCORES 0
3600.05/3610.20 d NPBREFORM 0
3600.05/3610.20 d NTRIMMED 0
3600.05/3610.20 d NEXHAUSTED 0
3600.05/3610.20 d NAM1S 168
3600.05/3610.20 d AM1LB 168
3600.05/3610.20 c [Papilo Statistics]
3600.05/3610.20 c prepro time 0.00504376s
3600.05/3610.20 c # tsx applied 0
3600.05/3610.20 c # tsx conflicts 0
3600.05/3610.20 c # bound changes 0
3600.05/3610.20 c # side changes 0
3600.05/3610.20 c # coef changes 0
3600.05/3610.20 c # rounds 1
3600.05/3610.20 c # deted vars 0
3600.05/3610.20 c # deted constrs 0
3600.05/3610.20 c # consecutive rounds of only bound changes 0
3600.05/3610.20 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: 63968 MiB (60409 MiB free)
memory of node 1: 64473 MiB (50428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455010-1721477857/watcher-4455010-1721477857 -o /tmp/evaluation-result-4455010-1721477857/solver-4455010-1721477857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055840 --watchdog 3760 mixed-bag HOME/instance-4455010-1721477857.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1060313, runsolver pid=1060310
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.16 4.16 4.12 5/255 1060314
/proc/meminfo: memFree=113469548/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=111100 memory=43932 CPUtime=0.09 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 8590 0 0 0 8 1 0 0 20 0 1 0 199949246 113766400 10983 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 27775 10983 3851 3002 0 11524 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111100 KiB
Current children cumulated memory: 43932 KiB
[startup+0.205773 s]*
/proc/loadavg: 4.16 4.16 4.12 5/255 1060314
/proc/meminfo: memFree=113457956/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=130048 memory=57056 CPUtime=0.19 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 12111 0 0 0 18 1 0 0 20 0 1 0 199949246 133169152 14264 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 32512 14264 4011 3002 0 16261 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130048 KiB
Current children cumulated memory: 57056 KiB
[startup+0.305634 s]*
/proc/loadavg: 4.16 4.16 4.12 5/255 1060314
/proc/meminfo: memFree=113454536/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=132212 memory=59308 CPUtime=0.29 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 12637 0 0 0 28 1 0 0 20 0 1 0 199949246 135385088 14827 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 33053 14827 4059 3002 0 16802 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132212 KiB
Current children cumulated memory: 59308 KiB
[startup+0.700235 s]
/proc/loadavg: 4.16 4.16 4.12 5/255 1060314
/proc/meminfo: memFree=113453084/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=157592 memory=83168 CPUtime=0.68 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 20686 0 0 0 66 2 0 0 20 0 1 0 199949246 161374208 20792 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 39398 20792 4059 3002 0 23147 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 157592 KiB
Current children cumulated memory: 83168 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 4.16 4.12 5/255 1060314
/proc/meminfo: memFree=113429952/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=157592 memory=84916 CPUtime=1.48 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 21154 0 0 0 146 2 0 0 20 0 1 0 199949246 161374208 21229 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 39398 21229 4059 3002 0 23147 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 157592 KiB
Current children cumulated memory: 84916 KiB
[startup+3.10554 s]
/proc/loadavg: 4.15 4.15 4.12 5/255 1060314
/proc/meminfo: memFree=113421044/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=166404 memory=92832 CPUtime=3.09 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 23150 0 0 0 306 3 0 0 20 0 1 0 199949246 170397696 23208 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 41601 23208 4059 3002 0 25350 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 166404 KiB
Current children cumulated memory: 92832 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.15 4.12 5/255 1060314
/proc/meminfo: memFree=113405916/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=186764 memory=109992 CPUtime=6.27 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 27423 0 0 0 624 3 0 0 20 0 1 0 199949246 191246336 27498 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 46691 27498 4059 3002 0 30440 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 186764 KiB
Current children cumulated memory: 109992 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.12 5/255 1060361
/proc/meminfo: memFree=124040000/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=197360 memory=117120 CPUtime=12.65 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 29182 0 0 0 1262 3 0 0 20 0 1 0 199949246 202096640 29280 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 49340 29280 4059 3002 0 33089 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 197360 KiB
Current children cumulated memory: 117120 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.12 5/255 1060455
/proc/meminfo: memFree=125906260/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=200360 memory=118760 CPUtime=25.41 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 29631 0 0 0 2538 3 0 0 20 0 1 0 199949246 205168640 29690 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 50090 29690 4074 3002 0 33839 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 200360 KiB
Current children cumulated memory: 118760 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.15 4.12 5/255 1060505
/proc/meminfo: memFree=124947820/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=201768 memory=120340 CPUtime=50.94 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 30028 0 0 0 5090 4 0 0 20 0 1 0 199949246 206610432 30085 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 50442 30085 4074 3002 0 34191 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 201768 KiB
Current children cumulated memory: 120340 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/255 1060514
/proc/meminfo: memFree=124786948/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=213160 memory=132092 CPUtime=101.96 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 33521 0 0 0 10192 4 0 0 20 0 1 0 199949246 218275840 33023 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 53290 33023 4090 3002 0 37039 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 213160 KiB
Current children cumulated memory: 132092 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/255 1060524
/proc/meminfo: memFree=124596836/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=216712 memory=134988 CPUtime=161.77 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 34221 0 0 0 16173 4 0 0 20 0 1 0 199949246 221913088 33747 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 54178 33747 4090 3002 0 37927 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 216712 KiB
Current children cumulated memory: 134988 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/257 1060539
/proc/meminfo: memFree=124562204/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=216712 memory=134988 CPUtime=221.57 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 34231 0 0 0 22153 4 0 0 20 0 1 0 199949246 221913088 33747 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 54178 33747 4090 3002 0 37927 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 216712 KiB
Current children cumulated memory: 134988 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/257 1060549
/proc/meminfo: memFree=124520544/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=216712 memory=134988 CPUtime=281.38 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 34235 0 0 0 28134 4 0 0 20 0 1 0 199949246 221913088 33747 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 54178 33747 4090 3002 0 37927 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 216712 KiB
Current children cumulated memory: 134988 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/256 1060559
/proc/meminfo: memFree=124137304/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=315228 memory=212172 CPUtime=341.2 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 40065 0 0 0 34064 56 0 0 20 0 1 0 199949246 322793472 53043 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 78807 53043 4222 3002 0 62556 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 315228 KiB
Current children cumulated memory: 212172 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 1060571
/proc/meminfo: memFree=123949680/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=368024 memory=278572 CPUtime=401.01 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 49027 0 0 0 40007 94 0 0 20 0 1 0 199949246 376856576 69643 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 92006 69643 4222 3002 0 75755 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 368024 KiB
Current children cumulated memory: 278572 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/256 1060581
/proc/meminfo: memFree=123814248/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=482080 memory=326052 CPUtime=460.84 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 56381 0 0 0 45949 135 0 0 20 0 1 0 199949246 493649920 81513 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 120520 81513 4222 3002 0 104269 0
################
# More data... #
################
Current children cumulated memory: 1078252 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/257 1062192
/proc/meminfo: memFree=120288864/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1266036 memory=1078252 CPUtime=2853.86 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 146631 0 0 0 284454 932 0 0 20 0 1 0 199949246 1296420864 269563 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 316509 269563 4222 3002 0 300258 0
Current children cumulated CPU time: 2853.86 s
Current children cumulated vsize: 1266036 KiB
Current children cumulated memory: 1078252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.26 4.17 4.12 5/255 1062202
/proc/meminfo: memFree=120271540/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1266548 memory=1078532 CPUtime=2913.72 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 147241 0 0 0 290423 949 0 0 20 0 1 0 199949246 1296945152 269633 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 316637 269633 4222 3002 0 300386 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 1266548 KiB
Current children cumulated memory: 1078532 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.17 4.12 5/255 1062213
/proc/meminfo: memFree=120266188/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1266988 memory=1078640 CPUtime=2973.59 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 147798 0 0 0 296396 963 0 0 20 0 1 0 199949246 1297395712 269660 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 316747 269660 4222 3002 0 300496 0
Current children cumulated CPU time: 2973.59 s
Current children cumulated vsize: 1266988 KiB
Current children cumulated memory: 1078640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/255 1062223
/proc/meminfo: memFree=120217932/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1268084 memory=1079572 CPUtime=3033.44 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 148485 0 0 0 302364 980 0 0 20 0 1 0 199949246 1298518016 269893 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 317021 269893 4222 3002 0 300770 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 1268084 KiB
Current children cumulated memory: 1079572 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/255 1062236
/proc/meminfo: memFree=119937960/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1271156 memory=1107812 CPUtime=3093.31 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 149471 0 0 0 308340 991 0 0 20 0 1 0 199949246 1301663744 276953 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 317789 276953 4222 3002 0 301538 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 1271156 KiB
Current children cumulated memory: 1107812 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 1062247
/proc/meminfo: memFree=119840868/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1271156 memory=1107816 CPUtime=3153.18 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 149987 0 0 0 314320 998 0 0 20 0 1 0 199949246 1301663744 276954 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 317789 276954 4222 3002 0 301538 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 1271156 KiB
Current children cumulated memory: 1107816 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 1062261
/proc/meminfo: memFree=119633676/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1285792 memory=1144788 CPUtime=3213.03 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 152594 0 0 0 320296 1007 0 0 20 0 1 0 199949246 1316651008 286197 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 321448 286197 4222 3002 0 305197 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 1285792 KiB
Current children cumulated memory: 1144788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.47 4.21 4.13 5/256 1062272
/proc/meminfo: memFree=119574204/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1285792 memory=1144788 CPUtime=3272.89 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 153076 0 0 0 326268 1021 0 0 20 0 1 0 199949246 1316651008 286197 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 321448 286197 4222 3002 0 305197 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 1285792 KiB
Current children cumulated memory: 1144788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/256 1062282
/proc/meminfo: memFree=119540516/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1286820 memory=1145300 CPUtime=3332.76 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 153790 0 0 0 332235 1041 0 0 20 0 1 0 199949246 1317703680 286325 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 321705 286325 4222 3002 0 305454 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 1286820 KiB
Current children cumulated memory: 1145300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/256 1062294
/proc/meminfo: memFree=119533208/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1287256 memory=1145656 CPUtime=3392.62 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 154348 0 0 0 338206 1056 0 0 20 0 1 0 199949246 1318150144 286414 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 321814 286414 4222 3002 0 305563 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 1287256 KiB
Current children cumulated memory: 1145656 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/256 1062304
/proc/meminfo: memFree=119523568/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1289560 memory=1147020 CPUtime=3452.48 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 155189 0 0 0 344175 1073 0 0 20 0 1 0 199949246 1320509440 286755 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 322390 286755 4222 3002 0 306139 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 1289560 KiB
Current children cumulated memory: 1147020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/255 1062315
/proc/meminfo: memFree=119442348/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1291172 memory=1150192 CPUtime=3512.35 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 156071 0 0 0 350148 1087 0 0 20 0 1 0 199949246 1322160128 287548 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 322793 287548 4222 3002 0 306542 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 1291172 KiB
Current children cumulated memory: 1150192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/255 1062327
/proc/meminfo: memFree=119426656/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1291172 memory=1150244 CPUtime=3572.21 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 156574 0 0 0 356117 1104 0 0 20 0 1 0 199949246 1322160128 287561 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 322793 287561 4222 3002 0 306542 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 1291172 KiB
Current children cumulated memory: 1150244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 3.94 4.10 4.09 4/248 1062363
/proc/meminfo: memFree=123527332/131524600 swapFree=131071996/131071996
[pid=1060313] ppid=1060310 vsize=1291172 memory=1150244 CPUtime=3600.05 cores=4,6
/proc/1060313/stat : 1060313 (mixed-bag) R 1060310 1060313 1055829 0 -1 4194304 156969 0 0 0 358896 1109 0 0 20 0 1 0 199949246 1322160128 287561 134679101440 4194304 16488053 140735783632208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 44384256 140735783633941 140735783634018 140735783634018 140735783641035 0
/proc/1060313/statm: 322793 287561 4222 3002 0 306542 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1291172 KiB
Current children cumulated memory: 1150244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 1060313 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.97 s, system=11.1004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.07
CPU user time (s): 3588.97
CPU system time (s): 11.1004
CPU usage (%): 99.7191
Max. virtual memory (cumulated for all children) (KiB): 1291172
Max. memory (cumulated for all children) (KiB): 1150244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.97
system time used= 11.1004
maximum resident set size= 1150244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156991
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= 181
involuntary context switches= 3630
# summary of solver processes directly reported to runsolver:
# pid: 1060313
# total CPU time (s): 3600.07
# total CPU user time (s): 3588.97
# total CPU system time (s): 11.1004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47992 second user time and 16.5813 second system time
The end
Begin job on nodeC020 at 2024-07-20 14:17:50
IDJOB=4455010
IDBENCH=158503
IDSOLVER=3083
FILE ID=nodeC020/4455010-1721477857
RUNJOBID= nodeC020-1721470315-1055840
SLURM_JOB_ID= 7545735
Free space on /tmp= 890000 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4455010-1721477857/watcher-4455010-1721477857 -o /tmp/evaluation-result-4455010-1721477857/solver-4455010-1721477857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055840 --watchdog 3760 mixed-bag HOME/instance-4455010-1721477857.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c
RANDOM SEED=100442062
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.961
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.239
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.478
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.263
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.283
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.254
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.057
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.168
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 113498848 kB
MemAvailable: 115759704 kB
Buffers: 578304 kB
Cached: 2507152 kB
SwapCached: 0 kB
Active: 1057480 kB
Inactive: 16280080 kB
Active(anon): 1568 kB
Inactive(anon): 14296468 kB
Active(file): 1055912 kB
Inactive(file): 1983612 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16704 kB
Writeback: 284 kB
AnonPages: 14249704 kB
Mapped: 140240 kB
Shmem: 45912 kB
KReclaimable: 122308 kB
Slab: 238752 kB
SReclaimable: 122308 kB
SUnreclaim: 116444 kB
KernelStack: 4080 kB
PageTables: 39492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 18565636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1748992 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: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC020 at 2024-07-20 15:18:01