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 23473

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 23:57:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=596 boxname=wulflinc31 idbench=67 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ebc55cfc194a279163f52418008eccf2  /oldhome/oroussel/tmp/wulflinc31/normalized-ex5.pi.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ex5.pi.opb
IDLAUNCH: 596
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916608 kB
Buffers:         41036 kB
Cached:          54784 kB
SwapCached:        944 kB
Active:          80212 kB
Inactive:        18072 kB
HighTotal:      131008 kB
HighFree:        75236 kB
LowTotal:       903652 kB
LowFree:        841372 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14244 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 00:17:05 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 596 7 1200.44 0
#### 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.395 s
c Initial Lower Bound: 64
c Lower Bound Elapsed time: 3.9
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1871 @ 21.528
c NEW SOLUTION FOUND: 1870 @ 21.585
c NEW SOLUTION FOUND: 1869 @ 21.615
c NEW SOLUTION FOUND: 1868 @ 21.645
c NEW SOLUTION FOUND: 1867 @ 21.675
c NEW SOLUTION FOUND: 1866 @ 21.705
c NEW SOLUTION FOUND: 1865 @ 21.735
c NEW SOLUTION FOUND: 1864 @ 21.766
c NEW SOLUTION FOUND: 1863 @ 21.796
c NEW SOLUTION FOUND: 1862 @ 21.826
c NEW SOLUTION FOUND: 1861 @ 21.856
c NEW SOLUTION FOUND: 1860 @ 21.886
c NEW SOLUTION FOUND: 1859 @ 21.916
c NEW SOLUTION FOUND: 1858 @ 21.946
c NEW SOLUTION FOUND: 1857 @ 21.977
c NEW SOLUTION FOUND: 1856 @ 22.007
c NEW SOLUTION FOUND: 1855 @ 22.037
c NEW SOLUTION FOUND: 1854 @ 22.067
c NEW SOLUTION FOUND: 1853 @ 22.097
c NEW SOLUTION FOUND: 1852 @ 22.128
c NEW SOLUTION FOUND: 1851 @ 22.158
c NEW SOLUTION FOUND: 1850 @ 22.188
c NEW SOLUTION FOUND: 1849 @ 22.218
c NEW SOLUTION FOUND: 1848 @ 22.249
c NEW SOLUTION FOUND: 1847 @ 22.279
c NEW SOLUTION FOUND: 1846 @ 22.31
c NEW SOLUTION FOUND: 1845 @ 22.34
c NEW SOLUTION FOUND: 1844 @ 22.37
c NEW SOLUTION FOUND: 1843 @ 22.4
c NEW SOLUTION FOUND: 1842 @ 22.43
c NEW SOLUTION FOUND: 1841 @ 22.46
c NEW SOLUTION FOUND: 1840 @ 22.49
c NEW SOLUTION FOUND: 1839 @ 22.52
c NEW SOLUTION FOUND: 1838 @ 22.55
c NEW SOLUTION FOUND: 1837 @ 22.581
c NEW SOLUTION FOUND: 1836 @ 22.611
c NEW SOLUTION FOUND: 1835 @ 22.641
c NEW SOLUTION FOUND: 1834 @ 22.671
c NEW SOLUTION FOUND: 1833 @ 22.701
c NEW SOLUTION FOUND: 1832 @ 22.731
c NEW SOLUTION FOUND: 1831 @ 22.761
c NEW SOLUTION FOUND: 1830 @ 22.791
c NEW SOLUTION FOUND: 1829 @ 22.821
c NEW SOLUTION FOUND: 1828 @ 22.851
c NEW SOLUTION FOUND: 1827 @ 22.882
c NEW SOLUTION FOUND: 1826 @ 22.912
c NEW SOLUTION FOUND: 1825 @ 22.942
c NEW SOLUTION FOUND: 1824 @ 22.972
c NEW SOLUTION FOUND: 1823 @ 23.002
c NEW SOLUTION FOUND: 1822 @ 23.032
c NEW SOLUTION FOUND: 1821 @ 23.062
c NEW SOLUTION FOUND: 1820 @ 23.092
c NEW SOLUTION FOUND: 1819 @ 23.123
c NEW SOLUTION FOUND: 1818 @ 23.153
c NEW SOLUTION FOUND: 1817 @ 23.183
c NEW SOLUTION FOUND: 1816 @ 23.213
c NEW SOLUTION FOUND: 1815 @ 23.243
c NEW SOLUTION FOUND: 1814 @ 23.273
c NEW SOLUTION FOUND: 1813 @ 23.303
c NEW SOLUTION FOUND: 1812 @ 23.333
c NEW SOLUTION FOUND: 1811 @ 23.363
c NEW SOLUTION FOUND: 1810 @ 23.393
c NEW SOLUTION FOUND: 1809 @ 23.423
c NEW SOLUTION FOUND: 1808 @ 23.453
c NEW SOLUTION FOUND: 1807 @ 23.483
c NEW SOLUTION FOUND: 1806 @ 23.513
c NEW SOLUTION FOUND: 1805 @ 23.543
c NEW SOLUTION FOUND: 1804 @ 23.573
c NEW SOLUTION FOUND: 1803 @ 23.603
c NEW SOLUTION FOUND: 1802 @ 23.632
c NEW SOLUTION FOUND: 1801 @ 23.662
c NEW SOLUTION FOUND: 1800 @ 23.692
c NEW SOLUTION FOUND: 1799 @ 23.722
c NEW SOLUTION FOUND: 1798 @ 23.752
c NEW SOLUTION FOUND: 1797 @ 23.782
c NEW SOLUTION FOUND: 1796 @ 23.812
c NEW SOLUTION FOUND: 1795 @ 23.843
c NEW SOLUTION FOUND: 1794 @ 23.873
c NEW SOLUTION FOUND: 1793 @ 23.903
c NEW SOLUTION FOUND: 1792 @ 23.934
c NEW SOLUTION FOUND: 1791 @ 23.964
c NEW SOLUTION FOUND: 1790 @ 23.995
c NEW SOLUTION FOUND: 1789 @ 24.025
c NEW SOLUTION FOUND: 1788 @ 24.055
c NEW SOLUTION FOUND: 1787 @ 24.086
c NEW SOLUTION FOUND: 1786 @ 24.115
c NEW SOLUTION FOUND: 1785 @ 24.145
c NEW SOLUTION FOUND: 1784 @ 24.175
c NEW SOLUTION FOUND: 1783 @ 24.205
c NEW SOLUTION FOUND: 1782 @ 24.234
c NEW SOLUTION FOUND: 1781 @ 24.264
c NEW SOLUTION FOUND: 1780 @ 24.294
c NEW SOLUTION FOUND: 1779 @ 24.324
c NEW SOLUTION FOUND: 1778 @ 24.353
c NEW SOLUTION FOUND: 1777 @ 24.383
c NEW SOLUTION FOUND: 1776 @ 24.413
c NEW SOLUTION FOUND: 1775 @ 24.442
c NEW SOLUTION FOUND: 1774 @ 24.472
c NEW SOLUTION FOUND: 1773 @ 24.502
c NEW SOLUTION FOUND: 1772 @ 24.532
c NEW SOLUTION FOUND: 1771 @ 24.562
c NEW SOLUTION FOUND: 1770 @ 24.591
c NEW SOLUTION FOUND: 1769 @ 24.621
c NEW SOLUTION FOUND: 1768 @ 24.651
c NEW SOLUTION FOUND: 1767 @ 24.68
c NEW SOLUTION FOUND: 1766 @ 24.71
c NEW SOLUTION FOUND: 1765 @ 24.74
c NEW SOLUTION FOUND: 1764 @ 24.77
c NEW SOLUTION FOUND: 1763 @ 24.799
c NEW SOLUTION FOUND: 1762 @ 24.829
c NEW SOLUTION FOUND: 1761 @ 24.859
c NEW SOLUTION FOUND: 1760 @ 24.889
c NEW SOLUTION FOUND: 1759 @ 24.919
c NEW SOLUTION FOUND: 1758 @ 24.948
c NEW SOLUTION FOUND: 1757 @ 24.978
c NEW SOLUTION FOUND: 1756 @ 25.008
c NEW SOLUTION FOUND: 1755 @ 25.038
c NEW SOLUTION FOUND: 1754 @ 25.067
c NEW SOLUTION FOUND: 1753 @ 25.097
c NEW SOLUTION FOUND: 1752 @ 25.127
c NEW SOLUTION FOUND: 1751 @ 25.156
c NEW SOLUTION FOUND: 1750 @ 25.186
c NEW SOLUTION FOUND: 1749 @ 25.216
c NEW SOLUTION FOUND: 1748 @ 25.246
c NEW SOLUTION FOUND: 1747 @ 25.275
c NEW SOLUTION FOUND: 1746 @ 25.305
c NEW SOLUTION FOUND: 1745 @ 25.335
c NEW SOLUTION FOUND: 1744 @ 25.364
c NEW SOLUTION FOUND: 1743 @ 25.394
c NEW SOLUTION FOUND: 1742 @ 25.424
c NEW SOLUTION FOUND: 1741 @ 25.453
c NEW SOLUTION FOUND: 1740 @ 25.483
c NEW SOLUTION FOUND: 1739 @ 25.513
c NEW SOLUTION FOUND: 1738 @ 25.543
c NEW SOLUTION FOUND: 1737 @ 25.572
c NEW SOLUTION FOUND: 1736 @ 25.602
c NEW SOLUTION FOUND: 1735 @ 25.632
c NEW SOLUTION FOUND: 1734 @ 25.661
c NEW SOLUTION FOUND: 1733 @ 25.691
c NEW SOLUTION FOUND: 1732 @ 25.721
c NEW SOLUTION FOUND: 1731 @ 25.75
c NEW SOLUTION FOUND: 1730 @ 25.78
c NEW SOLUTION FOUND: 1729 @ 25.81
c NEW SOLUTION FOUND: 1728 @ 25.839
c NEW SOLUTION FOUND: 1727 @ 25.869
c NEW SOLUTION FOUND: 1726 @ 25.898
c NEW SOLUTION FOUND: 1725 @ 25.928
c NEW SOLUTION FOUND: 1724 @ 25.958
c NEW SOLUTION FOUND: 1723 @ 25.987
c NEW SOLUTION FOUND: 1722 @ 26.017
c NEW SOLUTION FOUND: 1721 @ 26.046
c NEW SOLUTION FOUND: 1720 @ 26.076
c NEW SOLUTION FOUND: 1719 @ 26.106
c NEW SOLUTION FOUND: 1718 @ 26.135
c NEW SOLUTION FOUND: 1717 @ 26.165
c NEW SOLUTION FOUND: 1716 @ 26.195
c NEW SOLUTION FOUND: 1715 @ 26.224
c NEW SOLUTION FOUND: 1714 @ 26.254
c NEW SOLUTION FOUND: 1713 @ 26.283
c NEW SOLUTION FOUND: 1712 @ 26.313
c NEW SOLUTION FOUND: 1711 @ 26.342
c NEW SOLUTION FOUND: 1710 @ 26.372
c NEW SOLUTION FOUND: 1709 @ 26.402
c NEW SOLUTION FOUND: 1708 @ 26.431
c NEW SOLUTION FOUND: 1707 @ 26.461
c NEW SOLUTION FOUND: 1706 @ 26.491
c NEW SOLUTION FOUND: 1705 @ 26.52
c NEW SOLUTION FOUND: 1704 @ 26.55
c NEW SOLUTION FOUND: 1703 @ 26.579
c NEW SOLUTION FOUND: 1702 @ 26.609
c NEW SOLUTION FOUND: 1701 @ 26.638
c NEW SOLUTION FOUND: 1700 @ 26.668
c NEW SOLUTION FOUND: 1699 @ 26.697
c NEW SOLUTION FOUND: 1698 @ 26.726
c NEW SOLUTION FOUND: 1697 @ 26.755
c NEW SOLUTION FOUND: 1696 @ 26.785
c NEW SOLUTION FOUND: 1695 @ 26.814
c NEW SOLUTION FOUND: 1694 @ 26.844
c NEW SOLUTION FOUND: 1693 @ 26.873
c NEW SOLUTION FOUND: 1692 @ 26.903
c NEW SOLUTION FOUND: 1691 @ 26.933
c NEW SOLUTION FOUND: 1690 @ 26.962
c NEW SOLUTION FOUND: 1689 @ 26.992
c NEW SOLUTION FOUND: 1688 @ 27.021
c NEW SOLUTION FOUND: 1687 @ 27.05
c NEW SOLUTION FOUND: 1686 @ 27.08
c NEW SOLUTION FOUND: 1685 @ 27.109
c NEW SOLUTION FOUND: 1684 @ 27.139
c NEW SOLUTION FOUND: 1683 @ 27.168
c NEW SOLUTION FOUND: 1682 @ 27.198
c NEW SOLUTION FOUND: 1681 @ 27.227
c NEW SOLUTION FOUND: 1680 @ 27.257
c NEW SOLUTION FOUND: 1679 @ 27.286
c NEW SOLUTION FOUND: 1678 @ 27.315
c NEW SOLUTION FOUND: 1677 @ 27.345
c NEW SOLUTION FOUND: 1676 @ 27.374
c NEW SOLUTION FOUND: 1675 @ 27.407
c NEW SOLUTION FOUND: 1674 @ 27.441
c NEW SOLUTION FOUND: 1673 @ 27.472
c NEW SOLUTION FOUND: 1672 @ 27.505
c NEW SOLUTION FOUND: 1671 @ 27.537
c NEW SOLUTION FOUND: 1670 @ 27.57
c NEW SOLUTION FOUND: 1669 @ 27.602
c NEW SOLUTION FOUND: 1668 @ 27.635
c NEW SOLUTION FOUND: 1667 @ 27.667
c NEW SOLUTION FOUND: 1666 @ 27.7
c NEW SOLUTION FOUND: 1665 @ 27.732
c NEW SOLUTION FOUND: 1664 @ 27.765
c NEW SOLUTION FOUND: 1663 @ 27.797
c NEW SOLUTION FOUND: 1662 @ 27.829
c NEW SOLUTION FOUND: 1661 @ 27.862
c NEW SOLUTION FOUND: 1660 @ 27.894
c NEW SOLUTION FOUND: 1659 @ 27.927
c NEW SOLUTION FOUND: 1658 @ 27.959
c NEW SOLUTION FOUND: 1657 @ 27.991
c NEW SOLUTION FOUND: 1656 @ 28.024
c NEW SOLUTION FOUND: 1655 @ 28.057
c NEW SOLUTION FOUND: 1654 @ 28.089
c NEW SOLUTION FOUND: 1653 @ 28.121
c NEW SOLUTION FOUND: 1652 @ 28.154
c NEW SOLUTION FOUND: 1651 @ 28.186
c NEW SOLUTION FOUND: 1650 @ 28.219
c NEW SOLUTION FOUND: 1649 @ 28.252
c NEW SOLUTION FOUND: 1648 @ 28.284
c NEW SOLUTION FOUND: 1647 @ 28.317
c NEW SOLUTION FOUND: 1646 @ 28.349
c NEW SOLUTION FOUND: 1645 @ 28.381
c NEW SOLUTION FOUND: 1644 @ 28.414
c NEW SOLUTION FOUND: 1643 @ 28.446
c NEW SOLUTION FOUND: 1642 @ 28.479
c NEW SOLUTION FOUND: 1641 @ 28.511
c NEW SOLUTION FOUND: 1640 @ 28.544
c NEW SOLUTION FOUND: 1639 @ 28.576
c NEW SOLUTION FOUND: 1638 @ 28.608
c NEW SOLUTION FOUND: 1637 @ 28.641
c NEW SOLUTION FOUND: 1636 @ 28.673
c NEW SOLUTION FOUND: 1635 @ 28.706
c NEW SOLUTION FOUND: 1634 @ 28.738
c NEW SOLUTION FOUND: 1633 @ 28.77
c NEW SOLUTION FOUND: 1632 @ 28.803
c NEW SOLUTION FOUND: 1631 @ 28.835
c NEW SOLUTION FOUND: 1630 @ 28.868
c NEW SOLUTION FOUND: 1629 @ 28.9
c NEW SOLUTION FOUND: 1628 @ 28.932
c NEW SOLUTION FOUND: 1627 @ 28.965
c NEW SOLUTION FOUND: 1626 @ 28.997
c NEW SOLUTION FOUND: 1625 @ 29.029
c NEW SOLUTION FOUND: 1624 @ 29.062
c NEW SOLUTION FOUND: 1623 @ 29.094
c NEW SOLUTION FOUND: 1622 @ 29.127
c NEW SOLUTION FOUND: 1621 @ 29.159
c NEW SOLUTION FOUND: 1620 @ 29.191
c NEW SOLUTION FOUND: 1619 @ 29.224
c NEW SOLUTION FOUND: 1618 @ 29.256
c NEW SOLUTION FOUND: 1617 @ 29.289
c NEW SOLUTION FOUND: 1616 @ 29.321
c NEW SOLUTION FOUND: 1615 @ 29.354
c NEW SOLUTION FOUND: 1614 @ 29.386
c NEW SOLUTION FOUND: 1613 @ 29.418
c NEW SOLUTION FOUND: 1612 @ 29.451
c NEW SOLUTION FOUND: 1611 @ 29.483
c NEW SOLUTION FOUND: 1610 @ 29.515
c NEW SOLUTION FOUND: 1609 @ 29.548
c NEW SOLUTION FOUND: 1608 @ 29.58
c NEW SOLUTION FOUND: 1607 @ 29.612
c NEW SOLUTION FOUND: 1606 @ 29.645
c NEW SOLUTION FOUND: 1605 @ 29.677
c NEW SOLUTION FOUND: 1604 @ 29.709
c NEW SOLUTION FOUND: 1603 @ 29.742
c NEW SOLUTION FOUND: 1602 @ 29.774
c NEW SOLUTION FOUND: 1601 @ 29.806
c NEW SOLUTION FOUND: 1600 @ 29.838
c NEW SOLUTION FOUND: 1599 @ 29.871
c NEW SOLUTION FOUND: 1598 @ 29.903
c NEW SOLUTION FOUND: 1597 @ 29.936
c NEW SOLUTION FOUND: 1596 @ 29.968
c NEW SOLUTION FOUND: 1595 @ 30
c NEW SOLUTION FOUND: 1594 @ 30.032
c NEW SOLUTION FOUND: 1593 @ 30.065
c NEW SOLUTION FOUND: 1592 @ 30.097
c NEW SOLUTION FOUND: 1591 @ 30.13
c NEW SOLUTION FOUND: 1590 @ 30.162
c NEW SOLUTION FOUND: 1589 @ 30.194
c NEW SOLUTION FOUND: 1588 @ 30.226
c NEW SOLUTION FOUND: 1587 @ 30.259
c NEW SOLUTION FOUND: 1586 @ 30.291
c NEW SOLUTION FOUND: 1585 @ 30.323
c NEW SOLUTION FOUND: 1584 @ 30.356
c NEW SOLUTION FOUND: 1583 @ 30.388
c NEW SOLUTION FOUND: 1582 @ 30.421
c NEW SOLUTION FOUND: 1581 @ 30.453
c NEW SOLUTION FOUND: 1580 @ 30.486
c NEW SOLUTION FOUND: 1579 @ 30.518
c NEW SOLUTION FOUND: 1578 @ 30.55
c NEW SOLUTION FOUND: 1577 @ 30.583
c NEW SOLUTION FOUND: 1576 @ 30.615
c NEW SOLUTION FOUND: 1575 @ 30.647
c NEW SOLUTION FOUND: 1574 @ 30.68
c NEW SOLUTION FOUND: 1573 @ 30.712
c NEW SOLUTION FOUND: 1572 @ 30.744
c NEW SOLUTION FOUND: 1571 @ 30.777
c NEW SOLUTION FOUND: 1570 @ 30.809
c NEW SOLUTION FOUND: 1569 @ 30.841
c NEW SOLUTION FOUND: 1568 @ 30.873
c NEW SOLUTION FOUND: 1567 @ 30.906
c NEW SOLUTION FOUND: 1566 @ 30.938
c NEW SOLUTION FOUND: 1565 @ 30.97
c NEW SOLUTION FOUND: 1564 @ 31.003
c NEW SOLUTION FOUND: 1563 @ 31.035
c NEW SOLUTION FOUND: 1562 @ 31.067
c NEW SOLUTION FOUND: 1561 @ 31.099
c NEW SOLUTION FOUND: 1560 @ 31.132
c NEW SOLUTION FOUND: 1559 @ 31.164
c NEW SOLUTION FOUND: 1558 @ 31.196
c NEW SOLUTION FOUND: 1557 @ 31.228
c NEW SOLUTION FOUND: 1556 @ 31.26
c NEW SOLUTION FOUND: 1555 @ 31.292
c NEW SOLUTION FOUND: 1554 @ 31.324
c NEW SOLUTION FOUND: 1553 @ 31.356
c NEW SOLUTION FOUND: 1552 @ 31.388
c NEW SOLUTION FOUND: 1551 @ 31.421
c NEW SOLUTION FOUND: 1550 @ 31.453
c NEW SOLUTION FOUND: 1549 @ 31.485
c NEW SOLUTION FOUND: 1548 @ 31.517
c NEW SOLUTION FOUND: 1547 @ 31.549
c NEW SOLUTION FOUND: 1546 @ 31.581
c NEW SOLUTION FOUND: 1545 @ 31.613
c NEW SOLUTION FOUND: 1544 @ 31.645
c NEW SOLUTION FOUND: 1543 @ 31.677
c NEW SOLUTION FOUND: 1542 @ 31.709
c NEW SOLUTION FOUND: 1541 @ 31.741
c NEW SOLUTION FOUND: 1540 @ 31.774
c NEW SOLUTION FOUND: 1539 @ 31.805
c NEW SOLUTION FOUND: 1538 @ 31.837
c NEW SOLUTION FOUND: 1537 @ 31.869
c NEW SOLUTION FOUND: 1536 @ 31.901
c NEW SOLUTION FOUND: 1535 @ 31.933
c NEW SOLUTION FOUND: 1534 @ 31.965
c NEW SOLUTION FOUND: 1533 @ 31.997
c NEW SOLUTION FOUND: 1532 @ 32.029
c NEW SOLUTION FOUND: 1531 @ 32.061
c NEW SOLUTION FOUND: 1530 @ 32.094
c NEW SOLUTION FOUND: 1529 @ 32.126
c NEW SOLUTION FOUND: 1528 @ 32.158
c NEW SOLUTION FOUND: 1527 @ 32.19
c NEW SOLUTION FOUND: 1526 @ 32.223
c NEW SOLUTION FOUND: 1525 @ 32.255
c NEW SOLUTION FOUND: 1524 @ 32.288
c NEW SOLUTION FOUND: 1523 @ 32.32
c NEW SOLUTION FOUND: 1522 @ 32.353
c NEW SOLUTION FOUND: 1521 @ 32.385
c NEW SOLUTION FOUND: 1520 @ 32.418
c NEW SOLUTION FOUND: 1519 @ 32.45
c NEW SOLUTION FOUND: 1518 @ 32.482
c NEW SOLUTION FOUND: 1517 @ 32.515
c NEW SOLUTION FOUND: 1516 @ 32.547
c NEW SOLUTION FOUND: 1515 @ 32.579
c NEW SOLUTION FOUND: 1514 @ 32.612
c NEW SOLUTION FOUND: 1513 @ 32.644
c NEW SOLUTION FOUND: 1512 @ 32.676
c NEW SOLUTION FOUND: 1511 @ 32.709
c NEW SOLUTION FOUND: 1510 @ 32.741
c NEW SOLUTION FOUND: 1509 @ 32.773
c NEW SOLUTION FOUND: 1508 @ 32.805
c NEW SOLUTION FOUND: 1507 @ 32.838
c NEW SOLUTION FOUND: 1506 @ 32.87
c NEW SOLUTION FOUND: 1505 @ 32.902
c NEW SOLUTION FOUND: 1504 @ 32.934
c NEW SOLUTION FOUND: 1503 @ 32.967
c NEW SOLUTION FOUND: 1502 @ 32.999
c NEW SOLUTION FOUND: 1501 @ 33.031
c NEW SOLUTION FOUND: 1500 @ 33.064
c NEW SOLUTION FOUND: 1499 @ 33.096
c NEW SOLUTION FOUND: 1498 @ 33.128
c NEW SOLUTION FOUND: 1497 @ 33.161
c NEW SOLUTION FOUND: 1496 @ 33.193
c NEW SOLUTION FOUND: 1495 @ 33.225
c NEW SOLUTION FOUND: 1494 @ 33.257
c NEW SOLUTION FOUND: 1493 @ 33.29
c NEW SOLUTION FOUND: 1492 @ 33.323
c NEW SOLUTION FOUND: 1491 @ 33.355
c NEW SOLUTION FOUND: 1490 @ 33.387
c NEW SOLUTION FOUND: 1489 @ 33.419
c NEW SOLUTION FOUND: 1488 @ 33.451
c NEW SOLUTION FOUND: 1487 @ 33.483
c NEW SOLUTION FOUND: 1486 @ 33.516
c NEW SOLUTION FOUND: 1485 @ 33.548
c NEW SOLUTION FOUND: 1484 @ 33.58
c NEW SOLUTION FOUND: 1483 @ 33.613
c NEW SOLUTION FOUND: 1482 @ 33.645
c NEW SOLUTION FOUND: 1481 @ 33.677
c NEW SOLUTION FOUND: 1480 @ 33.709
c NEW SOLUTION FOUND: 1479 @ 33.741
c NEW SOLUTION FOUND: 1478 @ 33.774
c NEW SOLUTION FOUND: 1477 @ 33.806
c NEW SOLUTION FOUND: 1476 @ 33.838
c NEW SOLUTION FOUND: 1475 @ 33.87
c NEW SOLUTION FOUND: 1474 @ 33.902
c NEW SOLUTION FOUND: 1473 @ 33.934
c NEW SOLUTION FOUND: 1472 @ 33.966
c NEW SOLUTION FOUND: 1471 @ 33.998
c NEW SOLUTION FOUND: 1470 @ 34.03
c NEW SOLUTION FOUND: 1469 @ 34.063
c NEW SOLUTION FOUND: 1468 @ 34.095
c NEW SOLUTION FOUND: 1467 @ 34.127
c NEW SOLUTION FOUND: 1466 @ 34.159
c NEW SOLUTION FOUND: 1465 @ 34.191
c NEW SOLUTION FOUND: 1464 @ 34.223
c NEW SOLUTION FOUND: 1463 @ 34.255
c NEW SOLUTION FOUND: 1462 @ 34.288
c NEW SOLUTION FOUND: 1461 @ 34.32
c NEW SOLUTION FOUND: 1460 @ 34.352
c NEW SOLUTION FOUND: 1459 @ 34.384
c NEW SOLUTION FOUND: 1458 @ 34.416
c NEW SOLUTION FOUND: 1457 @ 34.448
c NEW SOLUTION FOUND: 1456 @ 34.48
c NEW SOLUTION FOUND: 1455 @ 34.512
c NEW SOLUTION FOUND: 1454 @ 34.544
c NEW SOLUTION FOUND: 1453 @ 34.576
c NEW SOLUTION FOUND: 1452 @ 34.609
c NEW SOLUTION FOUND: 1451 @ 34.641
c NEW SOLUTION FOUND: 1450 @ 34.673
c NEW SOLUTION FOUND: 1449 @ 34.705
c NEW SOLUTION FOUND: 1448 @ 34.737
c NEW SOLUTION FOUND: 1447 @ 34.769
c NEW SOLUTION FOUND: 1446 @ 34.801
c NEW SOLUTION FOUND: 1445 @ 34.833
c NEW SOLUTION FOUND: 1444 @ 34.865
c NEW SOLUTION FOUND: 1443 @ 34.897
c NEW SOLUTION FOUND: 1442 @ 34.929
c NEW SOLUTION FOUND: 1441 @ 34.961
c NEW SOLUTION FOUND: 1440 @ 34.993
c NEW SOLUTION FOUND: 1439 @ 35.025
c NEW SOLUTION FOUND: 1438 @ 35.057
c NEW SOLUTION FOUND: 1437 @ 35.089
c NEW SOLUTION FOUND: 1436 @ 35.122
c NEW SOLUTION FOUND: 1435 @ 35.154
c NEW SOLUTION FOUND: 1434 @ 35.186
c NEW SOLUTION FOUND: 1433 @ 35.218
c NEW SOLUTION FOUND: 1432 @ 35.25
c NEW SOLUTION FOUND: 1431 @ 35.282
c NEW SOLUTION FOUND: 1430 @ 35.314
c NEW SOLUTION FOUND: 1429 @ 35.346
c NEW SOLUTION FOUND: 1428 @ 35.378
c NEW SOLUTION FOUND: 1427 @ 35.41
c NEW SOLUTION FOUND: 1426 @ 35.443
c NEW SOLUTION FOUND: 1425 @ 35.474
c NEW SOLUTION FOUND: 1424 @ 35.506
c NEW SOLUTION FOUND: 1423 @ 35.538
c NEW SOLUTION FOUND: 1422 @ 35.57
c NEW SOLUTION FOUND: 1421 @ 35.602
c NEW SOLUTION FOUND: 1420 @ 35.634
c NEW SOLUTION FOUND: 1419 @ 35.666
c NEW SOLUTION FOUND: 1418 @ 35.698
c NEW SOLUTION FOUND: 1417 @ 35.73
c NEW SOLUTION FOUND: 1416 @ 35.762
c NEW SOLUTION FOUND: 1415 @ 35.793
c NEW SOLUTION FOUND: 1414 @ 35.825
c NEW SOLUTION FOUND: 1413 @ 35.857
c NEW SOLUTION FOUND: 1412 @ 35.889
c NEW SOLUTION FOUND: 1411 @ 35.921
c NEW SOLUTION FOUND: 1410 @ 35.952
c NEW SOLUTION FOUND: 1409 @ 35.984
c NEW SOLUTION FOUND: 1408 @ 36.016
c NEW SOLUTION FOUND: 1407 @ 36.047
c NEW SOLUTION FOUND: 1406 @ 36.079
c NEW SOLUTION FOUND: 1405 @ 36.11
c NEW SOLUTION FOUND: 1404 @ 36.141
c NEW SOLUTION FOUND: 1403 @ 36.172
c NEW SOLUTION FOUND: 1402 @ 36.204
c NEW SOLUTION FOUND: 1401 @ 36.235
c NEW SOLUTION FOUND: 1400 @ 36.266
c NEW SOLUTION FOUND: 1399 @ 36.297
c NEW SOLUTION FOUND: 1398 @ 36.329
c NEW SOLUTION FOUND: 1397 @ 36.36
c NEW SOLUTION FOUND: 1396 @ 36.391
c NEW SOLUTION FOUND: 1395 @ 36.422
c NEW SOLUTION FOUND: 1394 @ 36.454
c NEW SOLUTION FOUND: 1393 @ 36.486
c NEW SOLUTION FOUND: 1392 @ 36.517
c NEW SOLUTION FOUND: 1391 @ 36.548
c NEW SOLUTION FOUND: 1390 @ 36.58
c NEW SOLUTION FOUND: 1389 @ 36.611
c NEW SOLUTION FOUND: 1388 @ 36.642
c NEW SOLUTION FOUND: 1387 @ 36.674
c NEW SOLUTION FOUND: 1386 @ 36.705
c NEW SOLUTION FOUND: 1385 @ 36.736
c NEW SOLUTION FOUND: 1384 @ 36.767
c NEW SOLUTION FOUND: 1383 @ 36.799
c NEW SOLUTION FOUND: 1382 @ 36.83
c NEW SOLUTION FOUND: 1381 @ 36.862
c NEW SOLUTION FOUND: 1380 @ 36.893
c NEW SOLUTION FOUND: 1379 @ 36.924
c NEW SOLUTION FOUND: 1378 @ 36.955
c NEW SOLUTION FOUND: 1377 @ 36.986
c NEW SOLUTION FOUND: 1376 @ 37.018
c NEW SOLUTION FOUND: 1375 @ 37.049
c NEW SOLUTION FOUND: 1374 @ 37.08
c NEW SOLUTION FOUND: 1373 @ 37.111
c NEW SOLUTION FOUND: 1372 @ 37.142
c NEW SOLUTION FOUND: 1371 @ 37.173
c NEW SOLUTION FOUND: 1370 @ 37.205
c NEW SOLUTION FOUND: 1369 @ 37.236
c NEW SOLUTION FOUND: 1368 @ 37.267
c NEW SOLUTION FOUND: 1367 @ 37.298
c NEW SOLUTION FOUND: 1366 @ 37.33
c NEW SOLUTION FOUND: 1365 @ 37.361
c NEW SOLUTION FOUND: 1364 @ 37.392
c NEW SOLUTION FOUND: 1363 @ 37.423
c NEW SOLUTION FOUND: 1362 @ 37.455
c NEW SOLUTION FOUND: 1361 @ 37.486
c NEW SOLUTION FOUND: 1360 @ 37.517
c NEW SOLUTION FOUND: 1359 @ 37.548
c NEW SOLUTION FOUND: 1358 @ 37.58
c NEW SOLUTION FOUND: 1357 @ 37.611
c NEW SOLUTION FOUND: 1356 @ 37.642
c NEW SOLUTION FOUND: 1355 @ 37.673
c NEW SOLUTION FOUND: 1354 @ 37.704
c NEW SOLUTION FOUND: 1353 @ 37.735
c NEW SOLUTION FOUND: 1352 @ 37.767
c NEW SOLUTION FOUND: 1351 @ 37.798
c NEW SOLUTION FOUND: 1350 @ 37.829
c NEW SOLUTION FOUND: 1349 @ 37.86
c NEW SOLUTION FOUND: 1348 @ 37.891
c NEW SOLUTION FOUND: 1347 @ 37.922
c NEW SOLUTION FOUND: 1346 @ 37.953
c NEW SOLUTION FOUND: 1345 @ 37.984
c NEW SOLUTION FOUND: 1344 @ 38.016
c NEW SOLUTION FOUND: 1343 @ 38.047
c NEW SOLUTION FOUND: 1342 @ 38.078
c NEW SOLUTION FOUND: 1341 @ 38.109
c NEW SOLUTION FOUND: 1340 @ 38.14
c NEW SOLUTION FOUND: 1339 @ 38.171
c NEW SOLUTION FOUND: 1338 @ 38.202
c NEW SOLUTION FOUND: 1337 @ 38.233
c NEW SOLUTION FOUND: 1336 @ 38.265
c NEW SOLUTION FOUND: 1335 @ 38.295
c NEW SOLUTION FOUND: 1334 @ 38.327
c NEW SOLUTION FOUND: 1333 @ 38.358
c NEW SOLUTION FOUND: 1332 @ 38.389
c NEW SOLUTION FOUND: 1331 @ 38.42
c NEW SOLUTION FOUND: 1330 @ 38.451
c NEW SOLUTION FOUND: 1329 @ 38.482
c NEW SOLUTION FOUND: 1328 @ 38.513
c NEW SOLUTION FOUND: 1327 @ 38.544
c NEW SOLUTION FOUND: 1326 @ 38.575
c NEW SOLUTION FOUND: 1325 @ 38.606
c NEW SOLUTION FOUND: 1324 @ 38.637
c NEW SOLUTION FOUND: 1323 @ 38.668
c NEW SOLUTION FOUND: 1322 @ 38.699
c NEW SOLUTION FOUND: 1321 @ 38.729
c NEW SOLUTION FOUND: 1320 @ 38.76
c NEW SOLUTION FOUND: 1319 @ 38.791
c NEW SOLUTION FOUND: 1318 @ 38.822
c NEW SOLUTION FOUND: 1317 @ 38.853
c NEW SOLUTION FOUND: 1316 @ 38.884
c NEW SOLUTION FOUND: 1315 @ 38.915
c NEW SOLUTION FOUND: 1314 @ 38.946
c NEW SOLUTION FOUND: 1313 @ 38.977
c NEW SOLUTION FOUND: 1312 @ 39.008
c NEW SOLUTION FOUND: 1311 @ 39.039
c NEW SOLUTION FOUND: 1310 @ 39.069
c NEW SOLUTION FOUND: 1309 @ 39.1
c NEW SOLUTION FOUND: 1308 @ 39.131
c NEW SOLUTION FOUND: 1307 @ 39.162
c NEW SOLUTION FOUND: 1306 @ 39.193
c NEW SOLUTION FOUND: 1305 @ 39.224
c NEW SOLUTION FOUND: 1304 @ 39.255
c NEW SOLUTION FOUND: 1303 @ 39.286
c NEW SOLUTION FOUND: 1302 @ 39.317
c NEW SOLUTION FOUND: 1301 @ 39.348
c NEW SOLUTION FOUND: 1300 @ 39.379
c NEW SOLUTION FOUND: 1299 @ 39.409
c NEW SOLUTION FOUND: 1298 @ 39.44
c NEW SOLUTION FOUND: 1297 @ 39.471
c NEW SOLUTION FOUND: 1296 @ 39.502
c NEW SOLUTION FOUND: 1295 @ 39.532
c NEW SOLUTION FOUND: 1294 @ 39.563
c NEW SOLUTION FOUND: 1293 @ 39.594
c NEW SOLUTION FOUND: 1292 @ 39.625
c NEW SOLUTION FOUND: 1291 @ 39.655
c NEW SOLUTION FOUND: 1290 @ 39.686
c NEW SOLUTION FOUND: 1289 @ 39.717
c NEW SOLUTION FOUND: 1288 @ 39.747
c NEW SOLUTION FOUND: 1287 @ 39.778
c NEW SOLUTION FOUND: 1286 @ 39.809
c NEW SOLUTION FOUND: 1285 @ 39.839
c NEW SOLUTION FOUND: 1284 @ 39.87
c NEW SOLUTION FOUND: 1283 @ 39.901
c NEW SOLUTION FOUND: 1282 @ 39.932
c NEW SOLUTION FOUND: 1281 @ 39.962
c NEW SOLUTION FOUND: 1280 @ 39.993
c NEW SOLUTION FOUND: 1279 @ 40.024
c NEW SOLUTION FOUND: 1278 @ 40.054
c NEW SOLUTION FOUND: 1277 @ 40.085
c NEW SOLUTION FOUND: 1276 @ 40.115
c NEW SOLUTION FOUND: 1275 @ 40.146
c NEW SOLUTION FOUND: 1274 @ 40.177
c NEW SOLUTION FOUND: 1273 @ 40.207
c NEW SOLUTION FOUND: 1272 @ 40.238
c NEW SOLUTION FOUND: 1271 @ 40.269
c NEW SOLUTION FOUND: 1270 @ 40.299
c NEW SOLUTION FOUND: 1269 @ 40.33
c NEW SOLUTION FOUND: 1268 @ 40.361
c NEW SOLUTION FOUND: 1267 @ 40.39
c NEW SOLUTION FOUND: 1266 @ 40.421
c NEW SOLUTION FOUND: 1265 @ 40.451
c NEW SOLUTION FOUND: 1264 @ 40.482
c NEW SOLUTION FOUND: 1263 @ 40.513
c NEW SOLUTION FOUND: 1262 @ 40.544
c NEW SOLUTION FOUND: 1261 @ 40.574
c NEW SOLUTION FOUND: 1260 @ 40.605
c NEW SOLUTION FOUND: 1259 @ 40.635
c NEW SOLUTION FOUND: 1258 @ 40.666
c NEW SOLUTION FOUND: 1257 @ 40.696
c NEW SOLUTION FOUND: 1256 @ 40.727
c NEW SOLUTION FOUND: 1255 @ 40.757
c NEW SOLUTION FOUND: 1254 @ 40.788
c NEW SOLUTION FOUND: 1253 @ 40.818
c NEW SOLUTION FOUND: 1252 @ 40.849
c NEW SOLUTION FOUND: 1251 @ 40.879
c NEW SOLUTION FOUND: 1250 @ 40.91
c NEW SOLUTION FOUND: 1249 @ 40.94
c NEW SOLUTION FOUND: 1248 @ 40.971
c NEW SOLUTION FOUND: 1247 @ 41.001
c NEW SOLUTION FOUND: 1246 @ 41.032
c NEW SOLUTION FOUND: 1245 @ 41.062
c NEW SOLUTION FOUND: 1244 @ 41.093
c NEW SOLUTION FOUND: 1243 @ 41.123
c NEW SOLUTION FOUND: 1242 @ 41.154
c NEW SOLUTION FOUND: 1241 @ 41.184
c NEW SOLUTION FOUND: 1240 @ 41.215
c NEW SOLUTION FOUND: 1239 @ 41.245
c NEW SOLUTION FOUND: 1238 @ 41.276
c NEW SOLUTION FOUND: 1237 @ 41.306
c NEW SOLUTION FOUND: 1236 @ 41.337
c NEW SOLUTION FOUND: 1235 @ 41.367
c NEW SOLUTION FOUND: 1234 @ 41.398
c NEW SOLUTION FOUND: 1233 @ 41.428
c NEW SOLUTION FOUND: 1232 @ 41.459
c NEW SOLUTION FOUND: 1231 @ 41.489
c NEW SOLUTION FOUND: 1230 @ 41.519
c NEW SOLUTION FOUND: 1229 @ 41.55
c NEW SOLUTION FOUND: 1228 @ 41.581
c NEW SOLUTION FOUND: 1227 @ 41.611
c NEW SOLUTION FOUND: 1226 @ 41.642
c NEW SOLUTION FOUND: 1225 @ 41.672
c NEW SOLUTION FOUND: 1224 @ 41.702
c NEW SOLUTION FOUND: 1223 @ 41.733
c NEW SOLUTION FOUND: 1222 @ 41.763
c NEW SOLUTION FOUND: 1221 @ 41.793
c NEW SOLUTION FOUND: 1220 @ 41.824
c NEW SOLUTION FOUND: 1219 @ 41.854
c NEW SOLUTION FOUND: 1218 @ 41.884
c NEW SOLUTION FOUND: 1217 @ 41.915
c NEW SOLUTION FOUND: 1216 @ 41.945
c NEW SOLUTION FOUND: 1215 @ 41.976
c NEW SOLUTION FOUND: 1214 @ 42.006
c NEW SOLUTION FOUND: 1213 @ 42.036
c NEW SOLUTION FOUND: 1212 @ 42.067
c NEW SOLUTION FOUND: 1211 @ 42.097
c NEW SOLUTION FOUND: 1210 @ 42.128
c NEW SOLUTION FOUND: 1209 @ 42.158
c NEW SOLUTION FOUND: 1208 @ 42.189
c NEW SOLUTION FOUND: 1207 @ 42.219
c NEW SOLUTION FOUND: 1206 @ 42.249
c NEW SOLUTION FOUND: 1205 @ 42.28
c NEW SOLUTION FOUND: 1204 @ 42.31
c NEW SOLUTION FOUND: 1203 @ 42.34
c NEW SOLUTION FOUND: 1202 @ 42.371
c NEW SOLUTION FOUND: 1201 @ 42.401
c NEW SOLUTION FOUND: 1200 @ 42.432
c NEW SOLUTION FOUND: 1199 @ 42.462
c NEW SOLUTION FOUND: 1198 @ 42.492
c NEW SOLUTION FOUND: 1197 @ 42.523
c NEW SOLUTION FOUND: 1196 @ 42.553
c NEW SOLUTION FOUND: 1195 @ 42.583
c NEW SOLUTION FOUND: 1194 @ 42.614
c NEW SOLUTION FOUND: 1193 @ 42.644
c NEW SOLUTION FOUND: 1192 @ 42.674
c NEW SOLUTION FOUND: 1191 @ 42.705
c NEW SOLUTION FOUND: 1190 @ 42.735
c NEW SOLUTION FOUND: 1189 @ 42.765
c NEW SOLUTION FOUND: 1188 @ 42.796
c NEW SOLUTION FOUND: 1187 @ 42.826
c NEW SOLUTION FOUND: 1186 @ 42.856
c NEW SOLUTION FOUND: 1185 @ 42.886
c NEW SOLUTION FOUND: 1184 @ 42.917
c NEW SOLUTION FOUND: 1183 @ 42.947
c NEW SOLUTION FOUND: 1182 @ 42.977
c NEW SOLUTION FOUND: 1181 @ 43.008
c NEW SOLUTION FOUND: 1180 @ 43.038
c NEW SOLUTION FOUND: 1179 @ 43.068
c NEW SOLUTION FOUND: 1178 @ 43.098
c NEW SOLUTION FOUND: 1177 @ 43.129
c NEW SOLUTION FOUND: 1176 @ 43.159
c NEW SOLUTION FOUND: 1175 @ 43.189
c NEW SOLUTION FOUND: 1174 @ 43.22
c NEW SOLUTION FOUND: 1173 @ 43.25
c NEW SOLUTION FOUND: 1172 @ 43.28
c NEW SOLUTION FOUND: 1171 @ 43.31
c NEW SOLUTION FOUND: 1170 @ 43.341
c NEW SOLUTION FOUND: 1169 @ 43.371
c NEW SOLUTION FOUND: 1168 @ 43.401
c NEW SOLUTION FOUND: 1167 @ 43.432
c NEW SOLUTION FOUND: 1166 @ 43.462
c NEW SOLUTION FOUND: 1165 @ 43.492
c NEW SOLUTION FOUND: 1164 @ 43.523
c NEW SOLUTION FOUND: 1163 @ 43.553
c NEW SOLUTION FOUND: 1162 @ 43.583
c NEW SOLUTION FOUND: 1161 @ 43.613
c NEW SOLUTION FOUND: 1160 @ 43.644
c NEW SOLUTION FOUND: 1159 @ 43.674
c NEW SOLUTION FOUND: 1158 @ 43.704
c NEW SOLUTION FOUND: 1157 @ 43.734
c NEW SOLUTION FOUND: 1156 @ 43.765
c NEW SOLUTION FOUND: 1155 @ 43.795
c NEW SOLUTION FOUND: 1154 @ 43.825
c NEW SOLUTION FOUND: 1153 @ 43.855
c NEW SOLUTION FOUND: 1152 @ 43.886
c NEW SOLUTION FOUND: 1151 @ 43.916
c NEW SOLUTION FOUND: 1150 @ 43.946
c NEW SOLUTION FOUND: 1149 @ 43.976
c NEW SOLUTION FOUND: 1148 @ 44.007
c NEW SOLUTION FOUND: 1147 @ 44.037
c NEW SOLUTION FOUND: 1146 @ 44.067
c NEW SOLUTION FOUND: 1145 @ 44.097
c NEW SOLUTION FOUND: 1144 @ 44.127
c NEW SOLUTION FOUND: 1143 @ 44.158
c NEW SOLUTION FOUND: 1142 @ 44.188
c NEW SOLUTION FOUND: 1141 @ 44.218
c NEW SOLUTION FOUND: 1140 @ 44.248
c NEW SOLUTION FOUND: 1139 @ 44.278
c NEW SOLUTION FOUND: 1138 @ 44.308
c NEW SOLUTION FOUND: 1137 @ 44.339
c NEW SOLUTION FOUND: 1136 @ 44.369
c NEW SOLUTION FOUND: 1135 @ 44.399
c NEW SOLUTION FOUND: 1134 @ 44.429
c NEW SOLUTION FOUND: 1133 @ 44.46
c NEW SOLUTION FOUND: 1132 @ 44.49
c NEW SOLUTION FOUND: 1131 @ 44.52
c NEW SOLUTION FOUND: 1130 @ 44.551
c NEW SOLUTION FOUND: 1129 @ 44.581
c NEW SOLUTION FOUND: 1128 @ 44.611
c NEW SOLUTION FOUND: 1127 @ 44.641
c NEW SOLUTION FOUND: 1126 @ 44.672
c NEW SOLUTION FOUND: 1125 @ 44.702
c NEW SOLUTION FOUND: 1124 @ 44.732
c NEW SOLUTION FOUND: 1123 @ 44.762
c NEW SOLUTION FOUND: 1122 @ 44.792
c NEW SOLUTION FOUND: 1121 @ 44.823
c NEW SOLUTION FOUND: 1120 @ 44.853
c NEW SOLUTION FOUND: 1119 @ 44.883
c NEW SOLUTION FOUND: 1118 @ 44.913
c NEW SOLUTION FOUND: 1117 @ 44.943
c NEW SOLUTION FOUND: 1116 @ 44.973
c NEW SOLUTION FOUND: 1115 @ 45.004
c NEW SOLUTION FOUND: 1114 @ 45.034
c NEW SOLUTION FOUND: 1113 @ 45.064
c NEW SOLUTION FOUND: 1112 @ 45.094
c NEW SOLUTION FOUND: 1111 @ 45.124
c NEW SOLUTION FOUND: 1110 @ 45.154
c NEW SOLUTION FOUND: 1109 @ 45.184
c NEW SOLUTION FOUND: 1108 @ 45.214
c NEW SOLUTION FOUND: 1107 @ 45.245
c NEW SOLUTION FOUND: 1106 @ 45.275
c NEW SOLUTION FOUND: 1105 @ 45.305
c NEW SOLUTION FOUND: 1104 @ 45.335
c NEW SOLUTION FOUND: 1103 @ 45.365
c NEW SOLUTION FOUND: 1102 @ 45.395
c NEW SOLUTION FOUND: 1101 @ 45.426
c NEW SOLUTION FOUND: 1100 @ 45.456
c NEW SOLUTION FOUND: 1099 @ 45.486
c NEW SOLUTION FOUND: 1098 @ 45.516
c NEW SOLUTION FOUND: 1097 @ 45.546
c NEW SOLUTION FOUND: 1096 @ 45.576
c NEW SOLUTION FOUND: 1095 @ 45.606
c NEW SOLUTION FOUND: 1094 @ 45.636
c NEW SOLUTION FOUND: 1093 @ 45.666
c NEW SOLUTION FOUND: 1092 @ 45.696
c NEW SOLUTION FOUND: 1091 @ 45.726
c NEW SOLUTION FOUND: 1090 @ 45.756
c NEW SOLUTION FOUND: 1089 @ 45.786
c NEW SOLUTION FOUND: 1088 @ 45.816
c NEW SOLUTION FOUND: 1087 @ 45.846
c NEW SOLUTION FOUND: 1086 @ 45.876
c NEW SOLUTION FOUND: 1085 @ 45.906
c NEW SOLUTION FOUND: 1084 @ 45.936
c NEW SOLUTION FOUND: 1083 @ 45.966
c NEW SOLUTION FOUND: 1082 @ 45.996
c NEW SOLUTION FOUND: 1081 @ 46.026
c NEW SOLUTION FOUND: 1080 @ 46.056
c NEW SOLUTION FOUND: 1079 @ 46.086
c NEW SOLUTION FOUND: 1078 @ 46.116
c NEW SOLUTION FOUND: 1077 @ 46.146
c NEW SOLUTION FOUND: 1076 @ 46.176
c NEW SOLUTION FOUND: 1075 @ 46.206
c NEW SOLUTION FOUND: 1074 @ 46.236
c NEW SOLUTION FOUND: 1073 @ 46.266
c NEW SOLUTION FOUND: 1072 @ 46.296
c NEW SOLUTION FOUND: 1071 @ 46.326
c NEW SOLUTION FOUND: 1070 @ 46.355
c NEW SOLUTION FOUND: 1069 @ 46.385
c NEW SOLUTION FOUND: 1068 @ 46.415
c NEW SOLUTION FOUND: 1067 @ 46.445
c NEW SOLUTION FOUND: 1066 @ 46.475
c NEW SOLUTION FOUND: 1065 @ 46.506
c NEW SOLUTION FOUND: 1064 @ 46.535
c NEW SOLUTION FOUND: 1063 @ 46.565
c NEW SOLUTION FOUND: 1062 @ 46.595
c NEW SOLUTION FOUND: 1061 @ 46.625
c NEW SOLUTION FOUND: 1060 @ 46.655
c NEW SOLUTION FOUND: 1059 @ 46.685
c NEW SOLUTION FOUND: 1058 @ 46.715
c NEW SOLUTION FOUND: 1057 @ 46.745
c NEW SOLUTION FOUND: 1056 @ 46.775
c NEW SOLUTION FOUND: 1055 @ 46.805
c NEW SOLUTION FOUND: 1054 @ 46.835
c NEW SOLUTION FOUND: 1053 @ 46.865
c NEW SOLUTION FOUND: 1052 @ 46.895
c NEW SOLUTION FOUND: 1051 @ 46.925
c NEW SOLUTION FOUND: 1050 @ 46.954
c NEW SOLUTION FOUND: 1049 @ 46.984
c NEW SOLUTION FOUND: 1048 @ 47.014
c NEW SOLUTION FOUND: 1047 @ 47.044
c NEW SOLUTION FOUND: 1046 @ 47.074
c NEW SOLUTION FOUND: 1045 @ 47.104
c NEW SOLUTION FOUND: 1044 @ 47.134
c NEW SOLUTION FOUND: 1043 @ 47.164
c NEW SOLUTION FOUND: 1042 @ 47.192
c NEW SOLUTION FOUND: 1041 @ 47.222
c NEW SOLUTION FOUND: 1040 @ 47.252
c NEW SOLUTION FOUND: 1039 @ 47.282
c NEW SOLUTION FOUND: 1038 @ 47.312
c NEW SOLUTION FOUND: 1037 @ 47.342
c NEW SOLUTION FOUND: 1036 @ 47.371
c NEW SOLUTION FOUND: 1035 @ 47.401
c NEW SOLUTION FOUND: 1034 @ 47.431
c NEW SOLUTION FOUND: 1033 @ 47.461
c NEW SOLUTION FOUND: 1032 @ 47.491
c NEW SOLUTION FOUND: 1031 @ 47.521
c NEW SOLUTION FOUND: 1030 @ 47.55
c NEW SOLUTION FOUND: 1029 @ 47.58
c NEW SOLUTION FOUND: 1028 @ 47.61
c NEW SOLUTION FOUND: 1027 @ 47.64
c NEW SOLUTION FOUND: 1026 @ 47.67
c NEW SOLUTION FOUND: 1025 @ 47.7
c NEW SOLUTION FOUND: 1024 @ 47.729
c NEW SOLUTION FOUND: 1023 @ 47.759
c NEW SOLUTION FOUND: 1022 @ 47.789
c NEW SOLUTION FOUND: 1021 @ 47.819
c NEW SOLUTION FOUND: 1020 @ 47.848
c NEW SOLUTION FOUND: 1019 @ 47.878
c NEW SOLUTION FOUND: 1018 @ 47.908
c NEW SOLUTION FOUND: 1017 @ 47.937
c NEW SOLUTION FOUND: 1016 @ 47.967
c NEW SOLUTION FOUND: 1015 @ 47.997
c NEW SOLUTION FOUND: 1014 @ 48.027
c NEW SOLUTION FOUND: 1013 @ 48.057
c NEW SOLUTION FOUND: 1012 @ 48.086
c NEW SOLUTION FOUND: 1011 @ 48.116
c NEW SOLUTION FOUND: 1010 @ 48.145
c NEW SOLUTION FOUND: 1009 @ 48.175
c NEW SOLUTION FOUND: 1008 @ 48.205
c NEW SOLUTION FOUND: 1007 @ 48.234
c NEW SOLUTION FOUND: 1006 @ 48.264
c NEW SOLUTION FOUND: 1005 @ 48.294
c NEW SOLUTION FOUND: 1004 @ 48.323
c NEW SOLUTION FOUND: 1003 @ 48.353
c NEW SOLUTION FOUND: 1002 @ 48.383
c NEW SOLUTION FOUND: 1001 @ 48.412
c NEW SOLUTION FOUND: 1000 @ 48.442
c NEW SOLUTION FOUND: 999 @ 48.471
c NEW SOLUTION FOUND: 998 @ 48.502
c NEW SOLUTION FOUND: 997 @ 48.531
c NEW SOLUTION FOUND: 996 @ 48.561
c NEW SOLUTION FOUND: 995 @ 48.591
c NEW SOLUTION FOUND: 994 @ 48.62
c NEW SOLUTION FOUND: 993 @ 48.65
c NEW SOLUTION FOUND: 992 @ 48.68
c NEW SOLUTION FOUND: 991 @ 48.709
c NEW SOLUTION FOUND: 990 @ 48.739
c NEW SOLUTION FOUND: 989 @ 48.768
c NEW SOLUTION FOUND: 988 @ 48.798
c NEW SOLUTION FOUND: 987 @ 48.828
c NEW SOLUTION FOUND: 986 @ 48.857
c NEW SOLUTION FOUND: 985 @ 48.887
c NEW SOLUTION FOUND: 984 @ 48.916
c NEW SOLUTION FOUND: 983 @ 48.946
c NEW SOLUTION FOUND: 982 @ 48.975
c NEW SOLUTION FOUND: 981 @ 49.005
c NEW SOLUTION FOUND: 980 @ 49.034
c NEW SOLUTION FOUND: 979 @ 49.064
c NEW SOLUTION FOUND: 978 @ 49.094
c NEW SOLUTION FOUND: 977 @ 49.123
c NEW SOLUTION FOUND: 976 @ 49.153
c NEW SOLUTION FOUND: 975 @ 49.182
c NEW SOLUTION FOUND: 974 @ 49.212
c NEW SOLUTION FOUND: 973 @ 49.241
c NEW SOLUTION FOUND: 972 @ 49.27
c NEW SOLUTION FOUND: 971 @ 49.3
c NEW SOLUTION FOUND: 970 @ 49.33
c NEW SOLUTION FOUND: 969 @ 49.359
c NEW SOLUTION FOUND: 968 @ 49.389
c NEW SOLUTION FOUND: 967 @ 49.418
c NEW SOLUTION FOUND: 966 @ 49.448
c NEW SOLUTION FOUND: 965 @ 49.478
c NEW SOLUTION FOUND: 964 @ 49.507
c NEW SOLUTION FOUND: 963 @ 49.536
c NEW SOLUTION FOUND: 962 @ 49.566
c NEW SOLUTION FOUND: 961 @ 49.595
c NEW SOLUTION FOUND: 960 @ 49.625
c NEW SOLUTION FOUND: 959 @ 49.654
c NEW SOLUTION FOUND: 958 @ 49.683
c NEW SOLUTION FOUND: 957 @ 49.713
c NEW SOLUTION FOUND: 956 @ 49.742
c NEW SOLUTION FOUND: 955 @ 49.772
c NEW SOLUTION FOUND: 954 @ 49.801
c NEW SOLUTION FOUND: 953 @ 49.83
c NEW SOLUTION FOUND: 952 @ 49.86
c NEW SOLUTION FOUND: 951 @ 49.889
c NEW SOLUTION FOUND: 950 @ 49.919
c NEW SOLUTION FOUND: 949 @ 49.948
c NEW SOLUTION FOUND: 948 @ 49.977
c NEW SOLUTION FOUND: 947 @ 50.007
c NEW SOLUTION FOUND: 946 @ 50.036
c NEW SOLUTION FOUND: 945 @ 50.066
c NEW SOLUTION FOUND: 944 @ 50.095
c NEW SOLUTION FOUND: 943 @ 50.125
c NEW SOLUTION FOUND: 942 @ 50.154
c NEW SOLUTION FOUND: 941 @ 50.183
c NEW SOLUTION FOUND: 940 @ 50.213
c NEW SOLUTION FOUND: 939 @ 50.242
c NEW SOLUTION FOUND: 938 @ 50.271
c NEW SOLUTION FOUND: 937 @ 50.3
c NEW SOLUTION FOUND: 936 @ 50.329
c NEW SOLUTION FOUND: 935 @ 50.359
c NEW SOLUTION FOUND: 934 @ 50.388
c NEW SOLUTION FOUND: 933 @ 50.418
c NEW SOLUTION FOUND: 932 @ 50.447
c NEW SOLUTION FOUND: 931 @ 50.476
c NEW SOLUTION FOUND: 930 @ 50.506
c NEW SOLUTION FOUND: 929 @ 50.535
c NEW SOLUTION FOUND: 928 @ 50.564
c NEW SOLUTION FOUND: 927 @ 50.594
c NEW SOLUTION FOUND: 926 @ 50.623
c NEW SOLUTION FOUND: 925 @ 50.653
c NEW SOLUTION FOUND: 924 @ 50.682
c NEW SOLUTION FOUND: 923 @ 50.711
c NEW SOLUTION FOUND: 922 @ 50.74
c NEW SOLUTION FOUND: 921 @ 50.77
c NEW SOLUTION FOUND: 920 @ 50.799
c NEW SOLUTION FOUND: 919 @ 50.828
c NEW SOLUTION FOUND: 918 @ 50.857
c NEW SOLUTION FOUND: 917 @ 50.887
c NEW SOLUTION FOUND: 916 @ 50.916
c NEW SOLUTION FOUND: 915 @ 50.945
c NEW SOLUTION FOUND: 914 @ 50.974
c NEW SOLUTION FOUND: 913 @ 51.004
c NEW SOLUTION FOUND: 912 @ 51.033
c NEW SOLUTION FOUND: 911 @ 51.062
c NEW SOLUTION FOUND: 910 @ 51.092
c NEW SOLUTION FOUND: 909 @ 51.121
c NEW SOLUTION FOUND: 908 @ 51.15
c NEW SOLUTION FOUND: 907 @ 51.179
c NEW SOLUTION FOUND: 906 @ 51.208
c NEW SOLUTION FOUND: 905 @ 51.237
c NEW SOLUTION FOUND: 904 @ 51.266
c NEW SOLUTION FOUND: 903 @ 51.296
c NEW SOLUTION FOUND: 902 @ 51.325
c NEW SOLUTION FOUND: 901 @ 51.354
c NEW SOLUTION FOUND: 900 @ 51.383
c NEW SOLUTION FOUND: 899 @ 51.412
c NEW SOLUTION FOUND: 898 @ 51.441
c NEW SOLUTION FOUND: 897 @ 51.471
c NEW SOLUTION FOUND: 896 @ 51.5
c NEW SOLUTION FOUND: 895 @ 51.529
c NEW SOLUTION FOUND: 894 @ 51.558
c NEW SOLUTION FOUND: 893 @ 51.587
c NEW SOLUTION FOUND: 892 @ 51.617
c NEW SOLUTION FOUND: 891 @ 51.646
c NEW SOLUTION FOUND: 890 @ 51.675
c NEW SOLUTION FOUND: 889 @ 51.704
c NEW SOLUTION FOUND: 888 @ 51.733
c NEW SOLUTION FOUND: 887 @ 51.762
c NEW SOLUTION FOUND: 886 @ 51.791
c NEW SOLUTION FOUND: 885 @ 51.82
c NEW SOLUTION FOUND: 884 @ 51.85
c NEW SOLUTION FOUND: 883 @ 51.879
c NEW SOLUTION FOUND: 882 @ 51.908
c NEW SOLUTION FOUND: 881 @ 51.937
c NEW SOLUTION FOUND: 880 @ 51.966
c NEW SOLUTION FOUND: 879 @ 51.995
c NEW SOLUTION FOUND: 878 @ 52.024
c NEW SOLUTION FOUND: 877 @ 52.053
c NEW SOLUTION FOUND: 876 @ 52.082
c NEW SOLUTION FOUND: 875 @ 52.111
c NEW SOLUTION FOUND: 874 @ 52.14
c NEW SOLUTION FOUND: 873 @ 52.169
c NEW SOLUTION FOUND: 872 @ 52.198
c NEW SOLUTION FOUND: 871 @ 52.227
c NEW SOLUTION FOUND: 870 @ 52.257
c NEW SOLUTION FOUND: 869 @ 52.286
c NEW SOLUTION FOUND: 868 @ 52.315
c NEW SOLUTION FOUND: 867 @ 52.344
c NEW SOLUTION FOUND: 866 @ 52.373
c NEW SOLUTION FOUND: 865 @ 52.402
c NEW SOLUTION FOUND: 864 @ 52.431
c NEW SOLUTION FOUND: 863 @ 52.46
c NEW SOLUTION FOUND: 862 @ 52.489
c NEW SOLUTION FOUND: 861 @ 52.518
c NEW SOLUTION FOUND: 860 @ 52.547
c NEW SOLUTION FOUND: 859 @ 52.576
c NEW SOLUTION FOUND: 858 @ 52.605
c NEW SOLUTION FOUND: 857 @ 52.634
c NEW SOLUTION FOUND: 856 @ 52.663
c NEW SOLUTION FOUND: 855 @ 52.692
c NEW SOLUTION FOUND: 854 @ 52.721
c NEW SOLUTION FOUND: 853 @ 52.75
c NEW SOLUTION FOUND: 852 @ 52.779
c NEW SOLUTION FOUND: 851 @ 52.808
c NEW SOLUTION FOUND: 850 @ 52.837
c NEW SOLUTION FOUND: 849 @ 52.866
c NEW SOLUTION FOUND: 848 @ 52.895
c NEW SOLUTION FOUND: 847 @ 52.924
c NEW SOLUTION FOUND: 846 @ 52.953
c NEW SOLUTION FOUND: 845 @ 52.982
c NEW SOLUTION FOUND: 844 @ 53.011
c NEW SOLUTION FOUND: 843 @ 53.04
c NEW SOLUTION FOUND: 842 @ 53.069
c NEW SOLUTION FOUND: 841 @ 53.097
c NEW SOLUTION FOUND: 840 @ 53.126
c NEW SOLUTION FOUND: 839 @ 53.155
c NEW SOLUTION FOUND: 838 @ 53.184
c NEW SOLUTION FOUND: 837 @ 53.213
c NEW SOLUTION FOUND: 836 @ 53.242
c NEW SOLUTION FOUND: 835 @ 53.3
c NEW SOLUTION FOUND: 834 @ 53.329
c NEW SOLUTION FOUND: 833 @ 53.359
c NEW SOLUTION FOUND: 832 @ 53.388
c NEW SOLUTION FOUND: 831 @ 53.418
c NEW SOLUTION FOUND: 830 @ 53.448
c NEW SOLUTION FOUND: 829 @ 53.478
c NEW SOLUTION FOUND: 828 @ 53.508
c NEW SOLUTION FOUND: 827 @ 53.537
c NEW SOLUTION FOUND: 826 @ 53.567
c NEW SOLUTION FOUND: 825 @ 53.597
c NEW SOLUTION FOUND: 824 @ 53.627
c NEW SOLUTION FOUND: 823 @ 53.657
c NEW SOLUTION FOUND: 822 @ 53.686
c NEW SOLUTION FOUND: 821 @ 53.716
c NEW SOLUTION FOUND: 820 @ 53.746
c NEW SOLUTION FOUND: 819 @ 53.776
c NEW SOLUTION FOUND: 818 @ 53.805
c NEW SOLUTION FOUND: 817 @ 53.835
c NEW SOLUTION FOUND: 816 @ 53.865
c NEW SOLUTION FOUND: 815 @ 53.894
c NEW SOLUTION FOUND: 814 @ 53.924
c NEW SOLUTION FOUND: 813 @ 53.954
c NEW SOLUTION FOUND: 812 @ 53.984
c NEW SOLUTION FOUND: 811 @ 54.013
c NEW SOLUTION FOUND: 810 @ 54.042
c NEW SOLUTION FOUND: 809 @ 54.072
c NEW SOLUTION FOUND: 808 @ 54.102
c NEW SOLUTION FOUND: 807 @ 54.131
c NEW SOLUTION FOUND: 806 @ 54.161
c NEW SOLUTION FOUND: 805 @ 54.191
c NEW SOLUTION FOUND: 804 @ 54.22
c NEW SOLUTION FOUND: 803 @ 54.25
c NEW SOLUTION FOUND: 802 @ 54.28
c NEW SOLUTION FOUND: 801 @ 54.31
c NEW SOLUTION FOUND: 800 @ 54.339
c NEW SOLUTION FOUND: 799 @ 54.369
c NEW SOLUTION FOUND: 798 @ 54.398
c NEW SOLUTION FOUND: 797 @ 54.428
c NEW SOLUTION FOUND: 796 @ 54.457
c NEW SOLUTION FOUND: 795 @ 54.487
c NEW SOLUTION FOUND: 794 @ 54.517
c NEW SOLUTION FOUND: 793 @ 54.547
c NEW SOLUTION FOUND: 792 @ 54.576
c NEW SOLUTION FOUND: 791 @ 54.606
c NEW SOLUTION FOUND: 790 @ 54.635
c NEW SOLUTION FOUND: 789 @ 54.665
c NEW SOLUTION FOUND: 788 @ 54.695
c NEW SOLUTION FOUND: 787 @ 54.724
c NEW SOLUTION FOUND: 786 @ 54.754
c NEW SOLUTION FOUND: 785 @ 54.783
c NEW SOLUTION FOUND: 784 @ 54.813
c NEW SOLUTION FOUND: 783 @ 54.842
c NEW SOLUTION FOUND: 782 @ 54.872
c NEW SOLUTION FOUND: 781 @ 54.901
c NEW SOLUTION FOUND: 780 @ 54.931
c NEW SOLUTION FOUND: 779 @ 54.96
c NEW SOLUTION FOUND: 778 @ 54.99
c NEW SOLUTION FOUND: 777 @ 55.02
c NEW SOLUTION FOUND: 776 @ 55.049
c NEW SOLUTION FOUND: 775 @ 55.079
c NEW SOLUTION FOUND: 774 @ 55.108
c NEW SOLUTION FOUND: 773 @ 55.138
c NEW SOLUTION FOUND: 772 @ 55.167
c NEW SOLUTION FOUND: 771 @ 55.197
c NEW SOLUTION FOUND: 770 @ 55.227
c NEW SOLUTION FOUND: 769 @ 55.256
c NEW SOLUTION FOUND: 768 @ 55.285
c NEW SOLUTION FOUND: 767 @ 55.315
c NEW SOLUTION FOUND: 766 @ 55.344
c NEW SOLUTION FOUND: 765 @ 55.374
c NEW SOLUTION FOUND: 764 @ 55.403
c NEW SOLUTION FOUND: 763 @ 55.433
c NEW SOLUTION FOUND: 762 @ 55.462
c NEW SOLUTION FOUND: 761 @ 55.492
c NEW SOLUTION FOUND: 760 @ 55.521
c NEW SOLUTION FOUND: 759 @ 55.551
c NEW SOLUTION FOUND: 758 @ 55.58
c NEW SOLUTION FOUND: 757 @ 55.61
c NEW SOLUTION FOUND: 756 @ 55.639
c NEW SOLUTION FOUND: 755 @ 55.669
c NEW SOLUTION FOUND: 754 @ 55.698
c NEW SOLUTION FOUND: 753 @ 55.728
c NEW SOLUTION FOUND: 752 @ 55.757
c NEW SOLUTION FOUND: 751 @ 55.786
c NEW SOLUTION FOUND: 750 @ 55.816
c NEW SOLUTION FOUND: 749 @ 55.845
c NEW SOLUTION FOUND: 748 @ 55.875
c NEW SOLUTION FOUND: 747 @ 55.904
c NEW SOLUTION FOUND: 746 @ 55.933
c NEW SOLUTION FOUND: 745 @ 55.963
c NEW SOLUTION FOUND: 744 @ 55.992
c NEW SOLUTION FOUND: 743 @ 56.022
c NEW SOLUTION FOUND: 742 @ 56.051
c NEW SOLUTION FOUND: 741 @ 56.08
c NEW SOLUTION FOUND: 740 @ 56.11
c NEW SOLUTION FOUND: 739 @ 56.139
c NEW SOLUTION FOUND: 738 @ 56.168
c NEW SOLUTION FOUND: 737 @ 56.198
c NEW SOLUTION FOUND: 736 @ 56.228
c NEW SOLUTION FOUND: 735 @ 56.258
c NEW SOLUTION FOUND: 734 @ 56.287
c NEW SOLUTION FOUND: 733 @ 56.317
c NEW SOLUTION FOUND: 732 @ 56.347
c NEW SOLUTION FOUND: 731 @ 56.377
c NEW SOLUTION FOUND: 730 @ 56.407
c NEW SOLUTION FOUND: 729 @ 56.437
c NEW SOLUTION FOUND: 728 @ 56.466
c NEW SOLUTION FOUND: 727 @ 56.497
c NEW SOLUTION FOUND: 726 @ 56.526
c NEW SOLUTION FOUND: 725 @ 56.556
c NEW SOLUTION FOUND: 724 @ 56.586
c NEW SOLUTION FOUND: 723 @ 56.616
c NEW SOLUTION FOUND: 722 @ 56.646
c NEW SOLUTION FOUND: 721 @ 56.675
c NEW SOLUTION FOUND: 720 @ 56.705
c NEW SOLUTION FOUND: 719 @ 56.735
c NEW SOLUTION FOUND: 718 @ 56.765
c NEW SOLUTION FOUND: 717 @ 56.794
c NEW SOLUTION FOUND: 716 @ 56.824
c NEW SOLUTION FOUND: 715 @ 56.854
c NEW SOLUTION FOUND: 714 @ 56.883
c NEW SOLUTION FOUND: 713 @ 56.913
c NEW SOLUTION FOUND: 712 @ 56.943
c NEW SOLUTION FOUND: 711 @ 56.973
c NEW SOLUTION FOUND: 710 @ 57.003
c NEW SOLUTION FOUND: 709 @ 57.032
c NEW SOLUTION FOUND: 708 @ 57.062
c NEW SOLUTION FOUND: 707 @ 57.092
c NEW SOLUTION FOUND: 706 @ 57.122
c NEW SOLUTION FOUND: 705 @ 57.151
c NEW SOLUTION FOUND: 704 @ 57.181
c NEW SOLUTION FOUND: 703 @ 57.211
c NEW SOLUTION FOUND: 702 @ 57.24
c NEW SOLUTION FOUND: 701 @ 57.27
c NEW SOLUTION FOUND: 700 @ 57.3
c NEW SOLUTION FOUND: 699 @ 57.33
c NEW SOLUTION FOUND: 698 @ 57.359
c NEW SOLUTION FOUND: 697 @ 57.389
c NEW SOLUTION FOUND: 696 @ 57.418
c NEW SOLUTION FOUND: 695 @ 57.448
c NEW SOLUTION FOUND: 694 @ 57.478
c NEW SOLUTION FOUND: 693 @ 57.507
c NEW SOLUTION FOUND: 692 @ 57.537
c NEW SOLUTION FOUND: 691 @ 57.567
c NEW SOLUTION FOUND: 690 @ 57.598
c NEW SOLUTION FOUND: 689 @ 57.628
c NEW SOLUTION FOUND: 688 @ 57.658
c NEW SOLUTION FOUND: 687 @ 57.688
c NEW SOLUTION FOUND: 686 @ 57.718
c NEW SOLUTION FOUND: 685 @ 57.748
c NEW SOLUTION FOUND: 684 @ 57.778
c NEW SOLUTION FOUND: 683 @ 57.808
c NEW SOLUTION FOUND: 682 @ 57.838
c NEW SOLUTION FOUND: 681 @ 57.868
c NEW SOLUTION FOUND: 680 @ 57.898
c NEW SOLUTION FOUND: 679 @ 57.929
c NEW SOLUTION FOUND: 678 @ 57.959
c NEW SOLUTION FOUND: 677 @ 57.989
c NEW SOLUTION FOUND: 676 @ 58.018
c NEW SOLUTION FOUND: 675 @ 58.049
c NEW SOLUTION FOUND: 674 @ 58.079
c NEW SOLUTION FOUND: 673 @ 58.109
c NEW SOLUTION FOUND: 672 @ 58.139
c NEW SOLUTION FOUND: 671 @ 58.169
c NEW SOLUTION FOUND: 670 @ 58.199
c NEW SOLUTION FOUND: 669 @ 58.229
c NEW SOLUTION FOUND: 668 @ 58.259
c NEW SOLUTION FOUND: 667 @ 58.289
c NEW SOLUTION FOUND: 666 @ 58.319
c NEW SOLUTION FOUND: 665 @ 58.349
c NEW SOLUTION FOUND: 664 @ 58.379
c NEW SOLUTION FOUND: 663 @ 58.409
c NEW SOLUTION FOUND: 662 @ 58.439
c NEW SOLUTION FOUND: 661 @ 58.469
c NEW SOLUTION FOUND: 660 @ 58.499
c NEW SOLUTION FOUND: 659 @ 58.529
c NEW SOLUTION FOUND: 658 @ 58.559
c NEW SOLUTION FOUND: 657 @ 58.589
c NEW SOLUTION FOUND: 656 @ 58.619
c NEW SOLUTION FOUND: 655 @ 58.649
c NEW SOLUTION FOUND: 654 @ 58.678
c NEW SOLUTION FOUND: 653 @ 58.708
c NEW SOLUTION FOUND: 652 @ 58.738
c NEW SOLUTION FOUND: 651 @ 58.768
c NEW SOLUTION FOUND: 650 @ 58.798
c NEW SOLUTION FOUND: 649 @ 58.828
c NEW SOLUTION FOUND: 648 @ 58.858
c NEW SOLUTION FOUND: 647 @ 58.888
c NEW SOLUTION FOUND: 646 @ 58.918
c NEW SOLUTION FOUND: 645 @ 58.948
c NEW SOLUTION FOUND: 644 @ 58.978
c NEW SOLUTION FOUND: 643 @ 59.007
c NEW SOLUTION FOUND: 642 @ 59.038
c NEW SOLUTION FOUND: 641 @ 59.068
c NEW SOLUTION FOUND: 640 @ 59.097
c NEW SOLUTION FOUND: 639 @ 59.127
c NEW SOLUTION FOUND: 638 @ 59.157
c NEW SOLUTION FOUND: 637 @ 59.187
c NEW SOLUTION FOUND: 636 @ 59.216
c NEW SOLUTION FOUND: 635 @ 59.246
c NEW SOLUTION FOUND: 634 @ 59.276
c NEW SOLUTION FOUND: 633 @ 59.306
c NEW SOLUTION FOUND: 632 @ 59.336
c NEW SOLUTION FOUND: 631 @ 59.365
c NEW SOLUTION FOUND: 630 @ 59.395
c NEW SOLUTION FOUND: 629 @ 59.425
c NEW SOLUTION FOUND: 628 @ 59.455
c NEW SOLUTION FOUND: 627 @ 59.484
c NEW SOLUTION FOUND: 626 @ 59.514
c NEW SOLUTION FOUND: 625 @ 59.544
c NEW SOLUTION FOUND: 624 @ 59.573
c NEW SOLUTION FOUND: 623 @ 59.603
c NEW SOLUTION FOUND: 622 @ 59.633
c NEW SOLUTION FOUND: 621 @ 59.663
c NEW SOLUTION FOUND: 620 @ 59.692
c NEW SOLUTION FOUND: 619 @ 59.722
c NEW SOLUTION FOUND: 618 @ 59.752
c NEW SOLUTION FOUND: 617 @ 59.781
c NEW SOLUTION FOUND: 616 @ 59.811
c NEW SOLUTION FOUND: 615 @ 59.841
c NEW SOLUTION FOUND: 614 @ 59.871
c NEW SOLUTION FOUND: 613 @ 59.901
c NEW SOLUTION FOUND: 612 @ 59.931
c NEW SOLUTION FOUND: 611 @ 59.961
c NEW SOLUTION FOUND: 610 @ 59.99
c NEW SOLUTION FOUND: 609 @ 60.02
c NEW SOLUTION FOUND: 608 @ 60.05
c NEW SOLUTION FOUND: 607 @ 60.08
c NEW SOLUTION FOUND: 606 @ 60.109
c NEW SOLUTION FOUND: 605 @ 60.139
c NEW SOLUTION FOUND: 604 @ 60.168
c NEW SOLUTION FOUND: 603 @ 60.197
c NEW SOLUTION FOUND: 602 @ 60.226
c NEW SOLUTION FOUND: 601 @ 60.255
c NEW SOLUTION FOUND: 600 @ 60.284
c NEW SOLUTION FOUND: 599 @ 60.314
c NEW SOLUTION FOUND: 598 @ 60.344
c NEW SOLUTION FOUND: 597 @ 60.373
c NEW SOLUTION FOUND: 596 @ 60.402
c NEW SOLUTION FOUND: 595 @ 60.431
c NEW SOLUTION FOUND: 594 @ 60.461
c NEW SOLUTION FOUND: 593 @ 60.49
c NEW SOLUTION FOUND: 592 @ 60.519
c NEW SOLUTION FOUND: 591 @ 60.549
c NEW SOLUTION FOUND: 590 @ 60.578
c NEW SOLUTION FOUND: 589 @ 60.607
c NEW SOLUTION FOUND: 588 @ 60.636
c NEW SOLUTION FOUND: 587 @ 60.665
c NEW SOLUTION FOUND: 586 @ 60.694
c NEW SOLUTION FOUND: 585 @ 60.724
c NEW SOLUTION FOUND: 584 @ 60.753
c NEW SOLUTION FOUND: 583 @ 60.782
c NEW SOLUTION FOUND: 582 @ 60.811
c NEW SOLUTION FOUND: 581 @ 60.84
c NEW SOLUTION FOUND: 580 @ 60.868
c NEW SOLUTION FOUND: 579 @ 60.897
c NEW SOLUTION FOUND: 578 @ 60.927
c NEW SOLUTION FOUND: 577 @ 60.957
c NEW SOLUTION FOUND: 576 @ 60.986
c NEW SOLUTION FOUND: 575 @ 61.016
c NEW SOLUTION FOUND: 574 @ 61.046
c NEW SOLUTION FOUND: 573 @ 61.075
c NEW SOLUTION FOUND: 572 @ 61.105
c NEW SOLUTION FOUND: 571 @ 61.134
c NEW SOLUTION FOUND: 570 @ 61.164
c NEW SOLUTION FOUND: 569 @ 61.194
c NEW SOLUTION FOUND: 568 @ 61.223
c NEW SOLUTION FOUND: 567 @ 61.253
c NEW SOLUTION FOUND: 566 @ 61.283
c NEW SOLUTION FOUND: 565 @ 61.312
c NEW SOLUTION FOUND: 564 @ 61.342
c NEW SOLUTION FOUND: 563 @ 61.372
c NEW SOLUTION FOUND: 562 @ 61.401
c NEW SOLUTION FOUND: 561 @ 61.431
c NEW SOLUTION FOUND: 560 @ 61.46
c NEW SOLUTION FOUND: 559 @ 61.49
c NEW SOLUTION FOUND: 558 @ 61.519
c NEW SOLUTION FOUND: 557 @ 61.549
c NEW SOLUTION FOUND: 556 @ 61.579
c NEW SOLUTION FOUND: 555 @ 61.608
c NEW SOLUTION FOUND: 554 @ 61.638
c NEW SOLUTION FOUND: 553 @ 61.667
c NEW SOLUTION FOUND: 552 @ 61.697
c NEW SOLUTION FOUND: 551 @ 61.727
c NEW SOLUTION FOUND: 550 @ 61.756
c NEW SOLUTION FOUND: 549 @ 61.786
c NEW SOLUTION FOUND: 548 @ 61.816
c NEW SOLUTION FOUND: 547 @ 61.845
c NEW SOLUTION FOUND: 546 @ 61.875
c NEW SOLUTION FOUND: 545 @ 61.904
c NEW SOLUTION FOUND: 544 @ 61.934
c NEW SOLUTION FOUND: 543 @ 61.964
c NEW SOLUTION FOUND: 542 @ 61.993
c NEW SOLUTION FOUND: 541 @ 62.023
c NEW SOLUTION FOUND: 540 @ 62.052
c NEW SOLUTION FOUND: 539 @ 62.082
c NEW SOLUTION FOUND: 538 @ 62.111
c NEW SOLUTION FOUND: 537 @ 62.141
c NEW SOLUTION FOUND: 536 @ 62.17
c NEW SOLUTION FOUND: 535 @ 62.2
c NEW SOLUTION FOUND: 534 @ 62.229
c NEW SOLUTION FOUND: 533 @ 62.259
c NEW SOLUTION FOUND: 532 @ 62.288
c NEW SOLUTION FOUND: 531 @ 62.318
c NEW SOLUTION FOUND: 530 @ 62.347
c NEW SOLUTION FOUND: 529 @ 62.376
c NEW SOLUTION FOUND: 528 @ 62.406
c NEW SOLUTION FOUND: 527 @ 62.435
c NEW SOLUTION FOUND: 526 @ 62.465
c NEW SOLUTION FOUND: 525 @ 62.495
c NEW SOLUTION FOUND: 524 @ 62.524
c NEW SOLUTION FOUND: 523 @ 62.554
c NEW SOLUTION FOUND: 522 @ 62.583
c NEW SOLUTION FOUND: 521 @ 62.612
c NEW SOLUTION FOUND: 520 @ 62.642
c NEW SOLUTION FOUND: 519 @ 62.671
c NEW SOLUTION FOUND: 518 @ 62.701
c NEW SOLUTION FOUND: 517 @ 62.731
c NEW SOLUTION FOUND: 516 @ 62.76
c NEW SOLUTION FOUND: 515 @ 62.789
c NEW SOLUTION FOUND: 514 @ 62.819
c NEW SOLUTION FOUND: 513 @ 62.848
c NEW SOLUTION FOUND: 512 @ 62.878
c NEW SOLUTION FOUND: 511 @ 62.907
c NEW SOLUTION FOUND: 510 @ 62.936
c NEW SOLUTION FOUND: 509 @ 62.966
c NEW SOLUTION FOUND: 508 @ 62.995
c NEW SOLUTION FOUND: 507 @ 63.025
c NEW SOLUTION FOUND: 506 @ 63.054
c NEW SOLUTION FOUND: 505 @ 63.083
c NEW SOLUTION FOUND: 504 @ 63.113
c NEW SOLUTION FOUND: 503 @ 63.142
c NEW SOLUTION FOUND: 502 @ 63.171
c NEW SOLUTION FOUND: 501 @ 63.2
c NEW SOLUTION FOUND: 500 @ 63.23
c NEW SOLUTION FOUND: 499 @ 63.259
c NEW SOLUTION FOUND: 498 @ 63.288
c NEW SOLUTION FOUND: 497 @ 63.318
c NEW SOLUTION FOUND: 496 @ 63.347
c NEW SOLUTION FOUND: 495 @ 63.376
c NEW SOLUTION FOUND: 494 @ 63.406
c NEW SOLUTION FOUND: 493 @ 63.435
c NEW SOLUTION FOUND: 492 @ 63.465
c NEW SOLUTION FOUND: 491 @ 63.494
c NEW SOLUTION FOUND: 490 @ 63.523
c NEW SOLUTION FOUND: 489 @ 63.553
c NEW SOLUTION FOUND: 488 @ 63.582
c NEW SOLUTION FOUND: 487 @ 63.611
c NEW SOLUTION FOUND: 486 @ 63.64
c NEW SOLUTION FOUND: 485 @ 63.67
c NEW SOLUTION FOUND: 484 @ 63.699
c NEW SOLUTION FOUND: 483 @ 63.728
c NEW SOLUTION FOUND: 482 @ 63.758
c NEW SOLUTION FOUND: 481 @ 63.787
c NEW SOLUTION FOUND: 480 @ 63.816
c NEW SOLUTION FOUND: 479 @ 63.846
c NEW SOLUTION FOUND: 478 @ 63.875
c NEW SOLUTION FOUND: 477 @ 63.904
c NEW SOLUTION FOUND: 476 @ 63.933
c NEW SOLUTION FOUND: 475 @ 63.963
c NEW SOLUTION FOUND: 474 @ 63.992
c NEW SOLUTION FOUND: 473 @ 64.021
c NEW SOLUTION FOUND: 472 @ 64.05
c NEW SOLUTION FOUND: 471 @ 64.08
c NEW SOLUTION FOUND: 470 @ 64.109
c NEW SOLUTION FOUND: 469 @ 64.138
c NEW SOLUTION FOUND: 468 @ 64.167
c NEW SOLUTION FOUND: 467 @ 64.197
c NEW SOLUTION FOUND: 466 @ 64.226
c NEW SOLUTION FOUND: 465 @ 64.256
c NEW SOLUTION FOUND: 464 @ 64.285
c NEW SOLUTION FOUND: 463 @ 64.314
c NEW SOLUTION FOUND: 462 @ 64.344
c NEW SOLUTION FOUND: 461 @ 64.373
c NEW SOLUTION FOUND: 460 @ 64.402
c NEW SOLUTION FOUND: 459 @ 64.431
c NEW SOLUTION FOUND: 458 @ 64.46
c NEW SOLUTION FOUND: 457 @ 64.49
c NEW SOLUTION FOUND: 456 @ 64.519
c NEW SOLUTION FOUND: 455 @ 64.548
c NEW SOLUTION FOUND: 454 @ 64.578
c NEW SOLUTION FOUND: 453 @ 64.607
c NEW SOLUTION FOUND: 452 @ 64.636
c NEW SOLUTION FOUND: 451 @ 64.666
c NEW SOLUTION FOUND: 450 @ 64.695
c NEW SOLUTION FOUND: 449 @ 64.724
c NEW SOLUTION FOUND: 448 @ 64.753
c NEW SOLUTION FOUND: 447 @ 64.782
c NEW SOLUTION FOUND: 446 @ 64.811
c NEW SOLUTION FOUND: 445 @ 64.84
c NEW SOLUTION FOUND: 444 @ 64.869
c NEW SOLUTION FOUND: 443 @ 64.898
c NEW SOLUTION FOUND: 442 @ 64.928
c NEW SOLUTION FOUND: 441 @ 64.957
c NEW SOLUTION FOUND: 440 @ 64.986
c NEW SOLUTION FOUND: 439 @ 65.015
c NEW SOLUTION FOUND: 438 @ 65.044
c NEW SOLUTION FOUND: 437 @ 65.073
c NEW SOLUTION FOUND: 436 @ 65.102
c NEW SOLUTION FOUND: 435 @ 65.131
c NEW SOLUTION FOUND: 434 @ 65.161
c NEW SOLUTION FOUND: 433 @ 65.19
c NEW SOLUTION FOUND: 432 @ 65.219
c NEW SOLUTION FOUND: 431 @ 65.248
c NEW SOLUTION FOUND: 430 @ 65.277
c NEW SOLUTION FOUND: 429 @ 65.306
c NEW SOLUTION FOUND: 428 @ 65.335
c NEW SOLUTION FOUND: 427 @ 65.364
c NEW SOLUTION FOUND: 426 @ 65.393
c NEW SOLUTION FOUND: 425 @ 65.422
c NEW SOLUTION FOUND: 424 @ 65.451
c NEW SOLUTION FOUND: 423 @ 65.48
c NEW SOLUTION FOUND: 422 @ 65.509
c NEW SOLUTION FOUND: 421 @ 65.538
c NEW SOLUTION FOUND: 420 @ 65.567
c NEW SOLUTION FOUND: 419 @ 65.596
c NEW SOLUTION FOUND: 418 @ 65.624
c NEW SOLUTION FOUND: 417 @ 65.653
c NEW SOLUTION FOUND: 416 @ 65.683
c NEW SOLUTION FOUND: 415 @ 65.712
c NEW SOLUTION FOUND: 414 @ 65.741
c NEW SOLUTION FOUND: 413 @ 65.77
c NEW SOLUTION FOUND: 412 @ 65.799
c NEW SOLUTION FOUND: 411 @ 65.828
c NEW SOLUTION FOUND: 410 @ 65.856
c NEW SOLUTION FOUND: 409 @ 65.885
c NEW SOLUTION FOUND: 408 @ 65.914
c NEW SOLUTION FOUND: 407 @ 65.943
c NEW SOLUTION FOUND: 406 @ 65.972
c NEW SOLUTION FOUND: 405 @ 66.001
c NEW SOLUTION FOUND: 404 @ 66.03
c NEW SOLUTION FOUND: 403 @ 66.059
c NEW SOLUTION FOUND: 402 @ 66.088
c NEW SOLUTION FOUND: 401 @ 66.117
c NEW SOLUTION FOUND: 400 @ 66.146
c NEW SOLUTION FOUND: 399 @ 66.175
c NEW SOLUTION FOUND: 398 @ 66.204
c NEW SOLUTION FOUND: 397 @ 66.233
c NEW SOLUTION FOUND: 396 @ 66.262
c NEW SOLUTION FOUND: 395 @ 66.291
c NEW SOLUTION FOUND: 394 @ 66.319
c NEW SOLUTION FOUND: 393 @ 66.348
c NEW SOLUTION FOUND: 392 @ 66.378
c NEW SOLUTION FOUND: 391 @ 66.406
c NEW SOLUTION FOUND: 390 @ 66.435
c NEW SOLUTION FOUND: 389 @ 66.464
c NEW SOLUTION FOUND: 388 @ 66.493
c NEW SOLUTION FOUND: 387 @ 66.522
c NEW SOLUTION FOUND: 386 @ 66.551
c NEW SOLUTION FOUND: 385 @ 66.58
c NEW SOLUTION FOUND: 384 @ 66.608
c NEW SOLUTION FOUND: 383 @ 66.637
c NEW SOLUTION FOUND: 382 @ 66.666
c NEW SOLUTION FOUND: 381 @ 66.695
c NEW SOLUTION FOUND: 380 @ 66.724
c NEW SOLUTION FOUND: 379 @ 66.752
c NEW SOLUTION FOUND: 378 @ 66.781
c NEW SOLUTION FOUND: 377 @ 66.81
c NEW SOLUTION FOUND: 376 @ 66.839
c NEW SOLUTION FOUND: 375 @ 66.867
c NEW SOLUTION FOUND: 374 @ 66.896
c NEW SOLUTION FOUND: 373 @ 66.925
c NEW SOLUTION FOUND: 372 @ 66.954
c NEW SOLUTION FOUND: 371 @ 66.982
c NEW SOLUTION FOUND: 370 @ 67.011
c NEW SOLUTION FOUND: 369 @ 67.04
c NEW SOLUTION FOUND: 368 @ 67.069
c NEW SOLUTION FOUND: 367 @ 67.098
c NEW SOLUTION FOUND: 366 @ 67.126
c NEW SOLUTION FOUND: 365 @ 67.156
c NEW SOLUTION FOUND: 364 @ 67.185
c NEW SOLUTION FOUND: 363 @ 67.214
c NEW SOLUTION FOUND: 362 @ 67.243
c NEW SOLUTION FOUND: 361 @ 67.272
c NEW SOLUTION FOUND: 360 @ 67.302
c NEW SOLUTION FOUND: 359 @ 67.331
c NEW SOLUTION FOUND: 358 @ 67.36
c NEW SOLUTION FOUND: 357 @ 67.389
c NEW SOLUTION FOUND: 356 @ 67.418
c NEW SOLUTION FOUND: 355 @ 67.447
c NEW SOLUTION FOUND: 354 @ 67.476
c NEW SOLUTION FOUND: 353 @ 67.505
c NEW SOLUTION FOUND: 352 @ 67.535
c NEW SOLUTION FOUND: 351 @ 67.564
c NEW SOLUTION FOUND: 350 @ 67.593
c NEW SOLUTION FOUND: 349 @ 67.622
c NEW SOLUTION FOUND: 348 @ 67.651
c NEW SOLUTION FOUND: 347 @ 67.679
c NEW SOLUTION FOUND: 346 @ 67.708
c NEW SOLUTION FOUND: 345 @ 67.737
c NEW SOLUTION FOUND: 344 @ 67.767
c NEW SOLUTION FOUND: 343 @ 67.796
c NEW SOLUTION FOUND: 342 @ 67.825
c NEW SOLUTION FOUND: 341 @ 67.855
c NEW SOLUTION FOUND: 340 @ 67.884
c NEW SOLUTION FOUND: 339 @ 67.913
c NEW SOLUTION FOUND: 338 @ 67.942
c NEW SOLUTION FOUND: 337 @ 67.971
c NEW SOLUTION FOUND: 336 @ 68
c NEW SOLUTION FOUND: 335 @ 68.029
c NEW SOLUTION FOUND: 334 @ 68.058
c NEW SOLUTION FOUND: 333 @ 68.087
c NEW SOLUTION FOUND: 332 @ 68.116
c NEW SOLUTION FOUND: 331 @ 68.145
c NEW SOLUTION FOUND: 330 @ 68.174
c NEW SOLUTION FOUND: 329 @ 68.203
c NEW SOLUTION FOUND: 328 @ 68.232
c NEW SOLUTION FOUND: 327 @ 68.261
c NEW SOLUTION FOUND: 326 @ 68.29
c NEW SOLUTION FOUND: 325 @ 68.319
c NEW SOLUTION FOUND: 324 @ 68.348
c NEW SOLUTION FOUND: 323 @ 68.377
c NEW SOLUTION FOUND: 322 @ 68.406
c NEW SOLUTION FOUND: 321 @ 68.435
c NEW SOLUTION FOUND: 320 @ 68.464
c NEW SOLUTION FOUND: 319 @ 68.493
c NEW SOLUTION FOUND: 318 @ 68.522
c NEW SOLUTION FOUND: 317 @ 68.551
c NEW SOLUTION FOUND: 316 @ 68.579
c NEW SOLUTION FOUND: 315 @ 68.608
c NEW SOLUTION FOUND: 314 @ 68.637
c NEW SOLUTION FOUND: 313 @ 68.666
c NEW SOLUTION FOUND: 312 @ 68.695
c NEW SOLUTION FOUND: 311 @ 68.724
c NEW SOLUTION FOUND: 310 @ 68.753
c NEW SOLUTION FOUND: 309 @ 68.782
c NEW SOLUTION FOUND: 308 @ 68.81
c NEW SOLUTION FOUND: 307 @ 68.839
c NEW SOLUTION FOUND: 306 @ 68.868
c NEW SOLUTION FOUND: 305 @ 68.897
c NEW SOLUTION FOUND: 304 @ 68.926
c NEW SOLUTION FOUND: 303 @ 68.955
c NEW SOLUTION FOUND: 302 @ 68.984
c NEW SOLUTION FOUND: 301 @ 69.012
c NEW SOLUTION FOUND: 300 @ 69.041
c NEW SOLUTION FOUND: 299 @ 69.07
c NEW SOLUTION FOUND: 298 @ 69.099
c NEW SOLUTION FOUND: 297 @ 69.128
c NEW SOLUTION FOUND: 296 @ 69.157
c NEW SOLUTION FOUND: 295 @ 69.186
c NEW SOLUTION FOUND: 294 @ 69.214
c NEW SOLUTION FOUND: 293 @ 69.243
c NEW SOLUTION FOUND: 292 @ 69.272
c NEW SOLUTION FOUND: 291 @ 69.301
c NEW SOLUTION FOUND: 290 @ 69.329
c NEW SOLUTION FOUND: 289 @ 69.358
c NEW SOLUTION FOUND: 288 @ 69.387
c NEW SOLUTION FOUND: 287 @ 69.416
c NEW SOLUTION FOUND: 286 @ 69.444
c NEW SOLUTION FOUND: 285 @ 69.473
c NEW SOLUTION FOUND: 284 @ 69.502
c NEW SOLUTION FOUND: 283 @ 69.531
c NEW SOLUTION FOUND: 282 @ 69.56
c NEW SOLUTION FOUND: 281 @ 69.588
c NEW SOLUTION FOUND: 280 @ 69.617
c NEW SOLUTION FOUND: 279 @ 69.646
c NEW SOLUTION FOUND: 278 @ 69.675
c NEW SOLUTION FOUND: 277 @ 69.703
c NEW SOLUTION FOUND: 276 @ 69.732
c NEW SOLUTION FOUND: 275 @ 69.761
c NEW SOLUTION FOUND: 274 @ 69.79
c NEW SOLUTION FOUND: 273 @ 69.818
c NEW SOLUTION FOUND: 272 @ 69.847
c NEW SOLUTION FOUND: 271 @ 69.876
c NEW SOLUTION FOUND: 270 @ 69.904
c NEW SOLUTION FOUND: 269 @ 69.933
c NEW SOLUTION FOUND: 268 @ 69.962
c NEW SOLUTION FOUND: 267 @ 69.991
c NEW SOLUTION FOUND: 266 @ 70.02
c NEW SOLUTION FOUND: 265 @ 70.05
c NEW SOLUTION FOUND: 264 @ 70.079
c NEW SOLUTION FOUND: 263 @ 70.108
c NEW SOLUTION FOUND: 262 @ 70.137
c NEW SOLUTION FOUND: 261 @ 70.166
c NEW SOLUTION FOUND: 260 @ 70.196
c NEW SOLUTION FOUND: 259 @ 70.225
c NEW SOLUTION FOUND: 258 @ 70.254
c NEW SOLUTION FOUND: 257 @ 70.283
c NEW SOLUTION FOUND: 256 @ 70.312
c NEW SOLUTION FOUND: 255 @ 70.341
c NEW SOLUTION FOUND: 254 @ 70.371
c NEW SOLUTION FOUND: 253 @ 70.4
c NEW SOLUTION FOUND: 252 @ 70.429
c NEW SOLUTION FOUND: 251 @ 70.458
c NEW SOLUTION FOUND: 250 @ 70.488
c NEW SOLUTION FOUND: 249 @ 70.517
c NEW SOLUTION FOUND: 248 @ 70.546
c NEW SOLUTION FOUND: 247 @ 70.575
c NEW SOLUTION FOUND: 246 @ 70.604
c NEW SOLUTION FOUND: 245 @ 70.633
c NEW SOLUTION FOUND: 244 @ 70.662
c NEW SOLUTION FOUND: 243 @ 70.691
c NEW SOLUTION FOUND: 242 @ 70.72
c NEW SOLUTION FOUND: 241 @ 70.749
c NEW SOLUTION FOUND: 240 @ 70.778
c NEW SOLUTION FOUND: 239 @ 70.807
c NEW SOLUTION FOUND: 238 @ 70.836
c NEW SOLUTION FOUND: 237 @ 70.865
c NEW SOLUTION FOUND: 236 @ 70.894
c NEW SOLUTION FOUND: 235 @ 70.923
c NEW SOLUTION FOUND: 234 @ 70.952
c NEW SOLUTION FOUND: 233 @ 70.981
c NEW SOLUTION FOUND: 232 @ 71.01
c NEW SOLUTION FOUND: 231 @ 71.039
c NEW SOLUTION FOUND: 230 @ 71.068
c NEW SOLUTION FOUND: 229 @ 71.097
c NEW SOLUTION FOUND: 228 @ 71.126
c NEW SOLUTION FOUND: 227 @ 71.155
c NEW SOLUTION FOUND: 226 @ 71.184
c NEW SOLUTION FOUND: 225 @ 71.213
c NEW SOLUTION FOUND: 224 @ 71.242
c NEW SOLUTION FOUND: 223 @ 71.271
c NEW SOLUTION FOUND: 222 @ 71.299
c NEW SOLUTION FOUND: 221 @ 71.328
c NEW SOLUTION FOUND: 220 @ 71.358
c NEW SOLUTION FOUND: 219 @ 71.386
c NEW SOLUTION FOUND: 218 @ 71.415
c NEW SOLUTION FOUND: 217 @ 71.444
c NEW SOLUTION FOUND: 216 @ 71.473
c NEW SOLUTION FOUND: 215 @ 71.502
c NEW SOLUTION FOUND: 214 @ 71.532
c NEW SOLUTION FOUND: 213 @ 71.563
c NEW SOLUTION FOUND: 212 @ 71.593
c NEW SOLUTION FOUND: 211 @ 71.623
c NEW SOLUTION FOUND: 210 @ 71.653
c NEW SOLUTION FOUND: 209 @ 71.684
c NEW SOLUTION FOUND: 208 @ 71.715
c NEW SOLUTION FOUND: 207 @ 71.751
c NEW SOLUTION FOUND: 206 @ 71.787
c NEW SOLUTION FOUND: 205 @ 71.858
c NEW SOLUTION FOUND: 204 @ 71.894
c NEW SOLUTION FOUND: 203 @ 71.93
c NEW SOLUTION FOUND: 202 @ 71.967
c NEW SOLUTION FOUND: 201 @ 72.003
c NEW SOLUTION FOUND: 200 @ 72.041
c NEW SOLUTION FOUND: 199 @ 72.08
c NEW SOLUTION FOUND: 198 @ 72.128
c NEW SOLUTION FOUND: 197 @ 72.176
c NEW SOLUTION FOUND: 196 @ 72.225
c NEW SOLUTION FOUND: 195 @ 72.272
c NEW SOLUTION FOUND: 194 @ 72.32
c NEW SOLUTION FOUND: 193 @ 72.369
c NEW SOLUTION FOUND: 192 @ 72.418
c NEW SOLUTION FOUND: 191 @ 72.467
c NEW SOLUTION FOUND: 190 @ 72.517
c NEW SOLUTION FOUND: 189 @ 72.567
c NEW SOLUTION FOUND: 188 @ 72.616
c NEW SOLUTION FOUND: 187 @ 72.667
c NEW SOLUTION FOUND: 186 @ 72.714
c NEW SOLUTION FOUND: 185 @ 72.764
c NEW SOLUTION FOUND: 184 @ 72.815
c NEW SOLUTION FOUND: 183 @ 72.865
c NEW SOLUTION FOUND: 182 @ 72.915
c NEW SOLUTION FOUND: 181 @ 72.965
c NEW SOLUTION FOUND: 180 @ 73.016
c NEW SOLUTION FOUND: 179 @ 73.064
c NEW SOLUTION FOUND: 178 @ 73.114
c NEW SOLUTION FOUND: 177 @ 73.174
c NEW SOLUTION FOUND: 176 @ 73.232
c NEW SOLUTION FOUND: 175 @ 73.29
c NEW SOLUTION FOUND: 174 @ 73.348
c NEW SOLUTION FOUND: 173 @ 73.407
c NEW SOLUTION FOUND: 172 @ 73.466
c NEW SOLUTION FOUND: 171 @ 73.525
c NEW SOLUTION FOUND: 170 @ 73.582
c NEW SOLUTION FOUND: 169 @ 73.639
c NEW SOLUTION FOUND: 168 @ 73.698
c NEW SOLUTION FOUND: 167 @ 73.756
c NEW SOLUTION FOUND: 166 @ 73.815
c NEW SOLUTION FOUND: 165 @ 73.874
c NEW SOLUTION FOUND: 164 @ 73.933
c NEW SOLUTION FOUND: 163 @ 73.994
c NEW SOLUTION FOUND: 162 @ 74.054
c NEW SOLUTION FOUND: 161 @ 74.116
c NEW SOLUTION FOUND: 160 @ 74.172
c NEW SOLUTION FOUND: 159 @ 74.232
c NEW SOLUTION FOUND: 158 @ 74.293
c NEW SOLUTION FOUND: 157 @ 74.354
c NEW SOLUTION FOUND: 156 @ 74.411
c NEW SOLUTION FOUND: 155 @ 74.471
c NEW SOLUTION FOUND: 154 @ 74.532
c NEW SOLUTION FOUND: 153 @ 74.592
c NEW SOLUTION FOUND: 152 @ 74.654
c NEW SOLUTION FOUND: 151 @ 74.715
c NEW SOLUTION FOUND: 150 @ 74.774
c NEW SOLUTION FOUND: 149 @ 74.836
c NEW SOLUTION FOUND: 148 @ 74.897
c NEW SOLUTION FOUND: 147 @ 74.958
c NEW SOLUTION FOUND: 146 @ 75.019
c NEW SOLUTION FOUND: 145 @ 75.079
c NEW SOLUTION FOUND: 144 @ 75.141
c NEW SOLUTION FOUND: 143 @ 75.201
c NEW SOLUTION FOUND: 142 @ 75.261
c NEW SOLUTION FOUND: 141 @ 75.319
c NEW SOLUTION FOUND: 140 @ 75.38
c NEW SOLUTION FOUND: 139 @ 75.439
c NEW SOLUTION FOUND: 138 @ 75.497
c NEW SOLUTION FOUND: 137 @ 75.557
c NEW SOLUTION FOUND: 136 @ 75.615
c NEW SOLUTION FOUND: 135 @ 75.673
c NEW SOLUTION FOUND: 134 @ 75.735
c NEW SOLUTION FOUND: 133 @ 75.795
c NEW SOLUTION FOUND: 132 @ 75.855
c NEW SOLUTION FOUND: 131 @ 75.914
c NEW SOLUTION FOUND: 130 @ 75.977
c NEW SOLUTION FOUND: 129 @ 76.036
c NEW SOLUTION FOUND: 128 @ 76.098
c NEW SOLUTION FOUND: 127 @ 76.16
c NEW SOLUTION FOUND: 126 @ 76.221
c NEW SOLUTION FOUND: 125 @ 76.419
c NEW SOLUTION FOUND: 124 @ 76.487
c NEW SOLUTION FOUND: 123 @ 76.556
c NEW SOLUTION FOUND: 122 @ 76.621
c NEW SOLUTION FOUND: 121 @ 76.693
c NEW SOLUTION FOUND: 120 @ 76.76
c NEW SOLUTION FOUND: 119 @ 76.835
c NEW SOLUTION FOUND: 118 @ 76.903
c NEW SOLUTION FOUND: 117 @ 76.972
c NEW SOLUTION FOUND: 116 @ 77.035
c NEW SOLUTION FOUND: 115 @ 77.101
c NEW SOLUTION FOUND: 114 @ 77.164
c NEW SOLUTION FOUND: 113 @ 77.235
c NEW SOLUTION FOUND: 112 @ 77.307
c NEW SOLUTION FOUND: 111 @ 77.377
c NEW SOLUTION FOUND: 110 @ 77.451
c NEW SOLUTION FOUND: 109 @ 77.519
c NEW SOLUTION FOUND: 108 @ 77.66
c NEW SOLUTION FOUND: 107 @ 77.732
c NEW SOLUTION FOUND: 106 @ 77.802
c NEW SOLUTION FOUND: 105 @ 77.875
c NEW SOLUTION FOUND: 104 @ 77.95
c NEW SOLUTION FOUND: 103 @ 78.022
c NEW SOLUTION FOUND: 102 @ 78.088
c NEW SOLUTION FOUND: 101 @ 78.161
c NEW SOLUTION FOUND: 100 @ 78.234
c NEW SOLUTION FOUND: 99 @ 78.309
c NEW SOLUTION FOUND: 98 @ 78.383
c NEW SOLUTION FOUND: 97 @ 78.46
c NEW SOLUTION FOUND: 96 @ 78.528
c NEW SOLUTION FOUND: 95 @ 78.602
c NEW SOLUTION FOUND: 94 @ 78.673
c NEW SOLUTION FOUND: 93 @ 78.74
c NEW SOLUTION FOUND: 92 @ 78.815
c NEW SOLUTION FOUND: 91 @ 78.893
c NEW SOLUTION FOUND: 90 @ 78.965
c NEW SOLUTION FOUND: 89 @ 79.037
c NEW SOLUTION FOUND: 88 @ 79.113
c NEW SOLUTION FOUND: 87 @ 79.188
c NEW SOLUTION FOUND: 86 @ 79.263
c NEW SOLUTION FOUND: 85 @ 79.433
c NEW SOLUTION FOUND: 84 @ 79.714
c NEW SOLUTION FOUND: 83 @ 79.924
c NEW SOLUTION FOUND: 82 @ 80.224
c NEW SOLUTION FOUND: 81 @ 80.609
c NEW SOLUTION FOUND: 80 @ 80.753
c NEW SOLUTION FOUND: 79 @ 80.978
c NEW SOLUTION FOUND: 78 @ 81.153
c NEW SOLUTION FOUND: 77 @ 81.329
c NEW SOLUTION FOUND: 76 @ 81.492
c NEW SOLUTION FOUND: 75 @ 82.027
c NEW SOLUTION FOUND: 74 @ 82.471
c NEW SOLUTION FOUND: 73 @ 82.65
c NEW SOLUTION FOUND: 72 @ 83.157
c NEW SOLUTION FOUND: 71 @ 85.24
c NEW SOLUTION FOUND: 70 @ 101.96
c NEW SOLUTION FOUND: 69 @ 114.577
c NEW SOLUTION FOUND: 68 @ 117.2
c NEW SOLUTION FOUND: 67 @ 167.128
c NEW SOLUTION FOUND: 66 @ 259.934
#### 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
Raw data (loadavg): 0.91 0.95 0.98 2/54 7230
Raw data (stat): 7230 (runsolver) D 7229 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 652891109 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 2970 0 0 0 985 10 0 0 25 0 1 0 652891109 13176832 2471 4294967295 134512640 134714508 3221221792 3221217680 1075965248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3217 2471 1111 63 0 3154 0
vsize: 12868
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 7840 0 0 0 1974 22 0 0 25 0 1 0 652891109 13131776 2414 4294967295 134512640 134714508 3221221792 3221218992 1074140026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 2420 1111 63 0 3143 0
vsize: 12824
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 16644 0 0 0 2942 53 0 0 25 0 1 0 652891109 11870208 2182 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2898 2182 1111 63 0 2835 0
vsize: 11592
[startup+40.0032 s]
Raw data (loadavg): 1.04 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 27484 0 0 0 3904 91 0 0 25 0 1 0 652891109 11755520 2178 4294967295 134512640 134714508 3221221792 3221220432 134644971 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2178 1111 63 0 2807 0
vsize: 11480
[startup+50.0041 s]
Raw data (loadavg): 1.03 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 38589 0 0 0 4869 126 0 0 25 0 1 0 652891109 11943936 2179 4294967295 134512640 134714508 3221221792 3221219712 1075799528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2179 1111 63 0 2853 0
vsize: 11664
[startup+60.0046 s]
Raw data (loadavg): 1.02 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 50080 0 0 0 5832 164 0 0 25 0 1 0 652891109 11755520 2178 4294967295 134512640 134714508 3221221792 3221220576 134551447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2870 2178 1111 63 0 2807 0
vsize: 11480
[startup+70.005 s]
Raw data (loadavg): 1.02 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 60897 0 0 0 6796 199 0 0 25 0 1 0 652891109 11829248 2179 4294967295 134512640 134714508 3221221792 3221220192 1074118820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2178 1111 63 0 2807 0
vsize: 11552
[startup+80.0049 s]
Raw data (loadavg): 1.02 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 73416 0 0 0 7761 234 0 0 25 0 1 0 652891109 12062720 2253 4294967295 134512640 134714508 3221221792 3221219768 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2945 2253 1111 63 0 2882 0
vsize: 11780
[startup+90.0051 s]
Raw data (loadavg): 1.01 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 78157 0 0 0 8749 246 0 0 25 0 1 0 652891109 12853248 2387 4294967295 134512640 134714508 3221221792 3221219712 1075799727 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3138 2387 1111 63 0 3075 0
vsize: 12552
[startup+100.005 s]
Raw data (loadavg): 1.01 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 82217 0 0 0 9739 257 0 0 25 0 1 0 652891109 13127680 2482 4294967295 134512640 134714508 3221221792 3221220360 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3205 2482 1111 63 0 3142 0
vsize: 12820
[startup+110.005 s]
Raw data (loadavg): 1.01 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 86604 0 0 0 10728 268 0 0 25 0 1 0 652891109 14098432 2685 4294967295 134512640 134714508 3221221792 3221218032 1075115696 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2685 1111 63 0 3379 0
vsize: 13768
[startup+120.006 s]
Raw data (loadavg): 1.01 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 89628 0 0 0 11720 275 0 0 25 0 1 0 652891109 13463552 2567 4294967295 134512640 134714508 3221221792 3221219488 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2567 1111 63 0 3224 0
vsize: 13148
[startup+130.006 s]
Raw data (loadavg): 1.01 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 92978 0 0 0 12714 282 0 0 25 0 1 0 652891109 14544896 2803 4294967295 134512640 134714508 3221221792 3221218188 1075965344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3551 2803 1111 63 0 3488 0
vsize: 14204
[startup+140.005 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 97241 0 0 0 13702 294 0 0 25 0 1 0 652891109 14946304 2900 4294967295 134512640 134714508 3221221792 3221217936 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3649 2900 1111 63 0 3586 0
vsize: 14596
[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 102913 0 0 0 14688 308 0 0 25 0 1 0 652891109 14053376 2742 4294967295 134512640 134714508 3221221792 3221219840 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3431 2742 1111 63 0 3368 0
vsize: 13724
[startup+160.005 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 108700 0 0 0 15674 322 0 0 25 0 1 0 652891109 14057472 2743 4294967295 134512640 134714508 3221221792 3221219744 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3432 2743 1111 63 0 3369 0
vsize: 13728
[startup+170.005 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 112536 0 0 0 16665 331 0 0 25 0 1 0 652891109 15798272 3119 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3857 3119 1111 63 0 3794 0
vsize: 15428
[startup+180.147 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 7230
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 116516 0 0 0 17669 342 0 0 25 0 1 0 652891109 15663104 3042 4294967295 134512640 134714508 3221221792 3221217836 1074873554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3824 3042 1111 63 0 3761 0
vsize: 15296
[startup+190.204 s]
Raw data (loadavg): 1.08 0.99 0.99 3/57 7270
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 119642 0 0 0 18667 349 0 0 25 0 1 0 652891109 16080896 3157 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3926 3157 1111 63 0 3863 0
vsize: 15704
[startup+200.205 s]
Raw data (loadavg): 1.14 1.01 1.00 3/58 7280
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 122928 0 0 0 19660 357 0 0 25 0 1 0 652891109 16269312 3216 4294967295 134512640 134714508 3221221792 3221217968 1074882604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3216 1111 63 0 3909 0
vsize: 15888
[startup+210.284 s]
Raw data (loadavg): 1.27 1.04 1.01 2/54 7283
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 128167 0 0 0 20655 370 0 0 25 0 1 0 652891109 16637952 3330 4294967295 134512640 134714508 3221221792 3221217796 1074875773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4062 3330 1111 63 0 3999 0
vsize: 16248
[startup+220.285 s]
Raw data (loadavg): 1.22 1.04 1.01 2/54 7283
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 133332 0 0 0 21643 382 0 0 25 0 1 0 652891109 16949248 3405 4294967295 134512640 134714508 3221221792 3221217920 1075561195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4138 3405 1111 63 0 4075 0
vsize: 16552
[startup+230.285 s]
Raw data (loadavg): 1.19 1.04 1.01 2/54 7283
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 139094 0 0 0 22628 397 0 0 25 0 1 0 652891109 17158144 3454 4294967295 134512640 134714508 3221221792 3221217796 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4189 3454 1111 63 0 4126 0
vsize: 16756
[startup+240.285 s]
Raw data (loadavg): 1.16 1.03 1.01 2/54 7283
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 143156 0 0 0 23619 406 0 0 25 0 1 0 652891109 17514496 3505 4294967295 134512640 134714508 3221221792 3221217792 1075965260 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4276 3505 1111 63 0 4213 0
vsize: 17104
[startup+250.285 s]
Raw data (loadavg): 1.13 1.03 1.01 2/54 7283
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 146983 0 0 0 24610 416 0 0 25 0 1 0 652891109 17772544 3577 4294967295 134512640 134714508 3221221792 3221217648 1074871257 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4339 3577 1111 63 0 4276 0
vsize: 17356
[startup+260.285 s]
Raw data (loadavg): 1.11 1.03 1.01 2/54 7283
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 151167 0 0 0 25598 427 0 0 25 0 1 0 652891109 15503360 3097 4294967295 134512640 134714508 3221221792 3221220000 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3785 3097 1111 63 0 3722 0
vsize: 15140
[startup+270.286 s]
Raw data (loadavg): 1.10 1.03 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 154366 0 0 0 26589 437 0 0 25 0 1 0 652891109 16490496 3338 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4026 3338 1111 63 0 3963 0
vsize: 16104
[startup+280.285 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 155933 0 0 0 27585 440 0 0 25 0 1 0 652891109 17080320 3426 4294967295 134512640 134714508 3221221792 3221217968 1074882630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4170 3426 1111 63 0 4107 0
vsize: 16680
[startup+290.287 s]
Raw data (loadavg): 1.07 1.03 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 158898 0 0 0 28579 447 0 0 25 0 1 0 652891109 15544320 3107 4294967295 134512640 134714508 3221221792 3221219296 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 3107 1111 63 0 3732 0
vsize: 15180
[startup+300.287 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 161535 0 0 0 29573 453 0 0 25 0 1 0 652891109 16760832 3337 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3337 1111 63 0 4029 0
vsize: 16368
[startup+310.286 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 164422 0 0 0 30566 460 0 0 25 0 1 0 652891109 17494016 3506 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4271 3506 1111 63 0 4208 0
vsize: 17084
[startup+320.286 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 167185 0 0 0 31559 467 0 0 25 0 1 0 652891109 17158144 3482 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4189 3484 1111 63 0 4126 0
vsize: 16756
[startup+330.287 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 169622 0 0 0 32554 473 0 0 25 0 1 0 652891109 17678336 3581 4294967295 134512640 134714508 3221221792 3221217796 1074875787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3581 1111 63 0 4253 0
vsize: 17264
[startup+340.287 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 173244 0 0 0 33545 481 0 0 25 0 1 0 652891109 17960960 3616 4294967295 134512640 134714508 3221221792 3221217648 1074870997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4385 3616 1111 63 0 4322 0
vsize: 17540
[startup+350.287 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 175891 0 0 0 34539 488 0 0 25 0 1 0 652891109 15638528 3130 4294967295 134512640 134714508 3221221792 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 3130 1111 63 0 3755 0
vsize: 15272
[startup+360.287 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 179673 0 0 0 35530 497 0 0 25 0 1 0 652891109 15278080 3042 4294967295 134512640 134714508 3221221792 3221219592 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3730 3042 1111 63 0 3667 0
vsize: 14920
[startup+370.288 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 181756 0 0 0 36525 502 0 0 25 0 1 0 652891109 16171008 3228 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3948 3228 1111 63 0 3885 0
vsize: 15792
[startup+380.288 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 185025 0 0 0 37518 509 0 0 25 0 1 0 652891109 18022400 3667 4294967295 134512640 134714508 3221221792 3221217700 1074786579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4400 3667 1111 63 0 4337 0
vsize: 17600
[startup+390.289 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 189379 0 0 0 38509 518 0 0 25 0 1 0 652891109 18096128 3686 4294967295 134512640 134714508 3221221792 3221217760 1074872805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4418 3686 1111 63 0 4355 0
vsize: 17672
[startup+400.289 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 193044 0 0 0 39501 527 0 0 25 0 1 0 652891109 17698816 3634 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4321 3634 1111 63 0 4258 0
vsize: 17284
[startup+410.289 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 196094 0 0 0 40492 535 0 0 25 0 1 0 652891109 18341888 3706 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4478 3706 1111 63 0 4415 0
vsize: 17912
[startup+420.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 198310 0 0 0 41487 541 0 0 25 0 1 0 652891109 18038784 3678 4294967295 134512640 134714508 3221221792 3221217648 1074871041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3678 1111 63 0 4341 0
vsize: 17616
[startup+430.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 200463 0 0 0 42481 547 0 0 25 0 1 0 652891109 18001920 3667 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4395 3667 1111 63 0 4332 0
vsize: 17580
[startup+440.291 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 202612 0 0 0 43476 553 0 0 25 0 1 0 652891109 18026496 3669 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4401 3669 1111 63 0 4338 0
vsize: 17604
[startup+450.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 204907 0 0 0 44470 558 0 0 25 0 1 0 652891109 18014208 3672 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3672 1111 63 0 4335 0
vsize: 17592
[startup+460.29 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 209123 0 0 0 45460 569 0 0 25 0 1 0 652891109 18182144 3697 4294967295 134512640 134714508 3221221792 3221217760 1074872793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4439 3697 1111 63 0 4376 0
vsize: 17756
[startup+470.291 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 213738 0 0 0 46449 580 0 0 25 0 1 0 652891109 18706432 3825 4294967295 134512640 134714508 3221221792 3221217968 1074882601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4567 3825 1111 63 0 4504 0
vsize: 18268
[startup+480.291 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 216067 0 0 0 47444 585 0 0 25 0 1 0 652891109 18685952 3781 4294967295 134512640 134714508 3221221792 3221217968 1074882604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3781 1111 63 0 4499 0
vsize: 18248
[startup+490.292 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 219752 0 0 0 48435 595 0 0 25 0 1 0 652891109 17735680 3576 4294967295 134512640 134714508 3221221792 3221219712 1075799503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4330 3576 1111 63 0 4267 0
vsize: 17320
[startup+500.292 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 222718 0 0 0 49429 600 0 0 25 0 1 0 652891109 16744448 3328 4294967295 134512640 134714508 3221221792 3221219432 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4088 3332 1111 63 0 4025 0
vsize: 16352
[startup+510.292 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 225865 0 0 0 50422 608 0 0 25 0 1 0 652891109 16695296 3357 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4076 3357 1111 63 0 4013 0
vsize: 16304
[startup+520.292 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7285
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 230811 0 0 0 51409 621 0 0 25 0 1 0 652891109 17928192 3672 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3672 1111 63 0 4314 0
vsize: 17508
[startup+530.292 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 233678 0 0 0 52403 628 0 0 25 0 1 0 652891109 18599936 3767 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3767 1111 63 0 4478 0
vsize: 18164
[startup+540.293 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 235919 0 0 0 53398 633 0 0 25 0 1 0 652891109 18526208 3757 4294967295 134512640 134714508 3221221792 3221217648 1074871213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4523 3757 1111 63 0 4460 0
vsize: 18092
[startup+550.293 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 238945 0 0 0 54391 639 0 0 25 0 1 0 652891109 16875520 3344 4294967295 134512640 134714508 3221221792 3221220096 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4120 3344 1111 63 0 4057 0
vsize: 16480
[startup+560.293 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 244226 0 0 0 55380 650 0 0 25 0 1 0 652891109 19120128 3926 4294967295 134512640 134714508 3221221792 3221218012 1074878521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4668 3926 1111 63 0 4605 0
vsize: 18672
[startup+570.293 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 246483 0 0 0 56375 656 0 0 25 0 1 0 652891109 19120128 3938 4294967295 134512640 134714508 3221221792 3221217648 1074870807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4668 3938 1111 63 0 4605 0
vsize: 18672
[startup+580.293 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 248711 0 0 0 57370 661 0 0 25 0 1 0 652891109 19472384 4041 4294967295 134512640 134714508 3221221792 3221217700 1074786537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4754 4041 1111 63 0 4691 0
vsize: 19016
[startup+590.294 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 253082 0 0 0 58361 670 0 0 25 0 1 0 652891109 19574784 4049 4294967295 134512640 134714508 3221221792 3221218896 1074139033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4779 4049 1111 63 0 4716 0
vsize: 19116
[startup+600.294 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 256076 0 0 0 59353 678 0 0 25 0 1 0 652891109 19898368 4104 4294967295 134512640 134714508 3221221792 3221218844 1075964112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4858 4104 1111 63 0 4795 0
vsize: 19432
[startup+610.293 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 260193 0 0 0 60344 688 0 0 25 0 1 0 652891109 18362368 3796 4294967295 134512640 134714508 3221221792 3221219648 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4483 3796 1111 63 0 4420 0
vsize: 17932
[startup+620.293 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 261707 0 0 0 61341 691 0 0 25 0 1 0 652891109 21139456 4426 4294967295 134512640 134714508 3221221792 3221217760 1075965280 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5161 4426 1111 63 0 5098 0
vsize: 20644
[startup+630.293 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 265748 0 0 0 62331 700 0 0 25 0 1 0 652891109 18231296 3764 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4451 3764 1111 63 0 4388 0
vsize: 17804
[startup+640.294 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 269160 0 0 0 63323 709 0 0 25 0 1 0 652891109 20246528 4200 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4943 4200 1111 63 0 4880 0
vsize: 19772
[startup+650.294 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 272128 0 0 0 64316 716 0 0 25 0 1 0 652891109 22020096 4635 4294967295 134512640 134714508 3221221792 3221217764 1074786491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5376 4635 1111 63 0 5313 0
vsize: 21504
[startup+660.294 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 275409 0 0 0 65309 723 0 0 25 0 1 0 652891109 22306816 4626 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5446 4626 1111 63 0 5383 0
vsize: 21784
[startup+670.295 s]
Raw data (loadavg): 1.16 1.03 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 279055 0 0 0 66299 734 0 0 25 0 1 0 652891109 22024192 4649 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5377 4649 1111 63 0 5314 0
vsize: 21508
[startup+680.295 s]
Raw data (loadavg): 1.13 1.03 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 282446 0 0 0 67291 742 0 0 25 0 1 0 652891109 22294528 4717 4294967295 134512640 134714508 3221221792 3221217836 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5443 4717 1111 63 0 5380 0
vsize: 21772
[startup+690.296 s]
Raw data (loadavg): 1.11 1.03 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 286142 0 0 0 68282 751 0 0 25 0 1 0 652891109 22298624 4721 4294967295 134512640 134714508 3221221792 3221217968 1074882616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4721 1111 63 0 5381 0
vsize: 21776
[startup+700.296 s]
Raw data (loadavg): 1.10 1.03 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 286148 0 0 0 69282 751 0 0 25 0 1 0 652891109 22298624 4727 4294967295 134512640 134714508 3221221792 3221218064 1074960837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4727 1111 63 0 5381 0
vsize: 21776
[startup+710.296 s]
Raw data (loadavg): 1.08 1.03 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 291447 0 0 0 70269 764 0 0 25 0 1 0 652891109 19083264 3971 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4659 3971 1111 63 0 4596 0
vsize: 18636
[startup+720.297 s]
Raw data (loadavg): 1.07 1.03 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 293363 0 0 0 71265 769 0 0 25 0 1 0 652891109 22626304 4777 4294967295 134512640 134714508 3221221792 3221218480 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5524 4777 1111 63 0 5461 0
vsize: 22096
[startup+730.296 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 299671 0 0 0 72249 785 0 0 25 0 1 0 652891109 21987328 4661 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5368 4661 1111 63 0 5305 0
vsize: 21472
[startup+740.297 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 300651 0 0 0 73247 787 0 0 25 0 1 0 652891109 22740992 4829 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5552 4829 1111 63 0 5489 0
vsize: 22208
[startup+750.297 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 306083 0 0 0 74236 798 0 0 25 0 1 0 652891109 19746816 4128 4294967295 134512640 134714508 3221221792 3221219888 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4821 4128 1111 63 0 4758 0
vsize: 19284
[startup+760.297 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 308015 0 0 0 75232 803 0 0 25 0 1 0 652891109 23093248 4928 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5638 4928 1111 63 0 5575 0
vsize: 22552
[startup+770.297 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 313073 0 0 0 76219 815 0 0 25 0 1 0 652891109 18903040 3922 4294967295 134512640 134714508 3221221792 3221219664 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3922 1111 63 0 4552 0
vsize: 18460
[startup+780.298 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 315695 0 0 0 77213 822 0 0 25 0 1 0 652891109 18579456 3843 4294967295 134512640 134714508 3221221792 3221219712 1074153555 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4536 3843 1111 63 0 4473 0
vsize: 18144
[startup+790.299 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 318548 0 0 0 78205 830 0 0 25 0 1 0 652891109 19513344 4071 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4764 4071 1111 63 0 4701 0
vsize: 19056
[startup+800.299 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 321082 0 0 0 79199 836 0 0 25 0 1 0 652891109 19533824 4076 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4769 4076 1111 63 0 4706 0
vsize: 19076
[startup+810.299 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 325296 0 0 0 80188 847 0 0 25 0 1 0 652891109 21979136 4649 4294967295 134512640 134714508 3221221792 3221217968 1074882604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5366 4649 1111 63 0 5303 0
vsize: 21464
[startup+820.3 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 330752 0 0 0 81175 860 0 0 25 0 1 0 652891109 22028288 4661 4294967295 134512640 134714508 3221221792 3221217796 1074875773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5378 4661 1111 63 0 5315 0
vsize: 21512
[startup+830.3 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 332897 0 0 0 82170 865 0 0 25 0 1 0 652891109 21565440 4572 4294967295 134512640 134714508 3221221792 3221219792 1074916565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5265 4572 1111 63 0 5202 0
vsize: 21060
[startup+840.301 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 334806 0 0 0 83166 870 0 0 25 0 1 0 652891109 19574784 4086 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4779 4086 1111 63 0 4716 0
vsize: 19116
[startup+850.302 s]
Raw data (loadavg): 1.16 1.05 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 339187 0 0 0 84155 881 0 0 25 0 1 0 652891109 22102016 4677 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4677 1111 63 0 5333 0
vsize: 21584
[startup+860.301 s]
Raw data (loadavg): 1.21 1.06 1.02 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 341984 0 0 0 85148 888 0 0 25 0 1 0 652891109 22323200 4682 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4682 1111 63 0 5387 0
vsize: 21800
[startup+870.301 s]
Raw data (loadavg): 1.18 1.06 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 344857 0 0 0 86141 896 0 0 25 0 1 0 652891109 22016000 4664 4294967295 134512640 134714508 3221221792 3221217952 1074794585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5375 4664 1111 63 0 5312 0
vsize: 21500
[startup+880.301 s]
Raw data (loadavg): 1.15 1.06 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 347587 0 0 0 87134 902 0 0 25 0 1 0 652891109 22298624 4657 4294967295 134512640 134714508 3221221792 3221217756 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4657 1111 63 0 5381 0
vsize: 21776
[startup+890.302 s]
Raw data (loadavg): 1.13 1.05 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 348860 0 0 0 88132 905 0 0 25 0 1 0 652891109 18935808 3930 4294967295 134512640 134714508 3221221792 3221218928 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4623 3930 1111 63 0 4560 0
vsize: 18492
[startup+900.303 s]
Raw data (loadavg): 1.11 1.05 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 351500 0 0 0 89126 911 0 0 25 0 1 0 652891109 18579456 3843 4294967295 134512640 134714508 3221221792 3221219552 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4536 3843 1111 63 0 4473 0
vsize: 18144
[startup+910.302 s]
Raw data (loadavg): 1.09 1.05 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 355022 0 0 0 90117 920 0 0 25 0 1 0 652891109 21610496 4566 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5276 4570 1111 63 0 5213 0
vsize: 21104
[startup+920.303 s]
Raw data (loadavg): 1.08 1.05 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 358036 0 0 0 91109 928 0 0 25 0 1 0 652891109 21770240 4603 4294967295 134512640 134714508 3221221792 3221218736 1074620126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4603 1111 63 0 5252 0
vsize: 21260
[startup+930.303 s]
Raw data (loadavg): 1.06 1.05 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 363056 0 0 0 92098 940 0 0 25 0 1 0 652891109 21831680 4613 4294967295 134512640 134714508 3221221792 3221217796 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4613 1111 63 0 5267 0
vsize: 21320
[startup+940.304 s]
Raw data (loadavg): 1.05 1.04 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 365754 0 0 0 93091 947 0 0 25 0 1 0 652891109 22138880 4687 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5405 4687 1111 63 0 5342 0
vsize: 21620
[startup+950.304 s]
Raw data (loadavg): 1.05 1.04 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 366931 0 0 0 94087 950 0 0 25 0 1 0 652891109 18919424 3926 4294967295 134512640 134714508 3221221792 3221219768 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3926 1111 63 0 4556 0
vsize: 18476
[startup+960.304 s]
Raw data (loadavg): 1.04 1.04 1.01 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 369686 0 0 0 95080 958 0 0 25 0 1 0 652891109 19353600 4032 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4725 4032 1111 63 0 4662 0
vsize: 18900
[startup+970.305 s]
Raw data (loadavg): 1.03 1.04 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 372951 0 0 0 96072 967 0 0 25 0 1 0 652891109 21745664 4548 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5309 4548 1111 63 0 5246 0
vsize: 21236
[startup+980.305 s]
Raw data (loadavg): 1.03 1.04 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 376363 0 0 0 97065 974 0 0 25 0 1 0 652891109 19292160 4017 4294967295 134512640 134714508 3221221792 3221220096 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4710 4017 1111 63 0 4647 0
vsize: 18840
[startup+990.306 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 379906 0 0 0 98056 983 0 0 25 0 1 0 652891109 22114304 4643 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4643 1111 63 0 5336 0
vsize: 21596
[startup+1000.31 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 384313 0 0 0 99046 993 0 0 25 0 1 0 652891109 21405696 4533 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5226 4533 1111 63 0 5163 0
vsize: 20904
[startup+1010.31 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 387267 0 0 0 100039 999 0 0 25 0 1 0 652891109 21307392 4509 4294967295 134512640 134714508 3221221792 3221219072 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5202 4509 1111 63 0 5139 0
vsize: 20808
[startup+1020.31 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 390239 0 0 0 101033 1006 0 0 25 0 1 0 652891109 22102016 4657 4294967295 134512640 134714508 3221221792 3221217796 1074875773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4657 1111 63 0 5333 0
vsize: 21584
[startup+1030.31 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 392839 0 0 0 102027 1013 0 0 25 0 1 0 652891109 21696512 4587 4294967295 134512640 134714508 3221221792 3221217796 1074875769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4587 1111 63 0 5234 0
vsize: 21188
[startup+1040.31 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 395354 0 0 0 103021 1019 0 0 25 0 1 0 652891109 21684224 4571 4294967295 134512640 134714508 3221221792 3221217796 1074875787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5294 4571 1111 63 0 5231 0
vsize: 21176
[startup+1050.31 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 398957 0 0 0 104013 1026 0 0 25 0 1 0 652891109 19460096 4058 4294967295 134512640 134714508 3221221792 3221219600 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4751 4058 1111 63 0 4688 0
vsize: 19004
[startup+1060.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 403745 0 0 0 105002 1037 0 0 25 0 1 0 652891109 18579456 3843 4294967295 134512640 134714508 3221221792 3221219464 1077378596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4536 3843 1111 63 0 4473 0
vsize: 18144
[startup+1070.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 405337 0 0 0 105998 1042 0 0 25 0 1 0 652891109 21807104 4610 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4610 1111 63 0 5261 0
vsize: 21296
[startup+1080.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 407769 0 0 0 106992 1048 0 0 25 0 1 0 652891109 21807104 4567 4294967295 134512640 134714508 3221221792 3221217996 1075564295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4567 1111 63 0 5261 0
vsize: 21296
[startup+1090.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 410071 0 0 0 107985 1055 0 0 25 0 1 0 652891109 21401600 4506 4294967295 134512640 134714508 3221221792 3221217648 1074871213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5225 4506 1111 63 0 5162 0
vsize: 20900
[startup+1100.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 412452 0 0 0 108979 1061 0 0 25 0 1 0 652891109 21610496 4563 4294967295 134512640 134714508 3221221792 3221217648 1074871030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5276 4563 1111 63 0 5213 0
vsize: 21104
[startup+1110.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 417230 0 0 0 109968 1073 0 0 25 0 1 0 652891109 21991424 4594 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5369 4594 1111 63 0 5306 0
vsize: 21476
[startup+1120.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 420881 0 0 0 110959 1082 0 0 25 0 1 0 652891109 19472384 4061 4294967295 134512640 134714508 3221221792 3221219888 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4754 4061 1111 63 0 4691 0
vsize: 19016
[startup+1130.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 423272 0 0 0 111953 1087 0 0 25 0 1 0 652891109 19476480 4062 4294967295 134512640 134714508 3221221792 3221219944 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4755 4062 1111 63 0 4692 0
vsize: 19020
[startup+1140.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 427306 0 0 0 112943 1098 0 0 25 0 1 0 652891109 21962752 4624 4294967295 134512640 134714508 3221221792 3221218080 1075088581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4624 1111 63 0 5299 0
vsize: 21448
[startup+1150.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 432501 0 0 0 113930 1111 0 0 25 0 1 0 652891109 22024192 4648 4294967295 134512640 134714508 3221221792 3221217776 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5377 4648 1111 63 0 5314 0
vsize: 21508
[startup+1160.31 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 434238 0 0 0 114924 1117 0 0 25 0 1 0 652891109 21344256 4518 4294967295 134512640 134714508 3221221792 3221219752 1074138333 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5211 4518 1111 63 0 5148 0
vsize: 20844
[startup+1170.31 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 436391 0 0 0 115919 1123 0 0 25 0 1 0 652891109 19324928 4025 4294967295 134512640 134714508 3221221792 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4718 4025 1111 63 0 4655 0
vsize: 18872
[startup+1180.31 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 437790 0 0 0 116916 1126 0 0 25 0 1 0 652891109 21889024 4619 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5344 4619 1111 63 0 5281 0
vsize: 21376
[startup+1190.31 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 440373 0 0 0 117910 1132 0 0 25 0 1 0 652891109 21876736 4615 4294967295 134512640 134714508 3221221792 3221217968 1074882616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5341 4615 1111 63 0 5278 0
vsize: 21364
[startup+1200.31 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) R 7229 7876 7672 0 -1 0 442900 0 0 0 118903 1139 0 0 25 0 1 0 652891109 21803008 4582 4294967295 134512640 134714508 3221221792 3221217968 1074882601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4582 1111 63 0 5260 0
vsize: 21292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 7287
Raw data (stat): 7230 (bsolo_lpr_cuts) Z 7229 7876 7672 0 -1 1036 442900 0 0 0 118903 1140 0 0 25 0 1 0 652891109 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.32
CPU time (s): 1200.44
CPU user time (s): 1189.04
CPU system time (s): 11.4053
CPU usage (%): 100.01
Max. virtual memory (Kb): 22552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####