0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.03	c #variables 3625 #constraints 4800
0.41/0.46	c bounds - >= -1684 @ 0.019826
0.41/0.46	c bounds 0 >= -1684 @ 0.131304
0.41/0.46	c bounds 0 >= -1683 @ 0.133697
0.41/0.46	c bounds 0 >= -1682 @ 0.135801
0.41/0.46	c bounds 0 >= -1681 @ 0.137926
0.41/0.46	c bounds 0 >= -1680 @ 0.139127
0.41/0.46	c bounds 0 >= -1679 @ 0.141219
0.41/0.46	c bounds 0 >= -1678 @ 0.143319
0.41/0.46	c bounds 0 >= -1677 @ 0.145417
0.41/0.46	c bounds 0 >= -1676 @ 0.147523
0.41/0.46	c bounds 0 >= -1675 @ 0.149638
0.41/0.46	c bounds 0 >= -1674 @ 0.151749
0.41/0.46	c bounds 0 >= -1673 @ 0.153873
0.41/0.46	c bounds 0 >= -1672 @ 0.155998
0.41/0.46	c bounds 0 >= -1671 @ 0.158118
0.41/0.46	c bounds 0 >= -1670 @ 0.160249
0.41/0.46	c bounds 0 >= -1669 @ 0.162408
0.41/0.46	c bounds 0 >= -1668 @ 0.164567
0.41/0.46	c bounds 0 >= -1667 @ 0.166835
0.41/0.46	c bounds 0 >= -1666 @ 0.168997
0.41/0.46	c bounds 0 >= -1665 @ 0.171023
0.41/0.46	c bounds 0 >= -1664 @ 0.172394
0.41/0.46	c bounds 0 >= -1663 @ 0.173532
0.41/0.46	c bounds 0 >= -1662 @ 0.175621
0.41/0.46	c bounds 0 >= -1661 @ 0.177775
0.41/0.46	c bounds 0 >= -1660 @ 0.179916
0.41/0.46	c bounds 0 >= -1659 @ 0.182069
0.41/0.46	c bounds 0 >= -1658 @ 0.184235
0.41/0.46	c bounds 0 >= -1657 @ 0.186394
0.41/0.46	c bounds 0 >= -1656 @ 0.188549
0.41/0.46	c bounds 0 >= -1655 @ 0.190705
0.41/0.46	c bounds 0 >= -1654 @ 0.19187
0.41/0.46	c bounds 0 >= -1653 @ 0.194027
0.41/0.46	c bounds 0 >= -1652 @ 0.196198
0.41/0.46	c bounds 0 >= -1651 @ 0.198397
0.41/0.46	c bounds 0 >= -1650 @ 0.200561
0.41/0.46	c bounds 0 >= -1649 @ 0.202718
0.41/0.46	c bounds 0 >= -1648 @ 0.204924
0.41/0.46	c bounds 0 >= -1647 @ 0.207106
0.41/0.46	c bounds 0 >= -1646 @ 0.209411
0.41/0.46	c bounds 0 >= -1645 @ 0.211581
0.41/0.46	c bounds 0 >= -1644 @ 0.213763
0.41/0.46	c bounds 0 >= -1643 @ 0.214959
0.41/0.46	c bounds 0 >= -1642 @ 0.217153
0.41/0.46	c bounds 0 >= -1641 @ 0.219353
0.41/0.46	c bounds 0 >= -1640 @ 0.221544
0.41/0.46	c bounds 0 >= -1639 @ 0.222759
0.41/0.46	c bounds 0 >= -1638 @ 0.224976
0.41/0.46	c bounds 0 >= -1637 @ 0.22718
0.41/0.46	c bounds 0 >= -1636 @ 0.229378
0.41/0.46	c bounds 0 >= -1635 @ 0.231573
0.41/0.46	c bounds 0 >= -1634 @ 0.233783
0.41/0.46	c bounds 0 >= -1633 @ 0.236416
0.41/0.46	c bounds 0 >= -1632 @ 0.237637
0.41/0.46	c bounds 0 >= -1631 @ 0.239942
0.41/0.46	c bounds 0 >= -1630 @ 0.242294
0.41/0.46	c bounds 0 >= -1629 @ 0.244631
0.41/0.46	c bounds 0 >= -1628 @ 0.247002
0.41/0.46	c bounds 0 >= -1627 @ 0.249367
0.41/0.46	c bounds 0 >= -1626 @ 0.250737
0.41/0.46	c bounds 0 >= -1625 @ 0.253099
0.41/0.46	c bounds 0 >= -1624 @ 0.255446
0.41/0.46	c bounds 0 >= -1623 @ 0.257683
0.41/0.46	c bounds 0 >= -1622 @ 0.259227
0.41/0.46	c bounds 0 >= -1621 @ 0.261561
0.41/0.46	c bounds 0 >= -1620 @ 0.263943
0.41/0.46	c bounds 0 >= -1619 @ 0.266326
0.41/0.46	c bounds 0 >= -1618 @ 0.267707
0.41/0.46	c bounds 0 >= -1617 @ 0.2701
0.41/0.46	c bounds 0 >= -1616 @ 0.272487
0.41/0.46	c bounds 0 >= -1615 @ 0.27487
0.41/0.46	c bounds 0 >= -1614 @ 0.277262
0.41/0.46	c bounds 0 >= -1613 @ 0.27963
0.41/0.46	c bounds 0 >= -1612 @ 0.282008
0.41/0.46	c bounds 0 >= -1611 @ 0.284398
0.41/0.46	c bounds 0 >= -1610 @ 0.285884
0.41/0.46	c bounds 0 >= -1609 @ 0.288224
0.41/0.46	c bounds 0 >= -1608 @ 0.289616
0.41/0.46	c bounds 0 >= -1607 @ 0.292016
0.41/0.46	c bounds 0 >= -1606 @ 0.294402
0.41/0.46	c bounds 0 >= -1605 @ 0.296808
0.41/0.46	c bounds 0 >= -1604 @ 0.299208
0.41/0.46	c bounds 0 >= -1603 @ 0.300623
0.41/0.46	c bounds 0 >= -1602 @ 0.303026
0.41/0.46	c bounds 0 >= -1601 @ 0.305435
0.41/0.46	c bounds 0 >= -1600 @ 0.307852
0.41/0.46	c bounds 0 >= -1599 @ 0.310254
0.41/0.46	c bounds 0 >= -1598 @ 0.311547
0.41/0.46	c bounds 0 >= -1597 @ 0.313814
0.41/0.46	c bounds 0 >= -1596 @ 0.316099
0.41/0.46	c bounds 0 >= -1595 @ 0.317376
0.41/0.46	c bounds 0 >= -1594 @ 0.319678
0.41/0.46	c bounds -1 >= -1594 @ 0.323274
0.41/0.46	c bounds -1 >= -1593 @ 0.325568
0.41/0.46	c bounds -1 >= -1592 @ 0.327917
0.41/0.46	c bounds -1 >= -1591 @ 0.330223
0.41/0.46	c bounds -1 >= -1590 @ 0.332547
0.41/0.46	c bounds -1 >= -1589 @ 0.334855
0.41/0.46	c bounds -1 >= -1588 @ 0.337151
0.41/0.46	c bounds -1 >= -1587 @ 0.338476
0.41/0.46	c bounds -1 >= -1586 @ 0.340771
0.41/0.46	c bounds -1 >= -1585 @ 0.343073
0.41/0.46	c bounds -1 >= -1584 @ 0.344377
0.41/0.46	c bounds -1 >= -1583 @ 0.346699
0.41/0.46	c bounds -1 >= -1582 @ 0.349034
0.41/0.46	c bounds -1 >= -1581 @ 0.350454
0.41/0.46	c bounds -1 >= -1580 @ 0.352901
0.41/0.46	c bounds -1 >= -1579 @ 0.355322
0.41/0.46	c bounds -1 >= -1578 @ 0.357746
0.41/0.46	c bounds -1 >= -1577 @ 0.360188
0.41/0.46	c bounds -1 >= -1576 @ 0.362619
0.41/0.46	c bounds -1 >= -1575 @ 0.365007
0.41/0.46	c bounds -1 >= -1574 @ 0.367336
0.41/0.46	c bounds -1 >= -1573 @ 0.369652
0.41/0.46	c bounds -1 >= -1572 @ 0.371967
0.41/0.46	c bounds -1 >= -1571 @ 0.373294
0.41/0.46	c bounds -1 >= -1570 @ 0.375635
0.41/0.46	c bounds -1 >= -1569 @ 0.377967
0.41/0.46	c bounds -1 >= -1568 @ 0.379392
0.41/0.46	c bounds -1 >= -1567 @ 0.381845
0.41/0.46	c bounds -1 >= -1566 @ 0.384284
0.41/0.46	c bounds -1 >= -1565 @ 0.386718
0.41/0.46	c bounds -1 >= -1564 @ 0.38916
0.41/0.46	c bounds -1 >= -1563 @ 0.39159
0.41/0.46	c bounds -1 >= -1562 @ 0.394051
0.41/0.46	c bounds -1 >= -1561 @ 0.396499
0.41/0.46	c bounds -1 >= -1560 @ 0.398948
0.41/0.46	c bounds -1 >= -1559 @ 0.400499
0.41/0.46	c bounds -1 >= -1558 @ 0.402891
0.41/0.46	c bounds -1 >= -1557 @ 0.404428
0.41/0.46	c bounds -1 >= -1556 @ 0.406826
0.41/0.46	c bounds -1 >= -1555 @ 0.409254
0.69/0.72	c bounds -1 >= -1554 @ 0.410758
0.69/0.72	c bounds -1 >= -1553 @ 0.41317
0.69/0.72	c bounds -1 >= -1552 @ 0.415625
0.69/0.72	c bounds -1 >= -1551 @ 0.418093
0.69/0.72	c bounds -1 >= -1550 @ 0.420447
0.69/0.72	c bounds -1 >= -1549 @ 0.42281
0.69/0.72	c bounds -1 >= -1548 @ 0.424175
0.69/0.72	c bounds -1 >= -1547 @ 0.426519
0.69/0.72	c bounds -1 >= -1546 @ 0.428855
0.69/0.72	c bounds -1 >= -1545 @ 0.430206
0.69/0.72	c bounds -1 >= -1544 @ 0.432566
0.69/0.72	c bounds -1 >= -1543 @ 0.43491
0.69/0.72	c bounds -1 >= -1542 @ 0.437251
0.69/0.72	c bounds -1 >= -1541 @ 0.439592
0.69/0.72	c bounds -1 >= -1540 @ 0.441952
0.69/0.72	c bounds -1 >= -1539 @ 0.444309
0.69/0.72	c bounds -1 >= -1538 @ 0.445728
0.69/0.72	c bounds -1 >= -1537 @ 0.44804
0.69/0.72	c bounds -1 >= -1536 @ 0.450311
0.69/0.72	c bounds -1 >= -1535 @ 0.451253
0.69/0.72	c bounds -2 >= -1535 @ 0.454816
0.69/0.72	c bounds -2 >= -1534 @ 0.45572
0.69/0.72	c bounds -2 >= -1533 @ 0.456584
0.69/0.72	c bounds -2 >= -1532 @ 0.458376
0.69/0.72	c bounds -2 >= -1531 @ 0.460226
0.69/0.72	c bounds -2 >= -1530 @ 0.462077
0.69/0.72	c bounds -2 >= -1529 @ 0.463915
0.69/0.72	c bounds -2 >= -1528 @ 0.46576
0.69/0.72	c bounds -2 >= -1527 @ 0.46665
0.69/0.72	c bounds -2 >= -1526 @ 0.468443
0.69/0.72	c bounds -2 >= -1525 @ 0.470292
0.69/0.72	c bounds -2 >= -1524 @ 0.472133
0.69/0.72	c bounds -2 >= -1523 @ 0.47397
0.69/0.72	c bounds -2 >= -1522 @ 0.475809
0.69/0.72	c bounds -2 >= -1521 @ 0.476751
0.69/0.72	c bounds -2 >= -1520 @ 0.477612
0.69/0.72	c bounds -2 >= -1519 @ 0.479427
0.69/0.72	c bounds -2 >= -1518 @ 0.481262
0.69/0.72	c bounds -2 >= -1517 @ 0.482199
0.69/0.72	c bounds -2 >= -1516 @ 0.483949
0.69/0.72	c bounds -2 >= -1515 @ 0.485783
0.69/0.72	c bounds -2 >= -1514 @ 0.488028
0.69/0.72	c bounds -2 >= -1513 @ 0.48987
0.69/0.72	c bounds -2 >= -1512 @ 0.491698
0.69/0.72	c bounds -2 >= -1511 @ 0.492576
0.69/0.72	c bounds -2 >= -1510 @ 0.494363
0.69/0.72	c bounds -2 >= -1509 @ 0.496208
0.69/0.72	c bounds -2 >= -1508 @ 0.498031
0.69/0.72	c bounds -2 >= -1507 @ 0.499857
0.69/0.72	c bounds -2 >= -1506 @ 0.501677
0.69/0.72	c bounds -2 >= -1505 @ 0.502544
0.69/0.72	c bounds -2 >= -1504 @ 0.504321
0.69/0.72	c bounds -2 >= -1503 @ 0.506145
0.69/0.72	c bounds -2 >= -1502 @ 0.507974
0.69/0.72	c bounds -2 >= -1501 @ 0.509812
0.69/0.72	c bounds -2 >= -1500 @ 0.511649
0.69/0.72	c bounds -2 >= -1499 @ 0.512527
0.69/0.72	c bounds -2 >= -1498 @ 0.514319
0.69/0.72	c bounds -2 >= -1497 @ 0.516147
0.69/0.72	c bounds -2 >= -1496 @ 0.517966
0.69/0.72	c bounds -2 >= -1495 @ 0.519798
0.69/0.72	c bounds -2 >= -1494 @ 0.521629
0.69/0.72	c bounds -2 >= -1493 @ 0.522503
0.69/0.72	c bounds -2 >= -1492 @ 0.524293
0.69/0.72	c bounds -2 >= -1491 @ 0.526126
0.69/0.72	c bounds -3 >= -1491 @ 0.529315
0.69/0.72	c bounds -3 >= -1490 @ 0.531117
0.69/0.72	c bounds -3 >= -1489 @ 0.532972
0.69/0.72	c bounds -3 >= -1488 @ 0.533788
0.69/0.72	c bounds -3 >= -1487 @ 0.535627
0.69/0.72	c bounds -3 >= -1486 @ 0.536494
0.69/0.72	c bounds -3 >= -1485 @ 0.537354
0.69/0.72	c bounds -3 >= -1484 @ 0.539137
0.69/0.72	c bounds -3 >= -1483 @ 0.540975
0.69/0.72	c bounds -3 >= -1482 @ 0.542806
0.69/0.72	c bounds -3 >= -1481 @ 0.544634
0.69/0.72	c bounds -3 >= -1480 @ 0.546488
0.69/0.72	c bounds -3 >= -1479 @ 0.547376
0.69/0.72	c bounds -3 >= -1478 @ 0.549161
0.69/0.72	c bounds -3 >= -1477 @ 0.551001
0.69/0.72	c bounds -3 >= -1476 @ 0.552841
0.69/0.72	c bounds -3 >= -1475 @ 0.554671
0.69/0.72	c bounds -3 >= -1474 @ 0.556494
0.69/0.72	c bounds -3 >= -1473 @ 0.558323
0.69/0.72	c bounds -3 >= -1472 @ 0.560162
0.69/0.72	c bounds -3 >= -1471 @ 0.561995
0.69/0.72	c bounds -3 >= -1470 @ 0.563837
0.69/0.72	c bounds -3 >= -1469 @ 0.565664
0.69/0.72	c bounds -3 >= -1468 @ 0.567503
0.69/0.72	c bounds -3 >= -1467 @ 0.568469
0.69/0.72	c bounds -3 >= -1466 @ 0.569421
0.69/0.72	c bounds -3 >= -1465 @ 0.570377
0.69/0.72	c bounds -3 >= -1464 @ 0.572276
0.69/0.72	c bounds -3 >= -1463 @ 0.574212
0.69/0.72	c bounds -3 >= -1462 @ 0.576058
0.69/0.72	c bounds -3 >= -1461 @ 0.577887
0.69/0.72	c bounds -3 >= -1460 @ 0.579707
0.69/0.72	c bounds -3 >= -1459 @ 0.581536
0.69/0.72	c bounds -3 >= -1458 @ 0.583365
0.69/0.72	c bounds -3 >= -1457 @ 0.58426
0.69/0.72	c bounds -3 >= -1456 @ 0.586036
0.69/0.72	c bounds -3 >= -1455 @ 0.587867
0.69/0.72	c bounds -3 >= -1454 @ 0.5897
0.69/0.72	c bounds -3 >= -1453 @ 0.591533
0.69/0.72	c bounds -32 >= -1453 @ 0.595401
0.69/0.72	c bounds -32 >= -1452 @ 0.597235
0.69/0.72	c bounds -32 >= -1451 @ 0.599089
0.69/0.72	c bounds -32 >= -1450 @ 0.600919
0.69/0.72	c bounds -32 >= -1449 @ 0.602747
0.69/0.72	c bounds -32 >= -1448 @ 0.604577
0.69/0.72	c bounds -32 >= -1447 @ 0.606414
0.69/0.72	c bounds -32 >= -1446 @ 0.608255
0.69/0.72	c bounds -32 >= -1445 @ 0.610097
0.69/0.72	c bounds -32 >= -1444 @ 0.611927
0.69/0.72	c bounds -32 >= -1443 @ 0.613765
0.69/0.72	c bounds -32 >= -1442 @ 0.6156
0.69/0.72	c bounds -32 >= -1441 @ 0.617438
0.69/0.72	c bounds -32 >= -1440 @ 0.618327
0.69/0.72	c bounds -32 >= -1439 @ 0.620127
0.69/0.72	c bounds -32 >= -1438 @ 0.621964
0.69/0.72	c bounds -32 >= -1437 @ 0.623815
0.69/0.72	c bounds -32 >= -1436 @ 0.625657
0.69/0.72	c bounds -32 >= -1435 @ 0.626515
0.69/0.72	c bounds -32 >= -1434 @ 0.628467
0.69/0.72	c bounds -32 >= -1433 @ 0.630426
0.69/0.72	c bounds -32 >= -1432 @ 0.631323
0.69/0.72	c bounds -32 >= -1431 @ 0.632201
0.89/0.97	c bounds -32 >= -1430 @ 0.634028
0.89/0.97	c bounds -32 >= -1429 @ 0.635894
0.89/0.97	c bounds -32 >= -1428 @ 0.637753
0.89/0.97	c bounds -32 >= -1427 @ 0.639607
0.89/0.97	c bounds -32 >= -1426 @ 0.64147
0.89/0.97	c bounds -32 >= -1425 @ 0.643322
0.89/0.97	c bounds -32 >= -1424 @ 0.644222
0.89/0.97	c bounds -32 >= -1423 @ 0.645103
0.89/0.97	c bounds -32 >= -1422 @ 0.646897
0.89/0.97	c bounds -32 >= -1421 @ 0.648773
0.89/0.97	c bounds -32 >= -1420 @ 0.650626
0.89/0.97	c bounds -32 >= -1419 @ 0.652488
0.89/0.97	c bounds -32 >= -1418 @ 0.654351
0.89/0.97	c bounds -32 >= -1417 @ 0.655254
0.89/0.97	c bounds -32 >= -1416 @ 0.656139
0.89/0.97	c bounds -32 >= -1415 @ 0.657958
0.89/0.97	c bounds -32 >= -1414 @ 0.659845
0.89/0.97	c bounds -32 >= -1413 @ 0.661776
0.89/0.97	c bounds -32 >= -1412 @ 0.663648
0.89/0.97	c bounds -32 >= -1411 @ 0.665517
0.89/0.97	c bounds -32 >= -1410 @ 0.667383
0.89/0.97	c bounds -32 >= -1409 @ 0.66925
0.89/0.97	c bounds -32 >= -1408 @ 0.670159
0.89/0.97	c bounds -32 >= -1407 @ 0.671979
0.89/0.97	c bounds -32 >= -1406 @ 0.673844
0.89/0.97	c bounds -32 >= -1405 @ 0.675722
0.89/0.97	c bounds -32 >= -1404 @ 0.677588
0.89/0.97	c bounds -33 >= -1404 @ 0.679995
0.89/0.97	c bounds -33 >= -1403 @ 0.681551
0.89/0.97	c bounds -33 >= -1402 @ 0.683404
0.89/0.97	c bounds -33 >= -1401 @ 0.685264
0.89/0.97	c bounds -33 >= -1400 @ 0.686165
0.89/0.97	c bounds -33 >= -1399 @ 0.686443
0.89/0.97	c bounds -33 >= -1398 @ 0.68792
0.89/0.97	c bounds -33 >= -1397 @ 0.689824
0.89/0.97	c bounds -33 >= -1396 @ 0.691669
0.89/0.97	c bounds -33 >= -1395 @ 0.693511
0.89/0.97	c bounds -33 >= -1394 @ 0.695378
0.89/0.97	c bounds -33 >= -1393 @ 0.697229
0.89/0.97	c bounds -33 >= -1392 @ 0.698143
0.89/0.97	c bounds -33 >= -1391 @ 0.69902
0.89/0.97	c bounds -33 >= -1390 @ 0.700854
0.89/0.97	c bounds -33 >= -1389 @ 0.702719
0.89/0.97	c bounds -33 >= -1388 @ 0.704574
0.89/0.97	c bounds -33 >= -1387 @ 0.70643
0.89/0.97	c bounds -33 >= -1386 @ 0.708286
0.89/0.97	c bounds -33 >= -1385 @ 0.71015
0.89/0.97	c bounds -33 >= -1384 @ 0.711055
0.89/0.97	c bounds -33 >= -1383 @ 0.713275
0.89/0.97	c bounds -33 >= -1382 @ 0.715124
0.89/0.97	c bounds -33 >= -1381 @ 0.7161
0.89/0.97	c bounds -33 >= -1380 @ 0.71705
0.89/0.97	c bounds -33 >= -1379 @ 0.718946
0.89/0.97	c bounds -33 >= -1378 @ 0.720872
0.89/0.97	c bounds -33 >= -1377 @ 0.722726
0.89/0.97	c bounds -33 >= -1376 @ 0.724592
0.89/0.97	c bounds -33 >= -1375 @ 0.726434
0.89/0.97	c bounds -33 >= -1374 @ 0.728277
0.89/0.97	c bounds -33 >= -1373 @ 0.730121
0.89/0.97	c bounds -33 >= -1372 @ 0.731018
0.89/0.97	c bounds -33 >= -1371 @ 0.732828
0.89/0.97	c bounds -33 >= -1370 @ 0.734669
0.89/0.97	c bounds -33 >= -1369 @ 0.736511
0.89/0.97	c bounds -34 >= -1369 @ 0.740015
0.89/0.97	c bounds -34 >= -1368 @ 0.740893
0.89/0.97	c bounds -34 >= -1367 @ 0.742693
0.89/0.97	c bounds -34 >= -1366 @ 0.744561
0.89/0.97	c bounds -34 >= -1365 @ 0.746405
0.89/0.97	c bounds -34 >= -1364 @ 0.747248
0.89/0.97	c bounds -34 >= -1363 @ 0.749097
0.89/0.97	c bounds -34 >= -1362 @ 0.749979
0.89/0.97	c bounds -34 >= -1361 @ 0.751789
0.89/0.97	c bounds -34 >= -1360 @ 0.753638
0.89/0.97	c bounds -34 >= -1359 @ 0.755493
0.89/0.97	c bounds -34 >= -1358 @ 0.757361
0.89/0.97	c bounds -34 >= -1357 @ 0.759212
0.89/0.97	c bounds -34 >= -1356 @ 0.76108
0.89/0.97	c bounds -34 >= -1355 @ 0.761978
0.89/0.97	c bounds -34 >= -1354 @ 0.762852
0.89/0.97	c bounds -34 >= -1353 @ 0.764649
0.89/0.97	c bounds -34 >= -1352 @ 0.766501
0.89/0.97	c bounds -34 >= -1351 @ 0.767472
0.89/0.97	c bounds -34 >= -1350 @ 0.769233
0.89/0.97	c bounds -34 >= -1349 @ 0.771083
0.89/0.97	c bounds -34 >= -1348 @ 0.77292
0.89/0.97	c bounds -34 >= -1347 @ 0.773825
0.89/0.97	c bounds -34 >= -1346 @ 0.775613
0.89/0.97	c bounds -34 >= -1345 @ 0.777455
0.89/0.97	c bounds -34 >= -1344 @ 0.779303
0.89/0.97	c bounds -34 >= -1343 @ 0.781149
0.89/0.97	c bounds -34 >= -1342 @ 0.783011
0.89/0.97	c bounds -34 >= -1341 @ 0.783992
0.89/0.97	c bounds -34 >= -1340 @ 0.784957
0.89/0.97	c bounds -34 >= -1339 @ 0.785909
0.89/0.97	c bounds -34 >= -1338 @ 0.786784
0.89/0.97	c bounds -34 >= -1337 @ 0.788577
0.89/0.97	c bounds -34 >= -1336 @ 0.790423
0.89/0.97	c bounds -35 >= -1336 @ 0.793059
0.89/0.97	c bounds -35 >= -1335 @ 0.794937
0.89/0.97	c bounds -35 >= -1334 @ 0.795923
0.89/0.97	c bounds -35 >= -1333 @ 0.796147
0.89/0.97	c bounds -35 >= -1332 @ 0.797604
0.89/0.97	c bounds -35 >= -1331 @ 0.799455
0.89/0.97	c bounds -35 >= -1330 @ 0.801295
0.89/0.97	c bounds -35 >= -1329 @ 0.803147
0.89/0.97	c bounds -35 >= -1328 @ 0.804998
0.89/0.97	c bounds -35 >= -1327 @ 0.806877
0.89/0.97	c bounds -35 >= -1326 @ 0.807872
0.89/0.97	c bounds -35 >= -1325 @ 0.808831
0.89/0.97	c bounds -35 >= -1324 @ 0.809803
0.89/0.97	c bounds -35 >= -1323 @ 0.810771
0.89/0.97	c bounds -35 >= -1322 @ 0.811739
0.89/0.97	c bounds -35 >= -1321 @ 0.813629
0.89/0.97	c bounds -35 >= -1320 @ 0.815573
0.89/0.97	c bounds -35 >= -1319 @ 0.817529
0.89/0.97	c bounds -35 >= -1318 @ 0.819478
0.89/0.97	c bounds -35 >= -1317 @ 0.821421
0.89/0.97	c bounds -35 >= -1316 @ 0.823363
0.89/0.97	c bounds -35 >= -1315 @ 0.82531
0.89/0.97	c bounds -35 >= -1314 @ 0.827254
0.89/0.97	c bounds -35 >= -1313 @ 0.829197
0.89/0.97	c bounds -35 >= -1312 @ 0.831138
0.89/0.97	c bounds -35 >= -1311 @ 0.833086
0.89/0.97	c bounds -35 >= -1310 @ 0.835032
0.89/0.97	c bounds -35 >= -1309 @ 0.836984
1.10/1.19	c bounds -35 >= -1308 @ 0.83894
1.10/1.19	c bounds -35 >= -1307 @ 0.840894
1.10/1.19	c bounds -35 >= -1306 @ 0.842841
1.10/1.19	c bounds -35 >= -1305 @ 0.84478
1.10/1.19	c bounds -35 >= -1304 @ 0.845772
1.10/1.19	c bounds -35 >= -1303 @ 0.846728
1.10/1.19	c bounds -35 >= -1302 @ 0.847679
1.10/1.19	c bounds -35 >= -1301 @ 0.849487
1.10/1.19	c bounds -53 >= -1301 @ 0.854568
1.10/1.19	c bounds -53 >= -1300 @ 0.856394
1.10/1.19	c bounds -53 >= -1299 @ 0.858389
1.10/1.19	c bounds -53 >= -1298 @ 0.859914
1.10/1.19	c bounds -53 >= -1297 @ 0.861444
1.10/1.19	c bounds -53 >= -1296 @ 0.862981
1.10/1.19	c bounds -53 >= -1295 @ 0.864505
1.10/1.19	c bounds -53 >= -1294 @ 0.866038
1.10/1.19	c bounds -53 >= -1293 @ 0.867568
1.10/1.19	c bounds -53 >= -1292 @ 0.869097
1.10/1.19	c bounds -53 >= -1291 @ 0.870614
1.10/1.19	c bounds -53 >= -1290 @ 0.872137
1.10/1.19	c bounds -53 >= -1289 @ 0.873654
1.10/1.19	c bounds -53 >= -1288 @ 0.874282
1.10/1.19	c bounds -53 >= -1287 @ 0.875727
1.10/1.19	c bounds -53 >= -1286 @ 0.876311
1.10/1.19	c bounds -53 >= -1285 @ 0.877755
1.10/1.19	c bounds -53 >= -1284 @ 0.878351
1.10/1.19	c bounds -53 >= -1283 @ 0.879794
1.10/1.19	c bounds -53 >= -1282 @ 0.880384
1.10/1.19	c bounds -53 >= -1281 @ 0.881824
1.10/1.19	c bounds -53 >= -1280 @ 0.882412
1.10/1.19	c bounds -53 >= -1279 @ 0.883853
1.10/1.19	c bounds -53 >= -1278 @ 0.885371
1.10/1.19	c bounds -53 >= -1277 @ 0.88688
1.10/1.19	c bounds -53 >= -1276 @ 0.888395
1.10/1.19	c bounds -53 >= -1275 @ 0.889987
1.10/1.19	c bounds -53 >= -1274 @ 0.891517
1.10/1.19	c bounds -53 >= -1273 @ 0.893036
1.10/1.19	c bounds -53 >= -1272 @ 0.894566
1.10/1.19	c bounds -53 >= -1271 @ 0.896105
1.10/1.19	c bounds -53 >= -1270 @ 0.897624
1.10/1.19	c bounds -53 >= -1269 @ 0.899149
1.10/1.19	c bounds -53 >= -1268 @ 0.900675
1.10/1.19	c bounds -53 >= -1267 @ 0.901297
1.10/1.19	c bounds -53 >= -1266 @ 0.902747
1.10/1.19	c bounds -53 >= -1265 @ 0.903344
1.10/1.19	c bounds -53 >= -1264 @ 0.904801
1.10/1.19	c bounds -53 >= -1263 @ 0.906323
1.10/1.19	c bounds -53 >= -1262 @ 0.907844
1.10/1.19	c bounds -53 >= -1261 @ 0.909369
1.10/1.19	c bounds -53 >= -1260 @ 0.910897
1.10/1.19	c bounds -53 >= -1259 @ 0.912417
1.10/1.19	c bounds -53 >= -1258 @ 0.91307
1.10/1.19	c bounds -53 >= -1257 @ 0.91452
1.10/1.19	c bounds -54 >= -1257 @ 0.917555
1.10/1.19	c bounds -54 >= -1256 @ 0.918178
1.10/1.19	c bounds -54 >= -1255 @ 0.919634
1.10/1.19	c bounds -54 >= -1254 @ 0.921118
1.10/1.19	c bounds -54 >= -1253 @ 0.92264
1.10/1.19	c bounds -54 >= -1252 @ 0.923254
1.10/1.19	c bounds -54 >= -1251 @ 0.924704
1.10/1.19	c bounds -54 >= -1250 @ 0.925316
1.10/1.19	c bounds -54 >= -1249 @ 0.926773
1.10/1.19	c bounds -54 >= -1248 @ 0.928291
1.10/1.19	c bounds -54 >= -1247 @ 0.929807
1.10/1.19	c bounds -54 >= -1246 @ 0.931334
1.10/1.19	c bounds -54 >= -1245 @ 0.932858
1.10/1.19	c bounds -54 >= -1244 @ 0.934389
1.10/1.19	c bounds -54 >= -1243 @ 0.935909
1.10/1.19	c bounds -54 >= -1242 @ 0.937437
1.10/1.19	c bounds -54 >= -1241 @ 0.938969
1.10/1.19	c bounds -54 >= -1240 @ 0.940489
1.10/1.19	c bounds -54 >= -1239 @ 0.941126
1.10/1.19	c bounds -54 >= -1238 @ 0.942576
1.10/1.19	c bounds -54 >= -1237 @ 0.943176
1.10/1.19	c bounds -54 >= -1236 @ 0.944635
1.10/1.19	c bounds -54 >= -1235 @ 0.946135
1.10/1.19	c bounds -54 >= -1234 @ 0.947656
1.10/1.19	c bounds -54 >= -1233 @ 0.949183
1.10/1.19	c bounds -54 >= -1232 @ 0.95072
1.10/1.19	c bounds -54 >= -1231 @ 0.952311
1.10/1.19	c bounds -54 >= -1230 @ 0.953848
1.10/1.19	c bounds -54 >= -1229 @ 0.95538
1.10/1.19	c bounds -54 >= -1228 @ 0.956962
1.10/1.19	c bounds -54 >= -1227 @ 0.958473
1.10/1.19	c bounds -73 >= -1227 @ 0.960722
1.10/1.19	c bounds -73 >= -1226 @ 0.962268
1.10/1.19	c bounds -73 >= -1225 @ 0.96379
1.10/1.19	c bounds -73 >= -1224 @ 0.965385
1.10/1.19	c bounds -73 >= -1223 @ 0.96693
1.10/1.19	c bounds -73 >= -1222 @ 0.967972
1.10/1.19	c bounds -73 >= -1221 @ 0.969411
1.10/1.19	c bounds -73 >= -1220 @ 0.970948
1.10/1.19	c bounds -73 >= -1219 @ 0.972533
1.10/1.19	c bounds -73 >= -1218 @ 0.973143
1.10/1.19	c bounds -73 >= -1217 @ 0.97458
1.10/1.19	c bounds -73 >= -1216 @ 0.975166
1.10/1.19	c bounds -73 >= -1215 @ 0.976607
1.10/1.19	c bounds -73 >= -1214 @ 0.976695
1.10/1.19	c bounds -73 >= -1213 @ 0.977081
1.10/1.19	c bounds -73 >= -1212 @ 0.978616
1.10/1.19	c bounds -73 >= -1211 @ 0.980146
1.10/1.19	c bounds -73 >= -1210 @ 0.981642
1.10/1.19	c bounds -73 >= -1209 @ 0.983157
1.10/1.19	c bounds -73 >= -1208 @ 0.984668
1.10/1.19	c bounds -73 >= -1207 @ 0.986183
1.10/1.19	c bounds -73 >= -1206 @ 0.987695
1.10/1.19	c bounds -73 >= -1205 @ 0.989211
1.10/1.19	c bounds -73 >= -1204 @ 0.990717
1.10/1.19	c bounds -73 >= -1203 @ 0.992221
1.10/1.19	c bounds -73 >= -1202 @ 0.993751
1.10/1.19	c bounds -73 >= -1201 @ 0.995256
1.10/1.19	c bounds -73 >= -1200 @ 0.996764
1.10/1.19	c bounds -73 >= -1199 @ 0.998272
1.10/1.19	c bounds -73 >= -1198 @ 0.999789
1.10/1.19	c bounds -74 >= -1198 @ 1.00202
1.10/1.19	c bounds -74 >= -1197 @ 1.00355
1.10/1.19	c bounds -74 >= -1196 @ 1.00508
1.10/1.19	c bounds -74 >= -1195 @ 1.0066
1.10/1.19	c bounds -74 >= -1194 @ 1.00811
1.10/1.19	c bounds -74 >= -1193 @ 1.00961
1.10/1.19	c bounds -74 >= -1192 @ 1.01112
1.10/1.19	c bounds -74 >= -1191 @ 1.01263
1.10/1.19	c bounds -74 >= -1190 @ 1.01416
1.10/1.19	c bounds -74 >= -1189 @ 1.01569
1.10/1.19	c bounds -74 >= -1188 @ 1.01722
1.38/1.43	c bounds -74 >= -1187 @ 1.01875
1.38/1.43	c bounds -74 >= -1186 @ 1.02028
1.38/1.43	c bounds -74 >= -1185 @ 1.02181
1.38/1.43	c bounds -74 >= -1184 @ 1.02335
1.38/1.43	c bounds -74 >= -1183 @ 1.02399
1.38/1.43	c bounds -74 >= -1182 @ 1.02545
1.38/1.43	c bounds -74 >= -1181 @ 1.02607
1.38/1.43	c bounds -74 >= -1180 @ 1.02755
1.38/1.43	c bounds -74 >= -1179 @ 1.02911
1.38/1.43	c bounds -74 >= -1178 @ 1.03068
1.38/1.43	c bounds -74 >= -1177 @ 1.03224
1.38/1.43	c bounds -74 >= -1176 @ 1.03291
1.38/1.43	c bounds -74 >= -1175 @ 1.0344
1.38/1.43	c bounds -74 >= -1174 @ 1.03504
1.38/1.43	c bounds -74 >= -1173 @ 1.03653
1.38/1.43	c bounds -74 >= -1172 @ 1.03819
1.38/1.43	c bounds -74 >= -1171 @ 1.03894
1.38/1.43	c bounds -74 >= -1170 @ 1.04051
1.38/1.43	c bounds -74 >= -1169 @ 1.04216
1.38/1.43	c bounds -75 >= -1169 @ 1.04719
1.38/1.43	c bounds -75 >= -1168 @ 1.04791
1.38/1.43	c bounds -75 >= -1167 @ 1.04942
1.38/1.43	c bounds -75 >= -1166 @ 1.05008
1.38/1.43	c bounds -75 >= -1165 @ 1.05162
1.38/1.43	c bounds -75 >= -1164 @ 1.05322
1.38/1.43	c bounds -75 >= -1163 @ 1.05391
1.38/1.43	c bounds -75 >= -1162 @ 1.05542
1.38/1.43	c bounds -75 >= -1161 @ 1.05704
1.38/1.43	c bounds -75 >= -1160 @ 1.05863
1.38/1.43	c bounds -75 >= -1159 @ 1.06025
1.38/1.43	c bounds -75 >= -1158 @ 1.06094
1.38/1.43	c bounds -75 >= -1157 @ 1.06245
1.38/1.43	c bounds -75 >= -1156 @ 1.06407
1.38/1.43	c bounds -75 >= -1155 @ 1.06567
1.38/1.43	c bounds -75 >= -1154 @ 1.06727
1.38/1.43	c bounds -75 >= -1153 @ 1.06796
1.38/1.43	c bounds -75 >= -1152 @ 1.06951
1.38/1.43	c bounds -75 >= -1151 @ 1.07111
1.38/1.43	c bounds -76 >= -1151 @ 1.07192
1.38/1.43	c bounds -76 >= -1150 @ 1.07348
1.38/1.43	c bounds -76 >= -1149 @ 1.07509
1.38/1.43	c bounds -76 >= -1148 @ 1.07581
1.38/1.43	c bounds -76 >= -1147 @ 1.07733
1.38/1.43	c bounds -76 >= -1146 @ 1.07802
1.38/1.43	c bounds -76 >= -1145 @ 1.07957
1.38/1.43	c bounds -76 >= -1144 @ 1.08118
1.38/1.43	c bounds -76 >= -1143 @ 1.0819
1.38/1.43	c bounds -76 >= -1142 @ 1.08292
1.38/1.43	c bounds -76 >= -1141 @ 1.08349
1.38/1.43	c bounds -76 >= -1140 @ 1.08512
1.38/1.43	c bounds -76 >= -1139 @ 1.08585
1.38/1.43	c bounds -76 >= -1138 @ 1.08739
1.38/1.43	c bounds -76 >= -1137 @ 1.08905
1.38/1.43	c bounds -76 >= -1136 @ 1.0898
1.38/1.43	c bounds -76 >= -1135 @ 1.09135
1.38/1.43	c bounds -76 >= -1134 @ 1.09299
1.38/1.43	c bounds -77 >= -1134 @ 1.09617
1.38/1.43	c bounds -77 >= -1133 @ 1.09784
1.38/1.43	c bounds -77 >= -1132 @ 1.0995
1.38/1.43	c bounds -77 >= -1131 @ 1.10115
1.38/1.43	c bounds -77 >= -1130 @ 1.10189
1.38/1.43	c bounds -77 >= -1129 @ 1.10347
1.38/1.43	c bounds -77 >= -1128 @ 1.10518
1.38/1.43	c bounds -77 >= -1127 @ 1.10691
1.38/1.43	c bounds -77 >= -1126 @ 1.10866
1.38/1.43	c bounds -77 >= -1125 @ 1.11034
1.38/1.43	c bounds -77 >= -1124 @ 1.11202
1.38/1.43	c bounds -77 >= -1123 @ 1.11366
1.38/1.43	c bounds -77 >= -1122 @ 1.11533
1.38/1.43	c bounds -77 >= -1121 @ 1.11702
1.38/1.43	c bounds -77 >= -1120 @ 1.1178
1.38/1.43	c bounds -77 >= -1119 @ 1.11938
1.38/1.43	c bounds -77 >= -1118 @ 1.12106
1.38/1.43	c bounds -78 >= -1118 @ 1.12288
1.38/1.43	c bounds -78 >= -1117 @ 1.12449
1.38/1.43	c bounds -78 >= -1116 @ 1.12617
1.38/1.43	c bounds -78 >= -1115 @ 1.12785
1.38/1.43	c bounds -78 >= -1114 @ 1.12952
1.38/1.43	c bounds -78 >= -1113 @ 1.13121
1.38/1.43	c bounds -78 >= -1112 @ 1.13196
1.38/1.43	c bounds -78 >= -1111 @ 1.1327
1.38/1.43	c bounds -78 >= -1110 @ 1.13428
1.38/1.43	c bounds -78 >= -1109 @ 1.13607
1.38/1.43	c bounds -78 >= -1108 @ 1.13685
1.38/1.43	c bounds -78 >= -1107 @ 1.13848
1.38/1.43	c bounds -78 >= -1106 @ 1.14018
1.38/1.43	c bounds -78 >= -1105 @ 1.14095
1.38/1.43	c bounds -78 >= -1104 @ 1.1417
1.38/1.43	c bounds -78 >= -1103 @ 1.14329
1.38/1.43	c bounds -78 >= -1102 @ 1.14499
1.38/1.43	c bounds -79 >= -1102 @ 1.14991
1.38/1.43	c bounds -79 >= -1101 @ 1.15073
1.38/1.43	c bounds -79 >= -1100 @ 1.15234
1.38/1.43	c bounds -79 >= -1099 @ 1.15404
1.38/1.43	c bounds -79 >= -1098 @ 1.15575
1.38/1.43	c bounds -79 >= -1097 @ 1.15747
1.38/1.43	c bounds -79 >= -1096 @ 1.15917
1.38/1.43	c bounds -79 >= -1095 @ 1.16088
1.38/1.43	c bounds -79 >= -1094 @ 1.16169
1.38/1.43	c bounds -79 >= -1093 @ 1.16334
1.38/1.43	c bounds -79 >= -1092 @ 1.16505
1.38/1.43	c bounds -79 >= -1091 @ 1.16583
1.38/1.43	c bounds -79 >= -1090 @ 1.1675
1.38/1.43	c bounds -79 >= -1089 @ 1.16825
1.38/1.43	c bounds -79 >= -1088 @ 1.17
1.38/1.43	c bounds -79 >= -1087 @ 1.17081
1.38/1.43	c bounds -79 >= -1086 @ 1.17158
1.38/1.43	c bounds -79 >= -1085 @ 1.17321
1.38/1.43	c bounds -80 >= -1085 @ 1.17575
1.38/1.43	c bounds -80 >= -1084 @ 1.17663
1.38/1.43	c bounds -80 >= -1083 @ 1.17829
1.38/1.43	c bounds -80 >= -1082 @ 1.18007
1.38/1.43	c bounds -80 >= -1081 @ 1.18086
1.38/1.43	c bounds -80 >= -1080 @ 1.18166
1.38/1.43	c bounds -80 >= -1079 @ 1.1833
1.38/1.43	c bounds -80 >= -1078 @ 1.18506
1.38/1.43	c bounds -80 >= -1077 @ 1.18588
1.38/1.43	c bounds -80 >= -1076 @ 1.18619
1.38/1.43	c bounds -80 >= -1075 @ 1.18738
1.38/1.43	c bounds -80 >= -1074 @ 1.18914
1.38/1.43	c bounds -80 >= -1073 @ 1.19093
1.38/1.43	c bounds -80 >= -1072 @ 1.19179
1.38/1.43	c bounds -80 >= -1071 @ 1.1935
1.38/1.43	c bounds -80 >= -1070 @ 1.19538
1.38/1.43	c bounds -80 >= -1069 @ 1.19725
1.38/1.43	c bounds -80 >= -1068 @ 1.19912
1.38/1.43	c bounds -80 >= -1067 @ 1.201
1.38/1.43	c bounds -80 >= -1066 @ 1.20193
1.69/1.70	c bounds -81 >= -1066 @ 1.20456
1.69/1.70	c bounds -81 >= -1065 @ 1.20685
1.69/1.70	c bounds -81 >= -1064 @ 1.20714
1.69/1.70	c bounds -81 >= -1063 @ 1.20851
1.69/1.70	c bounds -81 >= -1062 @ 1.21033
1.69/1.70	c bounds -81 >= -1061 @ 1.21113
1.69/1.70	c bounds -81 >= -1060 @ 1.21295
1.69/1.70	c bounds -81 >= -1059 @ 1.2138
1.69/1.70	c bounds -81 >= -1058 @ 1.21464
1.69/1.70	c bounds -81 >= -1057 @ 1.21548
1.69/1.70	c bounds -81 >= -1056 @ 1.21716
1.69/1.70	c bounds -81 >= -1055 @ 1.21801
1.69/1.70	c bounds -81 >= -1054 @ 1.21886
1.69/1.70	c bounds -81 >= -1053 @ 1.21974
1.69/1.70	c bounds -81 >= -1052 @ 1.22058
1.69/1.70	c bounds -81 >= -1051 @ 1.22229
1.69/1.70	c bounds -82 >= -1051 @ 1.22411
1.69/1.70	c bounds -82 >= -1050 @ 1.22582
1.69/1.70	c bounds -82 >= -1049 @ 1.22674
1.69/1.70	c bounds -82 >= -1048 @ 1.2276
1.69/1.70	c bounds -82 >= -1047 @ 1.22847
1.69/1.70	c bounds -82 >= -1046 @ 1.23021
1.69/1.70	c bounds -82 >= -1045 @ 1.23205
1.69/1.70	c bounds -82 >= -1044 @ 1.23387
1.69/1.70	c bounds -82 >= -1043 @ 1.23571
1.69/1.70	c bounds -82 >= -1042 @ 1.23663
1.69/1.70	c bounds -82 >= -1041 @ 1.23708
1.69/1.70	c bounds -82 >= -1040 @ 1.23827
1.69/1.70	c bounds -82 >= -1039 @ 1.24009
1.69/1.70	c bounds -82 >= -1038 @ 1.24195
1.69/1.70	c bounds -82 >= -1037 @ 1.24284
1.69/1.70	c bounds -83 >= -1037 @ 1.2445
1.69/1.70	c bounds -83 >= -1036 @ 1.24627
1.69/1.70	c bounds -83 >= -1035 @ 1.24814
1.69/1.70	c bounds -83 >= -1034 @ 1.24999
1.69/1.70	c bounds -83 >= -1033 @ 1.25184
1.69/1.70	c bounds -83 >= -1032 @ 1.25291
1.69/1.70	c bounds -83 >= -1031 @ 1.2537
1.69/1.70	c bounds -83 >= -1030 @ 1.2545
1.69/1.70	c bounds -83 >= -1029 @ 1.25615
1.69/1.70	c bounds -83 >= -1028 @ 1.25792
1.69/1.70	c bounds -83 >= -1027 @ 1.25881
1.69/1.70	c bounds -83 >= -1026 @ 1.25967
1.69/1.70	c bounds -83 >= -1025 @ 1.26145
1.69/1.70	c bounds -83 >= -1024 @ 1.26242
1.69/1.70	c bounds -83 >= -1023 @ 1.26408
1.69/1.70	c bounds -84 >= -1023 @ 1.26654
1.69/1.70	c bounds -84 >= -1022 @ 1.26827
1.69/1.70	c bounds -84 >= -1021 @ 1.27004
1.69/1.70	c bounds -84 >= -1020 @ 1.27085
1.69/1.70	c bounds -84 >= -1019 @ 1.27167
1.69/1.70	c bounds -84 >= -1018 @ 1.27341
1.69/1.70	c bounds -84 >= -1017 @ 1.2752
1.69/1.70	c bounds -84 >= -1016 @ 1.27702
1.69/1.70	c bounds -84 >= -1015 @ 1.27879
1.69/1.70	c bounds -84 >= -1014 @ 1.27965
1.69/1.70	c bounds -84 >= -1013 @ 1.28137
1.69/1.70	c bounds -84 >= -1012 @ 1.28231
1.69/1.70	c bounds -84 >= -1011 @ 1.28401
1.69/1.70	c bounds -84 >= -1010 @ 1.28583
1.69/1.70	c bounds -85 >= -1010 @ 1.28844
1.69/1.70	c bounds -85 >= -1009 @ 1.28937
1.69/1.70	c bounds -85 >= -1008 @ 1.29109
1.69/1.70	c bounds -85 >= -1007 @ 1.29293
1.69/1.70	c bounds -85 >= -1006 @ 1.29477
1.69/1.70	c bounds -85 >= -1005 @ 1.29566
1.69/1.70	c bounds -85 >= -1004 @ 1.29654
1.69/1.70	c bounds -85 >= -1003 @ 1.2974
1.69/1.70	c bounds -85 >= -1002 @ 1.29913
1.69/1.70	c bounds -85 >= -1001 @ 1.30098
1.69/1.70	c bounds -85 >= -1000 @ 1.30281
1.69/1.70	c bounds -85 >= -999 @ 1.30467
1.69/1.70	c bounds -86 >= -999 @ 1.30698
1.69/1.70	c bounds -86 >= -998 @ 1.30786
1.69/1.70	c bounds -86 >= -997 @ 1.30973
1.69/1.70	c bounds -86 >= -996 @ 1.31159
1.69/1.70	c bounds -86 >= -995 @ 1.31254
1.69/1.70	c bounds -86 >= -994 @ 1.31343
1.69/1.70	c bounds -86 >= -993 @ 1.31521
1.69/1.70	c bounds -86 >= -992 @ 1.31716
1.69/1.70	c bounds -86 >= -991 @ 1.31826
1.69/1.70	c bounds -86 >= -990 @ 1.32009
1.69/1.70	c bounds -86 >= -989 @ 1.32205
1.69/1.70	c bounds -87 >= -989 @ 1.3234
1.69/1.70	c bounds -87 >= -988 @ 1.32387
1.69/1.70	c bounds -87 >= -987 @ 1.32519
1.69/1.70	c bounds -87 >= -986 @ 1.32621
1.69/1.70	c bounds -87 >= -985 @ 1.32799
1.69/1.70	c bounds -87 >= -984 @ 1.32988
1.69/1.70	c bounds -87 >= -983 @ 1.33178
1.69/1.70	c bounds -87 >= -982 @ 1.3327
1.69/1.70	c bounds -87 >= -981 @ 1.33285
1.69/1.70	c bounds -87 >= -980 @ 1.33356
1.69/1.70	c bounds -87 >= -979 @ 1.33541
1.69/1.70	c bounds -88 >= -979 @ 1.33669
1.69/1.70	c bounds -88 >= -978 @ 1.33766
1.69/1.70	c bounds -88 >= -977 @ 1.33955
1.69/1.70	c bounds -88 >= -976 @ 1.34053
1.69/1.70	c bounds -88 >= -975 @ 1.34147
1.69/1.70	c bounds -88 >= -974 @ 1.34184
1.69/1.70	c bounds -88 >= -973 @ 1.34324
1.69/1.70	c bounds -88 >= -972 @ 1.34516
1.69/1.70	c bounds -88 >= -971 @ 1.34622
1.69/1.70	c bounds -88 >= -970 @ 1.34804
1.69/1.70	c bounds -88 >= -969 @ 1.34999
1.69/1.70	c bounds -89 >= -969 @ 1.35136
1.69/1.70	c bounds -89 >= -968 @ 1.35237
1.69/1.70	c bounds -89 >= -967 @ 1.35334
1.69/1.70	c bounds -89 >= -966 @ 1.35537
1.69/1.70	c bounds -89 >= -965 @ 1.35735
1.69/1.70	c bounds -89 >= -964 @ 1.3584
1.69/1.70	c bounds -89 >= -963 @ 1.35938
1.69/1.70	c bounds -89 >= -962 @ 1.36036
1.69/1.70	c bounds -89 >= -961 @ 1.36224
1.69/1.70	c bounds -89 >= -960 @ 1.36332
1.69/1.70	c bounds -90 >= -960 @ 1.36661
1.69/1.70	c bounds -90 >= -959 @ 1.36766
1.69/1.70	c bounds -90 >= -958 @ 1.36867
1.69/1.70	c bounds -90 >= -957 @ 1.36965
1.69/1.70	c bounds -90 >= -956 @ 1.37161
1.69/1.70	c bounds -90 >= -955 @ 1.37263
1.69/1.70	c bounds -90 >= -954 @ 1.37362
1.69/1.70	c bounds -90 >= -953 @ 1.37463
1.69/1.70	c bounds -90 >= -952 @ 1.37562
1.69/1.70	c bounds -90 >= -951 @ 1.37662
1.69/1.70	c bounds -91 >= -951 @ 1.37792
1.69/1.70	c bounds -91 >= -950 @ 1.37997
1.69/1.70	c bounds -91 >= -949 @ 1.38114
1.69/1.70	c bounds -91 >= -948 @ 1.38218
1.69/1.70	c bounds -91 >= -947 @ 1.38319
2.00/2.02	c bounds -91 >= -946 @ 1.38423
2.00/2.02	c bounds -91 >= -945 @ 1.38524
2.00/2.02	c bounds -91 >= -944 @ 1.38717
2.00/2.02	c bounds -91 >= -943 @ 1.38831
2.00/2.02	c bounds -91 >= -942 @ 1.38933
2.00/2.02	c bounds -92 >= -942 @ 1.39073
2.00/2.02	c bounds -92 >= -941 @ 1.39165
2.00/2.02	c bounds -92 >= -940 @ 1.39367
2.00/2.02	c bounds -92 >= -939 @ 1.3957
2.00/2.02	c bounds -92 >= -938 @ 1.39775
2.00/2.02	c bounds -92 >= -937 @ 1.3998
2.00/2.02	c bounds -92 >= -936 @ 1.40185
2.00/2.02	c bounds -92 >= -935 @ 1.4039
2.00/2.02	c bounds -92 >= -934 @ 1.40509
2.00/2.02	c bounds -93 >= -934 @ 1.40927
2.00/2.02	c bounds -93 >= -933 @ 1.41041
2.00/2.02	c bounds -93 >= -932 @ 1.41146
2.00/2.02	c bounds -93 >= -931 @ 1.41348
2.00/2.02	c bounds -93 >= -930 @ 1.41456
2.00/2.02	c bounds -93 >= -929 @ 1.41561
2.00/2.02	c bounds -93 >= -928 @ 1.41668
2.00/2.02	c bounds -93 >= -927 @ 1.41795
2.00/2.02	c bounds -93 >= -926 @ 1.41932
2.00/2.02	c bounds -94 >= -926 @ 1.42074
2.00/2.02	c bounds -94 >= -925 @ 1.4228
2.00/2.02	c bounds -94 >= -924 @ 1.42489
2.00/2.02	c bounds -94 >= -923 @ 1.42698
2.00/2.02	c bounds -94 >= -922 @ 1.42816
2.00/2.02	c bounds -94 >= -921 @ 1.42865
2.00/2.02	c bounds -94 >= -920 @ 1.42927
2.00/2.02	c bounds -94 >= -919 @ 1.43034
2.00/2.02	c bounds -94 >= -918 @ 1.4314
2.00/2.02	c bounds -95 >= -918 @ 1.43392
2.00/2.02	c bounds -95 >= -917 @ 1.43499
2.00/2.02	c bounds -95 >= -916 @ 1.43607
2.00/2.02	c bounds -95 >= -915 @ 1.43715
2.00/2.02	c bounds -95 >= -914 @ 1.43909
2.00/2.02	c bounds -95 >= -913 @ 1.44117
2.00/2.02	c bounds -95 >= -912 @ 1.44324
2.00/2.02	c bounds -95 >= -911 @ 1.44532
2.00/2.02	c bounds -96 >= -911 @ 1.44693
2.00/2.02	c bounds -96 >= -910 @ 1.44808
2.00/2.02	c bounds -96 >= -909 @ 1.44918
2.00/2.02	c bounds -96 >= -908 @ 1.45026
2.00/2.02	c bounds -96 >= -907 @ 1.45134
2.00/2.02	c bounds -96 >= -906 @ 1.45241
2.00/2.02	c bounds -96 >= -905 @ 1.45349
2.00/2.02	c bounds -96 >= -904 @ 1.45556
2.00/2.02	c bounds -96 >= -903 @ 1.45765
2.00/2.02	c bounds -97 >= -903 @ 1.45858
2.00/2.02	c bounds -97 >= -902 @ 1.45919
2.00/2.02	c bounds -97 >= -901 @ 1.46027
2.00/2.02	c bounds -97 >= -900 @ 1.46136
2.00/2.02	c bounds -97 >= -899 @ 1.46246
2.00/2.02	c bounds -97 >= -898 @ 1.46357
2.00/2.02	c bounds -97 >= -897 @ 1.46568
2.00/2.02	c bounds -97 >= -896 @ 1.4678
2.00/2.02	c bounds -98 >= -896 @ 1.47206
2.00/2.02	c bounds -98 >= -895 @ 1.47333
2.00/2.02	c bounds -98 >= -894 @ 1.47451
2.00/2.02	c bounds -98 >= -893 @ 1.47666
2.00/2.02	c bounds -98 >= -892 @ 1.47795
2.00/2.02	c bounds -98 >= -891 @ 1.47905
2.00/2.02	c bounds -98 >= -890 @ 1.48109
2.00/2.02	c bounds -98 >= -889 @ 1.4823
2.00/2.02	c bounds -98 >= -888 @ 1.4834
2.00/2.02	c bounds -99 >= -888 @ 1.48383
2.00/2.02	c bounds -99 >= -887 @ 1.48495
2.00/2.02	c bounds -99 >= -886 @ 1.48607
2.00/2.02	c bounds -99 >= -885 @ 1.48717
2.00/2.02	c bounds -99 >= -884 @ 1.48829
2.00/2.02	c bounds -99 >= -883 @ 1.48942
2.00/2.02	c bounds -99 >= -882 @ 1.49057
2.00/2.02	c bounds -99 >= -881 @ 1.49274
2.00/2.02	c bounds -100 >= -881 @ 1.49503
2.00/2.02	c bounds -100 >= -880 @ 1.49551
2.00/2.02	c bounds -100 >= -879 @ 1.49737
2.00/2.02	c bounds -100 >= -878 @ 1.49855
2.00/2.02	c bounds -100 >= -877 @ 1.50071
2.00/2.02	c bounds -100 >= -876 @ 1.50201
2.00/2.02	c bounds -100 >= -875 @ 1.50314
2.00/2.02	c bounds -100 >= -874 @ 1.50427
2.00/2.02	c bounds -101 >= -874 @ 1.50752
2.00/2.02	c bounds -101 >= -873 @ 1.50973
2.00/2.02	c bounds -101 >= -872 @ 1.51104
2.00/2.02	c bounds -101 >= -871 @ 1.51218
2.00/2.02	c bounds -101 >= -870 @ 1.51332
2.00/2.02	c bounds -101 >= -869 @ 1.51451
2.00/2.02	c bounds -101 >= -868 @ 1.51586
2.00/2.02	c bounds -101 >= -867 @ 1.51793
2.00/2.02	c bounds -102 >= -867 @ 1.52026
2.00/2.02	c bounds -102 >= -866 @ 1.52149
2.00/2.02	c bounds -102 >= -865 @ 1.52286
2.00/2.02	c bounds -102 >= -864 @ 1.52402
2.00/2.02	c bounds -102 >= -863 @ 1.52519
2.00/2.02	c bounds -102 >= -862 @ 1.52636
2.00/2.02	c bounds -102 >= -861 @ 1.52855
2.00/2.02	c bounds -102 >= -860 @ 1.52988
2.00/2.02	c bounds -103 >= -860 @ 1.53313
2.00/2.02	c bounds -103 >= -859 @ 1.5334
2.00/2.02	c bounds -103 >= -858 @ 1.53551
2.00/2.02	c bounds -103 >= -857 @ 1.53688
2.00/2.02	c bounds -103 >= -856 @ 1.53805
2.00/2.02	c bounds -103 >= -855 @ 1.53923
2.00/2.02	c bounds -103 >= -854 @ 1.53993
2.00/2.02	c bounds -103 >= -853 @ 1.54113
2.00/2.02	c bounds -104 >= -853 @ 1.54576
2.00/2.02	c bounds -104 >= -852 @ 1.54709
2.00/2.02	c bounds -104 >= -851 @ 1.54828
2.00/2.02	c bounds -104 >= -850 @ 1.54949
2.00/2.02	c bounds -104 >= -849 @ 1.55085
2.00/2.02	c bounds -104 >= -848 @ 1.55205
2.00/2.02	c bounds -104 >= -847 @ 1.55323
2.00/2.02	c bounds -104 >= -846 @ 1.55448
2.00/2.02	c bounds -104 >= -845 @ 1.55585
2.00/2.02	c bounds -104 >= -844 @ 1.55796
2.00/2.02	c bounds -104 >= -843 @ 1.55924
2.00/2.02	c bounds -105 >= -843 @ 1.56074
2.00/2.02	c bounds -105 >= -842 @ 1.56283
2.00/2.02	c bounds -105 >= -841 @ 1.56415
2.00/2.02	c bounds -105 >= -840 @ 1.56634
2.00/2.02	c bounds -105 >= -839 @ 1.56774
2.00/2.02	c bounds -105 >= -838 @ 1.56894
2.00/2.02	c bounds -105 >= -837 @ 1.5711
2.00/2.02	c bounds -105 >= -836 @ 1.57248
2.00/2.02	c bounds -106 >= -836 @ 1.57464
2.00/2.02	c bounds -106 >= -835 @ 1.57587
2.00/2.02	c bounds -106 >= -834 @ 1.57801
2.00/2.02	c bounds -106 >= -833 @ 1.57928
2.00/2.02	c bounds -106 >= -832 @ 1.58152
2.00/2.02	c bounds -106 >= -831 @ 1.5829
2.39/2.40	c bounds -106 >= -830 @ 1.58329
2.39/2.40	c bounds -106 >= -829 @ 1.58438
2.39/2.40	c bounds -107 >= -829 @ 1.58894
2.39/2.40	c bounds -107 >= -828 @ 1.59025
2.39/2.40	c bounds -107 >= -827 @ 1.59254
2.39/2.40	c bounds -107 >= -826 @ 1.59392
2.39/2.40	c bounds -107 >= -825 @ 1.59514
2.39/2.40	c bounds -107 >= -824 @ 1.59644
2.39/2.40	c bounds -107 >= -823 @ 1.59779
2.39/2.40	c bounds -108 >= -823 @ 1.60001
2.39/2.40	c bounds -108 >= -822 @ 1.60131
2.39/2.40	c bounds -108 >= -821 @ 1.60357
2.39/2.40	c bounds -108 >= -820 @ 1.60588
2.39/2.40	c bounds -108 >= -819 @ 1.60816
2.39/2.40	c bounds -108 >= -818 @ 1.60861
2.39/2.40	c bounds -108 >= -817 @ 1.6098
2.39/2.40	c bounds -109 >= -817 @ 1.61123
2.39/2.40	c bounds -109 >= -816 @ 1.61239
2.39/2.40	c bounds -109 >= -815 @ 1.61376
2.39/2.40	c bounds -109 >= -814 @ 1.61495
2.39/2.40	c bounds -109 >= -813 @ 1.61522
2.39/2.40	c bounds -109 >= -812 @ 1.61638
2.39/2.40	c bounds -109 >= -811 @ 1.61774
2.39/2.40	c bounds -110 >= -811 @ 1.62099
2.39/2.40	c bounds -110 >= -810 @ 1.62233
2.39/2.40	c bounds -110 >= -809 @ 1.6237
2.39/2.40	c bounds -110 >= -808 @ 1.62579
2.39/2.40	c bounds -110 >= -807 @ 1.62803
2.39/2.40	c bounds -110 >= -806 @ 1.62849
2.39/2.40	c bounds -110 >= -805 @ 1.63054
2.39/2.40	c bounds -111 >= -805 @ 1.6339
2.39/2.40	c bounds -111 >= -804 @ 1.6351
2.39/2.40	c bounds -111 >= -803 @ 1.6373
2.39/2.40	c bounds -111 >= -802 @ 1.63866
2.39/2.40	c bounds -111 >= -801 @ 1.64074
2.39/2.40	c bounds -111 >= -800 @ 1.64203
2.39/2.40	c bounds -111 >= -799 @ 1.64245
2.39/2.40	c bounds -111 >= -798 @ 1.64315
2.39/2.40	c bounds -112 >= -798 @ 1.64583
2.39/2.40	c bounds -112 >= -797 @ 1.64709
2.39/2.40	c bounds -112 >= -796 @ 1.6483
2.39/2.40	c bounds -112 >= -795 @ 1.65052
2.39/2.40	c bounds -112 >= -794 @ 1.65184
2.39/2.40	c bounds -112 >= -793 @ 1.65302
2.39/2.40	c bounds -112 >= -792 @ 1.65424
2.39/2.40	c bounds -113 >= -792 @ 1.65667
2.39/2.40	c bounds -113 >= -791 @ 1.65787
2.39/2.40	c bounds -113 >= -790 @ 1.65906
2.39/2.40	c bounds -113 >= -789 @ 1.66049
2.39/2.40	c bounds -113 >= -788 @ 1.66169
2.39/2.40	c bounds -113 >= -787 @ 1.66382
2.39/2.40	c bounds -113 >= -786 @ 1.66608
2.39/2.40	c bounds -114 >= -786 @ 1.66935
2.39/2.40	c bounds -114 >= -785 @ 1.67162
2.39/2.40	c bounds -114 >= -784 @ 1.67246
2.39/2.40	c bounds -114 >= -783 @ 1.67369
2.39/2.40	c bounds -114 >= -782 @ 1.67588
2.39/2.40	c bounds -114 >= -781 @ 1.67712
2.39/2.40	c bounds -114 >= -780 @ 1.67935
2.39/2.40	c bounds -115 >= -780 @ 1.68083
2.39/2.40	c bounds -115 >= -779 @ 1.68208
2.39/2.40	c bounds -115 >= -778 @ 1.68433
2.39/2.40	c bounds -115 >= -777 @ 1.6857
2.39/2.40	c bounds -115 >= -776 @ 1.68689
2.39/2.40	c bounds -115 >= -775 @ 1.6891
2.39/2.40	c bounds -115 >= -774 @ 1.69053
2.39/2.40	c bounds -116 >= -774 @ 1.69346
2.39/2.40	c bounds -116 >= -773 @ 1.69573
2.39/2.40	c bounds -116 >= -772 @ 1.69707
2.39/2.40	c bounds -116 >= -771 @ 1.69854
2.39/2.40	c bounds -116 >= -770 @ 1.7007
2.39/2.40	c bounds -116 >= -769 @ 1.702
2.39/2.40	c bounds -116 >= -768 @ 1.70429
2.39/2.40	c bounds -116 >= -767 @ 1.70569
2.39/2.40	c bounds -117 >= -767 @ 1.706
2.39/2.40	c bounds -117 >= -766 @ 1.70747
2.39/2.40	c bounds -117 >= -765 @ 1.7096
2.39/2.40	c bounds -117 >= -764 @ 1.71091
2.39/2.40	c bounds -117 >= -763 @ 1.71099
2.39/2.40	c bounds -117 >= -762 @ 1.71259
2.39/2.40	c bounds -117 >= -761 @ 1.71394
2.39/2.40	c bounds -117 >= -760 @ 1.71528
2.39/2.40	c bounds -118 >= -760 @ 1.71851
2.39/2.40	c bounds -118 >= -759 @ 1.71984
2.39/2.40	c bounds -118 >= -758 @ 1.72053
2.39/2.40	c bounds -118 >= -757 @ 1.72206
2.39/2.40	c bounds -118 >= -756 @ 1.72475
2.39/2.40	c bounds -118 >= -755 @ 1.72566
2.39/2.40	c bounds -118 >= -754 @ 1.72654
2.39/2.40	c bounds -118 >= -753 @ 1.7274
2.39/2.40	c bounds -119 >= -753 @ 1.73003
2.39/2.40	c bounds -119 >= -752 @ 1.73291
2.39/2.40	c bounds -119 >= -751 @ 1.73565
2.39/2.40	c bounds -119 >= -750 @ 1.73675
2.39/2.40	c bounds -119 >= -749 @ 1.739
2.39/2.40	c bounds -119 >= -748 @ 1.74068
2.39/2.40	c bounds -119 >= -747 @ 1.74227
2.39/2.40	c bounds -119 >= -746 @ 1.74368
2.39/2.40	c bounds -123 >= -746 @ 1.7481
2.39/2.40	c bounds -123 >= -745 @ 1.75051
2.39/2.40	c bounds -123 >= -744 @ 1.75314
2.39/2.40	c bounds -123 >= -743 @ 1.75696
2.39/2.40	c bounds -123 >= -742 @ 1.75888
2.39/2.40	c bounds -124 >= -742 @ 1.76048
2.39/2.40	c bounds -124 >= -741 @ 1.76286
2.39/2.40	c bounds -124 >= -740 @ 1.76598
2.39/2.40	c bounds -124 >= -739 @ 1.77056
2.39/2.40	c bounds -131 >= -739 @ 1.77541
2.39/2.40	c bounds -131 >= -738 @ 1.77783
2.39/2.40	c bounds -131 >= -737 @ 1.78005
2.39/2.40	c bounds -131 >= -736 @ 1.78136
2.39/2.40	c bounds -131 >= -735 @ 1.7834
2.39/2.40	c bounds -132 >= -735 @ 1.78641
2.39/2.40	c bounds -132 >= -734 @ 1.78768
2.39/2.40	c bounds -132 >= -733 @ 1.79088
2.39/2.40	c bounds -132 >= -732 @ 1.79321
2.39/2.40	c bounds -132 >= -731 @ 1.79537
2.39/2.40	c bounds -132 >= -730 @ 1.79725
2.39/2.40	c bounds -132 >= -729 @ 1.79977
2.39/2.40	c bounds -132 >= -728 @ 1.80193
2.39/2.40	c bounds -133 >= -728 @ 1.8055
2.39/2.40	c bounds -133 >= -727 @ 1.80762
2.39/2.40	c bounds -133 >= -726 @ 1.80963
2.39/2.40	c bounds -133 >= -725 @ 1.81066
2.39/2.40	c bounds -133 >= -724 @ 1.81184
2.39/2.40	c bounds -133 >= -723 @ 1.81394
2.39/2.40	c bounds -133 >= -722 @ 1.81601
2.39/2.40	c bounds -134 >= -722 @ 1.81935
2.39/2.40	c bounds -134 >= -721 @ 1.82286
3.58/3.66	c bounds -134 >= -720 @ 1.82447
3.58/3.66	c bounds -134 >= -719 @ 1.82654
3.58/3.66	c bounds -134 >= -718 @ 1.82893
3.58/3.66	c bounds -134 >= -717 @ 1.83102
3.58/3.66	c bounds -134 >= -716 @ 1.83293
3.58/3.66	c bounds -135 >= -716 @ 1.83545
3.58/3.66	c bounds -135 >= -715 @ 1.83644
3.58/3.66	c bounds -135 >= -714 @ 1.83857
3.58/3.66	c bounds -135 >= -713 @ 1.84053
3.58/3.66	c bounds -135 >= -712 @ 1.84141
3.58/3.66	c bounds -135 >= -711 @ 1.84171
3.58/3.66	c bounds -135 >= -710 @ 1.84226
3.58/3.66	c bounds -135 >= -709 @ 1.84461
3.58/3.66	c bounds -136 >= -709 @ 1.84692
3.58/3.66	c bounds -136 >= -708 @ 1.84973
3.58/3.66	c bounds -136 >= -707 @ 1.85159
3.58/3.66	c bounds -136 >= -706 @ 1.85345
3.58/3.66	c bounds -136 >= -705 @ 1.85645
3.58/3.66	c bounds -137 >= -705 @ 1.85952
3.58/3.66	c bounds -137 >= -704 @ 1.8615
3.58/3.66	c bounds -137 >= -703 @ 1.86449
3.58/3.66	c bounds -137 >= -702 @ 1.86633
3.58/3.66	c bounds -137 >= -701 @ 1.87326
3.58/3.66	c bounds -138 >= -701 @ 1.87508
3.58/3.66	c bounds -139 >= -701 @ 1.87739
3.58/3.66	c bounds -139 >= -700 @ 1.87933
3.58/3.66	c bounds -139 >= -699 @ 1.88303
3.58/3.66	c bounds -140 >= -699 @ 1.8855
3.58/3.66	c bounds -141 >= -699 @ 1.8871
3.58/3.66	c bounds -141 >= -698 @ 1.89437
3.58/3.66	c bounds -142 >= -698 @ 1.89819
3.58/3.66	c bounds -143 >= -698 @ 1.90159
3.58/3.66	c bounds -143 >= -697 @ 1.91135
3.58/3.66	c bounds -144 >= -697 @ 1.91359
3.58/3.66	c bounds -145 >= -697 @ 1.91775
3.58/3.66	c bounds -145 >= -696 @ 1.92218
3.58/3.66	c bounds -146 >= -696 @ 1.92452
3.58/3.66	c bounds -146 >= -695 @ 1.93277
3.58/3.66	c bounds -147 >= -695 @ 1.93701
3.58/3.66	c bounds -148 >= -695 @ 1.9393
3.58/3.66	c bounds -149 >= -695 @ 1.94343
3.58/3.66	c bounds -149 >= -694 @ 1.95236
3.58/3.66	c bounds -150 >= -694 @ 1.95287
3.58/3.66	c bounds -151 >= -694 @ 1.95596
3.58/3.66	c bounds -152 >= -694 @ 1.95992
3.58/3.66	c bounds -152 >= -693 @ 1.98856
3.58/3.66	c bounds -153 >= -693 @ 1.99131
3.58/3.66	c bounds -154 >= -693 @ 1.99375
3.58/3.66	c bounds -155 >= -693 @ 1.99713
3.58/3.66	c bounds -156 >= -693 @ 2.00064
3.58/3.66	c bounds -157 >= -693 @ 2.00394
3.58/3.66	c bounds -158 >= -693 @ 2.00586
3.58/3.66	c bounds -159 >= -693 @ 2.00779
3.58/3.66	c bounds -160 >= -693 @ 2.00926
3.58/3.66	c bounds -161 >= -693 @ 2.01186
3.58/3.66	c bounds -163 >= -693 @ 2.01351
3.58/3.66	c bounds -164 >= -693 @ 2.01679
3.58/3.66	c #Conflicts:       1000 | #Constraints:      11449
3.58/3.66	c bounds -164 >= -692 @ 2.06122
3.58/3.66	c bounds -165 >= -692 @ 2.06595
3.58/3.66	c bounds -166 >= -692 @ 2.0712
3.58/3.66	c bounds -167 >= -692 @ 2.08037
3.58/3.66	c bounds -168 >= -692 @ 2.09516
3.58/3.66	c bounds -169 >= -692 @ 2.11568
3.58/3.66	c bounds -170 >= -692 @ 2.13576
3.58/3.66	c bounds -171 >= -692 @ 2.15098
3.58/3.66	c bounds -172 >= -692 @ 2.15734
3.58/3.66	c bounds -172 >= -691 @ 2.16079
3.58/3.66	c bounds -173 >= -691 @ 2.17538
3.58/3.66	c bounds -173 >= -690 @ 2.17875
3.58/3.66	c bounds -173 >= -689 @ 2.18718
3.58/3.66	c bounds -174 >= -689 @ 2.20039
3.58/3.66	c bounds -174 >= -688 @ 2.22873
3.58/3.66	c bounds -175 >= -688 @ 2.24391
3.58/3.66	c bounds -176 >= -688 @ 2.25267
3.58/3.66	c bounds -177 >= -688 @ 2.25934
3.58/3.66	c bounds -177 >= -687 @ 2.29858
3.58/3.66	c bounds -178 >= -687 @ 2.30458
3.58/3.66	c bounds -180 >= -687 @ 2.31053
3.58/3.66	c bounds -181 >= -687 @ 2.31634
3.58/3.66	c bounds -182 >= -687 @ 2.32239
3.58/3.66	c bounds -183 >= -687 @ 2.32998
3.58/3.66	c bounds -184 >= -687 @ 2.36134
3.58/3.66	c #Conflicts:       2000 | #Constraints:      12687
3.58/3.66	c INPROCESSING
3.58/3.66	c GARBAGE COLLECT
3.58/3.66	c rational objective -687
11.08/11.13	c bounds -186 >= -687 @ 2.84928
11.08/11.13	c bounds -187 >= -687 @ 2.86473
11.08/11.13	c bounds -188 >= -687 @ 2.87398
11.08/11.13	c bounds -189 >= -687 @ 2.88074
11.08/11.13	c bounds -190 >= -687 @ 2.88756
11.08/11.13	c #Conflicts:       3000 | #Constraints:      11415
11.08/11.13	c bounds -190 >= -686 @ 3.04053
11.08/11.13	c bounds -191 >= -686 @ 3.05001
11.08/11.13	c bounds -192 >= -686 @ 3.05366
11.08/11.13	c bounds -193 >= -686 @ 3.05846
11.08/11.13	c bounds -194 >= -686 @ 3.06415
11.08/11.13	c bounds -195 >= -686 @ 3.06765
11.08/11.13	c bounds -196 >= -686 @ 3.07012
11.08/11.13	c bounds -197 >= -686 @ 3.07354
11.08/11.13	c bounds -199 >= -686 @ 3.0778
11.08/11.13	c bounds -201 >= -686 @ 3.08324
11.08/11.13	c bounds -202 >= -686 @ 3.08846
11.08/11.13	c bounds -203 >= -686 @ 3.09088
11.08/11.13	c bounds -204 >= -686 @ 3.09658
11.08/11.13	c bounds -205 >= -686 @ 3.11153
11.08/11.13	c bounds -206 >= -686 @ 3.12617
11.08/11.13	c bounds -207 >= -686 @ 3.14234
11.08/11.13	c bounds -208 >= -686 @ 3.16745
11.08/11.13	c bounds -209 >= -686 @ 3.20027
11.08/11.13	c bounds -210 >= -686 @ 3.21862
11.08/11.13	c bounds -211 >= -686 @ 3.24465
11.08/11.13	c bounds -212 >= -686 @ 3.27495
11.08/11.13	c bounds -213 >= -686 @ 3.30325
11.08/11.13	c bounds -214 >= -686 @ 3.34476
11.08/11.13	c bounds -215 >= -686 @ 3.39427
11.08/11.13	c bounds -215 >= -685 @ 3.44735
11.08/11.13	c bounds -216 >= -685 @ 3.46937
11.08/11.13	c bounds -217 >= -685 @ 3.49027
11.08/11.13	c #Conflicts:       4000 | #Constraints:      12584
11.08/11.13	c bounds -217 >= -684 @ 3.59048
11.08/11.13	c bounds -218 >= -684 @ 3.60772
11.08/11.13	c bounds -219 >= -684 @ 3.62424
11.08/11.13	c bounds -220 >= -684 @ 3.64432
11.08/11.13	c bounds -221 >= -684 @ 3.6646
11.08/11.13	c bounds -222 >= -684 @ 3.68278
11.08/11.13	c bounds -223 >= -684 @ 3.70807
11.08/11.13	c bounds -224 >= -684 @ 3.73298
11.08/11.13	c bounds -225 >= -684 @ 3.75254
11.08/11.13	c bounds -226 >= -684 @ 3.76944
11.08/11.13	c INPROCESSING
11.08/11.13	c GARBAGE COLLECT
11.08/11.13	c bounds -227 >= -684 @ 4.27971
11.08/11.13	c bounds -228 >= -684 @ 4.28268
11.08/11.13	c bounds -229 >= -684 @ 4.28426
11.08/11.13	c bounds -230 >= -684 @ 4.28938
11.08/11.13	c bounds -231 >= -684 @ 4.29434
11.08/11.13	c bounds -232 >= -684 @ 4.29784
11.08/11.13	c bounds -233 >= -684 @ 4.3021
11.08/11.13	c bounds -234 >= -684 @ 4.30367
11.08/11.13	c bounds -235 >= -684 @ 4.30668
11.08/11.13	c bounds -236 >= -684 @ 4.31025
11.08/11.13	c bounds -237 >= -684 @ 4.31542
11.08/11.13	c bounds -238 >= -684 @ 4.31801
11.08/11.13	c bounds -239 >= -684 @ 4.32309
11.08/11.13	c bounds -240 >= -684 @ 4.32735
11.08/11.13	c bounds -241 >= -684 @ 4.33012
11.08/11.13	c bounds -242 >= -684 @ 4.35206
11.08/11.13	c bounds -243 >= -684 @ 4.35847
11.08/11.13	c bounds -244 >= -684 @ 4.36471
11.08/11.13	c bounds -245 >= -684 @ 4.37036
11.08/11.13	c bounds -247 >= -684 @ 4.37549
11.08/11.13	c bounds -249 >= -684 @ 4.38075
11.08/11.13	c #Conflicts:       5000 | #Constraints:      11942
11.08/11.13	c bounds -249 >= -683 @ 4.60366
11.08/11.13	c bounds -251 >= -683 @ 4.60967
11.08/11.13	c bounds -252 >= -683 @ 4.61609
11.08/11.13	c bounds -253 >= -683 @ 4.62451
11.08/11.13	c bounds -255 >= -683 @ 4.63399
11.08/11.13	c bounds -256 >= -683 @ 4.63983
11.08/11.13	c bounds -257 >= -683 @ 4.65059
11.08/11.13	c bounds -259 >= -683 @ 4.66474
11.08/11.13	c bounds -261 >= -683 @ 4.68086
11.08/11.13	c bounds -262 >= -683 @ 4.71094
11.08/11.13	c bounds -264 >= -683 @ 4.73171
11.08/11.13	c bounds -265 >= -683 @ 4.78592
11.08/11.13	c bounds -266 >= -683 @ 4.83599
11.08/11.13	c bounds -267 >= -683 @ 4.8858
11.08/11.13	c bounds -268 >= -683 @ 5.03072
11.08/11.13	c #Conflicts:       6000 | #Constraints:      13001
11.08/11.13	c bounds -269 >= -683 @ 5.22511
11.08/11.13	c bounds -269 >= -682 @ 5.48241
11.08/11.13	c bounds -270 >= -682 @ 5.60682
11.08/11.13	c bounds -271 >= -682 @ 5.68657
11.08/11.13	c bounds -272 >= -682 @ 5.77349
11.08/11.13	c bounds -274 >= -682 @ 5.83666
11.08/11.13	c bounds -275 >= -682 @ 5.94577
11.08/11.13	c #Conflicts:       7000 | #Constraints:      14100
11.08/11.13	c bounds -275 >= -681 @ 6.4555
11.08/11.13	c bounds -276 >= -681 @ 6.53407
11.08/11.13	c bounds -277 >= -681 @ 6.59938
11.08/11.13	c #Conflicts:       8000 | #Constraints:      15129
11.08/11.13	c bounds -278 >= -681 @ 6.70102
11.08/11.13	c bounds -279 >= -681 @ 6.76455
11.08/11.13	c bounds -280 >= -681 @ 6.83125
11.08/11.13	c bounds -281 >= -681 @ 6.95966
11.08/11.13	c bounds -282 >= -681 @ 7.04167
11.08/11.13	c bounds -283 >= -681 @ 7.11753
11.08/11.13	c bounds -284 >= -681 @ 7.19203
11.08/11.13	c bounds -285 >= -681 @ 7.30143
11.08/11.13	c bounds -286 >= -681 @ 7.44464
11.08/11.13	c bounds -287 >= -681 @ 7.54684
11.08/11.13	c bounds -289 >= -681 @ 7.70231
11.08/11.13	c #Conflicts:       9000 | #Constraints:      16140
11.08/11.13	c bounds -289 >= -680 @ 8.85984
11.08/11.13	c bounds -290 >= -680 @ 8.94332
11.08/11.13	c bounds -291 >= -680 @ 9.01193
11.08/11.13	c bounds -292 >= -680 @ 9.0793
11.08/11.13	c bounds -294 >= -680 @ 9.1516
11.08/11.13	c bounds -295 >= -680 @ 9.22412
11.08/11.13	c INPROCESSING
11.08/11.13	c GARBAGE COLLECT
11.08/11.13	c rational objective -680
14.07/14.17	c bounds -296 >= -680 @ 9.77109
14.07/14.17	c bounds -297 >= -680 @ 9.80514
14.07/14.17	c bounds -298 >= -680 @ 9.89379
14.07/14.17	c bounds -299 >= -680 @ 9.94925
14.07/14.17	c bounds -301 >= -680 @ 10.0127
14.07/14.17	c bounds -302 >= -680 @ 10.0639
14.07/14.17	c bounds -303 >= -680 @ 10.1018
14.07/14.17	c bounds -305 >= -680 @ 10.1497
14.07/14.17	c bounds -307 >= -680 @ 10.2097
14.07/14.17	c bounds -308 >= -680 @ 10.2959
14.07/14.17	c #Conflicts:      10000 | #Constraints:      13708
14.07/14.17	c bounds -310 >= -680 @ 10.346
14.07/14.17	c bounds -311 >= -680 @ 10.4146
14.07/14.17	c bounds -312 >= -680 @ 10.4707
14.07/14.17	c bounds -313 >= -680 @ 10.5705
14.07/14.17	c bounds -314 >= -680 @ 10.6397
14.07/14.17	c bounds -315 >= -680 @ 10.7514
14.07/14.17	c #Conflicts:      11000 | #Constraints:      14714
14.07/14.17	c #Conflicts:      12000 | #Constraints:      15714
14.07/14.17	c bounds -315 >= -679 @ 11.9875
14.07/14.17	c bounds -316 >= -679 @ 12.0465
14.07/14.17	c bounds -317 >= -679 @ 12.1448
14.07/14.17	c bounds -318 >= -679 @ 12.2078
14.07/14.17	c bounds -320 >= -679 @ 12.264
14.07/14.17	c bounds -321 >= -679 @ 12.3382
14.07/14.17	c INPROCESSING
14.07/14.17	c GARBAGE COLLECT
14.07/14.17	c rational objective -679
32.50/32.61	c bounds -322 >= -679 @ 12.8459
32.50/32.61	c #Conflicts:      13000 | #Constraints:      13274
32.50/32.61	c bounds -323 >= -679 @ 12.9485
32.50/32.61	c bounds -324 >= -679 @ 13.015
32.50/32.61	c bounds -325 >= -679 @ 13.1289
32.50/32.61	c bounds -327 >= -679 @ 13.2913
32.50/32.61	c bounds -328 >= -679 @ 13.4704
32.50/32.61	c bounds -329 >= -679 @ 13.5686
32.50/32.61	c bounds -330 >= -679 @ 13.6397
32.50/32.61	c bounds -331 >= -679 @ 13.6953
32.50/32.61	c bounds -332 >= -679 @ 13.7466
32.50/32.61	c bounds -333 >= -679 @ 13.7974
32.50/32.61	c bounds -334 >= -679 @ 13.8752
32.50/32.61	c bounds -335 >= -679 @ 13.9282
32.50/32.61	c bounds -336 >= -679 @ 13.9802
32.50/32.61	c bounds -337 >= -679 @ 14.0258
32.50/32.61	c bounds -338 >= -679 @ 14.0749
32.50/32.61	c bounds -339 >= -679 @ 14.1231
32.50/32.61	c bounds -340 >= -679 @ 14.1707
32.50/32.61	c bounds -341 >= -679 @ 14.2304
32.50/32.61	c bounds -342 >= -679 @ 14.311
32.50/32.61	c #Conflicts:      14000 | #Constraints:      14293
32.50/32.61	c bounds -343 >= -679 @ 14.39
32.50/32.61	c bounds -344 >= -679 @ 14.4653
32.50/32.61	c bounds -345 >= -679 @ 14.5535
32.50/32.61	c bounds -347 >= -679 @ 14.6976
32.50/32.61	c bounds -349 >= -679 @ 14.8284
32.50/32.61	c bounds -350 >= -679 @ 15.1645
32.50/32.61	c #Conflicts:      15000 | #Constraints:      15299
32.50/32.61	c #Conflicts:      16000 | #Constraints:      16299
32.50/32.61	c bounds -351 >= -679 @ 19.9629
32.50/32.61	c #Conflicts:      17000 | #Constraints:      17300
32.50/32.61	c #Conflicts:      18000 | #Constraints:      18300
32.50/32.61	c #Conflicts:      19000 | #Constraints:      19300
32.50/32.61	c bounds -351 >= -678 @ 26.2462
32.50/32.61	c #Conflicts:      20000 | #Constraints:      20345
32.50/32.61	c #Conflicts:      21000 | #Constraints:      21345
32.50/32.61	c INPROCESSING
32.50/32.61	c GARBAGE COLLECT
32.50/32.61	c rational objective -678
38.79/38.98	c bounds -352 >= -678 @ 31.1033
38.79/38.98	c bounds -353 >= -678 @ 31.2648
38.79/38.98	c bounds -354 >= -678 @ 31.4954
38.79/38.98	c #Conflicts:      22000 | #Constraints:      16574
38.79/38.98	c bounds -356 >= -678 @ 32.0393
38.79/38.98	c #Conflicts:      23000 | #Constraints:      17575
38.79/38.98	c #Conflicts:      24000 | #Constraints:      18575
38.79/38.98	c bounds -356 >= -677 @ 34.7299
38.79/38.98	c bounds -357 >= -677 @ 34.9338
38.79/38.98	c bounds -358 >= -677 @ 35.0845
38.79/38.98	c #Conflicts:      25000 | #Constraints:      19628
38.79/38.98	c bounds -359 >= -677 @ 36.1851
38.79/38.98	c INPROCESSING
38.79/38.98	c GARBAGE COLLECT
38.79/38.98	c rational objective -677
55.13/55.34	c #Conflicts:      26000 | #Constraints:      15287
55.13/55.34	c #Conflicts:      27000 | #Constraints:      16287
55.13/55.34	c bounds -360 >= -677 @ 39.5413
55.13/55.34	c #Conflicts:      28000 | #Constraints:      17288
55.13/55.34	c #Conflicts:      29000 | #Constraints:      18288
55.13/55.34	c #Conflicts:      30000 | #Constraints:      19288
55.13/55.34	c #Conflicts:      31000 | #Constraints:      20288
55.13/55.34	c #Conflicts:      32000 | #Constraints:      21288
55.13/55.34	c bounds -360 >= -676 @ 43.8939
55.13/55.34	c bounds -361 >= -676 @ 44.4832
55.13/55.34	c bounds -362 >= -676 @ 44.8316
55.13/55.34	c bounds -363 >= -676 @ 45.1095
55.13/55.34	c bounds -364 >= -676 @ 45.2314
55.13/55.34	c #Conflicts:      33000 | #Constraints:      22334
55.13/55.34	c bounds -365 >= -676 @ 46.6556
55.13/55.34	c #Conflicts:      34000 | #Constraints:      23335
55.13/55.34	c #Conflicts:      35000 | #Constraints:      24335
55.13/55.34	c #Conflicts:      36000 | #Constraints:      25335
55.13/55.34	c #Conflicts:      37000 | #Constraints:      26335
55.13/55.34	c INPROCESSING
55.13/55.34	c GARBAGE COLLECT
55.13/55.34	c rational objective -676
67.49/67.75	c bounds -366 >= -676 @ 53.1055
67.49/67.75	c #Conflicts:      38000 | #Constraints:      19091
67.49/67.75	c bounds -367 >= -676 @ 54.5113
67.49/67.75	c bounds -368 >= -676 @ 55.2271
67.49/67.75	c #Conflicts:      39000 | #Constraints:      20093
67.49/67.75	c bounds -369 >= -676 @ 56.4582
67.49/67.75	c #Conflicts:      40000 | #Constraints:      21094
67.49/67.75	c #Conflicts:      41000 | #Constraints:      22094
67.49/67.75	c #Conflicts:      42000 | #Constraints:      23094
67.49/67.75	c #Conflicts:      43000 | #Constraints:      24094
67.49/67.75	c INPROCESSING
67.49/67.75	c GARBAGE COLLECT
67.49/67.75	c rational objective -676
81.76/82.07	c #Conflicts:      44000 | #Constraints:      17867
81.76/82.07	c #Conflicts:      45000 | #Constraints:      18867
81.76/82.07	c #Conflicts:      46000 | #Constraints:      19867
81.76/82.07	c #Conflicts:      47000 | #Constraints:      20867
81.76/82.07	c #Conflicts:      48000 | #Constraints:      21867
81.76/82.07	c #Conflicts:      49000 | #Constraints:      22867
81.76/82.07	c #Conflicts:      50000 | #Constraints:      23867
81.76/82.07	c bounds -369 >= -675 @ 70.8094
81.76/82.07	c #Conflicts:      51000 | #Constraints:      24957
81.76/82.07	c #Conflicts:      52000 | #Constraints:      25957
81.76/82.07	c #Conflicts:      53000 | #Constraints:      26957
81.76/82.07	c #Conflicts:      54000 | #Constraints:      27957
81.76/82.07	c #Conflicts:      55000 | #Constraints:      28957
81.76/82.07	c #Conflicts:      56000 | #Constraints:      29957
81.76/82.07	c #Conflicts:      57000 | #Constraints:      30957
81.76/82.07	c INPROCESSING
81.76/82.07	c GARBAGE COLLECT
81.76/82.07	c rational objective -675
125.11/125.50	c bounds -371 >= -675 @ 78.9641
125.11/125.50	c bounds -372 >= -675 @ 79.0103
125.11/125.50	c bounds -373 >= -675 @ 79.0839
125.11/125.50	c bounds -374 >= -675 @ 79.3415
125.11/125.50	c #Conflicts:      58000 | #Constraints:      21261
125.11/125.50	c bounds -375 >= -675 @ 79.4566
125.11/125.50	c bounds -376 >= -675 @ 79.9909
125.11/125.50	c #Conflicts:      59000 | #Constraints:      22263
125.11/125.50	c bounds -377 >= -675 @ 81.6721
125.11/125.50	c #Conflicts:      60000 | #Constraints:      23264
125.11/125.50	c bounds -378 >= -675 @ 86.4394
125.11/125.50	c #Conflicts:      61000 | #Constraints:      24265
125.11/125.50	c #Conflicts:      62000 | #Constraints:      25265
125.11/125.50	c #Conflicts:      63000 | #Constraints:      26265
125.11/125.50	c #Conflicts:      64000 | #Constraints:      27265
125.11/125.50	c #Conflicts:      65000 | #Constraints:      28265
125.11/125.50	c #Conflicts:      66000 | #Constraints:      29265
125.11/125.50	c #Conflicts:      67000 | #Constraints:      30265
125.11/125.50	c #Conflicts:      68000 | #Constraints:      31265
125.11/125.50	c #Conflicts:      69000 | #Constraints:      32265
125.11/125.50	c #Conflicts:      70000 | #Constraints:      33265
125.11/125.50	c #Conflicts:      71000 | #Constraints:      34265
125.11/125.50	c #Conflicts:      72000 | #Constraints:      35265
125.11/125.50	c #Conflicts:      73000 | #Constraints:      36265
125.11/125.50	c #Conflicts:      74000 | #Constraints:      37265
125.11/125.50	c INPROCESSING
125.11/125.50	c GARBAGE COLLECT
125.11/125.50	c rational objective -675
154.12/154.66	c bounds -379 >= -675 @ 121.875
154.12/154.66	c bounds -380 >= -675 @ 122.567
154.12/154.66	c #Conflicts:      75000 | #Constraints:      24700
154.12/154.66	c bounds -381 >= -675 @ 123.118
154.12/154.66	c bounds -382 >= -675 @ 123.704
154.12/154.66	c #Conflicts:      76000 | #Constraints:      25702
154.12/154.66	c #Conflicts:      77000 | #Constraints:      26702
154.12/154.66	c bounds -383 >= -675 @ 127.751
154.12/154.66	c #Conflicts:      78000 | #Constraints:      27703
154.12/154.66	c #Conflicts:      79000 | #Constraints:      28703
154.12/154.66	c #Conflicts:      80000 | #Constraints:      29703
154.12/154.66	c #Conflicts:      81000 | #Constraints:      30703
154.12/154.66	c bounds -384 >= -675 @ 146.36
154.12/154.66	c #Conflicts:      82000 | #Constraints:      31704
154.12/154.66	c INPROCESSING
154.12/154.66	c GARBAGE COLLECT
154.12/154.66	c rational objective -675
193.52/194.14	c #Conflicts:      83000 | #Constraints:      22070
193.52/194.14	c #Conflicts:      84000 | #Constraints:      23070
193.52/194.14	c #Conflicts:      85000 | #Constraints:      24070
193.52/194.14	c #Conflicts:      86000 | #Constraints:      25070
193.52/194.14	c #Conflicts:      87000 | #Constraints:      26070
193.52/194.14	c #Conflicts:      88000 | #Constraints:      27070
193.52/194.14	c #Conflicts:      89000 | #Constraints:      28070
193.52/194.14	c #Conflicts:      90000 | #Constraints:      29070
193.52/194.14	c #Conflicts:      91000 | #Constraints:      30070
193.52/194.14	c #Conflicts:      92000 | #Constraints:      31070
193.52/194.14	c #Conflicts:      93000 | #Constraints:      32070
193.52/194.14	c #Conflicts:      94000 | #Constraints:      33070
193.52/194.14	c #Conflicts:      95000 | #Constraints:      34070
193.52/194.14	c #Conflicts:      96000 | #Constraints:      35070
193.52/194.14	c bounds -384 >= -674 @ 174.008
193.52/194.14	c bounds -385 >= -674 @ 174.548
193.52/194.14	c bounds -386 >= -674 @ 174.598
193.52/194.14	c bounds -388 >= -674 @ 174.654
193.52/194.14	c #Conflicts:      97000 | #Constraints:      36118
193.52/194.14	c bounds -390 >= -674 @ 175.155
193.52/194.14	c #Conflicts:      98000 | #Constraints:      37119
193.52/194.14	c bounds -391 >= -674 @ 176.926
193.52/194.14	c #Conflicts:      99000 | #Constraints:      38120
193.52/194.14	c #Conflicts:     100000 | #Constraints:      39120
193.52/194.14	c bounds -392 >= -674 @ 182.027
193.52/194.14	c #Conflicts:     101000 | #Constraints:      40121
193.52/194.14	c #Conflicts:     102000 | #Constraints:      41121
193.52/194.14	c INPROCESSING
193.52/194.14	c GARBAGE COLLECT
193.52/194.14	c rational objective -674
209.97/210.61	c #Conflicts:     103000 | #Constraints:      26630
209.97/210.61	c #Conflicts:     104000 | #Constraints:      27630
209.97/210.61	c #Conflicts:     105000 | #Constraints:      28630
209.97/210.61	c #Conflicts:     106000 | #Constraints:      29630
209.97/210.61	c #Conflicts:     107000 | #Constraints:      30630
209.97/210.61	c #Conflicts:     108000 | #Constraints:      31630
209.97/210.61	c #Conflicts:     109000 | #Constraints:      32630
209.97/210.61	c #Conflicts:     110000 | #Constraints:      33630
209.97/210.61	c #Conflicts:     111000 | #Constraints:      34630
209.97/210.61	c INPROCESSING
209.97/210.61	c GARBAGE COLLECT
209.97/210.61	c rational objective -674
369.81/371.00	c #Conflicts:     112000 | #Constraints:      24416
369.81/371.00	c bounds -393 >= -674 @ 205.61
369.81/371.00	c bounds -394 >= -674 @ 206.258
369.81/371.00	c #Conflicts:     113000 | #Constraints:      25418
369.81/371.00	c #Conflicts:     114000 | #Constraints:      26418
369.81/371.00	c bounds -395 >= -674 @ 208.501
369.81/371.00	c #Conflicts:     115000 | #Constraints:      27419
369.81/371.00	c #Conflicts:     116000 | #Constraints:      28419
369.81/371.00	c #Conflicts:     117000 | #Constraints:      29419
369.81/371.00	c #Conflicts:     118000 | #Constraints:      30419
369.81/371.00	c #Conflicts:     119000 | #Constraints:      31419
369.81/371.00	c #Conflicts:     120000 | #Constraints:      32419
369.81/371.00	c #Conflicts:     121000 | #Constraints:      33419
369.81/371.00	c #Conflicts:     122000 | #Constraints:      34419
369.81/371.00	c #Conflicts:     123000 | #Constraints:      35419
369.81/371.00	c #Conflicts:     124000 | #Constraints:      36419
369.81/371.00	c #Conflicts:     125000 | #Constraints:      37419
369.81/371.00	c #Conflicts:     126000 | #Constraints:      38419
369.81/371.00	c #Conflicts:     127000 | #Constraints:      39419
369.81/371.00	c #Conflicts:     128000 | #Constraints:      40419
369.81/371.00	c #Conflicts:     129000 | #Constraints:      41419
369.81/371.00	c #Conflicts:     130000 | #Constraints:      42419
369.81/371.00	c #Conflicts:     131000 | #Constraints:      43419
369.81/371.00	c bounds -396 >= -674 @ 323.004
369.81/371.00	c #Conflicts:     132000 | #Constraints:      44420
369.81/371.00	c #Conflicts:     133000 | #Constraints:      45420
369.81/371.00	c #Conflicts:     134000 | #Constraints:      46420
369.81/371.00	c INPROCESSING
369.81/371.00	c GARBAGE COLLECT
369.81/371.00	c rational objective -674
394.44/395.65	c #Conflicts:     135000 | #Constraints:      29100
394.44/395.65	c bounds -396 >= -673 @ 367.2
394.44/395.65	c #Conflicts:     136000 | #Constraints:      30136
394.44/395.65	c #Conflicts:     137000 | #Constraints:      31136
394.44/395.65	c #Conflicts:     138000 | #Constraints:      32136
394.44/395.65	c #Conflicts:     139000 | #Constraints:      33136
394.44/395.65	c #Conflicts:     140000 | #Constraints:      34136
394.44/395.65	c #Conflicts:     141000 | #Constraints:      35136
394.44/395.65	c #Conflicts:     142000 | #Constraints:      36136
394.44/395.65	c #Conflicts:     143000 | #Constraints:      37136
394.44/395.65	c #Conflicts:     144000 | #Constraints:      38136
394.44/395.65	c #Conflicts:     145000 | #Constraints:      39136
394.44/395.65	c INPROCESSING
394.44/395.65	c GARBAGE COLLECT
394.44/395.65	c rational objective -673
459.79/461.15	c #Conflicts:     146000 | #Constraints:      27536
459.79/461.15	c #Conflicts:     147000 | #Constraints:      28536
459.79/461.15	c #Conflicts:     148000 | #Constraints:      29536
459.79/461.15	c #Conflicts:     149000 | #Constraints:      30536
459.79/461.15	c #Conflicts:     150000 | #Constraints:      31536
459.79/461.15	c #Conflicts:     151000 | #Constraints:      32536
459.79/461.15	c #Conflicts:     152000 | #Constraints:      33536
459.79/461.15	c #Conflicts:     153000 | #Constraints:      34536
459.79/461.15	c #Conflicts:     154000 | #Constraints:      35536
459.79/461.15	c #Conflicts:     155000 | #Constraints:      36536
459.79/461.15	c #Conflicts:     156000 | #Constraints:      37536
459.79/461.15	c #Conflicts:     157000 | #Constraints:      38536
459.79/461.15	c #Conflicts:     158000 | #Constraints:      39536
459.79/461.15	c #Conflicts:     159000 | #Constraints:      40536
459.79/461.15	c #Conflicts:     160000 | #Constraints:      41536
459.79/461.15	c #Conflicts:     161000 | #Constraints:      42536
459.79/461.15	c #Conflicts:     162000 | #Constraints:      43536
459.79/461.15	c #Conflicts:     163000 | #Constraints:      44536
459.79/461.15	c #Conflicts:     164000 | #Constraints:      45536
459.79/461.15	c #Conflicts:     165000 | #Constraints:      46536
459.79/461.15	c #Conflicts:     166000 | #Constraints:      47536
459.79/461.15	c #Conflicts:     167000 | #Constraints:      48536
459.79/461.15	c #Conflicts:     168000 | #Constraints:      49536
459.79/461.15	c #Conflicts:     169000 | #Constraints:      50536
459.79/461.15	c #Conflicts:     170000 | #Constraints:      51536
459.79/461.15	c #Conflicts:     171000 | #Constraints:      52536
459.79/461.15	c INPROCESSING
459.79/461.15	c GARBAGE COLLECT
459.79/461.15	c rational objective -673
488.89/490.33	c #Conflicts:     172000 | #Constraints:      32303
488.89/490.33	c #Conflicts:     173000 | #Constraints:      33303
488.89/490.33	c #Conflicts:     174000 | #Constraints:      34303
488.89/490.33	c #Conflicts:     175000 | #Constraints:      35303
488.89/490.33	c #Conflicts:     176000 | #Constraints:      36303
488.89/490.33	c #Conflicts:     177000 | #Constraints:      37303
488.89/490.33	c #Conflicts:     178000 | #Constraints:      38303
488.89/490.33	c #Conflicts:     179000 | #Constraints:      39303
488.89/490.33	c #Conflicts:     180000 | #Constraints:      40303
488.89/490.33	c #Conflicts:     181000 | #Constraints:      41303
488.89/490.33	c #Conflicts:     182000 | #Constraints:      42303
488.89/490.33	c #Conflicts:     183000 | #Constraints:      43303
488.89/490.33	c INPROCESSING
488.89/490.33	c GARBAGE COLLECT
488.89/490.33	c rational objective -673
599.88/601.68	c #Conflicts:     184000 | #Constraints:      31736
599.88/601.68	c #Conflicts:     185000 | #Constraints:      32736
599.88/601.68	c #Conflicts:     186000 | #Constraints:      33736
599.88/601.68	c #Conflicts:     187000 | #Constraints:      34736
599.88/601.68	c #Conflicts:     188000 | #Constraints:      35736
599.88/601.68	c #Conflicts:     189000 | #Constraints:      36736
599.88/601.68	c #Conflicts:     190000 | #Constraints:      37736
599.88/601.68	c #Conflicts:     191000 | #Constraints:      38736
599.88/601.68	c #Conflicts:     192000 | #Constraints:      39736
599.88/601.68	c #Conflicts:     193000 | #Constraints:      40736
599.88/601.68	c #Conflicts:     194000 | #Constraints:      41736
599.88/601.68	c #Conflicts:     195000 | #Constraints:      42736
599.88/601.68	c #Conflicts:     196000 | #Constraints:      43736
599.88/601.68	c #Conflicts:     197000 | #Constraints:      44736
599.88/601.68	c #Conflicts:     198000 | #Constraints:      45736
599.88/601.68	c #Conflicts:     199000 | #Constraints:      46736
599.88/601.68	c #Conflicts:     200000 | #Constraints:      47736
599.88/601.68	c #Conflicts:     201000 | #Constraints:      48736
599.88/601.68	c #Conflicts:     202000 | #Constraints:      49736
599.88/601.68	c #Conflicts:     203000 | #Constraints:      50736
599.88/601.68	c #Conflicts:     204000 | #Constraints:      51736
599.88/601.68	c bounds -396 >= -672 @ 546.959
599.88/601.68	c #Conflicts:     205000 | #Constraints:      52778
599.88/601.68	c #Conflicts:     206000 | #Constraints:      53778
599.88/601.68	c #Conflicts:     207000 | #Constraints:      54778
599.88/601.68	c #Conflicts:     208000 | #Constraints:      55778
599.88/601.68	c #Conflicts:     209000 | #Constraints:      56778
599.88/601.68	c #Conflicts:     210000 | #Constraints:      57778
599.88/601.68	c #Conflicts:     211000 | #Constraints:      58778
599.88/601.68	c #Conflicts:     212000 | #Constraints:      59778
599.88/601.68	c INPROCESSING
599.88/601.68	c GARBAGE COLLECT
599.88/601.68	c rational objective -672
762.30/764.57	c bounds -397 >= -672 @ 591.868
762.30/764.57	c #Conflicts:     213000 | #Constraints:      35872
762.30/764.57	c #Conflicts:     214000 | #Constraints:      36872
762.30/764.57	c bounds -398 >= -672 @ 595.122
762.30/764.57	c #Conflicts:     215000 | #Constraints:      37873
762.30/764.57	c bounds -399 >= -672 @ 599.045
762.30/764.57	c #Conflicts:     216000 | #Constraints:      38874
762.30/764.57	c #Conflicts:     217000 | #Constraints:      39874
762.30/764.57	c #Conflicts:     218000 | #Constraints:      40874
762.30/764.57	c #Conflicts:     219000 | #Constraints:      41874
762.30/764.57	c #Conflicts:     220000 | #Constraints:      42874
762.30/764.57	c bounds -400 >= -672 @ 621.771
762.30/764.57	c #Conflicts:     221000 | #Constraints:      43875
762.30/764.57	c #Conflicts:     222000 | #Constraints:      44875
762.30/764.57	c #Conflicts:     223000 | #Constraints:      45875
762.30/764.57	c #Conflicts:     224000 | #Constraints:      46875
762.30/764.57	c #Conflicts:     225000 | #Constraints:      47875
762.30/764.57	c #Conflicts:     226000 | #Constraints:      48875
762.30/764.57	c #Conflicts:     227000 | #Constraints:      49875
762.30/764.57	c #Conflicts:     228000 | #Constraints:      50875
762.30/764.57	c #Conflicts:     229000 | #Constraints:      51875
762.30/764.57	c #Conflicts:     230000 | #Constraints:      52875
762.30/764.57	c #Conflicts:     231000 | #Constraints:      53875
762.30/764.57	c #Conflicts:     232000 | #Constraints:      54875
762.30/764.57	c #Conflicts:     233000 | #Constraints:      55875
762.30/764.57	c #Conflicts:     234000 | #Constraints:      56875
762.30/764.57	c #Conflicts:     235000 | #Constraints:      57875
762.30/764.57	c #Conflicts:     236000 | #Constraints:      58875
762.30/764.57	c #Conflicts:     237000 | #Constraints:      59875
762.30/764.57	c #Conflicts:     238000 | #Constraints:      60875
762.30/764.57	c #Conflicts:     239000 | #Constraints:      61875
762.30/764.57	c #Conflicts:     240000 | #Constraints:      62875
762.30/764.57	c #Conflicts:     241000 | #Constraints:      63875
762.30/764.57	c #Conflicts:     242000 | #Constraints:      64875
762.30/764.57	c #Conflicts:     243000 | #Constraints:      65875
762.30/764.57	c INPROCESSING
762.30/764.57	c GARBAGE COLLECT
762.30/764.57	c rational objective -672
818.44/820.87	c bounds -401 >= -672 @ 753.087
818.44/820.87	c bounds -403 >= -672 @ 753.199
818.44/820.87	c bounds -404 >= -672 @ 753.46
818.44/820.87	c bounds -405 >= -672 @ 753.634
818.44/820.87	c #Conflicts:     244000 | #Constraints:      39004
818.44/820.87	c bounds -406 >= -672 @ 754.471
818.44/820.87	c bounds -407 >= -672 @ 755.617
818.44/820.87	c #Conflicts:     245000 | #Constraints:      40006
818.44/820.87	c #Conflicts:     246000 | #Constraints:      41006
818.44/820.87	c bounds -408 >= -672 @ 761.306
818.44/820.87	c #Conflicts:     247000 | #Constraints:      42007
818.44/820.87	c #Conflicts:     248000 | #Constraints:      43007
818.44/820.87	c #Conflicts:     249000 | #Constraints:      44007
818.44/820.87	c #Conflicts:     250000 | #Constraints:      45007
818.44/820.87	c #Conflicts:     251000 | #Constraints:      46007
818.44/820.87	c #Conflicts:     252000 | #Constraints:      47007
818.44/820.87	c #Conflicts:     253000 | #Constraints:      48007
818.44/820.87	c #Conflicts:     254000 | #Constraints:      49007
818.44/820.87	c bounds -409 >= -672 @ 789.65
818.44/820.87	c #Conflicts:     255000 | #Constraints:      50008
818.44/820.87	c bounds -410 >= -672 @ 794.878
818.44/820.87	c #Conflicts:     256000 | #Constraints:      51009
818.44/820.87	c #Conflicts:     257000 | #Constraints:      52009
818.44/820.87	c #Conflicts:     258000 | #Constraints:      53009
818.44/820.87	c INPROCESSING
818.44/820.87	c GARBAGE COLLECT
818.44/820.87	c rational objective -672
1013.20/1016.19	c #Conflicts:     259000 | #Constraints:      37809
1013.20/1016.19	c #Conflicts:     260000 | #Constraints:      38809
1013.20/1016.19	c bounds -410 >= -671 @ 810.416
1013.20/1016.19	c #Conflicts:     261000 | #Constraints:      39848
1013.20/1016.19	c #Conflicts:     262000 | #Constraints:      40848
1013.20/1016.19	c #Conflicts:     263000 | #Constraints:      41848
1013.20/1016.19	c #Conflicts:     264000 | #Constraints:      42848
1013.20/1016.19	c #Conflicts:     265000 | #Constraints:      43848
1013.20/1016.19	c #Conflicts:     266000 | #Constraints:      44848
1013.20/1016.19	c bounds -411 >= -671 @ 830.76
1013.20/1016.19	c #Conflicts:     267000 | #Constraints:      45849
1013.20/1016.19	c #Conflicts:     268000 | #Constraints:      46849
1013.20/1016.19	c #Conflicts:     269000 | #Constraints:      47849
1013.20/1016.19	c #Conflicts:     270000 | #Constraints:      48849
1013.20/1016.19	c #Conflicts:     271000 | #Constraints:      49849
1013.20/1016.19	c #Conflicts:     272000 | #Constraints:      50849
1013.20/1016.19	c #Conflicts:     273000 | #Constraints:      51849
1013.20/1016.19	c #Conflicts:     274000 | #Constraints:      52849
1013.20/1016.19	c #Conflicts:     275000 | #Constraints:      53849
1013.20/1016.19	c #Conflicts:     276000 | #Constraints:      54849
1013.20/1016.19	c #Conflicts:     277000 | #Constraints:      55849
1013.20/1016.19	c #Conflicts:     278000 | #Constraints:      56849
1013.20/1016.19	c #Conflicts:     279000 | #Constraints:      57849
1013.20/1016.19	c #Conflicts:     280000 | #Constraints:      58849
1013.20/1016.19	c #Conflicts:     281000 | #Constraints:      59849
1013.20/1016.19	c #Conflicts:     282000 | #Constraints:      60849
1013.20/1016.19	c #Conflicts:     283000 | #Constraints:      61849
1013.20/1016.19	c #Conflicts:     284000 | #Constraints:      62849
1013.20/1016.19	c #Conflicts:     285000 | #Constraints:      63849
1013.20/1016.19	c #Conflicts:     286000 | #Constraints:      64849
1013.20/1016.19	c #Conflicts:     287000 | #Constraints:      65849
1013.20/1016.19	c #Conflicts:     288000 | #Constraints:      66849
1013.20/1016.19	c #Conflicts:     289000 | #Constraints:      67849
1013.20/1016.19	c #Conflicts:     290000 | #Constraints:      68849
1013.20/1016.19	c #Conflicts:     291000 | #Constraints:      69849
1013.20/1016.19	c INPROCESSING
1013.20/1016.19	c GARBAGE COLLECT
1013.20/1016.19	c rational objective -671
1318.38/1322.22	c #Conflicts:     292000 | #Constraints:      41131
1318.38/1322.22	c #Conflicts:     293000 | #Constraints:      42131
1318.38/1322.22	c #Conflicts:     294000 | #Constraints:      43131
1318.38/1322.22	c #Conflicts:     295000 | #Constraints:      44131
1318.38/1322.22	c #Conflicts:     296000 | #Constraints:      45131
1318.38/1322.22	c #Conflicts:     297000 | #Constraints:      46131
1318.38/1322.22	c bounds -412 >= -671 @ 1021.83
1318.38/1322.22	c #Conflicts:     298000 | #Constraints:      47132
1318.38/1322.22	c bounds -413 >= -671 @ 1023.68
1318.38/1322.22	c #Conflicts:     299000 | #Constraints:      48133
1318.38/1322.22	c #Conflicts:     300000 | #Constraints:      49133
1318.38/1322.22	c #Conflicts:     301000 | #Constraints:      50133
1318.38/1322.22	c #Conflicts:     302000 | #Constraints:      51133
1318.38/1322.22	c #Conflicts:     303000 | #Constraints:      52133
1318.38/1322.22	c #Conflicts:     304000 | #Constraints:      53133
1318.38/1322.22	c #Conflicts:     305000 | #Constraints:      54133
1318.38/1322.22	c #Conflicts:     306000 | #Constraints:      55133
1318.38/1322.22	c #Conflicts:     307000 | #Constraints:      56133
1318.38/1322.22	c #Conflicts:     308000 | #Constraints:      57133
1318.38/1322.22	c #Conflicts:     309000 | #Constraints:      58133
1318.38/1322.22	c #Conflicts:     310000 | #Constraints:      59133
1318.38/1322.22	c #Conflicts:     311000 | #Constraints:      60133
1318.38/1322.22	c #Conflicts:     312000 | #Constraints:      61133
1318.38/1322.22	c #Conflicts:     313000 | #Constraints:      62133
1318.38/1322.22	c #Conflicts:     314000 | #Constraints:      63133
1318.38/1322.22	c #Conflicts:     315000 | #Constraints:      64133
1318.38/1322.22	c #Conflicts:     316000 | #Constraints:      65133
1318.38/1322.22	c #Conflicts:     317000 | #Constraints:      66133
1318.38/1322.22	c #Conflicts:     318000 | #Constraints:      67133
1318.38/1322.22	c #Conflicts:     319000 | #Constraints:      68133
1318.38/1322.22	c #Conflicts:     320000 | #Constraints:      69133
1318.38/1322.22	c #Conflicts:     321000 | #Constraints:      70133
1318.38/1322.22	c #Conflicts:     322000 | #Constraints:      71133
1318.38/1322.22	c #Conflicts:     323000 | #Constraints:      72133
1318.38/1322.22	c #Conflicts:     324000 | #Constraints:      73133
1318.38/1322.22	c #Conflicts:     325000 | #Constraints:      74133
1318.38/1322.22	c #Conflicts:     326000 | #Constraints:      75133
1318.38/1322.22	c #Conflicts:     327000 | #Constraints:      76133
1318.38/1322.22	c INPROCESSING
1318.38/1322.22	c GARBAGE COLLECT
1318.38/1322.22	c rational objective -671
1351.09/1355.04	c #Conflicts:     328000 | #Constraints:      43733
1351.09/1355.04	c #Conflicts:     329000 | #Constraints:      44733
1351.09/1355.04	c #Conflicts:     330000 | #Constraints:      45733
1351.09/1355.04	c #Conflicts:     331000 | #Constraints:      46733
1351.09/1355.04	c #Conflicts:     332000 | #Constraints:      47733
1351.09/1355.04	c #Conflicts:     333000 | #Constraints:      48733
1351.09/1355.04	c #Conflicts:     334000 | #Constraints:      49733
1351.09/1355.04	c #Conflicts:     335000 | #Constraints:      50733
1351.09/1355.04	c bounds -413 >= -670 @ 1319.02
1351.09/1355.04	c #Conflicts:     336000 | #Constraints:      51760
1351.09/1355.04	c #Conflicts:     337000 | #Constraints:      52760
1351.09/1355.04	c #Conflicts:     338000 | #Constraints:      53760
1351.09/1355.04	c #Conflicts:     339000 | #Constraints:      54760
1351.09/1355.04	c #Conflicts:     340000 | #Constraints:      55760
1351.09/1355.04	c #Conflicts:     341000 | #Constraints:      56760
1351.09/1355.04	c bounds -413 >= -669 @ 1329.59
1351.09/1355.04	c #Conflicts:     342000 | #Constraints:      57793
1351.09/1355.04	c #Conflicts:     343000 | #Constraints:      58793
1351.09/1355.04	c #Conflicts:     344000 | #Constraints:      59793
1351.09/1355.04	c #Conflicts:     345000 | #Constraints:      60793
1351.09/1355.04	c INPROCESSING
1351.09/1355.04	c GARBAGE COLLECT
1351.09/1355.04	c rational objective -669
1441.14/1445.37	c #Conflicts:     346000 | #Constraints:      45747
1441.14/1445.37	c #Conflicts:     347000 | #Constraints:      46747
1441.14/1445.37	c #Conflicts:     348000 | #Constraints:      47747
1441.14/1445.37	c #Conflicts:     349000 | #Constraints:      48747
1441.14/1445.37	c #Conflicts:     350000 | #Constraints:      49747
1441.14/1445.37	c #Conflicts:     351000 | #Constraints:      50747
1441.14/1445.37	c #Conflicts:     352000 | #Constraints:      51747
1441.14/1445.37	c #Conflicts:     353000 | #Constraints:      52747
1441.14/1445.37	c #Conflicts:     354000 | #Constraints:      53747
1441.14/1445.37	c #Conflicts:     355000 | #Constraints:      54747
1441.14/1445.37	c #Conflicts:     356000 | #Constraints:      55747
1441.14/1445.37	c #Conflicts:     357000 | #Constraints:      56747
1441.14/1445.37	c #Conflicts:     358000 | #Constraints:      57747
1441.14/1445.37	c #Conflicts:     359000 | #Constraints:      58747
1441.14/1445.37	c #Conflicts:     360000 | #Constraints:      59747
1441.14/1445.37	c #Conflicts:     361000 | #Constraints:      60747
1441.14/1445.37	c #Conflicts:     362000 | #Constraints:      61747
1441.14/1445.37	c #Conflicts:     363000 | #Constraints:      62747
1441.14/1445.37	c bounds -413 >= -668 @ 1360.74
1441.14/1445.37	c #Conflicts:     364000 | #Constraints:      63813
1441.14/1445.37	c #Conflicts:     365000 | #Constraints:      64813
1441.14/1445.37	c #Conflicts:     366000 | #Constraints:      65813
1441.14/1445.37	c #Conflicts:     367000 | #Constraints:      66813
1441.14/1445.37	c #Conflicts:     368000 | #Constraints:      67813
1441.14/1445.37	c #Conflicts:     369000 | #Constraints:      68813
1441.14/1445.37	c #Conflicts:     370000 | #Constraints:      69813
1441.14/1445.37	c #Conflicts:     371000 | #Constraints:      70813
1441.14/1445.37	c #Conflicts:     372000 | #Constraints:      71813
1441.14/1445.37	c #Conflicts:     373000 | #Constraints:      72813
1441.14/1445.37	c #Conflicts:     374000 | #Constraints:      73813
1441.14/1445.37	c #Conflicts:     375000 | #Constraints:      74813
1441.14/1445.37	c #Conflicts:     376000 | #Constraints:      75813
1441.14/1445.37	c #Conflicts:     377000 | #Constraints:      76813
1441.14/1445.37	c #Conflicts:     378000 | #Constraints:      77813
1441.14/1445.37	c #Conflicts:     379000 | #Constraints:      78813
1441.14/1445.37	c #Conflicts:     380000 | #Constraints:      79813
1441.14/1445.37	c #Conflicts:     381000 | #Constraints:      80813
1441.14/1445.37	c #Conflicts:     382000 | #Constraints:      81813
1441.14/1445.37	c #Conflicts:     383000 | #Constraints:      82813
1441.14/1445.37	c #Conflicts:     384000 | #Constraints:      83813
1441.14/1445.37	c INPROCESSING
1441.14/1445.37	c GARBAGE COLLECT
1441.14/1445.37	c rational objective -668
1565.93/1570.47	c #Conflicts:     385000 | #Constraints:      50479
1565.93/1570.47	c #Conflicts:     386000 | #Constraints:      51479
1565.93/1570.47	c #Conflicts:     387000 | #Constraints:      52479
1565.93/1570.47	c #Conflicts:     388000 | #Constraints:      53479
1565.93/1570.47	c #Conflicts:     389000 | #Constraints:      54479
1565.93/1570.47	c #Conflicts:     390000 | #Constraints:      55479
1565.93/1570.47	c #Conflicts:     391000 | #Constraints:      56479
1565.93/1570.47	c #Conflicts:     392000 | #Constraints:      57479
1565.93/1570.47	c #Conflicts:     393000 | #Constraints:      58479
1565.93/1570.47	c #Conflicts:     394000 | #Constraints:      59479
1565.93/1570.47	c #Conflicts:     395000 | #Constraints:      60479
1565.93/1570.47	c #Conflicts:     396000 | #Constraints:      61479
1565.93/1570.47	c #Conflicts:     397000 | #Constraints:      62479
1565.93/1570.47	c #Conflicts:     398000 | #Constraints:      63479
1565.93/1570.47	c #Conflicts:     399000 | #Constraints:      64479
1565.93/1570.47	c #Conflicts:     400000 | #Constraints:      65479
1565.93/1570.47	c #Conflicts:     401000 | #Constraints:      66479
1565.93/1570.47	c #Conflicts:     402000 | #Constraints:      67479
1565.93/1570.47	c #Conflicts:     403000 | #Constraints:      68479
1565.93/1570.47	c #Conflicts:     404000 | #Constraints:      69479
1565.93/1570.47	c #Conflicts:     405000 | #Constraints:      70479
1565.93/1570.47	c #Conflicts:     406000 | #Constraints:      71479
1565.93/1570.47	c #Conflicts:     407000 | #Constraints:      72479
1565.93/1570.47	c #Conflicts:     408000 | #Constraints:      73479
1565.93/1570.47	c #Conflicts:     409000 | #Constraints:      74479
1565.93/1570.47	c #Conflicts:     410000 | #Constraints:      75479
1565.93/1570.47	c #Conflicts:     411000 | #Constraints:      76479
1565.93/1570.47	c #Conflicts:     412000 | #Constraints:      77479
1565.93/1570.47	c #Conflicts:     413000 | #Constraints:      78479
1565.93/1570.47	c #Conflicts:     414000 | #Constraints:      79479
1565.93/1570.47	c #Conflicts:     415000 | #Constraints:      80479
1565.93/1570.47	c #Conflicts:     416000 | #Constraints:      81479
1565.93/1570.47	c #Conflicts:     417000 | #Constraints:      82479
1565.93/1570.47	c #Conflicts:     418000 | #Constraints:      83479
1565.93/1570.47	c #Conflicts:     419000 | #Constraints:      84479
1565.93/1570.47	c #Conflicts:     420000 | #Constraints:      85479
1565.93/1570.47	c #Conflicts:     421000 | #Constraints:      86479
1565.93/1570.47	c #Conflicts:     422000 | #Constraints:      87479
1565.93/1570.47	c #Conflicts:     423000 | #Constraints:      88479
1565.93/1570.47	c #Conflicts:     424000 | #Constraints:      89479
1565.93/1570.47	c #Conflicts:     425000 | #Constraints:      90479
1565.93/1570.47	c INPROCESSING
1565.93/1570.47	c GARBAGE COLLECT
1565.93/1570.47	c rational objective -668
1693.90/1698.73	c #Conflicts:     426000 | #Constraints:      53197
1693.90/1698.73	c #Conflicts:     427000 | #Constraints:      54197
1693.90/1698.73	c #Conflicts:     428000 | #Constraints:      55197
1693.90/1698.73	c #Conflicts:     429000 | #Constraints:      56197
1693.90/1698.73	c #Conflicts:     430000 | #Constraints:      57197
1693.90/1698.73	c #Conflicts:     431000 | #Constraints:      58197
1693.90/1698.73	c #Conflicts:     432000 | #Constraints:      59197
1693.90/1698.73	c #Conflicts:     433000 | #Constraints:      60197
1693.90/1698.73	c bounds -413 >= -667 @ 1560.69
1693.90/1698.73	c #Conflicts:     434000 | #Constraints:      61251
1693.90/1698.73	c #Conflicts:     435000 | #Constraints:      62251
1693.90/1698.73	c #Conflicts:     436000 | #Constraints:      63251
1693.90/1698.73	c #Conflicts:     437000 | #Constraints:      64251
1693.90/1698.73	c #Conflicts:     438000 | #Constraints:      65251
1693.90/1698.73	c #Conflicts:     439000 | #Constraints:      66251
1693.90/1698.73	c #Conflicts:     440000 | #Constraints:      67251
1693.90/1698.73	c #Conflicts:     441000 | #Constraints:      68251
1693.90/1698.73	c #Conflicts:     442000 | #Constraints:      69251
1693.90/1698.73	c #Conflicts:     443000 | #Constraints:      70251
1693.90/1698.73	c #Conflicts:     444000 | #Constraints:      71251
1693.90/1698.73	c #Conflicts:     445000 | #Constraints:      72251
1693.90/1698.73	c #Conflicts:     446000 | #Constraints:      73251
1693.90/1698.73	c #Conflicts:     447000 | #Constraints:      74251
1693.90/1698.73	c #Conflicts:     448000 | #Constraints:      75251
1693.90/1698.73	c #Conflicts:     449000 | #Constraints:      76251
1693.90/1698.73	c #Conflicts:     450000 | #Constraints:      77251
1693.90/1698.73	c #Conflicts:     451000 | #Constraints:      78251
1693.90/1698.73	c #Conflicts:     452000 | #Constraints:      79251
1693.90/1698.73	c #Conflicts:     453000 | #Constraints:      80251
1693.90/1698.73	c #Conflicts:     454000 | #Constraints:      81251
1693.90/1698.73	c #Conflicts:     455000 | #Constraints:      82251
1693.90/1698.73	c #Conflicts:     456000 | #Constraints:      83251
1693.90/1698.73	c #Conflicts:     457000 | #Constraints:      84251
1693.90/1698.73	c #Conflicts:     458000 | #Constraints:      85251
1693.90/1698.73	c #Conflicts:     459000 | #Constraints:      86251
1693.90/1698.73	c #Conflicts:     460000 | #Constraints:      87251
1693.90/1698.73	c #Conflicts:     461000 | #Constraints:      88251
1693.90/1698.73	c #Conflicts:     462000 | #Constraints:      89251
1693.90/1698.73	c #Conflicts:     463000 | #Constraints:      90251
1693.90/1698.73	c #Conflicts:     464000 | #Constraints:      91251
1693.90/1698.73	c #Conflicts:     465000 | #Constraints:      92251
1693.90/1698.73	c #Conflicts:     466000 | #Constraints:      93251
1693.90/1698.73	c #Conflicts:     467000 | #Constraints:      94251
1693.90/1698.73	c #Conflicts:     468000 | #Constraints:      95251
1693.90/1698.73	c INPROCESSING
1693.90/1698.73	c GARBAGE COLLECT
1693.90/1698.73	c rational objective -667
1928.53/1933.92	c #Conflicts:     469000 | #Constraints:      58627
1928.53/1933.92	c #Conflicts:     470000 | #Constraints:      59627
1928.53/1933.92	c #Conflicts:     471000 | #Constraints:      60627
1928.53/1933.92	c #Conflicts:     472000 | #Constraints:      61627
1928.53/1933.92	c #Conflicts:     473000 | #Constraints:      62627
1928.53/1933.92	c #Conflicts:     474000 | #Constraints:      63627
1928.53/1933.92	c #Conflicts:     475000 | #Constraints:      64627
1928.53/1933.92	c #Conflicts:     476000 | #Constraints:      65627
1928.53/1933.92	c #Conflicts:     477000 | #Constraints:      66627
1928.53/1933.92	c #Conflicts:     478000 | #Constraints:      67627
1928.53/1933.92	c #Conflicts:     479000 | #Constraints:      68627
1928.53/1933.92	c #Conflicts:     480000 | #Constraints:      69627
1928.53/1933.92	c #Conflicts:     481000 | #Constraints:      70627
1928.53/1933.92	c #Conflicts:     482000 | #Constraints:      71627
1928.53/1933.92	c #Conflicts:     483000 | #Constraints:      72627
1928.53/1933.92	c #Conflicts:     484000 | #Constraints:      73627
1928.53/1933.92	c #Conflicts:     485000 | #Constraints:      74627
1928.53/1933.92	c #Conflicts:     486000 | #Constraints:      75627
1928.53/1933.92	c #Conflicts:     487000 | #Constraints:      76627
1928.53/1933.92	c #Conflicts:     488000 | #Constraints:      77627
1928.53/1933.92	c #Conflicts:     489000 | #Constraints:      78627
1928.53/1933.92	c #Conflicts:     490000 | #Constraints:      79627
1928.53/1933.92	c #Conflicts:     491000 | #Constraints:      80627
1928.53/1933.92	c #Conflicts:     492000 | #Constraints:      81627
1928.53/1933.92	c #Conflicts:     493000 | #Constraints:      82627
1928.53/1933.92	c #Conflicts:     494000 | #Constraints:      83627
1928.53/1933.92	c #Conflicts:     495000 | #Constraints:      84627
1928.53/1933.92	c #Conflicts:     496000 | #Constraints:      85627
1928.53/1933.92	c #Conflicts:     497000 | #Constraints:      86627
1928.53/1933.92	c #Conflicts:     498000 | #Constraints:      87627
1928.53/1933.92	c #Conflicts:     499000 | #Constraints:      88627
1928.53/1933.92	c #Conflicts:     500000 | #Constraints:      89627
1928.53/1933.92	c #Conflicts:     501000 | #Constraints:      90627
1928.53/1933.92	c #Conflicts:     502000 | #Constraints:      91627
1928.53/1933.92	c #Conflicts:     503000 | #Constraints:      92627
1928.53/1933.92	c #Conflicts:     504000 | #Constraints:      93627
1928.53/1933.92	c #Conflicts:     505000 | #Constraints:      94627
1928.53/1933.92	c #Conflicts:     506000 | #Constraints:      95627
1928.53/1933.92	c #Conflicts:     507000 | #Constraints:      96627
1928.53/1933.92	c #Conflicts:     508000 | #Constraints:      97627
1928.53/1933.92	c #Conflicts:     509000 | #Constraints:      98627
1928.53/1933.92	c #Conflicts:     510000 | #Constraints:      99627
1928.53/1933.92	c #Conflicts:     511000 | #Constraints:     100627
1928.53/1933.92	c #Conflicts:     512000 | #Constraints:     101627
1928.53/1933.92	c #Conflicts:     513000 | #Constraints:     102627
1928.53/1933.92	c INPROCESSING
1928.53/1933.92	c GARBAGE COLLECT
1928.53/1933.92	c rational objective -667
2348.83/2355.20	c bounds -418 >= -667 @ 1910.02
2348.83/2355.20	c bounds -419 >= -667 @ 1910.26
2348.83/2355.20	c bounds -421 >= -667 @ 1910.3
2348.83/2355.20	c bounds -422 >= -667 @ 1910.34
2348.83/2355.20	c bounds -424 >= -667 @ 1910.37
2348.83/2355.20	c bounds -425 >= -667 @ 1910.41
2348.83/2355.20	c bounds -426 >= -667 @ 1910.45
2348.83/2355.20	c bounds -427 >= -667 @ 1910.49
2348.83/2355.20	c bounds -429 >= -667 @ 1910.52
2348.83/2355.20	c bounds -430 >= -667 @ 1910.56
2348.83/2355.20	c bounds -432 >= -667 @ 1910.6
2348.83/2355.20	c bounds -434 >= -667 @ 1910.63
2348.83/2355.20	c bounds -435 >= -667 @ 1910.67
2348.83/2355.20	c bounds -437 >= -667 @ 1910.71
2348.83/2355.20	c bounds -439 >= -667 @ 1910.74
2348.83/2355.20	c bounds -441 >= -667 @ 1910.78
2348.83/2355.20	c bounds -443 >= -667 @ 1910.81
2348.83/2355.20	c bounds -444 >= -667 @ 1910.85
2348.83/2355.20	c bounds -445 >= -667 @ 1912.11
2348.83/2355.20	c #Conflicts:     514000 | #Constraints:      61172
2348.83/2355.20	c bounds -446 >= -667 @ 1913.63
2348.83/2355.20	c #Conflicts:     515000 | #Constraints:      62173
2348.83/2355.20	c #Conflicts:     516000 | #Constraints:      63173
2348.83/2355.20	c bounds -447 >= -667 @ 1921.38
2348.83/2355.20	c #Conflicts:     517000 | #Constraints:      64174
2348.83/2355.20	c bounds -449 >= -667 @ 1925.31
2348.83/2355.20	c bounds -451 >= -667 @ 1925.7
2348.83/2355.20	c bounds -453 >= -667 @ 1926.02
2348.83/2355.20	c bounds -454 >= -667 @ 1926.2
2348.83/2355.20	c #Conflicts:     518000 | #Constraints:      65178
2348.83/2355.20	c #Conflicts:     519000 | #Constraints:      66178
2348.83/2355.20	c #Conflicts:     520000 | #Constraints:      67178
2348.83/2355.20	c bounds -455 >= -667 @ 1937.78
2348.83/2355.20	c #Conflicts:     521000 | #Constraints:      68179
2348.83/2355.20	c bounds -456 >= -667 @ 1939.08
2348.83/2355.20	c #Conflicts:     522000 | #Constraints:      69180
2348.83/2355.20	c bounds -457 >= -667 @ 1943.49
2348.83/2355.20	c #Conflicts:     523000 | #Constraints:      70181
2348.83/2355.20	c #Conflicts:     524000 | #Constraints:      71181
2348.83/2355.20	c #Conflicts:     525000 | #Constraints:      72181
2348.83/2355.20	c #Conflicts:     526000 | #Constraints:      73181
2348.83/2355.20	c #Conflicts:     527000 | #Constraints:      74181
2348.83/2355.20	c #Conflicts:     528000 | #Constraints:      75181
2348.83/2355.20	c #Conflicts:     529000 | #Constraints:      76181
2348.83/2355.20	c #Conflicts:     530000 | #Constraints:      77181
2348.83/2355.20	c #Conflicts:     531000 | #Constraints:      78181
2348.83/2355.20	c #Conflicts:     532000 | #Constraints:      79181
2348.83/2355.20	c #Conflicts:     533000 | #Constraints:      80181
2348.83/2355.20	c #Conflicts:     534000 | #Constraints:      81181
2348.83/2355.20	c #Conflicts:     535000 | #Constraints:      82181
2348.83/2355.20	c bounds -458 >= -667 @ 2038.19
2348.83/2355.20	c #Conflicts:     536000 | #Constraints:      83182
2348.83/2355.20	c #Conflicts:     537000 | #Constraints:      84182
2348.83/2355.20	c #Conflicts:     538000 | #Constraints:      85182
2348.83/2355.20	c #Conflicts:     539000 | #Constraints:      86182
2348.83/2355.20	c #Conflicts:     540000 | #Constraints:      87182
2348.83/2355.20	c #Conflicts:     541000 | #Constraints:      88182
2348.83/2355.20	c #Conflicts:     542000 | #Constraints:      89182
2348.83/2355.20	c #Conflicts:     543000 | #Constraints:      90182
2348.83/2355.20	c #Conflicts:     544000 | #Constraints:      91182
2348.83/2355.20	c #Conflicts:     545000 | #Constraints:      92182
2348.83/2355.20	c #Conflicts:     546000 | #Constraints:      93182
2348.83/2355.20	c #Conflicts:     547000 | #Constraints:      94182
2348.83/2355.20	c #Conflicts:     548000 | #Constraints:      95182
2348.83/2355.20	c #Conflicts:     549000 | #Constraints:      96182
2348.83/2355.20	c #Conflicts:     550000 | #Constraints:      97182
2348.83/2355.20	c #Conflicts:     551000 | #Constraints:      98182
2348.83/2355.20	c #Conflicts:     552000 | #Constraints:      99182
2348.83/2355.20	c #Conflicts:     553000 | #Constraints:     100182
2348.83/2355.20	c #Conflicts:     554000 | #Constraints:     101182
2348.83/2355.20	c #Conflicts:     555000 | #Constraints:     102182
2348.83/2355.20	c #Conflicts:     556000 | #Constraints:     103182
2348.83/2355.20	c #Conflicts:     557000 | #Constraints:     104182
2348.83/2355.20	c #Conflicts:     558000 | #Constraints:     105182
2348.83/2355.20	c #Conflicts:     559000 | #Constraints:     106182
2348.83/2355.20	c #Conflicts:     560000 | #Constraints:     107182
2348.83/2355.20	c INPROCESSING
2348.83/2355.20	c GARBAGE COLLECT
2348.83/2355.20	c rational objective -667
2708.05/2715.31	c bounds -459 >= -667 @ 2330.26
2708.05/2715.31	c #Conflicts:     561000 | #Constraints:      62455
2708.05/2715.31	c #Conflicts:     562000 | #Constraints:      63455
2708.05/2715.31	c #Conflicts:     563000 | #Constraints:      64455
2708.05/2715.31	c #Conflicts:     564000 | #Constraints:      65455
2708.05/2715.31	c bounds -460 >= -667 @ 2344.69
2708.05/2715.31	c #Conflicts:     565000 | #Constraints:      66456
2708.05/2715.31	c bounds -461 >= -667 @ 2347.31
2708.05/2715.31	c #Conflicts:     566000 | #Constraints:      67457
2708.05/2715.31	c #Conflicts:     567000 | #Constraints:      68457
2708.05/2715.31	c #Conflicts:     568000 | #Constraints:      69457
2708.05/2715.31	c #Conflicts:     569000 | #Constraints:      70457
2708.05/2715.31	c #Conflicts:     570000 | #Constraints:      71457
2708.05/2715.31	c #Conflicts:     571000 | #Constraints:      72457
2708.05/2715.31	c #Conflicts:     572000 | #Constraints:      73457
2708.05/2715.31	c #Conflicts:     573000 | #Constraints:      74457
2708.05/2715.31	c #Conflicts:     574000 | #Constraints:      75457
2708.05/2715.31	c #Conflicts:     575000 | #Constraints:      76457
2708.05/2715.31	c #Conflicts:     576000 | #Constraints:      77457
2708.05/2715.31	c #Conflicts:     577000 | #Constraints:      78457
2708.05/2715.31	c #Conflicts:     578000 | #Constraints:      79457
2708.05/2715.31	c bounds -462 >= -667 @ 2430.13
2708.05/2715.31	c #Conflicts:     579000 | #Constraints:      80458
2708.05/2715.31	c #Conflicts:     580000 | #Constraints:      81458
2708.05/2715.31	c #Conflicts:     581000 | #Constraints:      82458
2708.05/2715.31	c #Conflicts:     582000 | #Constraints:      83458
2708.05/2715.31	c #Conflicts:     583000 | #Constraints:      84458
2708.05/2715.31	c #Conflicts:     584000 | #Constraints:      85458
2708.05/2715.31	c #Conflicts:     585000 | #Constraints:      86458
2708.05/2715.31	c #Conflicts:     586000 | #Constraints:      87458
2708.05/2715.31	c #Conflicts:     587000 | #Constraints:      88458
2708.05/2715.31	c #Conflicts:     588000 | #Constraints:      89458
2708.05/2715.31	c #Conflicts:     589000 | #Constraints:      90458
2708.05/2715.31	c #Conflicts:     590000 | #Constraints:      91458
2708.05/2715.31	c #Conflicts:     591000 | #Constraints:      92458
2708.05/2715.31	c #Conflicts:     592000 | #Constraints:      93458
2708.05/2715.31	c #Conflicts:     593000 | #Constraints:      94458
2708.05/2715.31	c #Conflicts:     594000 | #Constraints:      95458
2708.05/2715.31	c #Conflicts:     595000 | #Constraints:      96458
2708.05/2715.31	c #Conflicts:     596000 | #Constraints:      97458
2708.05/2715.31	c #Conflicts:     597000 | #Constraints:      98458
2708.05/2715.31	c #Conflicts:     598000 | #Constraints:      99458
2708.05/2715.31	c #Conflicts:     599000 | #Constraints:     100458
2708.05/2715.31	c #Conflicts:     600000 | #Constraints:     101458
2708.05/2715.31	c #Conflicts:     601000 | #Constraints:     102458
2708.05/2715.31	c #Conflicts:     602000 | #Constraints:     103458
2708.05/2715.31	c #Conflicts:     603000 | #Constraints:     104458
2708.05/2715.31	c #Conflicts:     604000 | #Constraints:     105458
2708.05/2715.31	c #Conflicts:     605000 | #Constraints:     106458
2708.05/2715.31	c bounds -462 >= -666 @ 2664.4
2708.05/2715.31	c #Conflicts:     606000 | #Constraints:     107539
2708.05/2715.31	c bounds -463 >= -666 @ 2670.27
2708.05/2715.31	c #Conflicts:     607000 | #Constraints:     108540
2708.05/2715.31	c #Conflicts:     608000 | #Constraints:     109540
2708.05/2715.31	c #Conflicts:     609000 | #Constraints:     110540
2708.05/2715.31	c INPROCESSING
2708.05/2715.31	c GARBAGE COLLECT
2708.05/2715.31	c rational objective -666
3224.60/3233.15	c #Conflicts:     610000 | #Constraints:      63406
3224.60/3233.15	c #Conflicts:     611000 | #Constraints:      64406
3224.60/3233.15	c #Conflicts:     612000 | #Constraints:      65406
3224.60/3233.15	c #Conflicts:     613000 | #Constraints:      66406
3224.60/3233.15	c #Conflicts:     614000 | #Constraints:      67406
3224.60/3233.15	c #Conflicts:     615000 | #Constraints:      68406
3224.60/3233.15	c bounds -464 >= -666 @ 2715.92
3224.60/3233.15	c #Conflicts:     616000 | #Constraints:      69407
3224.60/3233.15	c #Conflicts:     617000 | #Constraints:      70407
3224.60/3233.15	c #Conflicts:     618000 | #Constraints:      71407
3224.60/3233.15	c #Conflicts:     619000 | #Constraints:      72407
3224.60/3233.15	c #Conflicts:     620000 | #Constraints:      73407
3224.60/3233.15	c #Conflicts:     621000 | #Constraints:      74407
3224.60/3233.15	c #Conflicts:     622000 | #Constraints:      75407
3224.60/3233.15	c #Conflicts:     623000 | #Constraints:      76407
3224.60/3233.15	c #Conflicts:     624000 | #Constraints:      77407
3224.60/3233.15	c #Conflicts:     625000 | #Constraints:      78407
3224.60/3233.15	c #Conflicts:     626000 | #Constraints:      79407
3224.60/3233.15	c #Conflicts:     627000 | #Constraints:      80407
3224.60/3233.15	c #Conflicts:     628000 | #Constraints:      81407
3224.60/3233.15	c #Conflicts:     629000 | #Constraints:      82407
3224.60/3233.15	c #Conflicts:     630000 | #Constraints:      83407
3224.60/3233.15	c #Conflicts:     631000 | #Constraints:      84407
3224.60/3233.15	c #Conflicts:     632000 | #Constraints:      85407
3224.60/3233.15	c #Conflicts:     633000 | #Constraints:      86407
3224.60/3233.15	c #Conflicts:     634000 | #Constraints:      87407
3224.60/3233.15	c #Conflicts:     635000 | #Constraints:      88407
3224.60/3233.15	c #Conflicts:     636000 | #Constraints:      89407
3224.60/3233.15	c #Conflicts:     637000 | #Constraints:      90407
3224.60/3233.15	c #Conflicts:     638000 | #Constraints:      91407
3224.60/3233.15	c #Conflicts:     639000 | #Constraints:      92407
3224.60/3233.15	c #Conflicts:     640000 | #Constraints:      93407
3224.60/3233.15	c bounds -465 >= -666 @ 2897.3
3224.60/3233.15	c #Conflicts:     641000 | #Constraints:      94408
3224.60/3233.15	c #Conflicts:     642000 | #Constraints:      95408
3224.60/3233.15	c #Conflicts:     643000 | #Constraints:      96408
3224.60/3233.15	c #Conflicts:     644000 | #Constraints:      97408
3224.60/3233.15	c #Conflicts:     645000 | #Constraints:      98408
3224.60/3233.15	c #Conflicts:     646000 | #Constraints:      99408
3224.60/3233.15	c #Conflicts:     647000 | #Constraints:     100408
3224.60/3233.15	c #Conflicts:     648000 | #Constraints:     101408
3224.60/3233.15	c #Conflicts:     649000 | #Constraints:     102408
3224.60/3233.15	c #Conflicts:     650000 | #Constraints:     103408
3224.60/3233.15	c #Conflicts:     651000 | #Constraints:     104408
3224.60/3233.15	c #Conflicts:     652000 | #Constraints:     105408
3224.60/3233.15	c #Conflicts:     653000 | #Constraints:     106408
3224.60/3233.15	c #Conflicts:     654000 | #Constraints:     107408
3224.60/3233.15	c #Conflicts:     655000 | #Constraints:     108408
3224.60/3233.15	c #Conflicts:     656000 | #Constraints:     109408
3224.60/3233.15	c #Conflicts:     657000 | #Constraints:     110408
3224.60/3233.15	c #Conflicts:     658000 | #Constraints:     111408
3224.60/3233.15	c #Conflicts:     659000 | #Constraints:     112408
3224.60/3233.15	c #Conflicts:     660000 | #Constraints:     113408
3224.60/3233.15	c INPROCESSING
3224.60/3233.15	c GARBAGE COLLECT
3224.60/3233.15	c rational objective -666
3575.97/3585.45	c #Conflicts:     661000 | #Constraints:      66103
3575.97/3585.45	c #Conflicts:     662000 | #Constraints:      67103
3575.97/3585.45	c #Conflicts:     663000 | #Constraints:      68103
3575.97/3585.45	c #Conflicts:     664000 | #Constraints:      69103
3575.97/3585.45	c #Conflicts:     665000 | #Constraints:      70103
3575.97/3585.45	c #Conflicts:     666000 | #Constraints:      71103
3575.97/3585.45	c #Conflicts:     667000 | #Constraints:      72103
3575.97/3585.45	c #Conflicts:     668000 | #Constraints:      73103
3575.97/3585.45	c #Conflicts:     669000 | #Constraints:      74103
3575.97/3585.45	c #Conflicts:     670000 | #Constraints:      75103
3575.97/3585.45	c #Conflicts:     671000 | #Constraints:      76103
3575.97/3585.45	c #Conflicts:     672000 | #Constraints:      77103
3575.97/3585.45	c #Conflicts:     673000 | #Constraints:      78103
3575.97/3585.45	c #Conflicts:     674000 | #Constraints:      79103
3575.97/3585.45	c #Conflicts:     675000 | #Constraints:      80103
3575.97/3585.45	c #Conflicts:     676000 | #Constraints:      81103
3575.97/3585.45	c #Conflicts:     677000 | #Constraints:      82103
3575.97/3585.45	c #Conflicts:     678000 | #Constraints:      83103
3575.97/3585.45	c #Conflicts:     679000 | #Constraints:      84103
3575.97/3585.45	c #Conflicts:     680000 | #Constraints:      85103
3575.97/3585.46	c #Conflicts:     681000 | #Constraints:      86103
3575.97/3585.46	c #Conflicts:     682000 | #Constraints:      87103
3575.97/3585.46	c #Conflicts:     683000 | #Constraints:      88103
3575.97/3585.46	c #Conflicts:     684000 | #Constraints:      89103
3575.97/3585.46	c #Conflicts:     685000 | #Constraints:      90103
3575.97/3585.46	c #Conflicts:     686000 | #Constraints:      91103
3575.97/3585.46	c #Conflicts:     687000 | #Constraints:      92103
3575.97/3585.46	c #Conflicts:     688000 | #Constraints:      93103
3575.97/3585.46	c #Conflicts:     689000 | #Constraints:      94103
3575.97/3585.46	c #Conflicts:     690000 | #Constraints:      95103
3575.97/3585.46	c #Conflicts:     691000 | #Constraints:      96103
3575.97/3585.46	c #Conflicts:     692000 | #Constraints:      97103
3575.97/3585.46	c #Conflicts:     693000 | #Constraints:      98103
3575.97/3585.46	c #Conflicts:     694000 | #Constraints:      99103
3575.97/3585.46	c #Conflicts:     695000 | #Constraints:     100103
3575.97/3585.46	c #Conflicts:     696000 | #Constraints:     101103
3575.97/3585.46	c #Conflicts:     697000 | #Constraints:     102103
3575.97/3585.46	c #Conflicts:     698000 | #Constraints:     103103
3575.97/3585.46	c #Conflicts:     699000 | #Constraints:     104103
3575.97/3585.46	c #Conflicts:     700000 | #Constraints:     105103
3575.97/3585.46	c #Conflicts:     701000 | #Constraints:     106103
3575.97/3585.46	c #Conflicts:     702000 | #Constraints:     107103
3575.97/3585.46	c #Conflicts:     703000 | #Constraints:     108103
3575.97/3585.46	c #Conflicts:     704000 | #Constraints:     109103
3575.97/3585.46	c #Conflicts:     705000 | #Constraints:     110103
3575.97/3585.46	c #Conflicts:     706000 | #Constraints:     111103
3575.97/3585.46	c #Conflicts:     707000 | #Constraints:     112103
3575.97/3585.46	c #Conflicts:     708000 | #Constraints:     113103
3575.97/3585.46	c #Conflicts:     709000 | #Constraints:     114103
3575.97/3585.46	c #Conflicts:     710000 | #Constraints:     115103
3575.97/3585.46	c #Conflicts:     711000 | #Constraints:     116103
3575.97/3585.46	c #Conflicts:     712000 | #Constraints:     117103
3575.97/3585.46	c #Conflicts:     713000 | #Constraints:     118103
3575.97/3585.46	c INPROCESSING
3575.97/3585.46	c GARBAGE COLLECT
3575.97/3585.46	c rational objective -666
3600.01/3609.50	c #Conflicts:     714000 | #Constraints:      71489
3600.01/3609.50	c #Conflicts:     715000 | #Constraints:      72489
3600.01/3609.50	c #Conflicts:     716000 | #Constraints:      73489
3600.01/3609.50	c #Conflicts:     717000 | #Constraints:      74489
3600.01/3609.50	c #Conflicts:     718000 | #Constraints:      75489
3600.01/3609.50	c #Conflicts:     719000 | #Constraints:      76489
3600.01/3609.50	c Program interrupted by user.
3600.01/3609.50	c cpu time 3572.62 s
3600.01/3609.50	c deterministic time 429168212075 4.29e+11
3600.01/3609.50	c optimization time 25.2068 s
3600.01/3609.50	c total solve time 3547.4 s
3600.01/3609.50	c core-guided solve time 2482.06 s
3600.01/3609.50	c propagation time 2989.76 s
3600.01/3609.50	c conflict analysis time 510.035 s
3600.01/3609.50	c propagations 193835914
3600.01/3609.50	c resolve steps 9474628
3600.01/3609.50	c decisions 11503106
3600.01/3609.50	c conflicts 719437
3600.01/3609.50	c restarts 1533
3600.01/3609.50	c inprocessing phases 31
3600.01/3609.50	c input clauses 4346
3600.01/3609.50	c input cardinalities 1018
3600.01/3609.50	c input general constraints 6188
3600.01/3609.50	c input average constraint length 374.79
3600.01/3609.50	c input average constraint degree 105.80
3600.01/3609.50	c learned clauses 184390
3600.01/3609.50	c learned cardinalities 186
3600.01/3609.50	c learned general constraints 535305
3600.01/3609.50	c learned average constraint length 686.98
3600.01/3609.50	c learned average constraint degree 18002975.28
3600.01/3609.50	c watched constraints 407817
3600.01/3609.50	c counting constraints 133676
3600.01/3609.50	c gcd simplifications 28103
3600.01/3609.50	c detected cardinalities 29
3600.01/3609.50	c weakened non-implied lits 126823872
3600.01/3609.50	c weakened non-implying lits 39827
3600.01/3609.50	c original variables 3625
3600.01/3609.50	c clausal propagations 22845373
3600.01/3609.50	c cardinality propagations 15197500
3600.01/3609.50	c watched propagations 23934729
3600.01/3609.50	c counting propagations 129647517
3600.01/3609.50	c watch lookups 55326964251
3600.01/3609.50	c watch backjump lookups 50585651212
3600.01/3609.50	c watch checks 269861180617
3600.01/3609.50	c propagation checks 51389016165
3600.01/3609.50	c constraint additions 1593266983
3600.01/3609.50	c trail pops 206053206
3600.01/3609.50	c formula constraints 4800
3600.01/3609.50	c learned constraints 719879
3600.01/3609.50	c bound constraints 1368
3600.01/3609.50	c core-guided constraints 5384
3600.01/3609.50	c encountered formula constraints 3034305
3600.01/3609.50	c encountered learned constraints 5879432
3600.01/3609.50	c encountered bound constraints 548
3600.01/3609.50	c encountered core-guided constraints 1279779
3600.01/3609.50	c LP total time 341.532 s
3600.01/3609.50	c LP solve time 319.89 s
3600.01/3609.50	c LP constraints added 4800
3600.01/3609.50	c LP constraints removed 0
3600.01/3609.50	c LP pivots internal 719430
3600.01/3609.50	c LP pivots root 21190
3600.01/3609.50	c LP calls 172071
3600.01/3609.50	c LP optimalities 172067
3600.01/3609.50	c LP no pivot count 113717
3600.01/3609.50	c LP infeasibilities 1
3600.01/3609.50	c LP valid Farkas constraints 1
3600.01/3609.50	c LP learned Farkas constraints 1
3600.01/3609.50	c LP basis resets 0
3600.01/3609.50	c LP cycling count 0
3600.01/3609.50	c LP singular count 0
3600.01/3609.50	c LP no primal count 0
3600.01/3609.50	c LP no farkas count 0
3600.01/3609.50	c LP other issue count 0
3600.01/3609.50	c LP Gomory cuts 0
3600.01/3609.50	c LP learned cuts 0
3600.01/3609.50	c LP deleted cuts 0
3600.01/3609.50	c LP encountered Gomory constraints 0
3600.01/3609.50	c LP encountered Farkas constraints 0
3600.01/3609.50	c LP encountered learned Farkas constraints 0
3600.01/3609.50	c CG auxiliary variables introduced 2134
3600.01/3609.50	c CG solutions found 350
3600.01/3609.50	c CG cores constructed 1018
3600.01/3609.50	c CG core cardinality constraints returned 0
3600.01/3609.50	c CG unit cores 0
3600.01/3609.50	c CG single cores 1018
3600.01/3609.50	c CG blocks removed during cardinality reduction 0
3600.01/3609.50	c CG first core best 0
3600.01/3609.50	c CG decision core best 0
3600.01/3609.50	c CG core reduction tie 0
3600.01/3609.50	c CG core degree average 1.00
3600.01/3609.50	c CG core slack average 3.63
3600.01/3609.50	s SATISFIABLE
3600.01/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

