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 23472

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 23:37:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=595 boxname=wulflinc31 idbench=67 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ebc55cfc194a279163f52418008eccf2  /oldhome/oroussel/tmp/wulflinc31/normalized-ex5.pi.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ex5.pi.opb
IDLAUNCH: 595
/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:        916792 kB
Buffers:         41016 kB
Cached:          54736 kB
SwapCached:        944 kB
Active:          79840 kB
Inactive:        18392 kB
HighTotal:      131008 kB
HighFree:        75292 kB
LowTotal:       903652 kB
LowFree:        841500 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14240 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 23:56:51 (client local time) WITH STATUS 10 IN 1186.32 SECONDS
stats: 595 0 1186.32 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2460 variables and 873 constraints.
c After prepocess the problem consists of 2432 variables and 767 constraints.
c preprocess terminated 4.415 s
c Initial Lower Bound: 64
c Lower Bound Elapsed time: 3.91475
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1871 @ 21.543
c NEW SOLUTION FOUND: 1870 @ 21.6
c NEW SOLUTION FOUND: 1869 @ 21.63
c NEW SOLUTION FOUND: 1868 @ 21.66
c NEW SOLUTION FOUND: 1867 @ 21.69
c NEW SOLUTION FOUND: 1866 @ 21.72
c NEW SOLUTION FOUND: 1865 @ 21.75
c NEW SOLUTION FOUND: 1864 @ 21.78
c NEW SOLUTION FOUND: 1863 @ 21.809
c NEW SOLUTION FOUND: 1862 @ 21.839
c NEW SOLUTION FOUND: 1861 @ 21.868
c NEW SOLUTION FOUND: 1860 @ 21.898
c NEW SOLUTION FOUND: 1859 @ 21.927
c NEW SOLUTION FOUND: 1858 @ 21.957
c NEW SOLUTION FOUND: 1857 @ 21.986
c NEW SOLUTION FOUND: 1856 @ 22.016
c NEW SOLUTION FOUND: 1855 @ 22.045
c NEW SOLUTION FOUND: 1854 @ 22.075
c NEW SOLUTION FOUND: 1853 @ 22.104
c NEW SOLUTION FOUND: 1852 @ 22.134
c NEW SOLUTION FOUND: 1851 @ 22.163
c NEW SOLUTION FOUND: 1850 @ 22.193
c NEW SOLUTION FOUND: 1849 @ 22.222
c NEW SOLUTION FOUND: 1848 @ 22.253
c NEW SOLUTION FOUND: 1847 @ 22.282
c NEW SOLUTION FOUND: 1846 @ 22.311
c NEW SOLUTION FOUND: 1845 @ 22.341
c NEW SOLUTION FOUND: 1844 @ 22.37
c NEW SOLUTION FOUND: 1843 @ 22.4
c NEW SOLUTION FOUND: 1842 @ 22.429
c NEW SOLUTION FOUND: 1841 @ 22.459
c NEW SOLUTION FOUND: 1840 @ 22.488
c NEW SOLUTION FOUND: 1839 @ 22.518
c NEW SOLUTION FOUND: 1838 @ 22.547
c NEW SOLUTION FOUND: 1837 @ 22.576
c NEW SOLUTION FOUND: 1836 @ 22.606
c NEW SOLUTION FOUND: 1835 @ 22.635
c NEW SOLUTION FOUND: 1834 @ 22.665
c NEW SOLUTION FOUND: 1833 @ 22.694
c NEW SOLUTION FOUND: 1832 @ 22.724
c NEW SOLUTION FOUND: 1831 @ 22.753
c NEW SOLUTION FOUND: 1830 @ 22.783
c NEW SOLUTION FOUND: 1829 @ 22.812
c NEW SOLUTION FOUND: 1828 @ 22.841
c NEW SOLUTION FOUND: 1827 @ 22.871
c NEW SOLUTION FOUND: 1826 @ 22.9
c NEW SOLUTION FOUND: 1825 @ 22.93
c NEW SOLUTION FOUND: 1824 @ 22.959
c NEW SOLUTION FOUND: 1823 @ 22.989
c NEW SOLUTION FOUND: 1822 @ 23.018
c NEW SOLUTION FOUND: 1821 @ 23.048
c NEW SOLUTION FOUND: 1820 @ 23.077
c NEW SOLUTION FOUND: 1819 @ 23.107
c NEW SOLUTION FOUND: 1818 @ 23.136
c NEW SOLUTION FOUND: 1817 @ 23.166
c NEW SOLUTION FOUND: 1816 @ 23.195
c NEW SOLUTION FOUND: 1815 @ 23.225
c NEW SOLUTION FOUND: 1814 @ 23.254
c NEW SOLUTION FOUND: 1813 @ 23.283
c NEW SOLUTION FOUND: 1812 @ 23.313
c NEW SOLUTION FOUND: 1811 @ 23.342
c NEW SOLUTION FOUND: 1810 @ 23.372
c NEW SOLUTION FOUND: 1809 @ 23.401
c NEW SOLUTION FOUND: 1808 @ 23.431
c NEW SOLUTION FOUND: 1807 @ 23.46
c NEW SOLUTION FOUND: 1806 @ 23.489
c NEW SOLUTION FOUND: 1805 @ 23.519
c NEW SOLUTION FOUND: 1804 @ 23.548
c NEW SOLUTION FOUND: 1803 @ 23.578
c NEW SOLUTION FOUND: 1802 @ 23.607
c NEW SOLUTION FOUND: 1801 @ 23.637
c NEW SOLUTION FOUND: 1800 @ 23.666
c NEW SOLUTION FOUND: 1799 @ 23.695
c NEW SOLUTION FOUND: 1798 @ 23.725
c NEW SOLUTION FOUND: 1797 @ 23.754
c NEW SOLUTION FOUND: 1796 @ 23.784
c NEW SOLUTION FOUND: 1795 @ 23.813
c NEW SOLUTION FOUND: 1794 @ 23.843
c NEW SOLUTION FOUND: 1793 @ 23.872
c NEW SOLUTION FOUND: 1792 @ 23.902
c NEW SOLUTION FOUND: 1791 @ 23.932
c NEW SOLUTION FOUND: 1790 @ 23.961
c NEW SOLUTION FOUND: 1789 @ 23.991
c NEW SOLUTION FOUND: 1788 @ 24.021
c NEW SOLUTION FOUND: 1787 @ 24.05
c NEW SOLUTION FOUND: 1786 @ 24.08
c NEW SOLUTION FOUND: 1785 @ 24.11
c NEW SOLUTION FOUND: 1784 @ 24.139
c NEW SOLUTION FOUND: 1783 @ 24.169
c NEW SOLUTION FOUND: 1782 @ 24.199
c NEW SOLUTION FOUND: 1781 @ 24.228
c NEW SOLUTION FOUND: 1780 @ 24.258
c NEW SOLUTION FOUND: 1779 @ 24.288
c NEW SOLUTION FOUND: 1778 @ 24.318
c NEW SOLUTION FOUND: 1777 @ 24.347
c NEW SOLUTION FOUND: 1776 @ 24.377
c NEW SOLUTION FOUND: 1775 @ 24.407
c NEW SOLUTION FOUND: 1774 @ 24.436
c NEW SOLUTION FOUND: 1773 @ 24.466
c NEW SOLUTION FOUND: 1772 @ 24.496
c NEW SOLUTION FOUND: 1771 @ 24.525
c NEW SOLUTION FOUND: 1770 @ 24.555
c NEW SOLUTION FOUND: 1769 @ 24.585
c NEW SOLUTION FOUND: 1768 @ 24.614
c NEW SOLUTION FOUND: 1767 @ 24.644
c NEW SOLUTION FOUND: 1766 @ 24.674
c NEW SOLUTION FOUND: 1765 @ 24.703
c NEW SOLUTION FOUND: 1764 @ 24.733
c NEW SOLUTION FOUND: 1763 @ 24.763
c NEW SOLUTION FOUND: 1762 @ 24.792
c NEW SOLUTION FOUND: 1761 @ 24.822
c NEW SOLUTION FOUND: 1760 @ 24.852
c NEW SOLUTION FOUND: 1759 @ 24.881
c NEW SOLUTION FOUND: 1758 @ 24.911
c NEW SOLUTION FOUND: 1757 @ 24.941
c NEW SOLUTION FOUND: 1756 @ 24.97
c NEW SOLUTION FOUND: 1755 @ 25
c NEW SOLUTION FOUND: 1754 @ 25.029
c NEW SOLUTION FOUND: 1753 @ 25.059
c NEW SOLUTION FOUND: 1752 @ 25.089
c NEW SOLUTION FOUND: 1751 @ 25.118
c NEW SOLUTION FOUND: 1750 @ 25.148
c NEW SOLUTION FOUND: 1749 @ 25.177
c NEW SOLUTION FOUND: 1748 @ 25.207
c NEW SOLUTION FOUND: 1747 @ 25.236
c NEW SOLUTION FOUND: 1746 @ 25.266
c NEW SOLUTION FOUND: 1745 @ 25.296
c NEW SOLUTION FOUND: 1744 @ 25.325
c NEW SOLUTION FOUND: 1743 @ 25.355
c NEW SOLUTION FOUND: 1742 @ 25.384
c NEW SOLUTION FOUND: 1741 @ 25.414
c NEW SOLUTION FOUND: 1740 @ 25.444
c NEW SOLUTION FOUND: 1739 @ 25.473
c NEW SOLUTION FOUND: 1738 @ 25.503
c NEW SOLUTION FOUND: 1737 @ 25.532
c NEW SOLUTION FOUND: 1736 @ 25.562
c NEW SOLUTION FOUND: 1735 @ 25.591
c NEW SOLUTION FOUND: 1734 @ 25.621
c NEW SOLUTION FOUND: 1733 @ 25.65
c NEW SOLUTION FOUND: 1732 @ 25.68
c NEW SOLUTION FOUND: 1731 @ 25.709
c NEW SOLUTION FOUND: 1730 @ 25.739
c NEW SOLUTION FOUND: 1729 @ 25.768
c NEW SOLUTION FOUND: 1728 @ 25.798
c NEW SOLUTION FOUND: 1727 @ 25.827
c NEW SOLUTION FOUND: 1726 @ 25.857
c NEW SOLUTION FOUND: 1725 @ 25.886
c NEW SOLUTION FOUND: 1724 @ 25.915
c NEW SOLUTION FOUND: 1723 @ 25.945
c NEW SOLUTION FOUND: 1722 @ 25.974
c NEW SOLUTION FOUND: 1721 @ 26.004
c NEW SOLUTION FOUND: 1720 @ 26.033
c NEW SOLUTION FOUND: 1719 @ 26.062
c NEW SOLUTION FOUND: 1718 @ 26.092
c NEW SOLUTION FOUND: 1717 @ 26.121
c NEW SOLUTION FOUND: 1716 @ 26.151
c NEW SOLUTION FOUND: 1715 @ 26.18
c NEW SOLUTION FOUND: 1714 @ 26.21
c NEW SOLUTION FOUND: 1713 @ 26.239
c NEW SOLUTION FOUND: 1712 @ 26.269
c NEW SOLUTION FOUND: 1711 @ 26.298
c NEW SOLUTION FOUND: 1710 @ 26.328
c NEW SOLUTION FOUND: 1709 @ 26.357
c NEW SOLUTION FOUND: 1708 @ 26.386
c NEW SOLUTION FOUND: 1707 @ 26.416
c NEW SOLUTION FOUND: 1706 @ 26.445
c NEW SOLUTION FOUND: 1705 @ 26.474
c NEW SOLUTION FOUND: 1704 @ 26.504
c NEW SOLUTION FOUND: 1703 @ 26.533
c NEW SOLUTION FOUND: 1702 @ 26.563
c NEW SOLUTION FOUND: 1701 @ 26.592
c NEW SOLUTION FOUND: 1700 @ 26.621
c NEW SOLUTION FOUND: 1699 @ 26.65
c NEW SOLUTION FOUND: 1698 @ 26.68
c NEW SOLUTION FOUND: 1697 @ 26.709
c NEW SOLUTION FOUND: 1696 @ 26.738
c NEW SOLUTION FOUND: 1695 @ 26.767
c NEW SOLUTION FOUND: 1694 @ 26.796
c NEW SOLUTION FOUND: 1693 @ 26.825
c NEW SOLUTION FOUND: 1692 @ 26.855
c NEW SOLUTION FOUND: 1691 @ 26.884
c NEW SOLUTION FOUND: 1690 @ 26.914
c NEW SOLUTION FOUND: 1689 @ 26.943
c NEW SOLUTION FOUND: 1688 @ 26.972
c NEW SOLUTION FOUND: 1687 @ 27.001
c NEW SOLUTION FOUND: 1686 @ 27.031
c NEW SOLUTION FOUND: 1685 @ 27.06
c NEW SOLUTION FOUND: 1684 @ 27.089
c NEW SOLUTION FOUND: 1683 @ 27.118
c NEW SOLUTION FOUND: 1682 @ 27.148
c NEW SOLUTION FOUND: 1681 @ 27.177
c NEW SOLUTION FOUND: 1680 @ 27.206
c NEW SOLUTION FOUND: 1679 @ 27.235
c NEW SOLUTION FOUND: 1678 @ 27.265
c NEW SOLUTION FOUND: 1677 @ 27.294
c NEW SOLUTION FOUND: 1676 @ 27.323
c NEW SOLUTION FOUND: 1675 @ 27.355
c NEW SOLUTION FOUND: 1674 @ 27.389
c NEW SOLUTION FOUND: 1673 @ 27.42
c NEW SOLUTION FOUND: 1672 @ 27.452
c NEW SOLUTION FOUND: 1671 @ 27.485
c NEW SOLUTION FOUND: 1670 @ 27.517
c NEW SOLUTION FOUND: 1669 @ 27.549
c NEW SOLUTION FOUND: 1668 @ 27.581
c NEW SOLUTION FOUND: 1667 @ 27.613
c NEW SOLUTION FOUND: 1666 @ 27.645
c NEW SOLUTION FOUND: 1665 @ 27.678
c NEW SOLUTION FOUND: 1664 @ 27.71
c NEW SOLUTION FOUND: 1663 @ 27.742
c NEW SOLUTION FOUND: 1662 @ 27.774
c NEW SOLUTION FOUND: 1661 @ 27.806
c NEW SOLUTION FOUND: 1660 @ 27.838
c NEW SOLUTION FOUND: 1659 @ 27.87
c NEW SOLUTION FOUND: 1658 @ 27.902
c NEW SOLUTION FOUND: 1657 @ 27.934
c NEW SOLUTION FOUND: 1656 @ 27.967
c NEW SOLUTION FOUND: 1655 @ 27.999
c NEW SOLUTION FOUND: 1654 @ 28.031
c NEW SOLUTION FOUND: 1653 @ 28.063
c NEW SOLUTION FOUND: 1652 @ 28.095
c NEW SOLUTION FOUND: 1651 @ 28.127
c NEW SOLUTION FOUND: 1650 @ 28.16
c NEW SOLUTION FOUND: 1649 @ 28.192
c NEW SOLUTION FOUND: 1648 @ 28.224
c NEW SOLUTION FOUND: 1647 @ 28.256
c NEW SOLUTION FOUND: 1646 @ 28.288
c NEW SOLUTION FOUND: 1645 @ 28.32
c NEW SOLUTION FOUND: 1644 @ 28.352
c NEW SOLUTION FOUND: 1643 @ 28.384
c NEW SOLUTION FOUND: 1642 @ 28.416
c NEW SOLUTION FOUND: 1641 @ 28.448
c NEW SOLUTION FOUND: 1640 @ 28.48
c NEW SOLUTION FOUND: 1639 @ 28.512
c NEW SOLUTION FOUND: 1638 @ 28.544
c NEW SOLUTION FOUND: 1637 @ 28.576
c NEW SOLUTION FOUND: 1636 @ 28.609
c NEW SOLUTION FOUND: 1635 @ 28.64
c NEW SOLUTION FOUND: 1634 @ 28.673
c NEW SOLUTION FOUND: 1633 @ 28.705
c NEW SOLUTION FOUND: 1632 @ 28.737
c NEW SOLUTION FOUND: 1631 @ 28.768
c NEW SOLUTION FOUND: 1630 @ 28.8
c NEW SOLUTION FOUND: 1629 @ 28.833
c NEW SOLUTION FOUND: 1628 @ 28.865
c NEW SOLUTION FOUND: 1627 @ 28.896
c NEW SOLUTION FOUND: 1626 @ 28.929
c NEW SOLUTION FOUND: 1625 @ 28.96
c NEW SOLUTION FOUND: 1624 @ 28.992
c NEW SOLUTION FOUND: 1623 @ 29.024
c NEW SOLUTION FOUND: 1622 @ 29.056
c NEW SOLUTION FOUND: 1621 @ 29.088
c NEW SOLUTION FOUND: 1620 @ 29.12
c NEW SOLUTION FOUND: 1619 @ 29.152
c NEW SOLUTION FOUND: 1618 @ 29.184
c NEW SOLUTION FOUND: 1617 @ 29.217
c NEW SOLUTION FOUND: 1616 @ 29.249
c NEW SOLUTION FOUND: 1615 @ 29.281
c NEW SOLUTION FOUND: 1614 @ 29.313
c NEW SOLUTION FOUND: 1613 @ 29.345
c NEW SOLUTION FOUND: 1612 @ 29.377
c NEW SOLUTION FOUND: 1611 @ 29.409
c NEW SOLUTION FOUND: 1610 @ 29.44
c NEW SOLUTION FOUND: 1609 @ 29.473
c NEW SOLUTION FOUND: 1608 @ 29.505
c NEW SOLUTION FOUND: 1607 @ 29.537
c NEW SOLUTION FOUND: 1606 @ 29.569
c NEW SOLUTION FOUND: 1605 @ 29.601
c NEW SOLUTION FOUND: 1604 @ 29.633
c NEW SOLUTION FOUND: 1603 @ 29.665
c NEW SOLUTION FOUND: 1602 @ 29.697
c NEW SOLUTION FOUND: 1601 @ 29.728
c NEW SOLUTION FOUND: 1600 @ 29.76
c NEW SOLUTION FOUND: 1599 @ 29.792
c NEW SOLUTION FOUND: 1598 @ 29.824
c NEW SOLUTION FOUND: 1597 @ 29.856
c NEW SOLUTION FOUND: 1596 @ 29.888
c NEW SOLUTION FOUND: 1595 @ 29.92
c NEW SOLUTION FOUND: 1594 @ 29.952
c NEW SOLUTION FOUND: 1593 @ 29.984
c NEW SOLUTION FOUND: 1592 @ 30.016
c NEW SOLUTION FOUND: 1591 @ 30.047
c NEW SOLUTION FOUND: 1590 @ 30.079
c NEW SOLUTION FOUND: 1589 @ 30.111
c NEW SOLUTION FOUND: 1588 @ 30.143
c NEW SOLUTION FOUND: 1587 @ 30.175
c NEW SOLUTION FOUND: 1586 @ 30.206
c NEW SOLUTION FOUND: 1585 @ 30.238
c NEW SOLUTION FOUND: 1584 @ 30.271
c NEW SOLUTION FOUND: 1583 @ 30.302
c NEW SOLUTION FOUND: 1582 @ 30.334
c NEW SOLUTION FOUND: 1581 @ 30.366
c NEW SOLUTION FOUND: 1580 @ 30.398
c NEW SOLUTION FOUND: 1579 @ 30.43
c NEW SOLUTION FOUND: 1578 @ 30.462
c NEW SOLUTION FOUND: 1577 @ 30.494
c NEW SOLUTION FOUND: 1576 @ 30.525
c NEW SOLUTION FOUND: 1575 @ 30.557
c NEW SOLUTION FOUND: 1574 @ 30.589
c NEW SOLUTION FOUND: 1573 @ 30.621
c NEW SOLUTION FOUND: 1572 @ 30.653
c NEW SOLUTION FOUND: 1571 @ 30.685
c NEW SOLUTION FOUND: 1570 @ 30.717
c NEW SOLUTION FOUND: 1569 @ 30.748
c NEW SOLUTION FOUND: 1568 @ 30.78
c NEW SOLUTION FOUND: 1567 @ 30.812
c NEW SOLUTION FOUND: 1566 @ 30.844
c NEW SOLUTION FOUND: 1565 @ 30.876
c NEW SOLUTION FOUND: 1564 @ 30.908
c NEW SOLUTION FOUND: 1563 @ 30.939
c NEW SOLUTION FOUND: 1562 @ 30.971
c NEW SOLUTION FOUND: 1561 @ 31.003
c NEW SOLUTION FOUND: 1560 @ 31.035
c NEW SOLUTION FOUND: 1559 @ 31.066
c NEW SOLUTION FOUND: 1558 @ 31.098
c NEW SOLUTION FOUND: 1557 @ 31.13
c NEW SOLUTION FOUND: 1556 @ 31.162
c NEW SOLUTION FOUND: 1555 @ 31.193
c NEW SOLUTION FOUND: 1554 @ 31.225
c NEW SOLUTION FOUND: 1553 @ 31.257
c NEW SOLUTION FOUND: 1552 @ 31.289
c NEW SOLUTION FOUND: 1551 @ 31.32
c NEW SOLUTION FOUND: 1550 @ 31.352
c NEW SOLUTION FOUND: 1549 @ 31.384
c NEW SOLUTION FOUND: 1548 @ 31.416
c NEW SOLUTION FOUND: 1547 @ 31.447
c NEW SOLUTION FOUND: 1546 @ 31.479
c NEW SOLUTION FOUND: 1545 @ 31.511
c NEW SOLUTION FOUND: 1544 @ 31.543
c NEW SOLUTION FOUND: 1543 @ 31.575
c NEW SOLUTION FOUND: 1542 @ 31.606
c NEW SOLUTION FOUND: 1541 @ 31.638
c NEW SOLUTION FOUND: 1540 @ 31.67
c NEW SOLUTION FOUND: 1539 @ 31.701
c NEW SOLUTION FOUND: 1538 @ 31.733
c NEW SOLUTION FOUND: 1537 @ 31.765
c NEW SOLUTION FOUND: 1536 @ 31.797
c NEW SOLUTION FOUND: 1535 @ 31.828
c NEW SOLUTION FOUND: 1534 @ 31.86
c NEW SOLUTION FOUND: 1533 @ 31.891
c NEW SOLUTION FOUND: 1532 @ 31.923
c NEW SOLUTION FOUND: 1531 @ 31.955
c NEW SOLUTION FOUND: 1530 @ 31.986
c NEW SOLUTION FOUND: 1529 @ 32.018
c NEW SOLUTION FOUND: 1528 @ 32.05
c NEW SOLUTION FOUND: 1527 @ 32.081
c NEW SOLUTION FOUND: 1526 @ 32.113
c NEW SOLUTION FOUND: 1525 @ 32.145
c NEW SOLUTION FOUND: 1524 @ 32.176
c NEW SOLUTION FOUND: 1523 @ 32.208
c NEW SOLUTION FOUND: 1522 @ 32.239
c NEW SOLUTION FOUND: 1521 @ 32.271
c NEW SOLUTION FOUND: 1520 @ 32.303
c NEW SOLUTION FOUND: 1519 @ 32.334
c NEW SOLUTION FOUND: 1518 @ 32.366
c NEW SOLUTION FOUND: 1517 @ 32.397
c NEW SOLUTION FOUND: 1516 @ 32.429
c NEW SOLUTION FOUND: 1515 @ 32.46
c NEW SOLUTION FOUND: 1514 @ 32.492
c NEW SOLUTION FOUND: 1513 @ 32.523
c NEW SOLUTION FOUND: 1512 @ 32.555
c NEW SOLUTION FOUND: 1511 @ 32.586
c NEW SOLUTION FOUND: 1510 @ 32.618
c NEW SOLUTION FOUND: 1509 @ 32.649
c NEW SOLUTION FOUND: 1508 @ 32.681
c NEW SOLUTION FOUND: 1507 @ 32.712
c NEW SOLUTION FOUND: 1506 @ 32.744
c NEW SOLUTION FOUND: 1505 @ 32.775
c NEW SOLUTION FOUND: 1504 @ 32.807
c NEW SOLUTION FOUND: 1503 @ 32.838
c NEW SOLUTION FOUND: 1502 @ 32.87
c NEW SOLUTION FOUND: 1501 @ 32.901
c NEW SOLUTION FOUND: 1500 @ 32.933
c NEW SOLUTION FOUND: 1499 @ 32.964
c NEW SOLUTION FOUND: 1498 @ 32.996
c NEW SOLUTION FOUND: 1497 @ 33.027
c NEW SOLUTION FOUND: 1496 @ 33.059
c NEW SOLUTION FOUND: 1495 @ 33.09
c NEW SOLUTION FOUND: 1494 @ 33.122
c NEW SOLUTION FOUND: 1493 @ 33.153
c NEW SOLUTION FOUND: 1492 @ 33.185
c NEW SOLUTION FOUND: 1491 @ 33.216
c NEW SOLUTION FOUND: 1490 @ 33.248
c NEW SOLUTION FOUND: 1489 @ 33.279
c NEW SOLUTION FOUND: 1488 @ 33.31
c NEW SOLUTION FOUND: 1487 @ 33.342
c NEW SOLUTION FOUND: 1486 @ 33.373
c NEW SOLUTION FOUND: 1485 @ 33.404
c NEW SOLUTION FOUND: 1484 @ 33.436
c NEW SOLUTION FOUND: 1483 @ 33.467
c NEW SOLUTION FOUND: 1482 @ 33.499
c NEW SOLUTION FOUND: 1481 @ 33.529
c NEW SOLUTION FOUND: 1480 @ 33.56
c NEW SOLUTION FOUND: 1479 @ 33.592
c NEW SOLUTION FOUND: 1478 @ 33.623
c NEW SOLUTION FOUND: 1477 @ 33.655
c NEW SOLUTION FOUND: 1476 @ 33.686
c NEW SOLUTION FOUND: 1475 @ 33.717
c NEW SOLUTION FOUND: 1474 @ 33.749
c NEW SOLUTION FOUND: 1473 @ 33.78
c NEW SOLUTION FOUND: 1472 @ 33.812
c NEW SOLUTION FOUND: 1471 @ 33.843
c NEW SOLUTION FOUND: 1470 @ 33.874
c NEW SOLUTION FOUND: 1469 @ 33.905
c NEW SOLUTION FOUND: 1468 @ 33.937
c NEW SOLUTION FOUND: 1467 @ 33.968
c NEW SOLUTION FOUND: 1466 @ 33.999
c NEW SOLUTION FOUND: 1465 @ 34.031
c NEW SOLUTION FOUND: 1464 @ 34.062
c NEW SOLUTION FOUND: 1463 @ 34.093
c NEW SOLUTION FOUND: 1462 @ 34.124
c NEW SOLUTION FOUND: 1461 @ 34.156
c NEW SOLUTION FOUND: 1460 @ 34.187
c NEW SOLUTION FOUND: 1459 @ 34.218
c NEW SOLUTION FOUND: 1458 @ 34.25
c NEW SOLUTION FOUND: 1457 @ 34.281
c NEW SOLUTION FOUND: 1456 @ 34.312
c NEW SOLUTION FOUND: 1455 @ 34.344
c NEW SOLUTION FOUND: 1454 @ 34.375
c NEW SOLUTION FOUND: 1453 @ 34.406
c NEW SOLUTION FOUND: 1452 @ 34.438
c NEW SOLUTION FOUND: 1451 @ 34.469
c NEW SOLUTION FOUND: 1450 @ 34.5
c NEW SOLUTION FOUND: 1449 @ 34.531
c NEW SOLUTION FOUND: 1448 @ 34.563
c NEW SOLUTION FOUND: 1447 @ 34.594
c NEW SOLUTION FOUND: 1446 @ 34.625
c NEW SOLUTION FOUND: 1445 @ 34.656
c NEW SOLUTION FOUND: 1444 @ 34.687
c NEW SOLUTION FOUND: 1443 @ 34.718
c NEW SOLUTION FOUND: 1442 @ 34.75
c NEW SOLUTION FOUND: 1441 @ 34.781
c NEW SOLUTION FOUND: 1440 @ 34.812
c NEW SOLUTION FOUND: 1439 @ 34.843
c NEW SOLUTION FOUND: 1438 @ 34.874
c NEW SOLUTION FOUND: 1437 @ 34.905
c NEW SOLUTION FOUND: 1436 @ 34.937
c NEW SOLUTION FOUND: 1435 @ 34.968
c NEW SOLUTION FOUND: 1434 @ 34.999
c NEW SOLUTION FOUND: 1433 @ 35.03
c NEW SOLUTION FOUND: 1432 @ 35.061
c NEW SOLUTION FOUND: 1431 @ 35.093
c NEW SOLUTION FOUND: 1430 @ 35.123
c NEW SOLUTION FOUND: 1429 @ 35.154
c NEW SOLUTION FOUND: 1428 @ 35.185
c NEW SOLUTION FOUND: 1427 @ 35.217
c NEW SOLUTION FOUND: 1426 @ 35.248
c NEW SOLUTION FOUND: 1425 @ 35.279
c NEW SOLUTION FOUND: 1424 @ 35.31
c NEW SOLUTION FOUND: 1423 @ 35.341
c NEW SOLUTION FOUND: 1422 @ 35.372
c NEW SOLUTION FOUND: 1421 @ 35.403
c NEW SOLUTION FOUND: 1420 @ 35.434
c NEW SOLUTION FOUND: 1419 @ 35.465
c NEW SOLUTION FOUND: 1418 @ 35.496
c NEW SOLUTION FOUND: 1417 @ 35.527
c NEW SOLUTION FOUND: 1416 @ 35.557
c NEW SOLUTION FOUND: 1415 @ 35.589
c NEW SOLUTION FOUND: 1414 @ 35.619
c NEW SOLUTION FOUND: 1413 @ 35.651
c NEW SOLUTION FOUND: 1412 @ 35.681
c NEW SOLUTION FOUND: 1411 @ 35.712
c NEW SOLUTION FOUND: 1410 @ 35.743
c NEW SOLUTION FOUND: 1409 @ 35.775
c NEW SOLUTION FOUND: 1408 @ 35.805
c NEW SOLUTION FOUND: 1407 @ 35.836
c NEW SOLUTION FOUND: 1406 @ 35.867
c NEW SOLUTION FOUND: 1405 @ 35.898
c NEW SOLUTION FOUND: 1404 @ 35.929
c NEW SOLUTION FOUND: 1403 @ 35.96
c NEW SOLUTION FOUND: 1402 @ 35.991
c NEW SOLUTION FOUND: 1401 @ 36.022
c NEW SOLUTION FOUND: 1400 @ 36.053
c NEW SOLUTION FOUND: 1399 @ 36.084
c NEW SOLUTION FOUND: 1398 @ 36.114
c NEW SOLUTION FOUND: 1397 @ 36.145
c NEW SOLUTION FOUND: 1396 @ 36.176
c NEW SOLUTION FOUND: 1395 @ 36.207
c NEW SOLUTION FOUND: 1394 @ 36.238
c NEW SOLUTION FOUND: 1393 @ 36.269
c NEW SOLUTION FOUND: 1392 @ 36.3
c NEW SOLUTION FOUND: 1391 @ 36.331
c NEW SOLUTION FOUND: 1390 @ 36.362
c NEW SOLUTION FOUND: 1389 @ 36.393
c NEW SOLUTION FOUND: 1388 @ 36.424
c NEW SOLUTION FOUND: 1387 @ 36.455
c NEW SOLUTION FOUND: 1386 @ 36.486
c NEW SOLUTION FOUND: 1385 @ 36.517
c NEW SOLUTION FOUND: 1384 @ 36.547
c NEW SOLUTION FOUND: 1383 @ 36.579
c NEW SOLUTION FOUND: 1382 @ 36.609
c NEW SOLUTION FOUND: 1381 @ 36.64
c NEW SOLUTION FOUND: 1380 @ 36.671
c NEW SOLUTION FOUND: 1379 @ 36.702
c NEW SOLUTION FOUND: 1378 @ 36.733
c NEW SOLUTION FOUND: 1377 @ 36.764
c NEW SOLUTION FOUND: 1376 @ 36.794
c NEW SOLUTION FOUND: 1375 @ 36.825
c NEW SOLUTION FOUND: 1374 @ 36.856
c NEW SOLUTION FOUND: 1373 @ 36.887
c NEW SOLUTION FOUND: 1372 @ 36.917
c NEW SOLUTION FOUND: 1371 @ 36.948
c NEW SOLUTION FOUND: 1370 @ 36.979
c NEW SOLUTION FOUND: 1369 @ 37.01
c NEW SOLUTION FOUND: 1368 @ 37.04
c NEW SOLUTION FOUND: 1367 @ 37.071
c NEW SOLUTION FOUND: 1366 @ 37.102
c NEW SOLUTION FOUND: 1365 @ 37.133
c NEW SOLUTION FOUND: 1364 @ 37.164
c NEW SOLUTION FOUND: 1363 @ 37.195
c NEW SOLUTION FOUND: 1362 @ 37.226
c NEW SOLUTION FOUND: 1361 @ 37.257
c NEW SOLUTION FOUND: 1360 @ 37.287
c NEW SOLUTION FOUND: 1359 @ 37.318
c NEW SOLUTION FOUND: 1358 @ 37.349
c NEW SOLUTION FOUND: 1357 @ 37.38
c NEW SOLUTION FOUND: 1356 @ 37.41
c NEW SOLUTION FOUND: 1355 @ 37.441
c NEW SOLUTION FOUND: 1354 @ 37.472
c NEW SOLUTION FOUND: 1353 @ 37.502
c NEW SOLUTION FOUND: 1352 @ 37.533
c NEW SOLUTION FOUND: 1351 @ 37.564
c NEW SOLUTION FOUND: 1350 @ 37.595
c NEW SOLUTION FOUND: 1349 @ 37.625
c NEW SOLUTION FOUND: 1348 @ 37.656
c NEW SOLUTION FOUND: 1347 @ 37.687
c NEW SOLUTION FOUND: 1346 @ 37.717
c NEW SOLUTION FOUND: 1345 @ 37.748
c NEW SOLUTION FOUND: 1344 @ 37.779
c NEW SOLUTION FOUND: 1343 @ 37.809
c NEW SOLUTION FOUND: 1342 @ 37.84
c NEW SOLUTION FOUND: 1341 @ 37.87
c NEW SOLUTION FOUND: 1340 @ 37.901
c NEW SOLUTION FOUND: 1339 @ 37.932
c NEW SOLUTION FOUND: 1338 @ 37.963
c NEW SOLUTION FOUND: 1337 @ 37.994
c NEW SOLUTION FOUND: 1336 @ 38.024
c NEW SOLUTION FOUND: 1335 @ 38.055
c NEW SOLUTION FOUND: 1334 @ 38.085
c NEW SOLUTION FOUND: 1333 @ 38.116
c NEW SOLUTION FOUND: 1332 @ 38.147
c NEW SOLUTION FOUND: 1331 @ 38.177
c NEW SOLUTION FOUND: 1330 @ 38.208
c NEW SOLUTION FOUND: 1329 @ 38.238
c NEW SOLUTION FOUND: 1328 @ 38.269
c NEW SOLUTION FOUND: 1327 @ 38.299
c NEW SOLUTION FOUND: 1326 @ 38.33
c NEW SOLUTION FOUND: 1325 @ 38.361
c NEW SOLUTION FOUND: 1324 @ 38.391
c NEW SOLUTION FOUND: 1323 @ 38.422
c NEW SOLUTION FOUND: 1322 @ 38.452
c NEW SOLUTION FOUND: 1321 @ 38.483
c NEW SOLUTION FOUND: 1320 @ 38.513
c NEW SOLUTION FOUND: 1319 @ 38.544
c NEW SOLUTION FOUND: 1318 @ 38.574
c NEW SOLUTION FOUND: 1317 @ 38.605
c NEW SOLUTION FOUND: 1316 @ 38.635
c NEW SOLUTION FOUND: 1315 @ 38.666
c NEW SOLUTION FOUND: 1314 @ 38.696
c NEW SOLUTION FOUND: 1313 @ 38.727
c NEW SOLUTION FOUND: 1312 @ 38.757
c NEW SOLUTION FOUND: 1311 @ 38.788
c NEW SOLUTION FOUND: 1310 @ 38.818
c NEW SOLUTION FOUND: 1309 @ 38.848
c NEW SOLUTION FOUND: 1308 @ 38.879
c NEW SOLUTION FOUND: 1307 @ 38.91
c NEW SOLUTION FOUND: 1306 @ 38.94
c NEW SOLUTION FOUND: 1305 @ 38.971
c NEW SOLUTION FOUND: 1304 @ 39.001
c NEW SOLUTION FOUND: 1303 @ 39.032
c NEW SOLUTION FOUND: 1302 @ 39.062
c NEW SOLUTION FOUND: 1301 @ 39.093
c NEW SOLUTION FOUND: 1300 @ 39.123
c NEW SOLUTION FOUND: 1299 @ 39.153
c NEW SOLUTION FOUND: 1298 @ 39.184
c NEW SOLUTION FOUND: 1297 @ 39.214
c NEW SOLUTION FOUND: 1296 @ 39.244
c NEW SOLUTION FOUND: 1295 @ 39.275
c NEW SOLUTION FOUND: 1294 @ 39.305
c NEW SOLUTION FOUND: 1293 @ 39.335
c NEW SOLUTION FOUND: 1292 @ 39.366
c NEW SOLUTION FOUND: 1291 @ 39.396
c NEW SOLUTION FOUND: 1290 @ 39.426
c NEW SOLUTION FOUND: 1289 @ 39.456
c NEW SOLUTION FOUND: 1288 @ 39.487
c NEW SOLUTION FOUND: 1287 @ 39.517
c NEW SOLUTION FOUND: 1286 @ 39.547
c NEW SOLUTION FOUND: 1285 @ 39.578
c NEW SOLUTION FOUND: 1284 @ 39.608
c NEW SOLUTION FOUND: 1283 @ 39.638
c NEW SOLUTION FOUND: 1282 @ 39.668
c NEW SOLUTION FOUND: 1281 @ 39.699
c NEW SOLUTION FOUND: 1280 @ 39.729
c NEW SOLUTION FOUND: 1279 @ 39.759
c NEW SOLUTION FOUND: 1278 @ 39.79
c NEW SOLUTION FOUND: 1277 @ 39.82
c NEW SOLUTION FOUND: 1276 @ 39.85
c NEW SOLUTION FOUND: 1275 @ 39.88
c NEW SOLUTION FOUND: 1274 @ 39.91
c NEW SOLUTION FOUND: 1273 @ 39.94
c NEW SOLUTION FOUND: 1272 @ 39.97
c NEW SOLUTION FOUND: 1271 @ 40.001
c NEW SOLUTION FOUND: 1270 @ 40.031
c NEW SOLUTION FOUND: 1269 @ 40.062
c NEW SOLUTION FOUND: 1268 @ 40.092
c NEW SOLUTION FOUND: 1267 @ 40.122
c NEW SOLUTION FOUND: 1266 @ 40.152
c NEW SOLUTION FOUND: 1265 @ 40.182
c NEW SOLUTION FOUND: 1264 @ 40.213
c NEW SOLUTION FOUND: 1263 @ 40.243
c NEW SOLUTION FOUND: 1262 @ 40.274
c NEW SOLUTION FOUND: 1261 @ 40.304
c NEW SOLUTION FOUND: 1260 @ 40.334
c NEW SOLUTION FOUND: 1259 @ 40.364
c NEW SOLUTION FOUND: 1258 @ 40.393
c NEW SOLUTION FOUND: 1257 @ 40.423
c NEW SOLUTION FOUND: 1256 @ 40.453
c NEW SOLUTION FOUND: 1255 @ 40.483
c NEW SOLUTION FOUND: 1254 @ 40.513
c NEW SOLUTION FOUND: 1253 @ 40.543
c NEW SOLUTION FOUND: 1252 @ 40.574
c NEW SOLUTION FOUND: 1251 @ 40.604
c NEW SOLUTION FOUND: 1250 @ 40.634
c NEW SOLUTION FOUND: 1249 @ 40.664
c NEW SOLUTION FOUND: 1248 @ 40.694
c NEW SOLUTION FOUND: 1247 @ 40.724
c NEW SOLUTION FOUND: 1246 @ 40.754
c NEW SOLUTION FOUND: 1245 @ 40.784
c NEW SOLUTION FOUND: 1244 @ 40.814
c NEW SOLUTION FOUND: 1243 @ 40.844
c NEW SOLUTION FOUND: 1242 @ 40.874
c NEW SOLUTION FOUND: 1241 @ 40.904
c NEW SOLUTION FOUND: 1240 @ 40.934
c NEW SOLUTION FOUND: 1239 @ 40.964
c NEW SOLUTION FOUND: 1238 @ 40.994
c NEW SOLUTION FOUND: 1237 @ 41.025
c NEW SOLUTION FOUND: 1236 @ 41.055
c NEW SOLUTION FOUND: 1235 @ 41.085
c NEW SOLUTION FOUND: 1234 @ 41.115
c NEW SOLUTION FOUND: 1233 @ 41.145
c NEW SOLUTION FOUND: 1232 @ 41.175
c NEW SOLUTION FOUND: 1231 @ 41.205
c NEW SOLUTION FOUND: 1230 @ 41.235
c NEW SOLUTION FOUND: 1229 @ 41.265
c NEW SOLUTION FOUND: 1228 @ 41.295
c NEW SOLUTION FOUND: 1227 @ 41.325
c NEW SOLUTION FOUND: 1226 @ 41.355
c NEW SOLUTION FOUND: 1225 @ 41.385
c NEW SOLUTION FOUND: 1224 @ 41.415
c NEW SOLUTION FOUND: 1223 @ 41.445
c NEW SOLUTION FOUND: 1222 @ 41.475
c NEW SOLUTION FOUND: 1221 @ 41.505
c NEW SOLUTION FOUND: 1220 @ 41.535
c NEW SOLUTION FOUND: 1219 @ 41.565
c NEW SOLUTION FOUND: 1218 @ 41.595
c NEW SOLUTION FOUND: 1217 @ 41.625
c NEW SOLUTION FOUND: 1216 @ 41.655
c NEW SOLUTION FOUND: 1215 @ 41.685
c NEW SOLUTION FOUND: 1214 @ 41.714
c NEW SOLUTION FOUND: 1213 @ 41.744
c NEW SOLUTION FOUND: 1212 @ 41.774
c NEW SOLUTION FOUND: 1211 @ 41.804
c NEW SOLUTION FOUND: 1210 @ 41.834
c NEW SOLUTION FOUND: 1209 @ 41.864
c NEW SOLUTION FOUND: 1208 @ 41.894
c NEW SOLUTION FOUND: 1207 @ 41.924
c NEW SOLUTION FOUND: 1206 @ 41.953
c NEW SOLUTION FOUND: 1205 @ 41.983
c NEW SOLUTION FOUND: 1204 @ 42.013
c NEW SOLUTION FOUND: 1203 @ 42.043
c NEW SOLUTION FOUND: 1202 @ 42.073
c NEW SOLUTION FOUND: 1201 @ 42.103
c NEW SOLUTION FOUND: 1200 @ 42.133
c NEW SOLUTION FOUND: 1199 @ 42.163
c NEW SOLUTION FOUND: 1198 @ 42.192
c NEW SOLUTION FOUND: 1197 @ 42.222
c NEW SOLUTION FOUND: 1196 @ 42.252
c NEW SOLUTION FOUND: 1195 @ 42.282
c NEW SOLUTION FOUND: 1194 @ 42.312
c NEW SOLUTION FOUND: 1193 @ 42.342
c NEW SOLUTION FOUND: 1192 @ 42.372
c NEW SOLUTION FOUND: 1191 @ 42.402
c NEW SOLUTION FOUND: 1190 @ 42.431
c NEW SOLUTION FOUND: 1189 @ 42.461
c NEW SOLUTION FOUND: 1188 @ 42.491
c NEW SOLUTION FOUND: 1187 @ 42.521
c NEW SOLUTION FOUND: 1186 @ 42.551
c NEW SOLUTION FOUND: 1185 @ 42.58
c NEW SOLUTION FOUND: 1184 @ 42.61
c NEW SOLUTION FOUND: 1183 @ 42.64
c NEW SOLUTION FOUND: 1182 @ 42.67
c NEW SOLUTION FOUND: 1181 @ 42.7
c NEW SOLUTION FOUND: 1180 @ 42.729
c NEW SOLUTION FOUND: 1179 @ 42.759
c NEW SOLUTION FOUND: 1178 @ 42.789
c NEW SOLUTION FOUND: 1177 @ 42.819
c NEW SOLUTION FOUND: 1176 @ 42.849
c NEW SOLUTION FOUND: 1175 @ 42.878
c NEW SOLUTION FOUND: 1174 @ 42.908
c NEW SOLUTION FOUND: 1173 @ 42.938
c NEW SOLUTION FOUND: 1172 @ 42.968
c NEW SOLUTION FOUND: 1171 @ 42.997
c NEW SOLUTION FOUND: 1170 @ 43.027
c NEW SOLUTION FOUND: 1169 @ 43.057
c NEW SOLUTION FOUND: 1168 @ 43.087
c NEW SOLUTION FOUND: 1167 @ 43.117
c NEW SOLUTION FOUND: 1166 @ 43.146
c NEW SOLUTION FOUND: 1165 @ 43.176
c NEW SOLUTION FOUND: 1164 @ 43.206
c NEW SOLUTION FOUND: 1163 @ 43.236
c NEW SOLUTION FOUND: 1162 @ 43.265
c NEW SOLUTION FOUND: 1161 @ 43.295
c NEW SOLUTION FOUND: 1160 @ 43.325
c NEW SOLUTION FOUND: 1159 @ 43.355
c NEW SOLUTION FOUND: 1158 @ 43.384
c NEW SOLUTION FOUND: 1157 @ 43.414
c NEW SOLUTION FOUND: 1156 @ 43.444
c NEW SOLUTION FOUND: 1155 @ 43.474
c NEW SOLUTION FOUND: 1154 @ 43.503
c NEW SOLUTION FOUND: 1153 @ 43.533
c NEW SOLUTION FOUND: 1152 @ 43.563
c NEW SOLUTION FOUND: 1151 @ 43.593
c NEW SOLUTION FOUND: 1150 @ 43.624
c NEW SOLUTION FOUND: 1149 @ 43.654
c NEW SOLUTION FOUND: 1148 @ 43.684
c NEW SOLUTION FOUND: 1147 @ 43.714
c NEW SOLUTION FOUND: 1146 @ 43.744
c NEW SOLUTION FOUND: 1145 @ 43.774
c NEW SOLUTION FOUND: 1144 @ 43.804
c NEW SOLUTION FOUND: 1143 @ 43.835
c NEW SOLUTION FOUND: 1142 @ 43.865
c NEW SOLUTION FOUND: 1141 @ 43.895
c NEW SOLUTION FOUND: 1140 @ 43.925
c NEW SOLUTION FOUND: 1139 @ 43.955
c NEW SOLUTION FOUND: 1138 @ 43.985
c NEW SOLUTION FOUND: 1137 @ 44.015
c NEW SOLUTION FOUND: 1136 @ 44.046
c NEW SOLUTION FOUND: 1135 @ 44.076
c NEW SOLUTION FOUND: 1134 @ 44.106
c NEW SOLUTION FOUND: 1133 @ 44.136
c NEW SOLUTION FOUND: 1132 @ 44.166
c NEW SOLUTION FOUND: 1131 @ 44.197
c NEW SOLUTION FOUND: 1130 @ 44.227
c NEW SOLUTION FOUND: 1129 @ 44.257
c NEW SOLUTION FOUND: 1128 @ 44.287
c NEW SOLUTION FOUND: 1127 @ 44.318
c NEW SOLUTION FOUND: 1126 @ 44.348
c NEW SOLUTION FOUND: 1125 @ 44.378
c NEW SOLUTION FOUND: 1124 @ 44.409
c NEW SOLUTION FOUND: 1123 @ 44.439
c NEW SOLUTION FOUND: 1122 @ 44.469
c NEW SOLUTION FOUND: 1121 @ 44.499
c NEW SOLUTION FOUND: 1120 @ 44.529
c NEW SOLUTION FOUND: 1119 @ 44.559
c NEW SOLUTION FOUND: 1118 @ 44.589
c NEW SOLUTION FOUND: 1117 @ 44.619
c NEW SOLUTION FOUND: 1116 @ 44.65
c NEW SOLUTION FOUND: 1115 @ 44.68
c NEW SOLUTION FOUND: 1114 @ 44.71
c NEW SOLUTION FOUND: 1113 @ 44.74
c NEW SOLUTION FOUND: 1112 @ 44.771
c NEW SOLUTION FOUND: 1111 @ 44.801
c NEW SOLUTION FOUND: 1110 @ 44.831
c NEW SOLUTION FOUND: 1109 @ 44.861
c NEW SOLUTION FOUND: 1108 @ 44.891
c NEW SOLUTION FOUND: 1107 @ 44.922
c NEW SOLUTION FOUND: 1106 @ 44.952
c NEW SOLUTION FOUND: 1105 @ 44.982
c NEW SOLUTION FOUND: 1104 @ 45.012
c NEW SOLUTION FOUND: 1103 @ 45.042
c NEW SOLUTION FOUND: 1102 @ 45.073
c NEW SOLUTION FOUND: 1101 @ 45.103
c NEW SOLUTION FOUND: 1100 @ 45.133
c NEW SOLUTION FOUND: 1099 @ 45.163
c NEW SOLUTION FOUND: 1098 @ 45.193
c NEW SOLUTION FOUND: 1097 @ 45.223
c NEW SOLUTION FOUND: 1096 @ 45.253
c NEW SOLUTION FOUND: 1095 @ 45.283
c NEW SOLUTION FOUND: 1094 @ 45.313
c NEW SOLUTION FOUND: 1093 @ 45.343
c NEW SOLUTION FOUND: 1092 @ 45.373
c NEW SOLUTION FOUND: 1091 @ 45.404
c NEW SOLUTION FOUND: 1090 @ 45.433
c NEW SOLUTION FOUND: 1089 @ 45.463
c NEW SOLUTION FOUND: 1088 @ 45.494
c NEW SOLUTION FOUND: 1087 @ 45.524
c NEW SOLUTION FOUND: 1086 @ 45.554
c NEW SOLUTION FOUND: 1085 @ 45.584
c NEW SOLUTION FOUND: 1084 @ 45.614
c NEW SOLUTION FOUND: 1083 @ 45.644
c NEW SOLUTION FOUND: 1082 @ 45.673
c NEW SOLUTION FOUND: 1081 @ 45.702
c NEW SOLUTION FOUND: 1080 @ 45.732
c NEW SOLUTION FOUND: 1079 @ 45.761
c NEW SOLUTION FOUND: 1078 @ 45.791
c NEW SOLUTION FOUND: 1077 @ 45.82
c NEW SOLUTION FOUND: 1076 @ 45.85
c NEW SOLUTION FOUND: 1075 @ 45.879
c NEW SOLUTION FOUND: 1074 @ 45.909
c NEW SOLUTION FOUND: 1073 @ 45.938
c NEW SOLUTION FOUND: 1072 @ 45.967
c NEW SOLUTION FOUND: 1071 @ 45.996
c NEW SOLUTION FOUND: 1070 @ 46.026
c NEW SOLUTION FOUND: 1069 @ 46.055
c NEW SOLUTION FOUND: 1068 @ 46.084
c NEW SOLUTION FOUND: 1067 @ 46.114
c NEW SOLUTION FOUND: 1066 @ 46.144
c NEW SOLUTION FOUND: 1065 @ 46.173
c NEW SOLUTION FOUND: 1064 @ 46.202
c NEW SOLUTION FOUND: 1063 @ 46.231
c NEW SOLUTION FOUND: 1062 @ 46.261
c NEW SOLUTION FOUND: 1061 @ 46.291
c NEW SOLUTION FOUND: 1060 @ 46.32
c NEW SOLUTION FOUND: 1059 @ 46.35
c NEW SOLUTION FOUND: 1058 @ 46.379
c NEW SOLUTION FOUND: 1057 @ 46.408
c NEW SOLUTION FOUND: 1056 @ 46.438
c NEW SOLUTION FOUND: 1055 @ 46.467
c NEW SOLUTION FOUND: 1054 @ 46.496
c NEW SOLUTION FOUND: 1053 @ 46.526
c NEW SOLUTION FOUND: 1052 @ 46.555
c NEW SOLUTION FOUND: 1051 @ 46.585
c NEW SOLUTION FOUND: 1050 @ 46.614
c NEW SOLUTION FOUND: 1049 @ 46.643
c NEW SOLUTION FOUND: 1048 @ 46.673
c NEW SOLUTION FOUND: 1047 @ 46.702
c NEW SOLUTION FOUND: 1046 @ 46.731
c NEW SOLUTION FOUND: 1045 @ 46.76
c NEW SOLUTION FOUND: 1044 @ 46.789
c NEW SOLUTION FOUND: 1043 @ 46.819
c NEW SOLUTION FOUND: 1042 @ 46.848
c NEW SOLUTION FOUND: 1041 @ 46.877
c NEW SOLUTION FOUND: 1040 @ 46.907
c NEW SOLUTION FOUND: 1039 @ 46.936
c NEW SOLUTION FOUND: 1038 @ 46.965
c NEW SOLUTION FOUND: 1037 @ 46.995
c NEW SOLUTION FOUND: 1036 @ 47.024
c NEW SOLUTION FOUND: 1035 @ 47.053
c NEW SOLUTION FOUND: 1034 @ 47.082
c NEW SOLUTION FOUND: 1033 @ 47.112
c NEW SOLUTION FOUND: 1032 @ 47.141
c NEW SOLUTION FOUND: 1031 @ 47.17
c NEW SOLUTION FOUND: 1030 @ 47.2
c NEW SOLUTION FOUND: 1029 @ 47.229
c NEW SOLUTION FOUND: 1028 @ 47.257
c NEW SOLUTION FOUND: 1027 @ 47.286
c NEW SOLUTION FOUND: 1026 @ 47.316
c NEW SOLUTION FOUND: 1025 @ 47.345
c NEW SOLUTION FOUND: 1024 @ 47.374
c NEW SOLUTION FOUND: 1023 @ 47.403
c NEW SOLUTION FOUND: 1022 @ 47.433
c NEW SOLUTION FOUND: 1021 @ 47.462
c NEW SOLUTION FOUND: 1020 @ 47.491
c NEW SOLUTION FOUND: 1019 @ 47.52
c NEW SOLUTION FOUND: 1018 @ 47.549
c NEW SOLUTION FOUND: 1017 @ 47.578
c NEW SOLUTION FOUND: 1016 @ 47.607
c NEW SOLUTION FOUND: 1015 @ 47.637
c NEW SOLUTION FOUND: 1014 @ 47.666
c NEW SOLUTION FOUND: 1013 @ 47.695
c NEW SOLUTION FOUND: 1012 @ 47.724
c NEW SOLUTION FOUND: 1011 @ 47.753
c NEW SOLUTION FOUND: 1010 @ 47.783
c NEW SOLUTION FOUND: 1009 @ 47.812
c NEW SOLUTION FOUND: 1008 @ 47.841
c NEW SOLUTION FOUND: 1007 @ 47.87
c NEW SOLUTION FOUND: 1006 @ 47.899
c NEW SOLUTION FOUND: 1005 @ 47.928
c NEW SOLUTION FOUND: 1004 @ 47.957
c NEW SOLUTION FOUND: 1003 @ 47.986
c NEW SOLUTION FOUND: 1002 @ 48.015
c NEW SOLUTION FOUND: 1001 @ 48.044
c NEW SOLUTION FOUND: 1000 @ 48.073
c NEW SOLUTION FOUND: 999 @ 48.102
c NEW SOLUTION FOUND: 998 @ 48.132
c NEW SOLUTION FOUND: 997 @ 48.161
c NEW SOLUTION FOUND: 996 @ 48.19
c NEW SOLUTION FOUND: 995 @ 48.219
c NEW SOLUTION FOUND: 994 @ 48.248
c NEW SOLUTION FOUND: 993 @ 48.277
c NEW SOLUTION FOUND: 992 @ 48.307
c NEW SOLUTION FOUND: 991 @ 48.336
c NEW SOLUTION FOUND: 990 @ 48.365
c NEW SOLUTION FOUND: 989 @ 48.394
c NEW SOLUTION FOUND: 988 @ 48.423
c NEW SOLUTION FOUND: 987 @ 48.452
c NEW SOLUTION FOUND: 986 @ 48.481
c NEW SOLUTION FOUND: 985 @ 48.509
c NEW SOLUTION FOUND: 984 @ 48.539
c NEW SOLUTION FOUND: 983 @ 48.568
c NEW SOLUTION FOUND: 982 @ 48.597
c NEW SOLUTION FOUND: 981 @ 48.625
c NEW SOLUTION FOUND: 980 @ 48.654
c NEW SOLUTION FOUND: 979 @ 48.683
c NEW SOLUTION FOUND: 978 @ 48.712
c NEW SOLUTION FOUND: 977 @ 48.741
c NEW SOLUTION FOUND: 976 @ 48.77
c NEW SOLUTION FOUND: 975 @ 48.799
c NEW SOLUTION FOUND: 974 @ 48.828
c NEW SOLUTION FOUND: 973 @ 48.857
c NEW SOLUTION FOUND: 972 @ 48.886
c NEW SOLUTION FOUND: 971 @ 48.915
c NEW SOLUTION FOUND: 970 @ 48.944
c NEW SOLUTION FOUND: 969 @ 48.973
c NEW SOLUTION FOUND: 968 @ 49.002
c NEW SOLUTION FOUND: 967 @ 49.031
c NEW SOLUTION FOUND: 966 @ 49.06
c NEW SOLUTION FOUND: 965 @ 49.089
c NEW SOLUTION FOUND: 964 @ 49.118
c NEW SOLUTION FOUND: 963 @ 49.146
c NEW SOLUTION FOUND: 962 @ 49.175
c NEW SOLUTION FOUND: 961 @ 49.204
c NEW SOLUTION FOUND: 960 @ 49.233
c NEW SOLUTION FOUND: 959 @ 49.262
c NEW SOLUTION FOUND: 958 @ 49.29
c NEW SOLUTION FOUND: 957 @ 49.319
c NEW SOLUTION FOUND: 956 @ 49.348
c NEW SOLUTION FOUND: 955 @ 49.377
c NEW SOLUTION FOUND: 954 @ 49.406
c NEW SOLUTION FOUND: 953 @ 49.434
c NEW SOLUTION FOUND: 952 @ 49.463
c NEW SOLUTION FOUND: 951 @ 49.492
c NEW SOLUTION FOUND: 950 @ 49.521
c NEW SOLUTION FOUND: 949 @ 49.55
c NEW SOLUTION FOUND: 948 @ 49.578
c NEW SOLUTION FOUND: 947 @ 49.607
c NEW SOLUTION FOUND: 946 @ 49.636
c NEW SOLUTION FOUND: 945 @ 49.665
c NEW SOLUTION FOUND: 944 @ 49.694
c NEW SOLUTION FOUND: 943 @ 49.723
c NEW SOLUTION FOUND: 942 @ 49.751
c NEW SOLUTION FOUND: 941 @ 49.78
c NEW SOLUTION FOUND: 940 @ 49.809
c NEW SOLUTION FOUND: 939 @ 49.838
c NEW SOLUTION FOUND: 938 @ 49.866
c NEW SOLUTION FOUND: 937 @ 49.895
c NEW SOLUTION FOUND: 936 @ 49.923
c NEW SOLUTION FOUND: 935 @ 49.952
c NEW SOLUTION FOUND: 934 @ 49.981
c NEW SOLUTION FOUND: 933 @ 50.01
c NEW SOLUTION FOUND: 932 @ 50.039
c NEW SOLUTION FOUND: 931 @ 50.067
c NEW SOLUTION FOUND: 930 @ 50.096
c NEW SOLUTION FOUND: 929 @ 50.124
c NEW SOLUTION FOUND: 928 @ 50.153
c NEW SOLUTION FOUND: 927 @ 50.182
c NEW SOLUTION FOUND: 926 @ 50.211
c NEW SOLUTION FOUND: 925 @ 50.24
c NEW SOLUTION FOUND: 924 @ 50.269
c NEW SOLUTION FOUND: 923 @ 50.297
c NEW SOLUTION FOUND: 922 @ 50.326
c NEW SOLUTION FOUND: 921 @ 50.355
c NEW SOLUTION FOUND: 920 @ 50.383
c NEW SOLUTION FOUND: 919 @ 50.412
c NEW SOLUTION FOUND: 918 @ 50.441
c NEW SOLUTION FOUND: 917 @ 50.469
c NEW SOLUTION FOUND: 916 @ 50.498
c NEW SOLUTION FOUND: 915 @ 50.527
c NEW SOLUTION FOUND: 914 @ 50.555
c NEW SOLUTION FOUND: 913 @ 50.584
c NEW SOLUTION FOUND: 912 @ 50.613
c NEW SOLUTION FOUND: 911 @ 50.642
c NEW SOLUTION FOUND: 910 @ 50.67
c NEW SOLUTION FOUND: 909 @ 50.699
c NEW SOLUTION FOUND: 908 @ 50.727
c NEW SOLUTION FOUND: 907 @ 50.756
c NEW SOLUTION FOUND: 906 @ 50.784
c NEW SOLUTION FOUND: 905 @ 50.813
c NEW SOLUTION FOUND: 904 @ 50.841
c NEW SOLUTION FOUND: 903 @ 50.87
c NEW SOLUTION FOUND: 902 @ 50.898
c NEW SOLUTION FOUND: 901 @ 50.927
c NEW SOLUTION FOUND: 900 @ 50.956
c NEW SOLUTION FOUND: 899 @ 50.984
c NEW SOLUTION FOUND: 898 @ 51.013
c NEW SOLUTION FOUND: 897 @ 51.041
c NEW SOLUTION FOUND: 896 @ 51.07
c NEW SOLUTION FOUND: 895 @ 51.099
c NEW SOLUTION FOUND: 894 @ 51.127
c NEW SOLUTION FOUND: 893 @ 51.156
c NEW SOLUTION FOUND: 892 @ 51.184
c NEW SOLUTION FOUND: 891 @ 51.213
c NEW SOLUTION FOUND: 890 @ 51.241
c NEW SOLUTION FOUND: 889 @ 51.27
c NEW SOLUTION FOUND: 888 @ 51.298
c NEW SOLUTION FOUND: 887 @ 51.327
c NEW SOLUTION FOUND: 886 @ 51.355
c NEW SOLUTION FOUND: 885 @ 51.384
c NEW SOLUTION FOUND: 884 @ 51.412
c NEW SOLUTION FOUND: 883 @ 51.441
c NEW SOLUTION FOUND: 882 @ 51.469
c NEW SOLUTION FOUND: 881 @ 51.498
c NEW SOLUTION FOUND: 880 @ 51.527
c NEW SOLUTION FOUND: 879 @ 51.555
c NEW SOLUTION FOUND: 878 @ 51.583
c NEW SOLUTION FOUND: 877 @ 51.612
c NEW SOLUTION FOUND: 876 @ 51.64
c NEW SOLUTION FOUND: 875 @ 51.668
c NEW SOLUTION FOUND: 874 @ 51.697
c NEW SOLUTION FOUND: 873 @ 51.725
c NEW SOLUTION FOUND: 872 @ 51.754
c NEW SOLUTION FOUND: 871 @ 51.782
c NEW SOLUTION FOUND: 870 @ 51.811
c NEW SOLUTION FOUND: 869 @ 51.839
c NEW SOLUTION FOUND: 868 @ 51.868
c NEW SOLUTION FOUND: 867 @ 51.896
c NEW SOLUTION FOUND: 866 @ 51.924
c NEW SOLUTION FOUND: 865 @ 51.953
c NEW SOLUTION FOUND: 864 @ 51.981
c NEW SOLUTION FOUND: 863 @ 52.009
c NEW SOLUTION FOUND: 862 @ 52.038
c NEW SOLUTION FOUND: 861 @ 52.066
c NEW SOLUTION FOUND: 860 @ 52.094
c NEW SOLUTION FOUND: 859 @ 52.123
c NEW SOLUTION FOUND: 858 @ 52.151
c NEW SOLUTION FOUND: 857 @ 52.18
c NEW SOLUTION FOUND: 856 @ 52.208
c NEW SOLUTION FOUND: 855 @ 52.236
c NEW SOLUTION FOUND: 854 @ 52.265
c NEW SOLUTION FOUND: 853 @ 52.293
c NEW SOLUTION FOUND: 852 @ 52.322
c NEW SOLUTION FOUND: 851 @ 52.351
c NEW SOLUTION FOUND: 850 @ 52.379
c NEW SOLUTION FOUND: 849 @ 52.407
c NEW SOLUTION FOUND: 848 @ 52.436
c NEW SOLUTION FOUND: 847 @ 52.464
c NEW SOLUTION FOUND: 846 @ 52.492
c NEW SOLUTION FOUND: 845 @ 52.521
c NEW SOLUTION FOUND: 844 @ 52.549
c NEW SOLUTION FOUND: 843 @ 52.577
c NEW SOLUTION FOUND: 842 @ 52.605
c NEW SOLUTION FOUND: 841 @ 52.634
c NEW SOLUTION FOUND: 840 @ 52.662
c NEW SOLUTION FOUND: 839 @ 52.691
c NEW SOLUTION FOUND: 838 @ 52.719
c NEW SOLUTION FOUND: 837 @ 52.747
c NEW SOLUTION FOUND: 836 @ 52.776
c NEW SOLUTION FOUND: 835 @ 52.833
c NEW SOLUTION FOUND: 834 @ 52.861
c NEW SOLUTION FOUND: 833 @ 52.891
c NEW SOLUTION FOUND: 832 @ 52.92
c NEW SOLUTION FOUND: 831 @ 52.949
c NEW SOLUTION FOUND: 830 @ 52.978
c NEW SOLUTION FOUND: 829 @ 53.007
c NEW SOLUTION FOUND: 828 @ 53.037
c NEW SOLUTION FOUND: 827 @ 53.066
c NEW SOLUTION FOUND: 826 @ 53.095
c NEW SOLUTION FOUND: 825 @ 53.124
c NEW SOLUTION FOUND: 824 @ 53.153
c NEW SOLUTION FOUND: 823 @ 53.183
c NEW SOLUTION FOUND: 822 @ 53.212
c NEW SOLUTION FOUND: 821 @ 53.241
c NEW SOLUTION FOUND: 820 @ 53.27
c NEW SOLUTION FOUND: 819 @ 53.299
c NEW SOLUTION FOUND: 818 @ 53.328
c NEW SOLUTION FOUND: 817 @ 53.357
c NEW SOLUTION FOUND: 816 @ 53.386
c NEW SOLUTION FOUND: 815 @ 53.416
c NEW SOLUTION FOUND: 814 @ 53.445
c NEW SOLUTION FOUND: 813 @ 53.474
c NEW SOLUTION FOUND: 812 @ 53.503
c NEW SOLUTION FOUND: 811 @ 53.532
c NEW SOLUTION FOUND: 810 @ 53.561
c NEW SOLUTION FOUND: 809 @ 53.59
c NEW SOLUTION FOUND: 808 @ 53.62
c NEW SOLUTION FOUND: 807 @ 53.649
c NEW SOLUTION FOUND: 806 @ 53.678
c NEW SOLUTION FOUND: 805 @ 53.707
c NEW SOLUTION FOUND: 804 @ 53.736
c NEW SOLUTION FOUND: 803 @ 53.765
c NEW SOLUTION FOUND: 802 @ 53.794
c NEW SOLUTION FOUND: 801 @ 53.823
c NEW SOLUTION FOUND: 800 @ 53.852
c NEW SOLUTION FOUND: 799 @ 53.881
c NEW SOLUTION FOUND: 798 @ 53.91
c NEW SOLUTION FOUND: 797 @ 53.939
c NEW SOLUTION FOUND: 796 @ 53.968
c NEW SOLUTION FOUND: 795 @ 53.997
c NEW SOLUTION FOUND: 794 @ 54.026
c NEW SOLUTION FOUND: 793 @ 54.055
c NEW SOLUTION FOUND: 792 @ 54.083
c NEW SOLUTION FOUND: 791 @ 54.112
c NEW SOLUTION FOUND: 790 @ 54.141
c NEW SOLUTION FOUND: 789 @ 54.17
c NEW SOLUTION FOUND: 788 @ 54.198
c NEW SOLUTION FOUND: 787 @ 54.227
c NEW SOLUTION FOUND: 786 @ 54.257
c NEW SOLUTION FOUND: 785 @ 54.286
c NEW SOLUTION FOUND: 784 @ 54.314
c NEW SOLUTION FOUND: 783 @ 54.343
c NEW SOLUTION FOUND: 782 @ 54.372
c NEW SOLUTION FOUND: 781 @ 54.401
c NEW SOLUTION FOUND: 780 @ 54.43
c NEW SOLUTION FOUND: 779 @ 54.459
c NEW SOLUTION FOUND: 778 @ 54.488
c NEW SOLUTION FOUND: 777 @ 54.517
c NEW SOLUTION FOUND: 776 @ 54.546
c NEW SOLUTION FOUND: 775 @ 54.575
c NEW SOLUTION FOUND: 774 @ 54.603
c NEW SOLUTION FOUND: 773 @ 54.632
c NEW SOLUTION FOUND: 772 @ 54.661
c NEW SOLUTION FOUND: 771 @ 54.69
c NEW SOLUTION FOUND: 770 @ 54.719
c NEW SOLUTION FOUND: 769 @ 54.748
c NEW SOLUTION FOUND: 768 @ 54.777
c NEW SOLUTION FOUND: 767 @ 54.805
c NEW SOLUTION FOUND: 766 @ 54.834
c NEW SOLUTION FOUND: 765 @ 54.863
c NEW SOLUTION FOUND: 764 @ 54.892
c NEW SOLUTION FOUND: 763 @ 54.921
c NEW SOLUTION FOUND: 762 @ 54.95
c NEW SOLUTION FOUND: 761 @ 54.978
c NEW SOLUTION FOUND: 760 @ 55.007
c NEW SOLUTION FOUND: 759 @ 55.036
c NEW SOLUTION FOUND: 758 @ 55.065
c NEW SOLUTION FOUND: 757 @ 55.094
c NEW SOLUTION FOUND: 756 @ 55.122
c NEW SOLUTION FOUND: 755 @ 55.151
c NEW SOLUTION FOUND: 754 @ 55.18
c NEW SOLUTION FOUND: 753 @ 55.209
c NEW SOLUTION FOUND: 752 @ 55.237
c NEW SOLUTION FOUND: 751 @ 55.266
c NEW SOLUTION FOUND: 750 @ 55.295
c NEW SOLUTION FOUND: 749 @ 55.324
c NEW SOLUTION FOUND: 748 @ 55.353
c NEW SOLUTION FOUND: 747 @ 55.382
c NEW SOLUTION FOUND: 746 @ 55.41
c NEW SOLUTION FOUND: 745 @ 55.439
c NEW SOLUTION FOUND: 744 @ 55.468
c NEW SOLUTION FOUND: 743 @ 55.496
c NEW SOLUTION FOUND: 742 @ 55.525
c NEW SOLUTION FOUND: 741 @ 55.554
c NEW SOLUTION FOUND: 740 @ 55.583
c NEW SOLUTION FOUND: 739 @ 55.611
c NEW SOLUTION FOUND: 738 @ 55.64
c NEW SOLUTION FOUND: 737 @ 55.669
c NEW SOLUTION FOUND: 736 @ 55.698
c NEW SOLUTION FOUND: 735 @ 55.728
c NEW SOLUTION FOUND: 734 @ 55.757
c NEW SOLUTION FOUND: 733 @ 55.786
c NEW SOLUTION FOUND: 732 @ 55.815
c NEW SOLUTION FOUND: 731 @ 55.844
c NEW SOLUTION FOUND: 730 @ 55.874
c NEW SOLUTION FOUND: 729 @ 55.903
c NEW SOLUTION FOUND: 728 @ 55.932
c NEW SOLUTION FOUND: 727 @ 55.961
c NEW SOLUTION FOUND: 726 @ 55.99
c NEW SOLUTION FOUND: 725 @ 56.019
c NEW SOLUTION FOUND: 724 @ 56.049
c NEW SOLUTION FOUND: 723 @ 56.078
c NEW SOLUTION FOUND: 722 @ 56.107
c NEW SOLUTION FOUND: 721 @ 56.136
c NEW SOLUTION FOUND: 720 @ 56.165
c NEW SOLUTION FOUND: 719 @ 56.195
c NEW SOLUTION FOUND: 718 @ 56.224
c NEW SOLUTION FOUND: 717 @ 56.253
c NEW SOLUTION FOUND: 716 @ 56.282
c NEW SOLUTION FOUND: 715 @ 56.311
c NEW SOLUTION FOUND: 714 @ 56.341
c NEW SOLUTION FOUND: 713 @ 56.37
c NEW SOLUTION FOUND: 712 @ 56.399
c NEW SOLUTION FOUND: 711 @ 56.428
c NEW SOLUTION FOUND: 710 @ 56.457
c NEW SOLUTION FOUND: 709 @ 56.486
c NEW SOLUTION FOUND: 708 @ 56.516
c NEW SOLUTION FOUND: 707 @ 56.545
c NEW SOLUTION FOUND: 706 @ 56.574
c NEW SOLUTION FOUND: 705 @ 56.603
c NEW SOLUTION FOUND: 704 @ 56.632
c NEW SOLUTION FOUND: 703 @ 56.661
c NEW SOLUTION FOUND: 702 @ 56.69
c NEW SOLUTION FOUND: 701 @ 56.719
c NEW SOLUTION FOUND: 700 @ 56.749
c NEW SOLUTION FOUND: 699 @ 56.778
c NEW SOLUTION FOUND: 698 @ 56.807
c NEW SOLUTION FOUND: 697 @ 56.836
c NEW SOLUTION FOUND: 696 @ 56.865
c NEW SOLUTION FOUND: 695 @ 56.894
c NEW SOLUTION FOUND: 694 @ 56.923
c NEW SOLUTION FOUND: 693 @ 56.952
c NEW SOLUTION FOUND: 692 @ 56.981
c NEW SOLUTION FOUND: 691 @ 57.01
c NEW SOLUTION FOUND: 690 @ 57.039
c NEW SOLUTION FOUND: 689 @ 57.068
c NEW SOLUTION FOUND: 688 @ 57.097
c NEW SOLUTION FOUND: 687 @ 57.126
c NEW SOLUTION FOUND: 686 @ 57.155
c NEW SOLUTION FOUND: 685 @ 57.184
c NEW SOLUTION FOUND: 684 @ 57.213
c NEW SOLUTION FOUND: 683 @ 57.242
c NEW SOLUTION FOUND: 682 @ 57.271
c NEW SOLUTION FOUND: 681 @ 57.3
c NEW SOLUTION FOUND: 680 @ 57.329
c NEW SOLUTION FOUND: 679 @ 57.358
c NEW SOLUTION FOUND: 678 @ 57.387
c NEW SOLUTION FOUND: 677 @ 57.416
c NEW SOLUTION FOUND: 676 @ 57.444
c NEW SOLUTION FOUND: 675 @ 57.474
c NEW SOLUTION FOUND: 674 @ 57.503
c NEW SOLUTION FOUND: 673 @ 57.532
c NEW SOLUTION FOUND: 672 @ 57.561
c NEW SOLUTION FOUND: 671 @ 57.59
c NEW SOLUTION FOUND: 670 @ 57.618
c NEW SOLUTION FOUND: 669 @ 57.647
c NEW SOLUTION FOUND: 668 @ 57.677
c NEW SOLUTION FOUND: 667 @ 57.706
c NEW SOLUTION FOUND: 666 @ 57.734
c NEW SOLUTION FOUND: 665 @ 57.764
c NEW SOLUTION FOUND: 664 @ 57.792
c NEW SOLUTION FOUND: 663 @ 57.821
c NEW SOLUTION FOUND: 662 @ 57.85
c NEW SOLUTION FOUND: 661 @ 57.879
c NEW SOLUTION FOUND: 660 @ 57.908
c NEW SOLUTION FOUND: 659 @ 57.937
c NEW SOLUTION FOUND: 658 @ 57.966
c NEW SOLUTION FOUND: 657 @ 57.995
c NEW SOLUTION FOUND: 656 @ 58.023
c NEW SOLUTION FOUND: 655 @ 58.052
c NEW SOLUTION FOUND: 654 @ 58.081
c NEW SOLUTION FOUND: 653 @ 58.11
c NEW SOLUTION FOUND: 652 @ 58.138
c NEW SOLUTION FOUND: 651 @ 58.167
c NEW SOLUTION FOUND: 650 @ 58.196
c NEW SOLUTION FOUND: 649 @ 58.225
c NEW SOLUTION FOUND: 648 @ 58.254
c NEW SOLUTION FOUND: 647 @ 58.283
c NEW SOLUTION FOUND: 646 @ 58.312
c NEW SOLUTION FOUND: 645 @ 58.341
c NEW SOLUTION FOUND: 644 @ 58.37
c NEW SOLUTION FOUND: 643 @ 58.398
c NEW SOLUTION FOUND: 642 @ 58.427
c NEW SOLUTION FOUND: 641 @ 58.456
c NEW SOLUTION FOUND: 640 @ 58.485
c NEW SOLUTION FOUND: 639 @ 58.514
c NEW SOLUTION FOUND: 638 @ 58.542
c NEW SOLUTION FOUND: 637 @ 58.571
c NEW SOLUTION FOUND: 636 @ 58.6
c NEW SOLUTION FOUND: 635 @ 58.628
c NEW SOLUTION FOUND: 634 @ 58.657
c NEW SOLUTION FOUND: 633 @ 58.686
c NEW SOLUTION FOUND: 632 @ 58.715
c NEW SOLUTION FOUND: 631 @ 58.743
c NEW SOLUTION FOUND: 630 @ 58.772
c NEW SOLUTION FOUND: 629 @ 58.801
c NEW SOLUTION FOUND: 628 @ 58.83
c NEW SOLUTION FOUND: 627 @ 58.858
c NEW SOLUTION FOUND: 626 @ 58.887
c NEW SOLUTION FOUND: 625 @ 58.916
c NEW SOLUTION FOUND: 624 @ 58.944
c NEW SOLUTION FOUND: 623 @ 58.973
c NEW SOLUTION FOUND: 622 @ 59.002
c NEW SOLUTION FOUND: 621 @ 59.031
c NEW SOLUTION FOUND: 620 @ 59.059
c NEW SOLUTION FOUND: 619 @ 59.088
c NEW SOLUTION FOUND: 618 @ 59.117
c NEW SOLUTION FOUND: 617 @ 59.145
c NEW SOLUTION FOUND: 616 @ 59.174
c NEW SOLUTION FOUND: 615 @ 59.203
c NEW SOLUTION FOUND: 614 @ 59.231
c NEW SOLUTION FOUND: 613 @ 59.26
c NEW SOLUTION FOUND: 612 @ 59.289
c NEW SOLUTION FOUND: 611 @ 59.317
c NEW SOLUTION FOUND: 610 @ 59.346
c NEW SOLUTION FOUND: 609 @ 59.375
c NEW SOLUTION FOUND: 608 @ 59.403
c NEW SOLUTION FOUND: 607 @ 59.432
c NEW SOLUTION FOUND: 606 @ 59.46
c NEW SOLUTION FOUND: 605 @ 59.489
c NEW SOLUTION FOUND: 604 @ 59.518
c NEW SOLUTION FOUND: 603 @ 59.547
c NEW SOLUTION FOUND: 602 @ 59.575
c NEW SOLUTION FOUND: 601 @ 59.604
c NEW SOLUTION FOUND: 600 @ 59.633
c NEW SOLUTION FOUND: 599 @ 59.661
c NEW SOLUTION FOUND: 598 @ 59.691
c NEW SOLUTION FOUND: 597 @ 59.719
c NEW SOLUTION FOUND: 596 @ 59.748
c NEW SOLUTION FOUND: 595 @ 59.777
c NEW SOLUTION FOUND: 594 @ 59.806
c NEW SOLUTION FOUND: 593 @ 59.834
c NEW SOLUTION FOUND: 592 @ 59.863
c NEW SOLUTION FOUND: 591 @ 59.891
c NEW SOLUTION FOUND: 590 @ 59.92
c NEW SOLUTION FOUND: 589 @ 59.949
c NEW SOLUTION FOUND: 588 @ 59.978
c NEW SOLUTION FOUND: 587 @ 60.006
c NEW SOLUTION FOUND: 586 @ 60.035
c NEW SOLUTION FOUND: 585 @ 60.064
c NEW SOLUTION FOUND: 584 @ 60.092
c NEW SOLUTION FOUND: 583 @ 60.121
c NEW SOLUTION FOUND: 582 @ 60.149
c NEW SOLUTION FOUND: 581 @ 60.178
c NEW SOLUTION FOUND: 580 @ 60.207
c NEW SOLUTION FOUND: 579 @ 60.235
c NEW SOLUTION FOUND: 578 @ 60.264
c NEW SOLUTION FOUND: 577 @ 60.294
c NEW SOLUTION FOUND: 576 @ 60.323
c NEW SOLUTION FOUND: 575 @ 60.352
c NEW SOLUTION FOUND: 574 @ 60.381
c NEW SOLUTION FOUND: 573 @ 60.41
c NEW SOLUTION FOUND: 572 @ 60.439
c NEW SOLUTION FOUND: 571 @ 60.468
c NEW SOLUTION FOUND: 570 @ 60.497
c NEW SOLUTION FOUND: 569 @ 60.526
c NEW SOLUTION FOUND: 568 @ 60.555
c NEW SOLUTION FOUND: 567 @ 60.584
c NEW SOLUTION FOUND: 566 @ 60.613
c NEW SOLUTION FOUND: 565 @ 60.642
c NEW SOLUTION FOUND: 564 @ 60.671
c NEW SOLUTION FOUND: 563 @ 60.7
c NEW SOLUTION FOUND: 562 @ 60.729
c NEW SOLUTION FOUND: 561 @ 60.758
c NEW SOLUTION FOUND: 560 @ 60.787
c NEW SOLUTION FOUND: 559 @ 60.815
c NEW SOLUTION FOUND: 558 @ 60.844
c NEW SOLUTION FOUND: 557 @ 60.873
c NEW SOLUTION FOUND: 556 @ 60.902
c NEW SOLUTION FOUND: 555 @ 60.93
c NEW SOLUTION FOUND: 554 @ 60.959
c NEW SOLUTION FOUND: 553 @ 60.988
c NEW SOLUTION FOUND: 552 @ 61.017
c NEW SOLUTION FOUND: 551 @ 61.046
c NEW SOLUTION FOUND: 550 @ 61.075
c NEW SOLUTION FOUND: 549 @ 61.104
c NEW SOLUTION FOUND: 548 @ 61.133
c NEW SOLUTION FOUND: 547 @ 61.162
c NEW SOLUTION FOUND: 546 @ 61.191
c NEW SOLUTION FOUND: 545 @ 61.22
c NEW SOLUTION FOUND: 544 @ 61.249
c NEW SOLUTION FOUND: 543 @ 61.278
c NEW SOLUTION FOUND: 542 @ 61.306
c NEW SOLUTION FOUND: 541 @ 61.335
c NEW SOLUTION FOUND: 540 @ 61.364
c NEW SOLUTION FOUND: 539 @ 61.393
c NEW SOLUTION FOUND: 538 @ 61.422
c NEW SOLUTION FOUND: 537 @ 61.451
c NEW SOLUTION FOUND: 536 @ 61.48
c NEW SOLUTION FOUND: 535 @ 61.509
c NEW SOLUTION FOUND: 534 @ 61.537
c NEW SOLUTION FOUND: 533 @ 61.566
c NEW SOLUTION FOUND: 532 @ 61.595
c NEW SOLUTION FOUND: 531 @ 61.624
c NEW SOLUTION FOUND: 530 @ 61.653
c NEW SOLUTION FOUND: 529 @ 61.681
c NEW SOLUTION FOUND: 528 @ 61.71
c NEW SOLUTION FOUND: 527 @ 61.739
c NEW SOLUTION FOUND: 526 @ 61.768
c NEW SOLUTION FOUND: 525 @ 61.797
c NEW SOLUTION FOUND: 524 @ 61.825
c NEW SOLUTION FOUND: 523 @ 61.854
c NEW SOLUTION FOUND: 522 @ 61.883
c NEW SOLUTION FOUND: 521 @ 61.912
c NEW SOLUTION FOUND: 520 @ 61.941
c NEW SOLUTION FOUND: 519 @ 61.969
c NEW SOLUTION FOUND: 518 @ 61.998
c NEW SOLUTION FOUND: 517 @ 62.027
c NEW SOLUTION FOUND: 516 @ 62.056
c NEW SOLUTION FOUND: 515 @ 62.085
c NEW SOLUTION FOUND: 514 @ 62.114
c NEW SOLUTION FOUND: 513 @ 62.142
c NEW SOLUTION FOUND: 512 @ 62.171
c NEW SOLUTION FOUND: 511 @ 62.2
c NEW SOLUTION FOUND: 510 @ 62.229
c NEW SOLUTION FOUND: 509 @ 62.258
c NEW SOLUTION FOUND: 508 @ 62.287
c NEW SOLUTION FOUND: 507 @ 62.315
c NEW SOLUTION FOUND: 506 @ 62.344
c NEW SOLUTION FOUND: 505 @ 62.373
c NEW SOLUTION FOUND: 504 @ 62.401
c NEW SOLUTION FOUND: 503 @ 62.43
c NEW SOLUTION FOUND: 502 @ 62.458
c NEW SOLUTION FOUND: 501 @ 62.487
c NEW SOLUTION FOUND: 500 @ 62.516
c NEW SOLUTION FOUND: 499 @ 62.544
c NEW SOLUTION FOUND: 498 @ 62.573
c NEW SOLUTION FOUND: 497 @ 62.601
c NEW SOLUTION FOUND: 496 @ 62.63
c NEW SOLUTION FOUND: 495 @ 62.659
c NEW SOLUTION FOUND: 494 @ 62.688
c NEW SOLUTION FOUND: 493 @ 62.716
c NEW SOLUTION FOUND: 492 @ 62.745
c NEW SOLUTION FOUND: 491 @ 62.774
c NEW SOLUTION FOUND: 490 @ 62.802
c NEW SOLUTION FOUND: 489 @ 62.831
c NEW SOLUTION FOUND: 488 @ 62.86
c NEW SOLUTION FOUND: 487 @ 62.888
c NEW SOLUTION FOUND: 486 @ 62.917
c NEW SOLUTION FOUND: 485 @ 62.945
c NEW SOLUTION FOUND: 484 @ 62.974
c NEW SOLUTION FOUND: 483 @ 63.002
c NEW SOLUTION FOUND: 482 @ 63.031
c NEW SOLUTION FOUND: 481 @ 63.06
c NEW SOLUTION FOUND: 480 @ 63.088
c NEW SOLUTION FOUND: 479 @ 63.117
c NEW SOLUTION FOUND: 478 @ 63.146
c NEW SOLUTION FOUND: 477 @ 63.174
c NEW SOLUTION FOUND: 476 @ 63.203
c NEW SOLUTION FOUND: 475 @ 63.231
c NEW SOLUTION FOUND: 474 @ 63.26
c NEW SOLUTION FOUND: 473 @ 63.288
c NEW SOLUTION FOUND: 472 @ 63.317
c NEW SOLUTION FOUND: 471 @ 63.345
c NEW SOLUTION FOUND: 470 @ 63.374
c NEW SOLUTION FOUND: 469 @ 63.403
c NEW SOLUTION FOUND: 468 @ 63.431
c NEW SOLUTION FOUND: 467 @ 63.46
c NEW SOLUTION FOUND: 466 @ 63.488
c NEW SOLUTION FOUND: 465 @ 63.517
c NEW SOLUTION FOUND: 464 @ 63.546
c NEW SOLUTION FOUND: 463 @ 63.575
c NEW SOLUTION FOUND: 462 @ 63.603
c NEW SOLUTION FOUND: 461 @ 63.632
c NEW SOLUTION FOUND: 460 @ 63.66
c NEW SOLUTION FOUND: 459 @ 63.688
c NEW SOLUTION FOUND: 458 @ 63.717
c NEW SOLUTION FOUND: 457 @ 63.745
c NEW SOLUTION FOUND: 456 @ 63.774
c NEW SOLUTION FOUND: 455 @ 63.802
c NEW SOLUTION FOUND: 454 @ 63.831
c NEW SOLUTION FOUND: 453 @ 63.86
c NEW SOLUTION FOUND: 452 @ 63.888
c NEW SOLUTION FOUND: 451 @ 63.917
c NEW SOLUTION FOUND: 450 @ 63.945
c NEW SOLUTION FOUND: 449 @ 63.974
c NEW SOLUTION FOUND: 448 @ 64.002
c NEW SOLUTION FOUND: 447 @ 64.03
c NEW SOLUTION FOUND: 446 @ 64.059
c NEW SOLUTION FOUND: 445 @ 64.087
c NEW SOLUTION FOUND: 444 @ 64.115
c NEW SOLUTION FOUND: 443 @ 64.144
c NEW SOLUTION FOUND: 442 @ 64.172
c NEW SOLUTION FOUND: 441 @ 64.2
c NEW SOLUTION FOUND: 440 @ 64.229
c NEW SOLUTION FOUND: 439 @ 64.257
c NEW SOLUTION FOUND: 438 @ 64.286
c NEW SOLUTION FOUND: 437 @ 64.314
c NEW SOLUTION FOUND: 436 @ 64.342
c NEW SOLUTION FOUND: 435 @ 64.371
c NEW SOLUTION FOUND: 434 @ 64.399
c NEW SOLUTION FOUND: 433 @ 64.427
c NEW SOLUTION FOUND: 432 @ 64.456
c NEW SOLUTION FOUND: 431 @ 64.484
c NEW SOLUTION FOUND: 430 @ 64.512
c NEW SOLUTION FOUND: 429 @ 64.54
c NEW SOLUTION FOUND: 428 @ 64.569
c NEW SOLUTION FOUND: 427 @ 64.597
c NEW SOLUTION FOUND: 426 @ 64.625
c NEW SOLUTION FOUND: 425 @ 64.654
c NEW SOLUTION FOUND: 424 @ 64.682
c NEW SOLUTION FOUND: 423 @ 64.71
c NEW SOLUTION FOUND: 422 @ 64.738
c NEW SOLUTION FOUND: 421 @ 64.767
c NEW SOLUTION FOUND: 420 @ 64.794
c NEW SOLUTION FOUND: 419 @ 64.823
c NEW SOLUTION FOUND: 418 @ 64.851
c NEW SOLUTION FOUND: 417 @ 64.879
c NEW SOLUTION FOUND: 416 @ 64.907
c NEW SOLUTION FOUND: 415 @ 64.936
c NEW SOLUTION FOUND: 414 @ 64.964
c NEW SOLUTION FOUND: 413 @ 64.992
c NEW SOLUTION FOUND: 412 @ 65.02
c NEW SOLUTION FOUND: 411 @ 65.048
c NEW SOLUTION FOUND: 410 @ 65.076
c NEW SOLUTION FOUND: 409 @ 65.104
c NEW SOLUTION FOUND: 408 @ 65.132
c NEW SOLUTION FOUND: 407 @ 65.16
c NEW SOLUTION FOUND: 406 @ 65.189
c NEW SOLUTION FOUND: 405 @ 65.217
c NEW SOLUTION FOUND: 404 @ 65.245
c NEW SOLUTION FOUND: 403 @ 65.273
c NEW SOLUTION FOUND: 402 @ 65.301
c NEW SOLUTION FOUND: 401 @ 65.33
c NEW SOLUTION FOUND: 400 @ 65.358
c NEW SOLUTION FOUND: 399 @ 65.386
c NEW SOLUTION FOUND: 398 @ 65.414
c NEW SOLUTION FOUND: 397 @ 65.442
c NEW SOLUTION FOUND: 396 @ 65.47
c NEW SOLUTION FOUND: 395 @ 65.498
c NEW SOLUTION FOUND: 394 @ 65.526
c NEW SOLUTION FOUND: 393 @ 65.555
c NEW SOLUTION FOUND: 392 @ 65.583
c NEW SOLUTION FOUND: 391 @ 65.611
c NEW SOLUTION FOUND: 390 @ 65.639
c NEW SOLUTION FOUND: 389 @ 65.667
c NEW SOLUTION FOUND: 388 @ 65.695
c NEW SOLUTION FOUND: 387 @ 65.723
c NEW SOLUTION FOUND: 386 @ 65.751
c NEW SOLUTION FOUND: 385 @ 65.779
c NEW SOLUTION FOUND: 384 @ 65.807
c NEW SOLUTION FOUND: 383 @ 65.835
c NEW SOLUTION FOUND: 382 @ 65.863
c NEW SOLUTION FOUND: 381 @ 65.891
c NEW SOLUTION FOUND: 380 @ 65.919
c NEW SOLUTION FOUND: 379 @ 65.947
c NEW SOLUTION FOUND: 378 @ 65.975
c NEW SOLUTION FOUND: 377 @ 66.003
c NEW SOLUTION FOUND: 376 @ 66.031
c NEW SOLUTION FOUND: 375 @ 66.059
c NEW SOLUTION FOUND: 374 @ 66.087
c NEW SOLUTION FOUND: 373 @ 66.115
c NEW SOLUTION FOUND: 372 @ 66.143
c NEW SOLUTION FOUND: 371 @ 66.171
c NEW SOLUTION FOUND: 370 @ 66.199
c NEW SOLUTION FOUND: 369 @ 66.227
c NEW SOLUTION FOUND: 368 @ 66.255
c NEW SOLUTION FOUND: 367 @ 66.283
c NEW SOLUTION FOUND: 366 @ 66.311
c NEW SOLUTION FOUND: 365 @ 66.34
c NEW SOLUTION FOUND: 364 @ 66.368
c NEW SOLUTION FOUND: 363 @ 66.397
c NEW SOLUTION FOUND: 362 @ 66.425
c NEW SOLUTION FOUND: 361 @ 66.454
c NEW SOLUTION FOUND: 360 @ 66.482
c NEW SOLUTION FOUND: 359 @ 66.511
c NEW SOLUTION FOUND: 358 @ 66.539
c NEW SOLUTION FOUND: 357 @ 66.568
c NEW SOLUTION FOUND: 356 @ 66.596
c NEW SOLUTION FOUND: 355 @ 66.625
c NEW SOLUTION FOUND: 354 @ 66.653
c NEW SOLUTION FOUND: 353 @ 66.682
c NEW SOLUTION FOUND: 352 @ 66.71
c NEW SOLUTION FOUND: 351 @ 66.739
c NEW SOLUTION FOUND: 350 @ 66.767
c NEW SOLUTION FOUND: 349 @ 66.796
c NEW SOLUTION FOUND: 348 @ 66.824
c NEW SOLUTION FOUND: 347 @ 66.852
c NEW SOLUTION FOUND: 346 @ 66.881
c NEW SOLUTION FOUND: 345 @ 66.909
c NEW SOLUTION FOUND: 344 @ 66.938
c NEW SOLUTION FOUND: 343 @ 66.967
c NEW SOLUTION FOUND: 342 @ 66.995
c NEW SOLUTION FOUND: 341 @ 67.024
c NEW SOLUTION FOUND: 340 @ 67.052
c NEW SOLUTION FOUND: 339 @ 67.081
c NEW SOLUTION FOUND: 338 @ 67.109
c NEW SOLUTION FOUND: 337 @ 67.137
c NEW SOLUTION FOUND: 336 @ 67.166
c NEW SOLUTION FOUND: 335 @ 67.194
c NEW SOLUTION FOUND: 334 @ 67.223
c NEW SOLUTION FOUND: 333 @ 67.251
c NEW SOLUTION FOUND: 332 @ 67.28
c NEW SOLUTION FOUND: 331 @ 67.308
c NEW SOLUTION FOUND: 330 @ 67.336
c NEW SOLUTION FOUND: 329 @ 67.365
c NEW SOLUTION FOUND: 328 @ 67.393
c NEW SOLUTION FOUND: 327 @ 67.421
c NEW SOLUTION FOUND: 326 @ 67.45
c NEW SOLUTION FOUND: 325 @ 67.478
c NEW SOLUTION FOUND: 324 @ 67.506
c NEW SOLUTION FOUND: 323 @ 67.535
c NEW SOLUTION FOUND: 322 @ 67.563
c NEW SOLUTION FOUND: 321 @ 67.591
c NEW SOLUTION FOUND: 320 @ 67.619
c NEW SOLUTION FOUND: 319 @ 67.648
c NEW SOLUTION FOUND: 318 @ 67.676
c NEW SOLUTION FOUND: 317 @ 67.704
c NEW SOLUTION FOUND: 316 @ 67.732
c NEW SOLUTION FOUND: 315 @ 67.761
c NEW SOLUTION FOUND: 314 @ 67.789
c NEW SOLUTION FOUND: 313 @ 67.816
c NEW SOLUTION FOUND: 312 @ 67.844
c NEW SOLUTION FOUND: 311 @ 67.872
c NEW SOLUTION FOUND: 310 @ 67.901
c NEW SOLUTION FOUND: 309 @ 67.929
c NEW SOLUTION FOUND: 308 @ 67.957
c NEW SOLUTION FOUND: 307 @ 67.985
c NEW SOLUTION FOUND: 306 @ 68.013
c NEW SOLUTION FOUND: 305 @ 68.042
c NEW SOLUTION FOUND: 304 @ 68.07
c NEW SOLUTION FOUND: 303 @ 68.098
c NEW SOLUTION FOUND: 302 @ 68.126
c NEW SOLUTION FOUND: 301 @ 68.154
c NEW SOLUTION FOUND: 300 @ 68.182
c NEW SOLUTION FOUND: 299 @ 68.211
c NEW SOLUTION FOUND: 298 @ 68.239
c NEW SOLUTION FOUND: 297 @ 68.267
c NEW SOLUTION FOUND: 296 @ 68.296
c NEW SOLUTION FOUND: 295 @ 68.324
c NEW SOLUTION FOUND: 294 @ 68.352
c NEW SOLUTION FOUND: 293 @ 68.38
c NEW SOLUTION FOUND: 292 @ 68.408
c NEW SOLUTION FOUND: 291 @ 68.436
c NEW SOLUTION FOUND: 290 @ 68.464
c NEW SOLUTION FOUND: 289 @ 68.492
c NEW SOLUTION FOUND: 288 @ 68.52
c NEW SOLUTION FOUND: 287 @ 68.548
c NEW SOLUTION FOUND: 286 @ 68.576
c NEW SOLUTION FOUND: 285 @ 68.605
c NEW SOLUTION FOUND: 284 @ 68.633
c NEW SOLUTION FOUND: 283 @ 68.661
c NEW SOLUTION FOUND: 282 @ 68.688
c NEW SOLUTION FOUND: 281 @ 68.716
c NEW SOLUTION FOUND: 280 @ 68.745
c NEW SOLUTION FOUND: 279 @ 68.773
c NEW SOLUTION FOUND: 278 @ 68.801
c NEW SOLUTION FOUND: 277 @ 68.829
c NEW SOLUTION FOUND: 276 @ 68.857
c NEW SOLUTION FOUND: 275 @ 68.885
c NEW SOLUTION FOUND: 274 @ 68.913
c NEW SOLUTION FOUND: 273 @ 68.941
c NEW SOLUTION FOUND: 272 @ 68.969
c NEW SOLUTION FOUND: 271 @ 68.997
c NEW SOLUTION FOUND: 270 @ 69.025
c NEW SOLUTION FOUND: 269 @ 69.053
c NEW SOLUTION FOUND: 268 @ 69.081
c NEW SOLUTION FOUND: 267 @ 69.109
c NEW SOLUTION FOUND: 266 @ 69.137
c NEW SOLUTION FOUND: 265 @ 69.166
c NEW SOLUTION FOUND: 264 @ 69.194
c NEW SOLUTION FOUND: 263 @ 69.222
c NEW SOLUTION FOUND: 262 @ 69.251
c NEW SOLUTION FOUND: 261 @ 69.279
c NEW SOLUTION FOUND: 260 @ 69.308
c NEW SOLUTION FOUND: 259 @ 69.336
c NEW SOLUTION FOUND: 258 @ 69.364
c NEW SOLUTION FOUND: 257 @ 69.392
c NEW SOLUTION FOUND: 256 @ 69.421
c NEW SOLUTION FOUND: 255 @ 69.449
c NEW SOLUTION FOUND: 254 @ 69.477
c NEW SOLUTION FOUND: 253 @ 69.506
c NEW SOLUTION FOUND: 252 @ 69.534
c NEW SOLUTION FOUND: 251 @ 69.562
c NEW SOLUTION FOUND: 250 @ 69.591
c NEW SOLUTION FOUND: 249 @ 69.619
c NEW SOLUTION FOUND: 248 @ 69.647
c NEW SOLUTION FOUND: 247 @ 69.675
c NEW SOLUTION FOUND: 246 @ 69.704
c NEW SOLUTION FOUND: 245 @ 69.732
c NEW SOLUTION FOUND: 244 @ 69.76
c NEW SOLUTION FOUND: 243 @ 69.788
c NEW SOLUTION FOUND: 242 @ 69.817
c NEW SOLUTION FOUND: 241 @ 69.845
c NEW SOLUTION FOUND: 240 @ 69.873
c NEW SOLUTION FOUND: 239 @ 69.901
c NEW SOLUTION FOUND: 238 @ 69.929
c NEW SOLUTION FOUND: 237 @ 69.958
c NEW SOLUTION FOUND: 236 @ 69.986
c NEW SOLUTION FOUND: 235 @ 70.014
c NEW SOLUTION FOUND: 234 @ 70.042
c NEW SOLUTION FOUND: 233 @ 70.07
c NEW SOLUTION FOUND: 232 @ 70.098
c NEW SOLUTION FOUND: 231 @ 70.126
c NEW SOLUTION FOUND: 230 @ 70.154
c NEW SOLUTION FOUND: 229 @ 70.182
c NEW SOLUTION FOUND: 228 @ 70.211
c NEW SOLUTION FOUND: 227 @ 70.239
c NEW SOLUTION FOUND: 226 @ 70.267
c NEW SOLUTION FOUND: 225 @ 70.295
c NEW SOLUTION FOUND: 224 @ 70.323
c NEW SOLUTION FOUND: 223 @ 70.351
c NEW SOLUTION FOUND: 222 @ 70.379
c NEW SOLUTION FOUND: 221 @ 70.407
c NEW SOLUTION FOUND: 220 @ 70.435
c NEW SOLUTION FOUND: 219 @ 70.463
c NEW SOLUTION FOUND: 218 @ 70.491
c NEW SOLUTION FOUND: 217 @ 70.519
c NEW SOLUTION FOUND: 216 @ 70.547
c NEW SOLUTION FOUND: 215 @ 70.576
c NEW SOLUTION FOUND: 214 @ 70.605
c NEW SOLUTION FOUND: 213 @ 70.634
c NEW SOLUTION FOUND: 212 @ 70.663
c NEW SOLUTION FOUND: 211 @ 70.693
c NEW SOLUTION FOUND: 210 @ 70.722
c NEW SOLUTION FOUND: 209 @ 70.752
c NEW SOLUTION FOUND: 208 @ 70.782
c NEW SOLUTION FOUND: 207 @ 70.818
c NEW SOLUTION FOUND: 206 @ 70.853
c NEW SOLUTION FOUND: 205 @ 70.923
c NEW SOLUTION FOUND: 204 @ 70.959
c NEW SOLUTION FOUND: 203 @ 70.994
c NEW SOLUTION FOUND: 202 @ 71.03
c NEW SOLUTION FOUND: 201 @ 71.066
c NEW SOLUTION FOUND: 200 @ 71.103
c NEW SOLUTION FOUND: 199 @ 71.141
c NEW SOLUTION FOUND: 198 @ 71.188
c NEW SOLUTION FOUND: 197 @ 71.235
c NEW SOLUTION FOUND: 196 @ 71.283
c NEW SOLUTION FOUND: 195 @ 71.329
c NEW SOLUTION FOUND: 194 @ 71.376
c NEW SOLUTION FOUND: 193 @ 71.423
c NEW SOLUTION FOUND: 192 @ 71.472
c NEW SOLUTION FOUND: 191 @ 71.52
c NEW SOLUTION FOUND: 190 @ 71.568
c NEW SOLUTION FOUND: 189 @ 71.617
c NEW SOLUTION FOUND: 188 @ 71.664
c NEW SOLUTION FOUND: 187 @ 71.714
c NEW SOLUTION FOUND: 186 @ 71.761
c NEW SOLUTION FOUND: 185 @ 71.809
c NEW SOLUTION FOUND: 184 @ 71.859
c NEW SOLUTION FOUND: 183 @ 71.908
c NEW SOLUTION FOUND: 182 @ 71.957
c NEW SOLUTION FOUND: 181 @ 72.006
c NEW SOLUTION FOUND: 180 @ 72.056
c NEW SOLUTION FOUND: 179 @ 72.103
c NEW SOLUTION FOUND: 178 @ 72.152
c NEW SOLUTION FOUND: 177 @ 72.211
c NEW SOLUTION FOUND: 176 @ 72.268
c NEW SOLUTION FOUND: 175 @ 72.326
c NEW SOLUTION FOUND: 174 @ 72.383
c NEW SOLUTION FOUND: 173 @ 72.441
c NEW SOLUTION FOUND: 172 @ 72.5
c NEW SOLUTION FOUND: 171 @ 72.558
c NEW SOLUTION FOUND: 170 @ 72.613
c NEW SOLUTION FOUND: 169 @ 72.67
c NEW SOLUTION FOUND: 168 @ 72.728
c NEW SOLUTION FOUND: 167 @ 72.785
c NEW SOLUTION FOUND: 166 @ 72.844
c NEW SOLUTION FOUND: 165 @ 72.902
c NEW SOLUTION FOUND: 164 @ 72.96
c NEW SOLUTION FOUND: 163 @ 73.02
c NEW SOLUTION FOUND: 162 @ 73.08
c NEW SOLUTION FOUND: 161 @ 73.141
c NEW SOLUTION FOUND: 160 @ 73.196
c NEW SOLUTION FOUND: 159 @ 73.254
c NEW SOLUTION FOUND: 158 @ 73.315
c NEW SOLUTION FOUND: 157 @ 73.374
c NEW SOLUTION FOUND: 156 @ 73.43
c NEW SOLUTION FOUND: 155 @ 73.489
c NEW SOLUTION FOUND: 154 @ 73.549
c NEW SOLUTION FOUND: 153 @ 73.609
c NEW SOLUTION FOUND: 152 @ 73.67
c NEW SOLUTION FOUND: 151 @ 73.73
c NEW SOLUTION FOUND: 150 @ 73.788
c NEW SOLUTION FOUND: 149 @ 73.849
c NEW SOLUTION FOUND: 148 @ 73.91
c NEW SOLUTION FOUND: 147 @ 73.97
c NEW SOLUTION FOUND: 146 @ 74.029
c NEW SOLUTION FOUND: 145 @ 74.089
c NEW SOLUTION FOUND: 144 @ 74.151
c NEW SOLUTION FOUND: 143 @ 74.21
c NEW SOLUTION FOUND: 142 @ 74.27
c NEW SOLUTION FOUND: 141 @ 74.328
c NEW SOLUTION FOUND: 140 @ 74.388
c NEW SOLUTION FOUND: 139 @ 74.446
c NEW SOLUTION FOUND: 138 @ 74.503
c NEW SOLUTION FOUND: 137 @ 74.563
c NEW SOLUTION FOUND: 136 @ 74.621
c NEW SOLUTION FOUND: 135 @ 74.677
c NEW SOLUTION FOUND: 134 @ 74.738
c NEW SOLUTION FOUND: 133 @ 74.798
c NEW SOLUTION FOUND: 132 @ 74.856
c NEW SOLUTION FOUND: 131 @ 74.915
c NEW SOLUTION FOUND: 130 @ 74.978
c NEW SOLUTION FOUND: 129 @ 75.036
c NEW SOLUTION FOUND: 128 @ 75.097
c NEW SOLUTION FOUND: 127 @ 75.159
c NEW SOLUTION FOUND: 126 @ 75.218
c NEW SOLUTION FOUND: 125 @ 75.411
c NEW SOLUTION FOUND: 124 @ 75.477
c NEW SOLUTION FOUND: 123 @ 75.544
c NEW SOLUTION FOUND: 122 @ 75.607
c NEW SOLUTION FOUND: 121 @ 75.678
c NEW SOLUTION FOUND: 120 @ 75.743
c NEW SOLUTION FOUND: 119 @ 75.817
c NEW SOLUTION FOUND: 118 @ 75.882
c NEW SOLUTION FOUND: 117 @ 75.949
c NEW SOLUTION FOUND: 116 @ 76.01
c NEW SOLUTION FOUND: 115 @ 76.076
c NEW SOLUTION FOUND: 114 @ 76.138
c NEW SOLUTION FOUND: 113 @ 76.207
c NEW SOLUTION FOUND: 112 @ 76.279
c NEW SOLUTION FOUND: 111 @ 76.348
c NEW SOLUTION FOUND: 110 @ 76.42
c NEW SOLUTION FOUND: 109 @ 76.488
c NEW SOLUTION FOUND: 108 @ 76.627
c NEW SOLUTION FOUND: 107 @ 76.698
c NEW SOLUTION FOUND: 106 @ 76.766
c NEW SOLUTION FOUND: 105 @ 76.838
c NEW SOLUTION FOUND: 104 @ 76.912
c NEW SOLUTION FOUND: 103 @ 76.982
c NEW SOLUTION FOUND: 102 @ 77.049
c NEW SOLUTION FOUND: 101 @ 77.12
c NEW SOLUTION FOUND: 100 @ 77.193
c NEW SOLUTION FOUND: 99 @ 77.266
c NEW SOLUTION FOUND: 98 @ 77.337
c NEW SOLUTION FOUND: 97 @ 77.412
c NEW SOLUTION FOUND: 96 @ 77.479
c NEW SOLUTION FOUND: 95 @ 77.55
c NEW SOLUTION FOUND: 94 @ 77.621
c NEW SOLUTION FOUND: 93 @ 77.687
c NEW SOLUTION FOUND: 92 @ 77.76
c NEW SOLUTION FOUND: 91 @ 77.836
c NEW SOLUTION FOUND: 90 @ 77.906
c NEW SOLUTION FOUND: 89 @ 77.977
c NEW SOLUTION FOUND: 88 @ 78.052
c NEW SOLUTION FOUND: 87 @ 78.125
c NEW SOLUTION FOUND: 86 @ 78.199
c NEW SOLUTION FOUND: 85 @ 78.372
c NEW SOLUTION FOUND: 84 @ 78.656
c NEW SOLUTION FOUND: 83 @ 78.867
c NEW SOLUTION FOUND: 82 @ 79.2
c NEW SOLUTION FOUND: 81 @ 79.924
c NEW SOLUTION FOUND: 80 @ 80.275
c NEW SOLUTION FOUND: 79 @ 80.411
c NEW SOLUTION FOUND: 78 @ 80.576
c NEW SOLUTION FOUND: 77 @ 80.712
c NEW SOLUTION FOUND: 76 @ 81.019
c NEW SOLUTION FOUND: 75 @ 81.88
c NEW SOLUTION FOUND: 74 @ 82.417
c NEW SOLUTION FOUND: 73 @ 82.62
c NEW SOLUTION FOUND: 72 @ 83.247
c NEW SOLUTION FOUND: 71 @ 85.128
c NEW SOLUTION FOUND: 70 @ 94.766
c NEW SOLUTION FOUND: 69 @ 103.805
c NEW SOLUTION FOUND: 68 @ 107.346
c NEW SOLUTION FOUND: 67 @ 136.988
c NEW SOLUTION FOUND: 66 @ 167.668
c NEW SOLUTION FOUND: 65 @ 1051.57
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 
c Exit Code: 10
c Total time: 1186.29 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.99 2/54 7137
Raw data (stat): 7137 (runsolver) R 7136 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 652771328 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 2970 0 0 0 985 10 0 0 25 0 1 0 652771328 13176832 2471 4294967295 134512640 134714508 3221221792 3221217888 1074882601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3217 2471 1111 63 0 3154 0
vsize: 12868
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 7466 0 0 0 1973 21 0 0 25 0 1 0 652771328 13971456 2670 4294967295 134512640 134714508 3221221792 3221217940 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 2670 1111 63 0 3348 0
vsize: 13644
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 16726 0 0 0 2941 53 0 0 25 0 1 0 652771328 11755520 2178 4294967295 134512640 134714508 3221221792 3221220312 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2178 1111 63 0 2807 0
vsize: 11480
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 27609 0 0 0 3903 92 0 0 25 0 1 0 652771328 11771904 2178 4294967295 134512640 134714508 3221221792 3221220072 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2874 2178 1111 63 0 2811 0
vsize: 11496
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 38324 0 0 0 4863 131 0 0 25 0 1 0 652771328 11755520 2178 4294967295 134512640 134714508 3221221792 3221220324 1077757726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2178 1111 63 0 2807 0
vsize: 11480
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 49701 0 0 0 5825 169 0 0 25 0 1 0 652771328 11755520 2178 4294967295 134512640 134714508 3221221792 3221219952 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2178 1111 63 0 2807 0
vsize: 11480
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 62286 0 0 0 6781 214 0 0 25 0 1 0 652771328 12128256 2182 4294967295 134512640 134714508 3221221792 3221218684 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3012 2184 1111 63 0 2949 0
vsize: 11844
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 73213 0 0 0 7748 247 0 0 25 0 1 0 652771328 11862016 2204 4294967295 134512640 134714508 3221221792 3221219792 1074056637 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2896 2204 1111 63 0 2833 0
vsize: 11584
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 77536 0 0 0 8738 257 0 0 25 0 1 0 652771328 11980800 2212 4294967295 134512640 134714508 3221221792 3221219936 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 2212 1111 63 0 2862 0
vsize: 11700
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 80243 0 0 0 9731 263 0 0 25 0 1 0 652771328 12832768 2398 4294967295 134512640 134714508 3221221792 3221217796 1074875773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3133 2398 1111 63 0 3070 0
vsize: 12532
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 82759 0 0 0 10725 270 0 0 25 0 1 0 652771328 13004800 2425 4294967295 134512640 134714508 3221221792 3221217648 1074867717 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3175 2425 1111 63 0 3112 0
vsize: 12700
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 85483 0 0 0 11718 277 0 0 25 0 1 0 652771328 13094912 2448 4294967295 134512640 134714508 3221221792 3221218012 1074878521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2448 1111 63 0 3134 0
vsize: 12788
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 87670 0 0 0 12713 281 0 0 25 0 1 0 652771328 13094912 2450 4294967295 134512640 134714508 3221221792 3221217648 1074868397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2450 1111 63 0 3134 0
vsize: 12788
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 89472 0 0 0 13709 286 0 0 25 0 1 0 652771328 11927552 2197 4294967295 134512640 134714508 3221221792 3221219840 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2912 2197 1111 63 0 2849 0
vsize: 11648
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 91915 0 0 0 14703 292 0 0 25 0 1 0 652771328 13111296 2438 4294967295 134512640 134714508 3221221792 3221217848 1074860195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2438 1111 63 0 3138 0
vsize: 12804
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 94162 0 0 0 15696 299 0 0 25 0 1 0 652771328 13144064 2458 4294967295 134512640 134714508 3221221792 3221217796 1074875790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3209 2458 1111 63 0 3146 0
vsize: 12836
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 96079 0 0 0 16691 304 0 0 25 0 1 0 652771328 12091392 2245 4294967295 134512640 134714508 3221221792 3221219936 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2245 1111 63 0 2889 0
vsize: 11808
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 98925 0 0 0 17686 309 0 0 25 0 1 0 652771328 13406208 2525 4294967295 134512640 134714508 3221221792 3221217952 1074794697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3273 2525 1111 63 0 3210 0
vsize: 13092
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 100674 0 0 0 18682 313 0 0 25 0 1 0 652771328 12107776 2251 4294967295 134512640 134714508 3221221792 3221219568 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2956 2251 1111 63 0 2893 0
vsize: 11824
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 102672 0 0 0 19678 318 0 0 25 0 1 0 652771328 13811712 2587 4294967295 134512640 134714508 3221221792 3221217952 1075091577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3372 2587 1111 63 0 3309 0
vsize: 13488
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 104382 0 0 0 20673 323 0 0 25 0 1 0 652771328 13598720 2576 4294967295 134512640 134714508 3221221792 3221217784 1074788005 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3320 2576 1111 63 0 3257 0
vsize: 13280
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 106956 0 0 0 21667 329 0 0 25 0 1 0 652771328 13598720 2576 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3320 2576 1111 63 0 3257 0
vsize: 13280
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 109367 0 0 0 22660 336 0 0 25 0 1 0 652771328 13746176 2560 4294967295 134512640 134714508 3221221792 3221217836 1074873486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3356 2560 1111 63 0 3293 0
vsize: 13424
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 111028 0 0 0 23656 340 0 0 25 0 1 0 652771328 13451264 2545 4294967295 134512640 134714508 3221221792 3221217804 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3284 2545 1111 63 0 3221 0
vsize: 13136
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 113330 0 0 0 24650 347 0 0 25 0 1 0 652771328 13520896 2556 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3301 2556 1111 63 0 3238 0
vsize: 13204
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 114942 0 0 0 25645 351 0 0 25 0 1 0 652771328 13520896 2557 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3301 2557 1111 63 0 3238 0
vsize: 13204
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 117352 0 0 0 26638 358 0 0 25 0 1 0 652771328 13557760 2563 4294967295 134512640 134714508 3221221792 3221217776 1074875019 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3310 2563 1111 63 0 3247 0
vsize: 13240
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 118748 0 0 0 27636 361 0 0 25 0 1 0 652771328 13254656 2481 4294967295 134512640 134714508 3221221792 3221219616 1075823357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3236 2481 1111 63 0 3173 0
vsize: 12944
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 120650 0 0 0 28631 366 0 0 25 0 1 0 652771328 13434880 2539 4294967295 134512640 134714508 3221221792 3221217676 1074788939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3280 2539 1111 63 0 3217 0
vsize: 13120
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 122922 0 0 0 29626 371 0 0 25 0 1 0 652771328 13545472 2560 4294967295 134512640 134714508 3221221792 3221218324 1074260638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3307 2560 1111 63 0 3244 0
vsize: 13228
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 124572 0 0 0 30622 375 0 0 25 0 1 0 652771328 13602816 2576 4294967295 134512640 134714508 3221221792 3221217760 1074872738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3321 2576 1111 63 0 3258 0
vsize: 13284
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 126006 0 0 0 31620 377 0 0 25 0 1 0 652771328 13565952 2566 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2566 1111 63 0 3249 0
vsize: 13248
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 127496 0 0 0 32617 381 0 0 25 0 1 0 652771328 13754368 2617 4294967295 134512640 134714508 3221221792 3221218168 1075112600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3358 2617 1111 63 0 3295 0
vsize: 13432
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 129193 0 0 0 33613 385 0 0 25 0 1 0 652771328 13963264 2623 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3409 2623 1111 63 0 3346 0
vsize: 13636
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 130927 0 0 0 34609 389 0 0 25 0 1 0 652771328 13754368 2614 4294967295 134512640 134714508 3221221792 3221217648 1074870942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3358 2614 1111 63 0 3295 0
vsize: 13432
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 132635 0 0 0 35604 393 0 0 25 0 1 0 652771328 13742080 2610 4294967295 134512640 134714508 3221221792 3221217728 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3355 2610 1111 63 0 3292 0
vsize: 13420
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 134305 0 0 0 36601 397 0 0 25 0 1 0 652771328 13717504 2604 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2604 1111 63 0 3286 0
vsize: 13396
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 136479 0 0 0 37597 401 0 0 25 0 1 0 652771328 13045760 2496 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2496 1111 63 0 3122 0
vsize: 12740
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 138280 0 0 0 38593 405 0 0 25 0 1 0 652771328 13910016 2594 4294967295 134512640 134714508 3221221792 3221217796 1074875787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3396 2594 1111 63 0 3333 0
vsize: 13584
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 139713 0 0 0 39589 409 0 0 25 0 1 0 652771328 13443072 2524 4294967295 134512640 134714508 3221221792 3221219712 1075799685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3282 2524 1111 63 0 3219 0
vsize: 13128
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 141631 0 0 0 40585 414 0 0 25 0 1 0 652771328 13852672 2573 4294967295 134512640 134714508 3221221792 3221217952 1074794580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2573 1111 63 0 3319 0
vsize: 13528
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 143265 0 0 0 41582 417 0 0 25 0 1 0 652771328 13889536 2560 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3391 2560 1111 63 0 3328 0
vsize: 13564
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 144879 0 0 0 42578 421 0 0 25 0 1 0 652771328 13873152 2582 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3387 2582 1111 63 0 3324 0
vsize: 13548
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 146631 0 0 0 43574 425 0 0 25 0 1 0 652771328 13717504 2600 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2600 1111 63 0 3286 0
vsize: 13396
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 148310 0 0 0 44571 429 0 0 25 0 1 0 652771328 13717504 2605 4294967295 134512640 134714508 3221221792 3221217968 1074882604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2605 1111 63 0 3286 0
vsize: 13396
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 149940 0 0 0 45566 433 0 0 25 0 1 0 652771328 13852672 2578 4294967295 134512640 134714508 3221221792 3221217636 1074786513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2578 1111 63 0 3319 0
vsize: 13528
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 151565 0 0 0 46563 437 0 0 25 0 1 0 652771328 13680640 2595 4294967295 134512640 134714508 3221221792 3221218336 1075088566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2595 1111 63 0 3277 0
vsize: 13360
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 153189 0 0 0 47559 441 0 0 25 0 1 0 652771328 13647872 2590 4294967295 134512640 134714508 3221221792 3221218128 1075114256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3332 2590 1111 63 0 3269 0
vsize: 13328
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 154986 0 0 0 48555 446 0 0 25 0 1 0 652771328 13815808 2612 4294967295 134512640 134714508 3221221792 3221217728 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3373 2612 1111 63 0 3310 0
vsize: 13492
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 157012 0 0 0 49549 451 0 0 25 0 1 0 652771328 14098432 2654 4294967295 134512640 134714508 3221221792 3221217796 1074875781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2654 1111 63 0 3379 0
vsize: 13768
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 158158 0 0 0 50547 453 0 0 25 0 1 0 652771328 13713408 2627 4294967295 134512640 134714508 3221221792 3221217668 1074786600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2627 1111 63 0 3285 0
vsize: 13392
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 160358 0 0 0 51541 459 0 0 25 0 1 0 652771328 12271616 2307 4294967295 134512640 134714508 3221221792 3221219744 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2996 2307 1111 63 0 2933 0
vsize: 11984
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 161863 0 0 0 52538 463 0 0 25 0 1 0 652771328 13795328 2627 4294967295 134512640 134714508 3221221792 3221218160 1075894480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2627 1111 63 0 3305 0
vsize: 13472
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 163643 0 0 0 53533 467 0 0 25 0 1 0 652771328 13701120 2601 4294967295 134512640 134714508 3221221792 3221217648 1074868448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3345 2601 1111 63 0 3282 0
vsize: 13380
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 165297 0 0 0 54530 471 0 0 25 0 1 0 652771328 13684736 2594 4294967295 134512640 134714508 3221221792 3221217968 1074882601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3341 2594 1111 63 0 3278 0
vsize: 13364
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 167022 0 0 0 55525 476 0 0 25 0 1 0 652771328 13996032 2627 4294967295 134512640 134714508 3221221792 3221217796 1074875787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3417 2627 1111 63 0 3354 0
vsize: 13668
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 168737 0 0 0 56521 481 0 0 25 0 1 0 652771328 13721600 2607 4294967295 134512640 134714508 3221221792 3221217760 1074872727 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2607 1111 63 0 3287 0
vsize: 13400
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 170031 0 0 0 57517 485 0 0 25 0 1 0 652771328 12525568 2369 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3058 2369 1111 63 0 2995 0
vsize: 12232
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 171453 0 0 0 58514 488 0 0 25 0 1 0 652771328 13803520 2625 4294967295 134512640 134714508 3221221792 3221217968 1074882604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3370 2625 1111 63 0 3307 0
vsize: 13480
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 172752 0 0 0 59511 491 0 0 25 0 1 0 652771328 12488704 2360 4294967295 134512640 134714508 3221221792 3221219744 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2360 1111 63 0 2986 0
vsize: 12196
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 174103 0 0 0 60509 494 0 0 25 0 1 0 652771328 13922304 2612 4294967295 134512640 134714508 3221221792 3221217996 1075564280 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2612 1111 63 0 3336 0
vsize: 13596
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 175854 0 0 0 61504 498 0 0 25 0 1 0 652771328 13754368 2614 4294967295 134512640 134714508 3221221792 3221218736 1074620369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3358 2614 1111 63 0 3295 0
vsize: 13432
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 177581 0 0 0 62500 502 0 0 25 0 1 0 652771328 13680640 2594 4294967295 134512640 134714508 3221221792 3221217796 1074875856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2594 1111 63 0 3277 0
vsize: 13360
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 179192 0 0 0 63496 506 0 0 25 0 1 0 652771328 13926400 2614 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3400 2614 1111 63 0 3337 0
vsize: 13600
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 180983 0 0 0 64492 511 0 0 25 0 1 0 652771328 13750272 2612 4294967295 134512640 134714508 3221221792 3221217968 1074882630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2612 1111 63 0 3294 0
vsize: 13428
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 182164 0 0 0 65490 513 0 0 25 0 1 0 652771328 12476416 2357 4294967295 134512640 134714508 3221221792 3221219520 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3047 2357 1111 63 0 2984 0
vsize: 12184
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 183582 0 0 0 66486 517 0 0 25 0 1 0 652771328 13783040 2623 4294967295 134512640 134714508 3221221792 3221218064 1074960673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2623 1111 63 0 3302 0
vsize: 13460
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 185746 0 0 0 67481 523 0 0 25 0 1 0 652771328 12464128 2354 4294967295 134512640 134714508 3221221792 3221219888 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2354 1111 63 0 2980 0
vsize: 12172
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 187146 0 0 0 68477 526 0 0 25 0 1 0 652771328 13783040 2623 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2623 1111 63 0 3302 0
vsize: 13460
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 188914 0 0 0 69474 530 0 0 25 0 1 0 652771328 13770752 2618 4294967295 134512640 134714508 3221221792 3221217648 1074871225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3362 2618 1111 63 0 3299 0
vsize: 13448
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 190647 0 0 0 70469 535 0 0 25 0 1 0 652771328 13668352 2603 4294967295 134512640 134714508 3221221792 3221218020 1075115127 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3337 2603 1111 63 0 3274 0
vsize: 13348
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 192324 0 0 0 71465 539 0 0 25 0 1 0 652771328 13721600 2606 4294967295 134512640 134714508 3221221792 3221218160 1075119521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2606 1111 63 0 3287 0
vsize: 13400
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 194343 0 0 0 72461 543 0 0 25 0 1 0 652771328 12423168 2344 4294967295 134512640 134714508 3221221792 3221219168 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3033 2344 1111 63 0 2970 0
vsize: 12132
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 195736 0 0 0 73457 547 0 0 25 0 1 0 652771328 13733888 2611 4294967295 134512640 134714508 3221221792 3221217968 1074882576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3353 2611 1111 63 0 3290 0
vsize: 13412
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 197361 0 0 0 74454 550 0 0 25 0 1 0 652771328 13926400 2617 4294967295 134512640 134714508 3221221792 3221217648 1074871213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3400 2617 1111 63 0 3337 0
vsize: 13600
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 199270 0 0 0 75449 556 0 0 25 0 1 0 652771328 12484608 2359 4294967295 134512640 134714508 3221221792 3221219648 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3048 2359 1111 63 0 2985 0
vsize: 12192
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 201279 0 0 0 76443 562 0 0 25 0 1 0 652771328 13922304 2598 4294967295 134512640 134714508 3221221792 3221217928 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2598 1111 63 0 3336 0
vsize: 13596
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 202980 0 0 0 77439 566 0 0 25 0 1 0 652771328 13914112 2600 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3397 2600 1111 63 0 3334 0
vsize: 13588
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 204188 0 0 0 78437 568 0 0 25 0 1 0 652771328 12271616 2307 4294967295 134512640 134714508 3221221792 3221219472 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2996 2307 1111 63 0 2933 0
vsize: 11984
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 206279 0 0 0 79431 574 0 0 25 0 1 0 652771328 13844480 2598 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3380 2598 1111 63 0 3317 0
vsize: 13520
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 207738 0 0 0 80427 578 0 0 25 0 1 0 652771328 13832192 2596 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3377 2596 1111 63 0 3314 0
vsize: 13508
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 210009 0 0 0 81422 584 0 0 25 0 1 0 652771328 13619200 2580 4294967295 134512640 134714508 3221221792 3221217952 1074794557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2580 1111 63 0 3262 0
vsize: 13300
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 212007 0 0 0 82416 590 0 0 25 0 1 0 652771328 13058048 2499 4294967295 134512640 134714508 3221221792 3221219792 1074917025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2499 1111 63 0 3125 0
vsize: 12752
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 213723 0 0 0 83413 594 0 0 25 0 1 0 652771328 13889536 2608 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3391 2608 1111 63 0 3328 0
vsize: 13564
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 216197 0 0 0 84407 599 0 0 25 0 1 0 652771328 12271616 2307 4294967295 134512640 134714508 3221221792 3221219136 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2996 2307 1111 63 0 2933 0
vsize: 11984
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 218166 0 0 0 85403 603 0 0 25 0 1 0 652771328 13131776 2517 4294967295 134512640 134714508 3221221792 3221219792 1074918285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 2517 1111 63 0 3143 0
vsize: 12824
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 219660 0 0 0 86400 607 0 0 25 0 1 0 652771328 12476416 2357 4294967295 134512640 134714508 3221221792 3221219744 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2357 1111 63 0 2983 0
vsize: 12184
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 221829 0 0 0 87395 612 0 0 25 0 1 0 652771328 13742080 2617 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3355 2617 1111 63 0 3292 0
vsize: 13420
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 223463 0 0 0 88392 615 0 0 25 0 1 0 652771328 13950976 2615 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2615 1111 63 0 3343 0
vsize: 13624
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 225130 0 0 0 89387 620 0 0 25 0 1 0 652771328 13873152 2583 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3387 2583 1111 63 0 3324 0
vsize: 13548
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 226703 0 0 0 90384 623 0 0 25 0 1 0 652771328 13901824 2611 4294967295 134512640 134714508 3221221792 3221217660 1074787543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2611 1111 63 0 3331 0
vsize: 13576
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 228337 0 0 0 91379 628 0 0 25 0 1 0 652771328 13737984 2619 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2619 1111 63 0 3291 0
vsize: 13416
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 230017 0 0 0 92375 633 0 0 25 0 1 0 652771328 13737984 2617 4294967295 134512640 134714508 3221221792 3221217892 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2617 1111 63 0 3291 0
vsize: 13416
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 231654 0 0 0 93370 638 0 0 25 0 1 0 652771328 13946880 2623 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2623 1111 63 0 3342 0
vsize: 13620
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 233308 0 0 0 94367 641 0 0 25 0 1 0 652771328 13680640 2603 4294967295 134512640 134714508 3221221792 3221217648 1074871225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2603 1111 63 0 3277 0
vsize: 13360
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 234902 0 0 0 95363 645 0 0 25 0 1 0 652771328 13705216 2602 4294967295 134512640 134714508 3221221792 3221217796 1074875805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3346 2602 1111 63 0 3283 0
vsize: 13384
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 236482 0 0 0 96360 649 0 0 25 0 1 0 652771328 13664256 2595 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3336 2595 1111 63 0 3273 0
vsize: 13344
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 238858 0 0 0 97353 655 0 0 25 0 1 0 652771328 13672448 2600 4294967295 134512640 134714508 3221221792 3221218128 1075114274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2600 1111 63 0 3275 0
vsize: 13352
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 240390 0 0 0 98350 659 0 0 25 0 1 0 652771328 14057472 2623 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3432 2623 1111 63 0 3369 0
vsize: 13728
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 242072 0 0 0 99346 663 0 0 25 0 1 0 652771328 13688832 2601 4294967295 134512640 134714508 3221221792 3221217648 1074871213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2601 1111 63 0 3279 0
vsize: 13368
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 244517 0 0 0 100340 669 0 0 25 0 1 0 652771328 13983744 2624 4294967295 134512640 134714508 3221221792 3221217796 1074875775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2624 1111 63 0 3351 0
vsize: 13656
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 246204 0 0 0 101337 672 0 0 25 0 1 0 652771328 13983744 2612 4294967295 134512640 134714508 3221221792 3221217936 1074970224 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2612 1111 63 0 3351 0
vsize: 13656
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 247140 0 0 0 102335 675 0 0 25 0 1 0 652771328 13774848 2625 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3363 2625 1111 63 0 3300 0
vsize: 13452
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 248878 0 0 0 103330 679 0 0 25 0 1 0 652771328 13774848 2628 4294967295 134512640 134714508 3221221792 3221218064 1074960898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3363 2628 1111 63 0 3300 0
vsize: 13452
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 250546 0 0 0 104327 683 0 0 25 0 1 0 652771328 13910016 2617 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3396 2617 1111 63 0 3333 0
vsize: 13584
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 253022 0 0 0 105319 690 0 0 25 0 1 0 652771328 14069760 2594 4294967295 134512640 134714508 3221221792 3221218064 1074960759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3435 2594 1111 63 0 3372 0
vsize: 13740
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 254278 0 0 0 106317 692 0 0 25 0 1 0 652771328 12447744 2350 4294967295 134512640 134714508 3221221792 3221219676 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3039 2350 1111 63 0 2976 0
vsize: 12156
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 255987 0 0 0 107313 697 0 0 25 0 1 0 652771328 12496896 2362 4294967295 134512640 134714508 3221221792 3221220000 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3051 2362 1111 63 0 2988 0
vsize: 12204
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 257884 0 0 0 108309 701 0 0 25 0 1 0 652771328 14020608 2662 4294967295 134512640 134714508 3221221792 3221217760 1075965248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2662 1111 63 0 3360 0
vsize: 13692
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 260271 0 0 0 109303 707 0 0 25 0 1 0 652771328 14344192 2710 4294967295 134512640 134714508 3221221792 3221218832 1075971401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2710 1111 63 0 3439 0
vsize: 14008
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 261660 0 0 0 110300 710 0 0 25 0 1 0 652771328 14168064 2711 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2711 1111 63 0 3396 0
vsize: 13836
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 263005 0 0 0 111297 714 0 0 25 0 1 0 652771328 14192640 2710 4294967295 134512640 134714508 3221221792 3221217700 1074786547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3465 2710 1111 63 0 3402 0
vsize: 13860
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 265654 0 0 0 112291 719 0 0 25 0 1 0 652771328 14172160 2708 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3460 2708 1111 63 0 3397 0
vsize: 13840
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 266966 0 0 0 113288 723 0 0 25 0 1 0 652771328 14147584 2699 4294967295 134512640 134714508 3221221792 3221217760 1075965256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2699 1111 63 0 3391 0
vsize: 13816
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 269509 0 0 0 114282 728 0 0 25 0 1 0 652771328 14045184 2664 4294967295 134512640 134714508 3221221792 3221217796 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2664 1111 63 0 3366 0
vsize: 13716
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 271036 0 0 0 115278 733 0 0 25 0 1 0 652771328 12476416 2349 4294967295 134512640 134714508 3221221792 3221219424 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2349 1111 63 0 2983 0
vsize: 12184
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 273077 0 0 0 116273 738 0 0 25 0 1 0 652771328 12632064 2395 4294967295 134512640 134714508 3221221792 3221219504 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3084 2395 1111 63 0 3021 0
vsize: 12336
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 274574 0 0 0 117270 742 0 0 25 0 1 0 652771328 13905920 2655 4294967295 134512640 134714508 3221221792 3221217648 1074868635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2655 1111 63 0 3332 0
vsize: 13580
[startup+1186.22 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 7137
Raw data (stat): 7137 (bsolo_lpr) R 7136 7876 7672 0 -1 0 274574 0 0 0 117270 742 0 0 25 0 1 0 652771328 13905920 2655 4294967295 134512640 134714508 3221221792 3221217648 1074868635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2655 1111 63 0 3332 0
vsize: 0

Child status: 10
Real time (s): 1186.22
CPU time (s): 1186.32
CPU user time (s): 1178.87
CPU system time (s): 7.45387
CPU usage (%): 100.008
Max. virtual memory (Kb): 14008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	65
#### END VERIFIER DATA ####