PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb
MD5SUM	ebc55cfc194a279163f52418008eccf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65
Optimality of the best value was proved	NO
Number of terms in the objective function	2460
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2460
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2460
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.11783
Number of variables	2459
Total number of constraints	873
Number of constraints which are clauses	873
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	146
Trace number 40620

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 17:20:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28681 boxname=wulflinc4 idbench=67 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ebc55cfc194a279163f52418008eccf2  /oldhome/oroussel/tmp/wulflinc4/normalized-ex5.pi.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ex5.pi.opb
IDLAUNCH: 28681
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        869168 kB
Buffers:         23064 kB
Cached:         117052 kB
SwapCached:       5200 kB
Active:          25652 kB
Inactive:       120828 kB
HighTotal:      131008 kB
HighFree:        78596 kB
LowTotal:       903652 kB
LowFree:        790572 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13508 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:40:34 (client local time) WITH STATUS 10 IN 1177.95 SECONDS
stats: 28681 0 1177.95 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2460 variables and 873 constraints.
c After prepocess the problem consists of 2432 variables and 767 constraints.
c preprocess terminated 4.404 s
c Initial Lower Bound: 64
c Lower Bound Elapsed time: 7.864
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1808 @ 13.819
c NEW SOLUTION FOUND: 1807 @ 13.883
c NEW SOLUTION FOUND: 1806 @ 13.915
c NEW SOLUTION FOUND: 1805 @ 13.949
c NEW SOLUTION FOUND: 1804 @ 13.982
c NEW SOLUTION FOUND: 1803 @ 14.015
c NEW SOLUTION FOUND: 1802 @ 14.048
c NEW SOLUTION FOUND: 1801 @ 14.081
c NEW SOLUTION FOUND: 1800 @ 14.115
c NEW SOLUTION FOUND: 1799 @ 14.147
c NEW SOLUTION FOUND: 1798 @ 14.18
c NEW SOLUTION FOUND: 1797 @ 14.213
c NEW SOLUTION FOUND: 1796 @ 14.246
c NEW SOLUTION FOUND: 1795 @ 14.278
c NEW SOLUTION FOUND: 1794 @ 14.311
c NEW SOLUTION FOUND: 1793 @ 14.344
c NEW SOLUTION FOUND: 1792 @ 14.377
c NEW SOLUTION FOUND: 1791 @ 14.41
c NEW SOLUTION FOUND: 1790 @ 14.443
c NEW SOLUTION FOUND: 1789 @ 14.476
c NEW SOLUTION FOUND: 1788 @ 14.508
c NEW SOLUTION FOUND: 1787 @ 14.541
c NEW SOLUTION FOUND: 1786 @ 14.574
c NEW SOLUTION FOUND: 1785 @ 14.606
c NEW SOLUTION FOUND: 1784 @ 14.639
c NEW SOLUTION FOUND: 1783 @ 14.672
c NEW SOLUTION FOUND: 1782 @ 14.704
c NEW SOLUTION FOUND: 1781 @ 14.737
c NEW SOLUTION FOUND: 1780 @ 14.77
c NEW SOLUTION FOUND: 1779 @ 14.803
c NEW SOLUTION FOUND: 1778 @ 14.835
c NEW SOLUTION FOUND: 1777 @ 14.868
c NEW SOLUTION FOUND: 1776 @ 14.9
c NEW SOLUTION FOUND: 1775 @ 14.934
c NEW SOLUTION FOUND: 1774 @ 14.966
c NEW SOLUTION FOUND: 1773 @ 15
c NEW SOLUTION FOUND: 1772 @ 15.032
c NEW SOLUTION FOUND: 1771 @ 15.066
c NEW SOLUTION FOUND: 1770 @ 15.099
c NEW SOLUTION FOUND: 1769 @ 15.132
c NEW SOLUTION FOUND: 1768 @ 15.165
c NEW SOLUTION FOUND: 1767 @ 15.197
c NEW SOLUTION FOUND: 1766 @ 15.23
c NEW SOLUTION FOUND: 1765 @ 15.263
c NEW SOLUTION FOUND: 1764 @ 15.296
c NEW SOLUTION FOUND: 1763 @ 15.329
c NEW SOLUTION FOUND: 1762 @ 15.362
c NEW SOLUTION FOUND: 1761 @ 15.395
c NEW SOLUTION FOUND: 1760 @ 15.427
c NEW SOLUTION FOUND: 1759 @ 15.459
c NEW SOLUTION FOUND: 1758 @ 15.493
c NEW SOLUTION FOUND: 1757 @ 15.526
c NEW SOLUTION FOUND: 1756 @ 15.558
c NEW SOLUTION FOUND: 1755 @ 15.592
c NEW SOLUTION FOUND: 1754 @ 15.625
c NEW SOLUTION FOUND: 1753 @ 15.658
c NEW SOLUTION FOUND: 1752 @ 15.69
c NEW SOLUTION FOUND: 1751 @ 15.722
c NEW SOLUTION FOUND: 1750 @ 15.755
c NEW SOLUTION FOUND: 1749 @ 15.788
c NEW SOLUTION FOUND: 1748 @ 15.821
c NEW SOLUTION FOUND: 1747 @ 15.854
c NEW SOLUTION FOUND: 1746 @ 15.887
c NEW SOLUTION FOUND: 1745 @ 15.92
c NEW SOLUTION FOUND: 1744 @ 15.953
c NEW SOLUTION FOUND: 1743 @ 15.986
c NEW SOLUTION FOUND: 1742 @ 16.019
c NEW SOLUTION FOUND: 1741 @ 16.052
c NEW SOLUTION FOUND: 1740 @ 16.085
c NEW SOLUTION FOUND: 1739 @ 16.118
c NEW SOLUTION FOUND: 1738 @ 16.151
c NEW SOLUTION FOUND: 1737 @ 16.184
c NEW SOLUTION FOUND: 1736 @ 16.216
c NEW SOLUTION FOUND: 1735 @ 16.249
c NEW SOLUTION FOUND: 1734 @ 16.282
c NEW SOLUTION FOUND: 1733 @ 16.315
c NEW SOLUTION FOUND: 1732 @ 16.348
c NEW SOLUTION FOUND: 1731 @ 16.38
c NEW SOLUTION FOUND: 1730 @ 16.413
c NEW SOLUTION FOUND: 1729 @ 16.446
c NEW SOLUTION FOUND: 1728 @ 16.479
c NEW SOLUTION FOUND: 1727 @ 16.512
c NEW SOLUTION FOUND: 1726 @ 16.545
c NEW SOLUTION FOUND: 1725 @ 16.578
c NEW SOLUTION FOUND: 1724 @ 16.611
c NEW SOLUTION FOUND: 1723 @ 16.644
c NEW SOLUTION FOUND: 1722 @ 16.677
c NEW SOLUTION FOUND: 1721 @ 16.71
c NEW SOLUTION FOUND: 1720 @ 16.743
c NEW SOLUTION FOUND: 1719 @ 16.777
c NEW SOLUTION FOUND: 1718 @ 16.809
c NEW SOLUTION FOUND: 1717 @ 16.842
c NEW SOLUTION FOUND: 1716 @ 16.875
c NEW SOLUTION FOUND: 1715 @ 16.907
c NEW SOLUTION FOUND: 1714 @ 16.94
c NEW SOLUTION FOUND: 1713 @ 16.973
c NEW SOLUTION FOUND: 1712 @ 17.006
c NEW SOLUTION FOUND: 1711 @ 17.039
c NEW SOLUTION FOUND: 1710 @ 17.072
c NEW SOLUTION FOUND: 1709 @ 17.104
c NEW SOLUTION FOUND: 1708 @ 17.137
c NEW SOLUTION FOUND: 1707 @ 17.17
c NEW SOLUTION FOUND: 1706 @ 17.203
c NEW SOLUTION FOUND: 1705 @ 17.236
c NEW SOLUTION FOUND: 1704 @ 17.269
c NEW SOLUTION FOUND: 1703 @ 17.303
c NEW SOLUTION FOUND: 1702 @ 17.336
c NEW SOLUTION FOUND: 1701 @ 17.369
c NEW SOLUTION FOUND: 1700 @ 17.401
c NEW SOLUTION FOUND: 1699 @ 17.434
c NEW SOLUTION FOUND: 1698 @ 17.467
c NEW SOLUTION FOUND: 1697 @ 17.499
c NEW SOLUTION FOUND: 1696 @ 17.532
c NEW SOLUTION FOUND: 1695 @ 17.565
c NEW SOLUTION FOUND: 1694 @ 17.597
c NEW SOLUTION FOUND: 1693 @ 17.63
c NEW SOLUTION FOUND: 1692 @ 17.663
c NEW SOLUTION FOUND: 1691 @ 17.695
c NEW SOLUTION FOUND: 1690 @ 17.727
c NEW SOLUTION FOUND: 1689 @ 17.76
c NEW SOLUTION FOUND: 1688 @ 17.792
c NEW SOLUTION FOUND: 1687 @ 17.825
c NEW SOLUTION FOUND: 1686 @ 17.858
c NEW SOLUTION FOUND: 1685 @ 17.891
c NEW SOLUTION FOUND: 1684 @ 17.923
c NEW SOLUTION FOUND: 1683 @ 17.956
c NEW SOLUTION FOUND: 1682 @ 17.989
c NEW SOLUTION FOUND: 1681 @ 18.022
c NEW SOLUTION FOUND: 1680 @ 18.054
c NEW SOLUTION FOUND: 1679 @ 18.087
c NEW SOLUTION FOUND: 1678 @ 18.12
c NEW SOLUTION FOUND: 1677 @ 18.153
c NEW SOLUTION FOUND: 1676 @ 18.185
c NEW SOLUTION FOUND: 1675 @ 18.218
c NEW SOLUTION FOUND: 1674 @ 18.25
c NEW SOLUTION FOUND: 1673 @ 18.283
c NEW SOLUTION FOUND: 1672 @ 18.316
c NEW SOLUTION FOUND: 1671 @ 18.348
c NEW SOLUTION FOUND: 1670 @ 18.381
c NEW SOLUTION FOUND: 1669 @ 18.414
c NEW SOLUTION FOUND: 1668 @ 18.446
c NEW SOLUTION FOUND: 1667 @ 18.478
c NEW SOLUTION FOUND: 1666 @ 18.511
c NEW SOLUTION FOUND: 1665 @ 18.543
c NEW SOLUTION FOUND: 1664 @ 18.575
c NEW SOLUTION FOUND: 1663 @ 18.608
c NEW SOLUTION FOUND: 1662 @ 18.641
c NEW SOLUTION FOUND: 1661 @ 18.673
c NEW SOLUTION FOUND: 1660 @ 18.706
c NEW SOLUTION FOUND: 1659 @ 18.738
c NEW SOLUTION FOUND: 1658 @ 18.771
c NEW SOLUTION FOUND: 1657 @ 18.804
c NEW SOLUTION FOUND: 1656 @ 18.835
c NEW SOLUTION FOUND: 1655 @ 18.868
c NEW SOLUTION FOUND: 1654 @ 18.9
c NEW SOLUTION FOUND: 1653 @ 18.933
c NEW SOLUTION FOUND: 1652 @ 18.965
c NEW SOLUTION FOUND: 1651 @ 18.998
c NEW SOLUTION FOUND: 1650 @ 19.029
c NEW SOLUTION FOUND: 1649 @ 19.062
c NEW SOLUTION FOUND: 1648 @ 19.094
c NEW SOLUTION FOUND: 1647 @ 19.129
c NEW SOLUTION FOUND: 1646 @ 19.162
c NEW SOLUTION FOUND: 1645 @ 19.194
c NEW SOLUTION FOUND: 1644 @ 19.226
c NEW SOLUTION FOUND: 1643 @ 19.259
c NEW SOLUTION FOUND: 1642 @ 19.292
c NEW SOLUTION FOUND: 1641 @ 19.325
c NEW SOLUTION FOUND: 1640 @ 19.357
c NEW SOLUTION FOUND: 1639 @ 19.389
c NEW SOLUTION FOUND: 1638 @ 19.422
c NEW SOLUTION FOUND: 1637 @ 19.455
c NEW SOLUTION FOUND: 1636 @ 19.488
c NEW SOLUTION FOUND: 1635 @ 19.52
c NEW SOLUTION FOUND: 1634 @ 19.553
c NEW SOLUTION FOUND: 1633 @ 19.586
c NEW SOLUTION FOUND: 1632 @ 19.619
c NEW SOLUTION FOUND: 1631 @ 19.651
c NEW SOLUTION FOUND: 1630 @ 19.684
c NEW SOLUTION FOUND: 1629 @ 19.716
c NEW SOLUTION FOUND: 1628 @ 19.748
c NEW SOLUTION FOUND: 1627 @ 19.781
c NEW SOLUTION FOUND: 1626 @ 19.814
c NEW SOLUTION FOUND: 1625 @ 19.847
c NEW SOLUTION FOUND: 1624 @ 19.879
c NEW SOLUTION FOUND: 1623 @ 19.911
c NEW SOLUTION FOUND: 1622 @ 19.944
c NEW SOLUTION FOUND: 1621 @ 19.978
c NEW SOLUTION FOUND: 1620 @ 20.01
c NEW SOLUTION FOUND: 1619 @ 20.043
c NEW SOLUTION FOUND: 1618 @ 20.076
c NEW SOLUTION FOUND: 1617 @ 20.107
c NEW SOLUTION FOUND: 1616 @ 20.14
c NEW SOLUTION FOUND: 1615 @ 20.173
c NEW SOLUTION FOUND: 1614 @ 20.206
c NEW SOLUTION FOUND: 1613 @ 20.238
c NEW SOLUTION FOUND: 1612 @ 20.27
c NEW SOLUTION FOUND: 1611 @ 20.302
c NEW SOLUTION FOUND: 1610 @ 20.334
c NEW SOLUTION FOUND: 1609 @ 20.367
c NEW SOLUTION FOUND: 1608 @ 20.399
c NEW SOLUTION FOUND: 1607 @ 20.431
c NEW SOLUTION FOUND: 1606 @ 20.464
c NEW SOLUTION FOUND: 1605 @ 20.496
c NEW SOLUTION FOUND: 1604 @ 20.528
c NEW SOLUTION FOUND: 1603 @ 20.56
c NEW SOLUTION FOUND: 1602 @ 20.592
c NEW SOLUTION FOUND: 1601 @ 20.625
c NEW SOLUTION FOUND: 1600 @ 20.658
c NEW SOLUTION FOUND: 1599 @ 20.69
c NEW SOLUTION FOUND: 1598 @ 20.722
c NEW SOLUTION FOUND: 1597 @ 20.755
c NEW SOLUTION FOUND: 1596 @ 20.787
c NEW SOLUTION FOUND: 1595 @ 20.82
c NEW SOLUTION FOUND: 1594 @ 20.852
c NEW SOLUTION FOUND: 1593 @ 20.885
c NEW SOLUTION FOUND: 1592 @ 20.918
c NEW SOLUTION FOUND: 1591 @ 20.951
c NEW SOLUTION FOUND: 1590 @ 20.984
c NEW SOLUTION FOUND: 1589 @ 21.017
c NEW SOLUTION FOUND: 1588 @ 21.05
c NEW SOLUTION FOUND: 1587 @ 21.083
c NEW SOLUTION FOUND: 1586 @ 21.115
c NEW SOLUTION FOUND: 1585 @ 21.148
c NEW SOLUTION FOUND: 1584 @ 21.181
c NEW SOLUTION FOUND: 1583 @ 21.215
c NEW SOLUTION FOUND: 1582 @ 21.248
c NEW SOLUTION FOUND: 1581 @ 21.281
c NEW SOLUTION FOUND: 1580 @ 21.313
c NEW SOLUTION FOUND: 1579 @ 21.345
c NEW SOLUTION FOUND: 1578 @ 21.378
c NEW SOLUTION FOUND: 1577 @ 21.412
c NEW SOLUTION FOUND: 1576 @ 21.445
c NEW SOLUTION FOUND: 1575 @ 21.477
c NEW SOLUTION FOUND: 1574 @ 21.51
c NEW SOLUTION FOUND: 1573 @ 21.542
c NEW SOLUTION FOUND: 1572 @ 21.576
c NEW SOLUTION FOUND: 1571 @ 21.609
c NEW SOLUTION FOUND: 1570 @ 21.642
c NEW SOLUTION FOUND: 1569 @ 21.674
c NEW SOLUTION FOUND: 1568 @ 21.706
c NEW SOLUTION FOUND: 1567 @ 21.739
c NEW SOLUTION FOUND: 1566 @ 21.772
c NEW SOLUTION FOUND: 1565 @ 21.806
c NEW SOLUTION FOUND: 1564 @ 21.838
c NEW SOLUTION FOUND: 1563 @ 21.871
c NEW SOLUTION FOUND: 1562 @ 21.904
c NEW SOLUTION FOUND: 1561 @ 21.936
c NEW SOLUTION FOUND: 1560 @ 21.969
c NEW SOLUTION FOUND: 1559 @ 22.002
c NEW SOLUTION FOUND: 1558 @ 22.035
c NEW SOLUTION FOUND: 1557 @ 22.067
c NEW SOLUTION FOUND: 1556 @ 22.099
c NEW SOLUTION FOUND: 1555 @ 22.132
c NEW SOLUTION FOUND: 1554 @ 22.166
c NEW SOLUTION FOUND: 1553 @ 22.199
c NEW SOLUTION FOUND: 1552 @ 22.232
c NEW SOLUTION FOUND: 1551 @ 22.264
c NEW SOLUTION FOUND: 1550 @ 22.298
c NEW SOLUTION FOUND: 1549 @ 22.331
c NEW SOLUTION FOUND: 1548 @ 22.363
c NEW SOLUTION FOUND: 1547 @ 22.396
c NEW SOLUTION FOUND: 1546 @ 22.429
c NEW SOLUTION FOUND: 1545 @ 22.462
c NEW SOLUTION FOUND: 1544 @ 22.495
c NEW SOLUTION FOUND: 1543 @ 22.528
c NEW SOLUTION FOUND: 1542 @ 22.561
c NEW SOLUTION FOUND: 1541 @ 22.594
c NEW SOLUTION FOUND: 1540 @ 22.627
c NEW SOLUTION FOUND: 1539 @ 22.66
c NEW SOLUTION FOUND: 1538 @ 22.692
c NEW SOLUTION FOUND: 1537 @ 22.725
c NEW SOLUTION FOUND: 1536 @ 22.758
c NEW SOLUTION FOUND: 1535 @ 22.791
c NEW SOLUTION FOUND: 1534 @ 22.824
c NEW SOLUTION FOUND: 1533 @ 22.856
c NEW SOLUTION FOUND: 1532 @ 22.889
c NEW SOLUTION FOUND: 1531 @ 22.921
c NEW SOLUTION FOUND: 1530 @ 22.954
c NEW SOLUTION FOUND: 1529 @ 22.987
c NEW SOLUTION FOUND: 1528 @ 23.02
c NEW SOLUTION FOUND: 1527 @ 23.053
c NEW SOLUTION FOUND: 1526 @ 23.084
c NEW SOLUTION FOUND: 1525 @ 23.117
c NEW SOLUTION FOUND: 1524 @ 23.15
c NEW SOLUTION FOUND: 1523 @ 23.182
c NEW SOLUTION FOUND: 1522 @ 23.215
c NEW SOLUTION FOUND: 1521 @ 23.248
c NEW SOLUTION FOUND: 1520 @ 23.281
c NEW SOLUTION FOUND: 1519 @ 23.313
c NEW SOLUTION FOUND: 1518 @ 23.346
c NEW SOLUTION FOUND: 1517 @ 23.378
c NEW SOLUTION FOUND: 1516 @ 23.411
c NEW SOLUTION FOUND: 1515 @ 23.444
c NEW SOLUTION FOUND: 1514 @ 23.477
c NEW SOLUTION FOUND: 1513 @ 23.509
c NEW SOLUTION FOUND: 1512 @ 23.542
c NEW SOLUTION FOUND: 1511 @ 23.575
c NEW SOLUTION FOUND: 1510 @ 23.607
c NEW SOLUTION FOUND: 1509 @ 23.64
c NEW SOLUTION FOUND: 1508 @ 23.673
c NEW SOLUTION FOUND: 1507 @ 23.705
c NEW SOLUTION FOUND: 1506 @ 23.738
c NEW SOLUTION FOUND: 1505 @ 23.77
c NEW SOLUTION FOUND: 1504 @ 23.803
c NEW SOLUTION FOUND: 1503 @ 23.835
c NEW SOLUTION FOUND: 1502 @ 23.866
c NEW SOLUTION FOUND: 1501 @ 23.898
c NEW SOLUTION FOUND: 1500 @ 23.931
c NEW SOLUTION FOUND: 1499 @ 23.964
c NEW SOLUTION FOUND: 1498 @ 23.997
c NEW SOLUTION FOUND: 1497 @ 24.029
c NEW SOLUTION FOUND: 1496 @ 24.061
c NEW SOLUTION FOUND: 1495 @ 24.094
c NEW SOLUTION FOUND: 1494 @ 24.125
c NEW SOLUTION FOUND: 1493 @ 24.158
c NEW SOLUTION FOUND: 1492 @ 24.191
c NEW SOLUTION FOUND: 1491 @ 24.223
c NEW SOLUTION FOUND: 1490 @ 24.255
c NEW SOLUTION FOUND: 1489 @ 24.288
c NEW SOLUTION FOUND: 1488 @ 24.32
c NEW SOLUTION FOUND: 1487 @ 24.352
c NEW SOLUTION FOUND: 1486 @ 24.385
c NEW SOLUTION FOUND: 1485 @ 24.417
c NEW SOLUTION FOUND: 1484 @ 24.449
c NEW SOLUTION FOUND: 1483 @ 24.482
c NEW SOLUTION FOUND: 1482 @ 24.514
c NEW SOLUTION FOUND: 1481 @ 24.546
c NEW SOLUTION FOUND: 1480 @ 24.579
c NEW SOLUTION FOUND: 1479 @ 24.612
c NEW SOLUTION FOUND: 1478 @ 24.644
c NEW SOLUTION FOUND: 1477 @ 24.676
c NEW SOLUTION FOUND: 1476 @ 24.709
c NEW SOLUTION FOUND: 1475 @ 24.742
c NEW SOLUTION FOUND: 1474 @ 24.774
c NEW SOLUTION FOUND: 1473 @ 24.806
c NEW SOLUTION FOUND: 1472 @ 24.839
c NEW SOLUTION FOUND: 1471 @ 24.871
c NEW SOLUTION FOUND: 1470 @ 24.903
c NEW SOLUTION FOUND: 1469 @ 24.935
c NEW SOLUTION FOUND: 1468 @ 24.968
c NEW SOLUTION FOUND: 1467 @ 25
c NEW SOLUTION FOUND: 1466 @ 25.033
c NEW SOLUTION FOUND: 1465 @ 25.066
c NEW SOLUTION FOUND: 1464 @ 25.098
c NEW SOLUTION FOUND: 1463 @ 25.132
c NEW SOLUTION FOUND: 1462 @ 25.165
c NEW SOLUTION FOUND: 1461 @ 25.197
c NEW SOLUTION FOUND: 1460 @ 25.229
c NEW SOLUTION FOUND: 1459 @ 25.261
c NEW SOLUTION FOUND: 1458 @ 25.293
c NEW SOLUTION FOUND: 1457 @ 25.325
c NEW SOLUTION FOUND: 1456 @ 25.357
c NEW SOLUTION FOUND: 1455 @ 25.388
c NEW SOLUTION FOUND: 1454 @ 25.42
c NEW SOLUTION FOUND: 1453 @ 25.452
c NEW SOLUTION FOUND: 1452 @ 25.484
c NEW SOLUTION FOUND: 1451 @ 25.516
c NEW SOLUTION FOUND: 1450 @ 25.548
c NEW SOLUTION FOUND: 1449 @ 25.58
c NEW SOLUTION FOUND: 1448 @ 25.612
c NEW SOLUTION FOUND: 1447 @ 25.644
c NEW SOLUTION FOUND: 1446 @ 25.676
c NEW SOLUTION FOUND: 1445 @ 25.708
c NEW SOLUTION FOUND: 1444 @ 25.74
c NEW SOLUTION FOUND: 1443 @ 25.771
c NEW SOLUTION FOUND: 1442 @ 25.803
c NEW SOLUTION FOUND: 1441 @ 25.835
c NEW SOLUTION FOUND: 1440 @ 25.866
c NEW SOLUTION FOUND: 1439 @ 25.898
c NEW SOLUTION FOUND: 1438 @ 25.93
c NEW SOLUTION FOUND: 1437 @ 25.962
c NEW SOLUTION FOUND: 1436 @ 25.994
c NEW SOLUTION FOUND: 1435 @ 26.026
c NEW SOLUTION FOUND: 1434 @ 26.058
c NEW SOLUTION FOUND: 1433 @ 26.09
c NEW SOLUTION FOUND: 1432 @ 26.121
c NEW SOLUTION FOUND: 1431 @ 26.153
c NEW SOLUTION FOUND: 1430 @ 26.185
c NEW SOLUTION FOUND: 1429 @ 26.216
c NEW SOLUTION FOUND: 1428 @ 26.248
c NEW SOLUTION FOUND: 1427 @ 26.28
c NEW SOLUTION FOUND: 1426 @ 26.312
c NEW SOLUTION FOUND: 1425 @ 26.344
c NEW SOLUTION FOUND: 1424 @ 26.376
c NEW SOLUTION FOUND: 1423 @ 26.408
c NEW SOLUTION FOUND: 1422 @ 26.44
c NEW SOLUTION FOUND: 1421 @ 26.472
c NEW SOLUTION FOUND: 1420 @ 26.503
c NEW SOLUTION FOUND: 1419 @ 26.534
c NEW SOLUTION FOUND: 1418 @ 26.566
c NEW SOLUTION FOUND: 1417 @ 26.598
c NEW SOLUTION FOUND: 1416 @ 26.63
c NEW SOLUTION FOUND: 1415 @ 26.661
c NEW SOLUTION FOUND: 1414 @ 26.692
c NEW SOLUTION FOUND: 1413 @ 26.724
c NEW SOLUTION FOUND: 1412 @ 26.756
c NEW SOLUTION FOUND: 1411 @ 26.787
c NEW SOLUTION FOUND: 1410 @ 26.819
c NEW SOLUTION FOUND: 1409 @ 26.851
c NEW SOLUTION FOUND: 1408 @ 26.882
c NEW SOLUTION FOUND: 1407 @ 26.914
c NEW SOLUTION FOUND: 1406 @ 26.945
c NEW SOLUTION FOUND: 1405 @ 26.976
c NEW SOLUTION FOUND: 1404 @ 27.008
c NEW SOLUTION FOUND: 1403 @ 27.038
c NEW SOLUTION FOUND: 1402 @ 27.07
c NEW SOLUTION FOUND: 1401 @ 27.102
c NEW SOLUTION FOUND: 1400 @ 27.134
c NEW SOLUTION FOUND: 1399 @ 27.166
c NEW SOLUTION FOUND: 1398 @ 27.198
c NEW SOLUTION FOUND: 1397 @ 27.23
c NEW SOLUTION FOUND: 1396 @ 27.261
c NEW SOLUTION FOUND: 1395 @ 27.293
c NEW SOLUTION FOUND: 1394 @ 27.324
c NEW SOLUTION FOUND: 1393 @ 27.356
c NEW SOLUTION FOUND: 1392 @ 27.388
c NEW SOLUTION FOUND: 1391 @ 27.42
c NEW SOLUTION FOUND: 1390 @ 27.451
c NEW SOLUTION FOUND: 1389 @ 27.483
c NEW SOLUTION FOUND: 1388 @ 27.515
c NEW SOLUTION FOUND: 1387 @ 27.547
c NEW SOLUTION FOUND: 1386 @ 27.578
c NEW SOLUTION FOUND: 1385 @ 27.61
c NEW SOLUTION FOUND: 1384 @ 27.641
c NEW SOLUTION FOUND: 1383 @ 27.673
c NEW SOLUTION FOUND: 1382 @ 27.705
c NEW SOLUTION FOUND: 1381 @ 27.737
c NEW SOLUTION FOUND: 1380 @ 27.768
c NEW SOLUTION FOUND: 1379 @ 27.8
c NEW SOLUTION FOUND: 1378 @ 27.832
c NEW SOLUTION FOUND: 1377 @ 27.864
c NEW SOLUTION FOUND: 1376 @ 27.894
c NEW SOLUTION FOUND: 1375 @ 27.926
c NEW SOLUTION FOUND: 1374 @ 27.957
c NEW SOLUTION FOUND: 1373 @ 27.988
c NEW SOLUTION FOUND: 1372 @ 28.019
c NEW SOLUTION FOUND: 1371 @ 28.05
c NEW SOLUTION FOUND: 1370 @ 28.081
c NEW SOLUTION FOUND: 1369 @ 28.113
c NEW SOLUTION FOUND: 1368 @ 28.145
c NEW SOLUTION FOUND: 1367 @ 28.177
c NEW SOLUTION FOUND: 1366 @ 28.208
c NEW SOLUTION FOUND: 1365 @ 28.24
c NEW SOLUTION FOUND: 1364 @ 28.271
c NEW SOLUTION FOUND: 1363 @ 28.303
c NEW SOLUTION FOUND: 1362 @ 28.335
c NEW SOLUTION FOUND: 1361 @ 28.367
c NEW SOLUTION FOUND: 1360 @ 28.398
c NEW SOLUTION FOUND: 1359 @ 28.429
c NEW SOLUTION FOUND: 1358 @ 28.46
c NEW SOLUTION FOUND: 1357 @ 28.492
c NEW SOLUTION FOUND: 1356 @ 28.523
c NEW SOLUTION FOUND: 1355 @ 28.555
c NEW SOLUTION FOUND: 1354 @ 28.587
c NEW SOLUTION FOUND: 1353 @ 28.618
c NEW SOLUTION FOUND: 1352 @ 28.649
c NEW SOLUTION FOUND: 1351 @ 28.681
c NEW SOLUTION FOUND: 1350 @ 28.713
c NEW SOLUTION FOUND: 1349 @ 28.745
c NEW SOLUTION FOUND: 1348 @ 28.776
c NEW SOLUTION FOUND: 1347 @ 28.808
c NEW SOLUTION FOUND: 1346 @ 28.84
c NEW SOLUTION FOUND: 1345 @ 28.872
c NEW SOLUTION FOUND: 1344 @ 28.903
c NEW SOLUTION FOUND: 1343 @ 28.935
c NEW SOLUTION FOUND: 1342 @ 28.967
c NEW SOLUTION FOUND: 1341 @ 28.999
c NEW SOLUTION FOUND: 1340 @ 29.03
c NEW SOLUTION FOUND: 1339 @ 29.062
c NEW SOLUTION FOUND: 1338 @ 29.093
c NEW SOLUTION FOUND: 1337 @ 29.125
c NEW SOLUTION FOUND: 1336 @ 29.156
c NEW SOLUTION FOUND: 1335 @ 29.187
c NEW SOLUTION FOUND: 1334 @ 29.219
c NEW SOLUTION FOUND: 1333 @ 29.251
c NEW SOLUTION FOUND: 1332 @ 29.282
c NEW SOLUTION FOUND: 1331 @ 29.314
c NEW SOLUTION FOUND: 1330 @ 29.345
c NEW SOLUTION FOUND: 1329 @ 29.376
c NEW SOLUTION FOUND: 1328 @ 29.408
c NEW SOLUTION FOUND: 1327 @ 29.44
c NEW SOLUTION FOUND: 1326 @ 29.471
c NEW SOLUTION FOUND: 1325 @ 29.502
c NEW SOLUTION FOUND: 1324 @ 29.533
c NEW SOLUTION FOUND: 1323 @ 29.565
c NEW SOLUTION FOUND: 1322 @ 29.596
c NEW SOLUTION FOUND: 1321 @ 29.628
c NEW SOLUTION FOUND: 1320 @ 29.658
c NEW SOLUTION FOUND: 1319 @ 29.69
c NEW SOLUTION FOUND: 1318 @ 29.722
c NEW SOLUTION FOUND: 1317 @ 29.753
c NEW SOLUTION FOUND: 1316 @ 29.785
c NEW SOLUTION FOUND: 1315 @ 29.818
c NEW SOLUTION FOUND: 1314 @ 29.848
c NEW SOLUTION FOUND: 1313 @ 29.88
c NEW SOLUTION FOUND: 1312 @ 29.911
c NEW SOLUTION FOUND: 1311 @ 29.943
c NEW SOLUTION FOUND: 1310 @ 29.974
c NEW SOLUTION FOUND: 1309 @ 30.005
c NEW SOLUTION FOUND: 1308 @ 30.036
c NEW SOLUTION FOUND: 1307 @ 30.067
c NEW SOLUTION FOUND: 1306 @ 30.098
c NEW SOLUTION FOUND: 1305 @ 30.13
c NEW SOLUTION FOUND: 1304 @ 30.16
c NEW SOLUTION FOUND: 1303 @ 30.192
c NEW SOLUTION FOUND: 1302 @ 30.224
c NEW SOLUTION FOUND: 1301 @ 30.255
c NEW SOLUTION FOUND: 1300 @ 30.287
c NEW SOLUTION FOUND: 1299 @ 30.319
c NEW SOLUTION FOUND: 1298 @ 30.35
c NEW SOLUTION FOUND: 1297 @ 30.381
c NEW SOLUTION FOUND: 1296 @ 30.412
c NEW SOLUTION FOUND: 1295 @ 30.443
c NEW SOLUTION FOUND: 1294 @ 30.474
c NEW SOLUTION FOUND: 1293 @ 30.506
c NEW SOLUTION FOUND: 1292 @ 30.537
c NEW SOLUTION FOUND: 1291 @ 30.568
c NEW SOLUTION FOUND: 1290 @ 30.599
c NEW SOLUTION FOUND: 1289 @ 30.631
c NEW SOLUTION FOUND: 1288 @ 30.661
c NEW SOLUTION FOUND: 1287 @ 30.693
c NEW SOLUTION FOUND: 1286 @ 30.725
c NEW SOLUTION FOUND: 1285 @ 30.756
c NEW SOLUTION FOUND: 1284 @ 30.787
c NEW SOLUTION FOUND: 1283 @ 30.818
c NEW SOLUTION FOUND: 1282 @ 30.849
c NEW SOLUTION FOUND: 1281 @ 30.88
c NEW SOLUTION FOUND: 1280 @ 30.911
c NEW SOLUTION FOUND: 1279 @ 30.943
c NEW SOLUTION FOUND: 1278 @ 30.974
c NEW SOLUTION FOUND: 1277 @ 31.006
c NEW SOLUTION FOUND: 1276 @ 31.037
c NEW SOLUTION FOUND: 1275 @ 31.068
c NEW SOLUTION FOUND: 1274 @ 31.099
c NEW SOLUTION FOUND: 1273 @ 31.13
c NEW SOLUTION FOUND: 1272 @ 31.161
c NEW SOLUTION FOUND: 1271 @ 31.192
c NEW SOLUTION FOUND: 1270 @ 31.223
c NEW SOLUTION FOUND: 1269 @ 31.254
c NEW SOLUTION FOUND: 1268 @ 31.285
c NEW SOLUTION FOUND: 1267 @ 31.316
c NEW SOLUTION FOUND: 1266 @ 31.346
c NEW SOLUTION FOUND: 1265 @ 31.377
c NEW SOLUTION FOUND: 1264 @ 31.408
c NEW SOLUTION FOUND: 1263 @ 31.439
c NEW SOLUTION FOUND: 1262 @ 31.47
c NEW SOLUTION FOUND: 1261 @ 31.501
c NEW SOLUTION FOUND: 1260 @ 31.532
c NEW SOLUTION FOUND: 1259 @ 31.563
c NEW SOLUTION FOUND: 1258 @ 31.594
c NEW SOLUTION FOUND: 1257 @ 31.626
c NEW SOLUTION FOUND: 1256 @ 31.656
c NEW SOLUTION FOUND: 1255 @ 31.687
c NEW SOLUTION FOUND: 1254 @ 31.719
c NEW SOLUTION FOUND: 1253 @ 31.75
c NEW SOLUTION FOUND: 1252 @ 31.781
c NEW SOLUTION FOUND: 1251 @ 31.812
c NEW SOLUTION FOUND: 1250 @ 31.843
c NEW SOLUTION FOUND: 1249 @ 31.874
c NEW SOLUTION FOUND: 1248 @ 31.905
c NEW SOLUTION FOUND: 1247 @ 31.936
c NEW SOLUTION FOUND: 1246 @ 31.966
c NEW SOLUTION FOUND: 1245 @ 31.997
c NEW SOLUTION FOUND: 1244 @ 32.028
c NEW SOLUTION FOUND: 1243 @ 32.059
c NEW SOLUTION FOUND: 1242 @ 32.091
c NEW SOLUTION FOUND: 1241 @ 32.122
c NEW SOLUTION FOUND: 1240 @ 32.152
c NEW SOLUTION FOUND: 1239 @ 32.184
c NEW SOLUTION FOUND: 1238 @ 32.215
c NEW SOLUTION FOUND: 1237 @ 32.246
c NEW SOLUTION FOUND: 1236 @ 32.277
c NEW SOLUTION FOUND: 1235 @ 32.308
c NEW SOLUTION FOUND: 1234 @ 32.339
c NEW SOLUTION FOUND: 1233 @ 32.37
c NEW SOLUTION FOUND: 1232 @ 32.401
c NEW SOLUTION FOUND: 1231 @ 32.431
c NEW SOLUTION FOUND: 1230 @ 32.462
c NEW SOLUTION FOUND: 1229 @ 32.493
c NEW SOLUTION FOUND: 1228 @ 32.524
c NEW SOLUTION FOUND: 1227 @ 32.555
c NEW SOLUTION FOUND: 1226 @ 32.586
c NEW SOLUTION FOUND: 1225 @ 32.617
c NEW SOLUTION FOUND: 1224 @ 32.647
c NEW SOLUTION FOUND: 1223 @ 32.679
c NEW SOLUTION FOUND: 1222 @ 32.709
c NEW SOLUTION FOUND: 1221 @ 32.74
c NEW SOLUTION FOUND: 1220 @ 32.771
c NEW SOLUTION FOUND: 1219 @ 32.802
c NEW SOLUTION FOUND: 1218 @ 32.833
c NEW SOLUTION FOUND: 1217 @ 32.864
c NEW SOLUTION FOUND: 1216 @ 32.894
c NEW SOLUTION FOUND: 1215 @ 32.925
c NEW SOLUTION FOUND: 1214 @ 32.955
c NEW SOLUTION FOUND: 1213 @ 32.986
c NEW SOLUTION FOUND: 1212 @ 33.017
c NEW SOLUTION FOUND: 1211 @ 33.047
c NEW SOLUTION FOUND: 1210 @ 33.078
c NEW SOLUTION FOUND: 1209 @ 33.109
c NEW SOLUTION FOUND: 1208 @ 33.14
c NEW SOLUTION FOUND: 1207 @ 33.171
c NEW SOLUTION FOUND: 1206 @ 33.202
c NEW SOLUTION FOUND: 1205 @ 33.234
c NEW SOLUTION FOUND: 1204 @ 33.265
c NEW SOLUTION FOUND: 1203 @ 33.296
c NEW SOLUTION FOUND: 1202 @ 33.327
c NEW SOLUTION FOUND: 1201 @ 33.358
c NEW SOLUTION FOUND: 1200 @ 33.388
c NEW SOLUTION FOUND: 1199 @ 33.418
c NEW SOLUTION FOUND: 1198 @ 33.448
c NEW SOLUTION FOUND: 1197 @ 33.479
c NEW SOLUTION FOUND: 1196 @ 33.51
c NEW SOLUTION FOUND: 1195 @ 33.541
c NEW SOLUTION FOUND: 1194 @ 33.572
c NEW SOLUTION FOUND: 1193 @ 33.603
c NEW SOLUTION FOUND: 1192 @ 33.634
c NEW SOLUTION FOUND: 1191 @ 33.664
c NEW SOLUTION FOUND: 1190 @ 33.695
c NEW SOLUTION FOUND: 1189 @ 33.726
c NEW SOLUTION FOUND: 1188 @ 33.757
c NEW SOLUTION FOUND: 1187 @ 33.788
c NEW SOLUTION FOUND: 1186 @ 33.818
c NEW SOLUTION FOUND: 1185 @ 33.849
c NEW SOLUTION FOUND: 1184 @ 33.88
c NEW SOLUTION FOUND: 1183 @ 33.911
c NEW SOLUTION FOUND: 1182 @ 33.941
c NEW SOLUTION FOUND: 1181 @ 33.972
c NEW SOLUTION FOUND: 1180 @ 34.003
c NEW SOLUTION FOUND: 1179 @ 34.033
c NEW SOLUTION FOUND: 1178 @ 34.064
c NEW SOLUTION FOUND: 1177 @ 34.095
c NEW SOLUTION FOUND: 1176 @ 34.126
c NEW SOLUTION FOUND: 1175 @ 34.157
c NEW SOLUTION FOUND: 1174 @ 34.188
c NEW SOLUTION FOUND: 1173 @ 34.218
c NEW SOLUTION FOUND: 1172 @ 34.249
c NEW SOLUTION FOUND: 1171 @ 34.28
c NEW SOLUTION FOUND: 1170 @ 34.311
c NEW SOLUTION FOUND: 1169 @ 34.342
c NEW SOLUTION FOUND: 1168 @ 34.372
c NEW SOLUTION FOUND: 1167 @ 34.403
c NEW SOLUTION FOUND: 1166 @ 34.434
c NEW SOLUTION FOUND: 1165 @ 34.465
c NEW SOLUTION FOUND: 1164 @ 34.496
c NEW SOLUTION FOUND: 1163 @ 34.527
c NEW SOLUTION FOUND: 1162 @ 34.558
c NEW SOLUTION FOUND: 1161 @ 34.589
c NEW SOLUTION FOUND: 1160 @ 34.62
c NEW SOLUTION FOUND: 1159 @ 34.651
c NEW SOLUTION FOUND: 1158 @ 34.682
c NEW SOLUTION FOUND: 1157 @ 34.713
c NEW SOLUTION FOUND: 1156 @ 34.744
c NEW SOLUTION FOUND: 1155 @ 34.774
c NEW SOLUTION FOUND: 1154 @ 34.805
c NEW SOLUTION FOUND: 1153 @ 34.836
c NEW SOLUTION FOUND: 1152 @ 34.867
c NEW SOLUTION FOUND: 1151 @ 34.898
c NEW SOLUTION FOUND: 1150 @ 34.929
c NEW SOLUTION FOUND: 1149 @ 34.96
c NEW SOLUTION FOUND: 1148 @ 34.991
c NEW SOLUTION FOUND: 1147 @ 35.022
c NEW SOLUTION FOUND: 1146 @ 35.053
c NEW SOLUTION FOUND: 1145 @ 35.084
c NEW SOLUTION FOUND: 1144 @ 35.115
c NEW SOLUTION FOUND: 1143 @ 35.146
c NEW SOLUTION FOUND: 1142 @ 35.177
c NEW SOLUTION FOUND: 1141 @ 35.208
c NEW SOLUTION FOUND: 1140 @ 35.239
c NEW SOLUTION FOUND: 1139 @ 35.27
c NEW SOLUTION FOUND: 1138 @ 35.3
c NEW SOLUTION FOUND: 1137 @ 35.331
c NEW SOLUTION FOUND: 1136 @ 35.362
c NEW SOLUTION FOUND: 1135 @ 35.392
c NEW SOLUTION FOUND: 1134 @ 35.423
c NEW SOLUTION FOUND: 1133 @ 35.454
c NEW SOLUTION FOUND: 1132 @ 35.485
c NEW SOLUTION FOUND: 1131 @ 35.516
c NEW SOLUTION FOUND: 1130 @ 35.547
c NEW SOLUTION FOUND: 1129 @ 35.578
c NEW SOLUTION FOUND: 1128 @ 35.609
c NEW SOLUTION FOUND: 1127 @ 35.64
c NEW SOLUTION FOUND: 1126 @ 35.671
c NEW SOLUTION FOUND: 1125 @ 35.702
c NEW SOLUTION FOUND: 1124 @ 35.733
c NEW SOLUTION FOUND: 1123 @ 35.764
c NEW SOLUTION FOUND: 1122 @ 35.795
c NEW SOLUTION FOUND: 1121 @ 35.826
c NEW SOLUTION FOUND: 1120 @ 35.856
c NEW SOLUTION FOUND: 1119 @ 35.887
c NEW SOLUTION FOUND: 1118 @ 35.918
c NEW SOLUTION FOUND: 1117 @ 35.948
c NEW SOLUTION FOUND: 1116 @ 35.979
c NEW SOLUTION FOUND: 1115 @ 36.01
c NEW SOLUTION FOUND: 1114 @ 36.041
c NEW SOLUTION FOUND: 1113 @ 36.072
c NEW SOLUTION FOUND: 1112 @ 36.103
c NEW SOLUTION FOUND: 1111 @ 36.134
c NEW SOLUTION FOUND: 1110 @ 36.165
c NEW SOLUTION FOUND: 1109 @ 36.196
c NEW SOLUTION FOUND: 1108 @ 36.226
c NEW SOLUTION FOUND: 1107 @ 36.257
c NEW SOLUTION FOUND: 1106 @ 36.288
c NEW SOLUTION FOUND: 1105 @ 36.319
c NEW SOLUTION FOUND: 1104 @ 36.35
c NEW SOLUTION FOUND: 1103 @ 36.381
c NEW SOLUTION FOUND: 1102 @ 36.412
c NEW SOLUTION FOUND: 1101 @ 36.442
c NEW SOLUTION FOUND: 1100 @ 36.473
c NEW SOLUTION FOUND: 1099 @ 36.504
c NEW SOLUTION FOUND: 1098 @ 36.534
c NEW SOLUTION FOUND: 1097 @ 36.565
c NEW SOLUTION FOUND: 1096 @ 36.596
c NEW SOLUTION FOUND: 1095 @ 36.626
c NEW SOLUTION FOUND: 1094 @ 36.657
c NEW SOLUTION FOUND: 1093 @ 36.687
c NEW SOLUTION FOUND: 1092 @ 36.718
c NEW SOLUTION FOUND: 1091 @ 36.749
c NEW SOLUTION FOUND: 1090 @ 36.78
c NEW SOLUTION FOUND: 1089 @ 36.81
c NEW SOLUTION FOUND: 1088 @ 36.841
c NEW SOLUTION FOUND: 1087 @ 36.871
c NEW SOLUTION FOUND: 1086 @ 36.902
c NEW SOLUTION FOUND: 1085 @ 36.932
c NEW SOLUTION FOUND: 1084 @ 36.962
c NEW SOLUTION FOUND: 1083 @ 36.993
c NEW SOLUTION FOUND: 1082 @ 37.023
c NEW SOLUTION FOUND: 1081 @ 37.053
c NEW SOLUTION FOUND: 1080 @ 37.084
c NEW SOLUTION FOUND: 1079 @ 37.115
c NEW SOLUTION FOUND: 1078 @ 37.145
c NEW SOLUTION FOUND: 1077 @ 37.175
c NEW SOLUTION FOUND: 1076 @ 37.206
c NEW SOLUTION FOUND: 1075 @ 37.236
c NEW SOLUTION FOUND: 1074 @ 37.267
c NEW SOLUTION FOUND: 1073 @ 37.297
c NEW SOLUTION FOUND: 1072 @ 37.328
c NEW SOLUTION FOUND: 1071 @ 37.359
c NEW SOLUTION FOUND: 1070 @ 37.389
c NEW SOLUTION FOUND: 1069 @ 37.42
c NEW SOLUTION FOUND: 1068 @ 37.451
c NEW SOLUTION FOUND: 1067 @ 37.482
c NEW SOLUTION FOUND: 1066 @ 37.513
c NEW SOLUTION FOUND: 1065 @ 37.543
c NEW SOLUTION FOUND: 1064 @ 37.574
c NEW SOLUTION FOUND: 1063 @ 37.604
c NEW SOLUTION FOUND: 1062 @ 37.635
c NEW SOLUTION FOUND: 1061 @ 37.665
c NEW SOLUTION FOUND: 1060 @ 37.695
c NEW SOLUTION FOUND: 1059 @ 37.726
c NEW SOLUTION FOUND: 1058 @ 37.756
c NEW SOLUTION FOUND: 1057 @ 37.787
c NEW SOLUTION FOUND: 1056 @ 37.818
c NEW SOLUTION FOUND: 1055 @ 37.848
c NEW SOLUTION FOUND: 1054 @ 37.879
c NEW SOLUTION FOUND: 1053 @ 37.91
c NEW SOLUTION FOUND: 1052 @ 37.941
c NEW SOLUTION FOUND: 1051 @ 37.97
c NEW SOLUTION FOUND: 1050 @ 38.001
c NEW SOLUTION FOUND: 1049 @ 38.032
c NEW SOLUTION FOUND: 1048 @ 38.063
c NEW SOLUTION FOUND: 1047 @ 38.093
c NEW SOLUTION FOUND: 1046 @ 38.123
c NEW SOLUTION FOUND: 1045 @ 38.154
c NEW SOLUTION FOUND: 1044 @ 38.185
c NEW SOLUTION FOUND: 1043 @ 38.215
c NEW SOLUTION FOUND: 1042 @ 38.246
c NEW SOLUTION FOUND: 1041 @ 38.277
c NEW SOLUTION FOUND: 1040 @ 38.307
c NEW SOLUTION FOUND: 1039 @ 38.338
c NEW SOLUTION FOUND: 1038 @ 38.368
c NEW SOLUTION FOUND: 1037 @ 38.399
c NEW SOLUTION FOUND: 1036 @ 38.43
c NEW SOLUTION FOUND: 1035 @ 38.459
c NEW SOLUTION FOUND: 1034 @ 38.49
c NEW SOLUTION FOUND: 1033 @ 38.52
c NEW SOLUTION FOUND: 1032 @ 38.551
c NEW SOLUTION FOUND: 1031 @ 38.581
c NEW SOLUTION FOUND: 1030 @ 38.612
c NEW SOLUTION FOUND: 1029 @ 38.642
c NEW SOLUTION FOUND: 1028 @ 38.673
c NEW SOLUTION FOUND: 1027 @ 38.703
c NEW SOLUTION FOUND: 1026 @ 38.734
c NEW SOLUTION FOUND: 1025 @ 38.763
c NEW SOLUTION FOUND: 1024 @ 38.794
c NEW SOLUTION FOUND: 1023 @ 38.824
c NEW SOLUTION FOUND: 1022 @ 38.855
c NEW SOLUTION FOUND: 1021 @ 38.885
c NEW SOLUTION FOUND: 1020 @ 38.915
c NEW SOLUTION FOUND: 1019 @ 38.946
c NEW SOLUTION FOUND: 1018 @ 38.977
c NEW SOLUTION FOUND: 1017 @ 39.007
c NEW SOLUTION FOUND: 1016 @ 39.038
c NEW SOLUTION FOUND: 1015 @ 39.068
c NEW SOLUTION FOUND: 1014 @ 39.099
c NEW SOLUTION FOUND: 1013 @ 39.13
c NEW SOLUTION FOUND: 1012 @ 39.159
c NEW SOLUTION FOUND: 1011 @ 39.19
c NEW SOLUTION FOUND: 1010 @ 39.22
c NEW SOLUTION FOUND: 1009 @ 39.25
c NEW SOLUTION FOUND: 1008 @ 39.28
c NEW SOLUTION FOUND: 1007 @ 39.31
c NEW SOLUTION FOUND: 1006 @ 39.34
c NEW SOLUTION FOUND: 1005 @ 39.37
c NEW SOLUTION FOUND: 1004 @ 39.399
c NEW SOLUTION FOUND: 1003 @ 39.429
c NEW SOLUTION FOUND: 1002 @ 39.46
c NEW SOLUTION FOUND: 1001 @ 39.49
c NEW SOLUTION FOUND: 1000 @ 39.52
c NEW SOLUTION FOUND: 999 @ 39.551
c NEW SOLUTION FOUND: 998 @ 39.581
c NEW SOLUTION FOUND: 997 @ 39.611
c NEW SOLUTION FOUND: 996 @ 39.641
c NEW SOLUTION FOUND: 995 @ 39.671
c NEW SOLUTION FOUND: 994 @ 39.701
c NEW SOLUTION FOUND: 993 @ 39.731
c NEW SOLUTION FOUND: 992 @ 39.761
c NEW SOLUTION FOUND: 991 @ 39.792
c NEW SOLUTION FOUND: 990 @ 39.822
c NEW SOLUTION FOUND: 989 @ 39.852
c NEW SOLUTION FOUND: 988 @ 39.882
c NEW SOLUTION FOUND: 987 @ 39.912
c NEW SOLUTION FOUND: 986 @ 39.943
c NEW SOLUTION FOUND: 985 @ 39.973
c NEW SOLUTION FOUND: 984 @ 40.003
c NEW SOLUTION FOUND: 983 @ 40.033
c NEW SOLUTION FOUND: 982 @ 40.063
c NEW SOLUTION FOUND: 981 @ 40.094
c NEW SOLUTION FOUND: 980 @ 40.124
c NEW SOLUTION FOUND: 979 @ 40.155
c NEW SOLUTION FOUND: 978 @ 40.184
c NEW SOLUTION FOUND: 977 @ 40.215
c NEW SOLUTION FOUND: 976 @ 40.244
c NEW SOLUTION FOUND: 975 @ 40.274
c NEW SOLUTION FOUND: 974 @ 40.305
c NEW SOLUTION FOUND: 973 @ 40.335
c NEW SOLUTION FOUND: 972 @ 40.366
c NEW SOLUTION FOUND: 971 @ 40.395
c NEW SOLUTION FOUND: 970 @ 40.425
c NEW SOLUTION FOUND: 969 @ 40.456
c NEW SOLUTION FOUND: 968 @ 40.486
c NEW SOLUTION FOUND: 967 @ 40.516
c NEW SOLUTION FOUND: 966 @ 40.546
c NEW SOLUTION FOUND: 965 @ 40.576
c NEW SOLUTION FOUND: 964 @ 40.606
c NEW SOLUTION FOUND: 963 @ 40.636
c NEW SOLUTION FOUND: 962 @ 40.666
c NEW SOLUTION FOUND: 961 @ 40.696
c NEW SOLUTION FOUND: 960 @ 40.726
c NEW SOLUTION FOUND: 959 @ 40.756
c NEW SOLUTION FOUND: 958 @ 40.787
c NEW SOLUTION FOUND: 957 @ 40.817
c NEW SOLUTION FOUND: 956 @ 40.847
c NEW SOLUTION FOUND: 955 @ 40.877
c NEW SOLUTION FOUND: 954 @ 40.908
c NEW SOLUTION FOUND: 953 @ 40.938
c NEW SOLUTION FOUND: 952 @ 40.968
c NEW SOLUTION FOUND: 951 @ 40.997
c NEW SOLUTION FOUND: 950 @ 41.026
c NEW SOLUTION FOUND: 949 @ 41.057
c NEW SOLUTION FOUND: 948 @ 41.087
c NEW SOLUTION FOUND: 947 @ 41.117
c NEW SOLUTION FOUND: 946 @ 41.147
c NEW SOLUTION FOUND: 945 @ 41.177
c NEW SOLUTION FOUND: 944 @ 41.207
c NEW SOLUTION FOUND: 943 @ 41.237
c NEW SOLUTION FOUND: 942 @ 41.267
c NEW SOLUTION FOUND: 941 @ 41.297
c NEW SOLUTION FOUND: 940 @ 41.327
c NEW SOLUTION FOUND: 939 @ 41.357
c NEW SOLUTION FOUND: 938 @ 41.386
c NEW SOLUTION FOUND: 937 @ 41.416
c NEW SOLUTION FOUND: 936 @ 41.447
c NEW SOLUTION FOUND: 935 @ 41.477
c NEW SOLUTION FOUND: 934 @ 41.507
c NEW SOLUTION FOUND: 933 @ 41.537
c NEW SOLUTION FOUND: 932 @ 41.568
c NEW SOLUTION FOUND: 931 @ 41.598
c NEW SOLUTION FOUND: 930 @ 41.627
c NEW SOLUTION FOUND: 929 @ 41.657
c NEW SOLUTION FOUND: 928 @ 41.687
c NEW SOLUTION FOUND: 927 @ 41.716
c NEW SOLUTION FOUND: 926 @ 41.747
c NEW SOLUTION FOUND: 925 @ 41.776
c NEW SOLUTION FOUND: 924 @ 41.806
c NEW SOLUTION FOUND: 923 @ 41.837
c NEW SOLUTION FOUND: 922 @ 41.867
c NEW SOLUTION FOUND: 921 @ 41.897
c NEW SOLUTION FOUND: 920 @ 41.926
c NEW SOLUTION FOUND: 919 @ 41.956
c NEW SOLUTION FOUND: 918 @ 41.986
c NEW SOLUTION FOUND: 917 @ 42.016
c NEW SOLUTION FOUND: 916 @ 42.045
c NEW SOLUTION FOUND: 915 @ 42.075
c NEW SOLUTION FOUND: 914 @ 42.105
c NEW SOLUTION FOUND: 913 @ 42.135
c NEW SOLUTION FOUND: 912 @ 42.166
c NEW SOLUTION FOUND: 911 @ 42.196
c NEW SOLUTION FOUND: 910 @ 42.226
c NEW SOLUTION FOUND: 909 @ 42.256
c NEW SOLUTION FOUND: 908 @ 42.286
c NEW SOLUTION FOUND: 907 @ 42.316
c NEW SOLUTION FOUND: 906 @ 42.346
c NEW SOLUTION FOUND: 905 @ 42.376
c NEW SOLUTION FOUND: 904 @ 42.406
c NEW SOLUTION FOUND: 903 @ 42.436
c NEW SOLUTION FOUND: 902 @ 42.466
c NEW SOLUTION FOUND: 901 @ 42.496
c NEW SOLUTION FOUND: 900 @ 42.525
c NEW SOLUTION FOUND: 899 @ 42.555
c NEW SOLUTION FOUND: 898 @ 42.584
c NEW SOLUTION FOUND: 897 @ 42.614
c NEW SOLUTION FOUND: 896 @ 42.644
c NEW SOLUTION FOUND: 895 @ 42.675
c NEW SOLUTION FOUND: 894 @ 42.704
c NEW SOLUTION FOUND: 893 @ 42.734
c NEW SOLUTION FOUND: 892 @ 42.764
c NEW SOLUTION FOUND: 891 @ 42.793
c NEW SOLUTION FOUND: 890 @ 42.823
c NEW SOLUTION FOUND: 889 @ 42.853
c NEW SOLUTION FOUND: 888 @ 42.882
c NEW SOLUTION FOUND: 887 @ 42.913
c NEW SOLUTION FOUND: 886 @ 42.943
c NEW SOLUTION FOUND: 885 @ 42.973
c NEW SOLUTION FOUND: 884 @ 43.003
c NEW SOLUTION FOUND: 883 @ 43.033
c NEW SOLUTION FOUND: 882 @ 43.063
c NEW SOLUTION FOUND: 881 @ 43.092
c NEW SOLUTION FOUND: 880 @ 43.122
c NEW SOLUTION FOUND: 879 @ 43.152
c NEW SOLUTION FOUND: 878 @ 43.182
c NEW SOLUTION FOUND: 877 @ 43.212
c NEW SOLUTION FOUND: 876 @ 43.242
c NEW SOLUTION FOUND: 875 @ 43.272
c NEW SOLUTION FOUND: 874 @ 43.302
c NEW SOLUTION FOUND: 873 @ 43.331
c NEW SOLUTION FOUND: 872 @ 43.361
c NEW SOLUTION FOUND: 871 @ 43.391
c NEW SOLUTION FOUND: 870 @ 43.42
c NEW SOLUTION FOUND: 869 @ 43.45
c NEW SOLUTION FOUND: 868 @ 43.48
c NEW SOLUTION FOUND: 867 @ 43.51
c NEW SOLUTION FOUND: 866 @ 43.54
c NEW SOLUTION FOUND: 865 @ 43.569
c NEW SOLUTION FOUND: 864 @ 43.599
c NEW SOLUTION FOUND: 863 @ 43.628
c NEW SOLUTION FOUND: 862 @ 43.658
c NEW SOLUTION FOUND: 861 @ 43.687
c NEW SOLUTION FOUND: 860 @ 43.717
c NEW SOLUTION FOUND: 859 @ 43.747
c NEW SOLUTION FOUND: 858 @ 43.777
c NEW SOLUTION FOUND: 857 @ 43.807
c NEW SOLUTION FOUND: 856 @ 43.837
c NEW SOLUTION FOUND: 855 @ 43.866
c NEW SOLUTION FOUND: 854 @ 43.895
c NEW SOLUTION FOUND: 853 @ 43.925
c NEW SOLUTION FOUND: 852 @ 43.955
c NEW SOLUTION FOUND: 851 @ 43.984
c NEW SOLUTION FOUND: 850 @ 44.014
c NEW SOLUTION FOUND: 849 @ 44.044
c NEW SOLUTION FOUND: 848 @ 44.073
c NEW SOLUTION FOUND: 847 @ 44.103
c NEW SOLUTION FOUND: 846 @ 44.133
c NEW SOLUTION FOUND: 845 @ 44.163
c NEW SOLUTION FOUND: 844 @ 44.192
c NEW SOLUTION FOUND: 843 @ 44.222
c NEW SOLUTION FOUND: 842 @ 44.252
c NEW SOLUTION FOUND: 841 @ 44.282
c NEW SOLUTION FOUND: 840 @ 44.311
c NEW SOLUTION FOUND: 839 @ 44.341
c NEW SOLUTION FOUND: 838 @ 44.371
c NEW SOLUTION FOUND: 837 @ 44.401
c NEW SOLUTION FOUND: 836 @ 44.461
c NEW SOLUTION FOUND: 835 @ 44.49
c NEW SOLUTION FOUND: 834 @ 44.521
c NEW SOLUTION FOUND: 833 @ 44.552
c NEW SOLUTION FOUND: 832 @ 44.582
c NEW SOLUTION FOUND: 831 @ 44.613
c NEW SOLUTION FOUND: 830 @ 44.643
c NEW SOLUTION FOUND: 829 @ 44.674
c NEW SOLUTION FOUND: 828 @ 44.704
c NEW SOLUTION FOUND: 827 @ 44.735
c NEW SOLUTION FOUND: 826 @ 44.765
c NEW SOLUTION FOUND: 825 @ 44.796
c NEW SOLUTION FOUND: 824 @ 44.826
c NEW SOLUTION FOUND: 823 @ 44.856
c NEW SOLUTION FOUND: 822 @ 44.887
c NEW SOLUTION FOUND: 821 @ 44.917
c NEW SOLUTION FOUND: 820 @ 44.948
c NEW SOLUTION FOUND: 819 @ 44.978
c NEW SOLUTION FOUND: 818 @ 45.009
c NEW SOLUTION FOUND: 817 @ 45.039
c NEW SOLUTION FOUND: 816 @ 45.07
c NEW SOLUTION FOUND: 815 @ 45.1
c NEW SOLUTION FOUND: 814 @ 45.131
c NEW SOLUTION FOUND: 813 @ 45.161
c NEW SOLUTION FOUND: 812 @ 45.192
c NEW SOLUTION FOUND: 811 @ 45.223
c NEW SOLUTION FOUND: 810 @ 45.254
c NEW SOLUTION FOUND: 809 @ 45.284
c NEW SOLUTION FOUND: 808 @ 45.315
c NEW SOLUTION FOUND: 807 @ 45.345
c NEW SOLUTION FOUND: 806 @ 45.376
c NEW SOLUTION FOUND: 805 @ 45.407
c NEW SOLUTION FOUND: 804 @ 45.437
c NEW SOLUTION FOUND: 803 @ 45.468
c NEW SOLUTION FOUND: 802 @ 45.498
c NEW SOLUTION FOUND: 801 @ 45.529
c NEW SOLUTION FOUND: 800 @ 45.559
c NEW SOLUTION FOUND: 799 @ 45.59
c NEW SOLUTION FOUND: 798 @ 45.621
c NEW SOLUTION FOUND: 797 @ 45.651
c NEW SOLUTION FOUND: 796 @ 45.682
c NEW SOLUTION FOUND: 795 @ 45.712
c NEW SOLUTION FOUND: 794 @ 45.743
c NEW SOLUTION FOUND: 793 @ 45.773
c NEW SOLUTION FOUND: 792 @ 45.804
c NEW SOLUTION FOUND: 791 @ 45.834
c NEW SOLUTION FOUND: 790 @ 45.865
c NEW SOLUTION FOUND: 789 @ 45.896
c NEW SOLUTION FOUND: 788 @ 45.927
c NEW SOLUTION FOUND: 787 @ 45.957
c NEW SOLUTION FOUND: 786 @ 45.987
c NEW SOLUTION FOUND: 785 @ 46.018
c NEW SOLUTION FOUND: 784 @ 46.048
c NEW SOLUTION FOUND: 783 @ 46.079
c NEW SOLUTION FOUND: 782 @ 46.109
c NEW SOLUTION FOUND: 781 @ 46.14
c NEW SOLUTION FOUND: 780 @ 46.17
c NEW SOLUTION FOUND: 779 @ 46.201
c NEW SOLUTION FOUND: 778 @ 46.231
c NEW SOLUTION FOUND: 777 @ 46.262
c NEW SOLUTION FOUND: 776 @ 46.292
c NEW SOLUTION FOUND: 775 @ 46.323
c NEW SOLUTION FOUND: 774 @ 46.353
c NEW SOLUTION FOUND: 773 @ 46.383
c NEW SOLUTION FOUND: 772 @ 46.414
c NEW SOLUTION FOUND: 771 @ 46.444
c NEW SOLUTION FOUND: 770 @ 46.474
c NEW SOLUTION FOUND: 769 @ 46.505
c NEW SOLUTION FOUND: 768 @ 46.535
c NEW SOLUTION FOUND: 767 @ 46.565
c NEW SOLUTION FOUND: 766 @ 46.595
c NEW SOLUTION FOUND: 765 @ 46.626
c NEW SOLUTION FOUND: 764 @ 46.657
c NEW SOLUTION FOUND: 763 @ 46.69
c NEW SOLUTION FOUND: 762 @ 46.721
c NEW SOLUTION FOUND: 761 @ 46.752
c NEW SOLUTION FOUND: 760 @ 46.784
c NEW SOLUTION FOUND: 759 @ 46.816
c NEW SOLUTION FOUND: 758 @ 46.847
c NEW SOLUTION FOUND: 757 @ 46.878
c NEW SOLUTION FOUND: 756 @ 46.91
c NEW SOLUTION FOUND: 755 @ 46.941
c NEW SOLUTION FOUND: 754 @ 46.973
c NEW SOLUTION FOUND: 753 @ 47.005
c NEW SOLUTION FOUND: 752 @ 47.036
c NEW SOLUTION FOUND: 751 @ 47.068
c NEW SOLUTION FOUND: 750 @ 47.099
c NEW SOLUTION FOUND: 749 @ 47.131
c NEW SOLUTION FOUND: 748 @ 47.163
c NEW SOLUTION FOUND: 747 @ 47.194
c NEW SOLUTION FOUND: 746 @ 47.226
c NEW SOLUTION FOUND: 745 @ 47.257
c NEW SOLUTION FOUND: 744 @ 47.288
c NEW SOLUTION FOUND: 743 @ 47.32
c NEW SOLUTION FOUND: 742 @ 47.351
c NEW SOLUTION FOUND: 741 @ 47.382
c NEW SOLUTION FOUND: 740 @ 47.414
c NEW SOLUTION FOUND: 739 @ 47.445
c NEW SOLUTION FOUND: 738 @ 47.477
c NEW SOLUTION FOUND: 737 @ 47.508
c NEW SOLUTION FOUND: 736 @ 47.539
c NEW SOLUTION FOUND: 735 @ 47.571
c NEW SOLUTION FOUND: 734 @ 47.603
c NEW SOLUTION FOUND: 733 @ 47.634
c NEW SOLUTION FOUND: 732 @ 47.665
c NEW SOLUTION FOUND: 731 @ 47.697
c NEW SOLUTION FOUND: 730 @ 47.728
c NEW SOLUTION FOUND: 729 @ 47.76
c NEW SOLUTION FOUND: 728 @ 47.791
c NEW SOLUTION FOUND: 727 @ 47.823
c NEW SOLUTION FOUND: 726 @ 47.854
c NEW SOLUTION FOUND: 725 @ 47.885
c NEW SOLUTION FOUND: 724 @ 47.917
c NEW SOLUTION FOUND: 723 @ 47.948
c NEW SOLUTION FOUND: 722 @ 47.979
c NEW SOLUTION FOUND: 721 @ 48.01
c NEW SOLUTION FOUND: 720 @ 48.041
c NEW SOLUTION FOUND: 719 @ 48.072
c NEW SOLUTION FOUND: 718 @ 48.103
c NEW SOLUTION FOUND: 717 @ 48.135
c NEW SOLUTION FOUND: 716 @ 48.166
c NEW SOLUTION FOUND: 715 @ 48.197
c NEW SOLUTION FOUND: 714 @ 48.229
c NEW SOLUTION FOUND: 713 @ 48.26
c NEW SOLUTION FOUND: 712 @ 48.291
c NEW SOLUTION FOUND: 711 @ 48.323
c NEW SOLUTION FOUND: 710 @ 48.354
c NEW SOLUTION FOUND: 709 @ 48.385
c NEW SOLUTION FOUND: 708 @ 48.416
c NEW SOLUTION FOUND: 707 @ 48.448
c NEW SOLUTION FOUND: 706 @ 48.479
c NEW SOLUTION FOUND: 705 @ 48.51
c NEW SOLUTION FOUND: 704 @ 48.541
c NEW SOLUTION FOUND: 703 @ 48.572
c NEW SOLUTION FOUND: 702 @ 48.604
c NEW SOLUTION FOUND: 701 @ 48.635
c NEW SOLUTION FOUND: 700 @ 48.666
c NEW SOLUTION FOUND: 699 @ 48.697
c NEW SOLUTION FOUND: 698 @ 48.729
c NEW SOLUTION FOUND: 697 @ 48.76
c NEW SOLUTION FOUND: 696 @ 48.791
c NEW SOLUTION FOUND: 695 @ 48.822
c NEW SOLUTION FOUND: 694 @ 48.853
c NEW SOLUTION FOUND: 693 @ 48.885
c NEW SOLUTION FOUND: 692 @ 48.916
c NEW SOLUTION FOUND: 691 @ 48.947
c NEW SOLUTION FOUND: 690 @ 48.979
c NEW SOLUTION FOUND: 689 @ 49.01
c NEW SOLUTION FOUND: 688 @ 49.041
c NEW SOLUTION FOUND: 687 @ 49.072
c NEW SOLUTION FOUND: 686 @ 49.103
c NEW SOLUTION FOUND: 685 @ 49.134
c NEW SOLUTION FOUND: 684 @ 49.165
c NEW SOLUTION FOUND: 683 @ 49.196
c NEW SOLUTION FOUND: 682 @ 49.227
c NEW SOLUTION FOUND: 681 @ 49.258
c NEW SOLUTION FOUND: 680 @ 49.29
c NEW SOLUTION FOUND: 679 @ 49.321
c NEW SOLUTION FOUND: 678 @ 49.352
c NEW SOLUTION FOUND: 677 @ 49.383
c NEW SOLUTION FOUND: 676 @ 49.414
c NEW SOLUTION FOUND: 675 @ 49.445
c NEW SOLUTION FOUND: 674 @ 49.476
c NEW SOLUTION FOUND: 673 @ 49.507
c NEW SOLUTION FOUND: 672 @ 49.538
c NEW SOLUTION FOUND: 671 @ 49.569
c NEW SOLUTION FOUND: 670 @ 49.6
c NEW SOLUTION FOUND: 669 @ 49.631
c NEW SOLUTION FOUND: 668 @ 49.662
c NEW SOLUTION FOUND: 667 @ 49.693
c NEW SOLUTION FOUND: 666 @ 49.724
c NEW SOLUTION FOUND: 665 @ 49.755
c NEW SOLUTION FOUND: 664 @ 49.786
c NEW SOLUTION FOUND: 663 @ 49.817
c NEW SOLUTION FOUND: 662 @ 49.848
c NEW SOLUTION FOUND: 661 @ 49.879
c NEW SOLUTION FOUND: 660 @ 49.91
c NEW SOLUTION FOUND: 659 @ 49.941
c NEW SOLUTION FOUND: 658 @ 49.972
c NEW SOLUTION FOUND: 657 @ 50.003
c NEW SOLUTION FOUND: 656 @ 50.034
c NEW SOLUTION FOUND: 655 @ 50.065
c NEW SOLUTION FOUND: 654 @ 50.096
c NEW SOLUTION FOUND: 653 @ 50.127
c NEW SOLUTION FOUND: 652 @ 50.158
c NEW SOLUTION FOUND: 651 @ 50.189
c NEW SOLUTION FOUND: 650 @ 50.22
c NEW SOLUTION FOUND: 649 @ 50.251
c NEW SOLUTION FOUND: 648 @ 50.282
c NEW SOLUTION FOUND: 647 @ 50.314
c NEW SOLUTION FOUND: 646 @ 50.345
c NEW SOLUTION FOUND: 645 @ 50.376
c NEW SOLUTION FOUND: 644 @ 50.407
c NEW SOLUTION FOUND: 643 @ 50.438
c NEW SOLUTION FOUND: 642 @ 50.469
c NEW SOLUTION FOUND: 641 @ 50.5
c NEW SOLUTION FOUND: 640 @ 50.531
c NEW SOLUTION FOUND: 639 @ 50.562
c NEW SOLUTION FOUND: 638 @ 50.592
c NEW SOLUTION FOUND: 637 @ 50.623
c NEW SOLUTION FOUND: 636 @ 50.654
c NEW SOLUTION FOUND: 635 @ 50.685
c NEW SOLUTION FOUND: 634 @ 50.716
c NEW SOLUTION FOUND: 633 @ 50.747
c NEW SOLUTION FOUND: 632 @ 50.778
c NEW SOLUTION FOUND: 631 @ 50.809
c NEW SOLUTION FOUND: 630 @ 50.84
c NEW SOLUTION FOUND: 629 @ 50.871
c NEW SOLUTION FOUND: 628 @ 50.902
c NEW SOLUTION FOUND: 627 @ 50.933
c NEW SOLUTION FOUND: 626 @ 50.964
c NEW SOLUTION FOUND: 625 @ 50.995
c NEW SOLUTION FOUND: 624 @ 51.026
c NEW SOLUTION FOUND: 623 @ 51.057
c NEW SOLUTION FOUND: 622 @ 51.088
c NEW SOLUTION FOUND: 621 @ 51.119
c NEW SOLUTION FOUND: 620 @ 51.15
c NEW SOLUTION FOUND: 619 @ 51.181
c NEW SOLUTION FOUND: 618 @ 51.212
c NEW SOLUTION FOUND: 617 @ 51.242
c NEW SOLUTION FOUND: 616 @ 51.273
c NEW SOLUTION FOUND: 615 @ 51.304
c NEW SOLUTION FOUND: 614 @ 51.335
c NEW SOLUTION FOUND: 613 @ 51.366
c NEW SOLUTION FOUND: 612 @ 51.396
c NEW SOLUTION FOUND: 611 @ 51.427
c NEW SOLUTION FOUND: 610 @ 51.458
c NEW SOLUTION FOUND: 609 @ 51.489
c NEW SOLUTION FOUND: 608 @ 51.519
c NEW SOLUTION FOUND: 607 @ 51.55
c NEW SOLUTION FOUND: 606 @ 51.581
c NEW SOLUTION FOUND: 605 @ 51.612
c NEW SOLUTION FOUND: 604 @ 51.643
c NEW SOLUTION FOUND: 603 @ 51.673
c NEW SOLUTION FOUND: 602 @ 51.704
c NEW SOLUTION FOUND: 601 @ 51.735
c NEW SOLUTION FOUND: 600 @ 51.766
c NEW SOLUTION FOUND: 599 @ 51.796
c NEW SOLUTION FOUND: 598 @ 51.827
c NEW SOLUTION FOUND: 597 @ 51.858
c NEW SOLUTION FOUND: 596 @ 51.889
c NEW SOLUTION FOUND: 595 @ 51.92
c NEW SOLUTION FOUND: 594 @ 51.95
c NEW SOLUTION FOUND: 593 @ 51.981
c NEW SOLUTION FOUND: 592 @ 52.012
c NEW SOLUTION FOUND: 591 @ 52.042
c NEW SOLUTION FOUND: 590 @ 52.073
c NEW SOLUTION FOUND: 589 @ 52.104
c NEW SOLUTION FOUND: 588 @ 52.134
c NEW SOLUTION FOUND: 587 @ 52.165
c NEW SOLUTION FOUND: 586 @ 52.196
c NEW SOLUTION FOUND: 585 @ 52.226
c NEW SOLUTION FOUND: 584 @ 52.257
c NEW SOLUTION FOUND: 583 @ 52.287
c NEW SOLUTION FOUND: 582 @ 52.318
c NEW SOLUTION FOUND: 581 @ 52.349
c NEW SOLUTION FOUND: 580 @ 52.379
c NEW SOLUTION FOUND: 579 @ 52.41
c NEW SOLUTION FOUND: 578 @ 52.44
c NEW SOLUTION FOUND: 577 @ 52.471
c NEW SOLUTION FOUND: 576 @ 52.501
c NEW SOLUTION FOUND: 575 @ 52.532
c NEW SOLUTION FOUND: 574 @ 52.563
c NEW SOLUTION FOUND: 573 @ 52.593
c NEW SOLUTION FOUND: 572 @ 52.624
c NEW SOLUTION FOUND: 571 @ 52.655
c NEW SOLUTION FOUND: 570 @ 52.685
c NEW SOLUTION FOUND: 569 @ 52.716
c NEW SOLUTION FOUND: 568 @ 52.746
c NEW SOLUTION FOUND: 567 @ 52.777
c NEW SOLUTION FOUND: 566 @ 52.808
c NEW SOLUTION FOUND: 565 @ 52.838
c NEW SOLUTION FOUND: 564 @ 52.869
c NEW SOLUTION FOUND: 563 @ 52.9
c NEW SOLUTION FOUND: 562 @ 52.931
c NEW SOLUTION FOUND: 561 @ 52.961
c NEW SOLUTION FOUND: 560 @ 52.992
c NEW SOLUTION FOUND: 559 @ 53.023
c NEW SOLUTION FOUND: 558 @ 53.053
c NEW SOLUTION FOUND: 557 @ 53.084
c NEW SOLUTION FOUND: 556 @ 53.114
c NEW SOLUTION FOUND: 555 @ 53.145
c NEW SOLUTION FOUND: 554 @ 53.175
c NEW SOLUTION FOUND: 553 @ 53.206
c NEW SOLUTION FOUND: 552 @ 53.236
c NEW SOLUTION FOUND: 551 @ 53.267
c NEW SOLUTION FOUND: 550 @ 53.297
c NEW SOLUTION FOUND: 549 @ 53.328
c NEW SOLUTION FOUND: 548 @ 53.358
c NEW SOLUTION FOUND: 547 @ 53.389
c NEW SOLUTION FOUND: 546 @ 53.419
c NEW SOLUTION FOUND: 545 @ 53.45
c NEW SOLUTION FOUND: 544 @ 53.48
c NEW SOLUTION FOUND: 543 @ 53.51
c NEW SOLUTION FOUND: 542 @ 53.541
c NEW SOLUTION FOUND: 541 @ 53.571
c NEW SOLUTION FOUND: 540 @ 53.602
c NEW SOLUTION FOUND: 539 @ 53.632
c NEW SOLUTION FOUND: 538 @ 53.663
c NEW SOLUTION FOUND: 537 @ 53.694
c NEW SOLUTION FOUND: 536 @ 53.724
c NEW SOLUTION FOUND: 535 @ 53.756
c NEW SOLUTION FOUND: 534 @ 53.786
c NEW SOLUTION FOUND: 533 @ 53.817
c NEW SOLUTION FOUND: 532 @ 53.847
c NEW SOLUTION FOUND: 531 @ 53.878
c NEW SOLUTION FOUND: 530 @ 53.908
c NEW SOLUTION FOUND: 529 @ 53.939
c NEW SOLUTION FOUND: 528 @ 53.969
c NEW SOLUTION FOUND: 527 @ 54
c NEW SOLUTION FOUND: 526 @ 54.031
c NEW SOLUTION FOUND: 525 @ 54.061
c NEW SOLUTION FOUND: 524 @ 54.091
c NEW SOLUTION FOUND: 523 @ 54.122
c NEW SOLUTION FOUND: 522 @ 54.153
c NEW SOLUTION FOUND: 521 @ 54.183
c NEW SOLUTION FOUND: 520 @ 54.214
c NEW SOLUTION FOUND: 519 @ 54.244
c NEW SOLUTION FOUND: 518 @ 54.274
c NEW SOLUTION FOUND: 517 @ 54.305
c NEW SOLUTION FOUND: 516 @ 54.335
c NEW SOLUTION FOUND: 515 @ 54.365
c NEW SOLUTION FOUND: 514 @ 54.396
c NEW SOLUTION FOUND: 513 @ 54.426
c NEW SOLUTION FOUND: 512 @ 54.456
c NEW SOLUTION FOUND: 511 @ 54.487
c NEW SOLUTION FOUND: 510 @ 54.517
c NEW SOLUTION FOUND: 509 @ 54.547
c NEW SOLUTION FOUND: 508 @ 54.578
c NEW SOLUTION FOUND: 507 @ 54.608
c NEW SOLUTION FOUND: 506 @ 54.638
c NEW SOLUTION FOUND: 505 @ 54.669
c NEW SOLUTION FOUND: 504 @ 54.699
c NEW SOLUTION FOUND: 503 @ 54.729
c NEW SOLUTION FOUND: 502 @ 54.76
c NEW SOLUTION FOUND: 501 @ 54.79
c NEW SOLUTION FOUND: 500 @ 54.821
c NEW SOLUTION FOUND: 499 @ 54.851
c NEW SOLUTION FOUND: 498 @ 54.882
c NEW SOLUTION FOUND: 497 @ 54.912
c NEW SOLUTION FOUND: 496 @ 54.942
c NEW SOLUTION FOUND: 495 @ 54.973
c NEW SOLUTION FOUND: 494 @ 55.004
c NEW SOLUTION FOUND: 493 @ 55.034
c NEW SOLUTION FOUND: 492 @ 55.064
c NEW SOLUTION FOUND: 491 @ 55.093
c NEW SOLUTION FOUND: 490 @ 55.124
c NEW SOLUTION FOUND: 489 @ 55.154
c NEW SOLUTION FOUND: 488 @ 55.184
c NEW SOLUTION FOUND: 487 @ 55.215
c NEW SOLUTION FOUND: 486 @ 55.245
c NEW SOLUTION FOUND: 485 @ 55.276
c NEW SOLUTION FOUND: 484 @ 55.306
c NEW SOLUTION FOUND: 483 @ 55.336
c NEW SOLUTION FOUND: 482 @ 55.366
c NEW SOLUTION FOUND: 481 @ 55.397
c NEW SOLUTION FOUND: 480 @ 55.427
c NEW SOLUTION FOUND: 479 @ 55.457
c NEW SOLUTION FOUND: 478 @ 55.488
c NEW SOLUTION FOUND: 477 @ 55.518
c NEW SOLUTION FOUND: 476 @ 55.548
c NEW SOLUTION FOUND: 475 @ 55.578
c NEW SOLUTION FOUND: 474 @ 55.608
c NEW SOLUTION FOUND: 473 @ 55.638
c NEW SOLUTION FOUND: 472 @ 55.669
c NEW SOLUTION FOUND: 471 @ 55.699
c NEW SOLUTION FOUND: 470 @ 55.729
c NEW SOLUTION FOUND: 469 @ 55.76
c NEW SOLUTION FOUND: 468 @ 55.791
c NEW SOLUTION FOUND: 467 @ 55.822
c NEW SOLUTION FOUND: 466 @ 55.853
c NEW SOLUTION FOUND: 465 @ 55.883
c NEW SOLUTION FOUND: 464 @ 55.914
c NEW SOLUTION FOUND: 463 @ 55.945
c NEW SOLUTION FOUND: 462 @ 55.975
c NEW SOLUTION FOUND: 461 @ 56.006
c NEW SOLUTION FOUND: 460 @ 56.036
c NEW SOLUTION FOUND: 459 @ 56.067
c NEW SOLUTION FOUND: 458 @ 56.098
c NEW SOLUTION FOUND: 457 @ 56.129
c NEW SOLUTION FOUND: 456 @ 56.159
c NEW SOLUTION FOUND: 455 @ 56.19
c NEW SOLUTION FOUND: 454 @ 56.22
c NEW SOLUTION FOUND: 453 @ 56.251
c NEW SOLUTION FOUND: 452 @ 56.282
c NEW SOLUTION FOUND: 451 @ 56.312
c NEW SOLUTION FOUND: 450 @ 56.343
c NEW SOLUTION FOUND: 449 @ 56.373
c NEW SOLUTION FOUND: 448 @ 56.404
c NEW SOLUTION FOUND: 447 @ 56.435
c NEW SOLUTION FOUND: 446 @ 56.465
c NEW SOLUTION FOUND: 445 @ 56.496
c NEW SOLUTION FOUND: 444 @ 56.526
c NEW SOLUTION FOUND: 443 @ 56.557
c NEW SOLUTION FOUND: 442 @ 56.587
c NEW SOLUTION FOUND: 441 @ 56.618
c NEW SOLUTION FOUND: 440 @ 56.648
c NEW SOLUTION FOUND: 439 @ 56.679
c NEW SOLUTION FOUND: 438 @ 56.709
c NEW SOLUTION FOUND: 437 @ 56.74
c NEW SOLUTION FOUND: 436 @ 56.77
c NEW SOLUTION FOUND: 435 @ 56.801
c NEW SOLUTION FOUND: 434 @ 56.831
c NEW SOLUTION FOUND: 433 @ 56.862
c NEW SOLUTION FOUND: 432 @ 56.892
c NEW SOLUTION FOUND: 431 @ 56.922
c NEW SOLUTION FOUND: 430 @ 56.953
c NEW SOLUTION FOUND: 429 @ 56.983
c NEW SOLUTION FOUND: 428 @ 57.014
c NEW SOLUTION FOUND: 427 @ 57.044
c NEW SOLUTION FOUND: 426 @ 57.074
c NEW SOLUTION FOUND: 425 @ 57.105
c NEW SOLUTION FOUND: 424 @ 57.135
c NEW SOLUTION FOUND: 423 @ 57.166
c NEW SOLUTION FOUND: 422 @ 57.196
c NEW SOLUTION FOUND: 421 @ 57.227
c NEW SOLUTION FOUND: 420 @ 57.257
c NEW SOLUTION FOUND: 419 @ 57.288
c NEW SOLUTION FOUND: 418 @ 57.318
c NEW SOLUTION FOUND: 417 @ 57.348
c NEW SOLUTION FOUND: 416 @ 57.379
c NEW SOLUTION FOUND: 415 @ 57.409
c NEW SOLUTION FOUND: 414 @ 57.439
c NEW SOLUTION FOUND: 413 @ 57.469
c NEW SOLUTION FOUND: 412 @ 57.5
c NEW SOLUTION FOUND: 411 @ 57.53
c NEW SOLUTION FOUND: 410 @ 57.561
c NEW SOLUTION FOUND: 409 @ 57.591
c NEW SOLUTION FOUND: 408 @ 57.621
c NEW SOLUTION FOUND: 407 @ 57.652
c NEW SOLUTION FOUND: 406 @ 57.682
c NEW SOLUTION FOUND: 405 @ 57.712
c NEW SOLUTION FOUND: 404 @ 57.743
c NEW SOLUTION FOUND: 403 @ 57.773
c NEW SOLUTION FOUND: 402 @ 57.803
c NEW SOLUTION FOUND: 401 @ 57.833
c NEW SOLUTION FOUND: 400 @ 57.863
c NEW SOLUTION FOUND: 399 @ 57.894
c NEW SOLUTION FOUND: 398 @ 57.924
c NEW SOLUTION FOUND: 397 @ 57.954
c NEW SOLUTION FOUND: 396 @ 57.985
c NEW SOLUTION FOUND: 395 @ 58.015
c NEW SOLUTION FOUND: 394 @ 58.045
c NEW SOLUTION FOUND: 393 @ 58.075
c NEW SOLUTION FOUND: 392 @ 58.106
c NEW SOLUTION FOUND: 391 @ 58.136
c NEW SOLUTION FOUND: 390 @ 58.167
c NEW SOLUTION FOUND: 389 @ 58.197
c NEW SOLUTION FOUND: 388 @ 58.227
c NEW SOLUTION FOUND: 387 @ 58.257
c NEW SOLUTION FOUND: 386 @ 58.288
c NEW SOLUTION FOUND: 385 @ 58.318
c NEW SOLUTION FOUND: 384 @ 58.348
c NEW SOLUTION FOUND: 383 @ 58.378
c NEW SOLUTION FOUND: 382 @ 58.408
c NEW SOLUTION FOUND: 381 @ 58.438
c NEW SOLUTION FOUND: 380 @ 58.468
c NEW SOLUTION FOUND: 379 @ 58.499
c NEW SOLUTION FOUND: 378 @ 58.528
c NEW SOLUTION FOUND: 377 @ 58.558
c NEW SOLUTION FOUND: 376 @ 58.588
c NEW SOLUTION FOUND: 375 @ 58.619
c NEW SOLUTION FOUND: 374 @ 58.649
c NEW SOLUTION FOUND: 373 @ 58.679
c NEW SOLUTION FOUND: 372 @ 58.709
c NEW SOLUTION FOUND: 371 @ 58.739
c NEW SOLUTION FOUND: 370 @ 58.769
c NEW SOLUTION FOUND: 369 @ 58.799
c NEW SOLUTION FOUND: 368 @ 58.829
c NEW SOLUTION FOUND: 367 @ 58.859
c NEW SOLUTION FOUND: 366 @ 58.889
c NEW SOLUTION FOUND: 365 @ 58.92
c NEW SOLUTION FOUND: 364 @ 58.95
c NEW SOLUTION FOUND: 363 @ 58.98
c NEW SOLUTION FOUND: 362 @ 59.01
c NEW SOLUTION FOUND: 361 @ 59.04
c NEW SOLUTION FOUND: 360 @ 59.07
c NEW SOLUTION FOUND: 359 @ 59.1
c NEW SOLUTION FOUND: 358 @ 59.13
c NEW SOLUTION FOUND: 357 @ 59.16
c NEW SOLUTION FOUND: 356 @ 59.19
c NEW SOLUTION FOUND: 355 @ 59.22
c NEW SOLUTION FOUND: 354 @ 59.25
c NEW SOLUTION FOUND: 353 @ 59.28
c NEW SOLUTION FOUND: 352 @ 59.31
c NEW SOLUTION FOUND: 351 @ 59.341
c NEW SOLUTION FOUND: 350 @ 59.371
c NEW SOLUTION FOUND: 349 @ 59.401
c NEW SOLUTION FOUND: 348 @ 59.431
c NEW SOLUTION FOUND: 347 @ 59.461
c NEW SOLUTION FOUND: 346 @ 59.491
c NEW SOLUTION FOUND: 345 @ 59.521
c NEW SOLUTION FOUND: 344 @ 59.551
c NEW SOLUTION FOUND: 343 @ 59.581
c NEW SOLUTION FOUND: 342 @ 59.611
c NEW SOLUTION FOUND: 341 @ 59.641
c NEW SOLUTION FOUND: 340 @ 59.671
c NEW SOLUTION FOUND: 339 @ 59.701
c NEW SOLUTION FOUND: 338 @ 59.731
c NEW SOLUTION FOUND: 337 @ 59.761
c NEW SOLUTION FOUND: 336 @ 59.79
c NEW SOLUTION FOUND: 335 @ 59.82
c NEW SOLUTION FOUND: 334 @ 59.85
c NEW SOLUTION FOUND: 333 @ 59.88
c NEW SOLUTION FOUND: 332 @ 59.91
c NEW SOLUTION FOUND: 331 @ 59.94
c NEW SOLUTION FOUND: 330 @ 59.971
c NEW SOLUTION FOUND: 329 @ 60.002
c NEW SOLUTION FOUND: 328 @ 60.031
c NEW SOLUTION FOUND: 327 @ 60.061
c NEW SOLUTION FOUND: 326 @ 60.091
c NEW SOLUTION FOUND: 325 @ 60.121
c NEW SOLUTION FOUND: 324 @ 60.15
c NEW SOLUTION FOUND: 323 @ 60.18
c NEW SOLUTION FOUND: 322 @ 60.21
c NEW SOLUTION FOUND: 321 @ 60.24
c NEW SOLUTION FOUND: 320 @ 60.27
c NEW SOLUTION FOUND: 319 @ 60.3
c NEW SOLUTION FOUND: 318 @ 60.33
c NEW SOLUTION FOUND: 317 @ 60.359
c NEW SOLUTION FOUND: 316 @ 60.389
c NEW SOLUTION FOUND: 315 @ 60.419
c NEW SOLUTION FOUND: 314 @ 60.449
c NEW SOLUTION FOUND: 313 @ 60.478
c NEW SOLUTION FOUND: 312 @ 60.508
c NEW SOLUTION FOUND: 311 @ 60.538
c NEW SOLUTION FOUND: 310 @ 60.568
c NEW SOLUTION FOUND: 309 @ 60.598
c NEW SOLUTION FOUND: 308 @ 60.627
c NEW SOLUTION FOUND: 307 @ 60.658
c NEW SOLUTION FOUND: 306 @ 60.689
c NEW SOLUTION FOUND: 305 @ 60.72
c NEW SOLUTION FOUND: 304 @ 60.751
c NEW SOLUTION FOUND: 303 @ 60.782
c NEW SOLUTION FOUND: 302 @ 60.813
c NEW SOLUTION FOUND: 301 @ 60.843
c NEW SOLUTION FOUND: 300 @ 60.874
c NEW SOLUTION FOUND: 299 @ 60.905
c NEW SOLUTION FOUND: 298 @ 60.936
c NEW SOLUTION FOUND: 297 @ 60.967
c NEW SOLUTION FOUND: 296 @ 60.998
c NEW SOLUTION FOUND: 295 @ 61.028
c NEW SOLUTION FOUND: 294 @ 61.059
c NEW SOLUTION FOUND: 293 @ 61.09
c NEW SOLUTION FOUND: 292 @ 61.121
c NEW SOLUTION FOUND: 291 @ 61.152
c NEW SOLUTION FOUND: 290 @ 61.183
c NEW SOLUTION FOUND: 289 @ 61.213
c NEW SOLUTION FOUND: 288 @ 61.243
c NEW SOLUTION FOUND: 287 @ 61.274
c NEW SOLUTION FOUND: 286 @ 61.304
c NEW SOLUTION FOUND: 285 @ 61.334
c NEW SOLUTION FOUND: 284 @ 61.365
c NEW SOLUTION FOUND: 283 @ 61.395
c NEW SOLUTION FOUND: 282 @ 61.426
c NEW SOLUTION FOUND: 281 @ 61.456
c NEW SOLUTION FOUND: 280 @ 61.487
c NEW SOLUTION FOUND: 279 @ 61.518
c NEW SOLUTION FOUND: 278 @ 61.548
c NEW SOLUTION FOUND: 277 @ 61.578
c NEW SOLUTION FOUND: 276 @ 61.608
c NEW SOLUTION FOUND: 275 @ 61.639
c NEW SOLUTION FOUND: 274 @ 61.67
c NEW SOLUTION FOUND: 273 @ 61.7
c NEW SOLUTION FOUND: 272 @ 61.73
c NEW SOLUTION FOUND: 271 @ 61.76
c NEW SOLUTION FOUND: 270 @ 61.791
c NEW SOLUTION FOUND: 269 @ 61.821
c NEW SOLUTION FOUND: 268 @ 61.851
c NEW SOLUTION FOUND: 267 @ 61.881
c NEW SOLUTION FOUND: 266 @ 61.912
c NEW SOLUTION FOUND: 265 @ 61.942
c NEW SOLUTION FOUND: 264 @ 61.972
c NEW SOLUTION FOUND: 263 @ 62.003
c NEW SOLUTION FOUND: 262 @ 62.033
c NEW SOLUTION FOUND: 261 @ 62.063
c NEW SOLUTION FOUND: 260 @ 62.094
c NEW SOLUTION FOUND: 259 @ 62.124
c NEW SOLUTION FOUND: 258 @ 62.153
c NEW SOLUTION FOUND: 257 @ 62.183
c NEW SOLUTION FOUND: 256 @ 62.214
c NEW SOLUTION FOUND: 255 @ 62.244
c NEW SOLUTION FOUND: 254 @ 62.274
c NEW SOLUTION FOUND: 253 @ 62.305
c NEW SOLUTION FOUND: 252 @ 62.335
c NEW SOLUTION FOUND: 251 @ 62.366
c NEW SOLUTION FOUND: 250 @ 62.396
c NEW SOLUTION FOUND: 249 @ 62.426
c NEW SOLUTION FOUND: 248 @ 62.456
c NEW SOLUTION FOUND: 247 @ 62.487
c NEW SOLUTION FOUND: 246 @ 62.517
c NEW SOLUTION FOUND: 245 @ 62.547
c NEW SOLUTION FOUND: 244 @ 62.577
c NEW SOLUTION FOUND: 243 @ 62.607
c NEW SOLUTION FOUND: 242 @ 62.637
c NEW SOLUTION FOUND: 241 @ 62.667
c NEW SOLUTION FOUND: 240 @ 62.698
c NEW SOLUTION FOUND: 239 @ 62.728
c NEW SOLUTION FOUND: 238 @ 62.758
c NEW SOLUTION FOUND: 237 @ 62.788
c NEW SOLUTION FOUND: 236 @ 62.819
c NEW SOLUTION FOUND: 235 @ 62.851
c NEW SOLUTION FOUND: 234 @ 62.882
c NEW SOLUTION FOUND: 233 @ 62.914
c NEW SOLUTION FOUND: 232 @ 62.945
c NEW SOLUTION FOUND: 231 @ 62.977
c NEW SOLUTION FOUND: 230 @ 63.008
c NEW SOLUTION FOUND: 229 @ 63.039
c NEW SOLUTION FOUND: 228 @ 63.07
c NEW SOLUTION FOUND: 227 @ 63.101
c NEW SOLUTION FOUND: 226 @ 63.132
c NEW SOLUTION FOUND: 225 @ 63.162
c NEW SOLUTION FOUND: 224 @ 63.193
c NEW SOLUTION FOUND: 223 @ 63.225
c NEW SOLUTION FOUND: 222 @ 63.256
c NEW SOLUTION FOUND: 221 @ 63.287
c NEW SOLUTION FOUND: 220 @ 63.318
c NEW SOLUTION FOUND: 219 @ 63.349
c NEW SOLUTION FOUND: 218 @ 63.38
c NEW SOLUTION FOUND: 217 @ 63.411
c NEW SOLUTION FOUND: 216 @ 63.442
c NEW SOLUTION FOUND: 215 @ 63.473
c NEW SOLUTION FOUND: 214 @ 63.504
c NEW SOLUTION FOUND: 213 @ 63.535
c NEW SOLUTION FOUND: 212 @ 63.566
c NEW SOLUTION FOUND: 211 @ 63.597
c NEW SOLUTION FOUND: 210 @ 63.628
c NEW SOLUTION FOUND: 209 @ 63.659
c NEW SOLUTION FOUND: 208 @ 63.69
c NEW SOLUTION FOUND: 207 @ 63.721
c NEW SOLUTION FOUND: 206 @ 63.752
c NEW SOLUTION FOUND: 205 @ 63.783
c NEW SOLUTION FOUND: 204 @ 63.814
c NEW SOLUTION FOUND: 203 @ 63.845
c NEW SOLUTION FOUND: 202 @ 63.876
c NEW SOLUTION FOUND: 201 @ 63.907
c NEW SOLUTION FOUND: 200 @ 63.938
c NEW SOLUTION FOUND: 199 @ 63.969
c NEW SOLUTION FOUND: 198 @ 64
c NEW SOLUTION FOUND: 197 @ 64.03
c NEW SOLUTION FOUND: 196 @ 64.061
c NEW SOLUTION FOUND: 195 @ 64.092
c NEW SOLUTION FOUND: 194 @ 64.123
c NEW SOLUTION FOUND: 193 @ 64.154
c NEW SOLUTION FOUND: 192 @ 64.185
c NEW SOLUTION FOUND: 191 @ 64.216
c NEW SOLUTION FOUND: 190 @ 64.247
c NEW SOLUTION FOUND: 189 @ 64.278
c NEW SOLUTION FOUND: 188 @ 64.308
c NEW SOLUTION FOUND: 187 @ 64.339
c NEW SOLUTION FOUND: 186 @ 64.37
c NEW SOLUTION FOUND: 185 @ 64.401
c NEW SOLUTION FOUND: 184 @ 64.431
c NEW SOLUTION FOUND: 183 @ 64.462
c NEW SOLUTION FOUND: 182 @ 64.492
c NEW SOLUTION FOUND: 181 @ 64.523
c NEW SOLUTION FOUND: 180 @ 64.554
c NEW SOLUTION FOUND: 179 @ 64.585
c NEW SOLUTION FOUND: 178 @ 64.616
c NEW SOLUTION FOUND: 177 @ 64.652
c NEW SOLUTION FOUND: 176 @ 64.687
c NEW SOLUTION FOUND: 175 @ 64.723
c NEW SOLUTION FOUND: 174 @ 64.758
c NEW SOLUTION FOUND: 173 @ 64.793
c NEW SOLUTION FOUND: 172 @ 64.829
c NEW SOLUTION FOUND: 171 @ 64.87
c NEW SOLUTION FOUND: 170 @ 64.913
c NEW SOLUTION FOUND: 169 @ 64.958
c NEW SOLUTION FOUND: 168 @ 65.002
c NEW SOLUTION FOUND: 167 @ 65.047
c NEW SOLUTION FOUND: 166 @ 65.091
c NEW SOLUTION FOUND: 165 @ 65.138
c NEW SOLUTION FOUND: 164 @ 65.184
c NEW SOLUTION FOUND: 163 @ 65.227
c NEW SOLUTION FOUND: 162 @ 65.268
c NEW SOLUTION FOUND: 161 @ 65.312
c NEW SOLUTION FOUND: 160 @ 65.355
c NEW SOLUTION FOUND: 159 @ 65.4
c NEW SOLUTION FOUND: 158 @ 65.444
c NEW SOLUTION FOUND: 157 @ 65.488
c NEW SOLUTION FOUND: 156 @ 65.532
c NEW SOLUTION FOUND: 155 @ 65.64
c NEW SOLUTION FOUND: 154 @ 65.704
c NEW SOLUTION FOUND: 153 @ 65.764
c NEW SOLUTION FOUND: 152 @ 65.824
c NEW SOLUTION FOUND: 151 @ 65.881
c NEW SOLUTION FOUND: 150 @ 65.941
c NEW SOLUTION FOUND: 149 @ 66.004
c NEW SOLUTION FOUND: 148 @ 66.065
c NEW SOLUTION FOUND: 147 @ 66.124
c NEW SOLUTION FOUND: 146 @ 66.184
c NEW SOLUTION FOUND: 145 @ 66.242
c NEW SOLUTION FOUND: 144 @ 66.301
c NEW SOLUTION FOUND: 143 @ 66.359
c NEW SOLUTION FOUND: 142 @ 66.418
c NEW SOLUTION FOUND: 141 @ 66.48
c NEW SOLUTION FOUND: 140 @ 66.539
c NEW SOLUTION FOUND: 139 @ 66.597
c NEW SOLUTION FOUND: 138 @ 66.659
c NEW SOLUTION FOUND: 137 @ 66.723
c NEW SOLUTION FOUND: 136 @ 66.787
c NEW SOLUTION FOUND: 135 @ 66.846
c NEW SOLUTION FOUND: 134 @ 66.908
c NEW SOLUTION FOUND: 133 @ 66.97
c NEW SOLUTION FOUND: 132 @ 67.027
c NEW SOLUTION FOUND: 131 @ 67.09
c NEW SOLUTION FOUND: 130 @ 67.153
c NEW SOLUTION FOUND: 129 @ 67.216
c NEW SOLUTION FOUND: 128 @ 67.28
c NEW SOLUTION FOUND: 127 @ 67.34
c NEW SOLUTION FOUND: 126 @ 67.401
c NEW SOLUTION FOUND: 125 @ 67.463
c NEW SOLUTION FOUND: 124 @ 67.526
c NEW SOLUTION FOUND: 123 @ 67.589
c NEW SOLUTION FOUND: 122 @ 67.782
c NEW SOLUTION FOUND: 121 @ 67.848
c NEW SOLUTION FOUND: 120 @ 67.917
c NEW SOLUTION FOUND: 119 @ 67.983
c NEW SOLUTION FOUND: 118 @ 68.052
c NEW SOLUTION FOUND: 117 @ 68.119
c NEW SOLUTION FOUND: 116 @ 68.184
c NEW SOLUTION FOUND: 115 @ 68.248
c NEW SOLUTION FOUND: 114 @ 68.312
c NEW SOLUTION FOUND: 113 @ 68.374
c NEW SOLUTION FOUND: 112 @ 68.44
c NEW SOLUTION FOUND: 111 @ 68.503
c NEW SOLUTION FOUND: 110 @ 68.645
c NEW SOLUTION FOUND: 109 @ 68.715
c NEW SOLUTION FOUND: 108 @ 68.785
c NEW SOLUTION FOUND: 107 @ 68.853
c NEW SOLUTION FOUND: 106 @ 68.925
c NEW SOLUTION FOUND: 105 @ 68.997
c NEW SOLUTION FOUND: 104 @ 69.068
c NEW SOLUTION FOUND: 103 @ 69.137
c NEW SOLUTION FOUND: 102 @ 69.207
c NEW SOLUTION FOUND: 101 @ 69.282
c NEW SOLUTION FOUND: 100 @ 69.356
c NEW SOLUTION FOUND: 99 @ 69.43
c NEW SOLUTION FOUND: 98 @ 69.506
c NEW SOLUTION FOUND: 97 @ 69.582
c NEW SOLUTION FOUND: 96 @ 69.655
c NEW SOLUTION FOUND: 95 @ 69.728
c NEW SOLUTION FOUND: 94 @ 69.802
c NEW SOLUTION FOUND: 93 @ 69.869
c NEW SOLUTION FOUND: 92 @ 69.942
c NEW SOLUTION FOUND: 91 @ 70.103
c NEW SOLUTION FOUND: 90 @ 70.185
c NEW SOLUTION FOUND: 89 @ 70.353
c NEW SOLUTION FOUND: 88 @ 70.431
c NEW SOLUTION FOUND: 87 @ 70.515
c NEW SOLUTION FOUND: 86 @ 70.681
c NEW SOLUTION FOUND: 85 @ 70.765
c NEW SOLUTION FOUND: 84 @ 70.85
c NEW SOLUTION FOUND: 83 @ 70.939
c NEW SOLUTION FOUND: 82 @ 71.026
c NEW SOLUTION FOUND: 81 @ 71.108
c NEW SOLUTION FOUND: 80 @ 71.2
c NEW SOLUTION FOUND: 79 @ 71.286
c NEW SOLUTION FOUND: 78 @ 71.995
c NEW SOLUTION FOUND: 77 @ 72.185
c NEW SOLUTION FOUND: 76 @ 72.704
c NEW SOLUTION FOUND: 75 @ 73.029
c NEW SOLUTION FOUND: 74 @ 73.202
c NEW SOLUTION FOUND: 73 @ 73.428
c NEW SOLUTION FOUND: 72 @ 74.458
c NEW SOLUTION FOUND: 71 @ 77.999
c NEW SOLUTION FOUND: 70 @ 80.967
c NEW SOLUTION FOUND: 69 @ 82.424
c NEW SOLUTION FOUND: 68 @ 125.648
c NEW SOLUTION FOUND: 67 @ 184.89
c NEW SOLUTION FOUND: 66 @ 387.276
s SATISFIABLE
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 
c Exit Code: 10
c Total time: 1177.93 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 2253
Raw data (stat): 2253 (runsolver) R 2252 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903381087 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0017 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 2970 0 0 0 989 7 0 0 25 0 1 0 903381087 13172736 2468 4294967295 134512640 134716908 3221224576 3221220336 1074871104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2468 1111 63 0 3153 0
vsize: 12864
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 10799 0 1 0 1960 35 0 0 25 0 1 0 903381087 11280384 2063 4294967295 134512640 134716908 3221224576 3221223244 134534084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2754 2063 1111 63 0 2691 0
vsize: 11016
[startup+30.0032 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 30549 0 1 0 2903 92 0 0 25 0 1 0 903381087 11300864 2068 4294967295 134512640 134716908 3221224576 3221223152 134548556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 2068 1111 63 0 2696 0
vsize: 11036
[startup+40.004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 52734 0 1 0 3848 147 0 0 25 0 1 0 903381087 11292672 2066 4294967295 134512640 134716908 3221224576 3221223204 1077374455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2757 2066 1111 63 0 2694 0
vsize: 11028
[startup+50.0045 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 76789 0 1 0 4784 210 0 0 25 0 1 0 903381087 11292672 2066 4294967295 134512640 134716908 3221224576 3221222768 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2757 2066 1111 63 0 2694 0
vsize: 11028
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 102350 0 1 0 5715 280 0 0 25 0 1 0 903381087 11476992 2081 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2802 2081 1111 63 0 2739 0
vsize: 11208
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 123679 0 1 0 6657 338 0 0 25 0 1 0 903381087 11427840 2099 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2790 2099 1111 63 0 2727 0
vsize: 11160
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 129837 0 1 0 7643 352 0 0 25 0 1 0 903381087 13086720 2432 4294967295 134512640 134716908 3221224576 3221220580 1074875778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3195 2432 1111 63 0 3132 0
vsize: 12780
[startup+90.0063 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 133268 0 1 0 8634 361 0 0 25 0 1 0 903381087 13504512 2547 4294967295 134512640 134716908 3221224576 3221220780 1075564320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3297 2547 1111 63 0 3234 0
vsize: 13188
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 136132 0 1 0 9626 369 0 0 25 0 1 0 903381087 13742080 2606 4294967295 134512640 134716908 3221224576 3221220560 1074875083 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 2606 1111 63 0 3292 0
vsize: 13420
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 139112 0 1 0 10620 376 0 0 25 0 1 0 903381087 13082624 2503 4294967295 134512640 134716908 3221224576 3221222576 1074913451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3194 2503 1111 63 0 3131 0
vsize: 12776
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 141673 0 1 0 11613 383 0 0 25 0 1 0 903381087 13733888 2601 4294967295 134512640 134716908 3221224576 3221220620 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 2601 1111 63 0 3290 0
vsize: 13412
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 144594 0 1 0 12607 388 0 0 25 0 1 0 903381087 13819904 2585 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2585 1111 63 0 3311 0
vsize: 13496
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 147191 0 1 0 13601 395 0 0 25 0 1 0 903381087 13762560 2610 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 2610 1111 63 0 3297 0
vsize: 13440
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 150663 0 1 0 14593 403 0 0 25 0 1 0 903381087 12742656 2405 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3111 2405 1111 63 0 3048 0
vsize: 12444
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 153698 0 1 0 15587 410 0 0 25 0 1 0 903381087 13811712 2621 4294967295 134512640 134716908 3221224576 3221220736 1074794679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2621 1111 63 0 3309 0
vsize: 13488
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 157177 0 1 0 16580 417 0 0 25 0 1 0 903381087 14024704 2678 4294967295 134512640 134716908 3221224576 3221221104 1075397136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3424 2678 1111 63 0 3361 0
vsize: 13696
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 159329 0 1 0 17575 422 0 0 25 0 1 0 903381087 14045184 2677 4294967295 134512640 134716908 3221224576 3221220620 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2677 1111 63 0 3366 0
vsize: 13716
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 161397 0 1 0 18570 427 0 0 25 0 1 0 903381087 14008320 2676 4294967295 134512640 134716908 3221224576 3221221616 1075860104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 2676 1111 63 0 3357 0
vsize: 13680
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 165237 0 1 0 19560 437 0 0 25 0 1 0 903381087 14278656 2736 4294967295 134512640 134716908 3221224576 3221220580 1074875766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3486 2736 1111 63 0 3423 0
vsize: 13944
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 168114 0 1 0 20554 443 0 0 25 0 1 0 903381087 12673024 2403 4294967295 134512640 134716908 3221224576 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3094 2403 1111 63 0 3031 0
vsize: 12376
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 170755 0 1 0 21548 449 0 0 25 0 1 0 903381087 14524416 2783 4294967295 134512640 134716908 3221224576 3221220804 1075115112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2783 1111 63 0 3483 0
vsize: 14184
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 173485 0 1 0 22541 457 0 0 25 0 1 0 903381087 14565376 2801 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2801 1111 63 0 3493 0
vsize: 14224
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 175404 0 1 0 23537 461 0 0 25 0 1 0 903381087 14569472 2793 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2793 1111 63 0 3494 0
vsize: 14228
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 177574 0 1 0 24530 468 0 0 25 0 1 0 903381087 13393920 2536 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3270 2536 1111 63 0 3207 0
vsize: 13080
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 180751 0 1 0 25523 475 0 0 25 0 1 0 903381087 14548992 2782 4294967295 134512640 134716908 3221224576 3221220984 1075133169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3552 2782 1111 63 0 3489 0
vsize: 14208
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 182495 0 1 0 26519 479 0 0 25 0 1 0 903381087 14614528 2804 4294967295 134512640 134716908 3221224576 3221220848 1074960759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2804 1111 63 0 3505 0
vsize: 14272
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 185134 0 1 0 27513 485 0 0 25 0 1 0 903381087 14630912 2804 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2804 1111 63 0 3509 0
vsize: 14288
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 187368 0 1 0 28508 490 0 0 25 0 1 0 903381087 13463552 2570 4294967295 134512640 134716908 3221224576 3221223088 134646788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2570 1111 63 0 3224 0
vsize: 13148
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 189633 0 1 0 29503 496 0 0 25 0 1 0 903381087 14639104 2806 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3574 2806 1111 63 0 3511 0
vsize: 14296
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 191403 0 1 0 30498 501 0 0 25 0 1 0 903381087 13475840 2595 4294967295 134512640 134716908 3221224576 3221222488 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3290 2597 1111 63 0 3227 0
vsize: 13160
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 194093 0 1 0 31491 508 0 0 25 0 1 0 903381087 13230080 2539 4294967295 134512640 134716908 3221224576 3221222576 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3230 2539 1111 63 0 3167 0
vsize: 12920
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 196823 0 1 0 32484 515 0 0 25 0 1 0 903381087 13479936 2567 4294967295 134512640 134716908 3221224576 3221222240 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2567 1111 63 0 3228 0
vsize: 13164
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 199207 0 1 0 33478 521 0 0 25 0 1 0 903381087 14671872 2828 4294967295 134512640 134716908 3221224576 3221220736 1074794640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2828 1111 63 0 3519 0
vsize: 14328
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 201899 0 1 0 34472 527 0 0 25 0 1 0 903381087 14655488 2828 4294967295 134512640 134716908 3221224576 3221220736 1075095188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3578 2828 1111 63 0 3515 0
vsize: 14312
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 204144 0 1 0 35466 534 0 0 25 0 1 0 903381087 14606336 2797 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2797 1111 63 0 3503 0
vsize: 14264
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 206514 0 1 0 36460 540 0 0 25 0 1 0 903381087 14647296 2799 4294967295 134512640 134716908 3221224576 3221220784 1076079555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2799 1111 63 0 3513 0
vsize: 14304
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 208543 0 1 0 37455 545 0 0 25 0 1 0 903381087 13570048 2584 4294967295 134512640 134716908 3221224576 3221223104 134649067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 2584 1111 63 0 3250 0
vsize: 13252
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 210707 0 1 0 38449 552 0 0 25 0 1 0 903381087 14643200 2812 4294967295 134512640 134716908 3221224576 3221220484 1074786501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2812 1111 63 0 3512 0
vsize: 14300
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 212259 0 1 0 39444 556 0 0 25 0 1 0 903381087 14643200 2810 4294967295 134512640 134716908 3221224576 3221220432 1074871270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2810 1111 63 0 3512 0
vsize: 14300
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 215330 0 1 0 40438 563 0 0 25 0 1 0 903381087 15159296 2911 4294967295 134512640 134716908 3221224576 3221220484 1074786584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2911 1111 63 0 3638 0
vsize: 14804
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 217375 0 1 0 41433 568 0 0 25 0 1 0 903381087 13500416 2589 4294967295 134512640 134716908 3221224576 3221222012 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3296 2589 1111 63 0 3233 0
vsize: 13184
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 218857 0 1 0 42429 571 0 0 25 0 1 0 903381087 13717504 2658 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2658 1111 63 0 3286 0
vsize: 13396
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 220886 0 1 0 43426 575 0 0 25 0 1 0 903381087 14860288 2908 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3628 2908 1111 63 0 3565 0
vsize: 14512
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 223701 0 1 0 44419 582 0 0 25 0 1 0 903381087 14991360 2909 4294967295 134512640 134716908 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3660 2909 1111 63 0 3597 0
vsize: 14640
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 226275 0 1 0 45413 589 0 0 25 0 1 0 903381087 15040512 2869 4294967295 134512640 134716908 3221224576 3221220796 1074878531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3672 2869 1111 63 0 3609 0
vsize: 14688
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 228036 0 1 0 46409 592 0 0 25 0 1 0 903381087 14061568 2744 4294967295 134512640 134716908 3221224576 3221221680 1074138642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3433 2744 1111 63 0 3370 0
vsize: 13732
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 230857 0 1 0 47402 600 0 0 25 0 1 0 903381087 13783040 2631 4294967295 134512640 134716908 3221224576 3221223016 134532441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2631 1111 63 0 3302 0
vsize: 13460
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 233098 0 1 0 48398 604 0 0 25 0 1 0 903381087 13549568 2619 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2619 1111 63 0 3245 0
vsize: 13232
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 235084 0 1 0 49394 608 0 0 25 0 1 0 903381087 14995456 2916 4294967295 134512640 134716908 3221224576 3221220432 1074867970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2916 1111 63 0 3598 0
vsize: 14644
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 237754 0 1 0 50388 614 0 0 25 0 1 0 903381087 15032320 2915 4294967295 134512640 134716908 3221224576 3221220736 1075095101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2915 1111 63 0 3607 0
vsize: 14680
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 239220 0 1 0 51385 618 0 0 25 0 1 0 903381087 15060992 2919 4294967295 134512640 134716908 3221224576 3221220544 1075965272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2919 1111 63 0 3614 0
vsize: 14708
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 241685 0 1 0 52378 624 0 0 25 0 1 0 903381087 14647296 2856 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2856 1111 63 0 3513 0
vsize: 14304
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 243566 0 1 0 53374 629 0 0 25 0 1 0 903381087 15122432 2926 4294967295 134512640 134716908 3221224576 3221220796 1074878548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3692 2926 1111 63 0 3629 0
vsize: 14768
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 244938 0 1 0 54371 631 0 0 25 0 1 0 903381087 15044608 2928 4294967295 134512640 134716908 3221224576 3221220432 1074871225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2928 1111 63 0 3610 0
vsize: 14692
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 247646 0 1 0 55365 638 0 0 25 0 1 0 903381087 15134720 2932 4294967295 134512640 134716908 3221224576 3221220736 1074794565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3695 2932 1111 63 0 3632 0
vsize: 14780
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 249162 0 1 0 56361 642 0 0 25 0 1 0 903381087 15056896 2915 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3676 2915 1111 63 0 3613 0
vsize: 14704
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 251187 0 1 0 57356 647 0 0 25 0 1 0 903381087 13361152 2553 4294967295 134512640 134716908 3221224576 3221221864 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2553 1111 63 0 3199 0
vsize: 13048
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 253246 0 1 0 58351 652 0 0 25 0 1 0 903381087 15343616 2950 4294967295 134512640 134716908 3221224576 3221220848 1074960944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3746 2950 1111 63 0 3683 0
vsize: 14984
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 255315 0 1 0 59347 657 0 0 25 0 1 0 903381087 13692928 2627 4294967295 134512640 134716908 3221224576 3221221888 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3343 2627 1111 63 0 3280 0
vsize: 13372
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 258052 0 1 0 60341 663 0 0 25 0 1 0 903381087 13680640 2620 4294967295 134512640 134716908 3221224576 3221222144 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2620 1111 63 0 3277 0
vsize: 13360
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 260042 0 1 0 61336 668 0 0 25 0 1 0 903381087 15245312 2925 4294967295 134512640 134716908 3221224576 3221220672 1074877670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3722 2925 1111 63 0 3659 0
vsize: 14888
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 261368 0 1 0 62333 671 0 0 25 0 1 0 903381087 15249408 2923 4294967295 134512640 134716908 3221224576 3221221632 1075276777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3723 2923 1111 63 0 3660 0
vsize: 14892
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 263292 0 1 0 63328 676 0 0 25 0 1 0 903381087 13168640 2519 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2519 1111 63 0 3152 0
vsize: 12860
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 265430 0 1 0 64323 681 0 0 25 0 1 0 903381087 15011840 2906 4294967295 134512640 134716908 3221224576 3221220588 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2906 1111 63 0 3602 0
vsize: 14660
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 268042 0 1 0 65317 688 0 0 25 0 1 0 903381087 15073280 2880 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3680 2883 1111 63 0 3617 0
vsize: 14720
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 270644 0 1 0 66310 695 0 0 25 0 1 0 903381087 15265792 2914 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3727 2914 1111 63 0 3664 0
vsize: 14908
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 271974 0 1 0 67306 699 0 0 25 0 1 0 903381087 15073280 2934 4294967295 134512640 134716908 3221224576 3221221232 1075967956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3680 2934 1111 63 0 3617 0
vsize: 14720
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 273415 0 1 0 68303 702 0 0 25 0 1 0 903381087 15073280 2932 4294967295 134512640 134716908 3221224576 3221221912 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3680 2932 1111 63 0 3617 0
vsize: 14720
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 276072 0 1 0 69297 708 0 0 25 0 1 0 903381087 15290368 2970 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3733 2970 1111 63 0 3670 0
vsize: 14932
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 277486 0 1 0 70294 712 0 0 25 0 1 0 903381087 15085568 2926 4294967295 134512640 134716908 3221224576 3221221412 1074786582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2926 1111 63 0 3620 0
vsize: 14732
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 279420 0 1 0 71289 717 0 0 25 0 1 0 903381087 13910016 2661 4294967295 134512640 134716908 3221224576 3221223088 134646346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3396 2661 1111 63 0 3333 0
vsize: 13584
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 280923 0 1 0 72286 720 0 0 25 0 1 0 903381087 13651968 2626 4294967295 134512640 134716908 3221224576 3221222536 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3333 2626 1111 63 0 3270 0
vsize: 13332
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 282951 0 1 0 73282 725 0 0 25 0 1 0 903381087 14987264 2897 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3659 2897 1111 63 0 3596 0
vsize: 14636
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 285671 0 1 0 74276 731 0 0 25 0 1 0 903381087 14950400 2920 4294967295 134512640 134716908 3221224576 3221220560 1074875065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3650 2920 1111 63 0 3587 0
vsize: 14600
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 287087 0 1 0 75272 734 0 0 25 0 1 0 903381087 15085568 2923 4294967295 134512640 134716908 3221224576 3221221520 1074620369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2923 1111 63 0 3620 0
vsize: 14732
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 289151 0 1 0 76269 738 0 0 25 0 1 0 903381087 13737984 2658 4294967295 134512640 134716908 3221224576 3221221680 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2658 1111 63 0 3291 0
vsize: 13416
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 291232 0 1 0 77264 743 0 0 25 0 1 0 903381087 14970880 2926 4294967295 134512640 134716908 3221224576 3221220432 1074868532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2926 1111 63 0 3592 0
vsize: 14620
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 293811 0 1 0 78259 748 0 0 25 0 1 0 903381087 15073280 2914 4294967295 134512640 134716908 3221224576 3221220580 1074875766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3680 2914 1111 63 0 3617 0
vsize: 14720
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 295673 0 1 0 79254 753 0 0 25 0 1 0 903381087 13930496 2666 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3401 2666 1111 63 0 3338 0
vsize: 13604
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 297830 0 1 0 80248 759 0 0 25 0 1 0 903381087 15073280 2917 4294967295 134512640 134716908 3221224576 3221221344 1076083927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3680 2917 1111 63 0 3617 0
vsize: 14720
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 300263 0 1 0 81243 765 0 0 25 0 1 0 903381087 15040512 2909 4294967295 134512640 134716908 3221224576 3221220452 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3672 2909 1111 63 0 3609 0
vsize: 14688
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 302968 0 1 0 82236 772 0 0 25 0 1 0 903381087 15237120 2981 4294967295 134512640 134716908 3221224576 3221220580 1074875775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3720 2981 1111 63 0 3657 0
vsize: 14880
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 304390 0 1 0 83232 777 0 0 25 0 1 0 903381087 15171584 2940 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2940 1111 63 0 3641 0
vsize: 14816
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 307112 0 1 0 84226 782 0 0 25 0 1 0 903381087 15310848 2928 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2928 1111 63 0 3675 0
vsize: 14952
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 309005 0 1 0 85222 787 0 0 25 0 1 0 903381087 13500416 2607 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3296 2607 1111 63 0 3233 0
vsize: 13184
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 311090 0 1 0 86216 792 0 0 25 0 1 0 903381087 15151104 2940 4294967295 134512640 134716908 3221224576 3221220544 1074872796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3699 2940 1111 63 0 3636 0
vsize: 14796
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 313619 0 1 0 87211 798 0 0 25 0 1 0 903381087 15380480 2950 4294967295 134512640 134716908 3221224576 3221220580 1074875778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3755 2950 1111 63 0 3692 0
vsize: 15020
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 315201 0 1 0 88208 801 0 0 25 0 1 0 903381087 14086144 2749 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3439 2749 1111 63 0 3376 0
vsize: 13756
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 317791 0 1 0 89202 808 0 0 25 0 1 0 903381087 15187968 2946 4294967295 134512640 134716908 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3708 2946 1111 63 0 3645 0
vsize: 14832
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 320410 0 1 0 90196 814 0 0 25 0 1 0 903381087 15364096 2949 4294967295 134512640 134716908 3221224576 3221220736 1074794482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2949 1111 63 0 3688 0
vsize: 15004
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 322943 0 1 0 91191 819 0 0 25 0 1 0 903381087 15319040 2933 4294967295 134512640 134716908 3221224576 3221220752 1074882630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3740 2933 1111 63 0 3677 0
vsize: 14960
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 325415 0 1 0 92185 825 0 0 25 0 1 0 903381087 15093760 2919 4294967295 134512640 134716908 3221224576 3221220780 1075564301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3685 2919 1111 63 0 3622 0
vsize: 14740
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 327433 0 1 0 93181 829 0 0 25 0 1 0 903381087 15101952 2924 4294967295 134512640 134716908 3221224576 3221221168 1074886219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3687 2924 1111 63 0 3624 0
vsize: 14748
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 330334 0 1 0 94174 836 0 0 25 0 1 0 903381087 14045184 2687 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2687 1111 63 0 3366 0
vsize: 13716
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 332503 0 1 0 95170 841 0 0 25 0 1 0 903381087 15065088 2948 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3678 2948 1111 63 0 3615 0
vsize: 14712
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 334558 0 1 0 96165 846 0 0 25 0 1 0 903381087 13922304 2688 4294967295 134512640 134716908 3221224576 3221222364 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2688 1111 63 0 3336 0
vsize: 13596
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 337216 0 1 0 97158 853 0 0 25 0 1 0 903381087 15380480 2936 4294967295 134512640 134716908 3221224576 3221220720 1074970662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3755 2936 1111 63 0 3692 0
vsize: 15020
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 339108 0 1 0 98154 857 0 0 25 0 1 0 903381087 14094336 2696 4294967295 134512640 134716908 3221224576 3221223040 134606864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3441 2696 1111 63 0 3378 0
vsize: 13764
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 341358 0 1 0 99149 863 0 0 25 0 1 0 903381087 15491072 2960 4294967295 134512640 134716908 3221224576 3221220736 1074794586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3782 2960 1111 63 0 3719 0
vsize: 15128
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 342865 0 1 0 100145 867 0 0 25 0 1 0 903381087 15290368 2971 4294967295 134512640 134716908 3221224576 3221220452 1074786579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3733 2971 1111 63 0 3670 0
vsize: 14932
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 345302 0 1 0 101139 873 0 0 25 0 1 0 903381087 15192064 2941 4294967295 134512640 134716908 3221224576 3221221168 1074887019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3709 2941 1111 63 0 3646 0
vsize: 14836
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 347058 0 1 0 102135 877 0 0 25 0 1 0 903381087 13877248 2677 4294967295 134512640 134716908 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3388 2677 1111 63 0 3325 0
vsize: 13552
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 349025 0 1 0 103130 882 0 0 25 0 1 0 903381087 15409152 2960 4294967295 134512640 134716908 3221224576 3221220736 1075091544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2960 1111 63 0 3699 0
vsize: 15048
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 351136 0 1 0 104125 887 0 0 25 0 1 0 903381087 15163392 2949 4294967295 134512640 134716908 3221224576 3221220484 1074786584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2949 1111 63 0 3639 0
vsize: 14808
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 353317 0 1 0 105119 894 0 0 25 0 1 0 903381087 15110144 2947 4294967295 134512640 134716908 3221224576 3221220736 1074794673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3689 2947 1111 63 0 3626 0
vsize: 14756
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 355740 0 1 0 106114 899 0 0 25 0 1 0 903381087 15290368 2971 4294967295 134512640 134716908 3221224576 3221220484 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3733 2971 1111 63 0 3670 0
vsize: 14932
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 357087 0 1 0 107111 902 0 0 25 0 1 0 903381087 15507456 2987 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 2987 1111 63 0 3723 0
vsize: 15144
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 359702 0 1 0 108105 908 0 0 25 0 1 0 903381087 15175680 2952 4294967295 134512640 134716908 3221224576 3221220752 1074882647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3705 2952 1111 63 0 3642 0
vsize: 14820
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 362210 0 1 0 109101 912 0 0 25 0 1 0 903381087 15560704 2997 4294967295 134512640 134716908 3221224576 3221220380 1074787847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2997 1111 63 0 3736 0
vsize: 15196
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 364715 0 1 0 110095 918 0 0 25 0 1 0 903381087 15568896 2979 4294967295 134512640 134716908 3221224576 3221220896 1075858527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 2979 1111 63 0 3738 0
vsize: 15204
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 366751 0 1 0 111090 924 0 0 25 0 1 0 903381087 14282752 2727 4294967295 134512640 134716908 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3487 2727 1111 63 0 3424 0
vsize: 13948
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 369064 0 1 0 112084 930 0 0 25 0 1 0 903381087 15355904 2986 4294967295 134512640 134716908 3221224576 3221221104 1075119996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2986 1111 63 0 3686 0
vsize: 14996
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 371817 0 1 0 113077 936 0 0 25 0 1 0 903381087 15548416 2970 4294967295 134512640 134716908 3221224576 3221220736 1074794554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2970 1111 63 0 3733 0
vsize: 15184
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 374387 0 1 0 114071 943 0 0 25 0 1 0 903381087 15499264 2983 4294967295 134512640 134716908 3221224576 3221220432 1074868370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2983 1111 63 0 3721 0
vsize: 15136
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 375745 0 1 0 115069 945 0 0 25 0 1 0 903381087 15294464 2980 4294967295 134512640 134716908 3221224576 3221220452 1074786567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2980 1111 63 0 3671 0
vsize: 14936
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 379272 0 1 0 116061 953 0 0 25 0 1 0 903381087 15282176 2954 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3731 2954 1111 63 0 3668 0
vsize: 14924
[startup+1177.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 2253
Raw data (stat): 2253 (bsolo_lpr_cuts-) R 2252 21152 21151 0 -1 0 379272 0 1 0 116061 953 0 0 25 0 1 0 903381087 15282176 2954 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3731 2954 1111 63 0 3668 0
vsize: 0

Child status: 10
Real time (s): 1177.83
CPU time (s): 1177.95
CPU user time (s): 1168.36
CPU system time (s): 9.58354
CPU usage (%): 100.01
Max. virtual memory (Kb): 15204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	66
#### END VERIFIER DATA ####