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 39447

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 10:11:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27509 boxname=wulflinc2 idbench=67 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ebc55cfc194a279163f52418008eccf2  /oldhome/oroussel/tmp/wulflinc2/normalized-ex5.pi.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ex5.pi.opb
IDLAUNCH: 27509
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        268608 kB
Buffers:         34152 kB
Cached:         707788 kB
SwapCached:       1164 kB
Active:          49056 kB
Inactive:       695392 kB
HighTotal:      131008 kB
HighFree:        15204 kB
LowTotal:       903652 kB
LowFree:        253404 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15992 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:31:21 (client local time) WITH STATUS 10 IN 1179.77 SECONDS
stats: 27509 0 1179.77 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.395 s
c Initial Lower Bound: 64
c Lower Bound Elapsed time: 1.8865
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1808 @ 13.362
c NEW SOLUTION FOUND: 1807 @ 13.425
c NEW SOLUTION FOUND: 1806 @ 13.456
c NEW SOLUTION FOUND: 1805 @ 13.489
c NEW SOLUTION FOUND: 1804 @ 13.523
c NEW SOLUTION FOUND: 1803 @ 13.555
c NEW SOLUTION FOUND: 1802 @ 13.588
c NEW SOLUTION FOUND: 1801 @ 13.621
c NEW SOLUTION FOUND: 1800 @ 13.654
c NEW SOLUTION FOUND: 1799 @ 13.686
c NEW SOLUTION FOUND: 1798 @ 13.719
c NEW SOLUTION FOUND: 1797 @ 13.752
c NEW SOLUTION FOUND: 1796 @ 13.784
c NEW SOLUTION FOUND: 1795 @ 13.816
c NEW SOLUTION FOUND: 1794 @ 13.849
c NEW SOLUTION FOUND: 1793 @ 13.882
c NEW SOLUTION FOUND: 1792 @ 13.915
c NEW SOLUTION FOUND: 1791 @ 13.947
c NEW SOLUTION FOUND: 1790 @ 13.98
c NEW SOLUTION FOUND: 1789 @ 14.012
c NEW SOLUTION FOUND: 1788 @ 14.045
c NEW SOLUTION FOUND: 1787 @ 14.077
c NEW SOLUTION FOUND: 1786 @ 14.11
c NEW SOLUTION FOUND: 1785 @ 14.142
c NEW SOLUTION FOUND: 1784 @ 14.175
c NEW SOLUTION FOUND: 1783 @ 14.208
c NEW SOLUTION FOUND: 1782 @ 14.24
c NEW SOLUTION FOUND: 1781 @ 14.272
c NEW SOLUTION FOUND: 1780 @ 14.305
c NEW SOLUTION FOUND: 1779 @ 14.337
c NEW SOLUTION FOUND: 1778 @ 14.37
c NEW SOLUTION FOUND: 1777 @ 14.402
c NEW SOLUTION FOUND: 1776 @ 14.434
c NEW SOLUTION FOUND: 1775 @ 14.467
c NEW SOLUTION FOUND: 1774 @ 14.5
c NEW SOLUTION FOUND: 1773 @ 14.533
c NEW SOLUTION FOUND: 1772 @ 14.566
c NEW SOLUTION FOUND: 1771 @ 14.599
c NEW SOLUTION FOUND: 1770 @ 14.632
c NEW SOLUTION FOUND: 1769 @ 14.665
c NEW SOLUTION FOUND: 1768 @ 14.697
c NEW SOLUTION FOUND: 1767 @ 14.729
c NEW SOLUTION FOUND: 1766 @ 14.762
c NEW SOLUTION FOUND: 1765 @ 14.794
c NEW SOLUTION FOUND: 1764 @ 14.827
c NEW SOLUTION FOUND: 1763 @ 14.86
c NEW SOLUTION FOUND: 1762 @ 14.893
c NEW SOLUTION FOUND: 1761 @ 14.925
c NEW SOLUTION FOUND: 1760 @ 14.958
c NEW SOLUTION FOUND: 1759 @ 14.99
c NEW SOLUTION FOUND: 1758 @ 15.023
c NEW SOLUTION FOUND: 1757 @ 15.056
c NEW SOLUTION FOUND: 1756 @ 15.088
c NEW SOLUTION FOUND: 1755 @ 15.121
c NEW SOLUTION FOUND: 1754 @ 15.154
c NEW SOLUTION FOUND: 1753 @ 15.186
c NEW SOLUTION FOUND: 1752 @ 15.218
c NEW SOLUTION FOUND: 1751 @ 15.25
c NEW SOLUTION FOUND: 1750 @ 15.283
c NEW SOLUTION FOUND: 1749 @ 15.316
c NEW SOLUTION FOUND: 1748 @ 15.349
c NEW SOLUTION FOUND: 1747 @ 15.382
c NEW SOLUTION FOUND: 1746 @ 15.415
c NEW SOLUTION FOUND: 1745 @ 15.448
c NEW SOLUTION FOUND: 1744 @ 15.481
c NEW SOLUTION FOUND: 1743 @ 15.514
c NEW SOLUTION FOUND: 1742 @ 15.547
c NEW SOLUTION FOUND: 1741 @ 15.579
c NEW SOLUTION FOUND: 1740 @ 15.612
c NEW SOLUTION FOUND: 1739 @ 15.646
c NEW SOLUTION FOUND: 1738 @ 15.679
c NEW SOLUTION FOUND: 1737 @ 15.711
c NEW SOLUTION FOUND: 1736 @ 15.744
c NEW SOLUTION FOUND: 1735 @ 15.777
c NEW SOLUTION FOUND: 1734 @ 15.81
c NEW SOLUTION FOUND: 1733 @ 15.843
c NEW SOLUTION FOUND: 1732 @ 15.876
c NEW SOLUTION FOUND: 1731 @ 15.908
c NEW SOLUTION FOUND: 1730 @ 15.941
c NEW SOLUTION FOUND: 1729 @ 15.974
c NEW SOLUTION FOUND: 1728 @ 16.008
c NEW SOLUTION FOUND: 1727 @ 16.041
c NEW SOLUTION FOUND: 1726 @ 16.074
c NEW SOLUTION FOUND: 1725 @ 16.107
c NEW SOLUTION FOUND: 1724 @ 16.14
c NEW SOLUTION FOUND: 1723 @ 16.173
c NEW SOLUTION FOUND: 1722 @ 16.206
c NEW SOLUTION FOUND: 1721 @ 16.239
c NEW SOLUTION FOUND: 1720 @ 16.273
c NEW SOLUTION FOUND: 1719 @ 16.306
c NEW SOLUTION FOUND: 1718 @ 16.338
c NEW SOLUTION FOUND: 1717 @ 16.371
c NEW SOLUTION FOUND: 1716 @ 16.404
c NEW SOLUTION FOUND: 1715 @ 16.436
c NEW SOLUTION FOUND: 1714 @ 16.469
c NEW SOLUTION FOUND: 1713 @ 16.502
c NEW SOLUTION FOUND: 1712 @ 16.535
c NEW SOLUTION FOUND: 1711 @ 16.568
c NEW SOLUTION FOUND: 1710 @ 16.601
c NEW SOLUTION FOUND: 1709 @ 16.634
c NEW SOLUTION FOUND: 1708 @ 16.667
c NEW SOLUTION FOUND: 1707 @ 16.7
c NEW SOLUTION FOUND: 1706 @ 16.733
c NEW SOLUTION FOUND: 1705 @ 16.767
c NEW SOLUTION FOUND: 1704 @ 16.8
c NEW SOLUTION FOUND: 1703 @ 16.833
c NEW SOLUTION FOUND: 1702 @ 16.867
c NEW SOLUTION FOUND: 1701 @ 16.9
c NEW SOLUTION FOUND: 1700 @ 16.933
c NEW SOLUTION FOUND: 1699 @ 16.966
c NEW SOLUTION FOUND: 1698 @ 17.001
c NEW SOLUTION FOUND: 1697 @ 17.034
c NEW SOLUTION FOUND: 1696 @ 17.067
c NEW SOLUTION FOUND: 1695 @ 17.1
c NEW SOLUTION FOUND: 1694 @ 17.133
c NEW SOLUTION FOUND: 1693 @ 17.166
c NEW SOLUTION FOUND: 1692 @ 17.2
c NEW SOLUTION FOUND: 1691 @ 17.232
c NEW SOLUTION FOUND: 1690 @ 17.265
c NEW SOLUTION FOUND: 1689 @ 17.298
c NEW SOLUTION FOUND: 1688 @ 17.331
c NEW SOLUTION FOUND: 1687 @ 17.364
c NEW SOLUTION FOUND: 1686 @ 17.398
c NEW SOLUTION FOUND: 1685 @ 17.431
c NEW SOLUTION FOUND: 1684 @ 17.463
c NEW SOLUTION FOUND: 1683 @ 17.496
c NEW SOLUTION FOUND: 1682 @ 17.53
c NEW SOLUTION FOUND: 1681 @ 17.563
c NEW SOLUTION FOUND: 1680 @ 17.596
c NEW SOLUTION FOUND: 1679 @ 17.63
c NEW SOLUTION FOUND: 1678 @ 17.663
c NEW SOLUTION FOUND: 1677 @ 17.696
c NEW SOLUTION FOUND: 1676 @ 17.729
c NEW SOLUTION FOUND: 1675 @ 17.763
c NEW SOLUTION FOUND: 1674 @ 17.795
c NEW SOLUTION FOUND: 1673 @ 17.828
c NEW SOLUTION FOUND: 1672 @ 17.861
c NEW SOLUTION FOUND: 1671 @ 17.894
c NEW SOLUTION FOUND: 1670 @ 17.927
c NEW SOLUTION FOUND: 1669 @ 17.96
c NEW SOLUTION FOUND: 1668 @ 17.993
c NEW SOLUTION FOUND: 1667 @ 18.025
c NEW SOLUTION FOUND: 1666 @ 18.059
c NEW SOLUTION FOUND: 1665 @ 18.091
c NEW SOLUTION FOUND: 1664 @ 18.124
c NEW SOLUTION FOUND: 1663 @ 18.157
c NEW SOLUTION FOUND: 1662 @ 18.19
c NEW SOLUTION FOUND: 1661 @ 18.223
c NEW SOLUTION FOUND: 1660 @ 18.257
c NEW SOLUTION FOUND: 1659 @ 18.29
c NEW SOLUTION FOUND: 1658 @ 18.323
c NEW SOLUTION FOUND: 1657 @ 18.356
c NEW SOLUTION FOUND: 1656 @ 18.388
c NEW SOLUTION FOUND: 1655 @ 18.421
c NEW SOLUTION FOUND: 1654 @ 18.453
c NEW SOLUTION FOUND: 1653 @ 18.487
c NEW SOLUTION FOUND: 1652 @ 18.52
c NEW SOLUTION FOUND: 1651 @ 18.552
c NEW SOLUTION FOUND: 1650 @ 18.585
c NEW SOLUTION FOUND: 1649 @ 18.617
c NEW SOLUTION FOUND: 1648 @ 18.65
c NEW SOLUTION FOUND: 1647 @ 18.683
c NEW SOLUTION FOUND: 1646 @ 18.716
c NEW SOLUTION FOUND: 1645 @ 18.75
c NEW SOLUTION FOUND: 1644 @ 18.782
c NEW SOLUTION FOUND: 1643 @ 18.815
c NEW SOLUTION FOUND: 1642 @ 18.848
c NEW SOLUTION FOUND: 1641 @ 18.881
c NEW SOLUTION FOUND: 1640 @ 18.914
c NEW SOLUTION FOUND: 1639 @ 18.947
c NEW SOLUTION FOUND: 1638 @ 18.979
c NEW SOLUTION FOUND: 1637 @ 19.012
c NEW SOLUTION FOUND: 1636 @ 19.045
c NEW SOLUTION FOUND: 1635 @ 19.078
c NEW SOLUTION FOUND: 1634 @ 19.111
c NEW SOLUTION FOUND: 1633 @ 19.144
c NEW SOLUTION FOUND: 1632 @ 19.177
c NEW SOLUTION FOUND: 1631 @ 19.209
c NEW SOLUTION FOUND: 1630 @ 19.242
c NEW SOLUTION FOUND: 1629 @ 19.275
c NEW SOLUTION FOUND: 1628 @ 19.307
c NEW SOLUTION FOUND: 1627 @ 19.34
c NEW SOLUTION FOUND: 1626 @ 19.373
c NEW SOLUTION FOUND: 1625 @ 19.406
c NEW SOLUTION FOUND: 1624 @ 19.439
c NEW SOLUTION FOUND: 1623 @ 19.471
c NEW SOLUTION FOUND: 1622 @ 19.504
c NEW SOLUTION FOUND: 1621 @ 19.537
c NEW SOLUTION FOUND: 1620 @ 19.57
c NEW SOLUTION FOUND: 1619 @ 19.604
c NEW SOLUTION FOUND: 1618 @ 19.637
c NEW SOLUTION FOUND: 1617 @ 19.669
c NEW SOLUTION FOUND: 1616 @ 19.702
c NEW SOLUTION FOUND: 1615 @ 19.735
c NEW SOLUTION FOUND: 1614 @ 19.768
c NEW SOLUTION FOUND: 1613 @ 19.801
c NEW SOLUTION FOUND: 1612 @ 19.833
c NEW SOLUTION FOUND: 1611 @ 19.865
c NEW SOLUTION FOUND: 1610 @ 19.897
c NEW SOLUTION FOUND: 1609 @ 19.93
c NEW SOLUTION FOUND: 1608 @ 19.962
c NEW SOLUTION FOUND: 1607 @ 19.995
c NEW SOLUTION FOUND: 1606 @ 20.028
c NEW SOLUTION FOUND: 1605 @ 20.06
c NEW SOLUTION FOUND: 1604 @ 20.092
c NEW SOLUTION FOUND: 1603 @ 20.125
c NEW SOLUTION FOUND: 1602 @ 20.158
c NEW SOLUTION FOUND: 1601 @ 20.191
c NEW SOLUTION FOUND: 1600 @ 20.222
c NEW SOLUTION FOUND: 1599 @ 20.255
c NEW SOLUTION FOUND: 1598 @ 20.287
c NEW SOLUTION FOUND: 1597 @ 20.32
c NEW SOLUTION FOUND: 1596 @ 20.353
c NEW SOLUTION FOUND: 1595 @ 20.386
c NEW SOLUTION FOUND: 1594 @ 20.418
c NEW SOLUTION FOUND: 1593 @ 20.451
c NEW SOLUTION FOUND: 1592 @ 20.484
c NEW SOLUTION FOUND: 1591 @ 20.517
c NEW SOLUTION FOUND: 1590 @ 20.55
c NEW SOLUTION FOUND: 1589 @ 20.583
c NEW SOLUTION FOUND: 1588 @ 20.615
c NEW SOLUTION FOUND: 1587 @ 20.648
c NEW SOLUTION FOUND: 1586 @ 20.68
c NEW SOLUTION FOUND: 1585 @ 20.713
c NEW SOLUTION FOUND: 1584 @ 20.746
c NEW SOLUTION FOUND: 1583 @ 20.779
c NEW SOLUTION FOUND: 1582 @ 20.812
c NEW SOLUTION FOUND: 1581 @ 20.845
c NEW SOLUTION FOUND: 1580 @ 20.877
c NEW SOLUTION FOUND: 1579 @ 20.909
c NEW SOLUTION FOUND: 1578 @ 20.941
c NEW SOLUTION FOUND: 1577 @ 20.974
c NEW SOLUTION FOUND: 1576 @ 21.007
c NEW SOLUTION FOUND: 1575 @ 21.039
c NEW SOLUTION FOUND: 1574 @ 21.072
c NEW SOLUTION FOUND: 1573 @ 21.104
c NEW SOLUTION FOUND: 1572 @ 21.137
c NEW SOLUTION FOUND: 1571 @ 21.169
c NEW SOLUTION FOUND: 1570 @ 21.202
c NEW SOLUTION FOUND: 1569 @ 21.234
c NEW SOLUTION FOUND: 1568 @ 21.266
c NEW SOLUTION FOUND: 1567 @ 21.299
c NEW SOLUTION FOUND: 1566 @ 21.331
c NEW SOLUTION FOUND: 1565 @ 21.364
c NEW SOLUTION FOUND: 1564 @ 21.397
c NEW SOLUTION FOUND: 1563 @ 21.429
c NEW SOLUTION FOUND: 1562 @ 21.462
c NEW SOLUTION FOUND: 1561 @ 21.494
c NEW SOLUTION FOUND: 1560 @ 21.526
c NEW SOLUTION FOUND: 1559 @ 21.559
c NEW SOLUTION FOUND: 1558 @ 21.591
c NEW SOLUTION FOUND: 1557 @ 21.624
c NEW SOLUTION FOUND: 1556 @ 21.656
c NEW SOLUTION FOUND: 1555 @ 21.688
c NEW SOLUTION FOUND: 1554 @ 21.721
c NEW SOLUTION FOUND: 1553 @ 21.754
c NEW SOLUTION FOUND: 1552 @ 21.787
c NEW SOLUTION FOUND: 1551 @ 21.819
c NEW SOLUTION FOUND: 1550 @ 21.851
c NEW SOLUTION FOUND: 1549 @ 21.884
c NEW SOLUTION FOUND: 1548 @ 21.916
c NEW SOLUTION FOUND: 1547 @ 21.949
c NEW SOLUTION FOUND: 1546 @ 21.982
c NEW SOLUTION FOUND: 1545 @ 22.015
c NEW SOLUTION FOUND: 1544 @ 22.047
c NEW SOLUTION FOUND: 1543 @ 22.08
c NEW SOLUTION FOUND: 1542 @ 22.112
c NEW SOLUTION FOUND: 1541 @ 22.145
c NEW SOLUTION FOUND: 1540 @ 22.178
c NEW SOLUTION FOUND: 1539 @ 22.21
c NEW SOLUTION FOUND: 1538 @ 22.242
c NEW SOLUTION FOUND: 1537 @ 22.274
c NEW SOLUTION FOUND: 1536 @ 22.307
c NEW SOLUTION FOUND: 1535 @ 22.34
c NEW SOLUTION FOUND: 1534 @ 22.372
c NEW SOLUTION FOUND: 1533 @ 22.405
c NEW SOLUTION FOUND: 1532 @ 22.437
c NEW SOLUTION FOUND: 1531 @ 22.469
c NEW SOLUTION FOUND: 1530 @ 22.501
c NEW SOLUTION FOUND: 1529 @ 22.533
c NEW SOLUTION FOUND: 1528 @ 22.566
c NEW SOLUTION FOUND: 1527 @ 22.598
c NEW SOLUTION FOUND: 1526 @ 22.63
c NEW SOLUTION FOUND: 1525 @ 22.663
c NEW SOLUTION FOUND: 1524 @ 22.695
c NEW SOLUTION FOUND: 1523 @ 22.727
c NEW SOLUTION FOUND: 1522 @ 22.759
c NEW SOLUTION FOUND: 1521 @ 22.791
c NEW SOLUTION FOUND: 1520 @ 22.824
c NEW SOLUTION FOUND: 1519 @ 22.855
c NEW SOLUTION FOUND: 1518 @ 22.888
c NEW SOLUTION FOUND: 1517 @ 22.92
c NEW SOLUTION FOUND: 1516 @ 22.952
c NEW SOLUTION FOUND: 1515 @ 22.985
c NEW SOLUTION FOUND: 1514 @ 23.019
c NEW SOLUTION FOUND: 1513 @ 23.051
c NEW SOLUTION FOUND: 1512 @ 23.084
c NEW SOLUTION FOUND: 1511 @ 23.116
c NEW SOLUTION FOUND: 1510 @ 23.148
c NEW SOLUTION FOUND: 1509 @ 23.18
c NEW SOLUTION FOUND: 1508 @ 23.213
c NEW SOLUTION FOUND: 1507 @ 23.245
c NEW SOLUTION FOUND: 1506 @ 23.277
c NEW SOLUTION FOUND: 1505 @ 23.309
c NEW SOLUTION FOUND: 1504 @ 23.342
c NEW SOLUTION FOUND: 1503 @ 23.373
c NEW SOLUTION FOUND: 1502 @ 23.405
c NEW SOLUTION FOUND: 1501 @ 23.436
c NEW SOLUTION FOUND: 1500 @ 23.469
c NEW SOLUTION FOUND: 1499 @ 23.501
c NEW SOLUTION FOUND: 1498 @ 23.534
c NEW SOLUTION FOUND: 1497 @ 23.565
c NEW SOLUTION FOUND: 1496 @ 23.598
c NEW SOLUTION FOUND: 1495 @ 23.63
c NEW SOLUTION FOUND: 1494 @ 23.662
c NEW SOLUTION FOUND: 1493 @ 23.694
c NEW SOLUTION FOUND: 1492 @ 23.727
c NEW SOLUTION FOUND: 1491 @ 23.758
c NEW SOLUTION FOUND: 1490 @ 23.791
c NEW SOLUTION FOUND: 1489 @ 23.823
c NEW SOLUTION FOUND: 1488 @ 23.855
c NEW SOLUTION FOUND: 1487 @ 23.887
c NEW SOLUTION FOUND: 1486 @ 23.919
c NEW SOLUTION FOUND: 1485 @ 23.951
c NEW SOLUTION FOUND: 1484 @ 23.984
c NEW SOLUTION FOUND: 1483 @ 24.016
c NEW SOLUTION FOUND: 1482 @ 24.048
c NEW SOLUTION FOUND: 1481 @ 24.08
c NEW SOLUTION FOUND: 1480 @ 24.112
c NEW SOLUTION FOUND: 1479 @ 24.144
c NEW SOLUTION FOUND: 1478 @ 24.176
c NEW SOLUTION FOUND: 1477 @ 24.208
c NEW SOLUTION FOUND: 1476 @ 24.241
c NEW SOLUTION FOUND: 1475 @ 24.273
c NEW SOLUTION FOUND: 1474 @ 24.305
c NEW SOLUTION FOUND: 1473 @ 24.337
c NEW SOLUTION FOUND: 1472 @ 24.369
c NEW SOLUTION FOUND: 1471 @ 24.401
c NEW SOLUTION FOUND: 1470 @ 24.433
c NEW SOLUTION FOUND: 1469 @ 24.464
c NEW SOLUTION FOUND: 1468 @ 24.497
c NEW SOLUTION FOUND: 1467 @ 24.529
c NEW SOLUTION FOUND: 1466 @ 24.562
c NEW SOLUTION FOUND: 1465 @ 24.594
c NEW SOLUTION FOUND: 1464 @ 24.626
c NEW SOLUTION FOUND: 1463 @ 24.657
c NEW SOLUTION FOUND: 1462 @ 24.689
c NEW SOLUTION FOUND: 1461 @ 24.722
c NEW SOLUTION FOUND: 1460 @ 24.753
c NEW SOLUTION FOUND: 1459 @ 24.785
c NEW SOLUTION FOUND: 1458 @ 24.817
c NEW SOLUTION FOUND: 1457 @ 24.85
c NEW SOLUTION FOUND: 1456 @ 24.881
c NEW SOLUTION FOUND: 1455 @ 24.913
c NEW SOLUTION FOUND: 1454 @ 24.945
c NEW SOLUTION FOUND: 1453 @ 24.977
c NEW SOLUTION FOUND: 1452 @ 25.009
c NEW SOLUTION FOUND: 1451 @ 25.041
c NEW SOLUTION FOUND: 1450 @ 25.073
c NEW SOLUTION FOUND: 1449 @ 25.105
c NEW SOLUTION FOUND: 1448 @ 25.137
c NEW SOLUTION FOUND: 1447 @ 25.169
c NEW SOLUTION FOUND: 1446 @ 25.201
c NEW SOLUTION FOUND: 1445 @ 25.234
c NEW SOLUTION FOUND: 1444 @ 25.266
c NEW SOLUTION FOUND: 1443 @ 25.297
c NEW SOLUTION FOUND: 1442 @ 25.328
c NEW SOLUTION FOUND: 1441 @ 25.36
c NEW SOLUTION FOUND: 1440 @ 25.392
c NEW SOLUTION FOUND: 1439 @ 25.424
c NEW SOLUTION FOUND: 1438 @ 25.455
c NEW SOLUTION FOUND: 1437 @ 25.487
c NEW SOLUTION FOUND: 1436 @ 25.519
c NEW SOLUTION FOUND: 1435 @ 25.552
c NEW SOLUTION FOUND: 1434 @ 25.583
c NEW SOLUTION FOUND: 1433 @ 25.615
c NEW SOLUTION FOUND: 1432 @ 25.647
c NEW SOLUTION FOUND: 1431 @ 25.679
c NEW SOLUTION FOUND: 1430 @ 25.71
c NEW SOLUTION FOUND: 1429 @ 25.742
c NEW SOLUTION FOUND: 1428 @ 25.773
c NEW SOLUTION FOUND: 1427 @ 25.806
c NEW SOLUTION FOUND: 1426 @ 25.838
c NEW SOLUTION FOUND: 1425 @ 25.869
c NEW SOLUTION FOUND: 1424 @ 25.901
c NEW SOLUTION FOUND: 1423 @ 25.933
c NEW SOLUTION FOUND: 1422 @ 25.965
c NEW SOLUTION FOUND: 1421 @ 25.997
c NEW SOLUTION FOUND: 1420 @ 26.028
c NEW SOLUTION FOUND: 1419 @ 26.06
c NEW SOLUTION FOUND: 1418 @ 26.092
c NEW SOLUTION FOUND: 1417 @ 26.123
c NEW SOLUTION FOUND: 1416 @ 26.155
c NEW SOLUTION FOUND: 1415 @ 26.187
c NEW SOLUTION FOUND: 1414 @ 26.218
c NEW SOLUTION FOUND: 1413 @ 26.249
c NEW SOLUTION FOUND: 1412 @ 26.281
c NEW SOLUTION FOUND: 1411 @ 26.313
c NEW SOLUTION FOUND: 1410 @ 26.344
c NEW SOLUTION FOUND: 1409 @ 26.376
c NEW SOLUTION FOUND: 1408 @ 26.408
c NEW SOLUTION FOUND: 1407 @ 26.44
c NEW SOLUTION FOUND: 1406 @ 26.471
c NEW SOLUTION FOUND: 1405 @ 26.502
c NEW SOLUTION FOUND: 1404 @ 26.534
c NEW SOLUTION FOUND: 1403 @ 26.566
c NEW SOLUTION FOUND: 1402 @ 26.598
c NEW SOLUTION FOUND: 1401 @ 26.63
c NEW SOLUTION FOUND: 1400 @ 26.662
c NEW SOLUTION FOUND: 1399 @ 26.694
c NEW SOLUTION FOUND: 1398 @ 26.726
c NEW SOLUTION FOUND: 1397 @ 26.758
c NEW SOLUTION FOUND: 1396 @ 26.79
c NEW SOLUTION FOUND: 1395 @ 26.821
c NEW SOLUTION FOUND: 1394 @ 26.853
c NEW SOLUTION FOUND: 1393 @ 26.885
c NEW SOLUTION FOUND: 1392 @ 26.917
c NEW SOLUTION FOUND: 1391 @ 26.949
c NEW SOLUTION FOUND: 1390 @ 26.981
c NEW SOLUTION FOUND: 1389 @ 27.013
c NEW SOLUTION FOUND: 1388 @ 27.045
c NEW SOLUTION FOUND: 1387 @ 27.077
c NEW SOLUTION FOUND: 1386 @ 27.108
c NEW SOLUTION FOUND: 1385 @ 27.14
c NEW SOLUTION FOUND: 1384 @ 27.171
c NEW SOLUTION FOUND: 1383 @ 27.203
c NEW SOLUTION FOUND: 1382 @ 27.235
c NEW SOLUTION FOUND: 1381 @ 27.267
c NEW SOLUTION FOUND: 1380 @ 27.298
c NEW SOLUTION FOUND: 1379 @ 27.33
c NEW SOLUTION FOUND: 1378 @ 27.362
c NEW SOLUTION FOUND: 1377 @ 27.393
c NEW SOLUTION FOUND: 1376 @ 27.425
c NEW SOLUTION FOUND: 1375 @ 27.456
c NEW SOLUTION FOUND: 1374 @ 27.487
c NEW SOLUTION FOUND: 1373 @ 27.519
c NEW SOLUTION FOUND: 1372 @ 27.55
c NEW SOLUTION FOUND: 1371 @ 27.581
c NEW SOLUTION FOUND: 1370 @ 27.612
c NEW SOLUTION FOUND: 1369 @ 27.644
c NEW SOLUTION FOUND: 1368 @ 27.676
c NEW SOLUTION FOUND: 1367 @ 27.708
c NEW SOLUTION FOUND: 1366 @ 27.74
c NEW SOLUTION FOUND: 1365 @ 27.771
c NEW SOLUTION FOUND: 1364 @ 27.803
c NEW SOLUTION FOUND: 1363 @ 27.835
c NEW SOLUTION FOUND: 1362 @ 27.867
c NEW SOLUTION FOUND: 1361 @ 27.898
c NEW SOLUTION FOUND: 1360 @ 27.93
c NEW SOLUTION FOUND: 1359 @ 27.962
c NEW SOLUTION FOUND: 1358 @ 27.993
c NEW SOLUTION FOUND: 1357 @ 28.024
c NEW SOLUTION FOUND: 1356 @ 28.056
c NEW SOLUTION FOUND: 1355 @ 28.088
c NEW SOLUTION FOUND: 1354 @ 28.12
c NEW SOLUTION FOUND: 1353 @ 28.151
c NEW SOLUTION FOUND: 1352 @ 28.182
c NEW SOLUTION FOUND: 1351 @ 28.214
c NEW SOLUTION FOUND: 1350 @ 28.246
c NEW SOLUTION FOUND: 1349 @ 28.278
c NEW SOLUTION FOUND: 1348 @ 28.31
c NEW SOLUTION FOUND: 1347 @ 28.342
c NEW SOLUTION FOUND: 1346 @ 28.374
c NEW SOLUTION FOUND: 1345 @ 28.405
c NEW SOLUTION FOUND: 1344 @ 28.437
c NEW SOLUTION FOUND: 1343 @ 28.469
c NEW SOLUTION FOUND: 1342 @ 28.501
c NEW SOLUTION FOUND: 1341 @ 28.533
c NEW SOLUTION FOUND: 1340 @ 28.564
c NEW SOLUTION FOUND: 1339 @ 28.596
c NEW SOLUTION FOUND: 1338 @ 28.627
c NEW SOLUTION FOUND: 1337 @ 28.659
c NEW SOLUTION FOUND: 1336 @ 28.69
c NEW SOLUTION FOUND: 1335 @ 28.722
c NEW SOLUTION FOUND: 1334 @ 28.753
c NEW SOLUTION FOUND: 1333 @ 28.785
c NEW SOLUTION FOUND: 1332 @ 28.817
c NEW SOLUTION FOUND: 1331 @ 28.849
c NEW SOLUTION FOUND: 1330 @ 28.88
c NEW SOLUTION FOUND: 1329 @ 28.911
c NEW SOLUTION FOUND: 1328 @ 28.943
c NEW SOLUTION FOUND: 1327 @ 28.975
c NEW SOLUTION FOUND: 1326 @ 29.007
c NEW SOLUTION FOUND: 1325 @ 29.038
c NEW SOLUTION FOUND: 1324 @ 29.07
c NEW SOLUTION FOUND: 1323 @ 29.102
c NEW SOLUTION FOUND: 1322 @ 29.133
c NEW SOLUTION FOUND: 1321 @ 29.165
c NEW SOLUTION FOUND: 1320 @ 29.196
c NEW SOLUTION FOUND: 1319 @ 29.227
c NEW SOLUTION FOUND: 1318 @ 29.259
c NEW SOLUTION FOUND: 1317 @ 29.291
c NEW SOLUTION FOUND: 1316 @ 29.322
c NEW SOLUTION FOUND: 1315 @ 29.354
c NEW SOLUTION FOUND: 1314 @ 29.385
c NEW SOLUTION FOUND: 1313 @ 29.416
c NEW SOLUTION FOUND: 1312 @ 29.448
c NEW SOLUTION FOUND: 1311 @ 29.479
c NEW SOLUTION FOUND: 1310 @ 29.51
c NEW SOLUTION FOUND: 1309 @ 29.541
c NEW SOLUTION FOUND: 1308 @ 29.573
c NEW SOLUTION FOUND: 1307 @ 29.604
c NEW SOLUTION FOUND: 1306 @ 29.636
c NEW SOLUTION FOUND: 1305 @ 29.667
c NEW SOLUTION FOUND: 1304 @ 29.698
c NEW SOLUTION FOUND: 1303 @ 29.73
c NEW SOLUTION FOUND: 1302 @ 29.762
c NEW SOLUTION FOUND: 1301 @ 29.793
c NEW SOLUTION FOUND: 1300 @ 29.825
c NEW SOLUTION FOUND: 1299 @ 29.857
c NEW SOLUTION FOUND: 1298 @ 29.888
c NEW SOLUTION FOUND: 1297 @ 29.919
c NEW SOLUTION FOUND: 1296 @ 29.95
c NEW SOLUTION FOUND: 1295 @ 29.982
c NEW SOLUTION FOUND: 1294 @ 30.014
c NEW SOLUTION FOUND: 1293 @ 30.046
c NEW SOLUTION FOUND: 1292 @ 30.077
c NEW SOLUTION FOUND: 1291 @ 30.109
c NEW SOLUTION FOUND: 1290 @ 30.139
c NEW SOLUTION FOUND: 1289 @ 30.171
c NEW SOLUTION FOUND: 1288 @ 30.202
c NEW SOLUTION FOUND: 1287 @ 30.234
c NEW SOLUTION FOUND: 1286 @ 30.265
c NEW SOLUTION FOUND: 1285 @ 30.297
c NEW SOLUTION FOUND: 1284 @ 30.327
c NEW SOLUTION FOUND: 1283 @ 30.359
c NEW SOLUTION FOUND: 1282 @ 30.39
c NEW SOLUTION FOUND: 1281 @ 30.421
c NEW SOLUTION FOUND: 1280 @ 30.453
c NEW SOLUTION FOUND: 1279 @ 30.484
c NEW SOLUTION FOUND: 1278 @ 30.516
c NEW SOLUTION FOUND: 1277 @ 30.547
c NEW SOLUTION FOUND: 1276 @ 30.579
c NEW SOLUTION FOUND: 1275 @ 30.61
c NEW SOLUTION FOUND: 1274 @ 30.641
c NEW SOLUTION FOUND: 1273 @ 30.672
c NEW SOLUTION FOUND: 1272 @ 30.703
c NEW SOLUTION FOUND: 1271 @ 30.735
c NEW SOLUTION FOUND: 1270 @ 30.766
c NEW SOLUTION FOUND: 1269 @ 30.797
c NEW SOLUTION FOUND: 1268 @ 30.828
c NEW SOLUTION FOUND: 1267 @ 30.86
c NEW SOLUTION FOUND: 1266 @ 30.891
c NEW SOLUTION FOUND: 1265 @ 30.921
c NEW SOLUTION FOUND: 1264 @ 30.953
c NEW SOLUTION FOUND: 1263 @ 30.984
c NEW SOLUTION FOUND: 1262 @ 31.016
c NEW SOLUTION FOUND: 1261 @ 31.047
c NEW SOLUTION FOUND: 1260 @ 31.079
c NEW SOLUTION FOUND: 1259 @ 31.11
c NEW SOLUTION FOUND: 1258 @ 31.141
c NEW SOLUTION FOUND: 1257 @ 31.173
c NEW SOLUTION FOUND: 1256 @ 31.204
c NEW SOLUTION FOUND: 1255 @ 31.234
c NEW SOLUTION FOUND: 1254 @ 31.266
c NEW SOLUTION FOUND: 1253 @ 31.297
c NEW SOLUTION FOUND: 1252 @ 31.328
c NEW SOLUTION FOUND: 1251 @ 31.359
c NEW SOLUTION FOUND: 1250 @ 31.391
c NEW SOLUTION FOUND: 1249 @ 31.422
c NEW SOLUTION FOUND: 1248 @ 31.453
c NEW SOLUTION FOUND: 1247 @ 31.484
c NEW SOLUTION FOUND: 1246 @ 31.515
c NEW SOLUTION FOUND: 1245 @ 31.547
c NEW SOLUTION FOUND: 1244 @ 31.578
c NEW SOLUTION FOUND: 1243 @ 31.609
c NEW SOLUTION FOUND: 1242 @ 31.641
c NEW SOLUTION FOUND: 1241 @ 31.672
c NEW SOLUTION FOUND: 1240 @ 31.703
c NEW SOLUTION FOUND: 1239 @ 31.735
c NEW SOLUTION FOUND: 1238 @ 31.766
c NEW SOLUTION FOUND: 1237 @ 31.798
c NEW SOLUTION FOUND: 1236 @ 31.829
c NEW SOLUTION FOUND: 1235 @ 31.86
c NEW SOLUTION FOUND: 1234 @ 31.892
c NEW SOLUTION FOUND: 1233 @ 31.923
c NEW SOLUTION FOUND: 1232 @ 31.954
c NEW SOLUTION FOUND: 1231 @ 31.985
c NEW SOLUTION FOUND: 1230 @ 32.016
c NEW SOLUTION FOUND: 1229 @ 32.047
c NEW SOLUTION FOUND: 1228 @ 32.079
c NEW SOLUTION FOUND: 1227 @ 32.11
c NEW SOLUTION FOUND: 1226 @ 32.141
c NEW SOLUTION FOUND: 1225 @ 32.173
c NEW SOLUTION FOUND: 1224 @ 32.203
c NEW SOLUTION FOUND: 1223 @ 32.235
c NEW SOLUTION FOUND: 1222 @ 32.265
c NEW SOLUTION FOUND: 1221 @ 32.297
c NEW SOLUTION FOUND: 1220 @ 32.328
c NEW SOLUTION FOUND: 1219 @ 32.359
c NEW SOLUTION FOUND: 1218 @ 32.391
c NEW SOLUTION FOUND: 1217 @ 32.422
c NEW SOLUTION FOUND: 1216 @ 32.453
c NEW SOLUTION FOUND: 1215 @ 32.484
c NEW SOLUTION FOUND: 1214 @ 32.515
c NEW SOLUTION FOUND: 1213 @ 32.545
c NEW SOLUTION FOUND: 1212 @ 32.576
c NEW SOLUTION FOUND: 1211 @ 32.607
c NEW SOLUTION FOUND: 1210 @ 32.638
c NEW SOLUTION FOUND: 1209 @ 32.669
c NEW SOLUTION FOUND: 1208 @ 32.701
c NEW SOLUTION FOUND: 1207 @ 32.732
c NEW SOLUTION FOUND: 1206 @ 32.763
c NEW SOLUTION FOUND: 1205 @ 32.795
c NEW SOLUTION FOUND: 1204 @ 32.826
c NEW SOLUTION FOUND: 1203 @ 32.857
c NEW SOLUTION FOUND: 1202 @ 32.889
c NEW SOLUTION FOUND: 1201 @ 32.92
c NEW SOLUTION FOUND: 1200 @ 32.951
c NEW SOLUTION FOUND: 1199 @ 32.981
c NEW SOLUTION FOUND: 1198 @ 33.012
c NEW SOLUTION FOUND: 1197 @ 33.043
c NEW SOLUTION FOUND: 1196 @ 33.074
c NEW SOLUTION FOUND: 1195 @ 33.105
c NEW SOLUTION FOUND: 1194 @ 33.136
c NEW SOLUTION FOUND: 1193 @ 33.168
c NEW SOLUTION FOUND: 1192 @ 33.199
c NEW SOLUTION FOUND: 1191 @ 33.23
c NEW SOLUTION FOUND: 1190 @ 33.261
c NEW SOLUTION FOUND: 1189 @ 33.292
c NEW SOLUTION FOUND: 1188 @ 33.323
c NEW SOLUTION FOUND: 1187 @ 33.354
c NEW SOLUTION FOUND: 1186 @ 33.385
c NEW SOLUTION FOUND: 1185 @ 33.416
c NEW SOLUTION FOUND: 1184 @ 33.447
c NEW SOLUTION FOUND: 1183 @ 33.479
c NEW SOLUTION FOUND: 1182 @ 33.511
c NEW SOLUTION FOUND: 1181 @ 33.543
c NEW SOLUTION FOUND: 1180 @ 33.574
c NEW SOLUTION FOUND: 1179 @ 33.605
c NEW SOLUTION FOUND: 1178 @ 33.636
c NEW SOLUTION FOUND: 1177 @ 33.668
c NEW SOLUTION FOUND: 1176 @ 33.699
c NEW SOLUTION FOUND: 1175 @ 33.73
c NEW SOLUTION FOUND: 1174 @ 33.761
c NEW SOLUTION FOUND: 1173 @ 33.792
c NEW SOLUTION FOUND: 1172 @ 33.823
c NEW SOLUTION FOUND: 1171 @ 33.854
c NEW SOLUTION FOUND: 1170 @ 33.885
c NEW SOLUTION FOUND: 1169 @ 33.917
c NEW SOLUTION FOUND: 1168 @ 33.947
c NEW SOLUTION FOUND: 1167 @ 33.978
c NEW SOLUTION FOUND: 1166 @ 34.009
c NEW SOLUTION FOUND: 1165 @ 34.04
c NEW SOLUTION FOUND: 1164 @ 34.071
c NEW SOLUTION FOUND: 1163 @ 34.103
c NEW SOLUTION FOUND: 1162 @ 34.133
c NEW SOLUTION FOUND: 1161 @ 34.164
c NEW SOLUTION FOUND: 1160 @ 34.195
c NEW SOLUTION FOUND: 1159 @ 34.226
c NEW SOLUTION FOUND: 1158 @ 34.257
c NEW SOLUTION FOUND: 1157 @ 34.289
c NEW SOLUTION FOUND: 1156 @ 34.32
c NEW SOLUTION FOUND: 1155 @ 34.35
c NEW SOLUTION FOUND: 1154 @ 34.381
c NEW SOLUTION FOUND: 1153 @ 34.413
c NEW SOLUTION FOUND: 1152 @ 34.444
c NEW SOLUTION FOUND: 1151 @ 34.475
c NEW SOLUTION FOUND: 1150 @ 34.506
c NEW SOLUTION FOUND: 1149 @ 34.537
c NEW SOLUTION FOUND: 1148 @ 34.568
c NEW SOLUTION FOUND: 1147 @ 34.599
c NEW SOLUTION FOUND: 1146 @ 34.63
c NEW SOLUTION FOUND: 1145 @ 34.661
c NEW SOLUTION FOUND: 1144 @ 34.693
c NEW SOLUTION FOUND: 1143 @ 34.724
c NEW SOLUTION FOUND: 1142 @ 34.755
c NEW SOLUTION FOUND: 1141 @ 34.786
c NEW SOLUTION FOUND: 1140 @ 34.817
c NEW SOLUTION FOUND: 1139 @ 34.848
c NEW SOLUTION FOUND: 1138 @ 34.879
c NEW SOLUTION FOUND: 1137 @ 34.909
c NEW SOLUTION FOUND: 1136 @ 34.94
c NEW SOLUTION FOUND: 1135 @ 34.972
c NEW SOLUTION FOUND: 1134 @ 35.004
c NEW SOLUTION FOUND: 1133 @ 35.035
c NEW SOLUTION FOUND: 1132 @ 35.066
c NEW SOLUTION FOUND: 1131 @ 35.097
c NEW SOLUTION FOUND: 1130 @ 35.128
c NEW SOLUTION FOUND: 1129 @ 35.16
c NEW SOLUTION FOUND: 1128 @ 35.191
c NEW SOLUTION FOUND: 1127 @ 35.222
c NEW SOLUTION FOUND: 1126 @ 35.253
c NEW SOLUTION FOUND: 1125 @ 35.283
c NEW SOLUTION FOUND: 1124 @ 35.315
c NEW SOLUTION FOUND: 1123 @ 35.346
c NEW SOLUTION FOUND: 1122 @ 35.377
c NEW SOLUTION FOUND: 1121 @ 35.408
c NEW SOLUTION FOUND: 1120 @ 35.438
c NEW SOLUTION FOUND: 1119 @ 35.469
c NEW SOLUTION FOUND: 1118 @ 35.5
c NEW SOLUTION FOUND: 1117 @ 35.531
c NEW SOLUTION FOUND: 1116 @ 35.562
c NEW SOLUTION FOUND: 1115 @ 35.593
c NEW SOLUTION FOUND: 1114 @ 35.624
c NEW SOLUTION FOUND: 1113 @ 35.655
c NEW SOLUTION FOUND: 1112 @ 35.686
c NEW SOLUTION FOUND: 1111 @ 35.717
c NEW SOLUTION FOUND: 1110 @ 35.748
c NEW SOLUTION FOUND: 1109 @ 35.779
c NEW SOLUTION FOUND: 1108 @ 35.81
c NEW SOLUTION FOUND: 1107 @ 35.841
c NEW SOLUTION FOUND: 1106 @ 35.872
c NEW SOLUTION FOUND: 1105 @ 35.902
c NEW SOLUTION FOUND: 1104 @ 35.934
c NEW SOLUTION FOUND: 1103 @ 35.965
c NEW SOLUTION FOUND: 1102 @ 35.996
c NEW SOLUTION FOUND: 1101 @ 36.027
c NEW SOLUTION FOUND: 1100 @ 36.057
c NEW SOLUTION FOUND: 1099 @ 36.088
c NEW SOLUTION FOUND: 1098 @ 36.118
c NEW SOLUTION FOUND: 1097 @ 36.149
c NEW SOLUTION FOUND: 1096 @ 36.18
c NEW SOLUTION FOUND: 1095 @ 36.211
c NEW SOLUTION FOUND: 1094 @ 36.242
c NEW SOLUTION FOUND: 1093 @ 36.272
c NEW SOLUTION FOUND: 1092 @ 36.303
c NEW SOLUTION FOUND: 1091 @ 36.334
c NEW SOLUTION FOUND: 1090 @ 36.365
c NEW SOLUTION FOUND: 1089 @ 36.396
c NEW SOLUTION FOUND: 1088 @ 36.426
c NEW SOLUTION FOUND: 1087 @ 36.456
c NEW SOLUTION FOUND: 1086 @ 36.487
c NEW SOLUTION FOUND: 1085 @ 36.518
c NEW SOLUTION FOUND: 1084 @ 36.548
c NEW SOLUTION FOUND: 1083 @ 36.578
c NEW SOLUTION FOUND: 1082 @ 36.608
c NEW SOLUTION FOUND: 1081 @ 36.639
c NEW SOLUTION FOUND: 1080 @ 36.67
c NEW SOLUTION FOUND: 1079 @ 36.7
c NEW SOLUTION FOUND: 1078 @ 36.73
c NEW SOLUTION FOUND: 1077 @ 36.761
c NEW SOLUTION FOUND: 1076 @ 36.791
c NEW SOLUTION FOUND: 1075 @ 36.822
c NEW SOLUTION FOUND: 1074 @ 36.852
c NEW SOLUTION FOUND: 1073 @ 36.883
c NEW SOLUTION FOUND: 1072 @ 36.914
c NEW SOLUTION FOUND: 1071 @ 36.945
c NEW SOLUTION FOUND: 1070 @ 36.975
c NEW SOLUTION FOUND: 1069 @ 37.007
c NEW SOLUTION FOUND: 1068 @ 37.038
c NEW SOLUTION FOUND: 1067 @ 37.069
c NEW SOLUTION FOUND: 1066 @ 37.099
c NEW SOLUTION FOUND: 1065 @ 37.13
c NEW SOLUTION FOUND: 1064 @ 37.16
c NEW SOLUTION FOUND: 1063 @ 37.191
c NEW SOLUTION FOUND: 1062 @ 37.221
c NEW SOLUTION FOUND: 1061 @ 37.252
c NEW SOLUTION FOUND: 1060 @ 37.282
c NEW SOLUTION FOUND: 1059 @ 37.313
c NEW SOLUTION FOUND: 1058 @ 37.343
c NEW SOLUTION FOUND: 1057 @ 37.374
c NEW SOLUTION FOUND: 1056 @ 37.405
c NEW SOLUTION FOUND: 1055 @ 37.436
c NEW SOLUTION FOUND: 1054 @ 37.466
c NEW SOLUTION FOUND: 1053 @ 37.497
c NEW SOLUTION FOUND: 1052 @ 37.528
c NEW SOLUTION FOUND: 1051 @ 37.558
c NEW SOLUTION FOUND: 1050 @ 37.589
c NEW SOLUTION FOUND: 1049 @ 37.62
c NEW SOLUTION FOUND: 1048 @ 37.651
c NEW SOLUTION FOUND: 1047 @ 37.681
c NEW SOLUTION FOUND: 1046 @ 37.711
c NEW SOLUTION FOUND: 1045 @ 37.742
c NEW SOLUTION FOUND: 1044 @ 37.773
c NEW SOLUTION FOUND: 1043 @ 37.804
c NEW SOLUTION FOUND: 1042 @ 37.834
c NEW SOLUTION FOUND: 1041 @ 37.865
c NEW SOLUTION FOUND: 1040 @ 37.896
c NEW SOLUTION FOUND: 1039 @ 37.926
c NEW SOLUTION FOUND: 1038 @ 37.957
c NEW SOLUTION FOUND: 1037 @ 37.987
c NEW SOLUTION FOUND: 1036 @ 38.018
c NEW SOLUTION FOUND: 1035 @ 38.048
c NEW SOLUTION FOUND: 1034 @ 38.079
c NEW SOLUTION FOUND: 1033 @ 38.109
c NEW SOLUTION FOUND: 1032 @ 38.139
c NEW SOLUTION FOUND: 1031 @ 38.17
c NEW SOLUTION FOUND: 1030 @ 38.201
c NEW SOLUTION FOUND: 1029 @ 38.231
c NEW SOLUTION FOUND: 1028 @ 38.261
c NEW SOLUTION FOUND: 1027 @ 38.292
c NEW SOLUTION FOUND: 1026 @ 38.322
c NEW SOLUTION FOUND: 1025 @ 38.352
c NEW SOLUTION FOUND: 1024 @ 38.383
c NEW SOLUTION FOUND: 1023 @ 38.413
c NEW SOLUTION FOUND: 1022 @ 38.443
c NEW SOLUTION FOUND: 1021 @ 38.473
c NEW SOLUTION FOUND: 1020 @ 38.504
c NEW SOLUTION FOUND: 1019 @ 38.535
c NEW SOLUTION FOUND: 1018 @ 38.565
c NEW SOLUTION FOUND: 1017 @ 38.596
c NEW SOLUTION FOUND: 1016 @ 38.627
c NEW SOLUTION FOUND: 1015 @ 38.657
c NEW SOLUTION FOUND: 1014 @ 38.688
c NEW SOLUTION FOUND: 1013 @ 38.719
c NEW SOLUTION FOUND: 1012 @ 38.748
c NEW SOLUTION FOUND: 1011 @ 38.779
c NEW SOLUTION FOUND: 1010 @ 38.809
c NEW SOLUTION FOUND: 1009 @ 38.839
c NEW SOLUTION FOUND: 1008 @ 38.869
c NEW SOLUTION FOUND: 1007 @ 38.899
c NEW SOLUTION FOUND: 1006 @ 38.929
c NEW SOLUTION FOUND: 1005 @ 38.959
c NEW SOLUTION FOUND: 1004 @ 38.989
c NEW SOLUTION FOUND: 1003 @ 39.018
c NEW SOLUTION FOUND: 1002 @ 39.049
c NEW SOLUTION FOUND: 1001 @ 39.08
c NEW SOLUTION FOUND: 1000 @ 39.11
c NEW SOLUTION FOUND: 999 @ 39.14
c NEW SOLUTION FOUND: 998 @ 39.171
c NEW SOLUTION FOUND: 997 @ 39.201
c NEW SOLUTION FOUND: 996 @ 39.23
c NEW SOLUTION FOUND: 995 @ 39.261
c NEW SOLUTION FOUND: 994 @ 39.29
c NEW SOLUTION FOUND: 993 @ 39.321
c NEW SOLUTION FOUND: 992 @ 39.351
c NEW SOLUTION FOUND: 991 @ 39.382
c NEW SOLUTION FOUND: 990 @ 39.412
c NEW SOLUTION FOUND: 989 @ 39.443
c NEW SOLUTION FOUND: 988 @ 39.472
c NEW SOLUTION FOUND: 987 @ 39.503
c NEW SOLUTION FOUND: 986 @ 39.533
c NEW SOLUTION FOUND: 985 @ 39.564
c NEW SOLUTION FOUND: 984 @ 39.594
c NEW SOLUTION FOUND: 983 @ 39.623
c NEW SOLUTION FOUND: 982 @ 39.654
c NEW SOLUTION FOUND: 981 @ 39.684
c NEW SOLUTION FOUND: 980 @ 39.715
c NEW SOLUTION FOUND: 979 @ 39.745
c NEW SOLUTION FOUND: 978 @ 39.775
c NEW SOLUTION FOUND: 977 @ 39.805
c NEW SOLUTION FOUND: 976 @ 39.835
c NEW SOLUTION FOUND: 975 @ 39.865
c NEW SOLUTION FOUND: 974 @ 39.895
c NEW SOLUTION FOUND: 973 @ 39.926
c NEW SOLUTION FOUND: 972 @ 39.957
c NEW SOLUTION FOUND: 971 @ 39.987
c NEW SOLUTION FOUND: 970 @ 40.017
c NEW SOLUTION FOUND: 969 @ 40.048
c NEW SOLUTION FOUND: 968 @ 40.078
c NEW SOLUTION FOUND: 967 @ 40.108
c NEW SOLUTION FOUND: 966 @ 40.137
c NEW SOLUTION FOUND: 965 @ 40.168
c NEW SOLUTION FOUND: 964 @ 40.198
c NEW SOLUTION FOUND: 963 @ 40.228
c NEW SOLUTION FOUND: 962 @ 40.258
c NEW SOLUTION FOUND: 961 @ 40.288
c NEW SOLUTION FOUND: 960 @ 40.318
c NEW SOLUTION FOUND: 959 @ 40.349
c NEW SOLUTION FOUND: 958 @ 40.379
c NEW SOLUTION FOUND: 957 @ 40.409
c NEW SOLUTION FOUND: 956 @ 40.439
c NEW SOLUTION FOUND: 955 @ 40.47
c NEW SOLUTION FOUND: 954 @ 40.5
c NEW SOLUTION FOUND: 953 @ 40.53
c NEW SOLUTION FOUND: 952 @ 40.561
c NEW SOLUTION FOUND: 951 @ 40.59
c NEW SOLUTION FOUND: 950 @ 40.62
c NEW SOLUTION FOUND: 949 @ 40.65
c NEW SOLUTION FOUND: 948 @ 40.68
c NEW SOLUTION FOUND: 947 @ 40.711
c NEW SOLUTION FOUND: 946 @ 40.74
c NEW SOLUTION FOUND: 945 @ 40.771
c NEW SOLUTION FOUND: 944 @ 40.8
c NEW SOLUTION FOUND: 943 @ 40.83
c NEW SOLUTION FOUND: 942 @ 40.861
c NEW SOLUTION FOUND: 941 @ 40.891
c NEW SOLUTION FOUND: 940 @ 40.921
c NEW SOLUTION FOUND: 939 @ 40.95
c NEW SOLUTION FOUND: 938 @ 40.98
c NEW SOLUTION FOUND: 937 @ 41.01
c NEW SOLUTION FOUND: 936 @ 41.042
c NEW SOLUTION FOUND: 935 @ 41.072
c NEW SOLUTION FOUND: 934 @ 41.101
c NEW SOLUTION FOUND: 933 @ 41.131
c NEW SOLUTION FOUND: 932 @ 41.162
c NEW SOLUTION FOUND: 931 @ 41.192
c NEW SOLUTION FOUND: 930 @ 41.221
c NEW SOLUTION FOUND: 929 @ 41.251
c NEW SOLUTION FOUND: 928 @ 41.281
c NEW SOLUTION FOUND: 927 @ 41.31
c NEW SOLUTION FOUND: 926 @ 41.341
c NEW SOLUTION FOUND: 925 @ 41.37
c NEW SOLUTION FOUND: 924 @ 41.4
c NEW SOLUTION FOUND: 923 @ 41.43
c NEW SOLUTION FOUND: 922 @ 41.46
c NEW SOLUTION FOUND: 921 @ 41.491
c NEW SOLUTION FOUND: 920 @ 41.52
c NEW SOLUTION FOUND: 919 @ 41.55
c NEW SOLUTION FOUND: 918 @ 41.58
c NEW SOLUTION FOUND: 917 @ 41.61
c NEW SOLUTION FOUND: 916 @ 41.639
c NEW SOLUTION FOUND: 915 @ 41.669
c NEW SOLUTION FOUND: 914 @ 41.699
c NEW SOLUTION FOUND: 913 @ 41.729
c NEW SOLUTION FOUND: 912 @ 41.759
c NEW SOLUTION FOUND: 911 @ 41.79
c NEW SOLUTION FOUND: 910 @ 41.819
c NEW SOLUTION FOUND: 909 @ 41.85
c NEW SOLUTION FOUND: 908 @ 41.88
c NEW SOLUTION FOUND: 907 @ 41.91
c NEW SOLUTION FOUND: 906 @ 41.939
c NEW SOLUTION FOUND: 905 @ 41.97
c NEW SOLUTION FOUND: 904 @ 42
c NEW SOLUTION FOUND: 903 @ 42.03
c NEW SOLUTION FOUND: 902 @ 42.06
c NEW SOLUTION FOUND: 901 @ 42.09
c NEW SOLUTION FOUND: 900 @ 42.119
c NEW SOLUTION FOUND: 899 @ 42.149
c NEW SOLUTION FOUND: 898 @ 42.178
c NEW SOLUTION FOUND: 897 @ 42.208
c NEW SOLUTION FOUND: 896 @ 42.238
c NEW SOLUTION FOUND: 895 @ 42.268
c NEW SOLUTION FOUND: 894 @ 42.298
c NEW SOLUTION FOUND: 893 @ 42.327
c NEW SOLUTION FOUND: 892 @ 42.358
c NEW SOLUTION FOUND: 891 @ 42.387
c NEW SOLUTION FOUND: 890 @ 42.417
c NEW SOLUTION FOUND: 889 @ 42.447
c NEW SOLUTION FOUND: 888 @ 42.476
c NEW SOLUTION FOUND: 887 @ 42.506
c NEW SOLUTION FOUND: 886 @ 42.536
c NEW SOLUTION FOUND: 885 @ 42.566
c NEW SOLUTION FOUND: 884 @ 42.596
c NEW SOLUTION FOUND: 883 @ 42.626
c NEW SOLUTION FOUND: 882 @ 42.656
c NEW SOLUTION FOUND: 881 @ 42.686
c NEW SOLUTION FOUND: 880 @ 42.715
c NEW SOLUTION FOUND: 879 @ 42.745
c NEW SOLUTION FOUND: 878 @ 42.775
c NEW SOLUTION FOUND: 877 @ 42.805
c NEW SOLUTION FOUND: 876 @ 42.835
c NEW SOLUTION FOUND: 875 @ 42.865
c NEW SOLUTION FOUND: 874 @ 42.895
c NEW SOLUTION FOUND: 873 @ 42.924
c NEW SOLUTION FOUND: 872 @ 42.954
c NEW SOLUTION FOUND: 871 @ 42.984
c NEW SOLUTION FOUND: 870 @ 43.013
c NEW SOLUTION FOUND: 869 @ 43.043
c NEW SOLUTION FOUND: 868 @ 43.073
c NEW SOLUTION FOUND: 867 @ 43.103
c NEW SOLUTION FOUND: 866 @ 43.133
c NEW SOLUTION FOUND: 865 @ 43.162
c NEW SOLUTION FOUND: 864 @ 43.192
c NEW SOLUTION FOUND: 863 @ 43.221
c NEW SOLUTION FOUND: 862 @ 43.251
c NEW SOLUTION FOUND: 861 @ 43.28
c NEW SOLUTION FOUND: 860 @ 43.31
c NEW SOLUTION FOUND: 859 @ 43.339
c NEW SOLUTION FOUND: 858 @ 43.369
c NEW SOLUTION FOUND: 857 @ 43.399
c NEW SOLUTION FOUND: 856 @ 43.429
c NEW SOLUTION FOUND: 855 @ 43.459
c NEW SOLUTION FOUND: 854 @ 43.488
c NEW SOLUTION FOUND: 853 @ 43.518
c NEW SOLUTION FOUND: 852 @ 43.548
c NEW SOLUTION FOUND: 851 @ 43.577
c NEW SOLUTION FOUND: 850 @ 43.606
c NEW SOLUTION FOUND: 849 @ 43.636
c NEW SOLUTION FOUND: 848 @ 43.666
c NEW SOLUTION FOUND: 847 @ 43.695
c NEW SOLUTION FOUND: 846 @ 43.725
c NEW SOLUTION FOUND: 845 @ 43.755
c NEW SOLUTION FOUND: 844 @ 43.785
c NEW SOLUTION FOUND: 843 @ 43.814
c NEW SOLUTION FOUND: 842 @ 43.844
c NEW SOLUTION FOUND: 841 @ 43.874
c NEW SOLUTION FOUND: 840 @ 43.903
c NEW SOLUTION FOUND: 839 @ 43.933
c NEW SOLUTION FOUND: 838 @ 43.963
c NEW SOLUTION FOUND: 837 @ 43.993
c NEW SOLUTION FOUND: 836 @ 44.053
c NEW SOLUTION FOUND: 835 @ 44.083
c NEW SOLUTION FOUND: 834 @ 44.114
c NEW SOLUTION FOUND: 833 @ 44.144
c NEW SOLUTION FOUND: 832 @ 44.175
c NEW SOLUTION FOUND: 831 @ 44.205
c NEW SOLUTION FOUND: 830 @ 44.236
c NEW SOLUTION FOUND: 829 @ 44.266
c NEW SOLUTION FOUND: 828 @ 44.296
c NEW SOLUTION FOUND: 827 @ 44.327
c NEW SOLUTION FOUND: 826 @ 44.358
c NEW SOLUTION FOUND: 825 @ 44.388
c NEW SOLUTION FOUND: 824 @ 44.418
c NEW SOLUTION FOUND: 823 @ 44.449
c NEW SOLUTION FOUND: 822 @ 44.479
c NEW SOLUTION FOUND: 821 @ 44.51
c NEW SOLUTION FOUND: 820 @ 44.54
c NEW SOLUTION FOUND: 819 @ 44.57
c NEW SOLUTION FOUND: 818 @ 44.601
c NEW SOLUTION FOUND: 817 @ 44.631
c NEW SOLUTION FOUND: 816 @ 44.662
c NEW SOLUTION FOUND: 815 @ 44.692
c NEW SOLUTION FOUND: 814 @ 44.723
c NEW SOLUTION FOUND: 813 @ 44.753
c NEW SOLUTION FOUND: 812 @ 44.784
c NEW SOLUTION FOUND: 811 @ 44.814
c NEW SOLUTION FOUND: 810 @ 44.845
c NEW SOLUTION FOUND: 809 @ 44.875
c NEW SOLUTION FOUND: 808 @ 44.906
c NEW SOLUTION FOUND: 807 @ 44.936
c NEW SOLUTION FOUND: 806 @ 44.967
c NEW SOLUTION FOUND: 805 @ 44.997
c NEW SOLUTION FOUND: 804 @ 45.028
c NEW SOLUTION FOUND: 803 @ 45.058
c NEW SOLUTION FOUND: 802 @ 45.089
c NEW SOLUTION FOUND: 801 @ 45.119
c NEW SOLUTION FOUND: 800 @ 45.149
c NEW SOLUTION FOUND: 799 @ 45.18
c NEW SOLUTION FOUND: 798 @ 45.21
c NEW SOLUTION FOUND: 797 @ 45.241
c NEW SOLUTION FOUND: 796 @ 45.271
c NEW SOLUTION FOUND: 795 @ 45.302
c NEW SOLUTION FOUND: 794 @ 45.332
c NEW SOLUTION FOUND: 793 @ 45.362
c NEW SOLUTION FOUND: 792 @ 45.392
c NEW SOLUTION FOUND: 791 @ 45.423
c NEW SOLUTION FOUND: 790 @ 45.454
c NEW SOLUTION FOUND: 789 @ 45.484
c NEW SOLUTION FOUND: 788 @ 45.515
c NEW SOLUTION FOUND: 787 @ 45.545
c NEW SOLUTION FOUND: 786 @ 45.575
c NEW SOLUTION FOUND: 785 @ 45.606
c NEW SOLUTION FOUND: 784 @ 45.636
c NEW SOLUTION FOUND: 783 @ 45.666
c NEW SOLUTION FOUND: 782 @ 45.697
c NEW SOLUTION FOUND: 781 @ 45.727
c NEW SOLUTION FOUND: 780 @ 45.757
c NEW SOLUTION FOUND: 779 @ 45.788
c NEW SOLUTION FOUND: 778 @ 45.818
c NEW SOLUTION FOUND: 777 @ 45.848
c NEW SOLUTION FOUND: 776 @ 45.879
c NEW SOLUTION FOUND: 775 @ 45.909
c NEW SOLUTION FOUND: 774 @ 45.939
c NEW SOLUTION FOUND: 773 @ 45.969
c NEW SOLUTION FOUND: 772 @ 46
c NEW SOLUTION FOUND: 771 @ 46.03
c NEW SOLUTION FOUND: 770 @ 46.06
c NEW SOLUTION FOUND: 769 @ 46.09
c NEW SOLUTION FOUND: 768 @ 46.12
c NEW SOLUTION FOUND: 767 @ 46.15
c NEW SOLUTION FOUND: 766 @ 46.18
c NEW SOLUTION FOUND: 765 @ 46.211
c NEW SOLUTION FOUND: 764 @ 46.242
c NEW SOLUTION FOUND: 763 @ 46.274
c NEW SOLUTION FOUND: 762 @ 46.305
c NEW SOLUTION FOUND: 761 @ 46.336
c NEW SOLUTION FOUND: 760 @ 46.367
c NEW SOLUTION FOUND: 759 @ 46.398
c NEW SOLUTION FOUND: 758 @ 46.429
c NEW SOLUTION FOUND: 757 @ 46.461
c NEW SOLUTION FOUND: 756 @ 46.492
c NEW SOLUTION FOUND: 755 @ 46.523
c NEW SOLUTION FOUND: 754 @ 46.554
c NEW SOLUTION FOUND: 753 @ 46.585
c NEW SOLUTION FOUND: 752 @ 46.616
c NEW SOLUTION FOUND: 751 @ 46.648
c NEW SOLUTION FOUND: 750 @ 46.679
c NEW SOLUTION FOUND: 749 @ 46.71
c NEW SOLUTION FOUND: 748 @ 46.742
c NEW SOLUTION FOUND: 747 @ 46.773
c NEW SOLUTION FOUND: 746 @ 46.804
c NEW SOLUTION FOUND: 745 @ 46.835
c NEW SOLUTION FOUND: 744 @ 46.867
c NEW SOLUTION FOUND: 743 @ 46.897
c NEW SOLUTION FOUND: 742 @ 46.928
c NEW SOLUTION FOUND: 741 @ 46.96
c NEW SOLUTION FOUND: 740 @ 46.991
c NEW SOLUTION FOUND: 739 @ 47.022
c NEW SOLUTION FOUND: 738 @ 47.055
c NEW SOLUTION FOUND: 737 @ 47.086
c NEW SOLUTION FOUND: 736 @ 47.117
c NEW SOLUTION FOUND: 735 @ 47.148
c NEW SOLUTION FOUND: 734 @ 47.179
c NEW SOLUTION FOUND: 733 @ 47.211
c NEW SOLUTION FOUND: 732 @ 47.242
c NEW SOLUTION FOUND: 731 @ 47.273
c NEW SOLUTION FOUND: 730 @ 47.304
c NEW SOLUTION FOUND: 729 @ 47.335
c NEW SOLUTION FOUND: 728 @ 47.366
c NEW SOLUTION FOUND: 727 @ 47.397
c NEW SOLUTION FOUND: 726 @ 47.428
c NEW SOLUTION FOUND: 725 @ 47.46
c NEW SOLUTION FOUND: 724 @ 47.491
c NEW SOLUTION FOUND: 723 @ 47.522
c NEW SOLUTION FOUND: 722 @ 47.553
c NEW SOLUTION FOUND: 721 @ 47.584
c NEW SOLUTION FOUND: 720 @ 47.615
c NEW SOLUTION FOUND: 719 @ 47.646
c NEW SOLUTION FOUND: 718 @ 47.677
c NEW SOLUTION FOUND: 717 @ 47.708
c NEW SOLUTION FOUND: 716 @ 47.739
c NEW SOLUTION FOUND: 715 @ 47.77
c NEW SOLUTION FOUND: 714 @ 47.801
c NEW SOLUTION FOUND: 713 @ 47.832
c NEW SOLUTION FOUND: 712 @ 47.863
c NEW SOLUTION FOUND: 711 @ 47.894
c NEW SOLUTION FOUND: 710 @ 47.925
c NEW SOLUTION FOUND: 709 @ 47.956
c NEW SOLUTION FOUND: 708 @ 47.987
c NEW SOLUTION FOUND: 707 @ 48.018
c NEW SOLUTION FOUND: 706 @ 48.048
c NEW SOLUTION FOUND: 705 @ 48.079
c NEW SOLUTION FOUND: 704 @ 48.11
c NEW SOLUTION FOUND: 703 @ 48.14
c NEW SOLUTION FOUND: 702 @ 48.172
c NEW SOLUTION FOUND: 701 @ 48.203
c NEW SOLUTION FOUND: 700 @ 48.234
c NEW SOLUTION FOUND: 699 @ 48.265
c NEW SOLUTION FOUND: 698 @ 48.296
c NEW SOLUTION FOUND: 697 @ 48.327
c NEW SOLUTION FOUND: 696 @ 48.357
c NEW SOLUTION FOUND: 695 @ 48.388
c NEW SOLUTION FOUND: 694 @ 48.419
c NEW SOLUTION FOUND: 693 @ 48.45
c NEW SOLUTION FOUND: 692 @ 48.481
c NEW SOLUTION FOUND: 691 @ 48.512
c NEW SOLUTION FOUND: 690 @ 48.543
c NEW SOLUTION FOUND: 689 @ 48.574
c NEW SOLUTION FOUND: 688 @ 48.605
c NEW SOLUTION FOUND: 687 @ 48.636
c NEW SOLUTION FOUND: 686 @ 48.666
c NEW SOLUTION FOUND: 685 @ 48.697
c NEW SOLUTION FOUND: 684 @ 48.728
c NEW SOLUTION FOUND: 683 @ 48.758
c NEW SOLUTION FOUND: 682 @ 48.789
c NEW SOLUTION FOUND: 681 @ 48.82
c NEW SOLUTION FOUND: 680 @ 48.851
c NEW SOLUTION FOUND: 679 @ 48.882
c NEW SOLUTION FOUND: 678 @ 48.912
c NEW SOLUTION FOUND: 677 @ 48.943
c NEW SOLUTION FOUND: 676 @ 48.974
c NEW SOLUTION FOUND: 675 @ 49.005
c NEW SOLUTION FOUND: 674 @ 49.036
c NEW SOLUTION FOUND: 673 @ 49.066
c NEW SOLUTION FOUND: 672 @ 49.097
c NEW SOLUTION FOUND: 671 @ 49.128
c NEW SOLUTION FOUND: 670 @ 49.158
c NEW SOLUTION FOUND: 669 @ 49.189
c NEW SOLUTION FOUND: 668 @ 49.22
c NEW SOLUTION FOUND: 667 @ 49.25
c NEW SOLUTION FOUND: 666 @ 49.281
c NEW SOLUTION FOUND: 665 @ 49.312
c NEW SOLUTION FOUND: 664 @ 49.342
c NEW SOLUTION FOUND: 663 @ 49.373
c NEW SOLUTION FOUND: 662 @ 49.404
c NEW SOLUTION FOUND: 661 @ 49.434
c NEW SOLUTION FOUND: 660 @ 49.465
c NEW SOLUTION FOUND: 659 @ 49.495
c NEW SOLUTION FOUND: 658 @ 49.526
c NEW SOLUTION FOUND: 657 @ 49.557
c NEW SOLUTION FOUND: 656 @ 49.587
c NEW SOLUTION FOUND: 655 @ 49.618
c NEW SOLUTION FOUND: 654 @ 49.649
c NEW SOLUTION FOUND: 653 @ 49.68
c NEW SOLUTION FOUND: 652 @ 49.71
c NEW SOLUTION FOUND: 651 @ 49.741
c NEW SOLUTION FOUND: 650 @ 49.772
c NEW SOLUTION FOUND: 649 @ 49.802
c NEW SOLUTION FOUND: 648 @ 49.833
c NEW SOLUTION FOUND: 647 @ 49.864
c NEW SOLUTION FOUND: 646 @ 49.895
c NEW SOLUTION FOUND: 645 @ 49.926
c NEW SOLUTION FOUND: 644 @ 49.956
c NEW SOLUTION FOUND: 643 @ 49.987
c NEW SOLUTION FOUND: 642 @ 50.018
c NEW SOLUTION FOUND: 641 @ 50.049
c NEW SOLUTION FOUND: 640 @ 50.079
c NEW SOLUTION FOUND: 639 @ 50.11
c NEW SOLUTION FOUND: 638 @ 50.14
c NEW SOLUTION FOUND: 637 @ 50.171
c NEW SOLUTION FOUND: 636 @ 50.201
c NEW SOLUTION FOUND: 635 @ 50.232
c NEW SOLUTION FOUND: 634 @ 50.263
c NEW SOLUTION FOUND: 633 @ 50.293
c NEW SOLUTION FOUND: 632 @ 50.324
c NEW SOLUTION FOUND: 631 @ 50.354
c NEW SOLUTION FOUND: 630 @ 50.385
c NEW SOLUTION FOUND: 629 @ 50.416
c NEW SOLUTION FOUND: 628 @ 50.446
c NEW SOLUTION FOUND: 627 @ 50.476
c NEW SOLUTION FOUND: 626 @ 50.507
c NEW SOLUTION FOUND: 625 @ 50.538
c NEW SOLUTION FOUND: 624 @ 50.568
c NEW SOLUTION FOUND: 623 @ 50.599
c NEW SOLUTION FOUND: 622 @ 50.629
c NEW SOLUTION FOUND: 621 @ 50.66
c NEW SOLUTION FOUND: 620 @ 50.69
c NEW SOLUTION FOUND: 619 @ 50.721
c NEW SOLUTION FOUND: 618 @ 50.751
c NEW SOLUTION FOUND: 617 @ 50.782
c NEW SOLUTION FOUND: 616 @ 50.812
c NEW SOLUTION FOUND: 615 @ 50.843
c NEW SOLUTION FOUND: 614 @ 50.873
c NEW SOLUTION FOUND: 613 @ 50.903
c NEW SOLUTION FOUND: 612 @ 50.934
c NEW SOLUTION FOUND: 611 @ 50.964
c NEW SOLUTION FOUND: 610 @ 50.994
c NEW SOLUTION FOUND: 609 @ 51.025
c NEW SOLUTION FOUND: 608 @ 51.055
c NEW SOLUTION FOUND: 607 @ 51.086
c NEW SOLUTION FOUND: 606 @ 51.116
c NEW SOLUTION FOUND: 605 @ 51.147
c NEW SOLUTION FOUND: 604 @ 51.177
c NEW SOLUTION FOUND: 603 @ 51.207
c NEW SOLUTION FOUND: 602 @ 51.238
c NEW SOLUTION FOUND: 601 @ 51.268
c NEW SOLUTION FOUND: 600 @ 51.299
c NEW SOLUTION FOUND: 599 @ 51.329
c NEW SOLUTION FOUND: 598 @ 51.36
c NEW SOLUTION FOUND: 597 @ 51.39
c NEW SOLUTION FOUND: 596 @ 51.42
c NEW SOLUTION FOUND: 595 @ 51.451
c NEW SOLUTION FOUND: 594 @ 51.481
c NEW SOLUTION FOUND: 593 @ 51.511
c NEW SOLUTION FOUND: 592 @ 51.542
c NEW SOLUTION FOUND: 591 @ 51.572
c NEW SOLUTION FOUND: 590 @ 51.602
c NEW SOLUTION FOUND: 589 @ 51.633
c NEW SOLUTION FOUND: 588 @ 51.663
c NEW SOLUTION FOUND: 587 @ 51.693
c NEW SOLUTION FOUND: 586 @ 51.724
c NEW SOLUTION FOUND: 585 @ 51.754
c NEW SOLUTION FOUND: 584 @ 51.784
c NEW SOLUTION FOUND: 583 @ 51.814
c NEW SOLUTION FOUND: 582 @ 51.844
c NEW SOLUTION FOUND: 581 @ 51.875
c NEW SOLUTION FOUND: 580 @ 51.905
c NEW SOLUTION FOUND: 579 @ 51.935
c NEW SOLUTION FOUND: 578 @ 51.965
c NEW SOLUTION FOUND: 577 @ 51.995
c NEW SOLUTION FOUND: 576 @ 52.026
c NEW SOLUTION FOUND: 575 @ 52.056
c NEW SOLUTION FOUND: 574 @ 52.087
c NEW SOLUTION FOUND: 573 @ 52.117
c NEW SOLUTION FOUND: 572 @ 52.147
c NEW SOLUTION FOUND: 571 @ 52.177
c NEW SOLUTION FOUND: 570 @ 52.208
c NEW SOLUTION FOUND: 569 @ 52.238
c NEW SOLUTION FOUND: 568 @ 52.268
c NEW SOLUTION FOUND: 567 @ 52.299
c NEW SOLUTION FOUND: 566 @ 52.329
c NEW SOLUTION FOUND: 565 @ 52.359
c NEW SOLUTION FOUND: 564 @ 52.39
c NEW SOLUTION FOUND: 563 @ 52.42
c NEW SOLUTION FOUND: 562 @ 52.451
c NEW SOLUTION FOUND: 561 @ 52.481
c NEW SOLUTION FOUND: 560 @ 52.512
c NEW SOLUTION FOUND: 559 @ 52.542
c NEW SOLUTION FOUND: 558 @ 52.573
c NEW SOLUTION FOUND: 557 @ 52.603
c NEW SOLUTION FOUND: 556 @ 52.633
c NEW SOLUTION FOUND: 555 @ 52.663
c NEW SOLUTION FOUND: 554 @ 52.693
c NEW SOLUTION FOUND: 553 @ 52.723
c NEW SOLUTION FOUND: 552 @ 52.753
c NEW SOLUTION FOUND: 551 @ 52.783
c NEW SOLUTION FOUND: 550 @ 52.814
c NEW SOLUTION FOUND: 549 @ 52.844
c NEW SOLUTION FOUND: 548 @ 52.874
c NEW SOLUTION FOUND: 547 @ 52.904
c NEW SOLUTION FOUND: 546 @ 52.934
c NEW SOLUTION FOUND: 545 @ 52.966
c NEW SOLUTION FOUND: 544 @ 52.996
c NEW SOLUTION FOUND: 543 @ 53.026
c NEW SOLUTION FOUND: 542 @ 53.056
c NEW SOLUTION FOUND: 541 @ 53.086
c NEW SOLUTION FOUND: 540 @ 53.116
c NEW SOLUTION FOUND: 539 @ 53.147
c NEW SOLUTION FOUND: 538 @ 53.177
c NEW SOLUTION FOUND: 537 @ 53.207
c NEW SOLUTION FOUND: 536 @ 53.237
c NEW SOLUTION FOUND: 535 @ 53.268
c NEW SOLUTION FOUND: 534 @ 53.298
c NEW SOLUTION FOUND: 533 @ 53.328
c NEW SOLUTION FOUND: 532 @ 53.358
c NEW SOLUTION FOUND: 531 @ 53.388
c NEW SOLUTION FOUND: 530 @ 53.419
c NEW SOLUTION FOUND: 529 @ 53.449
c NEW SOLUTION FOUND: 528 @ 53.479
c NEW SOLUTION FOUND: 527 @ 53.509
c NEW SOLUTION FOUND: 526 @ 53.54
c NEW SOLUTION FOUND: 525 @ 53.57
c NEW SOLUTION FOUND: 524 @ 53.6
c NEW SOLUTION FOUND: 523 @ 53.63
c NEW SOLUTION FOUND: 522 @ 53.66
c NEW SOLUTION FOUND: 521 @ 53.69
c NEW SOLUTION FOUND: 520 @ 53.72
c NEW SOLUTION FOUND: 519 @ 53.75
c NEW SOLUTION FOUND: 518 @ 53.78
c NEW SOLUTION FOUND: 517 @ 53.81
c NEW SOLUTION FOUND: 516 @ 53.84
c NEW SOLUTION FOUND: 515 @ 53.87
c NEW SOLUTION FOUND: 514 @ 53.9
c NEW SOLUTION FOUND: 513 @ 53.931
c NEW SOLUTION FOUND: 512 @ 53.961
c NEW SOLUTION FOUND: 511 @ 53.991
c NEW SOLUTION FOUND: 510 @ 54.02
c NEW SOLUTION FOUND: 509 @ 54.05
c NEW SOLUTION FOUND: 508 @ 54.08
c NEW SOLUTION FOUND: 507 @ 54.11
c NEW SOLUTION FOUND: 506 @ 54.14
c NEW SOLUTION FOUND: 505 @ 54.17
c NEW SOLUTION FOUND: 504 @ 54.2
c NEW SOLUTION FOUND: 503 @ 54.23
c NEW SOLUTION FOUND: 502 @ 54.26
c NEW SOLUTION FOUND: 501 @ 54.29
c NEW SOLUTION FOUND: 500 @ 54.32
c NEW SOLUTION FOUND: 499 @ 54.351
c NEW SOLUTION FOUND: 498 @ 54.38
c NEW SOLUTION FOUND: 497 @ 54.41
c NEW SOLUTION FOUND: 496 @ 54.44
c NEW SOLUTION FOUND: 495 @ 54.47
c NEW SOLUTION FOUND: 494 @ 54.5
c NEW SOLUTION FOUND: 493 @ 54.53
c NEW SOLUTION FOUND: 492 @ 54.56
c NEW SOLUTION FOUND: 491 @ 54.59
c NEW SOLUTION FOUND: 490 @ 54.62
c NEW SOLUTION FOUND: 489 @ 54.649
c NEW SOLUTION FOUND: 488 @ 54.679
c NEW SOLUTION FOUND: 487 @ 54.709
c NEW SOLUTION FOUND: 486 @ 54.739
c NEW SOLUTION FOUND: 485 @ 54.769
c NEW SOLUTION FOUND: 484 @ 54.799
c NEW SOLUTION FOUND: 483 @ 54.829
c NEW SOLUTION FOUND: 482 @ 54.859
c NEW SOLUTION FOUND: 481 @ 54.889
c NEW SOLUTION FOUND: 480 @ 54.918
c NEW SOLUTION FOUND: 479 @ 54.949
c NEW SOLUTION FOUND: 478 @ 54.979
c NEW SOLUTION FOUND: 477 @ 55.009
c NEW SOLUTION FOUND: 476 @ 55.038
c NEW SOLUTION FOUND: 475 @ 55.067
c NEW SOLUTION FOUND: 474 @ 55.097
c NEW SOLUTION FOUND: 473 @ 55.127
c NEW SOLUTION FOUND: 472 @ 55.157
c NEW SOLUTION FOUND: 471 @ 55.187
c NEW SOLUTION FOUND: 470 @ 55.216
c NEW SOLUTION FOUND: 469 @ 55.246
c NEW SOLUTION FOUND: 468 @ 55.276
c NEW SOLUTION FOUND: 467 @ 55.306
c NEW SOLUTION FOUND: 466 @ 55.336
c NEW SOLUTION FOUND: 465 @ 55.365
c NEW SOLUTION FOUND: 464 @ 55.395
c NEW SOLUTION FOUND: 463 @ 55.425
c NEW SOLUTION FOUND: 462 @ 55.455
c NEW SOLUTION FOUND: 461 @ 55.484
c NEW SOLUTION FOUND: 460 @ 55.514
c NEW SOLUTION FOUND: 459 @ 55.544
c NEW SOLUTION FOUND: 458 @ 55.574
c NEW SOLUTION FOUND: 457 @ 55.604
c NEW SOLUTION FOUND: 456 @ 55.633
c NEW SOLUTION FOUND: 455 @ 55.663
c NEW SOLUTION FOUND: 454 @ 55.693
c NEW SOLUTION FOUND: 453 @ 55.723
c NEW SOLUTION FOUND: 452 @ 55.752
c NEW SOLUTION FOUND: 451 @ 55.782
c NEW SOLUTION FOUND: 450 @ 55.812
c NEW SOLUTION FOUND: 449 @ 55.841
c NEW SOLUTION FOUND: 448 @ 55.871
c NEW SOLUTION FOUND: 447 @ 55.901
c NEW SOLUTION FOUND: 446 @ 55.931
c NEW SOLUTION FOUND: 445 @ 55.96
c NEW SOLUTION FOUND: 444 @ 55.99
c NEW SOLUTION FOUND: 443 @ 56.02
c NEW SOLUTION FOUND: 442 @ 56.049
c NEW SOLUTION FOUND: 441 @ 56.079
c NEW SOLUTION FOUND: 440 @ 56.108
c NEW SOLUTION FOUND: 439 @ 56.138
c NEW SOLUTION FOUND: 438 @ 56.168
c NEW SOLUTION FOUND: 437 @ 56.198
c NEW SOLUTION FOUND: 436 @ 56.228
c NEW SOLUTION FOUND: 435 @ 56.257
c NEW SOLUTION FOUND: 434 @ 56.287
c NEW SOLUTION FOUND: 433 @ 56.316
c NEW SOLUTION FOUND: 432 @ 56.346
c NEW SOLUTION FOUND: 431 @ 56.375
c NEW SOLUTION FOUND: 430 @ 56.405
c NEW SOLUTION FOUND: 429 @ 56.435
c NEW SOLUTION FOUND: 428 @ 56.464
c NEW SOLUTION FOUND: 427 @ 56.493
c NEW SOLUTION FOUND: 426 @ 56.523
c NEW SOLUTION FOUND: 425 @ 56.552
c NEW SOLUTION FOUND: 424 @ 56.582
c NEW SOLUTION FOUND: 423 @ 56.612
c NEW SOLUTION FOUND: 422 @ 56.641
c NEW SOLUTION FOUND: 421 @ 56.671
c NEW SOLUTION FOUND: 420 @ 56.7
c NEW SOLUTION FOUND: 419 @ 56.73
c NEW SOLUTION FOUND: 418 @ 56.759
c NEW SOLUTION FOUND: 417 @ 56.789
c NEW SOLUTION FOUND: 416 @ 56.818
c NEW SOLUTION FOUND: 415 @ 56.848
c NEW SOLUTION FOUND: 414 @ 56.877
c NEW SOLUTION FOUND: 413 @ 56.906
c NEW SOLUTION FOUND: 412 @ 56.936
c NEW SOLUTION FOUND: 411 @ 56.965
c NEW SOLUTION FOUND: 410 @ 56.995
c NEW SOLUTION FOUND: 409 @ 57.024
c NEW SOLUTION FOUND: 408 @ 57.054
c NEW SOLUTION FOUND: 407 @ 57.083
c NEW SOLUTION FOUND: 406 @ 57.113
c NEW SOLUTION FOUND: 405 @ 57.142
c NEW SOLUTION FOUND: 404 @ 57.172
c NEW SOLUTION FOUND: 403 @ 57.201
c NEW SOLUTION FOUND: 402 @ 57.23
c NEW SOLUTION FOUND: 401 @ 57.26
c NEW SOLUTION FOUND: 400 @ 57.289
c NEW SOLUTION FOUND: 399 @ 57.319
c NEW SOLUTION FOUND: 398 @ 57.348
c NEW SOLUTION FOUND: 397 @ 57.378
c NEW SOLUTION FOUND: 396 @ 57.407
c NEW SOLUTION FOUND: 395 @ 57.437
c NEW SOLUTION FOUND: 394 @ 57.466
c NEW SOLUTION FOUND: 393 @ 57.495
c NEW SOLUTION FOUND: 392 @ 57.525
c NEW SOLUTION FOUND: 391 @ 57.554
c NEW SOLUTION FOUND: 390 @ 57.584
c NEW SOLUTION FOUND: 389 @ 57.614
c NEW SOLUTION FOUND: 388 @ 57.643
c NEW SOLUTION FOUND: 387 @ 57.672
c NEW SOLUTION FOUND: 386 @ 57.702
c NEW SOLUTION FOUND: 385 @ 57.731
c NEW SOLUTION FOUND: 384 @ 57.76
c NEW SOLUTION FOUND: 383 @ 57.79
c NEW SOLUTION FOUND: 382 @ 57.819
c NEW SOLUTION FOUND: 381 @ 57.848
c NEW SOLUTION FOUND: 380 @ 57.877
c NEW SOLUTION FOUND: 379 @ 57.907
c NEW SOLUTION FOUND: 378 @ 57.936
c NEW SOLUTION FOUND: 377 @ 57.965
c NEW SOLUTION FOUND: 376 @ 57.994
c NEW SOLUTION FOUND: 375 @ 58.024
c NEW SOLUTION FOUND: 374 @ 58.053
c NEW SOLUTION FOUND: 373 @ 58.082
c NEW SOLUTION FOUND: 372 @ 58.111
c NEW SOLUTION FOUND: 371 @ 58.141
c NEW SOLUTION FOUND: 370 @ 58.17
c NEW SOLUTION FOUND: 369 @ 58.199
c NEW SOLUTION FOUND: 368 @ 58.228
c NEW SOLUTION FOUND: 367 @ 58.258
c NEW SOLUTION FOUND: 366 @ 58.287
c NEW SOLUTION FOUND: 365 @ 58.316
c NEW SOLUTION FOUND: 364 @ 58.346
c NEW SOLUTION FOUND: 363 @ 58.375
c NEW SOLUTION FOUND: 362 @ 58.404
c NEW SOLUTION FOUND: 361 @ 58.433
c NEW SOLUTION FOUND: 360 @ 58.462
c NEW SOLUTION FOUND: 359 @ 58.491
c NEW SOLUTION FOUND: 358 @ 58.52
c NEW SOLUTION FOUND: 357 @ 58.55
c NEW SOLUTION FOUND: 356 @ 58.579
c NEW SOLUTION FOUND: 355 @ 58.608
c NEW SOLUTION FOUND: 354 @ 58.637
c NEW SOLUTION FOUND: 353 @ 58.667
c NEW SOLUTION FOUND: 352 @ 58.696
c NEW SOLUTION FOUND: 351 @ 58.725
c NEW SOLUTION FOUND: 350 @ 58.754
c NEW SOLUTION FOUND: 349 @ 58.783
c NEW SOLUTION FOUND: 348 @ 58.812
c NEW SOLUTION FOUND: 347 @ 58.841
c NEW SOLUTION FOUND: 346 @ 58.871
c NEW SOLUTION FOUND: 345 @ 58.9
c NEW SOLUTION FOUND: 344 @ 58.929
c NEW SOLUTION FOUND: 343 @ 58.958
c NEW SOLUTION FOUND: 342 @ 58.989
c NEW SOLUTION FOUND: 341 @ 59.018
c NEW SOLUTION FOUND: 340 @ 59.047
c NEW SOLUTION FOUND: 339 @ 59.076
c NEW SOLUTION FOUND: 338 @ 59.105
c NEW SOLUTION FOUND: 337 @ 59.134
c NEW SOLUTION FOUND: 336 @ 59.163
c NEW SOLUTION FOUND: 335 @ 59.192
c NEW SOLUTION FOUND: 334 @ 59.221
c NEW SOLUTION FOUND: 333 @ 59.25
c NEW SOLUTION FOUND: 332 @ 59.28
c NEW SOLUTION FOUND: 331 @ 59.309
c NEW SOLUTION FOUND: 330 @ 59.338
c NEW SOLUTION FOUND: 329 @ 59.367
c NEW SOLUTION FOUND: 328 @ 59.396
c NEW SOLUTION FOUND: 327 @ 59.425
c NEW SOLUTION FOUND: 326 @ 59.454
c NEW SOLUTION FOUND: 325 @ 59.483
c NEW SOLUTION FOUND: 324 @ 59.512
c NEW SOLUTION FOUND: 323 @ 59.541
c NEW SOLUTION FOUND: 322 @ 59.57
c NEW SOLUTION FOUND: 321 @ 59.599
c NEW SOLUTION FOUND: 320 @ 59.629
c NEW SOLUTION FOUND: 319 @ 59.658
c NEW SOLUTION FOUND: 318 @ 59.687
c NEW SOLUTION FOUND: 317 @ 59.716
c NEW SOLUTION FOUND: 316 @ 59.745
c NEW SOLUTION FOUND: 315 @ 59.773
c NEW SOLUTION FOUND: 314 @ 59.802
c NEW SOLUTION FOUND: 313 @ 59.831
c NEW SOLUTION FOUND: 312 @ 59.86
c NEW SOLUTION FOUND: 311 @ 59.889
c NEW SOLUTION FOUND: 310 @ 59.918
c NEW SOLUTION FOUND: 309 @ 59.947
c NEW SOLUTION FOUND: 308 @ 59.977
c NEW SOLUTION FOUND: 307 @ 60.007
c NEW SOLUTION FOUND: 306 @ 60.038
c NEW SOLUTION FOUND: 305 @ 60.067
c NEW SOLUTION FOUND: 304 @ 60.097
c NEW SOLUTION FOUND: 303 @ 60.127
c NEW SOLUTION FOUND: 302 @ 60.157
c NEW SOLUTION FOUND: 301 @ 60.187
c NEW SOLUTION FOUND: 300 @ 60.217
c NEW SOLUTION FOUND: 299 @ 60.247
c NEW SOLUTION FOUND: 298 @ 60.277
c NEW SOLUTION FOUND: 297 @ 60.307
c NEW SOLUTION FOUND: 296 @ 60.337
c NEW SOLUTION FOUND: 295 @ 60.367
c NEW SOLUTION FOUND: 294 @ 60.397
c NEW SOLUTION FOUND: 293 @ 60.427
c NEW SOLUTION FOUND: 292 @ 60.456
c NEW SOLUTION FOUND: 291 @ 60.486
c NEW SOLUTION FOUND: 290 @ 60.516
c NEW SOLUTION FOUND: 289 @ 60.546
c NEW SOLUTION FOUND: 288 @ 60.576
c NEW SOLUTION FOUND: 287 @ 60.606
c NEW SOLUTION FOUND: 286 @ 60.636
c NEW SOLUTION FOUND: 285 @ 60.665
c NEW SOLUTION FOUND: 284 @ 60.695
c NEW SOLUTION FOUND: 283 @ 60.725
c NEW SOLUTION FOUND: 282 @ 60.755
c NEW SOLUTION FOUND: 281 @ 60.785
c NEW SOLUTION FOUND: 280 @ 60.816
c NEW SOLUTION FOUND: 279 @ 60.846
c NEW SOLUTION FOUND: 278 @ 60.876
c NEW SOLUTION FOUND: 277 @ 60.906
c NEW SOLUTION FOUND: 276 @ 60.935
c NEW SOLUTION FOUND: 275 @ 60.966
c NEW SOLUTION FOUND: 274 @ 60.995
c NEW SOLUTION FOUND: 273 @ 61.025
c NEW SOLUTION FOUND: 272 @ 61.055
c NEW SOLUTION FOUND: 271 @ 61.084
c NEW SOLUTION FOUND: 270 @ 61.114
c NEW SOLUTION FOUND: 269 @ 61.144
c NEW SOLUTION FOUND: 268 @ 61.174
c NEW SOLUTION FOUND: 267 @ 61.204
c NEW SOLUTION FOUND: 266 @ 61.234
c NEW SOLUTION FOUND: 265 @ 61.263
c NEW SOLUTION FOUND: 264 @ 61.293
c NEW SOLUTION FOUND: 263 @ 61.323
c NEW SOLUTION FOUND: 262 @ 61.353
c NEW SOLUTION FOUND: 261 @ 61.382
c NEW SOLUTION FOUND: 260 @ 61.412
c NEW SOLUTION FOUND: 259 @ 61.442
c NEW SOLUTION FOUND: 258 @ 61.471
c NEW SOLUTION FOUND: 257 @ 61.501
c NEW SOLUTION FOUND: 256 @ 61.531
c NEW SOLUTION FOUND: 255 @ 61.561
c NEW SOLUTION FOUND: 254 @ 61.59
c NEW SOLUTION FOUND: 253 @ 61.62
c NEW SOLUTION FOUND: 252 @ 61.65
c NEW SOLUTION FOUND: 251 @ 61.68
c NEW SOLUTION FOUND: 250 @ 61.71
c NEW SOLUTION FOUND: 249 @ 61.739
c NEW SOLUTION FOUND: 248 @ 61.769
c NEW SOLUTION FOUND: 247 @ 61.799
c NEW SOLUTION FOUND: 246 @ 61.829
c NEW SOLUTION FOUND: 245 @ 61.858
c NEW SOLUTION FOUND: 244 @ 61.888
c NEW SOLUTION FOUND: 243 @ 61.917
c NEW SOLUTION FOUND: 242 @ 61.947
c NEW SOLUTION FOUND: 241 @ 61.977
c NEW SOLUTION FOUND: 240 @ 62.007
c NEW SOLUTION FOUND: 239 @ 62.036
c NEW SOLUTION FOUND: 238 @ 62.065
c NEW SOLUTION FOUND: 237 @ 62.094
c NEW SOLUTION FOUND: 236 @ 62.125
c NEW SOLUTION FOUND: 235 @ 62.156
c NEW SOLUTION FOUND: 234 @ 62.187
c NEW SOLUTION FOUND: 233 @ 62.217
c NEW SOLUTION FOUND: 232 @ 62.247
c NEW SOLUTION FOUND: 231 @ 62.278
c NEW SOLUTION FOUND: 230 @ 62.309
c NEW SOLUTION FOUND: 229 @ 62.339
c NEW SOLUTION FOUND: 228 @ 62.37
c NEW SOLUTION FOUND: 227 @ 62.4
c NEW SOLUTION FOUND: 226 @ 62.431
c NEW SOLUTION FOUND: 225 @ 62.461
c NEW SOLUTION FOUND: 224 @ 62.492
c NEW SOLUTION FOUND: 223 @ 62.523
c NEW SOLUTION FOUND: 222 @ 62.554
c NEW SOLUTION FOUND: 221 @ 62.584
c NEW SOLUTION FOUND: 220 @ 62.615
c NEW SOLUTION FOUND: 219 @ 62.645
c NEW SOLUTION FOUND: 218 @ 62.676
c NEW SOLUTION FOUND: 217 @ 62.707
c NEW SOLUTION FOUND: 216 @ 62.737
c NEW SOLUTION FOUND: 215 @ 62.768
c NEW SOLUTION FOUND: 214 @ 62.799
c NEW SOLUTION FOUND: 213 @ 62.829
c NEW SOLUTION FOUND: 212 @ 62.86
c NEW SOLUTION FOUND: 211 @ 62.89
c NEW SOLUTION FOUND: 210 @ 62.921
c NEW SOLUTION FOUND: 209 @ 62.951
c NEW SOLUTION FOUND: 208 @ 62.982
c NEW SOLUTION FOUND: 207 @ 63.012
c NEW SOLUTION FOUND: 206 @ 63.043
c NEW SOLUTION FOUND: 205 @ 63.073
c NEW SOLUTION FOUND: 204 @ 63.103
c NEW SOLUTION FOUND: 203 @ 63.134
c NEW SOLUTION FOUND: 202 @ 63.165
c NEW SOLUTION FOUND: 201 @ 63.195
c NEW SOLUTION FOUND: 200 @ 63.226
c NEW SOLUTION FOUND: 199 @ 63.256
c NEW SOLUTION FOUND: 198 @ 63.286
c NEW SOLUTION FOUND: 197 @ 63.316
c NEW SOLUTION FOUND: 196 @ 63.347
c NEW SOLUTION FOUND: 195 @ 63.377
c NEW SOLUTION FOUND: 194 @ 63.408
c NEW SOLUTION FOUND: 193 @ 63.439
c NEW SOLUTION FOUND: 192 @ 63.469
c NEW SOLUTION FOUND: 191 @ 63.499
c NEW SOLUTION FOUND: 190 @ 63.53
c NEW SOLUTION FOUND: 189 @ 63.56
c NEW SOLUTION FOUND: 188 @ 63.59
c NEW SOLUTION FOUND: 187 @ 63.621
c NEW SOLUTION FOUND: 186 @ 63.651
c NEW SOLUTION FOUND: 185 @ 63.681
c NEW SOLUTION FOUND: 184 @ 63.712
c NEW SOLUTION FOUND: 183 @ 63.742
c NEW SOLUTION FOUND: 182 @ 63.772
c NEW SOLUTION FOUND: 181 @ 63.802
c NEW SOLUTION FOUND: 180 @ 63.833
c NEW SOLUTION FOUND: 179 @ 63.863
c NEW SOLUTION FOUND: 178 @ 63.893
c NEW SOLUTION FOUND: 177 @ 63.929
c NEW SOLUTION FOUND: 176 @ 63.964
c NEW SOLUTION FOUND: 175 @ 63.999
c NEW SOLUTION FOUND: 174 @ 64.034
c NEW SOLUTION FOUND: 173 @ 64.069
c NEW SOLUTION FOUND: 172 @ 64.104
c NEW SOLUTION FOUND: 171 @ 64.144
c NEW SOLUTION FOUND: 170 @ 64.188
c NEW SOLUTION FOUND: 169 @ 64.232
c NEW SOLUTION FOUND: 168 @ 64.275
c NEW SOLUTION FOUND: 167 @ 64.32
c NEW SOLUTION FOUND: 166 @ 64.364
c NEW SOLUTION FOUND: 165 @ 64.409
c NEW SOLUTION FOUND: 164 @ 64.455
c NEW SOLUTION FOUND: 163 @ 64.498
c NEW SOLUTION FOUND: 162 @ 64.538
c NEW SOLUTION FOUND: 161 @ 64.581
c NEW SOLUTION FOUND: 160 @ 64.624
c NEW SOLUTION FOUND: 159 @ 64.668
c NEW SOLUTION FOUND: 158 @ 64.712
c NEW SOLUTION FOUND: 157 @ 64.756
c NEW SOLUTION FOUND: 156 @ 64.857
c NEW SOLUTION FOUND: 155 @ 64.917
c NEW SOLUTION FOUND: 154 @ 64.978
c NEW SOLUTION FOUND: 153 @ 65.039
c NEW SOLUTION FOUND: 152 @ 65.097
c NEW SOLUTION FOUND: 151 @ 65.156
c NEW SOLUTION FOUND: 150 @ 65.219
c NEW SOLUTION FOUND: 149 @ 65.277
c NEW SOLUTION FOUND: 148 @ 65.336
c NEW SOLUTION FOUND: 147 @ 65.4
c NEW SOLUTION FOUND: 146 @ 65.459
c NEW SOLUTION FOUND: 145 @ 65.518
c NEW SOLUTION FOUND: 144 @ 65.579
c NEW SOLUTION FOUND: 143 @ 65.637
c NEW SOLUTION FOUND: 142 @ 65.697
c NEW SOLUTION FOUND: 141 @ 65.757
c NEW SOLUTION FOUND: 140 @ 65.812
c NEW SOLUTION FOUND: 139 @ 65.87
c NEW SOLUTION FOUND: 138 @ 65.928
c NEW SOLUTION FOUND: 137 @ 65.99
c NEW SOLUTION FOUND: 136 @ 66.051
c NEW SOLUTION FOUND: 135 @ 66.117
c NEW SOLUTION FOUND: 134 @ 66.18
c NEW SOLUTION FOUND: 133 @ 66.239
c NEW SOLUTION FOUND: 132 @ 66.3
c NEW SOLUTION FOUND: 131 @ 66.365
c NEW SOLUTION FOUND: 130 @ 66.427
c NEW SOLUTION FOUND: 129 @ 66.492
c NEW SOLUTION FOUND: 128 @ 66.552
c NEW SOLUTION FOUND: 127 @ 66.615
c NEW SOLUTION FOUND: 126 @ 66.678
c NEW SOLUTION FOUND: 125 @ 66.744
c NEW SOLUTION FOUND: 124 @ 66.805
c NEW SOLUTION FOUND: 123 @ 66.868
c NEW SOLUTION FOUND: 122 @ 67.065
c NEW SOLUTION FOUND: 121 @ 67.131
c NEW SOLUTION FOUND: 120 @ 67.198
c NEW SOLUTION FOUND: 119 @ 67.265
c NEW SOLUTION FOUND: 118 @ 67.331
c NEW SOLUTION FOUND: 117 @ 67.398
c NEW SOLUTION FOUND: 116 @ 67.467
c NEW SOLUTION FOUND: 115 @ 67.535
c NEW SOLUTION FOUND: 114 @ 67.601
c NEW SOLUTION FOUND: 113 @ 67.668
c NEW SOLUTION FOUND: 112 @ 67.734
c NEW SOLUTION FOUND: 111 @ 67.798
c NEW SOLUTION FOUND: 110 @ 67.934
c NEW SOLUTION FOUND: 109 @ 68.003
c NEW SOLUTION FOUND: 108 @ 68.072
c NEW SOLUTION FOUND: 107 @ 68.15
c NEW SOLUTION FOUND: 106 @ 68.222
c NEW SOLUTION FOUND: 105 @ 68.294
c NEW SOLUTION FOUND: 104 @ 68.368
c NEW SOLUTION FOUND: 103 @ 68.441
c NEW SOLUTION FOUND: 102 @ 68.513
c NEW SOLUTION FOUND: 101 @ 68.584
c NEW SOLUTION FOUND: 100 @ 68.655
c NEW SOLUTION FOUND: 99 @ 68.725
c NEW SOLUTION FOUND: 98 @ 68.798
c NEW SOLUTION FOUND: 97 @ 68.868
c NEW SOLUTION FOUND: 96 @ 68.937
c NEW SOLUTION FOUND: 95 @ 69.01
c NEW SOLUTION FOUND: 94 @ 69.083
c NEW SOLUTION FOUND: 93 @ 69.157
c NEW SOLUTION FOUND: 92 @ 69.231
c NEW SOLUTION FOUND: 91 @ 69.398
c NEW SOLUTION FOUND: 90 @ 69.483
c NEW SOLUTION FOUND: 89 @ 69.651
c NEW SOLUTION FOUND: 88 @ 69.741
c NEW SOLUTION FOUND: 87 @ 69.826
c NEW SOLUTION FOUND: 86 @ 69.988
c NEW SOLUTION FOUND: 85 @ 70.078
c NEW SOLUTION FOUND: 84 @ 70.163
c NEW SOLUTION FOUND: 83 @ 70.242
c NEW SOLUTION FOUND: 82 @ 70.332
c NEW SOLUTION FOUND: 81 @ 70.413
c NEW SOLUTION FOUND: 80 @ 70.495
c NEW SOLUTION FOUND: 79 @ 70.691
c NEW SOLUTION FOUND: 78 @ 71.286
c NEW SOLUTION FOUND: 77 @ 71.425
c NEW SOLUTION FOUND: 76 @ 71.744
c NEW SOLUTION FOUND: 75 @ 72.083
c NEW SOLUTION FOUND: 74 @ 72.281
c NEW SOLUTION FOUND: 73 @ 72.497
c NEW SOLUTION FOUND: 72 @ 73.404
c NEW SOLUTION FOUND: 71 @ 76.418
c NEW SOLUTION FOUND: 70 @ 78.447
c NEW SOLUTION FOUND: 69 @ 79.374
c NEW SOLUTION FOUND: 68 @ 107.714
c NEW SOLUTION FOUND: 67 @ 167.369
c NEW SOLUTION FOUND: 66 @ 321.131
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: 1179.76 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.97 0.91 1/54 22602
Raw data (stat): 22602 (runsolver) R 22601 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892177277 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 2970 0 0 0 989 8 0 0 25 0 1 0 892177277 13172736 2468 4294967295 134512640 134716908 3221224592 3221221152 1075967689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3216 2468 1111 63 0 3153 0
vsize: 12864
[startup+20.0017 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 16879 0 0 0 1951 46 0 0 25 0 1 0 892177277 11243520 2049 4294967295 134512640 134716908 3221224592 3221222636 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2745 2049 1111 63 0 2682 0
vsize: 10980
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 34080 0 0 0 2896 101 0 0 25 0 1 0 892177277 11444224 2063 4294967295 134512640 134716908 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2794 2063 1111 63 0 2731 0
vsize: 11176
[startup+40.003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 52195 0 0 0 3841 156 0 0 25 0 1 0 892177277 11386880 2044 4294967295 134512640 134716908 3221224592 3221222320 1075828754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2780 2044 1111 63 0 2717 0
vsize: 11120
[startup+50.0038 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 71337 0 0 0 4786 211 0 0 25 0 1 0 892177277 11386880 2044 4294967295 134512640 134716908 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2780 2044 1111 63 0 2717 0
vsize: 11120
[startup+60.0039 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 91571 0 0 0 5725 272 0 0 25 0 1 0 892177277 11243520 2049 4294967295 134512640 134716908 3221224592 3221223040 1074039475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2745 2049 1111 63 0 2682 0
vsize: 10980
[startup+70.0051 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 108693 0 0 0 6676 321 0 0 25 0 1 0 892177277 11960320 2135 4294967295 134512640 134716908 3221224592 3221221856 1075278713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2920 2135 1111 63 0 2857 0
vsize: 11680
[startup+80.0068 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 113767 0 0 0 7662 335 0 0 25 0 1 0 892177277 12750848 2346 4294967295 134512640 134716908 3221224592 3221220576 1074875114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 2346 1111 63 0 3050 0
vsize: 12452
[startup+90.007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 116758 0 0 0 8655 342 0 0 25 0 1 0 892177277 12779520 2364 4294967295 134512640 134716908 3221224592 3221221656 1075066464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3120 2364 1111 63 0 3057 0
vsize: 12480
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 119539 0 0 0 9647 350 0 0 25 0 1 0 892177277 12779520 2362 4294967295 134512640 134716908 3221224592 3221220752 1074794640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3120 2362 1111 63 0 3057 0
vsize: 12480
[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 122542 0 0 0 10641 357 0 0 25 0 1 0 892177277 12177408 2273 4294967295 134512640 134716908 3221224592 3221222592 1074918929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2973 2273 1111 63 0 2910 0
vsize: 11892
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 125227 0 0 0 11635 363 0 0 25 0 1 0 892177277 11575296 2130 4294967295 134512640 134716908 3221224592 3221222232 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 2130 1111 63 0 2763 0
vsize: 11304
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 128048 0 0 0 12627 370 0 0 25 0 1 0 892177277 12988416 2391 4294967295 134512640 134716908 3221224592 3221220560 1074872844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3171 2391 1111 63 0 3108 0
vsize: 12684
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 130944 0 0 0 13620 377 0 0 25 0 1 0 892177277 12431360 2309 4294967295 134512640 134716908 3221224592 3221222592 1074918319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2309 1111 63 0 2972 0
vsize: 12140
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 133686 0 0 0 14614 383 0 0 25 0 1 0 892177277 13025280 2400 4294967295 134512640 134716908 3221224592 3221220692 1075964286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2400 1111 63 0 3117 0
vsize: 12720
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 136840 0 0 0 15607 391 0 0 25 0 1 0 892177277 13012992 2392 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2392 1111 63 0 3114 0
vsize: 12708
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 139846 0 0 0 16601 398 0 0 25 0 1 0 892177277 12931072 2401 4294967295 134512640 134716908 3221224592 3221220560 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 2401 1111 63 0 3094 0
vsize: 12628
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 142668 0 0 0 17594 404 0 0 25 0 1 0 892177277 13127680 2451 4294967295 134512640 134716908 3221224592 3221221536 1074620107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 2451 1111 63 0 3142 0
vsize: 12820
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 144509 0 0 0 18589 409 0 0 25 0 1 0 892177277 11890688 2204 4294967295 134512640 134716908 3221224592 3221222560 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2903 2204 1111 63 0 2840 0
vsize: 11612
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 146680 0 0 0 19584 415 0 0 25 0 1 0 892177277 11821056 2191 4294967295 134512640 134716908 3221224592 3221222688 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 2191 1111 63 0 2823 0
vsize: 11544
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 149416 0 0 0 20578 421 0 0 25 0 1 0 892177277 13230080 2482 4294967295 134512640 134716908 3221224592 3221220576 1074875074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3230 2482 1111 63 0 3167 0
vsize: 12920
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 151226 0 0 0 21572 427 0 0 25 0 1 0 892177277 12017664 2239 4294967295 134512640 134716908 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2934 2239 1111 63 0 2871 0
vsize: 11736
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 153838 0 0 0 22565 434 0 0 25 0 1 0 892177277 13180928 2472 4294967295 134512640 134716908 3221224592 3221221360 1076083619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3218 2472 1111 63 0 3155 0
vsize: 12872
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 156278 0 0 0 23559 440 0 0 25 0 1 0 892177277 11821056 2191 4294967295 134512640 134716908 3221224592 3221222552 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 2191 1111 63 0 2823 0
vsize: 11544
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 158245 0 0 0 24554 445 0 0 25 0 1 0 892177277 13213696 2480 4294967295 134512640 134716908 3221224592 3221220960 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 2480 1111 63 0 3163 0
vsize: 12904
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 160445 0 0 0 25550 450 0 0 25 0 1 0 892177277 13291520 2475 4294967295 134512640 134716908 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3245 2475 1111 63 0 3182 0
vsize: 12980
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 162865 0 0 0 26544 457 0 0 25 0 1 0 892177277 12320768 2310 4294967295 134512640 134716908 3221224592 3221223056 1074121052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3008 2310 1111 63 0 2945 0
vsize: 12032
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 165164 0 0 0 27539 462 0 0 25 0 1 0 892177277 12312576 2280 4294967295 134512640 134716908 3221224592 3221222304 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3006 2280 1111 63 0 2943 0
vsize: 12024
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 167710 0 0 0 28533 468 0 0 25 0 1 0 892177277 11821056 2191 4294967295 134512640 134716908 3221224592 3221222208 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2886 2191 1111 63 0 2823 0
vsize: 11544
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 171047 0 0 0 29525 476 0 0 25 0 1 0 892177277 13602816 2556 4294967295 134512640 134716908 3221224592 3221220588 1074788090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3321 2556 1111 63 0 3258 0
vsize: 13284
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 173048 0 0 0 30520 481 0 0 25 0 1 0 892177277 12251136 2296 4294967295 134512640 134716908 3221224592 3221222752 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2296 1111 63 0 2928 0
vsize: 11964
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 175313 0 0 0 31514 487 0 0 25 0 1 0 892177277 13209600 2466 4294967295 134512640 134716908 3221224592 3221220796 1075564297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 2466 1111 63 0 3162 0
vsize: 12900
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 177191 0 0 0 32510 491 0 0 25 0 1 0 892177277 13209600 2441 4294967295 134512640 134716908 3221224592 3221220592 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 2441 1111 63 0 3162 0
vsize: 12900
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 178834 0 0 0 33506 495 0 0 25 0 1 0 892177277 12251136 2296 4294967295 134512640 134716908 3221224592 3221222272 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2296 1111 63 0 2928 0
vsize: 11964
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 180194 0 0 0 34503 498 0 0 25 0 1 0 892177277 13680640 2593 4294967295 134512640 134716908 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2593 1111 63 0 3277 0
vsize: 13360
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 182205 0 0 0 35499 503 0 0 25 0 1 0 892177277 12414976 2336 4294967295 134512640 134716908 3221224592 3221221824 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2336 1111 63 0 2968 0
vsize: 12124
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 183465 0 0 0 36495 506 0 0 25 0 1 0 892177277 13680640 2592 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2592 1111 63 0 3277 0
vsize: 13360
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 185323 0 0 0 37490 512 0 0 25 0 1 0 892177277 12460032 2347 4294967295 134512640 134716908 3221224592 3221222576 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3042 2347 1111 63 0 2979 0
vsize: 12168
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 187399 0 0 0 38485 517 0 0 25 0 1 0 892177277 13873152 2569 4294967295 134512640 134716908 3221224592 3221221712 1074834340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3387 2569 1111 63 0 3324 0
vsize: 13548
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 189039 0 0 0 39481 521 0 0 25 0 1 0 892177277 13570048 2552 4294967295 134512640 134716908 3221224592 3221220720 1075561201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 2552 1111 63 0 3250 0
vsize: 13252
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 190553 0 0 0 40479 524 0 0 25 0 1 0 892177277 13570048 2561 4294967295 134512640 134716908 3221224592 3221220752 1074794571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 2561 1111 63 0 3250 0
vsize: 13252
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 192667 0 0 0 41473 529 0 0 25 0 1 0 892177277 13832192 2573 4294967295 134512640 134716908 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3377 2573 1111 63 0 3314 0
vsize: 13508
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 194350 0 0 0 42469 534 0 0 25 0 1 0 892177277 13713408 2599 4294967295 134512640 134716908 3221224592 3221220560 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2599 1111 63 0 3285 0
vsize: 13392
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 196101 0 0 0 43465 538 0 0 25 0 1 0 892177277 13713408 2599 4294967295 134512640 134716908 3221224592 3221220448 1074870807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2599 1111 63 0 3285 0
vsize: 13392
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 197855 0 0 0 44461 543 0 0 25 0 1 0 892177277 13713408 2600 4294967295 134512640 134716908 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2600 1111 63 0 3285 0
vsize: 13392
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 199598 0 0 0 45456 547 0 0 25 0 1 0 892177277 13713408 2598 4294967295 134512640 134716908 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2598 1111 63 0 3285 0
vsize: 13392
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 201303 0 0 0 46452 552 0 0 25 0 1 0 892177277 13680640 2592 4294967295 134512640 134716908 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2592 1111 63 0 3277 0
vsize: 13360
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 202897 0 0 0 47449 555 0 0 25 0 1 0 892177277 13885440 2592 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3390 2592 1111 63 0 3327 0
vsize: 13560
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 204599 0 0 0 48445 559 0 0 25 0 1 0 892177277 13885440 2596 4294967295 134512640 134716908 3221224592 3221220448 1074870914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3390 2596 1111 63 0 3327 0
vsize: 13560
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 206450 0 0 0 49440 564 0 0 25 0 1 0 892177277 12251136 2296 4294967295 134512640 134716908 3221224592 3221222568 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2296 1111 63 0 2928 0
vsize: 11964
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 208130 0 0 0 50436 569 0 0 25 0 1 0 892177277 12472320 2350 4294967295 134512640 134716908 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2350 1111 63 0 2982 0
vsize: 12180
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 210129 0 0 0 51431 574 0 0 25 0 1 0 892177277 13832192 2554 4294967295 134512640 134716908 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3377 2554 1111 63 0 3314 0
vsize: 13508
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 211759 0 0 0 52427 578 0 0 25 0 1 0 892177277 13627392 2576 4294967295 134512640 134716908 3221224592 3221220448 1074871357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2576 1111 63 0 3264 0
vsize: 13308
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 213370 0 0 0 53423 582 0 0 25 0 1 0 892177277 13623296 2576 4294967295 134512640 134716908 3221224592 3221220448 1074868029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3326 2576 1111 63 0 3263 0
vsize: 13304
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 214929 0 0 0 54420 586 0 0 25 0 1 0 892177277 13832192 2582 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3377 2582 1111 63 0 3314 0
vsize: 13508
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 217201 0 0 0 55414 591 0 0 25 0 1 0 892177277 13586432 2565 4294967295 134512640 134716908 3221224592 3221221184 1074885670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2565 1111 63 0 3254 0
vsize: 13268
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 219480 0 0 0 56409 596 0 0 25 0 1 0 892177277 13570048 2552 4294967295 134512640 134716908 3221224592 3221221512 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 2552 1111 63 0 3250 0
vsize: 13252
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 221019 0 0 0 57407 599 0 0 25 0 1 0 892177277 13586432 2565 4294967295 134512640 134716908 3221224592 3221220560 1075965243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2565 1111 63 0 3254 0
vsize: 13268
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 223275 0 0 0 58401 605 0 0 25 0 1 0 892177277 13500416 2544 4294967295 134512640 134716908 3221224592 3221220796 1075564301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3296 2544 1111 63 0 3233 0
vsize: 13184
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 225730 0 0 0 59396 611 0 0 25 0 1 0 892177277 12431360 2340 4294967295 134512640 134716908 3221224592 3221222464 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2340 1111 63 0 2972 0
vsize: 12140
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 227707 0 0 0 60391 615 0 0 25 0 1 0 892177277 13996032 2620 4294967295 134512640 134716908 3221224592 3221220864 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3417 2620 1111 63 0 3354 0
vsize: 13668
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 228658 0 0 0 61389 618 0 0 25 0 1 0 892177277 13787136 2618 4294967295 134512640 134716908 3221224592 3221221536 1074620363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2618 1111 63 0 3303 0
vsize: 13464
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 231143 0 0 0 62383 624 0 0 25 0 1 0 892177277 13946880 2597 4294967295 134512640 134716908 3221224592 3221220752 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2597 1111 63 0 3342 0
vsize: 13620
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 232816 0 0 0 63379 628 0 0 25 0 1 0 892177277 13942784 2599 4294967295 134512640 134716908 3221224592 3221221192 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3404 2599 1111 63 0 3341 0
vsize: 13616
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 234526 0 0 0 64375 632 0 0 25 0 1 0 892177277 13697024 2596 4294967295 134512640 134716908 3221224592 3221220448 1074871371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3344 2596 1111 63 0 3281 0
vsize: 13376
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 236162 0 0 0 65371 637 0 0 25 0 1 0 892177277 13750272 2607 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2607 1111 63 0 3294 0
vsize: 13428
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 237903 0 0 0 66367 641 0 0 25 0 1 0 892177277 13750272 2607 4294967295 134512640 134716908 3221224592 3221220560 1075965253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2607 1111 63 0 3294 0
vsize: 13428
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 239645 0 0 0 67362 646 0 0 25 0 1 0 892177277 13750272 2607 4294967295 134512640 134716908 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2607 1111 63 0 3294 0
vsize: 13428
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 241316 0 0 0 68359 649 0 0 25 0 1 0 892177277 13611008 2572 4294967295 134512640 134716908 3221224592 3221220796 1075564295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3323 2572 1111 63 0 3260 0
vsize: 13292
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 243684 0 0 0 69353 656 0 0 25 0 1 0 892177277 13922304 2584 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2584 1111 63 0 3336 0
vsize: 13596
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 245385 0 0 0 70349 660 0 0 25 0 1 0 892177277 13942784 2650 4294967295 134512640 134716908 3221224592 3221220596 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3404 2650 1111 63 0 3341 0
vsize: 13616
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 247091 0 0 0 71345 664 0 0 25 0 1 0 892177277 13729792 2600 4294967295 134512640 134716908 3221224592 3221220820 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3352 2600 1111 63 0 3289 0
vsize: 13408
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 248676 0 0 0 72341 668 0 0 25 0 1 0 892177277 13877248 2576 4294967295 134512640 134716908 3221224592 3221221120 1074884972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3388 2576 1111 63 0 3325 0
vsize: 13552
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 250545 0 0 0 73337 672 0 0 25 0 1 0 892177277 12419072 2337 4294967295 134512640 134716908 3221224592 3221222432 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3032 2337 1111 63 0 2969 0
vsize: 12128
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 252531 0 0 0 74333 677 0 0 25 0 1 0 892177277 13901824 2597 4294967295 134512640 134716908 3221224592 3221221168 1076048195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2597 1111 63 0 3331 0
vsize: 13576
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 254860 0 0 0 75328 682 0 0 25 0 1 0 892177277 13660160 2581 4294967295 134512640 134716908 3221224592 3221220576 1074875081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 2581 1111 63 0 3272 0
vsize: 13340
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 256391 0 0 0 76324 685 0 0 25 0 1 0 892177277 13660160 2581 4294967295 134512640 134716908 3221224592 3221220752 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 2581 1111 63 0 3272 0
vsize: 13340
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 258653 0 0 0 77319 691 0 0 25 0 1 0 892177277 13639680 2575 4294967295 134512640 134716908 3221224592 3221220820 1075115097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2575 1111 63 0 3267 0
vsize: 13320
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 261013 0 0 0 78314 696 0 0 25 0 1 0 892177277 13901824 2649 4294967295 134512640 134716908 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2649 1111 63 0 3331 0
vsize: 13576
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 261973 0 0 0 79311 699 0 0 25 0 1 0 892177277 13901824 2655 4294967295 134512640 134716908 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2655 1111 63 0 3331 0
vsize: 13576
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 263860 0 0 0 80307 704 0 0 25 0 1 0 892177277 13901824 2646 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2646 1111 63 0 3331 0
vsize: 13576
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 265759 0 0 0 81303 708 0 0 25 0 1 0 892177277 13901824 2644 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2644 1111 63 0 3331 0
vsize: 13576
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 266713 0 0 0 82301 710 0 0 25 0 1 0 892177277 13901824 2648 4294967295 134512640 134716908 3221224592 3221220864 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2648 1111 63 0 3331 0
vsize: 13576
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 268608 0 0 0 83296 715 0 0 25 0 1 0 892177277 13897728 2645 4294967295 134512640 134716908 3221224592 3221220448 1074871233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3393 2645 1111 63 0 3330 0
vsize: 13572
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 270487 0 0 0 84291 721 0 0 25 0 1 0 892177277 13877248 2641 4294967295 134512640 134716908 3221224592 3221220752 1074794472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3388 2641 1111 63 0 3325 0
vsize: 13552
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 272341 0 0 0 85287 725 0 0 25 0 1 0 892177277 13864960 2632 4294967295 134512640 134716908 3221224592 3221220596 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3385 2632 1111 63 0 3322 0
vsize: 13540
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 273192 0 0 0 86285 727 0 0 25 0 1 0 892177277 13991936 2624 4294967295 134512640 134716908 3221224592 3221220940 1073957240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2624 1111 63 0 3353 0
vsize: 13664
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 274969 0 0 0 87281 732 0 0 25 0 1 0 892177277 13840384 2630 4294967295 134512640 134716908 3221224592 3221220448 1074868602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3379 2630 1111 63 0 3316 0
vsize: 13516
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 276749 0 0 0 88278 735 0 0 25 0 1 0 892177277 13778944 2615 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2615 1111 63 0 3301 0
vsize: 13456
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 278536 0 0 0 89274 739 0 0 25 0 1 0 892177277 13840384 2628 4294967295 134512640 134716908 3221224592 3221220688 1074877657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3379 2628 1111 63 0 3316 0
vsize: 13516
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 280215 0 0 0 90271 742 0 0 25 0 1 0 892177277 13795328 2615 4294967295 134512640 134716908 3221224592 3221220560 1074872897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2615 1111 63 0 3305 0
vsize: 13472
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 281971 0 0 0 91267 746 0 0 25 0 1 0 892177277 13795328 2621 4294967295 134512640 134716908 3221224592 3221220448 1074868724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2621 1111 63 0 3305 0
vsize: 13472
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 283639 0 0 0 92263 750 0 0 25 0 1 0 892177277 13795328 2618 4294967295 134512640 134716908 3221224592 3221221536 1074620363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2618 1111 63 0 3305 0
vsize: 13472
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 285482 0 0 0 93258 755 0 0 25 0 1 0 892177277 13877248 2642 4294967295 134512640 134716908 3221224592 3221221168 1076043707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3388 2642 1111 63 0 3325 0
vsize: 13552
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 287347 0 0 0 94255 758 0 0 25 0 1 0 892177277 13877248 2638 4294967295 134512640 134716908 3221224592 3221220596 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3388 2638 1111 63 0 3325 0
vsize: 13552
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 289047 0 0 0 95251 762 0 0 25 0 1 0 892177277 13987840 2606 4294967295 134512640 134716908 3221224592 3221220752 1074794578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2606 1111 63 0 3352 0
vsize: 13660
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 289990 0 0 0 96249 764 0 0 25 0 1 0 892177277 13819904 2627 4294967295 134512640 134716908 3221224592 3221221512 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2627 1111 63 0 3311 0
vsize: 13496
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 291736 0 0 0 97245 769 0 0 25 0 1 0 892177277 13758464 2607 4294967295 134512640 134716908 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 2607 1111 63 0 3296 0
vsize: 13436
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 293508 0 0 0 98240 774 0 0 25 0 1 0 892177277 14090240 2636 4294967295 134512640 134716908 3221224592 3221220436 1074786513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2636 1111 63 0 3377 0
vsize: 13760
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 294463 0 0 0 99238 776 0 0 25 0 1 0 892177277 13799424 2620 4294967295 134512640 134716908 3221224592 3221220500 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3369 2620 1111 63 0 3306 0
vsize: 13476
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 296200 0 0 0 100233 781 0 0 25 0 1 0 892177277 13819904 2624 4294967295 134512640 134716908 3221224592 3221220500 1074786550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2624 1111 63 0 3311 0
vsize: 13496
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 297980 0 0 0 101228 786 0 0 25 0 1 0 892177277 13819904 2625 4294967295 134512640 134716908 3221224592 3221220768 1074882576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2625 1111 63 0 3311 0
vsize: 13496
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 299714 0 0 0 102225 790 0 0 25 0 1 0 892177277 14028800 2622 4294967295 134512640 134716908 3221224592 3221220832 1075115717 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3425 2622 1111 63 0 3362 0
vsize: 13700
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 301471 0 0 0 103220 794 0 0 25 0 1 0 892177277 13799424 2618 4294967295 134512640 134716908 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3369 2618 1111 63 0 3306 0
vsize: 13476
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 303224 0 0 0 104216 798 0 0 25 0 1 0 892177277 13795328 2618 4294967295 134512640 134716908 3221224592 3221220796 1075564301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2618 1111 63 0 3305 0
vsize: 13472
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 304913 0 0 0 105212 803 0 0 25 0 1 0 892177277 13737984 2601 4294967295 134512640 134716908 3221224592 3221220796 1075564295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2601 1111 63 0 3291 0
vsize: 13416
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 306649 0 0 0 106208 807 0 0 25 0 1 0 892177277 13795328 2619 4294967295 134512640 134716908 3221224592 3221220468 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2619 1111 63 0 3305 0
vsize: 13472
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 308282 0 0 0 107205 810 0 0 25 0 1 0 892177277 13987840 2626 4294967295 134512640 134716908 3221224592 3221220448 1074868812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2626 1111 63 0 3352 0
vsize: 13660
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 309834 0 0 0 108201 814 0 0 25 0 1 0 892177277 13889536 2592 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 2592 1111 63 0 3328 0
vsize: 13564
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 311880 0 0 0 109198 818 0 0 25 0 1 0 892177277 13414400 2512 4294967295 134512640 134716908 3221224592 3221222240 1075818331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3275 2512 1111 63 0 3212 0
vsize: 13100
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 313658 0 0 0 110195 822 0 0 25 0 1 0 892177277 13651968 2580 4294967295 134512640 134716908 3221224592 3221220556 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3333 2580 1111 63 0 3270 0
vsize: 13332
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 315171 0 0 0 111191 826 0 0 25 0 1 0 892177277 13639680 2577 4294967295 134512640 134716908 3221224592 3221220724 1074791747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2577 1111 63 0 3267 0
vsize: 13320
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 317368 0 0 0 112186 831 0 0 25 0 1 0 892177277 13574144 2541 4294967295 134512640 134716908 3221224592 3221220820 1075115112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3314 2541 1111 63 0 3251 0
vsize: 13256
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 319517 0 0 0 113180 837 0 0 25 0 1 0 892177277 13688832 2594 4294967295 134512640 134716908 3221224592 3221221104 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2594 1111 63 0 3279 0
vsize: 13368
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 321605 0 0 0 114176 841 0 0 25 0 1 0 892177277 13553664 2537 4294967295 134512640 134716908 3221224592 3221220736 1074970650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2537 1111 63 0 3246 0
vsize: 13236
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 324055 0 0 0 115170 848 0 0 25 0 1 0 892177277 14077952 2628 4294967295 134512640 134716908 3221224592 3221220928 1075113487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2628 1111 63 0 3374 0
vsize: 13748
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 325868 0 0 0 116165 853 0 0 25 0 1 0 892177277 13996032 2605 4294967295 134512640 134716908 3221224592 3221220752 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3417 2605 1111 63 0 3354 0
vsize: 13668
[startup+1179.63 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 22602
Raw data (stat): 22602 (bsolo_lpr-v2) R 22601 31399 31398 0 -1 0 325868 0 0 0 116165 853 0 0 25 0 1 0 892177277 13996032 2605 4294967295 134512640 134716908 3221224592 3221220752 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3417 2605 1111 63 0 3354 0
vsize: 0

Child status: 10
Real time (s): 1179.62
CPU time (s): 1179.77
CPU user time (s): 1171.2
CPU system time (s): 8.5707
CPU usage (%): 100.012
Max. virtual memory (Kb): 13760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	66
#### END VERIFIER DATA ####