OK	-465

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: 64096 MiB (60799 MiB free)
  memory of node 1: 64473 MiB (61961 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=180026, runsolver pid=180023

[startup+0.100099 s]*
/proc/loadavg: 4.08 4.05 3.89 5/248 180027
/proc/meminfo: memFree=125700980/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=43992 memory=13808 CPUtime=0.1 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 2261 0 0 0 9 1 0 0 20 0 1 0 19257983 45047808 3452 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 10998 3452 1761 992 0 2856 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 13808 KiB

[startup+0.212684 s]*
/proc/loadavg: 4.08 4.05 3.89 5/248 180027
/proc/meminfo: memFree=125698124/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=44132 memory=15044 CPUtime=0.21 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 2513 0 0 0 19 2 0 0 20 0 1 0 19257983 45191168 3761 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 11033 3761 1809 992 0 2891 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44132 KiB
Current children cumulated memory: 15044 KiB

[startup+0.312833 s]*
/proc/loadavg: 4.08 4.05 3.89 5/248 180027
/proc/meminfo: memFree=125692324/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=44132 memory=17620 CPUtime=0.31 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 2646 0 0 0 28 3 0 0 20 0 1 0 19257983 45191168 4405 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 11033 4405 1809 992 0 2891 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44132 KiB
Current children cumulated memory: 17620 KiB

[startup+0.700294 s]
/proc/loadavg: 4.08 4.05 3.89 5/248 180028
/proc/meminfo: memFree=125686176/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=47148 memory=20816 CPUtime=0.69 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 2965 0 0 0 61 8 0 0 20 0 1 0 19257983 48279552 5204 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 11787 5204 1809 992 0 3645 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47148 KiB
Current children cumulated memory: 20816 KiB

[startup+1.50029 s]
/proc/loadavg: 4.08 4.05 3.89 5/248 180028
/proc/meminfo: memFree=125665852/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=61384 memory=34916 CPUtime=1.48 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 4487 0 0 0 124 24 0 0 20 0 1 0 19257983 62857216 8729 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 15346 8729 1809 992 0 7204 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61384 KiB
Current children cumulated memory: 34916 KiB

[startup+3.11305 s]
/proc/loadavg: 4.08 4.05 3.89 5/247 180028
/proc/meminfo: memFree=125596624/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=101116 memory=57188 CPUtime=3.1 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 7518 0 0 0 231 79 0 0 20 0 1 0 19257983 103542784 14297 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 25279 14297 1888 992 0 17137 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 101116 KiB
Current children cumulated memory: 57188 KiB

[startup+6.30028 s]
/proc/loadavg: 4.07 4.05 3.90 5/247 180028
/proc/meminfo: memFree=125569960/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=116744 memory=75864 CPUtime=6.28 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 11638 0 0 0 518 110 0 0 20 0 1 0 19257983 119545856 18966 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 29186 18966 1888 992 0 21044 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 116744 KiB
Current children cumulated memory: 75864 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.05 3.90 5/247 180030
/proc/meminfo: memFree=125503896/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=149040 memory=112756 CPUtime=12.66 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 19360 0 0 0 1124 142 0 0 20 0 1 0 19257983 152616960 28189 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 37260 28189 1888 992 0 29118 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 149040 KiB
Current children cumulated memory: 112756 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.06 3.91 5/247 180031
/proc/meminfo: memFree=125364560/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=214280 memory=177780 CPUtime=25.42 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 27980 0 0 0 2370 172 0 0 20 0 1 0 19257983 219422720 44445 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 53570 44445 1888 992 0 45428 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 214280 KiB
Current children cumulated memory: 177780 KiB

[startup+51.1134 s]
/proc/loadavg: 4.08 4.06 3.91 5/249 180038
/proc/meminfo: memFree=125226544/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=218684 memory=184192 CPUtime=50.95 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 29079 0 0 0 4866 229 0 0 20 0 1 0 19257983 223932416 46048 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 54671 46048 1888 992 0 46529 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 218684 KiB
Current children cumulated memory: 184192 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.06 3.92 5/250 180048
/proc/meminfo: memFree=124859788/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=318816 memory=260152 CPUtime=101.98 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 40043 0 0 0 9864 334 0 0 20 0 1 0 19257983 326467584 65038 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 79704 65038 1888 992 0 71562 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 318816 KiB
Current children cumulated memory: 260152 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.06 3.93 5/250 180059
/proc/meminfo: memFree=124456676/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=512600 memory=412024 CPUtime=161.81 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 59724 0 0 0 15764 417 0 0 20 0 1 0 19257983 524902400 103006 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 128150 103006 1888 992 0 120008 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 512600 KiB
Current children cumulated memory: 412024 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.13 3.96 5/250 180451
/proc/meminfo: memFree=124144100/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=516392 memory=442760 CPUtime=221.63 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 60611 0 0 0 21664 499 0 0 20 0 1 0 19257983 528785408 110690 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 129098 110690 1888 992 0 120956 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 516392 KiB
Current children cumulated memory: 442760 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.13 3.98 5/250 180463
/proc/meminfo: memFree=123646536/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=718580 memory=588400 CPUtime=281.44 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 73733 0 0 0 27593 551 0 0 20 0 1 0 19257983 735825920 147100 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 179645 147100 1888 992 0 171503 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 718580 KiB
Current children cumulated memory: 588400 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 3.99 5/250 180473
/proc/meminfo: memFree=123232844/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1113100 memory=796128 CPUtime=341.28 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 103814 0 0 0 33537 591 0 0 20 0 1 0 19257983 1139814400 199032 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 278275 199032 1888 992 0 270133 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 1113100 KiB
Current children cumulated memory: 796128 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.00 5/251 180653
/proc/meminfo: memFree=123104756/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1114344 memory=799804 CPUtime=401.13 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 104574 0 0 0 39466 647 0 0 20 0 1 0 19257983 1141088256 199951 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 278586 199951 1888 992 0 270444 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1114344 KiB
Current children cumulated memory: 799804 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.00 5/250 180664
/proc/meminfo: memFree=122990824/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1117448 memory=801684 CPUtime=460.97 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 105324 0 0 0 45383 714 0 0 20 0 1 0 19257983 1144266752 200421 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 279362 200421 1888 992 0 271220 0

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

Current children cumulated memory: 1409584 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/248 182024
/proc/meminfo: memFree=117923316/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1731412 memory=1422980 CPUtime=2914.55 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 170878 0 0 0 288997 2458 0 0 20 0 1 0 19257983 1772965888 355745 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 432853 355745 1904 992 0 424711 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 1731412 KiB
Current children cumulated memory: 1422980 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.17 4.18 5/248 182034
/proc/meminfo: memFree=117665280/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1744772 memory=1431696 CPUtime=2974.41 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 173426 0 0 0 294968 2473 0 0 20 0 1 0 19257983 1786646528 357924 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 436193 357924 1904 992 0 428051 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 1744772 KiB
Current children cumulated memory: 1431696 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/248 182045
/proc/meminfo: memFree=117396908/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1751684 memory=1458892 CPUtime=3034.26 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 174861 0 0 0 300939 2487 0 0 20 0 1 0 19257983 1793724416 364723 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 437921 364723 1904 992 0 429779 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 1751684 KiB
Current children cumulated memory: 1458892 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/247 182057
/proc/meminfo: memFree=117178148/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1753732 memory=1459780 CPUtime=3094.11 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 175632 0 0 0 306912 2499 0 0 20 0 1 0 19257983 1795821568 364945 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 438433 364945 1904 992 0 430291 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 1753732 KiB
Current children cumulated memory: 1459780 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/247 182067
/proc/meminfo: memFree=116953880/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1753732 memory=1459988 CPUtime=3153.96 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 176265 0 0 0 312883 2513 0 0 20 0 1 0 19257983 1795821568 364997 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 438433 364997 1904 992 0 430291 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 1753732 KiB
Current children cumulated memory: 1459988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/246 182077
/proc/meminfo: memFree=116740972/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1754756 memory=1460536 CPUtime=3213.82 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 177013 0 0 0 318855 2527 0 0 20 0 1 0 19257983 1796870144 365134 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 438689 365134 1904 992 0 430547 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 1754756 KiB
Current children cumulated memory: 1460536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/243 182088
/proc/meminfo: memFree=116487836/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1755932 memory=1461592 CPUtime=3273.65 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 177712 0 0 0 324788 2577 0 0 20 0 1 0 19257983 1798074368 365398 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 438983 365398 1904 992 0 430841 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 1755932 KiB
Current children cumulated memory: 1461592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/243 182098
/proc/meminfo: memFree=116249120/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1755932 memory=1461592 CPUtime=3333.5 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 178068 0 0 0 330735 2615 0 0 20 0 1 0 19257983 1798074368 365398 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 438983 365398 1904 992 0 430841 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 1755932 KiB
Current children cumulated memory: 1461592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/244 182109
/proc/meminfo: memFree=116027420/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1755932 memory=1461592 CPUtime=3393.34 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 178505 0 0 0 336690 2644 0 0 20 0 1 0 19257983 1798074368 365398 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 438983 365398 1904 992 0 430841 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 1755932 KiB
Current children cumulated memory: 1461592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/244 182120
/proc/meminfo: memFree=115806280/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1757828 memory=1462548 CPUtime=3453.2 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 179147 0 0 0 342653 2667 0 0 20 0 1 0 19257983 1800015872 365637 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 439457 365637 1904 992 0 431315 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 1757828 KiB
Current children cumulated memory: 1462548 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/247 182136
/proc/meminfo: memFree=115597956/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1760644 memory=1464132 CPUtime=3513.04 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 180068 0 0 0 348613 2691 0 0 20 0 1 0 19257983 1802899456 366033 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 440161 366033 1904 992 0 432019 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 1760644 KiB
Current children cumulated memory: 1464132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/247 182146
/proc/meminfo: memFree=115402964/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1764228 memory=1466264 CPUtime=3572.89 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 181117 0 0 0 354576 2713 0 0 20 0 1 0 19257983 1806569472 366566 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 441057 366566 1904 992 0 432915 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 1764228 KiB
Current children cumulated memory: 1466264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.05 4.09 4.13 5/247 182152
/proc/meminfo: memFree=115161248/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1764484 memory=1466576 CPUtime=3600.01 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 181822 0 0 0 357262 2739 0 0 20 0 1 0 19257983 1806831616 366644 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 441121 366644 1904 992 0 432979 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1764484 KiB
Current children cumulated memory: 1466576 KiB

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

[startup+3609.57 s]
# the end of solver process 180026 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3572.63 s, system=27.4076 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.5 s]
/proc/loadavg: 4.05 4.09 4.13 5/247 182152
/proc/meminfo: memFree=115161248/131655788 swapFree=131056320/131071996
[pid=180026] ppid=180023 vsize=1764484 memory=1466576 CPUtime=3600.01 cores=5,7
/proc/180026/stat : 180026 (roundingsat) R 180023 180026 179655 0 -1 4194304 181822 0 0 0 357262 2739 0 0 20 0 1 0 19257983 1806831616 366644 134679101440 4194304 8254037 140735109534192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40660992 140735109542748 140735109543010 140735109543010 140735109550025 0
/proc/180026/statm: 441121 366644 1904 992 0 432979 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1764484 KiB
Current children cumulated memory: 1466576 KiB

Child status: 0

Real time (s): 3609.57
CPU time (s): 3600.03
CPU user time (s): 3572.63
CPU system time (s): 27.4076
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 1766248
Max. memory (cumulated for all children) (KiB): 1468012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.63
system time used= 27.4076
maximum resident set size= 1468012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12412632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 667
involuntary context switches= 4838


# summary of solver processes directly reported to runsolver:
#   pid: 180026
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3572.63
#   total CPU system time (s): 27.4076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3128 second user time and 35.4544 second system time

The end

Begin job on nodeC006 at 2024-07-24 16:51:27
IDJOB=4457216
IDBENCH=158503
IDSOLVER=3085
FILE ID=nodeC006/4457216-1721832687
RUNJOBID= nodeC006-1721831555-179668
SLURM_JOB_ID= 7891518
Free space on /tmp= 723760 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457216-1721832687/watcher-4457216-1721832687 -o /tmp/evaluation-result-4457216-1721832687/solver-4457216-1721832687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179668 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457216-1721832687 --lp-cut-gomory=0 HOME/instance-4457216-1721832687.opb

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

MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c
RANDOM SEED=1381840684

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3670.523
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3659.306
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.255
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.126
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3670.694
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.571
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.321
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.099
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125708116 kB
MemAvailable:   129365688 kB
Buffers:          263988 kB
Cached:          4004712 kB
SwapCached:          240 kB
Active:          1936196 kB
Inactive:        3091020 kB
Active(anon):       1744 kB
Inactive(anon):   802064 kB
Active(file):    1934452 kB
Inactive(file):  2288956 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:             22580 kB
Writeback:             4 kB
AnonPages:        755124 kB
Mapped:           101984 kB
Shmem:             45244 kB
KReclaimable:     496072 kB
Slab:             606160 kB
SReclaimable:     496072 kB
SUnreclaim:       110088 kB
KernelStack:        3984 kB
PageTables:        10792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1216904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    589824 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC006 at 2024-07-24 17:51:37