0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 3625 #constraints 4800
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -1684 @ 0.012013
0.00/0.01 c stratification level: 1
0.00/0.08 c bounds - >= -1515 @ 0.020458
0.00/0.08 c bounds - >= -1514 @ 0.021454
0.00/0.08 c bounds - >= -1513 @ 0.021837
0.00/0.08 c bounds - >= -1512 @ 0.022222
0.00/0.08 c bounds - >= -1511 @ 0.022612
0.00/0.08 c bounds - >= -1510 @ 0.023
0.00/0.08 c bounds - >= -1509 @ 0.023392
0.00/0.08 c bounds - >= -1508 @ 0.023786
0.00/0.08 c bounds - >= -1507 @ 0.024204
0.00/0.08 c bounds - >= -1506 @ 0.024615
0.00/0.08 c bounds - >= -1505 @ 0.025007
0.00/0.08 c bounds - >= -1504 @ 0.0254
0.00/0.08 c bounds - >= -1503 @ 0.025804
0.00/0.08 c bounds - >= -1502 @ 0.025994
0.00/0.08 c bounds - >= -1501 @ 0.025994
0.00/0.08 c bounds - >= -1500 @ 0.026015
0.00/0.08 c bounds - >= -1499 @ 0.026419
0.00/0.08 c bounds - >= -1498 @ 0.026828
0.00/0.08 c bounds - >= -1497 @ 0.027257
0.00/0.08 c bounds - >= -1496 @ 0.027675
0.00/0.08 c bounds - >= -1495 @ 0.028072
0.00/0.08 c bounds - >= -1494 @ 0.028472
0.00/0.08 c bounds - >= -1493 @ 0.028874
0.00/0.08 c bounds - >= -1492 @ 0.029285
0.00/0.08 c bounds - >= -1491 @ 0.029685
0.00/0.08 c bounds - >= -1490 @ 0.030085
0.00/0.08 c bounds - >= -1489 @ 0.030492
0.00/0.08 c bounds - >= -1488 @ 0.030902
0.00/0.08 c bounds - >= -1487 @ 0.031693
0.00/0.08 c bounds - >= -1486 @ 0.032106
0.00/0.08 c bounds - >= -1485 @ 0.032512
0.00/0.08 c bounds - >= -1484 @ 0.032921
0.00/0.08 c bounds - >= -1483 @ 0.033334
0.00/0.08 c bounds - >= -1482 @ 0.03374
0.00/0.08 c bounds - >= -1481 @ 0.033974
0.00/0.08 c bounds - >= -1480 @ 0.033974
0.00/0.08 c bounds - >= -1479 @ 0.033974
0.00/0.08 c bounds - >= -1478 @ 0.034378
0.00/0.08 c bounds - >= -1477 @ 0.034787
0.00/0.08 c bounds - >= -1476 @ 0.034973
0.00/0.08 c bounds - >= -1475 @ 0.034973
0.00/0.08 c bounds - >= -1474 @ 0.035139
0.00/0.08 c bounds - >= -1473 @ 0.035545
0.00/0.08 c bounds - >= -1472 @ 0.035875
0.00/0.08 c bounds - >= -1471 @ 0.036287
0.00/0.08 c bounds - >= -1470 @ 0.036702
0.00/0.08 c bounds - >= -1469 @ 0.037108
0.00/0.08 c bounds - >= -1468 @ 0.03753
0.00/0.08 c bounds - >= -1467 @ 0.037948
0.00/0.08 c bounds - >= -1466 @ 0.038372
0.00/0.08 c bounds - >= -1465 @ 0.038793
0.00/0.08 c bounds - >= -1464 @ 0.03921
0.00/0.08 c bounds - >= -1463 @ 0.039639
0.00/0.08 c bounds - >= -1462 @ 0.040073
0.00/0.08 c bounds - >= -1461 @ 0.040505
0.00/0.08 c bounds - >= -1460 @ 0.040935
0.00/0.08 c bounds - >= -1459 @ 0.04137
0.00/0.08 c bounds - >= -1458 @ 0.041808
0.00/0.08 c bounds - >= -1457 @ 0.042241
0.00/0.08 c bounds - >= -1456 @ 0.042674
0.00/0.08 c bounds - >= -1455 @ 0.043106
0.00/0.08 c bounds - >= -1454 @ 0.043539
0.00/0.08 c bounds - >= -1453 @ 0.043969
0.00/0.08 c bounds - >= -1452 @ 0.044399
0.00/0.08 c bounds - >= -1451 @ 0.044829
0.00/0.08 c bounds - >= -1450 @ 0.045266
0.00/0.08 c bounds - >= -1449 @ 0.045704
0.00/0.08 c bounds - >= -1448 @ 0.04595
0.00/0.08 c bounds - >= -1447 @ 0.04595
0.00/0.08 c bounds - >= -1446 @ 0.046118
0.00/0.08 c bounds - >= -1445 @ 0.046557
0.00/0.08 c bounds - >= -1444 @ 0.046916
0.00/0.08 c bounds - >= -1443 @ 0.047357
0.00/0.08 c bounds - >= -1442 @ 0.0478
0.00/0.08 c bounds - >= -1441 @ 0.048237
0.00/0.08 c bounds - >= -1440 @ 0.048676
0.00/0.08 c bounds - >= -1439 @ 0.049109
0.00/0.08 c bounds - >= -1438 @ 0.049552
0.00/0.08 c bounds - >= -1437 @ 0.049989
0.00/0.08 c bounds - >= -1436 @ 0.050427
0.00/0.08 c bounds - >= -1435 @ 0.050871
0.00/0.08 c bounds - >= -1434 @ 0.051309
0.00/0.08 c bounds - >= -1433 @ 0.051751
0.00/0.08 c bounds - >= -1432 @ 0.051938
0.00/0.08 c bounds - >= -1431 @ 0.051938
0.00/0.08 c bounds - >= -1430 @ 0.052103
0.00/0.08 c bounds - >= -1429 @ 0.052544
0.00/0.08 c bounds - >= -1428 @ 0.052984
0.00/0.08 c bounds - >= -1427 @ 0.053431
0.00/0.08 c bounds - >= -1426 @ 0.05388
0.00/0.08 c bounds - >= -1425 @ 0.054325
0.00/0.08 c bounds - >= -1424 @ 0.054772
0.00/0.08 c bounds - >= -1423 @ 0.054933
0.00/0.08 c bounds - >= -1422 @ 0.054933
0.00/0.08 c bounds - >= -1421 @ 0.055098
0.00/0.08 c bounds - >= -1420 @ 0.055532
0.00/0.08 c bounds - >= -1419 @ 0.055974
0.00/0.08 c bounds - >= -1418 @ 0.056412
0.00/0.08 c bounds - >= -1417 @ 0.056855
0.00/0.08 c bounds - >= -1416 @ 0.057306
0.00/0.08 c bounds - >= -1415 @ 0.057751
0.00/0.08 c bounds - >= -1414 @ 0.057928
0.00/0.08 c bounds - >= -1413 @ 0.057928
0.00/0.08 c bounds - >= -1412 @ 0.058094
0.00/0.08 c bounds - >= -1411 @ 0.05854
0.00/0.08 c bounds - >= -1410 @ 0.058998
0.00/0.08 c bounds - >= -1409 @ 0.059448
0.00/0.08 c bounds - >= -1408 @ 0.05989
0.00/0.08 c bounds - >= -1407 @ 0.060343
0.00/0.08 c bounds - >= -1406 @ 0.060792
0.00/0.08 c bounds - >= -1405 @ 0.061242
0.00/0.08 c bounds - >= -1404 @ 0.061692
0.00/0.08 c bounds - >= -1403 @ 0.061921
0.00/0.08 c bounds - >= -1402 @ 0.061921
0.00/0.08 c bounds - >= -1401 @ 0.062098
0.00/0.08 c bounds - >= -1400 @ 0.062557
0.00/0.08 c bounds - >= -1399 @ 0.062998
0.00/0.08 c bounds - >= -1398 @ 0.063454
0.00/0.08 c bounds - >= -1397 @ 0.063892
0.00/0.08 c bounds - >= -1396 @ 0.064351
0.00/0.08 c bounds - >= -1395 @ 0.064808
0.00/0.08 c bounds - >= -1394 @ 0.065264
0.00/0.08 c bounds - >= -1393 @ 0.065721
0.00/0.08 c bounds - >= -1392 @ 0.066168
0.00/0.08 c bounds - >= -1391 @ 0.066621
0.00/0.08 c bounds - >= -1390 @ 0.067082
0.00/0.08 c bounds - >= -1389 @ 0.067536
0.00/0.08 c bounds - >= -1388 @ 0.067998
0.00/0.08 c bounds - >= -1387 @ 0.068455
0.00/0.08 c bounds - >= -1386 @ 0.068918
0.00/0.08 c bounds - >= -1385 @ 0.069377
0.00/0.08 c bounds - >= -1384 @ 0.069833
0.00/0.08 c bounds - >= -1383 @ 0.070338
0.09/0.15 c bounds - >= -1382 @ 0.070796
0.09/0.15 c bounds - >= -1381 @ 0.071253
0.09/0.15 c bounds - >= -1380 @ 0.071705
0.09/0.15 c bounds - >= -1379 @ 0.071899
0.09/0.15 c bounds - >= -1378 @ 0.071899
0.09/0.15 c bounds - >= -1377 @ 0.072084
0.09/0.15 c bounds - >= -1376 @ 0.072541
0.09/0.15 c bounds - >= -1375 @ 0.072996
0.09/0.15 c bounds - >= -1374 @ 0.07345
0.09/0.15 c bounds - >= -1373 @ 0.073906
0.09/0.15 c bounds - >= -1372 @ 0.074365
0.09/0.15 c bounds - >= -1371 @ 0.074821
0.09/0.15 c bounds - >= -1370 @ 0.075281
0.09/0.15 c bounds - >= -1369 @ 0.075741
0.09/0.15 c bounds - >= -1368 @ 0.076198
0.09/0.15 c bounds - >= -1367 @ 0.076661
0.09/0.15 c bounds - >= -1366 @ 0.077119
0.09/0.15 c bounds - >= -1365 @ 0.077575
0.09/0.15 c bounds - >= -1364 @ 0.078057
0.09/0.15 c bounds - >= -1363 @ 0.078534
0.09/0.15 c bounds - >= -1362 @ 0.079012
0.09/0.15 c bounds - >= -1361 @ 0.079497
0.09/0.15 c bounds - >= -1360 @ 0.079953
0.09/0.15 c bounds - >= -1359 @ 0.080411
0.09/0.15 c bounds - >= -1358 @ 0.080862
0.09/0.15 c bounds - >= -1357 @ 0.081318
0.09/0.15 c bounds - >= -1356 @ 0.081768
0.09/0.15 c bounds - >= -1355 @ 0.082264
0.09/0.15 c bounds - >= -1354 @ 0.082723
0.09/0.15 c bounds - >= -1353 @ 0.083224
0.09/0.15 c bounds - >= -1352 @ 0.083688
0.09/0.15 c bounds - >= -1351 @ 0.084186
0.09/0.15 c bounds - >= -1350 @ 0.084672
0.09/0.15 c bounds - >= -1349 @ 0.085173
0.09/0.15 c bounds - >= -1348 @ 0.085638
0.09/0.15 c bounds - >= -1347 @ 0.086137
0.09/0.15 c bounds - >= -1346 @ 0.0866
0.09/0.15 c bounds - >= -1345 @ 0.087104
0.09/0.15 c bounds - >= -1344 @ 0.08756
0.09/0.15 c bounds - >= -1343 @ 0.088045
0.09/0.15 c bounds - >= -1342 @ 0.088523
0.09/0.15 c bounds - >= -1341 @ 0.088799
0.09/0.15 c bounds - >= -1340 @ 0.088799
0.09/0.15 c bounds - >= -1339 @ 0.088997
0.09/0.15 c bounds - >= -1338 @ 0.089477
0.09/0.15 c bounds - >= -1337 @ 0.089936
0.09/0.15 c bounds - >= -1336 @ 0.090418
0.09/0.15 c bounds - >= -1335 @ 0.090883
0.09/0.15 c bounds - >= -1334 @ 0.091344
0.09/0.15 c bounds - >= -1333 @ 0.091795
0.09/0.15 c bounds - >= -1332 @ 0.092256
0.09/0.15 c bounds - >= -1331 @ 0.092742
0.09/0.15 c bounds - >= -1330 @ 0.09323
0.09/0.15 c bounds - >= -1329 @ 0.09373
0.09/0.15 c bounds - >= -1328 @ 0.094225
0.09/0.15 c bounds - >= -1327 @ 0.094707
0.09/0.15 c bounds - >= -1326 @ 0.095193
0.09/0.15 c bounds - >= -1325 @ 0.095691
0.09/0.15 c bounds - >= -1324 @ 0.096177
0.09/0.15 c bounds - >= -1323 @ 0.096655
0.09/0.15 c bounds - >= -1322 @ 0.097157
0.09/0.15 c bounds - >= -1321 @ 0.09762
0.09/0.15 c bounds - >= -1320 @ 0.098117
0.09/0.15 c bounds - >= -1319 @ 0.098575
0.09/0.15 c bounds - >= -1318 @ 0.098784
0.09/0.15 c bounds - >= -1317 @ 0.098784
0.09/0.15 c bounds - >= -1316 @ 0.099018
0.09/0.15 c bounds - >= -1315 @ 0.0995
0.09/0.15 c bounds - >= -1314 @ 0.099986
0.09/0.15 c bounds - >= -1313 @ 0.100462
0.09/0.15 c bounds - >= -1312 @ 0.100943
0.09/0.15 c bounds - >= -1311 @ 0.101421
0.09/0.15 c bounds - >= -1310 @ 0.101903
0.09/0.15 c bounds - >= -1309 @ 0.102383
0.09/0.15 c bounds - >= -1308 @ 0.102866
0.09/0.15 c bounds - >= -1307 @ 0.103348
0.09/0.15 c bounds - >= -1306 @ 0.103832
0.09/0.15 c bounds - >= -1305 @ 0.104316
0.09/0.15 c bounds - >= -1304 @ 0.104795
0.09/0.15 c bounds - >= -1303 @ 0.105283
0.09/0.15 c bounds - >= -1302 @ 0.105747
0.09/0.15 c bounds - >= -1301 @ 0.106252
0.09/0.15 c bounds - >= -1300 @ 0.106714
0.09/0.15 c bounds - >= -1299 @ 0.107214
0.09/0.15 c bounds - >= -1298 @ 0.107703
0.09/0.15 c bounds - >= -1297 @ 0.108186
0.09/0.15 c bounds - >= -1296 @ 0.10865
0.09/0.15 c bounds - >= -1295 @ 0.109151
0.09/0.15 c bounds - >= -1294 @ 0.109642
0.09/0.15 c bounds - >= -1293 @ 0.110124
0.09/0.15 c bounds - >= -1292 @ 0.110608
0.09/0.15 c bounds - >= -1291 @ 0.111105
0.09/0.15 c bounds - >= -1290 @ 0.111565
0.09/0.15 c bounds - >= -1289 @ 0.111755
0.09/0.15 c bounds - >= -1288 @ 0.111755
0.09/0.15 c bounds - >= -1287 @ 0.111756
0.09/0.15 c bounds - >= -1286 @ 0.111756
0.09/0.15 c bounds - >= -1285 @ 0.111969
0.09/0.15 c bounds - >= -1284 @ 0.112446
0.09/0.15 c bounds - >= -1283 @ 0.112928
0.09/0.15 c bounds - >= -1282 @ 0.113403
0.09/0.15 c bounds - >= -1281 @ 0.113877
0.09/0.15 c bounds - >= -1280 @ 0.114357
0.09/0.15 c bounds - >= -1279 @ 0.114834
0.09/0.15 c bounds - >= -1278 @ 0.115313
0.09/0.15 c bounds - >= -1277 @ 0.115789
0.09/0.15 c bounds - >= -1276 @ 0.116269
0.09/0.15 c bounds - >= -1275 @ 0.116729
0.09/0.15 c bounds - >= -1274 @ 0.117222
0.09/0.15 c bounds - >= -1273 @ 0.117678
0.09/0.15 c bounds - >= -1272 @ 0.118178
0.09/0.15 c bounds - >= -1271 @ 0.118635
0.09/0.15 c bounds - >= -1270 @ 0.119137
0.09/0.15 c bounds - >= -1269 @ 0.119593
0.09/0.15 c bounds - >= -1268 @ 0.119738
0.09/0.15 c bounds - >= -1267 @ 0.119738
0.09/0.15 c bounds - >= -1266 @ 0.119739
0.09/0.15 c bounds - >= -1265 @ 0.119739
0.09/0.15 c bounds - >= -1264 @ 0.11974
0.09/0.15 c bounds - >= -1263 @ 0.11974
0.09/0.15 c bounds - >= -1262 @ 0.119741
0.09/0.15 c bounds - >= -1261 @ 0.119741
0.09/0.15 c bounds - >= -1260 @ 0.119938
0.09/0.15 c bounds - >= -1259 @ 0.120449
0.09/0.15 c bounds - >= -1258 @ 0.120881
0.09/0.15 c bounds - >= -1257 @ 0.121354
0.09/0.15 c bounds - >= -1256 @ 0.121823
0.09/0.15 c bounds - >= -1255 @ 0.122289
0.09/0.15 c bounds - >= -1254 @ 0.122757
0.09/0.15 c bounds - >= -1253 @ 0.123228
0.09/0.15 c bounds - >= -1252 @ 0.123674
0.09/0.15 c bounds - >= -1251 @ 0.124161
0.09/0.15 c bounds - >= -1250 @ 0.124613
0.20/0.21 c bounds - >= -1249 @ 0.125098
0.20/0.21 c bounds - >= -1248 @ 0.125577
0.20/0.21 c bounds - >= -1247 @ 0.126022
0.20/0.21 c bounds - >= -1246 @ 0.126466
0.20/0.21 c bounds - >= -1245 @ 0.126697
0.20/0.21 c bounds - >= -1244 @ 0.126697
0.20/0.21 c bounds - >= -1243 @ 0.126873
0.20/0.21 c bounds - >= -1242 @ 0.127322
0.20/0.21 c bounds - >= -1241 @ 0.127718
0.20/0.21 c bounds - >= -1240 @ 0.128187
0.20/0.21 c bounds - >= -1239 @ 0.128658
0.20/0.21 c bounds - >= -1238 @ 0.12911
0.20/0.21 c bounds - >= -1237 @ 0.129566
0.20/0.21 c bounds - >= -1236 @ 0.129687
0.20/0.21 c bounds - >= -1235 @ 0.129687
0.20/0.21 c bounds - >= -1234 @ 0.129935
0.20/0.21 c bounds - >= -1233 @ 0.130394
0.20/0.21 c bounds - >= -1232 @ 0.130856
0.20/0.21 c bounds - >= -1231 @ 0.131314
0.20/0.21 c bounds - >= -1230 @ 0.131895
0.20/0.21 c bounds - >= -1229 @ 0.13233
0.20/0.21 c bounds - >= -1228 @ 0.132769
0.20/0.21 c bounds - >= -1227 @ 0.1332
0.20/0.21 c bounds - >= -1226 @ 0.133633
0.20/0.21 c bounds - >= -1225 @ 0.134102
0.20/0.21 c bounds - >= -1224 @ 0.134543
0.20/0.21 c bounds - >= -1223 @ 0.135021
0.20/0.21 c bounds - >= -1222 @ 0.135461
0.20/0.21 c bounds - >= -1221 @ 0.135673
0.20/0.21 c bounds - >= -1220 @ 0.135673
0.20/0.21 c bounds - >= -1219 @ 0.135839
0.20/0.21 c bounds - >= -1218 @ 0.136278
0.20/0.21 c bounds - >= -1217 @ 0.136661
0.20/0.21 c bounds - >= -1216 @ 0.137095
0.20/0.21 c bounds - >= -1215 @ 0.137552
0.20/0.21 c bounds - >= -1214 @ 0.137995
0.20/0.21 c bounds - >= -1213 @ 0.138441
0.20/0.21 c bounds - >= -1212 @ 0.138664
0.20/0.21 c bounds - >= -1211 @ 0.138664
0.20/0.21 c bounds - >= -1210 @ 0.138835
0.20/0.21 c bounds - >= -1209 @ 0.139283
0.20/0.21 c bounds - >= -1208 @ 0.139711
0.20/0.21 c bounds - >= -1207 @ 0.140161
0.20/0.21 c bounds - >= -1206 @ 0.140599
0.20/0.21 c bounds - >= -1205 @ 0.141057
0.20/0.21 c bounds - >= -1204 @ 0.141499
0.20/0.21 c bounds - >= -1203 @ 0.141658
0.20/0.21 c bounds - >= -1202 @ 0.141658
0.20/0.21 c bounds - >= -1201 @ 0.141659
0.20/0.21 c bounds - >= -1200 @ 0.141659
0.20/0.21 c bounds - >= -1199 @ 0.141829
0.20/0.21 c bounds - >= -1198 @ 0.142271
0.20/0.21 c bounds - >= -1197 @ 0.142645
0.20/0.21 c bounds - >= -1196 @ 0.143086
0.20/0.21 c bounds - >= -1195 @ 0.143526
0.20/0.21 c bounds - >= -1194 @ 0.143655
0.20/0.21 c bounds - >= -1193 @ 0.143655
0.20/0.21 c bounds - >= -1192 @ 0.143656
0.20/0.21 c bounds - >= -1191 @ 0.143656
0.20/0.21 c bounds - >= -1190 @ 0.143827
0.20/0.21 c bounds - >= -1189 @ 0.144275
0.20/0.21 c bounds - >= -1188 @ 0.144652
0.20/0.21 c bounds - >= -1187 @ 0.145105
0.20/0.21 c bounds - >= -1186 @ 0.145561
0.20/0.21 c bounds - >= -1185 @ 0.146025
0.20/0.21 c bounds - >= -1184 @ 0.14646
0.20/0.21 c bounds - >= -1183 @ 0.14665
0.20/0.21 c bounds - >= -1182 @ 0.14665
0.20/0.21 c bounds - >= -1181 @ 0.146846
0.20/0.21 c bounds - >= -1180 @ 0.147302
0.20/0.21 c bounds - >= -1179 @ 0.147761
0.20/0.21 c bounds - >= -1178 @ 0.148222
0.20/0.21 c bounds - >= -1177 @ 0.14868
0.20/0.21 c bounds - >= -1176 @ 0.149148
0.20/0.21 c bounds - >= -1175 @ 0.149599
0.20/0.21 c bounds - >= -1174 @ 0.15008
0.20/0.21 c bounds - >= -1173 @ 0.150523
0.20/0.21 c bounds - >= -1172 @ 0.150642
0.20/0.21 c bounds - >= -1171 @ 0.150642
0.20/0.21 c bounds - >= -1170 @ 0.150918
0.20/0.21 c bounds - >= -1169 @ 0.151387
0.20/0.21 c bounds - >= -1168 @ 0.151641
0.20/0.21 c bounds - >= -1167 @ 0.151641
0.20/0.21 c bounds - >= -1166 @ 0.15183
0.20/0.21 c bounds - >= -1165 @ 0.152306
0.20/0.21 c bounds - >= -1164 @ 0.152782
0.20/0.21 c bounds - >= -1163 @ 0.153254
0.20/0.21 c bounds - >= -1162 @ 0.153731
0.20/0.21 c bounds - >= -1161 @ 0.154219
0.20/0.21 c bounds - >= -1160 @ 0.154712
0.20/0.21 c bounds - >= -1159 @ 0.155197
0.20/0.21 c bounds - >= -1158 @ 0.155633
0.20/0.21 c bounds - >= -1157 @ 0.155633
0.20/0.21 c bounds - >= -1156 @ 0.155633
0.20/0.21 c bounds - >= -1155 @ 0.156141
0.20/0.21 c bounds - >= -1154 @ 0.156611
0.20/0.21 c bounds - >= -1153 @ 0.157124
0.20/0.21 c bounds - >= -1152 @ 0.157606
0.20/0.21 c bounds - >= -1151 @ 0.158119
0.20/0.21 c bounds - >= -1150 @ 0.158597
0.20/0.21 c bounds - >= -1149 @ 0.159111
0.20/0.21 c bounds - >= -1148 @ 0.159589
0.20/0.21 c bounds - >= -1147 @ 0.160434
0.20/0.21 c bounds - >= -1146 @ 0.160623
0.20/0.21 c bounds - >= -1145 @ 0.160623
0.20/0.21 c bounds - >= -1144 @ 0.160624
0.20/0.21 c bounds - >= -1143 @ 0.160624
0.20/0.21 c bounds - >= -1142 @ 0.160624
0.20/0.21 c bounds - >= -1141 @ 0.160624
0.20/0.21 c bounds - >= -1140 @ 0.160624
0.20/0.21 c bounds - >= -1139 @ 0.160624
0.20/0.21 c bounds - >= -1138 @ 0.16099
0.20/0.21 c bounds - >= -1137 @ 0.161486
0.20/0.21 c bounds - >= -1136 @ 0.161985
0.20/0.21 c bounds - >= -1135 @ 0.162487
0.20/0.21 c bounds - >= -1134 @ 0.16262
0.20/0.21 c bounds - >= -1133 @ 0.16262
0.20/0.21 c bounds - >= -1132 @ 0.162991
0.20/0.21 c bounds - >= -1131 @ 0.163512
0.20/0.21 c bounds - >= -1130 @ 0.16405
0.20/0.21 c bounds - >= -1129 @ 0.164546
0.20/0.21 c bounds - >= -1128 @ 0.16508
0.20/0.21 c bounds - >= -1127 @ 0.165579
0.20/0.21 c bounds - >= -1126 @ 0.166113
0.20/0.21 c bounds - >= -1125 @ 0.166612
0.20/0.21 c bounds - >= -1124 @ 0.167158
0.20/0.21 c bounds - >= -1123 @ 0.167675
0.20/0.21 c bounds - >= -1122 @ 0.168201
0.20/0.21 c bounds - >= -1121 @ 0.168739
0.20/0.21 c bounds - >= -1120 @ 0.169269
0.20/0.21 c bounds - >= -1119 @ 0.169801
0.20/0.21 c bounds - >= -1118 @ 0.170335
0.20/0.29 c bounds - >= -1117 @ 0.170879
0.20/0.29 c bounds - >= -1116 @ 0.171415
0.20/0.29 c bounds - >= -1115 @ 0.171964
0.20/0.29 c bounds - >= -1114 @ 0.172476
0.20/0.29 c bounds - >= -1113 @ 0.173028
0.20/0.29 c bounds - >= -1112 @ 0.173538
0.20/0.29 c bounds - >= -1111 @ 0.174093
0.20/0.29 c bounds - >= -1110 @ 0.17464
0.20/0.29 c bounds - >= -1109 @ 0.175188
0.20/0.29 c bounds - >= -1108 @ 0.175728
0.20/0.29 c bounds - >= -1107 @ 0.176275
0.20/0.29 c bounds - >= -1106 @ 0.176592
0.20/0.29 c bounds - >= -1105 @ 0.176592
0.20/0.29 c bounds - >= -1104 @ 0.176593
0.20/0.29 c bounds - >= -1103 @ 0.176593
0.20/0.29 c bounds - >= -1102 @ 0.176593
0.20/0.29 c bounds - >= -1101 @ 0.176593
0.20/0.29 c bounds - >= -1100 @ 0.176594
0.20/0.29 c bounds - >= -1099 @ 0.176594
0.20/0.29 c bounds - >= -1098 @ 0.177008
0.20/0.29 c bounds - >= -1097 @ 0.177536
0.20/0.29 c bounds - >= -1096 @ 0.178068
0.20/0.29 c bounds - >= -1095 @ 0.178633
0.20/0.29 c bounds - >= -1094 @ 0.179198
0.20/0.29 c bounds - >= -1093 @ 0.179743
0.20/0.29 c bounds - >= -1092 @ 0.180291
0.20/0.29 c bounds - >= -1091 @ 0.180586
0.20/0.29 c bounds - >= -1090 @ 0.180586
0.20/0.29 c bounds - >= -1089 @ 0.180909
0.20/0.29 c bounds - >= -1088 @ 0.18146
0.20/0.29 c bounds - >= -1087 @ 0.181586
0.20/0.29 c bounds - >= -1086 @ 0.181586
0.20/0.29 c bounds - >= -1085 @ 0.182134
0.20/0.30 c bounds - >= -1084 @ 0.182662
0.20/0.30 c bounds - >= -1083 @ 0.183198
0.20/0.30 c bounds - >= -1082 @ 0.183725
0.20/0.30 c bounds - >= -1081 @ 0.18428
0.20/0.30 c bounds - >= -1080 @ 0.18458
0.20/0.30 c bounds - >= -1079 @ 0.18458
0.20/0.30 c bounds - >= -1078 @ 0.184938
0.20/0.30 c bounds - >= -1077 @ 0.185495
0.20/0.30 c bounds - >= -1076 @ 0.186052
0.20/0.30 c bounds - >= -1075 @ 0.186615
0.20/0.30 c bounds - >= -1074 @ 0.187176
0.20/0.30 c bounds - >= -1073 @ 0.187575
0.20/0.30 c bounds - >= -1072 @ 0.187575
0.20/0.30 c bounds - >= -1071 @ 0.1879
0.20/0.30 c bounds - >= -1070 @ 0.188491
0.20/0.30 c bounds - >= -1069 @ 0.189071
0.20/0.30 c bounds - >= -1068 @ 0.189647
0.20/0.30 c bounds - >= -1067 @ 0.190227
0.20/0.30 c bounds - >= -1066 @ 0.19057
0.20/0.30 c bounds - >= -1065 @ 0.19057
0.20/0.30 c bounds - >= -1064 @ 0.19057
0.20/0.30 c bounds - >= -1063 @ 0.190588
0.20/0.30 c bounds - >= -1062 @ 0.191182
0.20/0.30 c bounds - >= -1061 @ 0.191768
0.20/0.30 c bounds - >= -1060 @ 0.192369
0.20/0.30 c bounds - >= -1059 @ 0.192567
0.20/0.30 c bounds - >= -1058 @ 0.192567
0.20/0.30 c bounds - >= -1057 @ 0.193172
0.20/0.30 c bounds - >= -1056 @ 0.193776
0.20/0.30 c bounds - >= -1055 @ 0.194387
0.20/0.30 c bounds - >= -1054 @ 0.194564
0.20/0.30 c bounds - >= -1053 @ 0.194743
0.20/0.30 c bounds - >= -1052 @ 0.195299
0.20/0.30 c bounds - >= -1051 @ 0.195562
0.20/0.30 c bounds - >= -1050 @ 0.195562
0.20/0.30 c bounds - >= -1049 @ 0.195563
0.20/0.30 c bounds - >= -1048 @ 0.195741
0.20/0.30 c bounds - >= -1047 @ 0.196357
0.20/0.30 c bounds - >= -1046 @ 0.196561
0.20/0.30 c bounds - >= -1045 @ 0.196561
0.20/0.30 c bounds - >= -1044 @ 0.197175
0.20/0.30 c bounds - >= -1043 @ 0.19756
0.20/0.30 c bounds - >= -1042 @ 0.19756
0.20/0.30 c bounds - >= -1041 @ 0.198033
0.20/0.30 c bounds - >= -1040 @ 0.198657
0.20/0.30 c bounds - >= -1039 @ 0.199282
0.20/0.30 c bounds - >= -1038 @ 0.199556
0.20/0.30 c bounds - >= -1037 @ 0.199556
0.20/0.30 c bounds - >= -1036 @ 0.200185
0.20/0.30 c bounds - >= -1035 @ 0.200798
0.20/0.30 c bounds - >= -1034 @ 0.201447
0.20/0.30 c bounds - >= -1033 @ 0.202088
0.20/0.30 c bounds - >= -1032 @ 0.202551
0.20/0.30 c bounds - >= -1031 @ 0.202551
0.20/0.30 c bounds - >= -1030 @ 0.202552
0.20/0.30 c bounds - >= -1029 @ 0.202731
0.20/0.30 c bounds - >= -1028 @ 0.203381
0.20/0.30 c bounds - >= -1027 @ 0.203994
0.20/0.30 c bounds - >= -1026 @ 0.204651
0.20/0.30 c bounds - >= -1025 @ 0.205315
0.20/0.30 c bounds - >= -1024 @ 0.205546
0.20/0.30 c bounds - >= -1023 @ 0.205728
0.20/0.30 c bounds - >= -1022 @ 0.206371
0.20/0.30 c bounds - >= -1021 @ 0.206545
0.20/0.30 c bounds - >= -1020 @ 0.206742
0.20/0.30 c bounds - >= -1019 @ 0.207416
0.20/0.30 c bounds - >= -1018 @ 0.207543
0.20/0.30 c bounds - >= -1017 @ 0.207544
0.20/0.30 c bounds - >= -1016 @ 0.207544
0.20/0.30 c bounds - >= -1015 @ 0.208239
0.20/0.30 c bounds - >= -1014 @ 0.208542
0.20/0.30 c bounds - >= -1013 @ 0.208542
0.20/0.30 c bounds - >= -1012 @ 0.208542
0.20/0.30 c bounds - >= -1011 @ 0.208543
0.20/0.30 c bounds - >= -1010 @ 0.208741
0.20/0.30 c bounds - >= -1009 @ 0.209441
0.20/0.30 c bounds - >= -1008 @ 0.210144
0.20/0.30 c bounds - >= -1007 @ 0.210884
0.20/0.30 c bounds - >= -1006 @ 0.2116
0.20/0.30 c bounds - >= -1005 @ 0.212308
0.20/0.30 c bounds - >= -1004 @ 0.212535
0.20/0.30 c bounds - >= -1003 @ 0.212747
0.20/0.30 c bounds - >= -1002 @ 0.213452
0.20/0.30 c bounds - >= -1001 @ 0.214171
0.20/0.30 c bounds - >= -1000 @ 0.214531
0.20/0.30 c bounds - >= -999 @ 0.21471
0.20/0.30 c bounds - >= -998 @ 0.215344
0.20/0.30 c bounds - >= -997 @ 0.215529
0.20/0.30 c bounds - >= -996 @ 0.215721
0.20/0.30 c bounds - >= -995 @ 0.216437
0.20/0.30 c bounds - >= -994 @ 0.216528
0.20/0.30 c bounds - >= -993 @ 0.216529
0.20/0.30 c bounds - >= -992 @ 0.216707
0.20/0.30 c bounds - >= -991 @ 0.217379
0.20/0.30 c bounds - >= -990 @ 0.217525
0.20/0.30 c bounds - >= -989 @ 0.217527
0.20/0.30 c bounds - >= -988 @ 0.217718
0.20/0.30 c bounds - >= -987 @ 0.218399
0.20/0.30 c bounds - >= -986 @ 0.218525
0.20/0.30 c bounds - >= -985 @ 0.218526
0.39/0.41 c bounds - >= -984 @ 0.218722
0.39/0.41 c bounds - >= -983 @ 0.219444
0.39/0.41 c bounds - >= -982 @ 0.220187
0.39/0.41 c bounds - >= -981 @ 0.220521
0.39/0.41 c bounds - >= -980 @ 0.221086
0.39/0.41 c bounds - >= -979 @ 0.22152
0.39/0.41 c bounds - >= -978 @ 0.221706
0.39/0.41 c bounds - >= -977 @ 0.222375
0.39/0.41 c bounds - >= -976 @ 0.222517
0.39/0.41 c bounds - >= -975 @ 0.222517
0.39/0.41 c bounds - >= -974 @ 0.222706
0.39/0.41 c bounds - >= -973 @ 0.223436
0.39/0.41 c bounds - >= -972 @ 0.223515
0.39/0.41 c bounds - >= -971 @ 0.223517
0.39/0.41 c bounds - >= -970 @ 0.223517
0.39/0.41 c bounds - >= -969 @ 0.223517
0.39/0.41 c bounds - >= -968 @ 0.224289
0.39/0.41 c bounds - >= -967 @ 0.224514
0.39/0.41 c bounds - >= -966 @ 0.224515
0.39/0.41 c bounds - >= -965 @ 0.224702
0.39/0.41 c bounds - >= -964 @ 0.225379
0.39/0.41 c bounds - >= -963 @ 0.226115
0.39/0.41 c bounds - >= -962 @ 0.226511
0.39/0.41 c bounds - >= -961 @ 0.226702
0.39/0.41 c bounds - >= -960 @ 0.22745
0.39/0.41 c bounds - >= -959 @ 0.228209
0.39/0.41 c bounds - >= -958 @ 0.228996
0.39/0.41 c bounds - >= -957 @ 0.229762
0.39/0.41 c bounds - >= -956 @ 0.230537
0.39/0.41 c bounds - >= -955 @ 0.231278
0.39/0.41 c bounds - >= -954 @ 0.2315
0.39/0.41 c bounds - >= -953 @ 0.231501
0.39/0.41 c bounds - >= -952 @ 0.23167
0.39/0.41 c bounds - >= -951 @ 0.232354
0.39/0.41 c bounds - >= -950 @ 0.232499
0.39/0.41 c bounds - >= -949 @ 0.232499
0.39/0.41 c bounds - >= -948 @ 0.232669
0.39/0.41 c bounds - >= -947 @ 0.233398
0.39/0.41 c bounds - >= -946 @ 0.233497
0.39/0.41 c bounds - >= -945 @ 0.233887
0.39/0.41 c bounds - >= -944 @ 0.234648
0.39/0.41 c bounds - >= -943 @ 0.235416
0.39/0.41 c bounds - >= -942 @ 0.235494
0.39/0.41 c bounds - >= -941 @ 0.235495
0.39/0.41 c bounds - >= -940 @ 0.235495
0.39/0.41 c bounds - >= -939 @ 0.235511
0.39/0.41 c bounds - >= -938 @ 0.236288
0.39/0.41 c bounds - >= -937 @ 0.236493
0.39/0.41 c bounds - >= -936 @ 0.236493
0.39/0.41 c bounds - >= -935 @ 0.236663
0.39/0.41 c bounds - >= -934 @ 0.237418
0.39/0.41 c bounds - >= -933 @ 0.238188
0.39/0.41 c bounds - >= -932 @ 0.23849
0.39/0.41 c bounds - >= -931 @ 0.23849
0.39/0.41 c bounds - >= -930 @ 0.238661
0.39/0.41 c bounds - >= -929 @ 0.239466
0.39/0.41 c bounds - >= -928 @ 0.240292
0.39/0.41 c bounds - >= -927 @ 0.240486
0.39/0.41 c bounds - >= -926 @ 0.240486
0.39/0.41 c bounds - >= -925 @ 0.240773
0.39/0.41 c bounds - >= -924 @ 0.241607
0.39/0.41 c bounds - >= -923 @ 0.24245
0.39/0.41 c bounds - >= -922 @ 0.243291
0.39/0.41 c bounds - >= -921 @ 0.24415
0.39/0.41 c bounds - >= -920 @ 0.244478
0.39/0.41 c bounds - >= -919 @ 0.244869
0.39/0.41 c bounds - >= -918 @ 0.245476
0.39/0.41 c bounds - >= -917 @ 0.245646
0.39/0.41 c bounds - >= -916 @ 0.246454
0.39/0.42 c bounds - >= -915 @ 0.247316
0.39/0.42 c bounds - >= -914 @ 0.247472
0.39/0.42 c bounds - >= -913 @ 0.247473
0.39/0.42 c bounds - >= -912 @ 0.247473
0.39/0.42 c bounds - >= -911 @ 0.247473
0.39/0.42 c bounds - >= -910 @ 0.24765
0.39/0.42 c bounds - >= -909 @ 0.248519
0.39/0.42 c bounds - >= -908 @ 0.249418
0.39/0.42 c bounds - >= -907 @ 0.250295
0.39/0.42 c bounds - >= -906 @ 0.250467
0.39/0.42 c bounds - >= -905 @ 0.250468
0.39/0.42 c bounds - >= -904 @ 0.250468
0.39/0.42 c bounds - >= -903 @ 0.250868
0.39/0.42 c bounds - >= -902 @ 0.251466
0.39/0.42 c bounds - >= -901 @ 0.251687
0.39/0.42 c bounds - >= -900 @ 0.252578
0.39/0.42 c bounds - >= -899 @ 0.253449
0.39/0.42 c bounds - >= -898 @ 0.254346
0.39/0.42 c bounds - >= -897 @ 0.254461
0.39/0.42 c bounds - >= -896 @ 0.25463
0.39/0.42 c bounds - >= -895 @ 0.255439
0.39/0.42 c bounds - >= -894 @ 0.256342
0.39/0.42 c bounds - >= -893 @ 0.256457
0.39/0.42 c bounds - >= -892 @ 0.256457
0.39/0.42 c bounds - >= -891 @ 0.257059
0.39/0.42 c bounds - >= -890 @ 0.257966
0.39/0.42 c bounds - >= -889 @ 0.258453
0.39/0.42 c bounds - >= -888 @ 0.258796
0.39/0.42 c bounds - >= -887 @ 0.259452
0.39/0.42 c bounds - >= -886 @ 0.25966
0.39/0.42 c bounds - >= -885 @ 0.260597
0.39/0.42 c bounds - >= -884 @ 0.26153
0.39/0.42 c bounds - >= -883 @ 0.262457
0.39/0.42 c bounds - >= -882 @ 0.263393
0.39/0.42 c bounds - >= -881 @ 0.264324
0.39/0.42 c bounds - >= -880 @ 0.265258
0.39/0.42 c bounds - >= -879 @ 0.265436
0.39/0.42 c bounds - >= -878 @ 0.265437
0.39/0.42 c bounds - >= -877 @ 0.266114
0.39/0.42 c bounds - >= -876 @ 0.266435
0.39/0.42 c bounds - >= -875 @ 0.267095
0.39/0.42 c bounds - >= -874 @ 0.267432
0.39/0.42 c bounds - >= -873 @ 0.267984
0.39/0.42 c bounds - >= -872 @ 0.268933
0.39/0.42 c bounds - >= -871 @ 0.269429
0.39/0.42 c bounds - >= -870 @ 0.269867
0.39/0.42 c bounds - >= -869 @ 0.270427
0.39/0.42 c bounds - >= -868 @ 0.270427
0.39/0.42 c bounds - >= -867 @ 0.270427
0.39/0.42 c bounds - >= -866 @ 0.270428
0.39/0.42 c bounds - >= -865 @ 0.2709
0.39/0.42 c bounds - >= -864 @ 0.271927
0.39/0.42 c bounds - >= -863 @ 0.272423
0.39/0.42 c bounds - >= -862 @ 0.272982
0.39/0.42 c bounds - >= -861 @ 0.273397
0.39/0.42 c bounds - >= -860 @ 0.274022
0.39/0.42 c bounds - >= -859 @ 0.274394
0.39/0.42 c bounds - >= -858 @ 0.274394
0.39/0.42 c bounds - >= -857 @ 0.275195
0.39/0.42 c bounds - >= -856 @ 0.276239
0.39/0.42 c bounds - >= -855 @ 0.276386
0.39/0.42 c bounds - >= -854 @ 0.276386
0.39/0.42 c bounds - >= -853 @ 0.277449
0.39/0.42 c bounds - >= -852 @ 0.278485
0.39/0.42 c bounds - >= -851 @ 0.279513
0.39/0.42 c bounds - >= -850 @ 0.280545
0.39/0.42 c bounds - >= -849 @ 0.281603
0.39/0.42 c bounds - >= -848 @ 0.282668
0.39/0.46 c bounds - >= -847 @ 0.28337
0.39/0.46 c bounds - >= -846 @ 0.28337
0.39/0.46 c bounds - >= -845 @ 0.28337
0.39/0.46 c bounds - >= -844 @ 0.283371
0.39/0.46 c bounds - >= -843 @ 0.283371
0.39/0.46 c bounds - >= -842 @ 0.283371
0.39/0.46 c bounds - >= -841 @ 0.283371
0.39/0.46 c bounds - >= -840 @ 0.284435
0.39/0.46 c bounds - >= -839 @ 0.28559
0.39/0.46 c bounds - >= -838 @ 0.286363
0.39/0.46 c bounds - >= -837 @ 0.286901
0.39/0.46 c bounds - >= -836 @ 0.287361
0.39/0.46 c bounds - >= -835 @ 0.287361
0.39/0.46 c bounds - >= -834 @ 0.288318
0.39/0.46 c bounds - >= -833 @ 0.289478
0.39/0.46 c bounds - >= -832 @ 0.290619
0.39/0.46 c bounds - >= -831 @ 0.291352
0.39/0.46 c bounds - >= -830 @ 0.291352
0.39/0.46 c bounds - >= -829 @ 0.291352
0.39/0.46 c bounds - >= -828 @ 0.291352
0.39/0.46 c bounds - >= -827 @ 0.291544
0.39/0.46 c bounds - >= -826 @ 0.292611
0.39/0.46 c bounds - >= -825 @ 0.293348
0.39/0.46 c bounds - >= -824 @ 0.293349
0.39/0.46 c bounds - >= -823 @ 0.294171
0.39/0.46 c bounds - >= -822 @ 0.294362
0.39/0.46 c bounds - >= -821 @ 0.295499
0.39/0.46 c bounds - >= -820 @ 0.296632
0.39/0.46 c bounds - >= -819 @ 0.29734
0.39/0.46 c bounds - >= -818 @ 0.29734
0.39/0.46 c bounds - >= -817 @ 0.298252
0.39/0.46 c bounds - >= -816 @ 0.298534
0.39/0.46 c bounds - >= -815 @ 0.299758
0.39/0.46 c bounds - >= -814 @ 0.300333
0.39/0.46 c finalizing WCE round: reformulating cores
131.84/132.24 c #Conflicts: 1000 | #Constraints: 7129
131.84/132.24 c #Conflicts: 2000 | #Constraints: 8177
131.84/132.24 c INPROCESSING
131.84/132.24 c GARBAGE COLLECT
131.84/132.24 c #Conflicts: 3000 | #Constraints: 7284
131.84/132.24 c #Conflicts: 4000 | #Constraints: 8286
131.84/132.24 c INPROCESSING
131.84/132.24 c GARBAGE COLLECT
131.84/132.24 c #Conflicts: 5000 | #Constraints: 7616
131.84/132.24 c #Conflicts: 6000 | #Constraints: 8618
131.84/132.24 c INPROCESSING
131.84/132.24 c GARBAGE COLLECT
131.84/132.24 c #Conflicts: 7000 | #Constraints: 7581
131.84/132.24 c #Conflicts: 8000 | #Constraints: 8583
131.84/132.24 c #Conflicts: 9000 | #Constraints: 9587
131.84/132.24 c INPROCESSING
131.84/132.24 c GARBAGE COLLECT
131.84/132.24 c #Conflicts: 10000 | #Constraints: 8276
131.84/132.24 c #Conflicts: 11000 | #Constraints: 9281
131.84/132.24 c #Conflicts: 12000 | #Constraints: 10283
131.84/132.24 c INPROCESSING
131.84/132.24 c GARBAGE COLLECT
131.84/132.24 c #Conflicts: 13000 | #Constraints: 8706
131.84/132.24 c #Conflicts: 14000 | #Constraints: 9708
131.84/132.24 c #Conflicts: 15000 | #Constraints: 10710
131.84/132.24 c INPROCESSING
131.84/132.24 c GARBAGE COLLECT
131.84/132.24 c #Conflicts: 16000 | #Constraints: 8936
131.84/132.25 c #Conflicts: 17000 | #Constraints: 9938
131.84/132.25 c #Conflicts: 18000 | #Constraints: 10940
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 19000 | #Constraints: 8953
131.84/132.25 c #Conflicts: 20000 | #Constraints: 9955
131.84/132.25 c #Conflicts: 21000 | #Constraints: 10957
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 22000 | #Constraints: 8770
131.84/132.25 c #Conflicts: 23000 | #Constraints: 9772
131.84/132.25 c #Conflicts: 24000 | #Constraints: 10776
131.84/132.25 c #Conflicts: 25000 | #Constraints: 11778
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 26000 | #Constraints: 9390
131.84/132.25 c #Conflicts: 27000 | #Constraints: 10392
131.84/132.25 c #Conflicts: 28000 | #Constraints: 11394
131.84/132.25 c #Conflicts: 29000 | #Constraints: 12398
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 30000 | #Constraints: 9808
131.84/132.25 c #Conflicts: 31000 | #Constraints: 10810
131.84/132.25 c #Conflicts: 32000 | #Constraints: 11812
131.84/132.25 c #Conflicts: 33000 | #Constraints: 12816
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 34000 | #Constraints: 10006
131.84/132.25 c #Conflicts: 35000 | #Constraints: 11008
131.84/132.25 c #Conflicts: 36000 | #Constraints: 12010
131.84/132.25 c #Conflicts: 37000 | #Constraints: 13014
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 38000 | #Constraints: 10019
131.84/132.25 c #Conflicts: 39000 | #Constraints: 11021
131.84/132.25 c #Conflicts: 40000 | #Constraints: 12023
131.84/132.25 c #Conflicts: 41000 | #Constraints: 13027
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 42000 | #Constraints: 9810
131.84/132.25 c #Conflicts: 43000 | #Constraints: 10812
131.84/132.25 c #Conflicts: 44000 | #Constraints: 11816
131.84/132.25 c #Conflicts: 45000 | #Constraints: 12818
131.84/132.25 c #Conflicts: 46000 | #Constraints: 13820
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 47000 | #Constraints: 10434
131.84/132.25 c #Conflicts: 48000 | #Constraints: 11436
131.84/132.25 c #Conflicts: 49000 | #Constraints: 12438
131.84/132.25 c #Conflicts: 50000 | #Constraints: 13442
131.84/132.25 c #Conflicts: 51000 | #Constraints: 14444
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 52000 | #Constraints: 10843
131.84/132.25 c #Conflicts: 53000 | #Constraints: 11845
131.84/132.25 c #Conflicts: 54000 | #Constraints: 12847
131.84/132.25 c #Conflicts: 55000 | #Constraints: 13851
131.84/132.25 c #Conflicts: 56000 | #Constraints: 14853
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 57000 | #Constraints: 11056
131.84/132.25 c #Conflicts: 58000 | #Constraints: 12058
131.84/132.25 c #Conflicts: 59000 | #Constraints: 13060
131.84/132.25 c #Conflicts: 60000 | #Constraints: 14064
131.84/132.25 c #Conflicts: 61000 | #Constraints: 15066
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 62000 | #Constraints: 11059
131.84/132.25 c #Conflicts: 63000 | #Constraints: 12061
131.84/132.25 c #Conflicts: 64000 | #Constraints: 13063
131.84/132.25 c #Conflicts: 65000 | #Constraints: 14067
131.84/132.25 c #Conflicts: 66000 | #Constraints: 15069
131.84/132.25 c INPROCESSING
131.84/132.25 c GARBAGE COLLECT
131.84/132.25 c #Conflicts: 67000 | #Constraints: 10875
131.84/132.25 c #Conflicts: 68000 | #Constraints: 11877
322.84/323.71 c #Conflicts: 69000 | #Constraints: 12881
322.84/323.71 c #Conflicts: 70000 | #Constraints: 13883
322.84/323.71 c #Conflicts: 71000 | #Constraints: 14885
322.84/323.71 c #Conflicts: 72000 | #Constraints: 15889
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 73000 | #Constraints: 11493
322.84/323.71 c #Conflicts: 74000 | #Constraints: 12495
322.84/323.71 c #Conflicts: 75000 | #Constraints: 13497
322.84/323.71 c #Conflicts: 76000 | #Constraints: 14501
322.84/323.71 c #Conflicts: 77000 | #Constraints: 15503
322.84/323.71 c #Conflicts: 78000 | #Constraints: 16505
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 79000 | #Constraints: 11911
322.84/323.71 c #Conflicts: 80000 | #Constraints: 12913
322.84/323.71 c #Conflicts: 81000 | #Constraints: 13915
322.84/323.71 c #Conflicts: 82000 | #Constraints: 14919
322.84/323.71 c #Conflicts: 83000 | #Constraints: 15921
322.84/323.71 c #Conflicts: 84000 | #Constraints: 16923
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 85000 | #Constraints: 12126
322.84/323.71 c #Conflicts: 86000 | #Constraints: 13128
322.84/323.71 c #Conflicts: 87000 | #Constraints: 14130
322.84/323.71 c #Conflicts: 88000 | #Constraints: 15134
322.84/323.71 c #Conflicts: 89000 | #Constraints: 16136
322.84/323.71 c #Conflicts: 90000 | #Constraints: 17138
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 91000 | #Constraints: 12146
322.84/323.71 c #Conflicts: 92000 | #Constraints: 13148
322.84/323.71 c #Conflicts: 93000 | #Constraints: 14150
322.84/323.71 c #Conflicts: 94000 | #Constraints: 15154
322.84/323.71 c #Conflicts: 95000 | #Constraints: 16156
322.84/323.71 c #Conflicts: 96000 | #Constraints: 17158
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 97000 | #Constraints: 11956
322.84/323.71 c #Conflicts: 98000 | #Constraints: 12958
322.84/323.71 c #Conflicts: 99000 | #Constraints: 13962
322.84/323.71 c #Conflicts: 100000 | #Constraints: 14964
322.84/323.71 c #Conflicts: 101000 | #Constraints: 15966
322.84/323.71 c #Conflicts: 102000 | #Constraints: 16970
322.84/323.71 c #Conflicts: 103000 | #Constraints: 17972
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 104000 | #Constraints: 12569
322.84/323.71 c #Conflicts: 105000 | #Constraints: 13571
322.84/323.71 c #Conflicts: 106000 | #Constraints: 14573
322.84/323.71 c #Conflicts: 107000 | #Constraints: 15577
322.84/323.71 c #Conflicts: 108000 | #Constraints: 16579
322.84/323.71 c #Conflicts: 109000 | #Constraints: 17581
322.84/323.71 c #Conflicts: 110000 | #Constraints: 18585
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 111000 | #Constraints: 13010
322.84/323.71 c #Conflicts: 112000 | #Constraints: 14012
322.84/323.71 c #Conflicts: 113000 | #Constraints: 15014
322.84/323.71 c #Conflicts: 114000 | #Constraints: 16018
322.84/323.71 c #Conflicts: 115000 | #Constraints: 17020
322.84/323.71 c #Conflicts: 116000 | #Constraints: 18022
322.84/323.71 c #Conflicts: 117000 | #Constraints: 19026
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 118000 | #Constraints: 13235
322.84/323.71 c #Conflicts: 119000 | #Constraints: 14237
322.84/323.71 c #Conflicts: 120000 | #Constraints: 15239
322.84/323.71 c #Conflicts: 121000 | #Constraints: 16243
322.84/323.71 c #Conflicts: 122000 | #Constraints: 17245
322.84/323.71 c #Conflicts: 123000 | #Constraints: 18247
322.84/323.71 c #Conflicts: 124000 | #Constraints: 19251
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 125000 | #Constraints: 13250
322.84/323.71 c #Conflicts: 126000 | #Constraints: 14252
322.84/323.71 c #Conflicts: 127000 | #Constraints: 15254
322.84/323.71 c #Conflicts: 128000 | #Constraints: 16258
322.84/323.71 c #Conflicts: 129000 | #Constraints: 17260
322.84/323.71 c #Conflicts: 130000 | #Constraints: 18262
322.84/323.71 c #Conflicts: 131000 | #Constraints: 19266
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 132000 | #Constraints: 13067
322.84/323.71 c #Conflicts: 133000 | #Constraints: 14069
322.84/323.71 c #Conflicts: 134000 | #Constraints: 15073
322.84/323.71 c #Conflicts: 135000 | #Constraints: 16075
322.84/323.71 c #Conflicts: 136000 | #Constraints: 17077
322.84/323.71 c #Conflicts: 137000 | #Constraints: 18081
322.84/323.71 c #Conflicts: 138000 | #Constraints: 19083
322.84/323.71 c #Conflicts: 139000 | #Constraints: 20085
322.84/323.71 c INPROCESSING
322.84/323.71 c GARBAGE COLLECT
322.84/323.71 c #Conflicts: 140000 | #Constraints: 13684
513.49/514.89 c #Conflicts: 141000 | #Constraints: 14686
513.49/514.89 c #Conflicts: 142000 | #Constraints: 15688
513.49/514.89 c #Conflicts: 143000 | #Constraints: 16692
513.49/514.89 c #Conflicts: 144000 | #Constraints: 17694
513.49/514.89 c #Conflicts: 145000 | #Constraints: 18696
513.49/514.89 c #Conflicts: 146000 | #Constraints: 19700
513.49/514.89 c #Conflicts: 147000 | #Constraints: 20702
513.49/514.89 c INPROCESSING
513.49/514.89 c GARBAGE COLLECT
513.49/514.89 c #Conflicts: 148000 | #Constraints: 14112
513.49/514.89 c #Conflicts: 149000 | #Constraints: 15114
513.49/514.89 c #Conflicts: 150000 | #Constraints: 16116
513.49/514.89 c #Conflicts: 151000 | #Constraints: 17120
513.49/514.89 c #Conflicts: 152000 | #Constraints: 18122
513.49/514.89 c #Conflicts: 153000 | #Constraints: 19124
513.49/514.89 c #Conflicts: 154000 | #Constraints: 20128
513.49/514.89 c #Conflicts: 155000 | #Constraints: 21130
513.49/514.89 c INPROCESSING
513.49/514.89 c GARBAGE COLLECT
513.49/514.89 c #Conflicts: 156000 | #Constraints: 14320
513.49/514.89 c #Conflicts: 157000 | #Constraints: 15322
513.49/514.89 c #Conflicts: 158000 | #Constraints: 16324
513.49/514.89 c #Conflicts: 159000 | #Constraints: 17328
513.49/514.89 c #Conflicts: 160000 | #Constraints: 18330
513.49/514.89 c #Conflicts: 161000 | #Constraints: 19332
513.49/514.89 c #Conflicts: 162000 | #Constraints: 20336
513.49/514.89 c #Conflicts: 163000 | #Constraints: 21338
513.49/514.89 c INPROCESSING
513.49/514.89 c GARBAGE COLLECT
513.49/514.89 c #Conflicts: 164000 | #Constraints: 14346
513.49/514.89 c #Conflicts: 165000 | #Constraints: 15348
513.49/514.89 c #Conflicts: 166000 | #Constraints: 16350
513.49/514.89 c #Conflicts: 167000 | #Constraints: 17354
513.49/514.89 c #Conflicts: 168000 | #Constraints: 18356
513.49/514.89 c #Conflicts: 169000 | #Constraints: 19358
513.49/514.89 c #Conflicts: 170000 | #Constraints: 20362
513.49/514.89 c #Conflicts: 171000 | #Constraints: 21364
513.49/514.89 c INPROCESSING
513.49/514.89 c GARBAGE COLLECT
513.49/514.89 c #Conflicts: 172000 | #Constraints: 14158
513.49/514.89 c #Conflicts: 173000 | #Constraints: 15160
513.49/514.89 c #Conflicts: 174000 | #Constraints: 16164
513.49/514.89 c #Conflicts: 175000 | #Constraints: 17166
513.49/514.89 c #Conflicts: 176000 | #Constraints: 18168
513.49/514.89 c #Conflicts: 177000 | #Constraints: 19172
513.49/514.89 c #Conflicts: 178000 | #Constraints: 20174
513.49/514.89 c #Conflicts: 179000 | #Constraints: 21176
513.49/514.89 c #Conflicts: 180000 | #Constraints: 22180
513.49/514.89 c INPROCESSING
513.49/514.89 c GARBAGE COLLECT
513.49/514.89 c #Conflicts: 181000 | #Constraints: 14799
513.49/514.89 c #Conflicts: 182000 | #Constraints: 15801
513.49/514.89 c #Conflicts: 183000 | #Constraints: 16803
513.49/514.89 c #Conflicts: 184000 | #Constraints: 17807
513.49/514.89 c #Conflicts: 185000 | #Constraints: 18809
513.49/514.89 c #Conflicts: 186000 | #Constraints: 19811
513.49/514.89 c #Conflicts: 187000 | #Constraints: 20815
513.49/514.89 c #Conflicts: 188000 | #Constraints: 21817
513.49/514.89 c #Conflicts: 189000 | #Constraints: 22819
513.49/514.89 c INPROCESSING
513.49/514.89 c GARBAGE COLLECT
513.49/514.89 c #Conflicts: 190000 | #Constraints: 15208
513.49/514.89 c #Conflicts: 191000 | #Constraints: 16210
513.49/514.89 c #Conflicts: 192000 | #Constraints: 17212
513.49/514.89 c #Conflicts: 193000 | #Constraints: 18216
513.49/514.89 c #Conflicts: 194000 | #Constraints: 19218
513.49/514.89 c #Conflicts: 195000 | #Constraints: 20220
513.49/514.89 c #Conflicts: 196000 | #Constraints: 21224
513.49/514.89 c #Conflicts: 197000 | #Constraints: 22226
513.49/514.89 c #Conflicts: 198000 | #Constraints: 23228
513.49/514.89 c INPROCESSING
513.49/514.89 c GARBAGE COLLECT
513.49/514.89 c #Conflicts: 199000 | #Constraints: 15445
513.49/514.89 c #Conflicts: 200000 | #Constraints: 16447
513.49/514.89 c #Conflicts: 201000 | #Constraints: 17449
513.49/514.89 c #Conflicts: 202000 | #Constraints: 18453
513.49/514.89 c #Conflicts: 203000 | #Constraints: 19455
513.49/514.89 c #Conflicts: 204000 | #Constraints: 20457
513.49/514.89 c #Conflicts: 205000 | #Constraints: 21461
513.49/514.89 c #Conflicts: 206000 | #Constraints: 22463
513.49/514.89 c #Conflicts: 207000 | #Constraints: 23465
513.49/514.89 c INPROCESSING
513.49/514.89 c GARBAGE COLLECT
513.49/514.89 c #Conflicts: 208000 | #Constraints: 15480
513.49/514.89 c #Conflicts: 209000 | #Constraints: 16482
513.49/514.89 c #Conflicts: 210000 | #Constraints: 17484
513.49/514.89 c #Conflicts: 211000 | #Constraints: 18488
513.49/514.89 c #Conflicts: 212000 | #Constraints: 19490
513.49/514.89 c #Conflicts: 213000 | #Constraints: 20492
769.47/771.45 c #Conflicts: 214000 | #Constraints: 21496
769.47/771.45 c #Conflicts: 215000 | #Constraints: 22498
769.47/771.45 c #Conflicts: 216000 | #Constraints: 23500
769.47/771.45 c INPROCESSING
769.47/771.45 c GARBAGE COLLECT
769.47/771.45 c #Conflicts: 217000 | #Constraints: 15293
769.47/771.45 c #Conflicts: 218000 | #Constraints: 16295
769.47/771.45 c #Conflicts: 219000 | #Constraints: 17299
769.47/771.45 c #Conflicts: 220000 | #Constraints: 18301
769.47/771.45 c #Conflicts: 221000 | #Constraints: 19303
769.47/771.45 c #Conflicts: 222000 | #Constraints: 20307
769.47/771.45 c #Conflicts: 223000 | #Constraints: 21309
769.47/771.45 c #Conflicts: 224000 | #Constraints: 22311
769.47/771.45 c #Conflicts: 225000 | #Constraints: 23315
769.47/771.45 c #Conflicts: 226000 | #Constraints: 24317
769.47/771.45 c INPROCESSING
769.47/771.45 c GARBAGE COLLECT
769.47/771.45 c #Conflicts: 227000 | #Constraints: 15922
769.47/771.45 c #Conflicts: 228000 | #Constraints: 16924
769.47/771.45 c #Conflicts: 229000 | #Constraints: 17926
769.47/771.45 c #Conflicts: 230000 | #Constraints: 18930
769.47/771.45 c #Conflicts: 231000 | #Constraints: 19932
769.47/771.45 c #Conflicts: 232000 | #Constraints: 20934
769.47/771.45 c #Conflicts: 233000 | #Constraints: 21938
769.47/771.45 c #Conflicts: 234000 | #Constraints: 22940
769.47/771.45 c #Conflicts: 235000 | #Constraints: 23942
769.47/771.45 c #Conflicts: 236000 | #Constraints: 24946
769.47/771.45 c INPROCESSING
769.47/771.45 c GARBAGE COLLECT
769.47/771.45 c #Conflicts: 237000 | #Constraints: 16348
769.47/771.45 c #Conflicts: 238000 | #Constraints: 17350
769.47/771.45 c #Conflicts: 239000 | #Constraints: 18352
769.47/771.45 c #Conflicts: 240000 | #Constraints: 19356
769.47/771.45 c #Conflicts: 241000 | #Constraints: 20358
769.47/771.45 c #Conflicts: 242000 | #Constraints: 21360
769.47/771.45 c #Conflicts: 243000 | #Constraints: 22364
769.47/771.45 c #Conflicts: 244000 | #Constraints: 23366
769.47/771.45 c #Conflicts: 245000 | #Constraints: 24368
769.47/771.45 c #Conflicts: 246000 | #Constraints: 25372
769.47/771.45 c INPROCESSING
769.47/771.45 c GARBAGE COLLECT
769.47/771.45 c #Conflicts: 247000 | #Constraints: 16584
769.47/771.45 c #Conflicts: 248000 | #Constraints: 17586
769.47/771.45 c #Conflicts: 249000 | #Constraints: 18588
769.47/771.45 c #Conflicts: 250000 | #Constraints: 19592
769.47/771.45 c #Conflicts: 251000 | #Constraints: 20594
769.47/771.45 c #Conflicts: 252000 | #Constraints: 21596
769.47/771.45 c #Conflicts: 253000 | #Constraints: 22600
769.47/771.45 c #Conflicts: 254000 | #Constraints: 23602
769.47/771.45 c #Conflicts: 255000 | #Constraints: 24604
769.47/771.45 c #Conflicts: 256000 | #Constraints: 25608
769.47/771.45 c INPROCESSING
769.47/771.45 c GARBAGE COLLECT
769.47/771.45 c #Conflicts: 257000 | #Constraints: 16617
769.47/771.45 c #Conflicts: 258000 | #Constraints: 17619
769.47/771.45 c #Conflicts: 259000 | #Constraints: 18621
769.47/771.45 c #Conflicts: 260000 | #Constraints: 19625
769.47/771.45 c #Conflicts: 261000 | #Constraints: 20627
769.47/771.45 c #Conflicts: 262000 | #Constraints: 21629
769.47/771.45 c #Conflicts: 263000 | #Constraints: 22633
769.47/771.45 c #Conflicts: 264000 | #Constraints: 23635
769.47/771.45 c #Conflicts: 265000 | #Constraints: 24637
769.47/771.45 c #Conflicts: 266000 | #Constraints: 25641
769.47/771.45 c INPROCESSING
769.47/771.45 c GARBAGE COLLECT
769.47/771.45 c #Conflicts: 267000 | #Constraints: 16453
769.47/771.45 c #Conflicts: 268000 | #Constraints: 17455
769.47/771.45 c #Conflicts: 269000 | #Constraints: 18459
769.47/771.45 c #Conflicts: 270000 | #Constraints: 19461
769.47/771.45 c #Conflicts: 271000 | #Constraints: 20463
769.47/771.45 c #Conflicts: 272000 | #Constraints: 21467
769.47/771.45 c #Conflicts: 273000 | #Constraints: 22469
769.47/771.45 c #Conflicts: 274000 | #Constraints: 23471
769.47/771.45 c #Conflicts: 275000 | #Constraints: 24475
769.47/771.45 c #Conflicts: 276000 | #Constraints: 25477
769.47/771.45 c #Conflicts: 277000 | #Constraints: 26479
769.47/771.45 c INPROCESSING
769.47/771.45 c GARBAGE COLLECT
769.47/771.45 c #Conflicts: 278000 | #Constraints: 17081
769.47/771.45 c #Conflicts: 279000 | #Constraints: 18083
769.47/771.45 c #Conflicts: 280000 | #Constraints: 19085
769.47/771.45 c #Conflicts: 281000 | #Constraints: 20089
769.47/771.45 c #Conflicts: 282000 | #Constraints: 21091
769.47/771.45 c #Conflicts: 283000 | #Constraints: 22093
769.47/771.45 c #Conflicts: 284000 | #Constraints: 23097
769.47/771.45 c #Conflicts: 285000 | #Constraints: 24099
769.47/771.45 c #Conflicts: 286000 | #Constraints: 25101
769.47/771.45 c #Conflicts: 287000 | #Constraints: 26105
769.47/771.45 c #Conflicts: 288000 | #Constraints: 27107
1032.44/1035.04 c INPROCESSING
1032.44/1035.04 c GARBAGE COLLECT
1032.44/1035.04 c #Conflicts: 289000 | #Constraints: 17511
1032.44/1035.04 c #Conflicts: 290000 | #Constraints: 18513
1032.44/1035.04 c #Conflicts: 291000 | #Constraints: 19515
1032.44/1035.04 c #Conflicts: 292000 | #Constraints: 20519
1032.44/1035.04 c #Conflicts: 293000 | #Constraints: 21521
1032.44/1035.04 c #Conflicts: 294000 | #Constraints: 22523
1032.44/1035.04 c #Conflicts: 295000 | #Constraints: 23527
1032.44/1035.04 c #Conflicts: 296000 | #Constraints: 24529
1032.44/1035.04 c #Conflicts: 297000 | #Constraints: 25531
1032.44/1035.04 c #Conflicts: 298000 | #Constraints: 26535
1032.44/1035.04 c #Conflicts: 299000 | #Constraints: 27537
1032.44/1035.04 c INPROCESSING
1032.44/1035.04 c GARBAGE COLLECT
1032.44/1035.04 c #Conflicts: 300000 | #Constraints: 17746
1032.44/1035.04 c #Conflicts: 301000 | #Constraints: 18748
1032.44/1035.04 c #Conflicts: 302000 | #Constraints: 19750
1032.44/1035.04 c #Conflicts: 303000 | #Constraints: 20754
1032.44/1035.04 c #Conflicts: 304000 | #Constraints: 21756
1032.44/1035.04 c #Conflicts: 305000 | #Constraints: 22758
1032.44/1035.04 c #Conflicts: 306000 | #Constraints: 23762
1032.44/1035.04 c #Conflicts: 307000 | #Constraints: 24764
1032.44/1035.04 c #Conflicts: 308000 | #Constraints: 25766
1032.44/1035.04 c #Conflicts: 309000 | #Constraints: 26770
1032.44/1035.04 c #Conflicts: 310000 | #Constraints: 27772
1032.44/1035.04 c INPROCESSING
1032.44/1035.04 c GARBAGE COLLECT
1032.44/1035.04 c #Conflicts: 311000 | #Constraints: 17777
1032.44/1035.04 c #Conflicts: 312000 | #Constraints: 18779
1032.44/1035.04 c #Conflicts: 313000 | #Constraints: 19781
1032.44/1035.04 c #Conflicts: 314000 | #Constraints: 20785
1032.44/1035.04 c #Conflicts: 315000 | #Constraints: 21787
1032.44/1035.04 c #Conflicts: 316000 | #Constraints: 22789
1032.44/1035.04 c #Conflicts: 317000 | #Constraints: 23793
1032.44/1035.04 c #Conflicts: 318000 | #Constraints: 24795
1032.44/1035.04 c #Conflicts: 319000 | #Constraints: 25797
1032.44/1035.04 c #Conflicts: 320000 | #Constraints: 26801
1032.44/1035.04 c #Conflicts: 321000 | #Constraints: 27803
1032.44/1035.04 c INPROCESSING
1032.44/1035.04 c GARBAGE COLLECT
1032.44/1035.04 c #Conflicts: 322000 | #Constraints: 17606
1032.44/1035.04 c #Conflicts: 323000 | #Constraints: 18608
1032.44/1035.04 c #Conflicts: 324000 | #Constraints: 19612
1032.44/1035.04 c #Conflicts: 325000 | #Constraints: 20614
1032.44/1035.04 c #Conflicts: 326000 | #Constraints: 21616
1032.44/1035.04 c #Conflicts: 327000 | #Constraints: 22620
1032.44/1035.04 c #Conflicts: 328000 | #Constraints: 23622
1032.44/1035.04 c #Conflicts: 329000 | #Constraints: 24624
1032.44/1035.04 c #Conflicts: 330000 | #Constraints: 25628
1032.44/1035.04 c #Conflicts: 331000 | #Constraints: 26630
1032.44/1035.04 c #Conflicts: 332000 | #Constraints: 27632
1032.44/1035.04 c #Conflicts: 333000 | #Constraints: 28636
1032.44/1035.04 c INPROCESSING
1032.44/1035.04 c GARBAGE COLLECT
1032.44/1035.04 c #Conflicts: 334000 | #Constraints: 18216
1032.44/1035.04 c #Conflicts: 335000 | #Constraints: 19218
1032.44/1035.04 c #Conflicts: 336000 | #Constraints: 20220
1032.44/1035.04 c #Conflicts: 337000 | #Constraints: 21224
1032.44/1035.04 c #Conflicts: 338000 | #Constraints: 22226
1032.44/1035.04 c #Conflicts: 339000 | #Constraints: 23228
1032.44/1035.04 c #Conflicts: 340000 | #Constraints: 24232
1032.44/1035.04 c #Conflicts: 341000 | #Constraints: 25234
1032.44/1035.04 c #Conflicts: 342000 | #Constraints: 26236
1032.44/1035.04 c #Conflicts: 343000 | #Constraints: 27240
1032.44/1035.04 c #Conflicts: 344000 | #Constraints: 28242
1032.44/1035.04 c #Conflicts: 345000 | #Constraints: 29244
1032.44/1035.04 c INPROCESSING
1032.44/1035.04 c GARBAGE COLLECT
1032.44/1035.04 c #Conflicts: 346000 | #Constraints: 18638
1032.44/1035.04 c #Conflicts: 347000 | #Constraints: 19644
1032.44/1035.04 c #Conflicts: 348000 | #Constraints: 20648
1032.44/1035.04 c #Conflicts: 349000 | #Constraints: 21653
1032.44/1035.04 c #Conflicts: 350000 | #Constraints: 22658
1032.44/1035.04 c #Conflicts: 351000 | #Constraints: 23660
1032.44/1035.04 c #Conflicts: 352000 | #Constraints: 24665
1032.44/1035.04 c #Conflicts: 353000 | #Constraints: 25668
1032.44/1035.04 c #Conflicts: 354000 | #Constraints: 26673
1032.44/1035.04 c #Conflicts: 355000 | #Constraints: 27677
1032.44/1035.04 c #Conflicts: 356000 | #Constraints: 28679
1032.44/1035.04 c #Conflicts: 357000 | #Constraints: 29684
1032.44/1035.04 c INPROCESSING
1032.44/1035.04 c GARBAGE COLLECT
1032.44/1035.04 c #Conflicts: 358000 | #Constraints: 18861
1032.44/1035.04 c #Conflicts: 359000 | #Constraints: 19863
1032.44/1035.04 c #Conflicts: 360000 | #Constraints: 20865
1032.44/1035.04 c #Conflicts: 361000 | #Constraints: 21869
1032.44/1035.04 c #Conflicts: 362000 | #Constraints: 22871
1398.41/1401.92 c #Conflicts: 363000 | #Constraints: 23873
1398.41/1401.92 c #Conflicts: 364000 | #Constraints: 24877
1398.41/1401.92 c #Conflicts: 365000 | #Constraints: 25882
1398.41/1401.92 c #Conflicts: 366000 | #Constraints: 26884
1398.41/1401.92 c #Conflicts: 367000 | #Constraints: 27886
1398.41/1401.92 c #Conflicts: 368000 | #Constraints: 28890
1398.41/1401.92 c #Conflicts: 369000 | #Constraints: 29895
1398.41/1401.92 c INPROCESSING
1398.41/1401.92 c GARBAGE COLLECT
1398.41/1401.92 c #Conflicts: 370000 | #Constraints: 18905
1398.41/1401.92 c #Conflicts: 371000 | #Constraints: 19907
1398.41/1401.92 c #Conflicts: 372000 | #Constraints: 20909
1398.41/1401.92 c #Conflicts: 373000 | #Constraints: 21914
1398.41/1401.92 c #Conflicts: 374000 | #Constraints: 22918
1398.41/1401.92 c #Conflicts: 375000 | #Constraints: 23920
1398.41/1401.92 c #Conflicts: 376000 | #Constraints: 24922
1398.41/1401.92 c #Conflicts: 377000 | #Constraints: 25926
1398.41/1401.92 c #Conflicts: 378000 | #Constraints: 26928
1398.41/1401.92 c #Conflicts: 379000 | #Constraints: 27930
1398.41/1401.92 c #Conflicts: 380000 | #Constraints: 28934
1398.41/1401.92 c #Conflicts: 381000 | #Constraints: 29936
1398.41/1401.92 c INPROCESSING
1398.41/1401.92 c GARBAGE COLLECT
1398.41/1401.92 c #Conflicts: 382000 | #Constraints: 18748
1398.41/1401.92 c #Conflicts: 383000 | #Constraints: 19750
1398.41/1401.92 c #Conflicts: 384000 | #Constraints: 20754
1398.41/1401.92 c #Conflicts: 385000 | #Constraints: 21756
1398.41/1401.92 c #Conflicts: 386000 | #Constraints: 22758
1398.41/1401.92 c #Conflicts: 387000 | #Constraints: 23762
1398.41/1401.92 c #Conflicts: 388000 | #Constraints: 24764
1398.41/1401.92 c #Conflicts: 389000 | #Constraints: 25766
1398.41/1401.92 c #Conflicts: 390000 | #Constraints: 26770
1398.41/1401.92 c #Conflicts: 391000 | #Constraints: 27772
1398.41/1401.92 c #Conflicts: 392000 | #Constraints: 28774
1398.41/1401.92 c #Conflicts: 393000 | #Constraints: 29778
1398.41/1401.92 c #Conflicts: 394000 | #Constraints: 30780
1398.41/1401.92 c INPROCESSING
1398.41/1401.92 c GARBAGE COLLECT
1398.41/1401.92 c #Conflicts: 395000 | #Constraints: 19390
1398.41/1401.92 c #Conflicts: 396000 | #Constraints: 20392
1398.41/1401.92 c #Conflicts: 397000 | #Constraints: 21394
1398.41/1401.92 c #Conflicts: 398000 | #Constraints: 22398
1398.41/1401.92 c #Conflicts: 399000 | #Constraints: 23400
1398.41/1401.92 c #Conflicts: 400000 | #Constraints: 24402
1398.41/1401.92 c #Conflicts: 401000 | #Constraints: 25406
1398.41/1401.92 c #Conflicts: 402000 | #Constraints: 26408
1398.41/1401.92 c #Conflicts: 403000 | #Constraints: 27410
1398.41/1401.92 c #Conflicts: 404000 | #Constraints: 28414
1398.41/1401.92 c #Conflicts: 405000 | #Constraints: 29416
1398.41/1401.92 c #Conflicts: 406000 | #Constraints: 30418
1398.41/1401.92 c #Conflicts: 407000 | #Constraints: 31422
1398.41/1401.92 c INPROCESSING
1398.41/1401.92 c GARBAGE COLLECT
1398.41/1401.92 c #Conflicts: 408000 | #Constraints: 19819
1398.41/1401.92 c #Conflicts: 409000 | #Constraints: 20821
1398.41/1401.92 c #Conflicts: 410000 | #Constraints: 21823
1398.41/1401.92 c #Conflicts: 411000 | #Constraints: 22827
1398.41/1401.92 c #Conflicts: 412000 | #Constraints: 23829
1398.41/1401.92 c #Conflicts: 413000 | #Constraints: 24831
1398.41/1401.92 c #Conflicts: 414000 | #Constraints: 25835
1398.41/1401.92 c #Conflicts: 415000 | #Constraints: 26837
1398.41/1401.92 c #Conflicts: 416000 | #Constraints: 27839
1398.41/1401.92 c #Conflicts: 417000 | #Constraints: 28843
1398.41/1401.92 c #Conflicts: 418000 | #Constraints: 29845
1398.41/1401.92 c #Conflicts: 419000 | #Constraints: 30847
1398.41/1401.92 c #Conflicts: 420000 | #Constraints: 31851
1398.41/1401.92 c INPROCESSING
1398.41/1401.92 c GARBAGE COLLECT
1398.41/1401.92 c #Conflicts: 421000 | #Constraints: 20062
1398.41/1401.92 c #Conflicts: 422000 | #Constraints: 21064
1398.41/1401.92 c #Conflicts: 423000 | #Constraints: 22066
1398.41/1401.92 c #Conflicts: 424000 | #Constraints: 23070
1398.41/1401.92 c #Conflicts: 425000 | #Constraints: 24072
1398.41/1401.92 c #Conflicts: 426000 | #Constraints: 25074
1398.41/1401.92 c #Conflicts: 427000 | #Constraints: 26078
1398.41/1401.92 c #Conflicts: 428000 | #Constraints: 27080
1398.41/1401.92 c #Conflicts: 429000 | #Constraints: 28082
1398.41/1401.92 c #Conflicts: 430000 | #Constraints: 29086
1398.41/1401.92 c #Conflicts: 431000 | #Constraints: 30088
1398.41/1401.92 c #Conflicts: 432000 | #Constraints: 31090
1398.41/1401.92 c #Conflicts: 433000 | #Constraints: 32094
1398.41/1401.92 c INPROCESSING
1398.41/1401.92 c GARBAGE COLLECT
1398.41/1401.92 c #Conflicts: 434000 | #Constraints: 20094
1398.41/1401.92 c #Conflicts: 435000 | #Constraints: 21096
1398.41/1401.92 c #Conflicts: 436000 | #Constraints: 22098
1398.41/1401.92 c #Conflicts: 437000 | #Constraints: 23102
1685.18/1689.47 c #Conflicts: 438000 | #Constraints: 24104
1685.18/1689.47 c #Conflicts: 439000 | #Constraints: 25106
1685.18/1689.47 c #Conflicts: 440000 | #Constraints: 26110
1685.18/1689.47 c #Conflicts: 441000 | #Constraints: 27112
1685.18/1689.47 c #Conflicts: 442000 | #Constraints: 28114
1685.18/1689.47 c #Conflicts: 443000 | #Constraints: 29118
1685.18/1689.47 c #Conflicts: 444000 | #Constraints: 30120
1685.18/1689.47 c #Conflicts: 445000 | #Constraints: 31122
1685.18/1689.47 c #Conflicts: 446000 | #Constraints: 32126
1685.18/1689.47 c INPROCESSING
1685.18/1689.47 c GARBAGE COLLECT
1685.18/1689.47 c #Conflicts: 447000 | #Constraints: 19920
1685.18/1689.47 c #Conflicts: 448000 | #Constraints: 20922
1685.18/1689.47 c #Conflicts: 449000 | #Constraints: 21926
1685.18/1689.47 c #Conflicts: 450000 | #Constraints: 22928
1685.18/1689.47 c #Conflicts: 451000 | #Constraints: 23930
1685.18/1689.47 c #Conflicts: 452000 | #Constraints: 24934
1685.18/1689.47 c #Conflicts: 453000 | #Constraints: 25936
1685.18/1689.47 c #Conflicts: 454000 | #Constraints: 26938
1685.18/1689.47 c #Conflicts: 455000 | #Constraints: 27942
1685.18/1689.47 c #Conflicts: 456000 | #Constraints: 28944
1685.18/1689.47 c #Conflicts: 457000 | #Constraints: 29946
1685.18/1689.47 c #Conflicts: 458000 | #Constraints: 30950
1685.18/1689.47 c #Conflicts: 459000 | #Constraints: 31952
1685.18/1689.47 c #Conflicts: 460000 | #Constraints: 32954
1685.18/1689.47 c INPROCESSING
1685.18/1689.47 c GARBAGE COLLECT
1685.18/1689.47 c #Conflicts: 461000 | #Constraints: 20554
1685.18/1689.47 c #Conflicts: 462000 | #Constraints: 21556
1685.18/1689.47 c #Conflicts: 463000 | #Constraints: 22558
1685.18/1689.47 c #Conflicts: 464000 | #Constraints: 23562
1685.18/1689.47 c #Conflicts: 465000 | #Constraints: 24564
1685.18/1689.47 c #Conflicts: 466000 | #Constraints: 25566
1685.18/1689.47 c #Conflicts: 467000 | #Constraints: 26570
1685.18/1689.47 c #Conflicts: 468000 | #Constraints: 27572
1685.18/1689.47 c #Conflicts: 469000 | #Constraints: 28574
1685.18/1689.47 c #Conflicts: 470000 | #Constraints: 29578
1685.18/1689.47 c #Conflicts: 471000 | #Constraints: 30580
1685.18/1689.47 c #Conflicts: 472000 | #Constraints: 31582
1685.18/1689.47 c #Conflicts: 473000 | #Constraints: 32586
1685.18/1689.47 c #Conflicts: 474000 | #Constraints: 33588
1685.18/1689.47 c INPROCESSING
1685.18/1689.47 c GARBAGE COLLECT
1685.18/1689.47 c #Conflicts: 475000 | #Constraints: 20996
1685.18/1689.47 c #Conflicts: 476000 | #Constraints: 21998
1685.18/1689.47 c #Conflicts: 477000 | #Constraints: 23000
1685.18/1689.47 c #Conflicts: 478000 | #Constraints: 24004
1685.18/1689.47 c #Conflicts: 479000 | #Constraints: 25006
1685.18/1689.47 c #Conflicts: 480000 | #Constraints: 26008
1685.18/1689.47 c #Conflicts: 481000 | #Constraints: 27012
1685.18/1689.47 c #Conflicts: 482000 | #Constraints: 28014
1685.18/1689.47 c #Conflicts: 483000 | #Constraints: 29016
1685.18/1689.47 c #Conflicts: 484000 | #Constraints: 30020
1685.18/1689.47 c #Conflicts: 485000 | #Constraints: 31022
1685.18/1689.47 c #Conflicts: 486000 | #Constraints: 32024
1685.18/1689.47 c #Conflicts: 487000 | #Constraints: 33028
1685.18/1689.47 c #Conflicts: 488000 | #Constraints: 34030
1685.18/1689.47 c INPROCESSING
1685.18/1689.47 c GARBAGE COLLECT
1685.18/1689.47 c #Conflicts: 489000 | #Constraints: 21231
1685.18/1689.47 c #Conflicts: 490000 | #Constraints: 22233
1685.18/1689.47 c #Conflicts: 491000 | #Constraints: 23235
1685.18/1689.47 c #Conflicts: 492000 | #Constraints: 24239
1685.18/1689.47 c #Conflicts: 493000 | #Constraints: 25241
1685.18/1689.47 c #Conflicts: 494000 | #Constraints: 26243
1685.18/1689.47 c #Conflicts: 495000 | #Constraints: 27247
1685.18/1689.47 c #Conflicts: 496000 | #Constraints: 28249
1685.18/1689.47 c #Conflicts: 497000 | #Constraints: 29251
1685.18/1689.47 c #Conflicts: 498000 | #Constraints: 30255
1685.18/1689.47 c #Conflicts: 499000 | #Constraints: 31257
1685.18/1689.47 c #Conflicts: 500000 | #Constraints: 32259
1685.18/1689.47 c #Conflicts: 501000 | #Constraints: 33263
1685.18/1689.47 c #Conflicts: 502000 | #Constraints: 34265
1685.18/1689.47 c INPROCESSING
1685.18/1689.47 c GARBAGE COLLECT
1685.18/1689.47 c #Conflicts: 503000 | #Constraints: 21274
1685.18/1689.47 c #Conflicts: 504000 | #Constraints: 22276
1685.18/1689.47 c #Conflicts: 505000 | #Constraints: 23278
1685.18/1689.47 c #Conflicts: 506000 | #Constraints: 24282
1685.18/1689.47 c #Conflicts: 507000 | #Constraints: 25284
1685.18/1689.47 c #Conflicts: 508000 | #Constraints: 26286
1685.18/1689.47 c #Conflicts: 509000 | #Constraints: 27290
1685.18/1689.47 c #Conflicts: 510000 | #Constraints: 28292
1685.18/1689.47 c #Conflicts: 511000 | #Constraints: 29294
1685.18/1689.47 c #Conflicts: 512000 | #Constraints: 30298
1685.18/1689.47 c #Conflicts: 513000 | #Constraints: 31300
1727.07/1731.43 c #Conflicts: 514000 | #Constraints: 32302
1727.07/1731.43 c #Conflicts: 515000 | #Constraints: 33306
1727.07/1731.43 c #Conflicts: 516000 | #Constraints: 34308
1727.07/1731.43 c INPROCESSING
1727.07/1731.43 c GARBAGE COLLECT
1727.07/1731.43 c #Conflicts: 517000 | #Constraints: 21109
1727.07/1731.43 c #Conflicts: 518000 | #Constraints: 22111
1727.07/1731.43 c bounds -409 >= -814 @ 1714
1727.07/1731.43 c bounds -409 >= -813 @ 1714.18
1727.07/1731.43 c bounds -409 >= -812 @ 1714.21
1727.07/1731.43 c bounds -409 >= -811 @ 1714.23
1727.07/1731.43 c bounds -409 >= -810 @ 1714.26
1727.07/1731.43 c bounds -409 >= -809 @ 1714.3
1727.07/1731.43 c bounds -409 >= -808 @ 1714.34
1727.07/1731.43 c bounds -409 >= -807 @ 1714.38
1727.07/1731.43 c bounds -409 >= -806 @ 1714.42
1727.07/1731.43 c bounds -409 >= -805 @ 1714.46
1727.07/1731.43 c bounds -409 >= -804 @ 1714.51
1727.07/1731.43 c bounds -409 >= -803 @ 1714.55
1727.07/1731.43 c bounds -409 >= -802 @ 1714.59
1727.07/1731.43 c bounds -409 >= -801 @ 1714.63
1727.07/1731.43 c bounds -409 >= -800 @ 1714.67
1727.07/1731.43 c bounds -409 >= -799 @ 1714.72
1727.07/1731.43 c bounds -409 >= -798 @ 1714.77
1727.07/1731.43 c bounds -409 >= -797 @ 1714.82
1727.07/1731.43 c bounds -409 >= -796 @ 1714.87
1727.07/1731.43 c bounds -409 >= -795 @ 1714.91
1727.07/1731.43 c bounds -409 >= -794 @ 1714.96
1727.07/1731.43 c bounds -409 >= -793 @ 1715.01
1727.07/1731.43 c bounds -409 >= -792 @ 1715.07
1727.07/1731.43 c bounds -409 >= -791 @ 1715.13
1727.07/1731.43 c bounds -409 >= -790 @ 1715.18
1727.07/1731.43 c bounds -409 >= -789 @ 1715.23
1727.07/1731.43 c bounds -409 >= -788 @ 1715.29
1727.07/1731.43 c bounds -409 >= -787 @ 1715.34
1727.07/1731.43 c bounds -409 >= -786 @ 1715.4
1727.07/1731.43 c bounds -409 >= -785 @ 1715.44
1727.07/1731.43 c bounds -409 >= -784 @ 1715.5
1727.07/1731.43 c bounds -409 >= -783 @ 1715.55
1727.07/1731.43 c bounds -409 >= -782 @ 1715.61
1727.07/1731.43 c bounds -409 >= -781 @ 1715.66
1727.07/1731.43 c bounds -409 >= -780 @ 1715.72
1727.07/1731.43 c bounds -409 >= -779 @ 1715.77
1727.07/1731.43 c bounds -409 >= -778 @ 1715.82
1727.07/1731.43 c bounds -409 >= -777 @ 1715.88
1727.07/1731.43 c bounds -409 >= -776 @ 1715.94
1727.07/1731.43 c bounds -409 >= -775 @ 1716
1727.07/1731.43 c bounds -409 >= -774 @ 1716.06
1727.07/1731.43 c bounds -409 >= -773 @ 1716.12
1727.07/1731.43 c bounds -409 >= -772 @ 1716.17
1727.07/1731.43 c bounds -409 >= -771 @ 1716.23
1727.07/1731.43 c bounds -409 >= -770 @ 1716.29
1727.07/1731.43 c bounds -409 >= -769 @ 1716.34
1727.07/1731.43 c bounds -409 >= -768 @ 1716.4
1727.07/1731.43 c bounds -409 >= -767 @ 1716.44
1727.07/1731.43 c bounds -409 >= -766 @ 1716.49
1727.07/1731.43 c bounds -409 >= -765 @ 1716.55
1727.07/1731.43 c bounds -409 >= -764 @ 1716.6
1727.07/1731.43 c bounds -409 >= -763 @ 1716.64
1727.07/1731.43 c bounds -409 >= -762 @ 1716.68
1727.07/1731.43 c bounds -409 >= -761 @ 1716.71
1727.07/1731.43 c bounds -409 >= -760 @ 1716.75
1727.07/1731.43 c bounds -409 >= -759 @ 1716.78
1727.07/1731.43 c bounds -409 >= -758 @ 1716.81
1727.07/1731.43 c bounds -409 >= -757 @ 1716.83
1727.07/1731.43 c bounds -409 >= -756 @ 1716.85
1727.07/1731.43 c bounds -409 >= -755 @ 1716.86
1727.07/1731.43 c bounds -409 >= -754 @ 1716.91
1727.07/1731.43 c bounds -409 >= -753 @ 1716.92
1727.07/1731.43 c bounds -409 >= -752 @ 1716.93
1727.07/1731.43 c bounds -409 >= -751 @ 1716.94
1727.07/1731.43 c bounds -409 >= -750 @ 1716.96
1727.07/1731.43 c bounds -409 >= -749 @ 1716.98
1727.07/1731.43 c bounds -409 >= -748 @ 1717.01
1727.07/1731.43 c bounds -409 >= -747 @ 1717.03
1727.07/1731.43 c bounds -409 >= -746 @ 1717.07
1727.07/1731.43 c bounds -409 >= -745 @ 1717.1
1727.07/1731.43 c bounds -409 >= -744 @ 1717.13
1727.07/1731.43 c bounds -409 >= -743 @ 1717.16
1727.07/1731.43 c bounds -409 >= -742 @ 1717.19
1727.07/1731.43 c bounds -409 >= -741 @ 1717.21
1727.07/1731.43 c bounds -409 >= -740 @ 1717.28
1727.07/1731.43 c bounds -409 >= -739 @ 1717.31
1727.07/1731.43 c bounds -409 >= -738 @ 1717.34
1727.07/1731.43 c bounds -409 >= -737 @ 1717.41
1727.07/1731.43 c bounds -409 >= -736 @ 1717.5
1727.07/1731.43 c bounds -409 >= -735 @ 1717.55
1727.07/1731.43 c bounds -409 >= -734 @ 1717.58
1727.07/1731.43 c bounds -409 >= -733 @ 1717.64
1727.07/1731.43 c bounds -409 >= -732 @ 1717.68
1727.07/1731.43 c bounds -409 >= -731 @ 1717.83
1727.07/1731.43 c bounds -409 >= -730 @ 1717.88
1727.07/1731.43 c bounds -409 >= -729 @ 1717.94
1727.07/1731.43 c bounds -409 >= -728 @ 1718.05
1727.07/1731.43 c bounds -409 >= -727 @ 1718.12
1727.07/1731.43 c bounds -409 >= -726 @ 1718.22
1727.07/1731.43 c bounds -409 >= -725 @ 1718.28
1727.07/1731.43 c bounds -409 >= -724 @ 1718.34
1727.07/1731.43 c bounds -409 >= -723 @ 1718.41
1727.07/1731.43 c bounds -409 >= -722 @ 1718.49
1727.07/1731.43 c bounds -409 >= -721 @ 1718.58
1727.07/1731.43 c bounds -409 >= -720 @ 1718.66
1727.07/1731.43 c bounds -409 >= -719 @ 1718.75
1727.07/1731.43 c finalizing WCE round: reformulating cores
2233.89/2239.51 c #Conflicts: 519000 | #Constraints: 24605
2233.89/2239.51 c #Conflicts: 520000 | #Constraints: 25607
2233.89/2239.51 c #Conflicts: 521000 | #Constraints: 26609
2233.89/2239.51 c #Conflicts: 522000 | #Constraints: 27613
2233.89/2239.51 c #Conflicts: 523000 | #Constraints: 28615
2233.89/2239.51 c #Conflicts: 524000 | #Constraints: 29617
2233.89/2239.51 c #Conflicts: 525000 | #Constraints: 30621
2233.89/2239.51 c #Conflicts: 526000 | #Constraints: 31623
2233.89/2239.51 c #Conflicts: 527000 | #Constraints: 32625
2233.89/2239.51 c #Conflicts: 528000 | #Constraints: 33629
2233.89/2239.51 c #Conflicts: 529000 | #Constraints: 34631
2233.89/2239.51 c #Conflicts: 530000 | #Constraints: 35633
2233.89/2239.51 c #Conflicts: 531000 | #Constraints: 36637
2233.89/2239.51 c INPROCESSING
2233.89/2239.51 c GARBAGE COLLECT
2233.89/2239.51 c #Conflicts: 532000 | #Constraints: 22808
2233.89/2239.51 c #Conflicts: 533000 | #Constraints: 23810
2233.89/2239.51 c #Conflicts: 534000 | #Constraints: 24812
2233.89/2239.51 c #Conflicts: 535000 | #Constraints: 25816
2233.89/2239.51 c #Conflicts: 536000 | #Constraints: 26818
2233.89/2239.51 c #Conflicts: 537000 | #Constraints: 27820
2233.89/2239.51 c #Conflicts: 538000 | #Constraints: 28824
2233.89/2239.51 c #Conflicts: 539000 | #Constraints: 29826
2233.89/2239.51 c #Conflicts: 540000 | #Constraints: 30828
2233.89/2239.51 c #Conflicts: 541000 | #Constraints: 31832
2233.89/2239.51 c #Conflicts: 542000 | #Constraints: 32834
2233.89/2239.51 c #Conflicts: 543000 | #Constraints: 33836
2233.89/2239.51 c #Conflicts: 544000 | #Constraints: 34840
2233.89/2239.51 c #Conflicts: 545000 | #Constraints: 35842
2233.89/2239.51 c #Conflicts: 546000 | #Constraints: 36844
2233.89/2239.51 c INPROCESSING
2233.89/2239.51 c GARBAGE COLLECT
2233.89/2239.51 c #Conflicts: 547000 | #Constraints: 23027
2233.89/2239.51 c #Conflicts: 548000 | #Constraints: 24029
2233.89/2239.51 c #Conflicts: 549000 | #Constraints: 25031
2233.89/2239.51 c #Conflicts: 550000 | #Constraints: 26035
2233.89/2239.51 c #Conflicts: 551000 | #Constraints: 27037
2233.89/2239.51 c #Conflicts: 552000 | #Constraints: 28039
2233.89/2239.51 c #Conflicts: 553000 | #Constraints: 29043
2233.89/2239.51 c #Conflicts: 554000 | #Constraints: 30045
2233.89/2239.51 c #Conflicts: 555000 | #Constraints: 31047
2233.89/2239.51 c #Conflicts: 556000 | #Constraints: 32051
2233.89/2239.51 c #Conflicts: 557000 | #Constraints: 33053
2233.89/2239.51 c #Conflicts: 558000 | #Constraints: 34055
2233.89/2239.51 c #Conflicts: 559000 | #Constraints: 35059
2233.89/2239.51 c #Conflicts: 560000 | #Constraints: 36061
2233.89/2239.51 c #Conflicts: 561000 | #Constraints: 37063
2233.89/2239.51 c INPROCESSING
2233.89/2239.51 c GARBAGE COLLECT
2233.89/2239.51 c #Conflicts: 562000 | #Constraints: 23132
2233.89/2239.51 c #Conflicts: 563000 | #Constraints: 24134
2233.89/2239.51 c #Conflicts: 564000 | #Constraints: 25136
2233.89/2239.51 c #Conflicts: 565000 | #Constraints: 26140
2233.89/2239.51 c #Conflicts: 566000 | #Constraints: 27142
2233.89/2239.51 c #Conflicts: 567000 | #Constraints: 28144
2233.89/2239.51 c #Conflicts: 568000 | #Constraints: 29148
2233.89/2239.51 c #Conflicts: 569000 | #Constraints: 30150
2233.89/2239.51 c #Conflicts: 570000 | #Constraints: 31152
2233.89/2239.51 c #Conflicts: 571000 | #Constraints: 32156
2233.89/2239.51 c #Conflicts: 572000 | #Constraints: 33158
2233.89/2239.51 c #Conflicts: 573000 | #Constraints: 34160
2233.89/2239.51 c #Conflicts: 574000 | #Constraints: 35164
2233.89/2239.51 c #Conflicts: 575000 | #Constraints: 36166
2233.89/2239.51 c #Conflicts: 576000 | #Constraints: 37168
2233.89/2239.51 c INPROCESSING
2233.89/2239.51 c GARBAGE COLLECT
2233.89/2239.51 c #Conflicts: 577000 | #Constraints: 23113
2233.89/2239.51 c #Conflicts: 578000 | #Constraints: 24115
2233.89/2239.51 c #Conflicts: 579000 | #Constraints: 25117
2233.89/2239.51 c #Conflicts: 580000 | #Constraints: 26121
2233.89/2239.51 c #Conflicts: 581000 | #Constraints: 27123
2233.89/2239.51 c #Conflicts: 582000 | #Constraints: 28125
2233.89/2239.51 c #Conflicts: 583000 | #Constraints: 29129
2233.89/2239.51 c #Conflicts: 584000 | #Constraints: 30131
2233.89/2239.51 c #Conflicts: 585000 | #Constraints: 31133
2233.89/2239.51 c #Conflicts: 586000 | #Constraints: 32137
2233.89/2239.51 c #Conflicts: 587000 | #Constraints: 33139
2233.89/2239.51 c #Conflicts: 588000 | #Constraints: 34141
2233.89/2239.51 c #Conflicts: 589000 | #Constraints: 35145
2233.89/2239.51 c #Conflicts: 590000 | #Constraints: 36147
2233.89/2239.51 c bounds -412 >= -719 @ 2225.09
2233.89/2239.51 c bounds -412 >= -718 @ 2225.37
2233.89/2239.51 c bounds -412 >= -717 @ 2225.4
2233.89/2239.51 c bounds -412 >= -716 @ 2225.43
2233.89/2239.51 c bounds -412 >= -715 @ 2225.51
2233.89/2239.51 c bounds -412 >= -714 @ 2225.8
2233.89/2239.51 c bounds -412 >= -713 @ 2225.88
2298.25/2304.01 c bounds -412 >= -712 @ 2225.98
2298.25/2304.01 c bounds -412 >= -711 @ 2226.12
2298.25/2304.01 c bounds -412 >= -710 @ 2226.41
2298.25/2304.01 c bounds -412 >= -709 @ 2227.85
2298.25/2304.01 c bounds -412 >= -708 @ 2230.04
2298.25/2304.01 c bounds -412 >= -707 @ 2230.12
2298.25/2304.01 c bounds -412 >= -706 @ 2230.45
2298.25/2304.01 c bounds -412 >= -705 @ 2230.81
2298.25/2304.01 c bounds -412 >= -704 @ 2231.02
2298.25/2304.01 c bounds -412 >= -703 @ 2231.27
2298.25/2304.01 c bounds -412 >= -702 @ 2231.48
2298.25/2304.01 c bounds -412 >= -701 @ 2232.47
2298.25/2304.01 c #Conflicts: 591000 | #Constraints: 37775
2298.25/2304.01 c bounds -412 >= -700 @ 2243.95
2298.25/2304.01 c bounds -412 >= -699 @ 2245.08
2298.25/2304.01 c bounds -412 >= -698 @ 2249.98
2298.25/2304.01 c INPROCESSING
2298.25/2304.01 c GARBAGE COLLECT
2298.25/2304.01 c #Conflicts: 592000 | #Constraints: 23591
2298.25/2304.01 c finalizing WCE round: reformulating cores
2855.07/2862.17 c #Conflicts: 593000 | #Constraints: 24600
2855.07/2862.17 c #Conflicts: 594000 | #Constraints: 25602
2855.07/2862.17 c #Conflicts: 595000 | #Constraints: 26606
2855.07/2862.17 c #Conflicts: 596000 | #Constraints: 27608
2855.07/2862.17 c #Conflicts: 597000 | #Constraints: 28610
2855.07/2862.17 c #Conflicts: 598000 | #Constraints: 29614
2855.07/2862.17 c #Conflicts: 599000 | #Constraints: 30616
2855.07/2862.17 c #Conflicts: 600000 | #Constraints: 31618
2855.07/2862.17 c #Conflicts: 601000 | #Constraints: 32622
2855.07/2862.17 c #Conflicts: 602000 | #Constraints: 33624
2855.07/2862.17 c #Conflicts: 603000 | #Constraints: 34626
2855.07/2862.17 c #Conflicts: 604000 | #Constraints: 35630
2855.07/2862.17 c #Conflicts: 605000 | #Constraints: 36632
2855.07/2862.17 c #Conflicts: 606000 | #Constraints: 37634
2855.07/2862.17 c bounds -447 >= -698 @ 2365.3
2855.07/2862.17 c bounds -447 >= -697 @ 2365.76
2855.07/2862.17 c #Conflicts: 607000 | #Constraints: 38715
2855.07/2862.17 c INPROCESSING
2855.07/2862.17 c GARBAGE COLLECT
2855.07/2862.17 c bounds -447 >= -696 @ 2370.55
2855.07/2862.17 c #Conflicts: 608000 | #Constraints: 24235
2855.07/2862.17 c #Conflicts: 609000 | #Constraints: 25235
2855.07/2862.17 c bounds -447 >= -695 @ 2382.28
2855.07/2862.17 c #Conflicts: 610000 | #Constraints: 26362
2855.07/2862.17 c #Conflicts: 611000 | #Constraints: 27362
2855.07/2862.17 c #Conflicts: 612000 | #Constraints: 28362
2855.07/2862.17 c #Conflicts: 613000 | #Constraints: 29362
2855.07/2862.17 c #Conflicts: 614000 | #Constraints: 30362
2855.07/2862.17 c #Conflicts: 615000 | #Constraints: 31362
2855.07/2862.17 c #Conflicts: 616000 | #Constraints: 32362
2855.07/2862.17 c #Conflicts: 617000 | #Constraints: 33362
2855.07/2862.17 c #Conflicts: 618000 | #Constraints: 34362
2855.07/2862.17 c #Conflicts: 619000 | #Constraints: 35362
2855.07/2862.17 c #Conflicts: 620000 | #Constraints: 36362
2855.07/2862.17 c #Conflicts: 621000 | #Constraints: 37362
2855.07/2862.17 c #Conflicts: 622000 | #Constraints: 38362
2855.07/2862.17 c #Conflicts: 623000 | #Constraints: 39362
2855.07/2862.17 c INPROCESSING
2855.07/2862.17 c GARBAGE COLLECT
2855.07/2862.17 c #Conflicts: 624000 | #Constraints: 24685
2855.07/2862.17 c #Conflicts: 625000 | #Constraints: 25685
2855.07/2862.17 c #Conflicts: 626000 | #Constraints: 26685
2855.07/2862.17 c #Conflicts: 627000 | #Constraints: 27685
2855.07/2862.17 c #Conflicts: 628000 | #Constraints: 28685
2855.07/2862.17 c #Conflicts: 629000 | #Constraints: 29685
2855.07/2862.17 c #Conflicts: 630000 | #Constraints: 30685
2855.07/2862.17 c #Conflicts: 631000 | #Constraints: 31685
2855.07/2862.17 c #Conflicts: 632000 | #Constraints: 32685
2855.07/2862.17 c #Conflicts: 633000 | #Constraints: 33685
2855.07/2862.17 c #Conflicts: 634000 | #Constraints: 34685
2855.07/2862.17 c #Conflicts: 635000 | #Constraints: 35685
2855.07/2862.17 c #Conflicts: 636000 | #Constraints: 36685
2855.07/2862.17 c #Conflicts: 637000 | #Constraints: 37685
2855.07/2862.17 c #Conflicts: 638000 | #Constraints: 38685
2855.07/2862.17 c #Conflicts: 639000 | #Constraints: 39685
2855.07/2862.17 c INPROCESSING
2855.07/2862.17 c GARBAGE COLLECT
2855.07/2862.17 c #Conflicts: 640000 | #Constraints: 24883
2855.07/2862.17 c #Conflicts: 641000 | #Constraints: 25883
2855.07/2862.17 c #Conflicts: 642000 | #Constraints: 26883
2855.07/2862.17 c #Conflicts: 643000 | #Constraints: 27883
2855.07/2862.17 c #Conflicts: 644000 | #Constraints: 28883
2855.07/2862.17 c #Conflicts: 645000 | #Constraints: 29883
2855.07/2862.17 c #Conflicts: 646000 | #Constraints: 30883
2855.07/2862.17 c #Conflicts: 647000 | #Constraints: 31883
2855.07/2862.17 c #Conflicts: 648000 | #Constraints: 32883
2855.07/2862.17 c #Conflicts: 649000 | #Constraints: 33883
2855.07/2862.17 c #Conflicts: 650000 | #Constraints: 34883
2855.07/2862.17 c #Conflicts: 651000 | #Constraints: 35883
2855.07/2862.17 c #Conflicts: 652000 | #Constraints: 36883
2855.07/2862.17 c #Conflicts: 653000 | #Constraints: 37883
2855.07/2862.17 c #Conflicts: 654000 | #Constraints: 38883
2855.07/2862.17 c #Conflicts: 655000 | #Constraints: 39883
2855.07/2862.17 c INPROCESSING
2855.07/2862.17 c GARBAGE COLLECT
2855.07/2862.17 c #Conflicts: 656000 | #Constraints: 24878
2855.07/2862.17 c #Conflicts: 657000 | #Constraints: 25878
2855.07/2862.17 c #Conflicts: 658000 | #Constraints: 26878
2855.07/2862.17 c #Conflicts: 659000 | #Constraints: 27878
2855.07/2862.17 c #Conflicts: 660000 | #Constraints: 28878
2855.07/2862.17 c #Conflicts: 661000 | #Constraints: 29878
2855.07/2862.17 c #Conflicts: 662000 | #Constraints: 30878
2855.07/2862.17 c #Conflicts: 663000 | #Constraints: 31878
2855.07/2862.17 c #Conflicts: 664000 | #Constraints: 32878
2855.07/2862.17 c #Conflicts: 665000 | #Constraints: 33878
2855.07/2862.17 c #Conflicts: 666000 | #Constraints: 34878
3469.44/3478.14 c #Conflicts: 667000 | #Constraints: 35878
3469.44/3478.14 c #Conflicts: 668000 | #Constraints: 36878
3469.44/3478.14 c #Conflicts: 669000 | #Constraints: 37878
3469.44/3478.14 c #Conflicts: 670000 | #Constraints: 38878
3469.44/3478.14 c #Conflicts: 671000 | #Constraints: 39878
3469.44/3478.14 c INPROCESSING
3469.44/3478.14 c GARBAGE COLLECT
3469.44/3478.14 c #Conflicts: 672000 | #Constraints: 24690
3469.44/3478.14 c #Conflicts: 673000 | #Constraints: 25690
3469.44/3478.14 c #Conflicts: 674000 | #Constraints: 26690
3469.44/3478.14 c #Conflicts: 675000 | #Constraints: 27690
3469.44/3478.14 c #Conflicts: 676000 | #Constraints: 28690
3469.44/3478.14 c #Conflicts: 677000 | #Constraints: 29690
3469.44/3478.14 c #Conflicts: 678000 | #Constraints: 30690
3469.44/3478.14 c #Conflicts: 679000 | #Constraints: 31690
3469.44/3478.14 c #Conflicts: 680000 | #Constraints: 32690
3469.44/3478.14 c #Conflicts: 681000 | #Constraints: 33690
3469.44/3478.14 c #Conflicts: 682000 | #Constraints: 34690
3469.44/3478.14 c #Conflicts: 683000 | #Constraints: 35690
3469.44/3478.14 c #Conflicts: 684000 | #Constraints: 36690
3469.44/3478.14 c #Conflicts: 685000 | #Constraints: 37690
3469.44/3478.14 c #Conflicts: 686000 | #Constraints: 38690
3469.44/3478.14 c #Conflicts: 687000 | #Constraints: 39690
3469.44/3478.14 c #Conflicts: 688000 | #Constraints: 40690
3469.44/3478.14 c INPROCESSING
3469.44/3478.14 c GARBAGE COLLECT
3469.44/3478.14 c #Conflicts: 689000 | #Constraints: 25295
3469.44/3478.14 c #Conflicts: 690000 | #Constraints: 26295
3469.44/3478.14 c #Conflicts: 691000 | #Constraints: 27295
3469.44/3478.14 c #Conflicts: 692000 | #Constraints: 28295
3469.44/3478.14 c #Conflicts: 693000 | #Constraints: 29295
3469.44/3478.14 c #Conflicts: 694000 | #Constraints: 30295
3469.44/3478.14 c #Conflicts: 695000 | #Constraints: 31295
3469.44/3478.14 c #Conflicts: 696000 | #Constraints: 32295
3469.44/3478.14 c #Conflicts: 697000 | #Constraints: 33295
3469.44/3478.14 c #Conflicts: 698000 | #Constraints: 34295
3469.44/3478.14 c #Conflicts: 699000 | #Constraints: 35295
3469.44/3478.14 c #Conflicts: 700000 | #Constraints: 36295
3469.44/3478.14 c #Conflicts: 701000 | #Constraints: 37295
3469.44/3478.14 c #Conflicts: 702000 | #Constraints: 38295
3469.44/3478.14 c #Conflicts: 703000 | #Constraints: 39295
3469.44/3478.14 c #Conflicts: 704000 | #Constraints: 40295
3469.44/3478.14 c #Conflicts: 705000 | #Constraints: 41295
3469.44/3478.14 c INPROCESSING
3469.44/3478.14 c GARBAGE COLLECT
3469.44/3478.14 c #Conflicts: 706000 | #Constraints: 25704
3469.44/3478.14 c #Conflicts: 707000 | #Constraints: 26704
3469.44/3478.14 c #Conflicts: 708000 | #Constraints: 27704
3469.44/3478.14 c #Conflicts: 709000 | #Constraints: 28704
3469.44/3478.14 c #Conflicts: 710000 | #Constraints: 29704
3469.44/3478.14 c #Conflicts: 711000 | #Constraints: 30704
3469.44/3478.14 c #Conflicts: 712000 | #Constraints: 31704
3469.44/3478.14 c #Conflicts: 713000 | #Constraints: 32704
3469.44/3478.14 c #Conflicts: 714000 | #Constraints: 33704
3469.44/3478.14 c #Conflicts: 715000 | #Constraints: 34704
3469.44/3478.14 c #Conflicts: 716000 | #Constraints: 35704
3469.44/3478.14 c #Conflicts: 717000 | #Constraints: 36704
3469.44/3478.14 c #Conflicts: 718000 | #Constraints: 37704
3469.44/3478.14 c #Conflicts: 719000 | #Constraints: 38704
3469.44/3478.14 c #Conflicts: 720000 | #Constraints: 39704
3469.44/3478.14 c #Conflicts: 721000 | #Constraints: 40704
3469.44/3478.14 c #Conflicts: 722000 | #Constraints: 41704
3469.44/3478.14 c INPROCESSING
3469.44/3478.14 c GARBAGE COLLECT
3469.44/3478.14 c #Conflicts: 723000 | #Constraints: 25910
3469.44/3478.14 c #Conflicts: 724000 | #Constraints: 26910
3469.44/3478.14 c #Conflicts: 725000 | #Constraints: 27910
3469.44/3478.14 c #Conflicts: 726000 | #Constraints: 28910
3469.44/3478.14 c #Conflicts: 727000 | #Constraints: 29910
3469.44/3478.14 c #Conflicts: 728000 | #Constraints: 30910
3469.44/3478.14 c #Conflicts: 729000 | #Constraints: 31910
3469.44/3478.14 c #Conflicts: 730000 | #Constraints: 32910
3469.44/3478.14 c #Conflicts: 731000 | #Constraints: 33910
3469.44/3478.14 c #Conflicts: 732000 | #Constraints: 34910
3469.44/3478.14 c #Conflicts: 733000 | #Constraints: 35910
3469.44/3478.14 c #Conflicts: 734000 | #Constraints: 36910
3469.44/3478.14 c #Conflicts: 735000 | #Constraints: 37910
3469.44/3478.14 c #Conflicts: 736000 | #Constraints: 38910
3469.44/3478.14 c #Conflicts: 737000 | #Constraints: 39910
3469.44/3478.14 c #Conflicts: 738000 | #Constraints: 40910
3469.44/3478.14 c #Conflicts: 739000 | #Constraints: 41910
3469.44/3478.14 c INPROCESSING
3469.44/3478.14 c GARBAGE COLLECT
3469.44/3478.14 c #Conflicts: 740000 | #Constraints: 25897
3469.44/3478.14 c #Conflicts: 741000 | #Constraints: 26897
3469.44/3478.14 c #Conflicts: 742000 | #Constraints: 27897
3600.08/3609.10 c #Conflicts: 743000 | #Constraints: 28897
3600.08/3609.10 c #Conflicts: 744000 | #Constraints: 29897
3600.08/3609.10 c #Conflicts: 745000 | #Constraints: 30897
3600.08/3609.10 c #Conflicts: 746000 | #Constraints: 31897
3600.08/3609.10 c #Conflicts: 747000 | #Constraints: 32897
3600.08/3609.10 c #Conflicts: 748000 | #Constraints: 33897
3600.08/3609.10 c #Conflicts: 749000 | #Constraints: 34897
3600.08/3609.10 c #Conflicts: 750000 | #Constraints: 35897
3600.08/3609.10 c #Conflicts: 751000 | #Constraints: 36897
3600.08/3609.10 c #Conflicts: 752000 | #Constraints: 37897
3600.08/3609.10 c #Conflicts: 753000 | #Constraints: 38897
3600.08/3609.10 c #Conflicts: 754000 | #Constraints: 39897
3600.08/3609.10 c #Conflicts: 755000 | #Constraints: 40897
3600.08/3609.10 c #Conflicts: 756000 | #Constraints: 41897
3600.08/3609.10 c INPROCESSING
3600.08/3609.10 c GARBAGE COLLECT
3600.08/3609.10 c #Conflicts: 757000 | #Constraints: 25711
3600.08/3609.10 c Program interrupted by user.
3600.08/3609.10 c cpu time 3586.64 s
3600.08/3609.10 c deterministic time 376126531135 3.76e+11
3600.08/3609.10 c optimization time 2300.07 s
3600.08/3609.10 c total solve time 1286.56 s
3600.08/3609.10 c core-guided solve time 1286.56 s
3600.08/3609.10 c propagation time 2644.24 s
3600.08/3609.10 c conflict analysis time 610.915 s
3600.08/3609.10 c propagations 153144641
3600.08/3609.10 c resolve steps 6461341
3600.08/3609.10 c decisions 10535963
3600.08/3609.10 c conflicts 757908
3600.08/3609.10 c restarts 1595
3600.08/3609.10 c inprocessing phases 78
3600.08/3609.10 c input clauses 3386
3600.08/3609.10 c input cardinalities 2281
3600.08/3609.10 c input general constraints 4267
3600.08/3609.10 c input average constraint length 279.85
3600.08/3609.10 c input average constraint degree 61.25
3600.08/3609.10 c learned clauses 88851
3600.08/3609.10 c learned cardinalities 61
3600.08/3609.10 c learned general constraints 669455
3600.08/3609.10 c learned average constraint length 1740.96
3600.08/3609.10 c learned average constraint degree 5751493.74
3600.08/3609.10 c watched constraints 345351
3600.08/3609.10 c counting constraints 328371
3600.08/3609.10 c gcd simplifications 47207
3600.08/3609.10 c detected cardinalities 30
3600.08/3609.10 c weakened non-implied lits 347785391
3600.08/3609.10 c weakened non-implying lits 12431
3600.08/3609.10 c original variables 3625
3600.08/3609.10 c clausal propagations 19789494
3600.08/3609.10 c cardinality propagations 16689905
3600.08/3609.10 c watched propagations 12824080
3600.08/3609.10 c counting propagations 99351605
3600.08/3609.10 c watch lookups 64250585467
3600.08/3609.10 c watch backjump lookups 63019162021
3600.08/3609.10 c watch checks 195728499404
3600.08/3609.10 c propagation checks 49045092011
3600.08/3609.10 c constraint additions 3755073825
3600.08/3609.10 c trail pops 164437802
3600.08/3609.10 c formula constraints 4800
3600.08/3609.10 c learned constraints 758367
3600.08/3609.10 c bound constraints 876
3600.08/3609.10 c core-guided constraints 4258
3600.08/3609.10 c encountered formula constraints 3555953
3600.08/3609.10 c encountered learned constraints 3150146
3600.08/3609.10 c encountered bound constraints 102
3600.08/3609.10 c encountered core-guided constraints 513048
3600.08/3609.10 c LP total time 0 s
3600.08/3609.10 c LP solve time 0 s
3600.08/3609.10 c LP constraints added 0
3600.08/3609.10 c LP constraints removed 0
3600.08/3609.10 c LP pivots internal 0
3600.08/3609.10 c LP pivots root 0
3600.08/3609.10 c LP calls 0
3600.08/3609.10 c LP optimalities 0
3600.08/3609.10 c LP no pivot count 0
3600.08/3609.10 c LP infeasibilities 0
3600.08/3609.10 c LP valid Farkas constraints 0
3600.08/3609.10 c LP learned Farkas constraints 0
3600.08/3609.10 c LP basis resets 0
3600.08/3609.10 c LP cycling count 0
3600.08/3609.10 c LP singular count 0
3600.08/3609.10 c LP no primal count 0
3600.08/3609.10 c LP no farkas count 0
3600.08/3609.10 c LP other issue count 0
3600.08/3609.10 c LP Gomory cuts 0
3600.08/3609.10 c LP learned cuts 0
3600.08/3609.10 c LP deleted cuts 0
3600.08/3609.10 c LP encountered Gomory constraints 0
3600.08/3609.10 c LP encountered Farkas constraints 0
3600.08/3609.10 c LP encountered learned Farkas constraints 0
3600.08/3609.10 c CG auxiliary variables introduced 1804
3600.08/3609.10 c CG solutions found 3
3600.08/3609.10 c CG cores constructed 821
3600.08/3609.10 c CG core cardinality constraints returned 0
3600.08/3609.10 c CG unit cores 0
3600.08/3609.10 c CG single cores 821
3600.08/3609.10 c CG blocks removed during cardinality reduction 0
3600.08/3609.10 c CG first core best 0
3600.08/3609.10 c CG decision core best 0
3600.08/3609.10 c CG core reduction tie 0
3600.08/3609.10 c CG core degree average 1.00
3600.08/3609.10 c CG core slack average 4.12
3600.08/3609.10 c CG exhausted 0
3600.08/3609.10 c CG exhaust time 2197.03 s
3600.08/3609.10 c CG trimmed 18
3600.08/3609.10 c CG trim time 0.284978 s
3600.08/3609.10 c CG minimized 0
3600.08/3609.10 c CG minimize time 0 s
3600.08/3609.10 c CG am1 prop time 0.559784 s
3600.08/3609.10 c CG # am1s reformulated 168
3600.08/3609.10 c CG lower bound derived from am1s 168
3600.08/3609.10 c CG # clausal cores 820
3600.08/3609.10 c CG # cardinality cores 0
3600.08/3609.10 c CG # pb cores 1
3600.08/3609.10 c CG # pb reforms 0
3600.08/3609.10 c CG # cores discarded because of pb reform 0
3600.08/3609.10 d LOWERBOUND -695
3600.08/3609.10 d NCORES 821
3600.08/3609.10 d NPBCORES 1
3600.08/3609.10 d NPBREFORM 0
3600.08/3609.10 d NTRIMMED 18
3600.08/3609.10 d NEXHAUSTED 0
3600.08/3609.10 d NAM1S 168
3600.08/3609.10 d AM1LB 168
3600.08/3609.10 o -447
3600.08/3609.10 s SATISFIABLE
3600.08/3609.10 v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 x13 -x14 x15 -x16 x17 x18 -x19 x20 -x21 x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 x34 -x35 -x36 x37 x38 -x39 x40 x41 x42 -x43 x44 x45 -x46 x47 x48 x49 x50 -x51 x52 -x53 x54 x55 x56 -x57 -x58 -x59 x60 -x61 x62 x63 -x64 x65 x66 -x67 x68 x69 x70 -x71 x72 -x73 x74 -x75 -x76 x77 x78 -x79 -x80 x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 x92 x93 -x94 x95 x96 x97 x98 -x99 -x100 x101 x102 -x103 -x104 x105 x106 -x107 -x108 x109 x110 x111 x112 -x113 -x114 -x115 -x116 x117 -x118 x119 x120 x121 -x122 x123 x124 x125 x126 x127 -x128 x129 -x130 -x131 x132 x133 x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 x160 x161 x162 -x163 -x164 x165 x166 x167 x168 x169 -x170 x171 -x172 x173 x174 x175 -x176 -x177 x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 -x199 -x200 x201 x202 -x203 x204 x205 x206 -x207 x208 -x209 -x210 -x211 x212 x213 x214 x215 -x216 -x217 -x218 x219 -x220 -x221 x222 -x223 -x224 -x225 x226 -x227 x228 x229 -x230 -x231 x232 x233 -x234 -x235 x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 x246 x247 -x248 -x249 -x250 x251 x252 -x253 -x254 x255 -x256 x257 -x258 -x259 x260 x261 -x262 x263 x264 x265 -x266 -x267 -x268 x269 x270 x271 -x272 -x273 x274 x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 x293 -x294 x295 -x296 x297 x298 x299 -x300 -x301 -x302 -x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 -x314 -x315 -x316 x317 -x318 x319 -x320 -x321 x322 -x323 -x324 x325 x326 -x327 -x328 x329 -x330 x331 -x332 x333 x334 x335 -x336 x337 x338 -x339 -x340 x341 -x342 -x343 x344 x345 -x346 x347 x348 x349 -x350 -x351 x352 x353 x354 -x355 -x356 x357 -x358 -x359 x360 x361 -x362 x363 -x364 -x365 -x366 -x367 x368 -x369 x370 -x371 x372 -x373 x374 x375 -x376 x377 -x378 x379 x380 -x381 x382 x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 x396 -x397 -x398 x399 x400 x401 -x402 x403 x404 -x405 -x406 -x407 x408 x409 -x410 x411 x412 x413 x414 x415 x416 -x417 -x418 x419 x420 -x421 x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 x431 -x432 -x433 x434 -x435 x436 -x437 -x438 x439 x440 -x441 x442 -x443 x444 -x445 x446 x447 -x448 x449 x450 -x451 x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 x463 x464 -x465 -x466 x467 x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 x476 x477 x478 -x479 -x480 x481 -x482 x483 -x484 -x485 x486 -x487 x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 x498 -x499 -x500 -x501 x502 -x503 -x504 x505 -x506 -x507 -x508 x509 x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 x519 x520 -x521 x522 -x523 -x524 x525 x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 x545 x546 -x547 -x548 -x549 x550 -x551 x552 -x553 x554 x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 x563 x564 x565 -x566 -x567 x568 x569 -x570 x571 -x572 x573 x574 -x575 x576 -x577 x578 -x579 -x580 -x581 x582 -x583 -x584 x585 x586 x587 -x588 -x589 x590 x591 -x592 x593 -x594 x595 x596 x597 -x598 x599 x600 -x601 x602 -x603 x604 x605 x606 x607 x608 -x609 x610 x611 x612 -x613 x614 -x615 x616 -x617 x618 x619 -x620 -x621 -x622 x623 x624 x625 -x626 -x627 x628 -x629 -x630 -x631 x632 x633 x634 -x635 -x636 x637 x638 x639 -x640 x641 x642 -x643 x644 -x645 x646 x647 x648 -x649 x650 x651 x652 x653 x654 -x655 x656 -x657 -x658 -x659 x660 x661 x662 -x663 x664 x665 -x666 -x667 -x668 x669 -x670 -x671 x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 x682 -x683 -x684 -x685 x686 x687 x688 x689 -x690 -x691 x692 x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 x702 x703 x704 -x705 -x706 -x707 -x708 x709 x710 x711 -x712 x713 -x714 x715 -x716 -x717 x718 -x719 x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 x729 x730 x731 x732 x733 x734 -x735 -x736 -x737 -x738 x739 -x740 x741 -x742 x743 -x744 x745 -x746 -x747 -x748 x749 -x750 -x751 x752 x753 -x754 -x755 x756 x757 -x758 -x759 x760 x761 -x762 x763 x764 x765 -x766 x767 -x768 x769 x770 -x771 x772 -x773 -x774 x775 -x776 x777 x778 -x779 -x780 x781 x782 -x783 -x784 -x785 x786 x787 -x788 x789 -x790 x791 x792 x793 -x794 x795 x796 x797 x798 x799 -x800 x801 x802 x803 -x804 x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 x815 -x816 -x817 x818 x819 -x820 x821 x822 x823 x824 x825 -x826 x827 x828 x829 x830 -x831 -x832 -x833 -x834 x835 x836 x837 -x838 -x839 x840 -x841 x842 x843 -x844 -x845 x846 x847 -x848 -x849 x850 -x851 x852 -x853 -x854 x855 x856 -x857 x858 -x859 x860 -x861 -x862 x863 -x864 x865 -x866 -x867 -x868 -x869 x870 x871 x872 x873 x874 x875 x876 -x877 x878 -x879 x880 x881 x882 x883 -x884 x885 x886 x887 x888 -x889 -x890 x891 -x892 x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 x901 x902 -x903 x904 -x905 -x906 -x907 -x908 x909 x910 x911 -x912 -x913 -x914 -x915 x916 x917 -x918 -x919 x920 x921 -x922 x923 -x924 x925 -x926 -x927 x928 x929 x930 x931 x932 -x933 x934 -x935 -x936 -x937 x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 x948 x949 x950 -x951 x952 x953 x954 -x955 x956 x957 x958 x959 x960 -x961 -x962 x963 x964 -x965 x966 -x967 -x968 x969 -x970 -x971 x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 x983 x984 x985 x986 -x987 x988 x989 x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 x1004 x1005 x1006 x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 x1015 -x1016 x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 x1028 x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 x1036 x1037 x1038 x1039 x1040 -x1041 -x1042 -x1043 x1044 x1045 x1046 -x1047 x1048 -x1049 x1050 x1051 -x1052 x1053 x1054 x1055 x1056 x1057 -x1058 -x1059 -x1060 x1061 x1062 -x1063 -x1064 x1065 -x1066 x1067 x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 x1075 x1076 -x1077 -x1078 x1079 x1080 x1081 -x1082 -x1083 x1084 x1085 x1086 -x1087 x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 x1111 x1112 -x1113 x1114 x1115 -x1116 x1117 -x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 x1135 x1136 x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 x1144 -x1145 x1146 x1147 x1148 -x1149 x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 x1162 x1163 -x1164 -x1165 x1166 x1167 x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 x1179 x1180 x1181 x1182 x1183 x1184 -x1185 -x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 x1216 x1217 x1218 x1219 -x1220 x1221 x1222 x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 x1257 -x1258 x1259 x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 x1400 x1401 x1402 x1403 x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 x1428 -x1429 x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 -x1471 x1472 -x1473 x1474 x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 x1539 -x1540 -x1541 x1542 x1543 x1544 x1545 -x1546 -x1547 x1548 x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 x1578 x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 x1589 x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 x1604 x1605 x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 x1638 x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 x1652 x1653 -x1654 -x1655 -x1656 x1657 -x1658 x1659 x1660 x1661 x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 x1679 -x1680 -x1681 x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 x1735 x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 x1791 x1792 -x1793 x1794 x1795 -x1796 x1797 -x1798 -x1799 x1800 x1801 x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 x1842 -x1843 x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 x1939 x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 x1953 x1954 x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 x2003 x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 x2072 -x2073 -x2074 -x2075 x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2168 x2169 x2170 -x2171 x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 x2291 -x2292 x2293 x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 x2304 x2305 -x2306 x2307 -x2308 x2309 x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 x2326 -x2327 x2328 -x2329 -x2330 -x2331 x2332 -x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 x2433 x2434 -x2435 x2436 -x2437 x2438 -x2439 -x2440 -x2441 x2442 x2443 x2444 x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x2460 x2461 -x2462 x2463 x2464 -x2465 -x2466 -x2467 x2468 -x2469 x2470 x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 -x2493 -x2494 -x2495 -x2496 x2497 x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 x2536 x2537 x2538 -x2539 -x2540 -x2541 -x2542 x2543 x2544 -x2545 -x2546 -x2547 -x2548 x2549 x2550 -x2551 x2552 -x2553 -x2554 -x2555 x2556 x2557 -x2558 x2559 x2560 x2561 -x2562 -x2563 -x2564 x2565 x2566 x2567 x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 x2590 x2591 -x2592 -x2593 -x2594 -x2595 x2596 x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 x2608 x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 x2719 x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 x2731 -x2732 -x2733 -x2734 x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 x2849 -x2850 -x2851 -x2852 x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 -x2905 -x2906 x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 x2919 x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 x2937 x2938 -x2939 -x2940 -x2941 x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 x2960 -x2961 x2962 -x2963 x2964 -x2965 x2966 -x2967 x2968 x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 x3019 -x3020 x3021 x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 x3033 -x3034 x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 x3057 x3058 x3059 -x3060 -x3061 -x3062 -x3063 x3064 -x3065 x3066 x3067 -x3068 -x3069 -x3070 x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 x3166 x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 x3176 -x3177 x3178 -x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 x3188 x3189 x3190 x3191 x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 x3230 x3231 -x3232 x3233 x3234 x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 x3268 x3269 -x3270 -x3271 x3272 -x3273 -x3274 x3275 -x3276 x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 -x3299 x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 x3307 -x3308 x3309 x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 x3336 -x3337 -x3338 x3339 -x3340 -x3341 -x3342 x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 x3350 x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 x3370 -x3371 x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 x3381 -x3382 -x3383 x3384 -x3385 -x3386 -x3387 x3388 x3389 x3390 x3391 -x3392 -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 x3416 -x3417 -x3418 -x3419 x3420 x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 x3430 -x3431 -x3432 -x3433 -x3434 x3435 x3436 -x3437 x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 x3464 -x3465 x3466 x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 x3491 -x3492 -x3493 x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 -x3505 -x3506 -x3507 x3508 x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 x3518 x3519 -x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 x3538 x3539 -x3540 x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 x3548 -x3549 -x3550 x3551 -x3552 x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590 -x3591 x3592 x3593 -x3594 x3595 x3596 -x3597 -x3598 -x3599 x3600 -x3601 x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 -x3613 x3614 -x3615 x3616 x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625
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 (61931 MiB free)
memory of node 1: 64473 MiB (62859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436155-1721168806/watcher-4436155-1721168806 -o /tmp/evaluation-result-4436155-1721168806/solver-4436155-1721168806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878135 --watchdog 3760 pb-oll-rs HOME/instance-4436155-1721168806.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=880839, runsolver pid=880836
[startup+0.100368 s]*
/proc/loadavg: 4.09 4.12 4.13 6/254 880840
/proc/meminfo: memFree=127778792/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=41156 memory=12336 CPUtime=0.09 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 1446 0 0 0 8 1 0 0 20 0 1 0 169046733 42143744 3084 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 10289 3084 1364 291 0 1823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41156 KiB
Current children cumulated memory: 12336 KiB
[startup+0.204695 s]*
/proc/loadavg: 4.09 4.12 4.13 5/254 880854
/proc/meminfo: memFree=127770688/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=48844 memory=20036 CPUtime=0.2 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 2345 0 0 0 16 4 0 0 20 0 1 0 169046733 50016256 5009 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 12211 5009 1380 291 0 3745 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48844 KiB
Current children cumulated memory: 20036 KiB
[startup+0.305358 s]*
/proc/loadavg: 4.09 4.12 4.13 4/253 880854
/proc/meminfo: memFree=127766024/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=57024 memory=24988 CPUtime=0.3 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 3077 0 0 0 22 8 0 0 20 0 1 0 169046733 58392576 6247 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 14256 6247 1380 291 0 5790 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57024 KiB
Current children cumulated memory: 24988 KiB
[startup+0.70018 s]
/proc/loadavg: 4.09 4.12 4.13 4/250 880871
/proc/meminfo: memFree=127766080/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=76756 memory=42748 CPUtime=0.69 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 5484 0 0 0 53 16 0 0 20 0 1 0 169046733 78598144 10687 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 19189 10687 1380 291 0 10723 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76756 KiB
Current children cumulated memory: 42748 KiB
[startup+1.50022 s]
/proc/loadavg: 4.08 4.12 4.13 5/256 880886
/proc/meminfo: memFree=127732348/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=115832 memory=77192 CPUtime=1.48 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 11045 0 0 0 130 18 0 0 20 0 1 0 169046733 118611968 19298 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 28958 19298 1380 291 0 20492 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115832 KiB
Current children cumulated memory: 77192 KiB
[startup+3.10542 s]
/proc/loadavg: 4.08 4.12 4.13 5/256 880932
/proc/meminfo: memFree=128518380/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=173748 memory=118808 CPUtime=3.09 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 17889 0 0 0 285 24 0 0 20 0 1 0 169046733 177917952 29702 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 43437 29702 1380 291 0 34971 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 173748 KiB
Current children cumulated memory: 118808 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.12 4.12 5/256 880978
/proc/meminfo: memFree=128486180/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=206260 memory=144620 CPUtime=6.27 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 23720 0 0 0 600 27 0 0 20 0 1 0 169046733 211210240 36155 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 51565 36155 1456 291 0 43099 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 206260 KiB
Current children cumulated memory: 144620 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.12 5/257 880981
/proc/meminfo: memFree=128472540/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=223796 memory=173476 CPUtime=12.65 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 27893 0 0 0 1233 32 0 0 20 0 1 0 169046733 229167104 43369 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 55949 43369 1456 291 0 47483 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223796 KiB
Current children cumulated memory: 173476 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.11 4.12 5/257 880982
/proc/meminfo: memFree=128413072/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=276392 memory=203896 CPUtime=25.43 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 30954 0 0 0 2499 44 0 0 20 0 1 0 169046733 283025408 50974 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 69098 50974 1456 291 0 60632 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 276392 KiB
Current children cumulated memory: 203896 KiB
[startup+51.1054 s]
/proc/loadavg: 4.23 4.15 4.13 5/257 880988
/proc/meminfo: memFree=128323516/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=340536 memory=277564 CPUtime=50.97 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 42166 0 0 0 5034 63 0 0 20 0 1 0 169046733 348708864 69391 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 85134 69391 1456 291 0 76668 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 340536 KiB
Current children cumulated memory: 277564 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/258 881211
/proc/meminfo: memFree=128124316/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=458556 memory=344804 CPUtime=102.03 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 50797 0 0 0 10110 93 0 0 20 0 1 0 169046733 469561344 86201 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 114639 86201 1456 291 0 106173 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 458556 KiB
Current children cumulated memory: 344804 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/258 881221
/proc/meminfo: memFree=127853252/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=463328 memory=397064 CPUtime=161.86 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 54097 0 0 0 16061 125 0 0 20 0 1 0 169046733 474447872 99266 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 115832 99266 1456 291 0 107366 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 463328 KiB
Current children cumulated memory: 397064 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.19 4.15 5/259 881290
/proc/meminfo: memFree=127734444/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=465508 memory=431264 CPUtime=221.69 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 54721 0 0 0 22021 148 0 0 20 0 1 0 169046733 476680192 107816 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 116377 107816 1456 291 0 107911 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 465508 KiB
Current children cumulated memory: 431264 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/259 881301
/proc/meminfo: memFree=127527444/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=704372 memory=503772 CPUtime=281.53 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 70519 0 0 0 27973 180 0 0 20 0 1 0 169046733 721276928 125943 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 176093 125943 1456 291 0 167627 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 704372 KiB
Current children cumulated memory: 503772 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/258 881311
/proc/meminfo: memFree=127449172/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=725784 memory=537628 CPUtime=341.39 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 75017 0 0 0 33933 206 0 0 20 0 1 0 169046733 743202816 134407 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 181446 134407 1456 291 0 172980 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 725784 KiB
Current children cumulated memory: 537628 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/257 881322
/proc/meminfo: memFree=127325720/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=737016 memory=573156 CPUtime=401.25 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 78412 0 0 0 39892 233 0 0 20 0 1 0 169046733 754704384 143289 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 184254 143289 1456 291 0 175788 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 737016 KiB
Current children cumulated memory: 573156 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.12 4.12 5/257 881333
/proc/meminfo: memFree=127204992/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=746396 memory=595324 CPUtime=461.11 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 81101 0 0 0 45852 259 0 0 20 0 1 0 169046733 764309504 148831 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 186599 148831 1456 291 0 178133 0
################
# More data... #
################
Current children cumulated memory: 1508548 KiB
[startup+2922.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/254 882351
/proc/meminfo: memFree=125171940/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1633932 memory=1508552 CPUtime=2915.13 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 233326 0 0 0 290441 1072 0 0 20 0 1 0 169046733 1673146368 377138 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 408483 377138 1456 291 0 400017 0
Current children cumulated CPU time: 2915.13 s
Current children cumulated vsize: 1633932 KiB
Current children cumulated memory: 1508552 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/254 882361
/proc/meminfo: memFree=125169048/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1633932 memory=1508552 CPUtime=2974.99 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 233940 0 0 0 296394 1105 0 0 20 0 1 0 169046733 1673146368 377138 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 408483 377138 1456 291 0 400017 0
Current children cumulated CPU time: 2974.99 s
Current children cumulated vsize: 1633932 KiB
Current children cumulated memory: 1508552 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/254 882372
/proc/meminfo: memFree=125168416/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1633932 memory=1508552 CPUtime=3034.85 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 234541 0 0 0 302361 1124 0 0 20 0 1 0 169046733 1673146368 377138 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 408483 377138 1456 291 0 400017 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 1633932 KiB
Current children cumulated memory: 1508552 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 882383
/proc/meminfo: memFree=125157144/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1640596 memory=1512284 CPUtime=3094.68 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 236049 0 0 0 308314 1154 0 0 20 0 1 0 169046733 1679970304 378071 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410149 378071 1456 291 0 401683 0
Current children cumulated CPU time: 3094.68 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1512284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 882393
/proc/meminfo: memFree=125149108/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1640596 memory=1512284 CPUtime=3154.51 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 236576 0 0 0 314281 1170 0 0 20 0 1 0 169046733 1679970304 378071 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410149 378071 1456 291 0 401683 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1512284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 882407
/proc/meminfo: memFree=125139548/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1640596 memory=1512288 CPUtime=3214.34 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 237205 0 0 0 320240 1194 0 0 20 0 1 0 169046733 1679970304 378072 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410149 378072 1456 291 0 401683 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1512288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 882419
/proc/meminfo: memFree=125122400/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1640596 memory=1512288 CPUtime=3274.18 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 237775 0 0 0 326200 1218 0 0 20 0 1 0 169046733 1679970304 378072 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410149 378072 1456 291 0 401683 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1512288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 882429
/proc/meminfo: memFree=125119320/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1641108 memory=1512688 CPUtime=3334.01 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 238522 0 0 0 332158 1243 0 0 20 0 1 0 169046733 1680494592 378172 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410277 378172 1456 291 0 401811 0
Current children cumulated CPU time: 3334.01 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1512688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.45 4.23 4.13 5/256 882440
/proc/meminfo: memFree=125111748/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1641108 memory=1512688 CPUtime=3393.85 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 239034 0 0 0 338116 1269 0 0 20 0 1 0 169046733 1680494592 378172 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410277 378172 1456 291 0 401811 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1512688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.21 4.13 5/256 882451
/proc/meminfo: memFree=125098648/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1641108 memory=1512688 CPUtime=3453.67 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 239549 0 0 0 344084 1283 0 0 20 0 1 0 169046733 1680494592 378172 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410277 378172 1456 291 0 401811 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1512688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/258 882850
/proc/meminfo: memFree=125097024/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1641108 memory=1512692 CPUtime=3513.51 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 240085 0 0 0 350035 1316 0 0 20 0 1 0 169046733 1680494592 378173 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410277 378173 1456 291 0 401811 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1512692 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/259 882861
/proc/meminfo: memFree=125096388/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1641108 memory=1512692 CPUtime=3573.34 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 240670 0 0 0 355998 1336 0 0 20 0 1 0 169046733 1680494592 378173 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410277 378173 1456 291 0 401811 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1512692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.09 4.15 4.11 5/259 882865
/proc/meminfo: memFree=125091676/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1641620 memory=1513076 CPUtime=3600.08 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 241112 0 0 0 358664 1344 0 0 20 0 1 0 169046733 1681018880 378269 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410405 378269 1456 291 0 401939 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1641620 KiB
Current children cumulated memory: 1513076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 880839 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.64 s, system=13.4552 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.09 4.15 4.11 5/259 882865
/proc/meminfo: memFree=125091676/131524600 swapFree=131071996/131071996
[pid=880839] ppid=880836 vsize=1641620 memory=1513076 CPUtime=3600.08 cores=1,3
/proc/880839/stat : 880839 (pb-oll-rs) R 880836 880839 878123 0 -1 4194304 241112 0 0 0 358664 1344 0 0 20 0 1 0 169046733 1681018880 378269 134679101440 4194304 5384005 140734461357056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36593664 140734461363223 140734461363300 140734461363300 140734461370315 0
/proc/880839/statm: 410405 378269 1456 291 0 401939 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1641620 KiB
Current children cumulated memory: 1513076 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.1
CPU user time (s): 3586.64
CPU system time (s): 13.4552
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 1641620
Max. memory (cumulated for all children) (KiB): 1513076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.64
system time used= 13.4552
maximum resident set size= 1513092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241142
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= 247
involuntary context switches= 2452
# summary of solver processes directly reported to runsolver:
# pid: 880839
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.64
# total CPU system time (s): 13.4552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77423 second user time and 17.7981 second system time
The end
Begin job on nodeC026 at 2024-07-17 00:26:58
IDJOB=4436155
IDBENCH=158503
IDSOLVER=3067
FILE ID=nodeC026/4436155-1721168806
RUNJOBID= nodeC026-1721165209-878135
SLURM_JOB_ID= 7505787
Free space on /tmp= 890072 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436155-1721168806/watcher-4436155-1721168806 -o /tmp/evaluation-result-4436155-1721168806/solver-4436155-1721168806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878135 --watchdog 3760 pb-oll-rs HOME/instance-4436155-1721168806.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c
RANDOM SEED=904053003
nodeC026.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 : 3658.322
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3656.500
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.45
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 : 3600.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3655.643
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.45
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.453
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3664.527
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.45
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 : 3599.940
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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.055
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127685152 kB
MemAvailable: 128741912 kB
Buffers: 445184 kB
Cached: 1441924 kB
SwapCached: 0 kB
Active: 832392 kB
Inactive: 2394944 kB
Active(anon): 1572 kB
Inactive(anon): 1376092 kB
Active(file): 830820 kB
Inactive(file): 1018852 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 1944 kB
Writeback: 0 kB
AnonPages: 1330936 kB
Mapped: 109016 kB
Shmem: 37720 kB
KReclaimable: 93820 kB
Slab: 201420 kB
SReclaimable: 93820 kB
SUnreclaim: 107600 kB
KernelStack: 4124 kB
PageTables: 11868 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1780356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64256 kB
HardwareCorrupted: 0 kB
AnonHugePages: 999424 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC026 at 2024-07-17 01:27:08