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.012449
0.00/0.01 c stratification level: 1
0.00/0.08 c bounds - >= -1515 @ 0.021001
0.00/0.08 c bounds - >= -1514 @ 0.021966
0.00/0.08 c bounds - >= -1513 @ 0.022379
0.00/0.08 c bounds - >= -1512 @ 0.02278
0.00/0.08 c bounds - >= -1511 @ 0.023003
0.00/0.08 c bounds - >= -1510 @ 0.023003
0.00/0.08 c bounds - >= -1509 @ 0.023197
0.00/0.08 c bounds - >= -1508 @ 0.023597
0.00/0.08 c bounds - >= -1507 @ 0.023993
0.00/0.08 c bounds - >= -1506 @ 0.02439
0.00/0.08 c bounds - >= -1505 @ 0.024785
0.00/0.08 c bounds - >= -1504 @ 0.025184
0.00/0.08 c bounds - >= -1503 @ 0.025592
0.00/0.08 c bounds - >= -1502 @ 0.025991
0.00/0.08 c bounds - >= -1501 @ 0.026203
0.00/0.08 c bounds - >= -1500 @ 0.026203
0.00/0.08 c bounds - >= -1499 @ 0.026237
0.00/0.08 c bounds - >= -1498 @ 0.026657
0.00/0.08 c bounds - >= -1497 @ 0.027051
0.00/0.08 c bounds - >= -1496 @ 0.027468
0.00/0.08 c bounds - >= -1495 @ 0.027876
0.00/0.08 c bounds - >= -1494 @ 0.028287
0.00/0.08 c bounds - >= -1493 @ 0.028701
0.00/0.08 c bounds - >= -1492 @ 0.0291
0.00/0.08 c bounds - >= -1491 @ 0.029533
0.00/0.08 c bounds - >= -1490 @ 0.029924
0.00/0.08 c bounds - >= -1489 @ 0.030338
0.00/0.08 c bounds - >= -1488 @ 0.030757
0.00/0.08 c bounds - >= -1487 @ 0.031157
0.00/0.08 c bounds - >= -1486 @ 0.031567
0.00/0.08 c bounds - >= -1485 @ 0.03197
0.00/0.08 c bounds - >= -1484 @ 0.032372
0.00/0.08 c bounds - >= -1483 @ 0.032782
0.00/0.08 c bounds - >= -1482 @ 0.033195
0.00/0.08 c bounds - >= -1481 @ 0.033644
0.00/0.08 c bounds - >= -1480 @ 0.034056
0.00/0.08 c bounds - >= -1479 @ 0.034468
0.00/0.08 c bounds - >= -1478 @ 0.034877
0.00/0.08 c bounds - >= -1477 @ 0.035291
0.00/0.08 c bounds - >= -1476 @ 0.035698
0.00/0.08 c bounds - >= -1475 @ 0.036114
0.00/0.08 c bounds - >= -1474 @ 0.036538
0.00/0.08 c bounds - >= -1473 @ 0.036956
0.00/0.08 c bounds - >= -1472 @ 0.037183
0.00/0.08 c bounds - >= -1471 @ 0.037183
0.00/0.08 c bounds - >= -1470 @ 0.037349
0.00/0.08 c bounds - >= -1469 @ 0.037742
0.00/0.08 c bounds - >= -1468 @ 0.038088
0.00/0.08 c bounds - >= -1467 @ 0.038511
0.00/0.08 c bounds - >= -1466 @ 0.038936
0.00/0.08 c bounds - >= -1465 @ 0.039343
0.00/0.08 c bounds - >= -1464 @ 0.039766
0.00/0.08 c bounds - >= -1463 @ 0.040189
0.00/0.08 c bounds - >= -1462 @ 0.040616
0.00/0.08 c bounds - >= -1461 @ 0.041044
0.00/0.08 c bounds - >= -1460 @ 0.041473
0.00/0.08 c bounds - >= -1459 @ 0.041901
0.00/0.08 c bounds - >= -1458 @ 0.042335
0.00/0.08 c bounds - >= -1457 @ 0.042766
0.00/0.08 c bounds - >= -1456 @ 0.043204
0.00/0.08 c bounds - >= -1455 @ 0.043639
0.00/0.08 c bounds - >= -1454 @ 0.044074
0.00/0.08 c bounds - >= -1453 @ 0.044513
0.00/0.08 c bounds - >= -1452 @ 0.044952
0.00/0.08 c bounds - >= -1451 @ 0.04517
0.00/0.08 c bounds - >= -1450 @ 0.04517
0.00/0.08 c bounds - >= -1449 @ 0.045336
0.00/0.08 c bounds - >= -1448 @ 0.045768
0.00/0.08 c bounds - >= -1447 @ 0.046136
0.00/0.08 c bounds - >= -1446 @ 0.046578
0.00/0.08 c bounds - >= -1445 @ 0.047018
0.00/0.08 c bounds - >= -1444 @ 0.047457
0.00/0.08 c bounds - >= -1443 @ 0.047899
0.00/0.08 c bounds - >= -1442 @ 0.048167
0.00/0.08 c bounds - >= -1441 @ 0.048167
0.00/0.08 c bounds - >= -1440 @ 0.048332
0.00/0.08 c bounds - >= -1439 @ 0.048756
0.00/0.08 c bounds - >= -1438 @ 0.049121
0.00/0.08 c bounds - >= -1437 @ 0.049561
0.00/0.08 c bounds - >= -1436 @ 0.049998
0.00/0.08 c bounds - >= -1435 @ 0.050436
0.00/0.08 c bounds - >= -1434 @ 0.050878
0.00/0.08 c bounds - >= -1433 @ 0.051341
0.00/0.08 c bounds - >= -1432 @ 0.051802
0.00/0.08 c bounds - >= -1431 @ 0.052247
0.00/0.08 c bounds - >= -1430 @ 0.052696
0.00/0.08 c bounds - >= -1429 @ 0.053144
0.00/0.08 c bounds - >= -1428 @ 0.053594
0.00/0.08 c bounds - >= -1427 @ 0.054054
0.00/0.08 c bounds - >= -1426 @ 0.054513
0.00/0.08 c bounds - >= -1425 @ 0.05497
0.00/0.08 c bounds - >= -1424 @ 0.055473
0.00/0.08 c bounds - >= -1423 @ 0.055923
0.00/0.08 c bounds - >= -1422 @ 0.056377
0.00/0.08 c bounds - >= -1421 @ 0.05683
0.00/0.08 c bounds - >= -1420 @ 0.057279
0.00/0.08 c bounds - >= -1419 @ 0.057728
0.00/0.08 c bounds - >= -1418 @ 0.058173
0.00/0.08 c bounds - >= -1417 @ 0.058628
0.00/0.08 c bounds - >= -1416 @ 0.059087
0.00/0.08 c bounds - >= -1415 @ 0.059587
0.00/0.08 c bounds - >= -1414 @ 0.06004
0.00/0.08 c bounds - >= -1413 @ 0.0605
0.00/0.08 c bounds - >= -1412 @ 0.060957
0.00/0.08 c bounds - >= -1411 @ 0.061135
0.00/0.08 c bounds - >= -1410 @ 0.061135
0.00/0.08 c bounds - >= -1409 @ 0.061138
0.00/0.08 c bounds - >= -1408 @ 0.061138
0.00/0.08 c bounds - >= -1407 @ 0.061314
0.00/0.08 c bounds - >= -1406 @ 0.061774
0.00/0.08 c bounds - >= -1405 @ 0.062199
0.00/0.08 c bounds - >= -1404 @ 0.062659
0.00/0.08 c bounds - >= -1403 @ 0.063097
0.00/0.08 c bounds - >= -1402 @ 0.063556
0.00/0.08 c bounds - >= -1401 @ 0.064018
0.00/0.08 c bounds - >= -1400 @ 0.064481
0.00/0.08 c bounds - >= -1399 @ 0.064942
0.00/0.08 c bounds - >= -1398 @ 0.06513
0.00/0.08 c bounds - >= -1397 @ 0.06513
0.00/0.08 c bounds - >= -1396 @ 0.06513
0.00/0.08 c bounds - >= -1395 @ 0.06513
0.00/0.08 c bounds - >= -1394 @ 0.065306
0.00/0.08 c bounds - >= -1393 @ 0.065767
0.00/0.08 c bounds - >= -1392 @ 0.066212
0.00/0.08 c bounds - >= -1391 @ 0.066669
0.00/0.08 c bounds - >= -1390 @ 0.067115
0.00/0.08 c bounds - >= -1389 @ 0.067573
0.00/0.08 c bounds - >= -1388 @ 0.068033
0.00/0.08 c bounds - >= -1387 @ 0.068494
0.00/0.08 c bounds - >= -1386 @ 0.068959
0.00/0.08 c bounds - >= -1385 @ 0.069421
0.00/0.08 c bounds - >= -1384 @ 0.06988
0.00/0.08 c bounds - >= -1383 @ 0.070118
0.09/0.14 c bounds - >= -1382 @ 0.070118
0.09/0.14 c bounds - >= -1381 @ 0.070313
0.09/0.14 c bounds - >= -1380 @ 0.070769
0.09/0.14 c bounds - >= -1379 @ 0.071231
0.09/0.14 c bounds - >= -1378 @ 0.071692
0.09/0.14 c bounds - >= -1377 @ 0.071976
0.09/0.14 c bounds - >= -1376 @ 0.071976
0.09/0.14 c bounds - >= -1375 @ 0.072074
0.09/0.14 c bounds - >= -1374 @ 0.072532
0.09/0.14 c bounds - >= -1373 @ 0.07299
0.09/0.14 c bounds - >= -1372 @ 0.073453
0.09/0.14 c bounds - >= -1371 @ 0.073915
0.09/0.14 c bounds - >= -1370 @ 0.074107
0.09/0.14 c bounds - >= -1369 @ 0.074107
0.09/0.14 c bounds - >= -1368 @ 0.074293
0.09/0.14 c bounds - >= -1367 @ 0.074754
0.09/0.14 c bounds - >= -1366 @ 0.075216
0.09/0.14 c bounds - >= -1365 @ 0.075674
0.09/0.14 c bounds - >= -1364 @ 0.075963
0.09/0.14 c bounds - >= -1363 @ 0.075963
0.09/0.14 c bounds - >= -1362 @ 0.076068
0.09/0.14 c bounds - >= -1361 @ 0.076537
0.09/0.14 c bounds - >= -1360 @ 0.076998
0.09/0.14 c bounds - >= -1359 @ 0.077458
0.09/0.14 c bounds - >= -1358 @ 0.077913
0.09/0.14 c bounds - >= -1357 @ 0.078365
0.09/0.14 c bounds - >= -1356 @ 0.078821
0.09/0.14 c bounds - >= -1355 @ 0.0793
0.09/0.14 c bounds - >= -1354 @ 0.079773
0.09/0.14 c bounds - >= -1353 @ 0.08024
0.09/0.14 c bounds - >= -1352 @ 0.080708
0.09/0.14 c bounds - >= -1351 @ 0.081173
0.09/0.14 c bounds - >= -1350 @ 0.081674
0.09/0.14 c bounds - >= -1349 @ 0.082149
0.09/0.14 c bounds - >= -1348 @ 0.082624
0.09/0.14 c bounds - >= -1347 @ 0.083096
0.09/0.14 c bounds - >= -1346 @ 0.083569
0.09/0.14 c bounds - >= -1345 @ 0.084054
0.09/0.14 c bounds - >= -1344 @ 0.084549
0.09/0.14 c bounds - >= -1343 @ 0.085012
0.09/0.14 c bounds - >= -1342 @ 0.085512
0.09/0.14 c bounds - >= -1341 @ 0.08597
0.09/0.14 c bounds - >= -1340 @ 0.086467
0.09/0.14 c bounds - >= -1339 @ 0.086927
0.09/0.14 c bounds - >= -1338 @ 0.087426
0.09/0.14 c bounds - >= -1337 @ 0.087887
0.09/0.14 c bounds - >= -1336 @ 0.088076
0.09/0.14 c bounds - >= -1335 @ 0.088076
0.09/0.14 c bounds - >= -1334 @ 0.088079
0.09/0.14 c bounds - >= -1333 @ 0.088079
0.09/0.14 c bounds - >= -1332 @ 0.088079
0.09/0.14 c bounds - >= -1331 @ 0.088079
0.09/0.14 c bounds - >= -1330 @ 0.088256
0.09/0.14 c bounds - >= -1329 @ 0.088721
0.09/0.14 c bounds - >= -1328 @ 0.089165
0.09/0.14 c bounds - >= -1327 @ 0.089631
0.09/0.14 c bounds - >= -1326 @ 0.090078
0.09/0.14 c bounds - >= -1325 @ 0.09054
0.09/0.14 c bounds - >= -1324 @ 0.091001
0.09/0.14 c bounds - >= -1323 @ 0.091467
0.09/0.14 c bounds - >= -1322 @ 0.091931
0.09/0.14 c bounds - >= -1321 @ 0.092396
0.09/0.14 c bounds - >= -1320 @ 0.092855
0.09/0.14 c bounds - >= -1319 @ 0.093067
0.09/0.14 c bounds - >= -1318 @ 0.093067
0.09/0.14 c bounds - >= -1317 @ 0.093244
0.09/0.14 c bounds - >= -1316 @ 0.093704
0.09/0.14 c bounds - >= -1315 @ 0.094166
0.09/0.14 c bounds - >= -1314 @ 0.094629
0.09/0.14 c bounds - >= -1313 @ 0.095078
0.09/0.14 c bounds - >= -1312 @ 0.095538
0.09/0.14 c bounds - >= -1311 @ 0.095999
0.09/0.14 c bounds - >= -1310 @ 0.09646
0.09/0.14 c bounds - >= -1309 @ 0.096922
0.09/0.14 c bounds - >= -1308 @ 0.097386
0.09/0.14 c bounds - >= -1307 @ 0.097847
0.09/0.14 c bounds - >= -1306 @ 0.098057
0.09/0.14 c bounds - >= -1305 @ 0.098057
0.09/0.14 c bounds - >= -1304 @ 0.098243
0.09/0.14 c bounds - >= -1303 @ 0.098706
0.09/0.14 c bounds - >= -1302 @ 0.099172
0.09/0.14 c bounds - >= -1301 @ 0.099639
0.09/0.14 c bounds - >= -1300 @ 0.100102
0.09/0.14 c bounds - >= -1299 @ 0.100562
0.09/0.14 c bounds - >= -1298 @ 0.101026
0.09/0.14 c bounds - >= -1297 @ 0.101487
0.09/0.14 c bounds - >= -1296 @ 0.101952
0.09/0.14 c bounds - >= -1295 @ 0.102416
0.09/0.14 c bounds - >= -1294 @ 0.102876
0.09/0.14 c bounds - >= -1293 @ 0.103345
0.09/0.14 c bounds - >= -1292 @ 0.103807
0.09/0.14 c bounds - >= -1291 @ 0.104046
0.09/0.14 c bounds - >= -1290 @ 0.104046
0.09/0.14 c bounds - >= -1289 @ 0.104223
0.09/0.14 c bounds - >= -1288 @ 0.104684
0.09/0.14 c bounds - >= -1287 @ 0.105145
0.09/0.14 c bounds - >= -1286 @ 0.105606
0.09/0.14 c bounds - >= -1285 @ 0.106091
0.09/0.14 c bounds - >= -1284 @ 0.106565
0.09/0.15 c bounds - >= -1283 @ 0.107026
0.09/0.15 c bounds - >= -1282 @ 0.107497
0.09/0.15 c bounds - >= -1281 @ 0.107968
0.09/0.15 c bounds - >= -1280 @ 0.108442
0.09/0.15 c bounds - >= -1279 @ 0.108914
0.09/0.15 c bounds - >= -1278 @ 0.109388
0.09/0.15 c bounds - >= -1277 @ 0.109862
0.09/0.15 c bounds - >= -1276 @ 0.110034
0.09/0.15 c bounds - >= -1275 @ 0.110034
0.09/0.15 c bounds - >= -1274 @ 0.110034
0.09/0.15 c bounds - >= -1273 @ 0.110034
0.09/0.15 c bounds - >= -1272 @ 0.11026
0.09/0.15 c bounds - >= -1271 @ 0.110736
0.09/0.15 c bounds - >= -1270 @ 0.111219
0.09/0.15 c bounds - >= -1269 @ 0.111695
0.09/0.15 c bounds - >= -1268 @ 0.11217
0.09/0.15 c bounds - >= -1267 @ 0.112652
0.09/0.15 c bounds - >= -1266 @ 0.113124
0.09/0.15 c bounds - >= -1265 @ 0.113603
0.09/0.15 c bounds - >= -1264 @ 0.113882
0.09/0.15 c bounds - >= -1263 @ 0.113882
0.09/0.15 c bounds - >= -1262 @ 0.114017
0.09/0.15 c bounds - >= -1261 @ 0.114514
0.09/0.15 c bounds - >= -1260 @ 0.114975
0.09/0.15 c bounds - >= -1259 @ 0.115477
0.09/0.15 c bounds - >= -1258 @ 0.115943
0.09/0.15 c bounds - >= -1257 @ 0.116438
0.09/0.15 c bounds - >= -1256 @ 0.116887
0.09/0.15 c bounds - >= -1255 @ 0.117374
0.09/0.15 c bounds - >= -1254 @ 0.117825
0.09/0.15 c bounds - >= -1253 @ 0.118317
0.09/0.15 c bounds - >= -1252 @ 0.118768
0.09/0.15 c bounds - >= -1251 @ 0.119015
0.09/0.15 c bounds - >= -1250 @ 0.119015
0.20/0.21 c bounds - >= -1249 @ 0.119195
0.20/0.21 c bounds - >= -1248 @ 0.119661
0.20/0.21 c bounds - >= -1247 @ 0.120115
0.20/0.21 c bounds - >= -1246 @ 0.120562
0.20/0.21 c bounds - >= -1245 @ 0.121003
0.20/0.21 c bounds - >= -1244 @ 0.121448
0.20/0.21 c bounds - >= -1243 @ 0.121895
0.20/0.21 c bounds - >= -1242 @ 0.122346
0.20/0.21 c bounds - >= -1241 @ 0.122796
0.20/0.21 c bounds - >= -1240 @ 0.123007
0.20/0.21 c bounds - >= -1239 @ 0.123007
0.20/0.21 c bounds - >= -1238 @ 0.123183
0.20/0.21 c bounds - >= -1237 @ 0.12364
0.20/0.21 c bounds - >= -1236 @ 0.124092
0.20/0.21 c bounds - >= -1235 @ 0.124538
0.20/0.21 c bounds - >= -1234 @ 0.124988
0.20/0.21 c bounds - >= -1233 @ 0.125435
0.20/0.21 c bounds - >= -1232 @ 0.125878
0.20/0.21 c bounds - >= -1231 @ 0.126316
0.20/0.21 c bounds - >= -1230 @ 0.126767
0.20/0.21 c bounds - >= -1229 @ 0.126998
0.20/0.21 c bounds - >= -1228 @ 0.126998
0.20/0.21 c bounds - >= -1227 @ 0.127175
0.20/0.21 c bounds - >= -1226 @ 0.127619
0.20/0.21 c bounds - >= -1225 @ 0.127994
0.20/0.21 c bounds - >= -1224 @ 0.128443
0.20/0.21 c bounds - >= -1223 @ 0.128888
0.20/0.21 c bounds - >= -1222 @ 0.12934
0.20/0.21 c bounds - >= -1221 @ 0.129785
0.20/0.21 c bounds - >= -1220 @ 0.129992
0.20/0.21 c bounds - >= -1219 @ 0.129992
0.20/0.21 c bounds - >= -1218 @ 0.130169
0.20/0.21 c bounds - >= -1217 @ 0.130624
0.20/0.21 c bounds - >= -1216 @ 0.131055
0.20/0.21 c bounds - >= -1215 @ 0.131503
0.20/0.21 c bounds - >= -1214 @ 0.131931
0.20/0.21 c bounds - >= -1213 @ 0.132374
0.20/0.21 c bounds - >= -1212 @ 0.132814
0.20/0.21 c bounds - >= -1211 @ 0.132986
0.20/0.21 c bounds - >= -1210 @ 0.132986
0.20/0.21 c bounds - >= -1209 @ 0.133182
0.20/0.21 c bounds - >= -1208 @ 0.133645
0.20/0.21 c bounds - >= -1207 @ 0.134092
0.20/0.21 c bounds - >= -1206 @ 0.134536
0.20/0.21 c bounds - >= -1205 @ 0.134964
0.20/0.21 c bounds - >= -1204 @ 0.135411
0.20/0.21 c bounds - >= -1203 @ 0.135854
0.20/0.21 c bounds - >= -1202 @ 0.135979
0.20/0.21 c bounds - >= -1201 @ 0.135979
0.20/0.21 c bounds - >= -1200 @ 0.135979
0.20/0.21 c bounds - >= -1199 @ 0.135979
0.20/0.21 c bounds - >= -1198 @ 0.136154
0.20/0.21 c bounds - >= -1197 @ 0.136602
0.20/0.21 c bounds - >= -1196 @ 0.136967
0.20/0.21 c bounds - >= -1195 @ 0.13741
0.20/0.21 c bounds - >= -1194 @ 0.13785
0.20/0.21 c bounds - >= -1193 @ 0.137973
0.20/0.21 c bounds - >= -1192 @ 0.137973
0.20/0.21 c bounds - >= -1191 @ 0.137973
0.20/0.21 c bounds - >= -1190 @ 0.137973
0.20/0.21 c bounds - >= -1189 @ 0.138152
0.20/0.21 c bounds - >= -1188 @ 0.138606
0.20/0.21 c bounds - >= -1187 @ 0.139023
0.20/0.21 c bounds - >= -1186 @ 0.139478
0.20/0.21 c bounds - >= -1185 @ 0.13991
0.20/0.21 c bounds - >= -1184 @ 0.140357
0.20/0.21 c bounds - >= -1183 @ 0.140808
0.20/0.21 c bounds - >= -1182 @ 0.141253
0.20/0.21 c bounds - >= -1181 @ 0.141705
0.20/0.21 c bounds - >= -1180 @ 0.142157
0.20/0.21 c bounds - >= -1179 @ 0.142608
0.20/0.21 c bounds - >= -1178 @ 0.143062
0.20/0.21 c bounds - >= -1177 @ 0.143513
0.20/0.21 c bounds - >= -1176 @ 0.143967
0.20/0.21 c bounds - >= -1175 @ 0.144427
0.20/0.21 c bounds - >= -1174 @ 0.144882
0.20/0.21 c bounds - >= -1173 @ 0.145377
0.20/0.21 c bounds - >= -1172 @ 0.145831
0.20/0.21 c bounds - >= -1171 @ 0.145957
0.20/0.21 c bounds - >= -1170 @ 0.146123
0.20/0.21 c bounds - >= -1169 @ 0.146582
0.20/0.21 c bounds - >= -1168 @ 0.147041
0.20/0.21 c bounds - >= -1167 @ 0.147494
0.20/0.21 c bounds - >= -1166 @ 0.147946
0.20/0.21 c bounds - >= -1165 @ 0.147946
0.20/0.21 c bounds - >= -1164 @ 0.147946
0.20/0.21 c bounds - >= -1163 @ 0.148401
0.20/0.21 c bounds - >= -1162 @ 0.148805
0.20/0.21 c bounds - >= -1161 @ 0.14895
0.20/0.21 c bounds - >= -1160 @ 0.14895
0.20/0.21 c bounds - >= -1159 @ 0.14895
0.20/0.21 c bounds - >= -1158 @ 0.14895
0.20/0.21 c bounds - >= -1157 @ 0.149118
0.20/0.21 c bounds - >= -1156 @ 0.149589
0.20/0.21 c bounds - >= -1155 @ 0.150064
0.20/0.21 c bounds - >= -1154 @ 0.15054
0.20/0.21 c bounds - >= -1153 @ 0.151015
0.20/0.21 c bounds - >= -1152 @ 0.151499
0.20/0.21 c bounds - >= -1151 @ 0.151975
0.20/0.21 c bounds - >= -1150 @ 0.152454
0.20/0.21 c bounds - >= -1149 @ 0.152926
0.20/0.21 c bounds - >= -1148 @ 0.153406
0.20/0.21 c bounds - >= -1147 @ 0.153894
0.20/0.21 c bounds - >= -1146 @ 0.154376
0.20/0.21 c bounds - >= -1145 @ 0.154855
0.20/0.21 c bounds - >= -1144 @ 0.155345
0.20/0.21 c bounds - >= -1143 @ 0.155825
0.20/0.21 c bounds - >= -1142 @ 0.156306
0.20/0.21 c bounds - >= -1141 @ 0.156795
0.20/0.21 c bounds - >= -1140 @ 0.156934
0.20/0.21 c bounds - >= -1139 @ 0.156934
0.20/0.21 c bounds - >= -1138 @ 0.156934
0.20/0.21 c bounds - >= -1137 @ 0.156934
0.20/0.21 c bounds - >= -1136 @ 0.157277
0.20/0.21 c bounds - >= -1135 @ 0.157766
0.20/0.21 c bounds - >= -1134 @ 0.15793
0.20/0.21 c bounds - >= -1133 @ 0.15793
0.20/0.21 c bounds - >= -1132 @ 0.15793
0.20/0.21 c bounds - >= -1131 @ 0.15793
0.20/0.21 c bounds - >= -1130 @ 0.158262
0.20/0.21 c bounds - >= -1129 @ 0.158772
0.20/0.21 c bounds - >= -1128 @ 0.159278
0.20/0.21 c bounds - >= -1127 @ 0.159793
0.20/0.21 c bounds - >= -1126 @ 0.159924
0.20/0.21 c bounds - >= -1125 @ 0.159924
0.20/0.21 c bounds - >= -1124 @ 0.160448
0.20/0.21 c bounds - >= -1123 @ 0.160873
0.20/0.21 c bounds - >= -1122 @ 0.161394
0.20/0.21 c bounds - >= -1121 @ 0.161914
0.20/0.21 c bounds - >= -1120 @ 0.162462
0.20/0.21 c bounds - >= -1119 @ 0.162992
0.20/0.21 c bounds - >= -1118 @ 0.163533
0.20/0.29 c bounds - >= -1117 @ 0.164077
0.20/0.29 c bounds - >= -1116 @ 0.164617
0.20/0.29 c bounds - >= -1115 @ 0.164914
0.20/0.29 c bounds - >= -1114 @ 0.164914
0.20/0.29 c bounds - >= -1113 @ 0.164914
0.20/0.29 c bounds - >= -1112 @ 0.164914
0.20/0.29 c bounds - >= -1111 @ 0.165303
0.20/0.29 c bounds - >= -1110 @ 0.165835
0.20/0.29 c bounds - >= -1109 @ 0.166399
0.20/0.29 c bounds - >= -1108 @ 0.166937
0.20/0.29 c bounds - >= -1107 @ 0.167491
0.20/0.29 c bounds - >= -1106 @ 0.168022
0.20/0.29 c bounds - >= -1105 @ 0.168547
0.20/0.29 c bounds - >= -1104 @ 0.169079
0.20/0.29 c bounds - >= -1103 @ 0.169603
0.20/0.29 c bounds - >= -1102 @ 0.169903
0.20/0.29 c bounds - >= -1101 @ 0.169903
0.20/0.29 c bounds - >= -1100 @ 0.169903
0.20/0.29 c bounds - >= -1099 @ 0.169903
0.20/0.29 c bounds - >= -1098 @ 0.169903
0.20/0.29 c bounds - >= -1097 @ 0.169903
0.20/0.29 c bounds - >= -1096 @ 0.169903
0.20/0.29 c bounds - >= -1095 @ 0.169903
0.20/0.29 c bounds - >= -1094 @ 0.17045
0.20/0.29 c bounds - >= -1093 @ 0.170982
0.20/0.29 c bounds - >= -1092 @ 0.171532
0.20/0.29 c bounds - >= -1091 @ 0.172053
0.20/0.29 c bounds - >= -1090 @ 0.172591
0.20/0.29 c bounds - >= -1089 @ 0.172895
0.20/0.29 c bounds - >= -1088 @ 0.172895
0.20/0.29 c bounds - >= -1087 @ 0.172895
0.20/0.29 c bounds - >= -1086 @ 0.172895
0.20/0.29 c bounds - >= -1085 @ 0.172895
0.20/0.29 c bounds - >= -1084 @ 0.172913
0.20/0.29 c bounds - >= -1083 @ 0.173463
0.20/0.29 c bounds - >= -1082 @ 0.174023
0.20/0.29 c bounds - >= -1081 @ 0.17459
0.20/0.29 c bounds - >= -1080 @ 0.17489
0.20/0.29 c bounds - >= -1079 @ 0.17489
0.20/0.29 c bounds - >= -1078 @ 0.17489
0.20/0.29 c bounds - >= -1077 @ 0.17489
0.20/0.29 c bounds - >= -1076 @ 0.17489
0.20/0.29 c bounds - >= -1075 @ 0.17489
0.20/0.29 c bounds - >= -1074 @ 0.17489
0.20/0.29 c bounds - >= -1073 @ 0.17489
0.20/0.29 c bounds - >= -1072 @ 0.174908
0.20/0.29 c bounds - >= -1071 @ 0.175538
0.20/0.29 c bounds - >= -1070 @ 0.176147
0.20/0.29 c bounds - >= -1069 @ 0.176756
0.20/0.29 c bounds - >= -1068 @ 0.17688
0.20/0.29 c bounds - >= -1067 @ 0.177077
0.20/0.29 c bounds - >= -1066 @ 0.177681
0.20/0.29 c bounds - >= -1065 @ 0.178241
0.20/0.29 c bounds - >= -1064 @ 0.178827
0.20/0.29 c bounds - >= -1063 @ 0.179469
0.20/0.29 c bounds - >= -1062 @ 0.180086
0.20/0.29 c bounds - >= -1061 @ 0.180702
0.20/0.29 c bounds - >= -1060 @ 0.180872
0.20/0.29 c bounds - >= -1059 @ 0.181071
0.20/0.29 c bounds - >= -1058 @ 0.181658
0.20/0.29 c bounds - >= -1057 @ 0.181871
0.20/0.29 c bounds - >= -1056 @ 0.181871
0.20/0.29 c bounds - >= -1055 @ 0.182525
0.20/0.29 c bounds - >= -1054 @ 0.182868
0.20/0.29 c bounds - >= -1053 @ 0.182868
0.20/0.29 c bounds - >= -1052 @ 0.183418
0.20/0.29 c bounds - >= -1051 @ 0.184039
0.20/0.29 c bounds - >= -1050 @ 0.184652
0.20/0.29 c bounds - >= -1049 @ 0.184862
0.20/0.29 c bounds - >= -1048 @ 0.18504
0.20/0.29 c bounds - >= -1047 @ 0.185594
0.20/0.29 c bounds - >= -1046 @ 0.18586
0.20/0.29 c bounds - >= -1045 @ 0.18586
0.20/0.29 c bounds - >= -1044 @ 0.186355
0.20/0.29 c bounds - >= -1043 @ 0.186986
0.20/0.29 c bounds - >= -1042 @ 0.187608
0.20/0.29 c bounds - >= -1041 @ 0.187856
0.20/0.29 c bounds - >= -1040 @ 0.187873
0.20/0.29 c bounds - >= -1039 @ 0.188499
0.20/0.29 c bounds - >= -1038 @ 0.188853
0.20/0.29 c bounds - >= -1037 @ 0.188853
0.20/0.29 c bounds - >= -1036 @ 0.189387
0.20/0.29 c bounds - >= -1035 @ 0.190021
0.20/0.29 c bounds - >= -1034 @ 0.190672
0.20/0.29 c bounds - >= -1033 @ 0.190849
0.20/0.29 c bounds - >= -1032 @ 0.191027
0.20/0.29 c bounds - >= -1031 @ 0.191672
0.20/0.29 c bounds - >= -1030 @ 0.191846
0.20/0.29 c bounds - >= -1029 @ 0.192025
0.20/0.29 c bounds - >= -1028 @ 0.192645
0.20/0.29 c bounds - >= -1027 @ 0.193238
0.20/0.29 c bounds - >= -1026 @ 0.193898
0.20/0.29 c bounds - >= -1025 @ 0.194562
0.20/0.29 c bounds - >= -1024 @ 0.19484
0.20/0.29 c bounds - >= -1023 @ 0.195021
0.20/0.29 c bounds - >= -1022 @ 0.195645
0.20/0.29 c bounds - >= -1021 @ 0.196249
0.20/0.29 c bounds - >= -1020 @ 0.196922
0.20/0.29 c bounds - >= -1019 @ 0.197603
0.20/0.29 c bounds - >= -1018 @ 0.197833
0.20/0.29 c bounds - >= -1017 @ 0.198013
0.20/0.29 c bounds - >= -1016 @ 0.198701
0.20/0.29 c bounds - >= -1015 @ 0.198831
0.20/0.29 c bounds - >= -1014 @ 0.198831
0.20/0.29 c bounds - >= -1013 @ 0.198831
0.20/0.29 c bounds - >= -1012 @ 0.199513
0.20/0.29 c bounds - >= -1011 @ 0.199825
0.20/0.29 c bounds - >= -1010 @ 0.199825
0.20/0.29 c bounds - >= -1009 @ 0.200512
0.20/0.29 c bounds - >= -1008 @ 0.200823
0.20/0.29 c bounds - >= -1007 @ 0.201003
0.20/0.29 c bounds - >= -1006 @ 0.201659
0.20/0.29 c bounds - >= -1005 @ 0.20182
0.20/0.29 c bounds - >= -1004 @ 0.202384
0.20/0.29 c bounds - >= -1003 @ 0.202818
0.20/0.29 c bounds - >= -1002 @ 0.202818
0.20/0.29 c bounds - >= -1001 @ 0.203532
0.20/0.29 c bounds - >= -1000 @ 0.203815
0.20/0.29 c bounds - >= -999 @ 0.203985
0.20/0.29 c bounds - >= -998 @ 0.204665
0.20/0.29 c bounds - >= -997 @ 0.205315
0.20/0.29 c bounds - >= -996 @ 0.20581
0.20/0.29 c bounds - >= -995 @ 0.20581
0.20/0.29 c bounds - >= -994 @ 0.206559
0.20/0.29 c bounds - >= -993 @ 0.207196
0.20/0.29 c bounds - >= -992 @ 0.207906
0.20/0.29 c bounds - >= -991 @ 0.208621
0.20/0.29 c bounds - >= -990 @ 0.208805
0.20/0.29 c bounds - >= -989 @ 0.208805
0.20/0.29 c bounds - >= -988 @ 0.208805
0.20/0.29 c bounds - >= -987 @ 0.209532
0.20/0.29 c bounds - >= -986 @ 0.209803
0.20/0.29 c bounds - >= -985 @ 0.209972
0.39/0.41 c bounds - >= -984 @ 0.210751
0.39/0.41 c bounds - >= -983 @ 0.211479
0.39/0.41 c bounds - >= -982 @ 0.211799
0.39/0.41 c bounds - >= -981 @ 0.211968
0.39/0.41 c bounds - >= -980 @ 0.212708
0.39/0.41 c bounds - >= -979 @ 0.213425
0.39/0.41 c bounds - >= -978 @ 0.213794
0.39/0.41 c bounds - >= -977 @ 0.213963
0.39/0.41 c bounds - >= -976 @ 0.21467
0.39/0.41 c bounds - >= -975 @ 0.214792
0.39/0.41 c bounds - >= -974 @ 0.214792
0.39/0.41 c bounds - >= -973 @ 0.214962
0.39/0.41 c bounds - >= -972 @ 0.215642
0.39/0.41 c bounds - >= -971 @ 0.215789
0.39/0.41 c bounds - >= -970 @ 0.215789
0.39/0.41 c bounds - >= -969 @ 0.215965
0.39/0.41 c bounds - >= -968 @ 0.216669
0.39/0.41 c bounds - >= -967 @ 0.216786
0.39/0.41 c bounds - >= -966 @ 0.216786
0.39/0.41 c bounds - >= -965 @ 0.216975
0.39/0.41 c bounds - >= -964 @ 0.217716
0.39/0.41 c bounds - >= -963 @ 0.218481
0.39/0.41 c bounds - >= -962 @ 0.219262
0.39/0.41 c bounds - >= -961 @ 0.219779
0.39/0.41 c bounds - >= -960 @ 0.219964
0.39/0.41 c bounds - >= -959 @ 0.220641
0.39/0.41 c bounds - >= -958 @ 0.220777
0.39/0.41 c bounds - >= -957 @ 0.220777
0.39/0.41 c bounds - >= -956 @ 0.220966
0.39/0.41 c bounds - >= -955 @ 0.221726
0.39/0.41 c bounds - >= -954 @ 0.222516
0.39/0.41 c bounds - >= -953 @ 0.222772
0.39/0.41 c bounds - >= -952 @ 0.222772
0.39/0.41 c bounds - >= -951 @ 0.222963
0.39/0.41 c bounds - >= -950 @ 0.223695
0.39/0.41 c bounds - >= -949 @ 0.22377
0.39/0.41 c bounds - >= -948 @ 0.22377
0.39/0.41 c bounds - >= -947 @ 0.22377
0.39/0.41 c bounds - >= -946 @ 0.223958
0.39/0.41 c bounds - >= -945 @ 0.224678
0.39/0.41 c bounds - >= -944 @ 0.224766
0.39/0.41 c bounds - >= -943 @ 0.224766
0.39/0.41 c bounds - >= -942 @ 0.224766
0.39/0.41 c bounds - >= -941 @ 0.224936
0.39/0.41 c bounds - >= -940 @ 0.225628
0.39/0.41 c bounds - >= -939 @ 0.225763
0.39/0.41 c bounds - >= -938 @ 0.225763
0.39/0.41 c bounds - >= -937 @ 0.225938
0.39/0.41 c bounds - >= -936 @ 0.226738
0.39/0.41 c bounds - >= -935 @ 0.227538
0.39/0.41 c bounds - >= -934 @ 0.227758
0.39/0.41 c bounds - >= -933 @ 0.227759
0.39/0.41 c bounds - >= -932 @ 0.227992
0.39/0.41 c bounds - >= -931 @ 0.228832
0.39/0.41 c bounds - >= -930 @ 0.229688
0.39/0.41 c bounds - >= -929 @ 0.230567
0.39/0.41 c bounds - >= -928 @ 0.230752
0.39/0.41 c bounds - >= -927 @ 0.231304
0.39/0.41 c bounds - >= -926 @ 0.23175
0.39/0.41 c bounds - >= -925 @ 0.23202
0.39/0.41 c bounds - >= -924 @ 0.232858
0.39/0.41 c bounds - >= -923 @ 0.233706
0.39/0.41 c bounds - >= -922 @ 0.234545
0.39/0.41 c bounds - >= -921 @ 0.234744
0.39/0.41 c bounds - >= -920 @ 0.234744
0.39/0.41 c bounds - >= -919 @ 0.234744
0.39/0.41 c bounds - >= -918 @ 0.234744
0.39/0.41 c bounds - >= -917 @ 0.234744
0.39/0.41 c bounds - >= -916 @ 0.234744
0.39/0.41 c bounds - >= -915 @ 0.234968
0.39/0.41 c bounds - >= -914 @ 0.235838
0.39/0.41 c bounds - >= -913 @ 0.236707
0.39/0.41 c bounds - >= -912 @ 0.237576
0.39/0.41 c bounds - >= -911 @ 0.238426
0.39/0.41 c bounds - >= -910 @ 0.239289
0.39/0.41 c bounds - >= -909 @ 0.240157
0.39/0.41 c bounds - >= -908 @ 0.24073
0.39/0.41 c bounds - >= -907 @ 0.240953
0.39/0.41 c bounds - >= -906 @ 0.241847
0.39/0.41 c bounds - >= -905 @ 0.242724
0.39/0.41 c bounds - >= -904 @ 0.243611
0.39/0.41 c bounds - >= -903 @ 0.243724
0.39/0.41 c bounds - >= -902 @ 0.243724
0.39/0.41 c bounds - >= -901 @ 0.243724
0.39/0.41 c bounds - >= -900 @ 0.243724
0.39/0.41 c bounds - >= -899 @ 0.243724
0.39/0.41 c bounds - >= -898 @ 0.243724
0.39/0.41 c bounds - >= -897 @ 0.243895
0.39/0.41 c bounds - >= -896 @ 0.244794
0.39/0.41 c bounds - >= -895 @ 0.245694
0.39/0.41 c bounds - >= -894 @ 0.2466
0.39/0.41 c bounds - >= -893 @ 0.246716
0.39/0.41 c bounds - >= -892 @ 0.246716
0.39/0.41 c bounds - >= -891 @ 0.246716
0.39/0.41 c bounds - >= -890 @ 0.246716
0.39/0.41 c bounds - >= -889 @ 0.247148
0.39/0.41 c bounds - >= -888 @ 0.248063
0.39/0.41 c bounds - >= -887 @ 0.248982
0.39/0.41 c bounds - >= -886 @ 0.249912
0.39/0.41 c bounds - >= -885 @ 0.250834
0.39/0.41 c bounds - >= -884 @ 0.251764
0.39/0.41 c bounds - >= -883 @ 0.252691
0.39/0.41 c bounds - >= -882 @ 0.253627
0.39/0.41 c bounds - >= -881 @ 0.2537
0.39/0.41 c bounds - >= -880 @ 0.254498
0.39/0.41 c bounds - >= -879 @ 0.254698
0.39/0.41 c bounds - >= -878 @ 0.254698
0.39/0.41 c bounds - >= -877 @ 0.254698
0.39/0.41 c bounds - >= -876 @ 0.254698
0.39/0.41 c bounds - >= -875 @ 0.255213
0.39/0.41 c bounds - >= -874 @ 0.255695
0.39/0.41 c bounds - >= -873 @ 0.255695
0.39/0.41 c bounds - >= -872 @ 0.255695
0.39/0.41 c bounds - >= -871 @ 0.256005
0.39/0.41 c bounds - >= -870 @ 0.256692
0.39/0.41 c bounds - >= -869 @ 0.256692
0.39/0.41 c bounds - >= -868 @ 0.256692
0.39/0.41 c bounds - >= -867 @ 0.256919
0.39/0.41 c bounds - >= -866 @ 0.257873
0.39/0.41 c bounds - >= -865 @ 0.258844
0.39/0.41 c bounds - >= -864 @ 0.259835
0.39/0.41 c bounds - >= -863 @ 0.260821
0.39/0.41 c bounds - >= -862 @ 0.261811
0.39/0.41 c bounds - >= -861 @ 0.262817
0.39/0.41 c bounds - >= -860 @ 0.263814
0.39/0.41 c bounds - >= -859 @ 0.264833
0.39/0.41 c bounds - >= -858 @ 0.265843
0.39/0.41 c bounds - >= -857 @ 0.266888
0.39/0.41 c bounds - >= -856 @ 0.26792
0.39/0.41 c bounds - >= -855 @ 0.268668
0.39/0.41 c bounds - >= -854 @ 0.268669
0.39/0.41 c bounds - >= -853 @ 0.268669
0.39/0.41 c bounds - >= -852 @ 0.269119
0.39/0.41 c bounds - >= -851 @ 0.269666
0.39/0.41 c bounds - >= -850 @ 0.270229
0.39/0.41 c bounds - >= -849 @ 0.27129
0.39/0.41 c bounds - >= -848 @ 0.271661
0.39/0.45 c bounds - >= -847 @ 0.272439
0.39/0.45 c bounds - >= -846 @ 0.272659
0.39/0.45 c bounds - >= -845 @ 0.272659
0.39/0.45 c bounds - >= -844 @ 0.272659
0.39/0.45 c bounds - >= -843 @ 0.272659
0.39/0.45 c bounds - >= -842 @ 0.273703
0.39/0.45 c bounds - >= -841 @ 0.274755
0.39/0.45 c bounds - >= -840 @ 0.275801
0.39/0.45 c bounds - >= -839 @ 0.276899
0.39/0.45 c bounds - >= -838 @ 0.278006
0.39/0.45 c bounds - >= -837 @ 0.278646
0.39/0.45 c bounds - >= -836 @ 0.278646
0.39/0.45 c bounds - >= -835 @ 0.279341
0.39/0.45 c bounds - >= -834 @ 0.279644
0.39/0.45 c bounds - >= -833 @ 0.279644
0.39/0.45 c bounds - >= -832 @ 0.27983
0.39/0.45 c bounds - >= -831 @ 0.280641
0.39/0.45 c bounds - >= -830 @ 0.280641
0.39/0.45 c bounds - >= -829 @ 0.281138
0.39/0.45 c bounds - >= -828 @ 0.281638
0.39/0.45 c bounds - >= -827 @ 0.282489
0.39/0.45 c bounds - >= -826 @ 0.282836
0.39/0.45 c bounds - >= -825 @ 0.283898
0.39/0.45 c bounds - >= -824 @ 0.284632
0.39/0.45 c bounds - >= -823 @ 0.284632
0.39/0.45 c bounds - >= -822 @ 0.284632
0.39/0.45 c bounds - >= -821 @ 0.285676
0.39/0.45 c bounds - >= -820 @ 0.286877
0.39/0.45 c bounds - >= -819 @ 0.287625
0.39/0.45 c bounds - >= -818 @ 0.287625
0.39/0.45 c bounds - >= -817 @ 0.287625
0.39/0.45 c bounds - >= -816 @ 0.287829
0.39/0.45 c bounds - >= -815 @ 0.289089
0.39/0.45 c bounds - >= -814 @ 0.28962
0.39/0.45 c finalizing WCE round: reformulating cores
134.83/135.27 c #Conflicts: 1000 | #Constraints: 7129
134.83/135.27 c #Conflicts: 2000 | #Constraints: 8177
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 3000 | #Constraints: 7284
134.83/135.27 c #Conflicts: 4000 | #Constraints: 8286
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 5000 | #Constraints: 7616
134.83/135.27 c #Conflicts: 6000 | #Constraints: 8618
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 7000 | #Constraints: 7581
134.83/135.27 c #Conflicts: 8000 | #Constraints: 8583
134.83/135.27 c #Conflicts: 9000 | #Constraints: 9587
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 10000 | #Constraints: 8276
134.83/135.27 c #Conflicts: 11000 | #Constraints: 9281
134.83/135.27 c #Conflicts: 12000 | #Constraints: 10283
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 13000 | #Constraints: 8706
134.83/135.27 c #Conflicts: 14000 | #Constraints: 9708
134.83/135.27 c #Conflicts: 15000 | #Constraints: 10710
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 16000 | #Constraints: 8936
134.83/135.27 c #Conflicts: 17000 | #Constraints: 9938
134.83/135.27 c #Conflicts: 18000 | #Constraints: 10940
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 19000 | #Constraints: 8953
134.83/135.27 c #Conflicts: 20000 | #Constraints: 9955
134.83/135.27 c #Conflicts: 21000 | #Constraints: 10957
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 22000 | #Constraints: 8770
134.83/135.27 c #Conflicts: 23000 | #Constraints: 9772
134.83/135.27 c #Conflicts: 24000 | #Constraints: 10776
134.83/135.27 c #Conflicts: 25000 | #Constraints: 11778
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 26000 | #Constraints: 9390
134.83/135.27 c #Conflicts: 27000 | #Constraints: 10392
134.83/135.27 c #Conflicts: 28000 | #Constraints: 11394
134.83/135.27 c #Conflicts: 29000 | #Constraints: 12398
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 30000 | #Constraints: 9808
134.83/135.27 c #Conflicts: 31000 | #Constraints: 10810
134.83/135.27 c #Conflicts: 32000 | #Constraints: 11812
134.83/135.27 c #Conflicts: 33000 | #Constraints: 12816
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 34000 | #Constraints: 10006
134.83/135.27 c #Conflicts: 35000 | #Constraints: 11008
134.83/135.27 c #Conflicts: 36000 | #Constraints: 12010
134.83/135.27 c #Conflicts: 37000 | #Constraints: 13014
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 38000 | #Constraints: 10019
134.83/135.27 c #Conflicts: 39000 | #Constraints: 11021
134.83/135.27 c #Conflicts: 40000 | #Constraints: 12023
134.83/135.27 c #Conflicts: 41000 | #Constraints: 13027
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 42000 | #Constraints: 9810
134.83/135.27 c #Conflicts: 43000 | #Constraints: 10812
134.83/135.27 c #Conflicts: 44000 | #Constraints: 11816
134.83/135.27 c #Conflicts: 45000 | #Constraints: 12818
134.83/135.27 c #Conflicts: 46000 | #Constraints: 13820
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 47000 | #Constraints: 10434
134.83/135.27 c #Conflicts: 48000 | #Constraints: 11436
134.83/135.27 c #Conflicts: 49000 | #Constraints: 12438
134.83/135.27 c #Conflicts: 50000 | #Constraints: 13442
134.83/135.27 c #Conflicts: 51000 | #Constraints: 14444
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 52000 | #Constraints: 10843
134.83/135.27 c #Conflicts: 53000 | #Constraints: 11845
134.83/135.27 c #Conflicts: 54000 | #Constraints: 12847
134.83/135.27 c #Conflicts: 55000 | #Constraints: 13851
134.83/135.27 c #Conflicts: 56000 | #Constraints: 14853
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 57000 | #Constraints: 11056
134.83/135.27 c #Conflicts: 58000 | #Constraints: 12058
134.83/135.27 c #Conflicts: 59000 | #Constraints: 13060
134.83/135.27 c #Conflicts: 60000 | #Constraints: 14064
134.83/135.27 c #Conflicts: 61000 | #Constraints: 15066
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 62000 | #Constraints: 11059
134.83/135.27 c #Conflicts: 63000 | #Constraints: 12061
134.83/135.27 c #Conflicts: 64000 | #Constraints: 13063
134.83/135.27 c #Conflicts: 65000 | #Constraints: 14067
134.83/135.27 c #Conflicts: 66000 | #Constraints: 15069
134.83/135.27 c INPROCESSING
134.83/135.27 c GARBAGE COLLECT
134.83/135.27 c #Conflicts: 67000 | #Constraints: 10875
134.83/135.27 c #Conflicts: 68000 | #Constraints: 11877
331.05/331.92 c #Conflicts: 69000 | #Constraints: 12881
331.05/331.92 c #Conflicts: 70000 | #Constraints: 13883
331.05/331.92 c #Conflicts: 71000 | #Constraints: 14885
331.05/331.92 c #Conflicts: 72000 | #Constraints: 15889
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 73000 | #Constraints: 11493
331.05/331.92 c #Conflicts: 74000 | #Constraints: 12495
331.05/331.92 c #Conflicts: 75000 | #Constraints: 13497
331.05/331.92 c #Conflicts: 76000 | #Constraints: 14501
331.05/331.92 c #Conflicts: 77000 | #Constraints: 15503
331.05/331.92 c #Conflicts: 78000 | #Constraints: 16505
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 79000 | #Constraints: 11911
331.05/331.92 c #Conflicts: 80000 | #Constraints: 12913
331.05/331.92 c #Conflicts: 81000 | #Constraints: 13915
331.05/331.92 c #Conflicts: 82000 | #Constraints: 14919
331.05/331.92 c #Conflicts: 83000 | #Constraints: 15921
331.05/331.92 c #Conflicts: 84000 | #Constraints: 16923
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 85000 | #Constraints: 12126
331.05/331.92 c #Conflicts: 86000 | #Constraints: 13128
331.05/331.92 c #Conflicts: 87000 | #Constraints: 14130
331.05/331.92 c #Conflicts: 88000 | #Constraints: 15134
331.05/331.92 c #Conflicts: 89000 | #Constraints: 16136
331.05/331.92 c #Conflicts: 90000 | #Constraints: 17138
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 91000 | #Constraints: 12146
331.05/331.92 c #Conflicts: 92000 | #Constraints: 13148
331.05/331.92 c #Conflicts: 93000 | #Constraints: 14150
331.05/331.92 c #Conflicts: 94000 | #Constraints: 15154
331.05/331.92 c #Conflicts: 95000 | #Constraints: 16156
331.05/331.92 c #Conflicts: 96000 | #Constraints: 17158
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 97000 | #Constraints: 11956
331.05/331.92 c #Conflicts: 98000 | #Constraints: 12958
331.05/331.92 c #Conflicts: 99000 | #Constraints: 13962
331.05/331.92 c #Conflicts: 100000 | #Constraints: 14964
331.05/331.92 c #Conflicts: 101000 | #Constraints: 15966
331.05/331.92 c #Conflicts: 102000 | #Constraints: 16970
331.05/331.92 c #Conflicts: 103000 | #Constraints: 17972
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 104000 | #Constraints: 12569
331.05/331.92 c #Conflicts: 105000 | #Constraints: 13571
331.05/331.92 c #Conflicts: 106000 | #Constraints: 14573
331.05/331.92 c #Conflicts: 107000 | #Constraints: 15577
331.05/331.92 c #Conflicts: 108000 | #Constraints: 16579
331.05/331.92 c #Conflicts: 109000 | #Constraints: 17581
331.05/331.92 c #Conflicts: 110000 | #Constraints: 18585
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 111000 | #Constraints: 13010
331.05/331.92 c #Conflicts: 112000 | #Constraints: 14012
331.05/331.92 c #Conflicts: 113000 | #Constraints: 15014
331.05/331.92 c #Conflicts: 114000 | #Constraints: 16018
331.05/331.92 c #Conflicts: 115000 | #Constraints: 17020
331.05/331.92 c #Conflicts: 116000 | #Constraints: 18022
331.05/331.92 c #Conflicts: 117000 | #Constraints: 19026
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 118000 | #Constraints: 13235
331.05/331.92 c #Conflicts: 119000 | #Constraints: 14237
331.05/331.92 c #Conflicts: 120000 | #Constraints: 15239
331.05/331.92 c #Conflicts: 121000 | #Constraints: 16243
331.05/331.92 c #Conflicts: 122000 | #Constraints: 17245
331.05/331.92 c #Conflicts: 123000 | #Constraints: 18247
331.05/331.92 c #Conflicts: 124000 | #Constraints: 19251
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 125000 | #Constraints: 13250
331.05/331.92 c #Conflicts: 126000 | #Constraints: 14252
331.05/331.92 c #Conflicts: 127000 | #Constraints: 15254
331.05/331.92 c #Conflicts: 128000 | #Constraints: 16258
331.05/331.92 c #Conflicts: 129000 | #Constraints: 17260
331.05/331.92 c #Conflicts: 130000 | #Constraints: 18262
331.05/331.92 c #Conflicts: 131000 | #Constraints: 19266
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 132000 | #Constraints: 13067
331.05/331.92 c #Conflicts: 133000 | #Constraints: 14069
331.05/331.92 c #Conflicts: 134000 | #Constraints: 15073
331.05/331.92 c #Conflicts: 135000 | #Constraints: 16075
331.05/331.92 c #Conflicts: 136000 | #Constraints: 17077
331.05/331.92 c #Conflicts: 137000 | #Constraints: 18081
331.05/331.92 c #Conflicts: 138000 | #Constraints: 19083
331.05/331.92 c #Conflicts: 139000 | #Constraints: 20085
331.05/331.92 c INPROCESSING
331.05/331.92 c GARBAGE COLLECT
331.05/331.92 c #Conflicts: 140000 | #Constraints: 13684
533.87/535.22 c #Conflicts: 141000 | #Constraints: 14686
533.87/535.22 c #Conflicts: 142000 | #Constraints: 15688
533.87/535.22 c #Conflicts: 143000 | #Constraints: 16692
533.87/535.22 c #Conflicts: 144000 | #Constraints: 17694
533.87/535.22 c #Conflicts: 145000 | #Constraints: 18696
533.87/535.22 c #Conflicts: 146000 | #Constraints: 19700
533.87/535.22 c #Conflicts: 147000 | #Constraints: 20702
533.87/535.22 c INPROCESSING
533.87/535.22 c GARBAGE COLLECT
533.87/535.22 c #Conflicts: 148000 | #Constraints: 14112
533.87/535.22 c #Conflicts: 149000 | #Constraints: 15114
533.87/535.22 c #Conflicts: 150000 | #Constraints: 16116
533.87/535.22 c #Conflicts: 151000 | #Constraints: 17120
533.87/535.22 c #Conflicts: 152000 | #Constraints: 18122
533.87/535.22 c #Conflicts: 153000 | #Constraints: 19124
533.87/535.22 c #Conflicts: 154000 | #Constraints: 20128
533.87/535.22 c #Conflicts: 155000 | #Constraints: 21130
533.87/535.22 c INPROCESSING
533.87/535.22 c GARBAGE COLLECT
533.87/535.22 c #Conflicts: 156000 | #Constraints: 14320
533.87/535.22 c #Conflicts: 157000 | #Constraints: 15322
533.87/535.22 c #Conflicts: 158000 | #Constraints: 16324
533.87/535.22 c #Conflicts: 159000 | #Constraints: 17328
533.87/535.22 c #Conflicts: 160000 | #Constraints: 18330
533.87/535.22 c #Conflicts: 161000 | #Constraints: 19332
533.87/535.22 c #Conflicts: 162000 | #Constraints: 20336
533.87/535.22 c #Conflicts: 163000 | #Constraints: 21338
533.87/535.22 c INPROCESSING
533.87/535.22 c GARBAGE COLLECT
533.87/535.22 c #Conflicts: 164000 | #Constraints: 14346
533.87/535.22 c #Conflicts: 165000 | #Constraints: 15348
533.87/535.22 c #Conflicts: 166000 | #Constraints: 16350
533.87/535.22 c #Conflicts: 167000 | #Constraints: 17354
533.87/535.22 c #Conflicts: 168000 | #Constraints: 18356
533.87/535.22 c #Conflicts: 169000 | #Constraints: 19358
533.87/535.22 c #Conflicts: 170000 | #Constraints: 20362
533.87/535.22 c #Conflicts: 171000 | #Constraints: 21364
533.87/535.22 c INPROCESSING
533.87/535.22 c GARBAGE COLLECT
533.87/535.22 c #Conflicts: 172000 | #Constraints: 14158
533.87/535.22 c #Conflicts: 173000 | #Constraints: 15160
533.87/535.22 c #Conflicts: 174000 | #Constraints: 16164
533.87/535.22 c #Conflicts: 175000 | #Constraints: 17166
533.87/535.22 c #Conflicts: 176000 | #Constraints: 18168
533.87/535.22 c #Conflicts: 177000 | #Constraints: 19172
533.87/535.22 c #Conflicts: 178000 | #Constraints: 20174
533.87/535.22 c #Conflicts: 179000 | #Constraints: 21176
533.87/535.22 c #Conflicts: 180000 | #Constraints: 22180
533.87/535.22 c INPROCESSING
533.87/535.22 c GARBAGE COLLECT
533.87/535.22 c #Conflicts: 181000 | #Constraints: 14799
533.87/535.22 c #Conflicts: 182000 | #Constraints: 15801
533.87/535.22 c #Conflicts: 183000 | #Constraints: 16803
533.87/535.22 c #Conflicts: 184000 | #Constraints: 17807
533.87/535.22 c #Conflicts: 185000 | #Constraints: 18809
533.87/535.22 c #Conflicts: 186000 | #Constraints: 19811
533.87/535.22 c #Conflicts: 187000 | #Constraints: 20815
533.87/535.22 c #Conflicts: 188000 | #Constraints: 21817
533.87/535.22 c #Conflicts: 189000 | #Constraints: 22819
533.87/535.22 c INPROCESSING
533.87/535.22 c GARBAGE COLLECT
533.87/535.22 c #Conflicts: 190000 | #Constraints: 15208
533.87/535.22 c #Conflicts: 191000 | #Constraints: 16210
533.87/535.22 c #Conflicts: 192000 | #Constraints: 17212
533.87/535.22 c #Conflicts: 193000 | #Constraints: 18216
533.87/535.22 c #Conflicts: 194000 | #Constraints: 19218
533.87/535.22 c #Conflicts: 195000 | #Constraints: 20220
533.87/535.22 c #Conflicts: 196000 | #Constraints: 21224
533.87/535.22 c #Conflicts: 197000 | #Constraints: 22226
533.87/535.22 c #Conflicts: 198000 | #Constraints: 23228
533.87/535.22 c INPROCESSING
533.87/535.22 c GARBAGE COLLECT
533.87/535.22 c #Conflicts: 199000 | #Constraints: 15445
533.87/535.22 c #Conflicts: 200000 | #Constraints: 16447
533.87/535.22 c #Conflicts: 201000 | #Constraints: 17449
533.87/535.22 c #Conflicts: 202000 | #Constraints: 18453
533.87/535.22 c #Conflicts: 203000 | #Constraints: 19455
533.87/535.22 c #Conflicts: 204000 | #Constraints: 20457
533.87/535.22 c #Conflicts: 205000 | #Constraints: 21461
533.87/535.22 c #Conflicts: 206000 | #Constraints: 22463
533.87/535.22 c #Conflicts: 207000 | #Constraints: 23465
533.87/535.22 c INPROCESSING
533.87/535.22 c GARBAGE COLLECT
533.87/535.22 c #Conflicts: 208000 | #Constraints: 15480
533.87/535.22 c #Conflicts: 209000 | #Constraints: 16482
533.87/535.22 c #Conflicts: 210000 | #Constraints: 17484
533.87/535.22 c #Conflicts: 211000 | #Constraints: 18488
533.87/535.22 c #Conflicts: 212000 | #Constraints: 19490
533.87/535.22 c #Conflicts: 213000 | #Constraints: 20492
805.81/807.80 c #Conflicts: 214000 | #Constraints: 21496
805.81/807.80 c #Conflicts: 215000 | #Constraints: 22498
805.81/807.80 c #Conflicts: 216000 | #Constraints: 23500
805.81/807.80 c INPROCESSING
805.81/807.80 c GARBAGE COLLECT
805.81/807.80 c #Conflicts: 217000 | #Constraints: 15293
805.81/807.80 c #Conflicts: 218000 | #Constraints: 16295
805.81/807.80 c #Conflicts: 219000 | #Constraints: 17299
805.81/807.80 c #Conflicts: 220000 | #Constraints: 18301
805.81/807.80 c #Conflicts: 221000 | #Constraints: 19303
805.81/807.80 c #Conflicts: 222000 | #Constraints: 20307
805.81/807.80 c #Conflicts: 223000 | #Constraints: 21309
805.81/807.80 c #Conflicts: 224000 | #Constraints: 22311
805.81/807.80 c #Conflicts: 225000 | #Constraints: 23315
805.81/807.80 c #Conflicts: 226000 | #Constraints: 24317
805.81/807.80 c INPROCESSING
805.81/807.80 c GARBAGE COLLECT
805.81/807.80 c #Conflicts: 227000 | #Constraints: 15922
805.81/807.80 c #Conflicts: 228000 | #Constraints: 16924
805.81/807.80 c #Conflicts: 229000 | #Constraints: 17926
805.81/807.80 c #Conflicts: 230000 | #Constraints: 18930
805.81/807.80 c #Conflicts: 231000 | #Constraints: 19932
805.81/807.80 c #Conflicts: 232000 | #Constraints: 20934
805.81/807.80 c #Conflicts: 233000 | #Constraints: 21938
805.81/807.80 c #Conflicts: 234000 | #Constraints: 22940
805.81/807.80 c #Conflicts: 235000 | #Constraints: 23942
805.81/807.80 c #Conflicts: 236000 | #Constraints: 24946
805.81/807.80 c INPROCESSING
805.81/807.80 c GARBAGE COLLECT
805.81/807.80 c #Conflicts: 237000 | #Constraints: 16348
805.81/807.80 c #Conflicts: 238000 | #Constraints: 17350
805.81/807.80 c #Conflicts: 239000 | #Constraints: 18352
805.81/807.80 c #Conflicts: 240000 | #Constraints: 19356
805.81/807.80 c #Conflicts: 241000 | #Constraints: 20358
805.81/807.80 c #Conflicts: 242000 | #Constraints: 21360
805.81/807.80 c #Conflicts: 243000 | #Constraints: 22364
805.81/807.80 c #Conflicts: 244000 | #Constraints: 23366
805.81/807.80 c #Conflicts: 245000 | #Constraints: 24368
805.81/807.80 c #Conflicts: 246000 | #Constraints: 25372
805.81/807.80 c INPROCESSING
805.81/807.80 c GARBAGE COLLECT
805.81/807.80 c #Conflicts: 247000 | #Constraints: 16584
805.81/807.80 c #Conflicts: 248000 | #Constraints: 17586
805.81/807.80 c #Conflicts: 249000 | #Constraints: 18588
805.81/807.80 c #Conflicts: 250000 | #Constraints: 19592
805.81/807.80 c #Conflicts: 251000 | #Constraints: 20594
805.81/807.80 c #Conflicts: 252000 | #Constraints: 21596
805.81/807.80 c #Conflicts: 253000 | #Constraints: 22600
805.81/807.80 c #Conflicts: 254000 | #Constraints: 23602
805.81/807.80 c #Conflicts: 255000 | #Constraints: 24604
805.81/807.80 c #Conflicts: 256000 | #Constraints: 25608
805.81/807.80 c INPROCESSING
805.81/807.80 c GARBAGE COLLECT
805.81/807.80 c #Conflicts: 257000 | #Constraints: 16617
805.81/807.80 c #Conflicts: 258000 | #Constraints: 17619
805.81/807.80 c #Conflicts: 259000 | #Constraints: 18621
805.81/807.80 c #Conflicts: 260000 | #Constraints: 19625
805.81/807.80 c #Conflicts: 261000 | #Constraints: 20627
805.81/807.80 c #Conflicts: 262000 | #Constraints: 21629
805.81/807.80 c #Conflicts: 263000 | #Constraints: 22633
805.81/807.80 c #Conflicts: 264000 | #Constraints: 23635
805.81/807.80 c #Conflicts: 265000 | #Constraints: 24637
805.81/807.80 c #Conflicts: 266000 | #Constraints: 25641
805.81/807.80 c INPROCESSING
805.81/807.80 c GARBAGE COLLECT
805.81/807.80 c #Conflicts: 267000 | #Constraints: 16453
805.81/807.80 c #Conflicts: 268000 | #Constraints: 17455
805.81/807.80 c #Conflicts: 269000 | #Constraints: 18459
805.81/807.80 c #Conflicts: 270000 | #Constraints: 19461
805.81/807.80 c #Conflicts: 271000 | #Constraints: 20463
805.81/807.80 c #Conflicts: 272000 | #Constraints: 21467
805.81/807.80 c #Conflicts: 273000 | #Constraints: 22469
805.81/807.80 c #Conflicts: 274000 | #Constraints: 23471
805.81/807.80 c #Conflicts: 275000 | #Constraints: 24475
805.81/807.80 c #Conflicts: 276000 | #Constraints: 25477
805.81/807.80 c #Conflicts: 277000 | #Constraints: 26479
805.81/807.80 c INPROCESSING
805.81/807.80 c GARBAGE COLLECT
805.81/807.80 c #Conflicts: 278000 | #Constraints: 17081
805.81/807.80 c #Conflicts: 279000 | #Constraints: 18083
805.81/807.80 c #Conflicts: 280000 | #Constraints: 19085
805.81/807.80 c #Conflicts: 281000 | #Constraints: 20089
805.81/807.80 c #Conflicts: 282000 | #Constraints: 21091
805.81/807.80 c #Conflicts: 283000 | #Constraints: 22093
805.81/807.80 c #Conflicts: 284000 | #Constraints: 23097
805.81/807.80 c #Conflicts: 285000 | #Constraints: 24099
805.81/807.80 c #Conflicts: 286000 | #Constraints: 25101
805.81/807.80 c #Conflicts: 287000 | #Constraints: 26105
805.81/807.80 c #Conflicts: 288000 | #Constraints: 27107
1080.69/1083.42 c INPROCESSING
1080.69/1083.42 c GARBAGE COLLECT
1080.69/1083.42 c #Conflicts: 289000 | #Constraints: 17511
1080.69/1083.42 c #Conflicts: 290000 | #Constraints: 18513
1080.69/1083.42 c #Conflicts: 291000 | #Constraints: 19515
1080.69/1083.42 c #Conflicts: 292000 | #Constraints: 20519
1080.69/1083.42 c #Conflicts: 293000 | #Constraints: 21521
1080.69/1083.42 c #Conflicts: 294000 | #Constraints: 22523
1080.69/1083.42 c #Conflicts: 295000 | #Constraints: 23527
1080.69/1083.42 c #Conflicts: 296000 | #Constraints: 24529
1080.69/1083.42 c #Conflicts: 297000 | #Constraints: 25531
1080.69/1083.42 c #Conflicts: 298000 | #Constraints: 26535
1080.69/1083.42 c #Conflicts: 299000 | #Constraints: 27537
1080.69/1083.42 c INPROCESSING
1080.69/1083.42 c GARBAGE COLLECT
1080.69/1083.42 c #Conflicts: 300000 | #Constraints: 17746
1080.69/1083.42 c #Conflicts: 301000 | #Constraints: 18748
1080.69/1083.42 c #Conflicts: 302000 | #Constraints: 19750
1080.69/1083.42 c #Conflicts: 303000 | #Constraints: 20754
1080.69/1083.42 c #Conflicts: 304000 | #Constraints: 21756
1080.69/1083.42 c #Conflicts: 305000 | #Constraints: 22758
1080.69/1083.42 c #Conflicts: 306000 | #Constraints: 23762
1080.69/1083.42 c #Conflicts: 307000 | #Constraints: 24764
1080.69/1083.42 c #Conflicts: 308000 | #Constraints: 25766
1080.69/1083.42 c #Conflicts: 309000 | #Constraints: 26770
1080.69/1083.42 c #Conflicts: 310000 | #Constraints: 27772
1080.69/1083.42 c INPROCESSING
1080.69/1083.42 c GARBAGE COLLECT
1080.69/1083.42 c #Conflicts: 311000 | #Constraints: 17777
1080.69/1083.42 c #Conflicts: 312000 | #Constraints: 18779
1080.69/1083.42 c #Conflicts: 313000 | #Constraints: 19781
1080.69/1083.42 c #Conflicts: 314000 | #Constraints: 20785
1080.69/1083.42 c #Conflicts: 315000 | #Constraints: 21787
1080.69/1083.42 c #Conflicts: 316000 | #Constraints: 22789
1080.69/1083.42 c #Conflicts: 317000 | #Constraints: 23793
1080.69/1083.42 c #Conflicts: 318000 | #Constraints: 24795
1080.69/1083.42 c #Conflicts: 319000 | #Constraints: 25797
1080.69/1083.42 c #Conflicts: 320000 | #Constraints: 26801
1080.69/1083.42 c #Conflicts: 321000 | #Constraints: 27803
1080.69/1083.42 c INPROCESSING
1080.69/1083.42 c GARBAGE COLLECT
1080.69/1083.42 c #Conflicts: 322000 | #Constraints: 17606
1080.69/1083.42 c #Conflicts: 323000 | #Constraints: 18608
1080.69/1083.42 c #Conflicts: 324000 | #Constraints: 19612
1080.69/1083.42 c #Conflicts: 325000 | #Constraints: 20614
1080.69/1083.42 c #Conflicts: 326000 | #Constraints: 21616
1080.69/1083.42 c #Conflicts: 327000 | #Constraints: 22620
1080.69/1083.42 c #Conflicts: 328000 | #Constraints: 23622
1080.69/1083.42 c #Conflicts: 329000 | #Constraints: 24624
1080.69/1083.42 c #Conflicts: 330000 | #Constraints: 25628
1080.69/1083.42 c #Conflicts: 331000 | #Constraints: 26630
1080.69/1083.42 c #Conflicts: 332000 | #Constraints: 27632
1080.69/1083.42 c #Conflicts: 333000 | #Constraints: 28636
1080.69/1083.42 c INPROCESSING
1080.69/1083.42 c GARBAGE COLLECT
1080.69/1083.42 c #Conflicts: 334000 | #Constraints: 18216
1080.69/1083.42 c #Conflicts: 335000 | #Constraints: 19218
1080.69/1083.42 c #Conflicts: 336000 | #Constraints: 20220
1080.69/1083.42 c #Conflicts: 337000 | #Constraints: 21224
1080.69/1083.42 c #Conflicts: 338000 | #Constraints: 22226
1080.69/1083.42 c #Conflicts: 339000 | #Constraints: 23228
1080.69/1083.42 c #Conflicts: 340000 | #Constraints: 24232
1080.69/1083.42 c #Conflicts: 341000 | #Constraints: 25234
1080.69/1083.42 c #Conflicts: 342000 | #Constraints: 26236
1080.69/1083.42 c #Conflicts: 343000 | #Constraints: 27240
1080.69/1083.42 c #Conflicts: 344000 | #Constraints: 28242
1080.69/1083.42 c #Conflicts: 345000 | #Constraints: 29244
1080.69/1083.42 c INPROCESSING
1080.69/1083.42 c GARBAGE COLLECT
1080.69/1083.42 c #Conflicts: 346000 | #Constraints: 18638
1080.69/1083.42 c #Conflicts: 347000 | #Constraints: 19644
1080.69/1083.42 c #Conflicts: 348000 | #Constraints: 20648
1080.69/1083.42 c #Conflicts: 349000 | #Constraints: 21653
1080.69/1083.42 c #Conflicts: 350000 | #Constraints: 22658
1080.69/1083.42 c #Conflicts: 351000 | #Constraints: 23660
1080.69/1083.42 c #Conflicts: 352000 | #Constraints: 24665
1080.69/1083.42 c #Conflicts: 353000 | #Constraints: 25668
1080.69/1083.42 c #Conflicts: 354000 | #Constraints: 26673
1080.69/1083.42 c #Conflicts: 355000 | #Constraints: 27677
1080.69/1083.42 c #Conflicts: 356000 | #Constraints: 28679
1080.69/1083.42 c #Conflicts: 357000 | #Constraints: 29684
1080.69/1083.42 c INPROCESSING
1080.69/1083.42 c GARBAGE COLLECT
1080.69/1083.42 c #Conflicts: 358000 | #Constraints: 18861
1080.69/1083.42 c #Conflicts: 359000 | #Constraints: 19863
1080.69/1083.42 c #Conflicts: 360000 | #Constraints: 20865
1080.69/1083.42 c #Conflicts: 361000 | #Constraints: 21869
1080.69/1083.42 c #Conflicts: 362000 | #Constraints: 22871
1407.72/1411.39 c #Conflicts: 363000 | #Constraints: 23873
1407.72/1411.39 c #Conflicts: 364000 | #Constraints: 24877
1407.72/1411.39 c #Conflicts: 365000 | #Constraints: 25882
1407.72/1411.39 c #Conflicts: 366000 | #Constraints: 26884
1407.72/1411.39 c #Conflicts: 367000 | #Constraints: 27886
1407.72/1411.39 c #Conflicts: 368000 | #Constraints: 28890
1407.72/1411.39 c #Conflicts: 369000 | #Constraints: 29895
1407.72/1411.39 c INPROCESSING
1407.72/1411.39 c GARBAGE COLLECT
1407.72/1411.39 c #Conflicts: 370000 | #Constraints: 18905
1407.72/1411.39 c #Conflicts: 371000 | #Constraints: 19907
1407.72/1411.39 c #Conflicts: 372000 | #Constraints: 20909
1407.72/1411.39 c #Conflicts: 373000 | #Constraints: 21914
1407.72/1411.39 c #Conflicts: 374000 | #Constraints: 22918
1407.72/1411.39 c #Conflicts: 375000 | #Constraints: 23920
1407.72/1411.39 c #Conflicts: 376000 | #Constraints: 24922
1407.72/1411.39 c #Conflicts: 377000 | #Constraints: 25926
1407.72/1411.39 c #Conflicts: 378000 | #Constraints: 26928
1407.72/1411.39 c #Conflicts: 379000 | #Constraints: 27930
1407.72/1411.39 c #Conflicts: 380000 | #Constraints: 28934
1407.72/1411.39 c #Conflicts: 381000 | #Constraints: 29936
1407.72/1411.39 c INPROCESSING
1407.72/1411.39 c GARBAGE COLLECT
1407.72/1411.39 c #Conflicts: 382000 | #Constraints: 18748
1407.72/1411.39 c #Conflicts: 383000 | #Constraints: 19750
1407.72/1411.39 c #Conflicts: 384000 | #Constraints: 20754
1407.72/1411.39 c #Conflicts: 385000 | #Constraints: 21756
1407.72/1411.39 c #Conflicts: 386000 | #Constraints: 22758
1407.72/1411.39 c #Conflicts: 387000 | #Constraints: 23762
1407.72/1411.39 c #Conflicts: 388000 | #Constraints: 24764
1407.72/1411.39 c #Conflicts: 389000 | #Constraints: 25766
1407.72/1411.39 c #Conflicts: 390000 | #Constraints: 26770
1407.72/1411.39 c #Conflicts: 391000 | #Constraints: 27772
1407.72/1411.39 c #Conflicts: 392000 | #Constraints: 28774
1407.72/1411.39 c #Conflicts: 393000 | #Constraints: 29778
1407.72/1411.39 c #Conflicts: 394000 | #Constraints: 30780
1407.72/1411.39 c INPROCESSING
1407.72/1411.39 c GARBAGE COLLECT
1407.72/1411.39 c #Conflicts: 395000 | #Constraints: 19390
1407.72/1411.39 c #Conflicts: 396000 | #Constraints: 20392
1407.72/1411.39 c #Conflicts: 397000 | #Constraints: 21394
1407.72/1411.39 c #Conflicts: 398000 | #Constraints: 22398
1407.72/1411.39 c #Conflicts: 399000 | #Constraints: 23400
1407.72/1411.39 c #Conflicts: 400000 | #Constraints: 24402
1407.72/1411.39 c #Conflicts: 401000 | #Constraints: 25406
1407.72/1411.39 c #Conflicts: 402000 | #Constraints: 26408
1407.72/1411.39 c #Conflicts: 403000 | #Constraints: 27410
1407.72/1411.39 c #Conflicts: 404000 | #Constraints: 28414
1407.72/1411.39 c #Conflicts: 405000 | #Constraints: 29416
1407.72/1411.39 c #Conflicts: 406000 | #Constraints: 30418
1407.72/1411.39 c #Conflicts: 407000 | #Constraints: 31422
1407.72/1411.39 c INPROCESSING
1407.72/1411.39 c GARBAGE COLLECT
1407.72/1411.39 c #Conflicts: 408000 | #Constraints: 19819
1407.72/1411.39 c #Conflicts: 409000 | #Constraints: 20821
1407.72/1411.39 c #Conflicts: 410000 | #Constraints: 21823
1407.72/1411.39 c #Conflicts: 411000 | #Constraints: 22827
1407.72/1411.39 c #Conflicts: 412000 | #Constraints: 23829
1407.72/1411.39 c #Conflicts: 413000 | #Constraints: 24831
1407.72/1411.39 c #Conflicts: 414000 | #Constraints: 25835
1407.72/1411.39 c #Conflicts: 415000 | #Constraints: 26837
1407.72/1411.39 c #Conflicts: 416000 | #Constraints: 27839
1407.72/1411.39 c #Conflicts: 417000 | #Constraints: 28843
1407.72/1411.39 c #Conflicts: 418000 | #Constraints: 29845
1407.72/1411.39 c #Conflicts: 419000 | #Constraints: 30847
1407.72/1411.39 c #Conflicts: 420000 | #Constraints: 31851
1407.72/1411.39 c INPROCESSING
1407.72/1411.39 c GARBAGE COLLECT
1407.72/1411.39 c #Conflicts: 421000 | #Constraints: 20062
1407.72/1411.39 c #Conflicts: 422000 | #Constraints: 21064
1407.72/1411.39 c #Conflicts: 423000 | #Constraints: 22066
1407.72/1411.39 c #Conflicts: 424000 | #Constraints: 23070
1407.72/1411.39 c #Conflicts: 425000 | #Constraints: 24072
1407.72/1411.39 c #Conflicts: 426000 | #Constraints: 25074
1407.72/1411.39 c #Conflicts: 427000 | #Constraints: 26078
1407.72/1411.39 c #Conflicts: 428000 | #Constraints: 27080
1407.72/1411.39 c #Conflicts: 429000 | #Constraints: 28082
1407.72/1411.39 c #Conflicts: 430000 | #Constraints: 29086
1407.72/1411.39 c #Conflicts: 431000 | #Constraints: 30088
1407.72/1411.39 c #Conflicts: 432000 | #Constraints: 31090
1407.72/1411.39 c #Conflicts: 433000 | #Constraints: 32094
1407.72/1411.39 c INPROCESSING
1407.72/1411.39 c GARBAGE COLLECT
1407.72/1411.39 c #Conflicts: 434000 | #Constraints: 20094
1407.72/1411.39 c #Conflicts: 435000 | #Constraints: 21096
1407.72/1411.39 c #Conflicts: 436000 | #Constraints: 22098
1407.72/1411.39 c #Conflicts: 437000 | #Constraints: 23102
1656.26/1660.52 c #Conflicts: 438000 | #Constraints: 24104
1656.26/1660.52 c #Conflicts: 439000 | #Constraints: 25106
1656.26/1660.52 c #Conflicts: 440000 | #Constraints: 26110
1656.26/1660.52 c #Conflicts: 441000 | #Constraints: 27112
1656.26/1660.52 c #Conflicts: 442000 | #Constraints: 28114
1656.26/1660.52 c #Conflicts: 443000 | #Constraints: 29118
1656.26/1660.52 c #Conflicts: 444000 | #Constraints: 30120
1656.26/1660.52 c #Conflicts: 445000 | #Constraints: 31122
1656.26/1660.52 c #Conflicts: 446000 | #Constraints: 32126
1656.26/1660.52 c INPROCESSING
1656.26/1660.52 c GARBAGE COLLECT
1656.26/1660.52 c #Conflicts: 447000 | #Constraints: 19920
1656.26/1660.52 c #Conflicts: 448000 | #Constraints: 20922
1656.26/1660.52 c #Conflicts: 449000 | #Constraints: 21926
1656.26/1660.52 c #Conflicts: 450000 | #Constraints: 22928
1656.26/1660.52 c #Conflicts: 451000 | #Constraints: 23930
1656.26/1660.52 c #Conflicts: 452000 | #Constraints: 24934
1656.26/1660.52 c #Conflicts: 453000 | #Constraints: 25936
1656.26/1660.52 c #Conflicts: 454000 | #Constraints: 26938
1656.26/1660.52 c #Conflicts: 455000 | #Constraints: 27942
1656.26/1660.52 c #Conflicts: 456000 | #Constraints: 28944
1656.26/1660.52 c #Conflicts: 457000 | #Constraints: 29946
1656.26/1660.52 c #Conflicts: 458000 | #Constraints: 30950
1656.26/1660.52 c #Conflicts: 459000 | #Constraints: 31952
1656.26/1660.52 c #Conflicts: 460000 | #Constraints: 32954
1656.26/1660.52 c INPROCESSING
1656.26/1660.52 c GARBAGE COLLECT
1656.26/1660.52 c #Conflicts: 461000 | #Constraints: 20554
1656.26/1660.52 c #Conflicts: 462000 | #Constraints: 21556
1656.26/1660.52 c #Conflicts: 463000 | #Constraints: 22558
1656.26/1660.52 c #Conflicts: 464000 | #Constraints: 23562
1656.26/1660.52 c #Conflicts: 465000 | #Constraints: 24564
1656.26/1660.52 c #Conflicts: 466000 | #Constraints: 25566
1656.26/1660.52 c #Conflicts: 467000 | #Constraints: 26570
1656.26/1660.52 c #Conflicts: 468000 | #Constraints: 27572
1656.26/1660.52 c #Conflicts: 469000 | #Constraints: 28574
1656.26/1660.52 c #Conflicts: 470000 | #Constraints: 29578
1656.26/1660.52 c #Conflicts: 471000 | #Constraints: 30580
1656.26/1660.52 c #Conflicts: 472000 | #Constraints: 31582
1656.26/1660.52 c #Conflicts: 473000 | #Constraints: 32586
1656.26/1660.52 c #Conflicts: 474000 | #Constraints: 33588
1656.26/1660.52 c INPROCESSING
1656.26/1660.52 c GARBAGE COLLECT
1656.26/1660.52 c #Conflicts: 475000 | #Constraints: 20996
1656.26/1660.52 c #Conflicts: 476000 | #Constraints: 21998
1656.26/1660.52 c #Conflicts: 477000 | #Constraints: 23000
1656.26/1660.52 c #Conflicts: 478000 | #Constraints: 24004
1656.26/1660.52 c #Conflicts: 479000 | #Constraints: 25006
1656.26/1660.52 c #Conflicts: 480000 | #Constraints: 26008
1656.26/1660.52 c #Conflicts: 481000 | #Constraints: 27012
1656.26/1660.52 c #Conflicts: 482000 | #Constraints: 28014
1656.26/1660.52 c #Conflicts: 483000 | #Constraints: 29016
1656.26/1660.52 c #Conflicts: 484000 | #Constraints: 30020
1656.26/1660.52 c #Conflicts: 485000 | #Constraints: 31022
1656.26/1660.52 c #Conflicts: 486000 | #Constraints: 32024
1656.26/1660.52 c #Conflicts: 487000 | #Constraints: 33028
1656.26/1660.52 c #Conflicts: 488000 | #Constraints: 34030
1656.26/1660.52 c INPROCESSING
1656.26/1660.52 c GARBAGE COLLECT
1656.26/1660.52 c #Conflicts: 489000 | #Constraints: 21231
1656.26/1660.52 c #Conflicts: 490000 | #Constraints: 22233
1656.26/1660.52 c #Conflicts: 491000 | #Constraints: 23235
1656.26/1660.52 c #Conflicts: 492000 | #Constraints: 24239
1656.26/1660.52 c #Conflicts: 493000 | #Constraints: 25241
1656.26/1660.52 c #Conflicts: 494000 | #Constraints: 26243
1656.26/1660.52 c #Conflicts: 495000 | #Constraints: 27247
1656.26/1660.52 c #Conflicts: 496000 | #Constraints: 28249
1656.26/1660.52 c #Conflicts: 497000 | #Constraints: 29251
1656.26/1660.52 c #Conflicts: 498000 | #Constraints: 30255
1656.26/1660.52 c #Conflicts: 499000 | #Constraints: 31257
1656.26/1660.52 c #Conflicts: 500000 | #Constraints: 32259
1656.26/1660.52 c #Conflicts: 501000 | #Constraints: 33263
1656.26/1660.52 c #Conflicts: 502000 | #Constraints: 34265
1656.26/1660.52 c INPROCESSING
1656.26/1660.52 c GARBAGE COLLECT
1656.26/1660.52 c #Conflicts: 503000 | #Constraints: 21274
1656.26/1660.52 c #Conflicts: 504000 | #Constraints: 22276
1656.26/1660.52 c #Conflicts: 505000 | #Constraints: 23278
1656.26/1660.52 c #Conflicts: 506000 | #Constraints: 24282
1656.26/1660.52 c #Conflicts: 507000 | #Constraints: 25284
1656.26/1660.52 c #Conflicts: 508000 | #Constraints: 26286
1656.26/1660.52 c #Conflicts: 509000 | #Constraints: 27290
1656.26/1660.52 c #Conflicts: 510000 | #Constraints: 28292
1656.26/1660.52 c #Conflicts: 511000 | #Constraints: 29294
1656.26/1660.52 c #Conflicts: 512000 | #Constraints: 30298
1656.26/1660.52 c #Conflicts: 513000 | #Constraints: 31300
1692.07/1696.40 c #Conflicts: 514000 | #Constraints: 32302
1692.07/1696.40 c #Conflicts: 515000 | #Constraints: 33306
1692.07/1696.40 c #Conflicts: 516000 | #Constraints: 34308
1692.07/1696.40 c INPROCESSING
1692.07/1696.40 c GARBAGE COLLECT
1692.07/1696.40 c #Conflicts: 517000 | #Constraints: 21109
1692.07/1696.40 c #Conflicts: 518000 | #Constraints: 22111
1692.07/1696.40 c bounds -409 >= -814 @ 1680.36
1692.07/1696.40 c bounds -409 >= -813 @ 1680.49
1692.07/1696.40 c bounds -409 >= -812 @ 1680.52
1692.07/1696.40 c bounds -409 >= -811 @ 1680.54
1692.07/1696.40 c bounds -409 >= -810 @ 1680.56
1692.07/1696.40 c bounds -409 >= -809 @ 1680.59
1692.07/1696.40 c bounds -409 >= -808 @ 1680.63
1692.07/1696.40 c bounds -409 >= -807 @ 1680.66
1692.07/1696.40 c bounds -409 >= -806 @ 1680.69
1692.07/1696.40 c bounds -409 >= -805 @ 1680.72
1692.07/1696.40 c bounds -409 >= -804 @ 1680.76
1692.07/1696.40 c bounds -409 >= -803 @ 1680.79
1692.07/1696.40 c bounds -409 >= -802 @ 1680.82
1692.07/1696.40 c bounds -409 >= -801 @ 1680.86
1692.07/1696.40 c bounds -409 >= -800 @ 1680.89
1692.07/1696.40 c bounds -409 >= -799 @ 1680.93
1692.07/1696.40 c bounds -409 >= -798 @ 1680.97
1692.07/1696.40 c bounds -409 >= -797 @ 1681.01
1692.07/1696.40 c bounds -409 >= -796 @ 1681.04
1692.07/1696.40 c bounds -409 >= -795 @ 1681.08
1692.07/1696.40 c bounds -409 >= -794 @ 1681.12
1692.07/1696.40 c bounds -409 >= -793 @ 1681.16
1692.07/1696.40 c bounds -409 >= -792 @ 1681.21
1692.07/1696.40 c bounds -409 >= -791 @ 1681.25
1692.07/1696.40 c bounds -409 >= -790 @ 1681.3
1692.07/1696.40 c bounds -409 >= -789 @ 1681.34
1692.07/1696.40 c bounds -409 >= -788 @ 1681.38
1692.07/1696.40 c bounds -409 >= -787 @ 1681.42
1692.07/1696.40 c bounds -409 >= -786 @ 1681.47
1692.07/1696.40 c bounds -409 >= -785 @ 1681.51
1692.07/1696.40 c bounds -409 >= -784 @ 1681.55
1692.07/1696.40 c bounds -409 >= -783 @ 1681.59
1692.07/1696.40 c bounds -409 >= -782 @ 1681.64
1692.07/1696.40 c bounds -409 >= -781 @ 1681.68
1692.07/1696.40 c bounds -409 >= -780 @ 1681.72
1692.07/1696.40 c bounds -409 >= -779 @ 1681.76
1692.07/1696.40 c bounds -409 >= -778 @ 1681.81
1692.07/1696.40 c bounds -409 >= -777 @ 1681.85
1692.07/1696.40 c bounds -409 >= -776 @ 1681.9
1692.07/1696.40 c bounds -409 >= -775 @ 1681.95
1692.07/1696.40 c bounds -409 >= -774 @ 1682
1692.07/1696.40 c bounds -409 >= -773 @ 1682.04
1692.07/1696.40 c bounds -409 >= -772 @ 1682.09
1692.07/1696.40 c bounds -409 >= -771 @ 1682.13
1692.07/1696.40 c bounds -409 >= -770 @ 1682.18
1692.07/1696.40 c bounds -409 >= -769 @ 1682.22
1692.07/1696.40 c bounds -409 >= -768 @ 1682.27
1692.07/1696.40 c bounds -409 >= -767 @ 1682.3
1692.07/1696.40 c bounds -409 >= -766 @ 1682.34
1692.07/1696.40 c bounds -409 >= -765 @ 1682.39
1692.07/1696.40 c bounds -409 >= -764 @ 1682.43
1692.07/1696.40 c bounds -409 >= -763 @ 1682.47
1692.07/1696.40 c bounds -409 >= -762 @ 1682.5
1692.07/1696.40 c bounds -409 >= -761 @ 1682.53
1692.07/1696.40 c bounds -409 >= -760 @ 1682.55
1692.07/1696.40 c bounds -409 >= -759 @ 1682.58
1692.07/1696.40 c bounds -409 >= -758 @ 1682.61
1692.07/1696.40 c bounds -409 >= -757 @ 1682.62
1692.07/1696.40 c bounds -409 >= -756 @ 1682.64
1692.07/1696.40 c bounds -409 >= -755 @ 1682.65
1692.07/1696.40 c bounds -409 >= -754 @ 1682.68
1692.07/1696.40 c bounds -409 >= -753 @ 1682.69
1692.07/1696.40 c bounds -409 >= -752 @ 1682.7
1692.07/1696.40 c bounds -409 >= -751 @ 1682.71
1692.07/1696.40 c bounds -409 >= -750 @ 1682.73
1692.07/1696.40 c bounds -409 >= -749 @ 1682.75
1692.07/1696.40 c bounds -409 >= -748 @ 1682.76
1692.07/1696.40 c bounds -409 >= -747 @ 1682.78
1692.07/1696.40 c bounds -409 >= -746 @ 1682.81
1692.07/1696.40 c bounds -409 >= -745 @ 1682.84
1692.07/1696.40 c bounds -409 >= -744 @ 1682.86
1692.07/1696.40 c bounds -409 >= -743 @ 1682.89
1692.07/1696.40 c bounds -409 >= -742 @ 1682.91
1692.07/1696.40 c bounds -409 >= -741 @ 1682.93
1692.07/1696.40 c bounds -409 >= -740 @ 1682.99
1692.07/1696.40 c bounds -409 >= -739 @ 1683.01
1692.07/1696.40 c bounds -409 >= -738 @ 1683.03
1692.07/1696.40 c bounds -409 >= -737 @ 1683.09
1692.07/1696.40 c bounds -409 >= -736 @ 1683.16
1692.07/1696.40 c bounds -409 >= -735 @ 1683.2
1692.07/1696.40 c bounds -409 >= -734 @ 1683.22
1692.07/1696.40 c bounds -409 >= -733 @ 1683.27
1692.07/1696.40 c bounds -409 >= -732 @ 1683.3
1692.07/1696.40 c bounds -409 >= -731 @ 1683.41
1692.07/1696.40 c bounds -409 >= -730 @ 1683.45
1692.07/1696.40 c bounds -409 >= -729 @ 1683.51
1692.07/1696.40 c bounds -409 >= -728 @ 1683.59
1692.07/1696.40 c bounds -409 >= -727 @ 1683.65
1692.07/1696.40 c bounds -409 >= -726 @ 1683.73
1692.07/1696.40 c bounds -409 >= -725 @ 1683.78
1692.07/1696.40 c bounds -409 >= -724 @ 1683.83
1692.07/1696.40 c bounds -409 >= -723 @ 1683.88
1692.07/1696.40 c bounds -409 >= -722 @ 1683.94
1692.07/1696.40 c bounds -409 >= -721 @ 1684.02
1692.07/1696.40 c bounds -409 >= -720 @ 1684.09
1692.07/1696.40 c bounds -409 >= -719 @ 1684.16
1692.07/1696.40 c finalizing WCE round: reformulating cores
2151.38/2157.10 c #Conflicts: 519000 | #Constraints: 24605
2151.38/2157.10 c #Conflicts: 520000 | #Constraints: 25607
2151.38/2157.10 c #Conflicts: 521000 | #Constraints: 26609
2151.38/2157.10 c #Conflicts: 522000 | #Constraints: 27613
2151.38/2157.10 c #Conflicts: 523000 | #Constraints: 28615
2151.38/2157.10 c #Conflicts: 524000 | #Constraints: 29617
2151.38/2157.10 c #Conflicts: 525000 | #Constraints: 30621
2151.38/2157.10 c #Conflicts: 526000 | #Constraints: 31623
2151.38/2157.10 c #Conflicts: 527000 | #Constraints: 32625
2151.38/2157.10 c #Conflicts: 528000 | #Constraints: 33629
2151.38/2157.10 c #Conflicts: 529000 | #Constraints: 34631
2151.38/2157.10 c #Conflicts: 530000 | #Constraints: 35633
2151.38/2157.10 c #Conflicts: 531000 | #Constraints: 36637
2151.38/2157.10 c INPROCESSING
2151.38/2157.10 c GARBAGE COLLECT
2151.38/2157.10 c #Conflicts: 532000 | #Constraints: 22808
2151.38/2157.10 c #Conflicts: 533000 | #Constraints: 23810
2151.38/2157.10 c #Conflicts: 534000 | #Constraints: 24812
2151.38/2157.10 c #Conflicts: 535000 | #Constraints: 25816
2151.38/2157.10 c #Conflicts: 536000 | #Constraints: 26818
2151.38/2157.10 c #Conflicts: 537000 | #Constraints: 27820
2151.38/2157.10 c #Conflicts: 538000 | #Constraints: 28824
2151.38/2157.10 c #Conflicts: 539000 | #Constraints: 29826
2151.38/2157.10 c #Conflicts: 540000 | #Constraints: 30828
2151.38/2157.10 c #Conflicts: 541000 | #Constraints: 31832
2151.38/2157.10 c #Conflicts: 542000 | #Constraints: 32834
2151.38/2157.10 c #Conflicts: 543000 | #Constraints: 33836
2151.38/2157.10 c #Conflicts: 544000 | #Constraints: 34840
2151.38/2157.10 c #Conflicts: 545000 | #Constraints: 35842
2151.38/2157.10 c #Conflicts: 546000 | #Constraints: 36844
2151.38/2157.10 c INPROCESSING
2151.38/2157.10 c GARBAGE COLLECT
2151.38/2157.10 c #Conflicts: 547000 | #Constraints: 23027
2151.38/2157.10 c #Conflicts: 548000 | #Constraints: 24029
2151.38/2157.10 c #Conflicts: 549000 | #Constraints: 25031
2151.38/2157.10 c #Conflicts: 550000 | #Constraints: 26035
2151.38/2157.10 c #Conflicts: 551000 | #Constraints: 27037
2151.38/2157.10 c #Conflicts: 552000 | #Constraints: 28039
2151.38/2157.10 c #Conflicts: 553000 | #Constraints: 29043
2151.38/2157.10 c #Conflicts: 554000 | #Constraints: 30045
2151.38/2157.10 c #Conflicts: 555000 | #Constraints: 31047
2151.38/2157.10 c #Conflicts: 556000 | #Constraints: 32051
2151.38/2157.10 c #Conflicts: 557000 | #Constraints: 33053
2151.38/2157.10 c #Conflicts: 558000 | #Constraints: 34055
2151.38/2157.10 c #Conflicts: 559000 | #Constraints: 35059
2151.38/2157.10 c #Conflicts: 560000 | #Constraints: 36061
2151.38/2157.10 c #Conflicts: 561000 | #Constraints: 37063
2151.38/2157.10 c INPROCESSING
2151.38/2157.10 c GARBAGE COLLECT
2151.38/2157.10 c #Conflicts: 562000 | #Constraints: 23132
2151.38/2157.10 c #Conflicts: 563000 | #Constraints: 24134
2151.38/2157.10 c #Conflicts: 564000 | #Constraints: 25136
2151.38/2157.10 c #Conflicts: 565000 | #Constraints: 26140
2151.38/2157.10 c #Conflicts: 566000 | #Constraints: 27142
2151.38/2157.10 c #Conflicts: 567000 | #Constraints: 28144
2151.38/2157.10 c #Conflicts: 568000 | #Constraints: 29148
2151.38/2157.10 c #Conflicts: 569000 | #Constraints: 30150
2151.38/2157.10 c #Conflicts: 570000 | #Constraints: 31152
2151.38/2157.10 c #Conflicts: 571000 | #Constraints: 32156
2151.38/2157.10 c #Conflicts: 572000 | #Constraints: 33158
2151.38/2157.10 c #Conflicts: 573000 | #Constraints: 34160
2151.38/2157.10 c #Conflicts: 574000 | #Constraints: 35164
2151.38/2157.10 c #Conflicts: 575000 | #Constraints: 36166
2151.38/2157.10 c #Conflicts: 576000 | #Constraints: 37168
2151.38/2157.10 c INPROCESSING
2151.38/2157.10 c GARBAGE COLLECT
2151.38/2157.10 c #Conflicts: 577000 | #Constraints: 23113
2151.38/2157.10 c #Conflicts: 578000 | #Constraints: 24115
2151.38/2157.10 c #Conflicts: 579000 | #Constraints: 25117
2151.38/2157.10 c #Conflicts: 580000 | #Constraints: 26121
2151.38/2157.10 c #Conflicts: 581000 | #Constraints: 27123
2151.38/2157.10 c #Conflicts: 582000 | #Constraints: 28125
2151.38/2157.10 c #Conflicts: 583000 | #Constraints: 29129
2151.38/2157.10 c #Conflicts: 584000 | #Constraints: 30131
2151.38/2157.10 c #Conflicts: 585000 | #Constraints: 31133
2151.38/2157.10 c #Conflicts: 586000 | #Constraints: 32137
2151.38/2157.10 c #Conflicts: 587000 | #Constraints: 33139
2151.38/2157.10 c #Conflicts: 588000 | #Constraints: 34141
2151.38/2157.10 c #Conflicts: 589000 | #Constraints: 35145
2151.38/2157.10 c #Conflicts: 590000 | #Constraints: 36147
2151.38/2157.10 c bounds -412 >= -719 @ 2142.93
2151.38/2157.10 c bounds -412 >= -718 @ 2143.23
2151.38/2157.10 c bounds -412 >= -717 @ 2143.26
2151.38/2157.10 c bounds -412 >= -716 @ 2143.29
2151.38/2157.10 c bounds -412 >= -715 @ 2143.37
2151.38/2157.10 c bounds -412 >= -714 @ 2143.67
2151.38/2157.10 c bounds -412 >= -713 @ 2143.76
2218.48/2224.34 c bounds -412 >= -712 @ 2143.85
2218.48/2224.34 c bounds -412 >= -711 @ 2144
2218.48/2224.34 c bounds -412 >= -710 @ 2144.3
2218.48/2224.34 c bounds -412 >= -709 @ 2145.81
2218.48/2224.34 c bounds -412 >= -708 @ 2148.1
2218.48/2224.34 c bounds -412 >= -707 @ 2148.19
2218.48/2224.34 c bounds -412 >= -706 @ 2148.54
2218.48/2224.34 c bounds -412 >= -705 @ 2148.91
2218.48/2224.34 c bounds -412 >= -704 @ 2149.13
2218.48/2224.34 c bounds -412 >= -703 @ 2149.39
2218.48/2224.34 c bounds -412 >= -702 @ 2149.62
2218.48/2224.34 c bounds -412 >= -701 @ 2150.64
2218.48/2224.34 c #Conflicts: 591000 | #Constraints: 37775
2218.48/2224.34 c bounds -412 >= -700 @ 2162.65
2218.48/2224.34 c bounds -412 >= -699 @ 2163.84
2218.48/2224.34 c bounds -412 >= -698 @ 2168.96
2218.48/2224.34 c INPROCESSING
2218.48/2224.34 c GARBAGE COLLECT
2218.48/2224.34 c #Conflicts: 592000 | #Constraints: 23591
2218.48/2224.34 c finalizing WCE round: reformulating cores
2815.95/2823.34 c #Conflicts: 593000 | #Constraints: 24600
2815.95/2823.34 c #Conflicts: 594000 | #Constraints: 25602
2815.95/2823.34 c #Conflicts: 595000 | #Constraints: 26606
2815.95/2823.34 c #Conflicts: 596000 | #Constraints: 27608
2815.95/2823.34 c #Conflicts: 597000 | #Constraints: 28610
2815.95/2823.34 c #Conflicts: 598000 | #Constraints: 29614
2815.95/2823.34 c #Conflicts: 599000 | #Constraints: 30616
2815.95/2823.34 c #Conflicts: 600000 | #Constraints: 31618
2815.95/2823.34 c #Conflicts: 601000 | #Constraints: 32622
2815.95/2823.34 c #Conflicts: 602000 | #Constraints: 33624
2815.95/2823.34 c #Conflicts: 603000 | #Constraints: 34626
2815.95/2823.34 c #Conflicts: 604000 | #Constraints: 35630
2815.95/2823.34 c #Conflicts: 605000 | #Constraints: 36632
2815.95/2823.34 c #Conflicts: 606000 | #Constraints: 37634
2815.95/2823.34 c bounds -447 >= -698 @ 2290.21
2815.95/2823.34 c bounds -447 >= -697 @ 2290.7
2815.95/2823.34 c #Conflicts: 607000 | #Constraints: 38715
2815.95/2823.34 c INPROCESSING
2815.95/2823.34 c GARBAGE COLLECT
2815.95/2823.34 c bounds -447 >= -696 @ 2295.77
2815.95/2823.34 c #Conflicts: 608000 | #Constraints: 24235
2815.95/2823.34 c #Conflicts: 609000 | #Constraints: 25235
2815.95/2823.34 c bounds -447 >= -695 @ 2308.47
2815.95/2823.34 c #Conflicts: 610000 | #Constraints: 26362
2815.95/2823.34 c #Conflicts: 611000 | #Constraints: 27362
2815.95/2823.34 c #Conflicts: 612000 | #Constraints: 28362
2815.95/2823.34 c #Conflicts: 613000 | #Constraints: 29362
2815.95/2823.34 c #Conflicts: 614000 | #Constraints: 30362
2815.95/2823.34 c #Conflicts: 615000 | #Constraints: 31362
2815.95/2823.34 c #Conflicts: 616000 | #Constraints: 32362
2815.95/2823.34 c #Conflicts: 617000 | #Constraints: 33362
2815.95/2823.34 c #Conflicts: 618000 | #Constraints: 34362
2815.95/2823.34 c #Conflicts: 619000 | #Constraints: 35362
2815.95/2823.34 c #Conflicts: 620000 | #Constraints: 36362
2815.95/2823.34 c #Conflicts: 621000 | #Constraints: 37362
2815.95/2823.34 c #Conflicts: 622000 | #Constraints: 38362
2815.95/2823.34 c #Conflicts: 623000 | #Constraints: 39362
2815.95/2823.34 c INPROCESSING
2815.95/2823.34 c GARBAGE COLLECT
2815.95/2823.34 c #Conflicts: 624000 | #Constraints: 24685
2815.95/2823.34 c #Conflicts: 625000 | #Constraints: 25685
2815.95/2823.34 c #Conflicts: 626000 | #Constraints: 26685
2815.95/2823.34 c #Conflicts: 627000 | #Constraints: 27685
2815.95/2823.34 c #Conflicts: 628000 | #Constraints: 28685
2815.95/2823.34 c #Conflicts: 629000 | #Constraints: 29685
2815.95/2823.34 c #Conflicts: 630000 | #Constraints: 30685
2815.95/2823.34 c #Conflicts: 631000 | #Constraints: 31685
2815.95/2823.34 c #Conflicts: 632000 | #Constraints: 32685
2815.95/2823.34 c #Conflicts: 633000 | #Constraints: 33685
2815.95/2823.34 c #Conflicts: 634000 | #Constraints: 34685
2815.95/2823.34 c #Conflicts: 635000 | #Constraints: 35685
2815.95/2823.34 c #Conflicts: 636000 | #Constraints: 36685
2815.95/2823.34 c #Conflicts: 637000 | #Constraints: 37685
2815.95/2823.34 c #Conflicts: 638000 | #Constraints: 38685
2815.95/2823.34 c #Conflicts: 639000 | #Constraints: 39685
2815.95/2823.34 c INPROCESSING
2815.95/2823.34 c GARBAGE COLLECT
2815.95/2823.34 c #Conflicts: 640000 | #Constraints: 24883
2815.95/2823.34 c #Conflicts: 641000 | #Constraints: 25883
2815.95/2823.34 c #Conflicts: 642000 | #Constraints: 26883
2815.95/2823.34 c #Conflicts: 643000 | #Constraints: 27883
2815.95/2823.34 c #Conflicts: 644000 | #Constraints: 28883
2815.95/2823.34 c #Conflicts: 645000 | #Constraints: 29883
2815.95/2823.34 c #Conflicts: 646000 | #Constraints: 30883
2815.95/2823.34 c #Conflicts: 647000 | #Constraints: 31883
2815.95/2823.34 c #Conflicts: 648000 | #Constraints: 32883
2815.95/2823.34 c #Conflicts: 649000 | #Constraints: 33883
2815.95/2823.34 c #Conflicts: 650000 | #Constraints: 34883
2815.95/2823.34 c #Conflicts: 651000 | #Constraints: 35883
2815.95/2823.34 c #Conflicts: 652000 | #Constraints: 36883
2815.95/2823.34 c #Conflicts: 653000 | #Constraints: 37883
2815.95/2823.34 c #Conflicts: 654000 | #Constraints: 38883
2815.95/2823.34 c #Conflicts: 655000 | #Constraints: 39883
2815.95/2823.34 c INPROCESSING
2815.95/2823.34 c GARBAGE COLLECT
2815.95/2823.34 c #Conflicts: 656000 | #Constraints: 24878
2815.95/2823.34 c #Conflicts: 657000 | #Constraints: 25878
2815.95/2823.34 c #Conflicts: 658000 | #Constraints: 26878
2815.95/2823.34 c #Conflicts: 659000 | #Constraints: 27878
2815.95/2823.34 c #Conflicts: 660000 | #Constraints: 28878
2815.95/2823.34 c #Conflicts: 661000 | #Constraints: 29878
2815.95/2823.34 c #Conflicts: 662000 | #Constraints: 30878
2815.95/2823.34 c #Conflicts: 663000 | #Constraints: 31878
2815.95/2823.34 c #Conflicts: 664000 | #Constraints: 32878
2815.95/2823.34 c #Conflicts: 665000 | #Constraints: 33878
2815.95/2823.34 c #Conflicts: 666000 | #Constraints: 34878
3481.09/3490.24 c #Conflicts: 667000 | #Constraints: 35878
3481.09/3490.24 c #Conflicts: 668000 | #Constraints: 36878
3481.09/3490.24 c #Conflicts: 669000 | #Constraints: 37878
3481.09/3490.24 c #Conflicts: 670000 | #Constraints: 38878
3481.09/3490.24 c #Conflicts: 671000 | #Constraints: 39878
3481.09/3490.24 c INPROCESSING
3481.09/3490.24 c GARBAGE COLLECT
3481.09/3490.24 c #Conflicts: 672000 | #Constraints: 24690
3481.09/3490.24 c #Conflicts: 673000 | #Constraints: 25690
3481.09/3490.24 c #Conflicts: 674000 | #Constraints: 26690
3481.09/3490.24 c #Conflicts: 675000 | #Constraints: 27690
3481.09/3490.24 c #Conflicts: 676000 | #Constraints: 28690
3481.09/3490.24 c #Conflicts: 677000 | #Constraints: 29690
3481.09/3490.24 c #Conflicts: 678000 | #Constraints: 30690
3481.09/3490.24 c #Conflicts: 679000 | #Constraints: 31690
3481.09/3490.24 c #Conflicts: 680000 | #Constraints: 32690
3481.09/3490.24 c #Conflicts: 681000 | #Constraints: 33690
3481.09/3490.24 c #Conflicts: 682000 | #Constraints: 34690
3481.09/3490.24 c #Conflicts: 683000 | #Constraints: 35690
3481.09/3490.24 c #Conflicts: 684000 | #Constraints: 36690
3481.09/3490.24 c #Conflicts: 685000 | #Constraints: 37690
3481.09/3490.24 c #Conflicts: 686000 | #Constraints: 38690
3481.09/3490.24 c #Conflicts: 687000 | #Constraints: 39690
3481.09/3490.24 c #Conflicts: 688000 | #Constraints: 40690
3481.09/3490.24 c INPROCESSING
3481.09/3490.24 c GARBAGE COLLECT
3481.09/3490.24 c #Conflicts: 689000 | #Constraints: 25295
3481.09/3490.24 c #Conflicts: 690000 | #Constraints: 26295
3481.09/3490.24 c #Conflicts: 691000 | #Constraints: 27295
3481.09/3490.24 c #Conflicts: 692000 | #Constraints: 28295
3481.09/3490.24 c #Conflicts: 693000 | #Constraints: 29295
3481.09/3490.24 c #Conflicts: 694000 | #Constraints: 30295
3481.09/3490.24 c #Conflicts: 695000 | #Constraints: 31295
3481.09/3490.24 c #Conflicts: 696000 | #Constraints: 32295
3481.09/3490.24 c #Conflicts: 697000 | #Constraints: 33295
3481.09/3490.24 c #Conflicts: 698000 | #Constraints: 34295
3481.09/3490.24 c #Conflicts: 699000 | #Constraints: 35295
3481.09/3490.24 c #Conflicts: 700000 | #Constraints: 36295
3481.09/3490.24 c #Conflicts: 701000 | #Constraints: 37295
3481.09/3490.24 c #Conflicts: 702000 | #Constraints: 38295
3481.09/3490.24 c #Conflicts: 703000 | #Constraints: 39295
3481.09/3490.24 c #Conflicts: 704000 | #Constraints: 40295
3481.09/3490.24 c #Conflicts: 705000 | #Constraints: 41295
3481.09/3490.24 c INPROCESSING
3481.09/3490.24 c GARBAGE COLLECT
3481.09/3490.24 c #Conflicts: 706000 | #Constraints: 25704
3481.09/3490.24 c #Conflicts: 707000 | #Constraints: 26704
3481.09/3490.24 c #Conflicts: 708000 | #Constraints: 27704
3481.09/3490.24 c #Conflicts: 709000 | #Constraints: 28704
3481.09/3490.24 c #Conflicts: 710000 | #Constraints: 29704
3481.09/3490.24 c #Conflicts: 711000 | #Constraints: 30704
3481.09/3490.24 c #Conflicts: 712000 | #Constraints: 31704
3481.09/3490.24 c #Conflicts: 713000 | #Constraints: 32704
3481.09/3490.24 c #Conflicts: 714000 | #Constraints: 33704
3481.09/3490.24 c #Conflicts: 715000 | #Constraints: 34704
3481.09/3490.24 c #Conflicts: 716000 | #Constraints: 35704
3481.09/3490.24 c #Conflicts: 717000 | #Constraints: 36704
3481.09/3490.24 c #Conflicts: 718000 | #Constraints: 37704
3481.09/3490.24 c #Conflicts: 719000 | #Constraints: 38704
3481.09/3490.24 c #Conflicts: 720000 | #Constraints: 39704
3481.09/3490.24 c #Conflicts: 721000 | #Constraints: 40704
3481.09/3490.24 c #Conflicts: 722000 | #Constraints: 41704
3481.09/3490.24 c INPROCESSING
3481.09/3490.24 c GARBAGE COLLECT
3481.09/3490.24 c #Conflicts: 723000 | #Constraints: 25910
3481.09/3490.24 c #Conflicts: 724000 | #Constraints: 26910
3481.09/3490.24 c #Conflicts: 725000 | #Constraints: 27910
3481.09/3490.24 c #Conflicts: 726000 | #Constraints: 28910
3481.09/3490.24 c #Conflicts: 727000 | #Constraints: 29910
3481.09/3490.24 c #Conflicts: 728000 | #Constraints: 30910
3481.09/3490.24 c #Conflicts: 729000 | #Constraints: 31910
3481.09/3490.24 c #Conflicts: 730000 | #Constraints: 32910
3481.09/3490.24 c #Conflicts: 731000 | #Constraints: 33910
3481.09/3490.24 c #Conflicts: 732000 | #Constraints: 34910
3481.09/3490.24 c #Conflicts: 733000 | #Constraints: 35910
3481.09/3490.24 c #Conflicts: 734000 | #Constraints: 36910
3481.09/3490.24 c #Conflicts: 735000 | #Constraints: 37910
3481.09/3490.24 c #Conflicts: 736000 | #Constraints: 38910
3481.09/3490.24 c #Conflicts: 737000 | #Constraints: 39910
3481.09/3490.24 c #Conflicts: 738000 | #Constraints: 40910
3481.09/3490.24 c #Conflicts: 739000 | #Constraints: 41910
3481.09/3490.24 c INPROCESSING
3481.09/3490.24 c GARBAGE COLLECT
3481.09/3490.24 c #Conflicts: 740000 | #Constraints: 25897
3481.09/3490.24 c #Conflicts: 741000 | #Constraints: 26897
3481.09/3490.24 c #Conflicts: 742000 | #Constraints: 27897
3600.07/3609.50 c #Conflicts: 743000 | #Constraints: 28897
3600.07/3609.50 c #Conflicts: 744000 | #Constraints: 29897
3600.07/3609.50 c #Conflicts: 745000 | #Constraints: 30897
3600.07/3609.50 c #Conflicts: 746000 | #Constraints: 31897
3600.07/3609.50 c #Conflicts: 747000 | #Constraints: 32897
3600.07/3609.50 c #Conflicts: 748000 | #Constraints: 33897
3600.07/3609.50 c #Conflicts: 749000 | #Constraints: 34897
3600.07/3609.50 c #Conflicts: 750000 | #Constraints: 35897
3600.07/3609.50 c #Conflicts: 751000 | #Constraints: 36897
3600.07/3609.50 c #Conflicts: 752000 | #Constraints: 37897
3600.07/3609.50 c #Conflicts: 753000 | #Constraints: 38897
3600.07/3609.50 c #Conflicts: 754000 | #Constraints: 39897
3600.07/3609.50 c #Conflicts: 755000 | #Constraints: 40897
3600.07/3609.50 c Program interrupted by user.
3600.07/3609.50 c cpu time 3586.71 s
3600.07/3609.50 c deterministic time 373920904552 3.74e+11
3600.07/3609.50 c optimization time 2350.1 s
3600.07/3609.50 c total solve time 1236.6 s
3600.07/3609.50 c core-guided solve time 1236.6 s
3600.07/3609.50 c propagation time 2674.37 s
3600.07/3609.50 c conflict analysis time 601.199 s
3600.07/3609.50 c propagations 152454118
3600.07/3609.50 c resolve steps 6417717
3600.07/3609.50 c decisions 10460557
3600.07/3609.50 c conflicts 755353
3600.07/3609.50 c restarts 1589
3600.07/3609.50 c inprocessing phases 77
3600.07/3609.50 c input clauses 3386
3600.07/3609.50 c input cardinalities 2281
3600.07/3609.50 c input general constraints 4267
3600.07/3609.50 c input average constraint length 279.85
3600.07/3609.50 c input average constraint degree 61.25
3600.07/3609.50 c learned clauses 88407
3600.07/3609.50 c learned cardinalities 61
3600.07/3609.50 c learned general constraints 667344
3600.07/3609.50 c learned average constraint length 1746.18
3600.07/3609.50 c learned average constraint degree 5732147.74
3600.07/3609.50 c watched constraints 343523
3600.07/3609.50 c counting constraints 328088
3600.07/3609.50 c gcd simplifications 47131
3600.07/3609.50 c detected cardinalities 30
3600.07/3609.50 c weakened non-implied lits 347757745
3600.07/3609.50 c weakened non-implying lits 12379
3600.07/3609.50 c original variables 3625
3600.07/3609.50 c clausal propagations 19674479
3600.07/3609.50 c cardinality propagations 16675249
3600.07/3609.50 c watched propagations 12690544
3600.07/3609.50 c counting propagations 98924746
3600.07/3609.50 c watch lookups 63836414054
3600.07/3609.50 c watch backjump lookups 62617908759
3600.07/3609.50 c watch checks 194446117207
3600.07/3609.50 c propagation checks 48941232854
3600.07/3609.50 c constraint additions 3752647664
3600.07/3609.50 c trail pops 163669338
3600.07/3609.50 c formula constraints 4800
3600.07/3609.50 c learned constraints 755812
3600.07/3609.50 c bound constraints 876
3600.07/3609.50 c core-guided constraints 4258
3600.07/3609.50 c encountered formula constraints 3541983
3600.07/3609.50 c encountered learned constraints 3123987
3600.07/3609.50 c encountered bound constraints 102
3600.07/3609.50 c encountered core-guided constraints 506998
3600.07/3609.50 c LP total time 0 s
3600.07/3609.50 c LP solve time 0 s
3600.07/3609.50 c LP constraints added 0
3600.07/3609.50 c LP constraints removed 0
3600.07/3609.50 c LP pivots internal 0
3600.07/3609.50 c LP pivots root 0
3600.07/3609.50 c LP calls 0
3600.07/3609.50 c LP optimalities 0
3600.07/3609.50 c LP no pivot count 0
3600.07/3609.50 c LP infeasibilities 0
3600.07/3609.50 c LP valid Farkas constraints 0
3600.07/3609.50 c LP learned Farkas constraints 0
3600.07/3609.50 c LP basis resets 0
3600.07/3609.50 c LP cycling count 0
3600.07/3609.50 c LP singular count 0
3600.07/3609.50 c LP no primal count 0
3600.07/3609.50 c LP no farkas count 0
3600.07/3609.50 c LP other issue count 0
3600.07/3609.50 c LP Gomory cuts 0
3600.07/3609.50 c LP learned cuts 0
3600.07/3609.50 c LP deleted cuts 0
3600.07/3609.50 c LP encountered Gomory constraints 0
3600.07/3609.50 c LP encountered Farkas constraints 0
3600.07/3609.50 c LP encountered learned Farkas constraints 0
3600.07/3609.50 c CG auxiliary variables introduced 1804
3600.07/3609.50 c CG solutions found 3
3600.07/3609.50 c CG cores constructed 821
3600.07/3609.50 c CG core cardinality constraints returned 0
3600.07/3609.50 c CG unit cores 0
3600.07/3609.50 c CG single cores 821
3600.07/3609.50 c CG blocks removed during cardinality reduction 0
3600.07/3609.50 c CG first core best 0
3600.07/3609.50 c CG decision core best 0
3600.07/3609.50 c CG core reduction tie 0
3600.07/3609.50 c CG core degree average 1.00
3600.07/3609.50 c CG core slack average 4.12
3600.07/3609.50 c CG exhausted 0
3600.07/3609.50 c CG exhaust time 2129.74 s
3600.07/3609.50 c CG trimmed 18
3600.07/3609.50 c CG trim time 0.240278 s
3600.07/3609.50 c CG minimized 0
3600.07/3609.50 c CG minimize time 0 s
3600.07/3609.50 c CG am1 prop time 0.537965 s
3600.07/3609.50 c CG # am1s reformulated 168
3600.07/3609.50 c CG lower bound derived from am1s 168
3600.07/3609.50 c CG # clausal cores 820
3600.07/3609.50 c CG # cardinality cores 0
3600.07/3609.50 c CG # pb cores 1
3600.07/3609.50 c CG # pb reforms 0
3600.07/3609.50 c CG # cores discarded because of pb reform 0
3600.07/3609.50 d LOWERBOUND -695
3600.07/3609.50 d NCORES 821
3600.07/3609.50 d NPBCORES 1
3600.07/3609.50 d NPBREFORM 0
3600.07/3609.50 d NTRIMMED 18
3600.07/3609.50 d NEXHAUSTED 0
3600.07/3609.50 d NAM1S 168
3600.07/3609.50 d AM1LB 168
3600.07/3609.50 o -447
3600.07/3609.50 s SATISFIABLE
3600.07/3609.50 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: 63931 MiB (59330 MiB free)
memory of node 1: 64510 MiB (61634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454597-1721478175/watcher-4454597-1721478175 -o /tmp/evaluation-result-4454597-1721478175/solver-4454597-1721478175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064621 --watchdog 3760 pb-oll-rs HOME/instance-4454597-1721478175.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
solver pid=1068670, runsolver pid=1068667
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.14 4.13 4.09 5/256 1068671
/proc/meminfo: memFree=123860420/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=43876 memory=12216 CPUtime=0.09 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 1492 0 0 0 8 1 0 0 20 0 1 0 199976647 44929024 3054 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 10969 3054 1322 291 0 2503 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43876 KiB
Current children cumulated memory: 12216 KiB
[startup+0.204565 s]*
/proc/loadavg: 4.14 4.13 4.09 5/256 1068671
/proc/meminfo: memFree=123850780/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=48984 memory=19144 CPUtime=0.2 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 2721 0 0 0 16 4 0 0 20 0 1 0 199976647 50159616 4786 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 12246 4786 1338 291 0 3780 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48984 KiB
Current children cumulated memory: 19144 KiB
[startup+0.304695 s]*
/proc/loadavg: 4.14 4.13 4.09 5/256 1068671
/proc/meminfo: memFree=123845708/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=57024 memory=24092 CPUtime=0.29 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 3450 0 0 0 21 8 0 0 20 0 1 0 199976647 58392576 6023 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 14256 6023 1338 291 0 5790 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57024 KiB
Current children cumulated memory: 24092 KiB
[startup+0.700184 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 1068671
/proc/meminfo: memFree=123840328/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=76756 memory=42108 CPUtime=0.69 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 6379 0 0 0 52 17 0 0 20 0 1 0 199976647 78598144 10527 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 19189 10527 1338 291 0 10723 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76756 KiB
Current children cumulated memory: 42108 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.13 4.09 4/252 1068688
/proc/meminfo: memFree=123846156/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=115832 memory=76552 CPUtime=1.48 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 11921 0 0 0 128 20 0 0 20 0 1 0 199976647 118611968 19138 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 28958 19138 1338 291 0 20492 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115832 KiB
Current children cumulated memory: 76552 KiB
[startup+3.10542 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 1068703
/proc/meminfo: memFree=123768616/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=173748 memory=120680 CPUtime=3.09 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 18878 0 0 0 285 24 0 0 20 0 1 0 199976647 177917952 30170 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 43437 30170 1338 291 0 34971 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 173748 KiB
Current children cumulated memory: 120680 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1068749
/proc/meminfo: memFree=123738664/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=206260 memory=145652 CPUtime=6.27 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 24596 0 0 0 600 27 0 0 20 0 1 0 199976647 211210240 36413 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 51565 36413 1402 291 0 43099 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 206260 KiB
Current children cumulated memory: 145652 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125601620/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=222996 memory=169128 CPUtime=12.65 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 28361 0 0 0 1232 33 0 0 20 0 1 0 199976647 228347904 42282 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 55749 42282 1402 291 0 47283 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 222996 KiB
Current children cumulated memory: 169128 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1068798
/proc/meminfo: memFree=125538316/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=276392 memory=203604 CPUtime=25.41 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 31874 0 0 0 2498 43 0 0 20 0 1 0 199976647 283025408 50901 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 69098 50901 1402 291 0 60632 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 276392 KiB
Current children cumulated memory: 203604 KiB
[startup+51.1055 s]
/proc/loadavg: 4.27 4.15 4.10 5/258 1068803
/proc/meminfo: memFree=125438136/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=340536 memory=277108 CPUtime=50.94 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 43168 0 0 0 5033 61 0 0 20 0 1 0 199976647 348708864 69277 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 85134 69277 1402 291 0 76668 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 340536 KiB
Current children cumulated memory: 277108 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 1068814
/proc/meminfo: memFree=125343252/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=458556 memory=355584 CPUtime=102.01 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 51913 0 0 0 10110 91 0 0 20 0 1 0 199976647 469561344 88896 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 114639 88896 1402 291 0 106173 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 458556 KiB
Current children cumulated memory: 355584 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/260 1069210
/proc/meminfo: memFree=125274584/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=463072 memory=401704 CPUtime=161.85 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 53516 0 0 0 16063 122 0 0 20 0 1 0 199976647 474185728 100426 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 115768 100426 1402 291 0 107302 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 463072 KiB
Current children cumulated memory: 401704 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1069220
/proc/meminfo: memFree=125226632/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=465508 memory=432196 CPUtime=221.69 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 54190 0 0 0 22021 148 0 0 20 0 1 0 199976647 476680192 108049 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 116377 108049 1402 291 0 107911 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 465508 KiB
Current children cumulated memory: 432196 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1069231
/proc/meminfo: memFree=125151360/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=701568 memory=499076 CPUtime=281.55 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 69565 0 0 0 27981 174 0 0 20 0 1 0 199976647 718405632 124769 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 175392 124769 1402 291 0 166926 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 701568 KiB
Current children cumulated memory: 499076 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/259 1069410
/proc/meminfo: memFree=125097336/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=724888 memory=536132 CPUtime=341.42 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 74354 0 0 0 33940 202 0 0 20 0 1 0 199976647 742285312 134033 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 181222 134033 1402 291 0 172756 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 724888 KiB
Current children cumulated memory: 536132 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 1069421
/proc/meminfo: memFree=125056276/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=735516 memory=571396 CPUtime=401.28 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 77663 0 0 0 39900 228 0 0 20 0 1 0 199976647 753168384 142849 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 183879 142849 1402 291 0 175413 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 735516 KiB
Current children cumulated memory: 571396 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/260 1069488
/proc/meminfo: memFree=125026132/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=744696 memory=592776 CPUtime=461.14 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 80178 0 0 0 45864 250 0 0 20 0 1 0 199976647 762568704 148194 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 186174 148194 1402 291 0 177708 0
################
# More data... #
################
Current children cumulated memory: 1510816 KiB
[startup+2922.3 s]
/proc/loadavg: 4.31 4.23 4.14 5/257 1070522
/proc/meminfo: memFree=123891004/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1633932 memory=1510820 CPUtime=2914.7 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 227220 0 0 0 290399 1071 0 0 20 0 1 0 199976647 1673146368 377705 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 408483 377705 1402 291 0 400017 0
Current children cumulated CPU time: 2914.7 s
Current children cumulated vsize: 1633932 KiB
Current children cumulated memory: 1510820 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.22 4.14 5/257 1070532
/proc/meminfo: memFree=123888756/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1633932 memory=1510820 CPUtime=2974.55 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 227802 0 0 0 296360 1095 0 0 20 0 1 0 199976647 1673146368 377705 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 408483 377705 1402 291 0 400017 0
Current children cumulated CPU time: 2974.55 s
Current children cumulated vsize: 1633932 KiB
Current children cumulated memory: 1510820 KiB
[startup+3042.3 s]
/proc/loadavg: 4.49 4.29 4.17 5/257 1070543
/proc/meminfo: memFree=123879668/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1640596 memory=1514416 CPUtime=3034.39 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 229385 0 0 0 302325 1114 0 0 20 0 1 0 199976647 1679970304 378604 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410149 378604 1402 291 0 401683 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1514416 KiB
[startup+3102.3 s]
/proc/loadavg: 4.43 4.32 4.19 5/257 1070555
/proc/meminfo: memFree=123876624/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1640596 memory=1514552 CPUtime=3094.24 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 229917 0 0 0 308280 1144 0 0 20 0 1 0 199976647 1679970304 378638 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410149 378638 1402 291 0 401683 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1514552 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.28 4.18 5/255 1070565
/proc/meminfo: memFree=123873524/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1640596 memory=1514552 CPUtime=3154.07 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 230442 0 0 0 314244 1163 0 0 20 0 1 0 199976647 1679970304 378638 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410149 378638 1402 291 0 401683 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1514552 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.26 4.18 5/255 1070575
/proc/meminfo: memFree=123873072/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1640596 memory=1514556 CPUtime=3213.91 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 231072 0 0 0 320201 1190 0 0 20 0 1 0 199976647 1679970304 378639 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410149 378639 1402 291 0 401683 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1514556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/255 1070587
/proc/meminfo: memFree=123869408/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1640596 memory=1514556 CPUtime=3273.75 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 231645 0 0 0 326162 1213 0 0 20 0 1 0 199976647 1679970304 378639 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410149 378639 1402 291 0 401683 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 1640596 KiB
Current children cumulated memory: 1514556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/255 1070598
/proc/meminfo: memFree=123868124/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1641108 memory=1514956 CPUtime=3333.59 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 232393 0 0 0 332123 1236 0 0 20 0 1 0 199976647 1680494592 378739 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410277 378739 1402 291 0 401811 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1514956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/255 1070609
/proc/meminfo: memFree=123866596/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1641108 memory=1514956 CPUtime=3393.43 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 232922 0 0 0 338086 1257 0 0 20 0 1 0 199976647 1680494592 378739 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410277 378739 1402 291 0 401811 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1514956 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/257 1070624
/proc/meminfo: memFree=123862916/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1641108 memory=1514956 CPUtime=3453.26 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 233440 0 0 0 344051 1275 0 0 20 0 1 0 199976647 1680494592 378739 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410277 378739 1402 291 0 401811 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1514956 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/257 1070636
/proc/meminfo: memFree=123862196/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1641108 memory=1514960 CPUtime=3513.1 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 234067 0 0 0 350005 1305 0 0 20 0 1 0 199976647 1680494592 378740 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410277 378740 1402 291 0 401811 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1514960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/257 1070646
/proc/meminfo: memFree=123859252/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1641108 memory=1514960 CPUtime=3572.94 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 234637 0 0 0 355968 1326 0 0 20 0 1 0 199976647 1680494592 378740 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410277 378740 1402 291 0 401811 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1514960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.08 4.14 4.15 4/255 1070651
/proc/meminfo: memFree=123990672/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1641108 memory=1514960 CPUtime=3600.07 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 234844 0 0 0 358670 1337 0 0 20 0 1 0 199976647 1680494592 378740 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410277 378740 1402 291 0 401811 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1514960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 1068670 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.71 s, system=13.3793 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.08 4.14 4.15 4/255 1070651
/proc/meminfo: memFree=123990672/131524600 swapFree=130799640/131071996
[pid=1068670] ppid=1068667 vsize=1641108 memory=1514960 CPUtime=3600.07 cores=1,3
/proc/1068670/stat : 1068670 (pb-oll-rs) R 1068667 1068670 1064609 0 -1 4194304 234844 0 0 0 358670 1337 0 0 20 0 1 0 199976647 1680494592 378740 134679101440 4194304 5384485 140722900220064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37576704 140722900222997 140722900223074 140722900223074 140722900230091 0
/proc/1068670/statm: 410277 378740 1402 291 0 401811 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1641108 KiB
Current children cumulated memory: 1514960 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.09
CPU user time (s): 3586.71
CPU system time (s): 13.3793
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 1641108
Max. memory (cumulated for all children) (KiB): 1514960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.71
system time used= 13.3793
maximum resident set size= 1514976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234917
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= 284
involuntary context switches= 2688
# summary of solver processes directly reported to runsolver:
# pid: 1068670
# total CPU time (s): 3600.09
# total CPU user time (s): 3586.71
# total CPU system time (s): 13.3793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84241 second user time and 17.0087 second system time
The end
Begin job on nodeC014 at 2024-07-20 14:23:07
IDJOB=4454597
IDBENCH=158503
IDSOLVER=3082
FILE ID=nodeC014/4454597-1721478175
RUNJOBID= nodeC014-1721470968-1064621
SLURM_JOB_ID= 7545736
Free space on /tmp= 890000 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454597-1721478175/watcher-4454597-1721478175 -o /tmp/evaluation-result-4454597-1721478175/solver-4454597-1721478175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064621 --watchdog 3760 pb-oll-rs HOME/instance-4454597-1721478175.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c
RANDOM SEED=1225720426
nodeC014.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 : 3673.104
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.32
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 : 3664.433
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.96
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 : 3599.758
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.32
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 : 3654.320
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.96
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 : 3673.031
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.32
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 : 3600.466
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.96
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.983
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.32
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 : 3668.015
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123868792 kB
MemAvailable: 128081728 kB
Buffers: 521792 kB
Cached: 4486220 kB
SwapCached: 12796 kB
Active: 1583544 kB
Inactive: 5438144 kB
Active(anon): 9180 kB
Inactive(anon): 2034228 kB
Active(file): 1574364 kB
Inactive(file): 3403916 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 6104 kB
Writeback: 0 kB
AnonPages: 2005024 kB
Mapped: 54764 kB
Shmem: 29732 kB
KReclaimable: 148608 kB
Slab: 251908 kB
SReclaimable: 148608 kB
SUnreclaim: 103300 kB
KernelStack: 4092 kB
PageTables: 14340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2864268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 352256 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC014 at 2024-07-20 15:23:17