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-apex4.a.opb
MD5SUM	4a690348e685ba516d0f6942be0bf113
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	779
Optimality of the best value was proved	NO
Number of terms in the objective function	4317
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	4317
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4317
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	4316
Total number of constraints	11912
Number of constraints which are clauses	11912
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	160
Trace number 40613

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 17:13:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28676 boxname=wulflinc1 idbench=62 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4a690348e685ba516d0f6942be0bf113  /oldhome/oroussel/tmp/wulflinc1/normalized-apex4.a.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-apex4.a.opb
IDLAUNCH: 28676
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        858800 kB
Buffers:         22752 kB
Cached:         128692 kB
SwapCached:       1148 kB
Active:          29708 kB
Inactive:       123956 kB
HighTotal:      131008 kB
HighFree:         3136 kB
LowTotal:       903652 kB
LowFree:        855664 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5264 kB
Slab:            16504 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:33:41 (client local time) WITH STATUS 0 IN 1200.12 SECONDS
stats: 28676 7 1200.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4317 variables and 11912 constraints.
c After prepocess the problem consists of 4118 variables and 3060 constraints.
c preprocess terminated 70.206 s
c Initial Lower Bound: 768
c Lower Bound Elapsed time: 1.089
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 3975 @ 86.803
c NEW SOLUTION FOUND: 3974 @ 86.878
c NEW SOLUTION FOUND: 3973 @ 86.931
c NEW SOLUTION FOUND: 3972 @ 86.984
c NEW SOLUTION FOUND: 3971 @ 87.037
c NEW SOLUTION FOUND: 3970 @ 87.091
c NEW SOLUTION FOUND: 3969 @ 87.144
c NEW SOLUTION FOUND: 3968 @ 87.198
c NEW SOLUTION FOUND: 3967 @ 87.251
c NEW SOLUTION FOUND: 3966 @ 87.305
c NEW SOLUTION FOUND: 3965 @ 87.359
c NEW SOLUTION FOUND: 3964 @ 87.413
c NEW SOLUTION FOUND: 3963 @ 87.466
c NEW SOLUTION FOUND: 3962 @ 87.52
c NEW SOLUTION FOUND: 3961 @ 87.573
c NEW SOLUTION FOUND: 3960 @ 87.627
c NEW SOLUTION FOUND: 3959 @ 87.68
c NEW SOLUTION FOUND: 3958 @ 87.733
c NEW SOLUTION FOUND: 3957 @ 87.787
c NEW SOLUTION FOUND: 3956 @ 87.84
c NEW SOLUTION FOUND: 3955 @ 87.893
c NEW SOLUTION FOUND: 3954 @ 87.947
c NEW SOLUTION FOUND: 3953 @ 88
c NEW SOLUTION FOUND: 3952 @ 88.053
c NEW SOLUTION FOUND: 3951 @ 88.107
c NEW SOLUTION FOUND: 3950 @ 88.16
c NEW SOLUTION FOUND: 3949 @ 88.213
c NEW SOLUTION FOUND: 3948 @ 88.267
c NEW SOLUTION FOUND: 3947 @ 88.32
c NEW SOLUTION FOUND: 3946 @ 88.375
c NEW SOLUTION FOUND: 3945 @ 88.428
c NEW SOLUTION FOUND: 3944 @ 88.482
c NEW SOLUTION FOUND: 3943 @ 88.535
c NEW SOLUTION FOUND: 3942 @ 88.588
c NEW SOLUTION FOUND: 3941 @ 88.642
c NEW SOLUTION FOUND: 3940 @ 88.695
c NEW SOLUTION FOUND: 3939 @ 88.748
c NEW SOLUTION FOUND: 3938 @ 88.802
c NEW SOLUTION FOUND: 3937 @ 88.855
c NEW SOLUTION FOUND: 3936 @ 88.908
c NEW SOLUTION FOUND: 3935 @ 88.961
c NEW SOLUTION FOUND: 3934 @ 89.015
c NEW SOLUTION FOUND: 3933 @ 89.068
c NEW SOLUTION FOUND: 3932 @ 89.122
c NEW SOLUTION FOUND: 3931 @ 89.175
c NEW SOLUTION FOUND: 3930 @ 89.229
c NEW SOLUTION FOUND: 3929 @ 89.282
c NEW SOLUTION FOUND: 3928 @ 89.336
c NEW SOLUTION FOUND: 3927 @ 89.389
c NEW SOLUTION FOUND: 3926 @ 89.443
c NEW SOLUTION FOUND: 3925 @ 89.497
c NEW SOLUTION FOUND: 3924 @ 89.55
c NEW SOLUTION FOUND: 3923 @ 89.604
c NEW SOLUTION FOUND: 3922 @ 89.657
c NEW SOLUTION FOUND: 3921 @ 89.71
c NEW SOLUTION FOUND: 3920 @ 89.764
c NEW SOLUTION FOUND: 3919 @ 89.817
c NEW SOLUTION FOUND: 3918 @ 89.87
c NEW SOLUTION FOUND: 3917 @ 89.925
c NEW SOLUTION FOUND: 3916 @ 89.978
c NEW SOLUTION FOUND: 3915 @ 90.031
c NEW SOLUTION FOUND: 3914 @ 90.084
c NEW SOLUTION FOUND: 3913 @ 90.137
c NEW SOLUTION FOUND: 3912 @ 90.191
c NEW SOLUTION FOUND: 3911 @ 90.244
c NEW SOLUTION FOUND: 3910 @ 90.297
c NEW SOLUTION FOUND: 3909 @ 90.35
c NEW SOLUTION FOUND: 3908 @ 90.404
c NEW SOLUTION FOUND: 3907 @ 90.457
c NEW SOLUTION FOUND: 3906 @ 90.51
c NEW SOLUTION FOUND: 3905 @ 90.564
c NEW SOLUTION FOUND: 3904 @ 90.617
c NEW SOLUTION FOUND: 3903 @ 90.67
c NEW SOLUTION FOUND: 3902 @ 90.724
c NEW SOLUTION FOUND: 3901 @ 90.777
c NEW SOLUTION FOUND: 3900 @ 90.831
c NEW SOLUTION FOUND: 3899 @ 90.884
c NEW SOLUTION FOUND: 3898 @ 90.937
c NEW SOLUTION FOUND: 3897 @ 90.99
c NEW SOLUTION FOUND: 3896 @ 91.044
c NEW SOLUTION FOUND: 3895 @ 91.097
c NEW SOLUTION FOUND: 3894 @ 91.15
c NEW SOLUTION FOUND: 3893 @ 91.204
c NEW SOLUTION FOUND: 3892 @ 91.258
c NEW SOLUTION FOUND: 3891 @ 91.311
c NEW SOLUTION FOUND: 3890 @ 91.365
c NEW SOLUTION FOUND: 3889 @ 91.418
c NEW SOLUTION FOUND: 3888 @ 91.471
c NEW SOLUTION FOUND: 3887 @ 91.524
c NEW SOLUTION FOUND: 3886 @ 91.578
c NEW SOLUTION FOUND: 3885 @ 91.631
c NEW SOLUTION FOUND: 3884 @ 91.684
c NEW SOLUTION FOUND: 3883 @ 91.737
c NEW SOLUTION FOUND: 3882 @ 91.79
c NEW SOLUTION FOUND: 3881 @ 91.844
c NEW SOLUTION FOUND: 3880 @ 91.897
c NEW SOLUTION FOUND: 3879 @ 91.95
c NEW SOLUTION FOUND: 3878 @ 92.003
c NEW SOLUTION FOUND: 3877 @ 92.056
c NEW SOLUTION FOUND: 3876 @ 92.109
c NEW SOLUTION FOUND: 3875 @ 92.162
c NEW SOLUTION FOUND: 3874 @ 92.216
c NEW SOLUTION FOUND: 3873 @ 92.269
c NEW SOLUTION FOUND: 3872 @ 92.322
c NEW SOLUTION FOUND: 3871 @ 92.375
c NEW SOLUTION FOUND: 3870 @ 92.428
c NEW SOLUTION FOUND: 3869 @ 92.481
c NEW SOLUTION FOUND: 3868 @ 92.534
c NEW SOLUTION FOUND: 3867 @ 92.587
c NEW SOLUTION FOUND: 3866 @ 92.64
c NEW SOLUTION FOUND: 3865 @ 92.694
c NEW SOLUTION FOUND: 3864 @ 92.746
c NEW SOLUTION FOUND: 3863 @ 92.8
c NEW SOLUTION FOUND: 3862 @ 92.853
c NEW SOLUTION FOUND: 3861 @ 92.906
c NEW SOLUTION FOUND: 3860 @ 92.959
c NEW SOLUTION FOUND: 3859 @ 93.012
c NEW SOLUTION FOUND: 3858 @ 93.065
c NEW SOLUTION FOUND: 3857 @ 93.118
c NEW SOLUTION FOUND: 3856 @ 93.226
c NEW SOLUTION FOUND: 3855 @ 93.278
c NEW SOLUTION FOUND: 3854 @ 93.332
c NEW SOLUTION FOUND: 3853 @ 93.385
c NEW SOLUTION FOUND: 3852 @ 93.439
c NEW SOLUTION FOUND: 3851 @ 93.493
c NEW SOLUTION FOUND: 3850 @ 93.546
c NEW SOLUTION FOUND: 3849 @ 93.66
c NEW SOLUTION FOUND: 3848 @ 93.715
c NEW SOLUTION FOUND: 3847 @ 93.772
c NEW SOLUTION FOUND: 3846 @ 93.83
c NEW SOLUTION FOUND: 3845 @ 93.887
c NEW SOLUTION FOUND: 3844 @ 93.944
c NEW SOLUTION FOUND: 3843 @ 94.001
c NEW SOLUTION FOUND: 3842 @ 94.059
c NEW SOLUTION FOUND: 3841 @ 94.116
c NEW SOLUTION FOUND: 3840 @ 94.174
c NEW SOLUTION FOUND: 3839 @ 94.231
c NEW SOLUTION FOUND: 3838 @ 94.289
c NEW SOLUTION FOUND: 3837 @ 94.346
c NEW SOLUTION FOUND: 3836 @ 94.404
c NEW SOLUTION FOUND: 3835 @ 94.46
c NEW SOLUTION FOUND: 3834 @ 94.518
c NEW SOLUTION FOUND: 3833 @ 94.634
c NEW SOLUTION FOUND: 3832 @ 94.69
c NEW SOLUTION FOUND: 3831 @ 94.748
c NEW SOLUTION FOUND: 3830 @ 94.806
c NEW SOLUTION FOUND: 3829 @ 94.863
c NEW SOLUTION FOUND: 3828 @ 94.921
c NEW SOLUTION FOUND: 3827 @ 94.979
c NEW SOLUTION FOUND: 3826 @ 95.037
c NEW SOLUTION FOUND: 3825 @ 95.094
c NEW SOLUTION FOUND: 3824 @ 95.152
c NEW SOLUTION FOUND: 3823 @ 95.21
c NEW SOLUTION FOUND: 3822 @ 95.267
c NEW SOLUTION FOUND: 3821 @ 95.326
c NEW SOLUTION FOUND: 3820 @ 95.384
c NEW SOLUTION FOUND: 3819 @ 95.503
c NEW SOLUTION FOUND: 3818 @ 95.559
c NEW SOLUTION FOUND: 3817 @ 95.677
c NEW SOLUTION FOUND: 3816 @ 95.734
c NEW SOLUTION FOUND: 3815 @ 95.792
c NEW SOLUTION FOUND: 3814 @ 95.851
c NEW SOLUTION FOUND: 3813 @ 95.909
c NEW SOLUTION FOUND: 3812 @ 95.968
c NEW SOLUTION FOUND: 3811 @ 96.026
c NEW SOLUTION FOUND: 3810 @ 96.085
c NEW SOLUTION FOUND: 3809 @ 96.144
c NEW SOLUTION FOUND: 3808 @ 96.202
c NEW SOLUTION FOUND: 3807 @ 96.261
c NEW SOLUTION FOUND: 3806 @ 96.319
c NEW SOLUTION FOUND: 3805 @ 96.378
c NEW SOLUTION FOUND: 3804 @ 96.437
c NEW SOLUTION FOUND: 3803 @ 96.496
c NEW SOLUTION FOUND: 3802 @ 96.614
c NEW SOLUTION FOUND: 3801 @ 96.671
c NEW SOLUTION FOUND: 3800 @ 96.73
c NEW SOLUTION FOUND: 3799 @ 96.789
c NEW SOLUTION FOUND: 3798 @ 96.848
c NEW SOLUTION FOUND: 3797 @ 96.907
c NEW SOLUTION FOUND: 3796 @ 96.966
c NEW SOLUTION FOUND: 3795 @ 97.086
c NEW SOLUTION FOUND: 3794 @ 97.143
c NEW SOLUTION FOUND: 3793 @ 97.203
c NEW SOLUTION FOUND: 3792 @ 97.262
c NEW SOLUTION FOUND: 3791 @ 97.322
c NEW SOLUTION FOUND: 3790 @ 97.382
c NEW SOLUTION FOUND: 3789 @ 97.441
c NEW SOLUTION FOUND: 3788 @ 97.501
c NEW SOLUTION FOUND: 3787 @ 97.561
c NEW SOLUTION FOUND: 3786 @ 97.62
c NEW SOLUTION FOUND: 3785 @ 97.68
c NEW SOLUTION FOUND: 3784 @ 97.739
c NEW SOLUTION FOUND: 3783 @ 97.92
c NEW SOLUTION FOUND: 3782 @ 97.978
c NEW SOLUTION FOUND: 3781 @ 98.039
c NEW SOLUTION FOUND: 3780 @ 98.099
c NEW SOLUTION FOUND: 3779 @ 98.16
c NEW SOLUTION FOUND: 3778 @ 98.221
c NEW SOLUTION FOUND: 3777 @ 98.281
c NEW SOLUTION FOUND: 3776 @ 98.342
c NEW SOLUTION FOUND: 3775 @ 98.403
c NEW SOLUTION FOUND: 3774 @ 98.463
c NEW SOLUTION FOUND: 3773 @ 98.524
c NEW SOLUTION FOUND: 3772 @ 98.584
c NEW SOLUTION FOUND: 3771 @ 98.645
c NEW SOLUTION FOUND: 3770 @ 98.705
c NEW SOLUTION FOUND: 3769 @ 98.766
c NEW SOLUTION FOUND: 3768 @ 98.826
c NEW SOLUTION FOUND: 3767 @ 98.887
c NEW SOLUTION FOUND: 3766 @ 98.947
c NEW SOLUTION FOUND: 3765 @ 99.008
c NEW SOLUTION FOUND: 3764 @ 99.068
c NEW SOLUTION FOUND: 3763 @ 99.128
c NEW SOLUTION FOUND: 3762 @ 99.188
c NEW SOLUTION FOUND: 3761 @ 99.31
c NEW SOLUTION FOUND: 3760 @ 99.369
c NEW SOLUTION FOUND: 3759 @ 99.493
c NEW SOLUTION FOUND: 3758 @ 99.616
c NEW SOLUTION FOUND: 3757 @ 99.677
c NEW SOLUTION FOUND: 3756 @ 99.803
c NEW SOLUTION FOUND: 3755 @ 99.864
c NEW SOLUTION FOUND: 3754 @ 99.929
c NEW SOLUTION FOUND: 3753 @ 99.992
c NEW SOLUTION FOUND: 3752 @ 100.055
c NEW SOLUTION FOUND: 3751 @ 100.118
c NEW SOLUTION FOUND: 3750 @ 100.181
c NEW SOLUTION FOUND: 3749 @ 100.309
c NEW SOLUTION FOUND: 3748 @ 100.369
c NEW SOLUTION FOUND: 3747 @ 100.433
c NEW SOLUTION FOUND: 3746 @ 100.495
c NEW SOLUTION FOUND: 3745 @ 100.559
c NEW SOLUTION FOUND: 3744 @ 100.622
c NEW SOLUTION FOUND: 3743 @ 100.685
c NEW SOLUTION FOUND: 3742 @ 100.748
c NEW SOLUTION FOUND: 3741 @ 100.811
c NEW SOLUTION FOUND: 3740 @ 100.874
c NEW SOLUTION FOUND: 3739 @ 100.938
c NEW SOLUTION FOUND: 3738 @ 101.001
c NEW SOLUTION FOUND: 3737 @ 101.064
c NEW SOLUTION FOUND: 3736 @ 101.127
c NEW SOLUTION FOUND: 3735 @ 101.191
c NEW SOLUTION FOUND: 3734 @ 101.254
c NEW SOLUTION FOUND: 3733 @ 101.382
c NEW SOLUTION FOUND: 3732 @ 101.443
c NEW SOLUTION FOUND: 3731 @ 101.508
c NEW SOLUTION FOUND: 3730 @ 101.571
c NEW SOLUTION FOUND: 3729 @ 101.635
c NEW SOLUTION FOUND: 3728 @ 101.698
c NEW SOLUTION FOUND: 3727 @ 101.762
c NEW SOLUTION FOUND: 3726 @ 101.825
c NEW SOLUTION FOUND: 3725 @ 101.888
c NEW SOLUTION FOUND: 3724 @ 101.952
c NEW SOLUTION FOUND: 3723 @ 102.015
c NEW SOLUTION FOUND: 3722 @ 102.078
c NEW SOLUTION FOUND: 3721 @ 102.142
c NEW SOLUTION FOUND: 3720 @ 102.205
c NEW SOLUTION FOUND: 3719 @ 102.334
c NEW SOLUTION FOUND: 3718 @ 102.396
c NEW SOLUTION FOUND: 3717 @ 102.46
c NEW SOLUTION FOUND: 3716 @ 102.525
c NEW SOLUTION FOUND: 3715 @ 102.589
c NEW SOLUTION FOUND: 3714 @ 102.653
c NEW SOLUTION FOUND: 3713 @ 102.783
c NEW SOLUTION FOUND: 3712 @ 102.846
c NEW SOLUTION FOUND: 3711 @ 102.91
c NEW SOLUTION FOUND: 3710 @ 102.974
c NEW SOLUTION FOUND: 3709 @ 103.038
c NEW SOLUTION FOUND: 3708 @ 103.103
c NEW SOLUTION FOUND: 3707 @ 103.167
c NEW SOLUTION FOUND: 3706 @ 103.232
c NEW SOLUTION FOUND: 3705 @ 103.296
c NEW SOLUTION FOUND: 3704 @ 103.361
c NEW SOLUTION FOUND: 3703 @ 103.425
c NEW SOLUTION FOUND: 3702 @ 103.49
c NEW SOLUTION FOUND: 3701 @ 103.554
c NEW SOLUTION FOUND: 3700 @ 103.619
c NEW SOLUTION FOUND: 3699 @ 103.683
c NEW SOLUTION FOUND: 3698 @ 103.748
c NEW SOLUTION FOUND: 3697 @ 103.812
c NEW SOLUTION FOUND: 3696 @ 103.877
c NEW SOLUTION FOUND: 3695 @ 103.941
c NEW SOLUTION FOUND: 3694 @ 104.005
c NEW SOLUTION FOUND: 3693 @ 104.07
c NEW SOLUTION FOUND: 3692 @ 104.134
c NEW SOLUTION FOUND: 3691 @ 104.198
c NEW SOLUTION FOUND: 3690 @ 104.263
c NEW SOLUTION FOUND: 3689 @ 104.327
c NEW SOLUTION FOUND: 3688 @ 104.392
c NEW SOLUTION FOUND: 3687 @ 104.458
c NEW SOLUTION FOUND: 3686 @ 104.522
c NEW SOLUTION FOUND: 3685 @ 104.586
c NEW SOLUTION FOUND: 3684 @ 104.716
c NEW SOLUTION FOUND: 3683 @ 104.844
c NEW SOLUTION FOUND: 3682 @ 104.908
c NEW SOLUTION FOUND: 3681 @ 104.973
c NEW SOLUTION FOUND: 3680 @ 105.039
c NEW SOLUTION FOUND: 3679 @ 105.104
c NEW SOLUTION FOUND: 3678 @ 105.169
c NEW SOLUTION FOUND: 3677 @ 105.235
c NEW SOLUTION FOUND: 3676 @ 105.3
c NEW SOLUTION FOUND: 3675 @ 105.366
c NEW SOLUTION FOUND: 3674 @ 105.432
c NEW SOLUTION FOUND: 3673 @ 105.497
c NEW SOLUTION FOUND: 3672 @ 105.563
c NEW SOLUTION FOUND: 3671 @ 105.629
c NEW SOLUTION FOUND: 3670 @ 105.694
c NEW SOLUTION FOUND: 3669 @ 105.759
c NEW SOLUTION FOUND: 3668 @ 105.89
c NEW SOLUTION FOUND: 3667 @ 105.954
c NEW SOLUTION FOUND: 3666 @ 106.02
c NEW SOLUTION FOUND: 3665 @ 106.086
c NEW SOLUTION FOUND: 3664 @ 106.152
c NEW SOLUTION FOUND: 3663 @ 106.218
c NEW SOLUTION FOUND: 3662 @ 106.284
c NEW SOLUTION FOUND: 3661 @ 106.35
c NEW SOLUTION FOUND: 3660 @ 106.415
c NEW SOLUTION FOUND: 3659 @ 106.549
c NEW SOLUTION FOUND: 3658 @ 106.613
c NEW SOLUTION FOUND: 3657 @ 106.68
c NEW SOLUTION FOUND: 3656 @ 106.747
c NEW SOLUTION FOUND: 3655 @ 106.813
c NEW SOLUTION FOUND: 3654 @ 106.88
c NEW SOLUTION FOUND: 3653 @ 106.946
c NEW SOLUTION FOUND: 3652 @ 107.013
c NEW SOLUTION FOUND: 3651 @ 107.08
c NEW SOLUTION FOUND: 3650 @ 107.146
c NEW SOLUTION FOUND: 3649 @ 107.213
c NEW SOLUTION FOUND: 3648 @ 107.28
c NEW SOLUTION FOUND: 3647 @ 107.347
c NEW SOLUTION FOUND: 3646 @ 107.414
c NEW SOLUTION FOUND: 3645 @ 107.481
c NEW SOLUTION FOUND: 3644 @ 107.549
c NEW SOLUTION FOUND: 3643 @ 107.615
c NEW SOLUTION FOUND: 3642 @ 107.682
c NEW SOLUTION FOUND: 3641 @ 107.748
c NEW SOLUTION FOUND: 3640 @ 107.815
c NEW SOLUTION FOUND: 3639 @ 107.881
c NEW SOLUTION FOUND: 3638 @ 107.948
c NEW SOLUTION FOUND: 3637 @ 108.015
c NEW SOLUTION FOUND: 3636 @ 108.081
c NEW SOLUTION FOUND: 3635 @ 108.148
c NEW SOLUTION FOUND: 3634 @ 108.214
c NEW SOLUTION FOUND: 3633 @ 108.281
c NEW SOLUTION FOUND: 3632 @ 108.415
c NEW SOLUTION FOUND: 3631 @ 108.481
c NEW SOLUTION FOUND: 3630 @ 108.548
c NEW SOLUTION FOUND: 3629 @ 108.615
c NEW SOLUTION FOUND: 3628 @ 108.682
c NEW SOLUTION FOUND: 3627 @ 108.75
c NEW SOLUTION FOUND: 3626 @ 108.817
c NEW SOLUTION FOUND: 3625 @ 108.884
c NEW SOLUTION FOUND: 3624 @ 108.951
c NEW SOLUTION FOUND: 3623 @ 109.019
c NEW SOLUTION FOUND: 3622 @ 109.086
c NEW SOLUTION FOUND: 3621 @ 109.153
c NEW SOLUTION FOUND: 3620 @ 109.221
c NEW SOLUTION FOUND: 3619 @ 109.288
c NEW SOLUTION FOUND: 3618 @ 109.356
c NEW SOLUTION FOUND: 3617 @ 109.423
c NEW SOLUTION FOUND: 3616 @ 109.491
c NEW SOLUTION FOUND: 3615 @ 109.558
c NEW SOLUTION FOUND: 3614 @ 109.625
c NEW SOLUTION FOUND: 3613 @ 109.693
c NEW SOLUTION FOUND: 3612 @ 109.76
c NEW SOLUTION FOUND: 3611 @ 109.828
c NEW SOLUTION FOUND: 3610 @ 109.894
c NEW SOLUTION FOUND: 3609 @ 109.963
c NEW SOLUTION FOUND: 3608 @ 110.03
c NEW SOLUTION FOUND: 3607 @ 110.098
c NEW SOLUTION FOUND: 3606 @ 110.165
c NEW SOLUTION FOUND: 3605 @ 110.232
c NEW SOLUTION FOUND: 3604 @ 110.299
c NEW SOLUTION FOUND: 3603 @ 110.367
c NEW SOLUTION FOUND: 3602 @ 110.434
c NEW SOLUTION FOUND: 3601 @ 110.568
c NEW SOLUTION FOUND: 3600 @ 110.634
c NEW SOLUTION FOUND: 3599 @ 110.771
c NEW SOLUTION FOUND: 3598 @ 110.837
c NEW SOLUTION FOUND: 3597 @ 110.904
c NEW SOLUTION FOUND: 3596 @ 110.973
c NEW SOLUTION FOUND: 3595 @ 111.04
c NEW SOLUTION FOUND: 3594 @ 111.109
c NEW SOLUTION FOUND: 3593 @ 111.176
c NEW SOLUTION FOUND: 3592 @ 111.246
c NEW SOLUTION FOUND: 3591 @ 111.314
c NEW SOLUTION FOUND: 3590 @ 111.382
c NEW SOLUTION FOUND: 3589 @ 111.449
c NEW SOLUTION FOUND: 3588 @ 111.518
c NEW SOLUTION FOUND: 3587 @ 111.585
c NEW SOLUTION FOUND: 3586 @ 111.654
c NEW SOLUTION FOUND: 3585 @ 111.721
c NEW SOLUTION FOUND: 3584 @ 111.789
c NEW SOLUTION FOUND: 3583 @ 111.857
c NEW SOLUTION FOUND: 3582 @ 111.925
c NEW SOLUTION FOUND: 3581 @ 111.993
c NEW SOLUTION FOUND: 3580 @ 112.061
c NEW SOLUTION FOUND: 3579 @ 112.128
c NEW SOLUTION FOUND: 3578 @ 112.196
c NEW SOLUTION FOUND: 3577 @ 112.263
c NEW SOLUTION FOUND: 3576 @ 112.332
c NEW SOLUTION FOUND: 3575 @ 112.468
c NEW SOLUTION FOUND: 3574 @ 112.535
c NEW SOLUTION FOUND: 3573 @ 112.603
c NEW SOLUTION FOUND: 3572 @ 112.672
c NEW SOLUTION FOUND: 3571 @ 112.74
c NEW SOLUTION FOUND: 3570 @ 112.808
c NEW SOLUTION FOUND: 3569 @ 112.877
c NEW SOLUTION FOUND: 3568 @ 112.945
c NEW SOLUTION FOUND: 3567 @ 113.014
c NEW SOLUTION FOUND: 3566 @ 113.082
c NEW SOLUTION FOUND: 3565 @ 113.15
c NEW SOLUTION FOUND: 3564 @ 113.219
c NEW SOLUTION FOUND: 3563 @ 113.287
c NEW SOLUTION FOUND: 3562 @ 113.356
c NEW SOLUTION FOUND: 3561 @ 113.425
c NEW SOLUTION FOUND: 3560 @ 113.493
c NEW SOLUTION FOUND: 3559 @ 113.562
c NEW SOLUTION FOUND: 3558 @ 113.631
c NEW SOLUTION FOUND: 3557 @ 113.701
c NEW SOLUTION FOUND: 3556 @ 113.77
c NEW SOLUTION FOUND: 3555 @ 113.839
c NEW SOLUTION FOUND: 3554 @ 113.908
c NEW SOLUTION FOUND: 3553 @ 113.978
c NEW SOLUTION FOUND: 3552 @ 114.047
c NEW SOLUTION FOUND: 3551 @ 114.116
c NEW SOLUTION FOUND: 3550 @ 114.185
c NEW SOLUTION FOUND: 3549 @ 114.255
c NEW SOLUTION FOUND: 3548 @ 114.324
c NEW SOLUTION FOUND: 3547 @ 114.393
c NEW SOLUTION FOUND: 3546 @ 114.462
c NEW SOLUTION FOUND: 3545 @ 114.532
c NEW SOLUTION FOUND: 3544 @ 114.601
c NEW SOLUTION FOUND: 3543 @ 114.67
c NEW SOLUTION FOUND: 3542 @ 114.739
c NEW SOLUTION FOUND: 3541 @ 114.809
c NEW SOLUTION FOUND: 3540 @ 114.878
c NEW SOLUTION FOUND: 3539 @ 114.947
c NEW SOLUTION FOUND: 3538 @ 115.086
c NEW SOLUTION FOUND: 3537 @ 115.153
c NEW SOLUTION FOUND: 3536 @ 115.223
c NEW SOLUTION FOUND: 3535 @ 115.292
c NEW SOLUTION FOUND: 3534 @ 115.363
c NEW SOLUTION FOUND: 3533 @ 115.432
c NEW SOLUTION FOUND: 3532 @ 115.502
c NEW SOLUTION FOUND: 3531 @ 115.571
c NEW SOLUTION FOUND: 3530 @ 115.642
c NEW SOLUTION FOUND: 3529 @ 115.711
c NEW SOLUTION FOUND: 3528 @ 115.782
c NEW SOLUTION FOUND: 3527 @ 115.851
c NEW SOLUTION FOUND: 3526 @ 115.921
c NEW SOLUTION FOUND: 3525 @ 115.99
c NEW SOLUTION FOUND: 3524 @ 116.061
c NEW SOLUTION FOUND: 3523 @ 116.13
c NEW SOLUTION FOUND: 3522 @ 116.201
c NEW SOLUTION FOUND: 3521 @ 116.27
c NEW SOLUTION FOUND: 3520 @ 116.34
c NEW SOLUTION FOUND: 3519 @ 116.409
c NEW SOLUTION FOUND: 3518 @ 116.48
c NEW SOLUTION FOUND: 3517 @ 116.619
c NEW SOLUTION FOUND: 3516 @ 116.758
c NEW SOLUTION FOUND: 3515 @ 116.827
c NEW SOLUTION FOUND: 3514 @ 116.898
c NEW SOLUTION FOUND: 3513 @ 116.969
c NEW SOLUTION FOUND: 3512 @ 117.04
c NEW SOLUTION FOUND: 3511 @ 117.111
c NEW SOLUTION FOUND: 3510 @ 117.182
c NEW SOLUTION FOUND: 3509 @ 117.252
c NEW SOLUTION FOUND: 3508 @ 117.324
c NEW SOLUTION FOUND: 3507 @ 117.394
c NEW SOLUTION FOUND: 3506 @ 117.465
c NEW SOLUTION FOUND: 3505 @ 117.535
c NEW SOLUTION FOUND: 3504 @ 117.606
c NEW SOLUTION FOUND: 3503 @ 117.678
c NEW SOLUTION FOUND: 3502 @ 117.749
c NEW SOLUTION FOUND: 3501 @ 117.82
c NEW SOLUTION FOUND: 3500 @ 117.891
c NEW SOLUTION FOUND: 3499 @ 117.962
c NEW SOLUTION FOUND: 3498 @ 118.033
c NEW SOLUTION FOUND: 3497 @ 118.103
c NEW SOLUTION FOUND: 3496 @ 118.174
c NEW SOLUTION FOUND: 3495 @ 118.244
c NEW SOLUTION FOUND: 3494 @ 118.316
c NEW SOLUTION FOUND: 3493 @ 118.387
c NEW SOLUTION FOUND: 3492 @ 118.458
c NEW SOLUTION FOUND: 3491 @ 118.529
c NEW SOLUTION FOUND: 3490 @ 118.6
c NEW SOLUTION FOUND: 3489 @ 118.671
c NEW SOLUTION FOUND: 3488 @ 118.742
c NEW SOLUTION FOUND: 3487 @ 118.813
c NEW SOLUTION FOUND: 3486 @ 118.883
c NEW SOLUTION FOUND: 3485 @ 118.955
c NEW SOLUTION FOUND: 3484 @ 119.024
c NEW SOLUTION FOUND: 3483 @ 119.095
c NEW SOLUTION FOUND: 3482 @ 119.166
c NEW SOLUTION FOUND: 3481 @ 119.237
c NEW SOLUTION FOUND: 3480 @ 119.38
c NEW SOLUTION FOUND: 3479 @ 119.45
c NEW SOLUTION FOUND: 3478 @ 119.521
c NEW SOLUTION FOUND: 3477 @ 119.592
c NEW SOLUTION FOUND: 3476 @ 119.664
c NEW SOLUTION FOUND: 3475 @ 119.736
c NEW SOLUTION FOUND: 3474 @ 119.808
c NEW SOLUTION FOUND: 3473 @ 119.879
c NEW SOLUTION FOUND: 3472 @ 120.025
c NEW SOLUTION FOUND: 3471 @ 120.094
c NEW SOLUTION FOUND: 3470 @ 120.166
c NEW SOLUTION FOUND: 3469 @ 120.238
c NEW SOLUTION FOUND: 3468 @ 120.309
c NEW SOLUTION FOUND: 3467 @ 120.381
c NEW SOLUTION FOUND: 3466 @ 120.453
c NEW SOLUTION FOUND: 3465 @ 120.525
c NEW SOLUTION FOUND: 3464 @ 120.596
c NEW SOLUTION FOUND: 3463 @ 120.668
c NEW SOLUTION FOUND: 3462 @ 120.74
c NEW SOLUTION FOUND: 3461 @ 120.812
c NEW SOLUTION FOUND: 3460 @ 120.883
c NEW SOLUTION FOUND: 3459 @ 120.955
c NEW SOLUTION FOUND: 3458 @ 121.027
c NEW SOLUTION FOUND: 3457 @ 121.099
c NEW SOLUTION FOUND: 3456 @ 121.171
c NEW SOLUTION FOUND: 3455 @ 121.243
c NEW SOLUTION FOUND: 3454 @ 121.314
c NEW SOLUTION FOUND: 3453 @ 121.386
c NEW SOLUTION FOUND: 3452 @ 121.458
c NEW SOLUTION FOUND: 3451 @ 121.53
c NEW SOLUTION FOUND: 3450 @ 121.601
c NEW SOLUTION FOUND: 3449 @ 121.673
c NEW SOLUTION FOUND: 3448 @ 121.745
c NEW SOLUTION FOUND: 3447 @ 121.889
c NEW SOLUTION FOUND: 3446 @ 121.96
c NEW SOLUTION FOUND: 3445 @ 122.106
c NEW SOLUTION FOUND: 3444 @ 122.176
c NEW SOLUTION FOUND: 3443 @ 122.249
c NEW SOLUTION FOUND: 3442 @ 122.322
c NEW SOLUTION FOUND: 3441 @ 122.47
c NEW SOLUTION FOUND: 3440 @ 122.616
c NEW SOLUTION FOUND: 3439 @ 122.688
c NEW SOLUTION FOUND: 3438 @ 122.912
c NEW SOLUTION FOUND: 3437 @ 122.986
c NEW SOLUTION FOUND: 3436 @ 123.06
c NEW SOLUTION FOUND: 3435 @ 123.136
c NEW SOLUTION FOUND: 3434 @ 123.209
c NEW SOLUTION FOUND: 3433 @ 123.285
c NEW SOLUTION FOUND: 3432 @ 123.359
c NEW SOLUTION FOUND: 3431 @ 123.435
c NEW SOLUTION FOUND: 3430 @ 123.509
c NEW SOLUTION FOUND: 3429 @ 123.584
c NEW SOLUTION FOUND: 3428 @ 123.736
c NEW SOLUTION FOUND: 3427 @ 123.809
c NEW SOLUTION FOUND: 3426 @ 123.885
c NEW SOLUTION FOUND: 3425 @ 123.961
c NEW SOLUTION FOUND: 3424 @ 124.037
c NEW SOLUTION FOUND: 3423 @ 124.113
c NEW SOLUTION FOUND: 3422 @ 124.189
c NEW SOLUTION FOUND: 3421 @ 124.265
c NEW SOLUTION FOUND: 3420 @ 124.34
c NEW SOLUTION FOUND: 3419 @ 124.493
c NEW SOLUTION FOUND: 3418 @ 124.568
c NEW SOLUTION FOUND: 3417 @ 124.643
c NEW SOLUTION FOUND: 3416 @ 124.72
c NEW SOLUTION FOUND: 3415 @ 124.795
c NEW SOLUTION FOUND: 3414 @ 124.872
c NEW SOLUTION FOUND: 3413 @ 125.179
c NEW SOLUTION FOUND: 3412 @ 125.254
c NEW SOLUTION FOUND: 3411 @ 125.332
c NEW SOLUTION FOUND: 3410 @ 125.411
c NEW SOLUTION FOUND: 3409 @ 125.488
c NEW SOLUTION FOUND: 3408 @ 125.645
c NEW SOLUTION FOUND: 3407 @ 125.721
c NEW SOLUTION FOUND: 3406 @ 125.799
c NEW SOLUTION FOUND: 3405 @ 125.878
c NEW SOLUTION FOUND: 3404 @ 125.956
c NEW SOLUTION FOUND: 3403 @ 126.035
c NEW SOLUTION FOUND: 3402 @ 126.113
c NEW SOLUTION FOUND: 3401 @ 126.428
c NEW SOLUTION FOUND: 3400 @ 126.507
c NEW SOLUTION FOUND: 3399 @ 126.585
c NEW SOLUTION FOUND: 3398 @ 126.665
c NEW SOLUTION FOUND: 3397 @ 126.743
c NEW SOLUTION FOUND: 3396 @ 126.904
c NEW SOLUTION FOUND: 3395 @ 126.982
c NEW SOLUTION FOUND: 3394 @ 127.061
c NEW SOLUTION FOUND: 3393 @ 127.141
c NEW SOLUTION FOUND: 3392 @ 127.22
c NEW SOLUTION FOUND: 3391 @ 127.382
c NEW SOLUTION FOUND: 3390 @ 127.542
c NEW SOLUTION FOUND: 3389 @ 127.784
c NEW SOLUTION FOUND: 3388 @ 127.864
c NEW SOLUTION FOUND: 3387 @ 128.031
c NEW SOLUTION FOUND: 3386 @ 128.112
c NEW SOLUTION FOUND: 3385 @ 128.194
c NEW SOLUTION FOUND: 3384 @ 128.277
c NEW SOLUTION FOUND: 3383 @ 128.359
c NEW SOLUTION FOUND: 3382 @ 128.525
c NEW SOLUTION FOUND: 3381 @ 128.609
c NEW SOLUTION FOUND: 3380 @ 128.692
c NEW SOLUTION FOUND: 3379 @ 128.775
c NEW SOLUTION FOUND: 3378 @ 128.856
c NEW SOLUTION FOUND: 3377 @ 128.939
c NEW SOLUTION FOUND: 3376 @ 129.106
c NEW SOLUTION FOUND: 3375 @ 129.188
c NEW SOLUTION FOUND: 3374 @ 129.27
c NEW SOLUTION FOUND: 3373 @ 129.355
c NEW SOLUTION FOUND: 3372 @ 129.437
c NEW SOLUTION FOUND: 3371 @ 129.521
c NEW SOLUTION FOUND: 3370 @ 129.603
c NEW SOLUTION FOUND: 3369 @ 129.687
c NEW SOLUTION FOUND: 3368 @ 129.769
c NEW SOLUTION FOUND: 3367 @ 129.853
c NEW SOLUTION FOUND: 3366 @ 129.935
c NEW SOLUTION FOUND: 3365 @ 130.018
c NEW SOLUTION FOUND: 3364 @ 130.1
c NEW SOLUTION FOUND: 3363 @ 130.185
c NEW SOLUTION FOUND: 3362 @ 130.266
c NEW SOLUTION FOUND: 3361 @ 130.351
c NEW SOLUTION FOUND: 3360 @ 130.433
c NEW SOLUTION FOUND: 3359 @ 130.517
c NEW SOLUTION FOUND: 3358 @ 130.598
c NEW SOLUTION FOUND: 3357 @ 130.683
c NEW SOLUTION FOUND: 3356 @ 130.765
c NEW SOLUTION FOUND: 3355 @ 130.848
c NEW SOLUTION FOUND: 3354 @ 130.929
c NEW SOLUTION FOUND: 3353 @ 131.012
c NEW SOLUTION FOUND: 3352 @ 131.094
c NEW SOLUTION FOUND: 3351 @ 131.176
c NEW SOLUTION FOUND: 3350 @ 131.344
c NEW SOLUTION FOUND: 3349 @ 131.425
c NEW SOLUTION FOUND: 3348 @ 131.508
c NEW SOLUTION FOUND: 3347 @ 131.592
c NEW SOLUTION FOUND: 3346 @ 131.674
c NEW SOLUTION FOUND: 3345 @ 131.757
c NEW SOLUTION FOUND: 3344 @ 131.839
c NEW SOLUTION FOUND: 3343 @ 131.922
c NEW SOLUTION FOUND: 3342 @ 132.004
c NEW SOLUTION FOUND: 3341 @ 132.087
c NEW SOLUTION FOUND: 3340 @ 132.169
c NEW SOLUTION FOUND: 3339 @ 132.252
c NEW SOLUTION FOUND: 3338 @ 132.335
c NEW SOLUTION FOUND: 3337 @ 132.417
c NEW SOLUTION FOUND: 3336 @ 132.499
c NEW SOLUTION FOUND: 3335 @ 132.582
c NEW SOLUTION FOUND: 3334 @ 132.664
c NEW SOLUTION FOUND: 3333 @ 132.747
c NEW SOLUTION FOUND: 3332 @ 132.829
c NEW SOLUTION FOUND: 3331 @ 132.912
c NEW SOLUTION FOUND: 3330 @ 133.078
c NEW SOLUTION FOUND: 3329 @ 133.159
c NEW SOLUTION FOUND: 3328 @ 133.241
c NEW SOLUTION FOUND: 3327 @ 133.327
c NEW SOLUTION FOUND: 3326 @ 133.41
c NEW SOLUTION FOUND: 3325 @ 133.493
c NEW SOLUTION FOUND: 3324 @ 133.576
c NEW SOLUTION FOUND: 3323 @ 133.66
c NEW SOLUTION FOUND: 3322 @ 133.742
c NEW SOLUTION FOUND: 3321 @ 133.825
c NEW SOLUTION FOUND: 3320 @ 133.908
c NEW SOLUTION FOUND: 3319 @ 133.991
c NEW SOLUTION FOUND: 3318 @ 134.074
c NEW SOLUTION FOUND: 3317 @ 134.157
c NEW SOLUTION FOUND: 3316 @ 134.239
c NEW SOLUTION FOUND: 3315 @ 134.323
c NEW SOLUTION FOUND: 3314 @ 134.406
c NEW SOLUTION FOUND: 3313 @ 134.492
c NEW SOLUTION FOUND: 3312 @ 134.575
c NEW SOLUTION FOUND: 3311 @ 134.66
c NEW SOLUTION FOUND: 3310 @ 134.742
c NEW SOLUTION FOUND: 3309 @ 134.827
c NEW SOLUTION FOUND: 3308 @ 134.909
c NEW SOLUTION FOUND: 3307 @ 134.993
c NEW SOLUTION FOUND: 3306 @ 135.075
c NEW SOLUTION FOUND: 3305 @ 135.159
c NEW SOLUTION FOUND: 3304 @ 135.243
c NEW SOLUTION FOUND: 3303 @ 135.327
c NEW SOLUTION FOUND: 3302 @ 135.41
c NEW SOLUTION FOUND: 3301 @ 135.576
c NEW SOLUTION FOUND: 3300 @ 135.66
c NEW SOLUTION FOUND: 3299 @ 135.743
c NEW SOLUTION FOUND: 3298 @ 135.827
c NEW SOLUTION FOUND: 3297 @ 135.911
c NEW SOLUTION FOUND: 3296 @ 135.995
c NEW SOLUTION FOUND: 3295 @ 136.077
c NEW SOLUTION FOUND: 3294 @ 136.163
c NEW SOLUTION FOUND: 3293 @ 136.245
c NEW SOLUTION FOUND: 3292 @ 136.329
c NEW SOLUTION FOUND: 3291 @ 136.413
c NEW SOLUTION FOUND: 3290 @ 136.582
c NEW SOLUTION FOUND: 3289 @ 136.666
c NEW SOLUTION FOUND: 3288 @ 136.749
c NEW SOLUTION FOUND: 3287 @ 136.833
c NEW SOLUTION FOUND: 3286 @ 136.918
c NEW SOLUTION FOUND: 3285 @ 137.002
c NEW SOLUTION FOUND: 3284 @ 137.087
c NEW SOLUTION FOUND: 3283 @ 137.255
c NEW SOLUTION FOUND: 3282 @ 137.339
c NEW SOLUTION FOUND: 3281 @ 137.51
c NEW SOLUTION FOUND: 3280 @ 137.595
c NEW SOLUTION FOUND: 3279 @ 137.68
c NEW SOLUTION FOUND: 3278 @ 137.769
c NEW SOLUTION FOUND: 3277 @ 137.854
c NEW SOLUTION FOUND: 3276 @ 137.942
c NEW SOLUTION FOUND: 3275 @ 138.027
c NEW SOLUTION FOUND: 3274 @ 138.115
c NEW SOLUTION FOUND: 3273 @ 138.201
c NEW SOLUTION FOUND: 3272 @ 138.289
c NEW SOLUTION FOUND: 3271 @ 138.463
c NEW SOLUTION FOUND: 3270 @ 138.548
c NEW SOLUTION FOUND: 3269 @ 138.634
c NEW SOLUTION FOUND: 3268 @ 138.723
c NEW SOLUTION FOUND: 3267 @ 138.809
c NEW SOLUTION FOUND: 3266 @ 138.896
c NEW SOLUTION FOUND: 3265 @ 138.983
c NEW SOLUTION FOUND: 3264 @ 139.071
c NEW SOLUTION FOUND: 3263 @ 139.158
c NEW SOLUTION FOUND: 3262 @ 139.247
c NEW SOLUTION FOUND: 3261 @ 139.333
c NEW SOLUTION FOUND: 3260 @ 139.423
c NEW SOLUTION FOUND: 3259 @ 139.509
c NEW SOLUTION FOUND: 3258 @ 139.598
c NEW SOLUTION FOUND: 3257 @ 139.685
c NEW SOLUTION FOUND: 3256 @ 139.772
c NEW SOLUTION FOUND: 3255 @ 139.859
c NEW SOLUTION FOUND: 3254 @ 139.946
c NEW SOLUTION FOUND: 3253 @ 140.034
c NEW SOLUTION FOUND: 3252 @ 140.122
c NEW SOLUTION FOUND: 3251 @ 140.209
c NEW SOLUTION FOUND: 3250 @ 140.296
c NEW SOLUTION FOUND: 3249 @ 140.383
c NEW SOLUTION FOUND: 3248 @ 140.471
c NEW SOLUTION FOUND: 3247 @ 140.558
c NEW SOLUTION FOUND: 3246 @ 140.645
c NEW SOLUTION FOUND: 3245 @ 140.732
c NEW SOLUTION FOUND: 3244 @ 140.819
c NEW SOLUTION FOUND: 3243 @ 141.084
c NEW SOLUTION FOUND: 3242 @ 141.347
c NEW SOLUTION FOUND: 3241 @ 141.435
c NEW SOLUTION FOUND: 3240 @ 141.522
c NEW SOLUTION FOUND: 3239 @ 141.612
c NEW SOLUTION FOUND: 3238 @ 141.792
c NEW SOLUTION FOUND: 3237 @ 141.88
c NEW SOLUTION FOUND: 3236 @ 141.967
c NEW SOLUTION FOUND: 3235 @ 142.057
c NEW SOLUTION FOUND: 3234 @ 142.145
c NEW SOLUTION FOUND: 3233 @ 142.235
c NEW SOLUTION FOUND: 3232 @ 142.324
c NEW SOLUTION FOUND: 3231 @ 142.413
c NEW SOLUTION FOUND: 3230 @ 142.776
c NEW SOLUTION FOUND: 3229 @ 142.866
c NEW SOLUTION FOUND: 3228 @ 142.956
c NEW SOLUTION FOUND: 3227 @ 143.048
c NEW SOLUTION FOUND: 3226 @ 143.137
c NEW SOLUTION FOUND: 3225 @ 143.229
c NEW SOLUTION FOUND: 3224 @ 143.319
c NEW SOLUTION FOUND: 3223 @ 143.411
c NEW SOLUTION FOUND: 3222 @ 143.501
c NEW SOLUTION FOUND: 3221 @ 143.593
c NEW SOLUTION FOUND: 3220 @ 143.682
c NEW SOLUTION FOUND: 3219 @ 143.774
c NEW SOLUTION FOUND: 3218 @ 143.863
c NEW SOLUTION FOUND: 3217 @ 143.956
c NEW SOLUTION FOUND: 3216 @ 144.046
c NEW SOLUTION FOUND: 3215 @ 144.139
c NEW SOLUTION FOUND: 3214 @ 144.32
c NEW SOLUTION FOUND: 3213 @ 144.411
c NEW SOLUTION FOUND: 3212 @ 144.5
c NEW SOLUTION FOUND: 3211 @ 144.594
c NEW SOLUTION FOUND: 3210 @ 144.777
c NEW SOLUTION FOUND: 3209 @ 144.866
c NEW SOLUTION FOUND: 3208 @ 144.957
c NEW SOLUTION FOUND: 3207 @ 145.051
c NEW SOLUTION FOUND: 3206 @ 145.421
c NEW SOLUTION FOUND: 3205 @ 145.606
c NEW SOLUTION FOUND: 3204 @ 145.7
c NEW SOLUTION FOUND: 3203 @ 145.792
c NEW SOLUTION FOUND: 3202 @ 145.888
c NEW SOLUTION FOUND: 3201 @ 146.077
c NEW SOLUTION FOUND: 3200 @ 146.172
c NEW SOLUTION FOUND: 3199 @ 146.364
c NEW SOLUTION FOUND: 3198 @ 146.457
c NEW SOLUTION FOUND: 3197 @ 146.552
c NEW SOLUTION FOUND: 3196 @ 146.649
c NEW SOLUTION FOUND: 3195 @ 146.744
c NEW SOLUTION FOUND: 3194 @ 146.934
c NEW SOLUTION FOUND: 3193 @ 147.03
c NEW SOLUTION FOUND: 3192 @ 147.126
c NEW SOLUTION FOUND: 3191 @ 147.222
c NEW SOLUTION FOUND: 3190 @ 147.317
c NEW SOLUTION FOUND: 3189 @ 147.511
c NEW SOLUTION FOUND: 3188 @ 147.607
c NEW SOLUTION FOUND: 3187 @ 147.703
c NEW SOLUTION FOUND: 3186 @ 147.801
c NEW SOLUTION FOUND: 3185 @ 147.896
c NEW SOLUTION FOUND: 3184 @ 147.995
c NEW SOLUTION FOUND: 3183 @ 148.091
c NEW SOLUTION FOUND: 3182 @ 148.19
c NEW SOLUTION FOUND: 3181 @ 148.483
c NEW SOLUTION FOUND: 3180 @ 148.582
c NEW SOLUTION FOUND: 3179 @ 148.781
c NEW SOLUTION FOUND: 3178 @ 148.879
c NEW SOLUTION FOUND: 3177 @ 149.177
c NEW SOLUTION FOUND: 3176 @ 149.376
c NEW SOLUTION FOUND: 3175 @ 149.478
c NEW SOLUTION FOUND: 3174 @ 149.576
c NEW SOLUTION FOUND: 3173 @ 149.883
c NEW SOLUTION FOUND: 3172 @ 149.984
c NEW SOLUTION FOUND: 3171 @ 150.084
c NEW SOLUTION FOUND: 3170 @ 150.189
c NEW SOLUTION FOUND: 3169 @ 150.289
c NEW SOLUTION FOUND: 3168 @ 150.394
c NEW SOLUTION FOUND: 3167 @ 150.6
c NEW SOLUTION FOUND: 3166 @ 150.702
c NEW SOLUTION FOUND: 3165 @ 151.012
c NEW SOLUTION FOUND: 3164 @ 151.116
c NEW SOLUTION FOUND: 3163 @ 151.217
c NEW SOLUTION FOUND: 3162 @ 151.533
c NEW SOLUTION FOUND: 3161 @ 151.637
c NEW SOLUTION FOUND: 3160 @ 151.741
c NEW SOLUTION FOUND: 3159 @ 151.847
c NEW SOLUTION FOUND: 3158 @ 151.952
c NEW SOLUTION FOUND: 3157 @ 152.057
c NEW SOLUTION FOUND: 3156 @ 152.161
c NEW SOLUTION FOUND: 3155 @ 152.268
c NEW SOLUTION FOUND: 3154 @ 152.372
c NEW SOLUTION FOUND: 3153 @ 152.478
c NEW SOLUTION FOUND: 3152 @ 152.582
c NEW SOLUTION FOUND: 3151 @ 152.689
c NEW SOLUTION FOUND: 3150 @ 152.793
c NEW SOLUTION FOUND: 3149 @ 152.899
c NEW SOLUTION FOUND: 3148 @ 153.002
c NEW SOLUTION FOUND: 3147 @ 153.109
c NEW SOLUTION FOUND: 3146 @ 153.211
c NEW SOLUTION FOUND: 3145 @ 153.318
c NEW SOLUTION FOUND: 3144 @ 153.419
c NEW SOLUTION FOUND: 3143 @ 153.526
c NEW SOLUTION FOUND: 3142 @ 153.628
c NEW SOLUTION FOUND: 3141 @ 153.736
c NEW SOLUTION FOUND: 3140 @ 153.837
c NEW SOLUTION FOUND: 3139 @ 153.944
c NEW SOLUTION FOUND: 3138 @ 154.154
c NEW SOLUTION FOUND: 3137 @ 154.26
c NEW SOLUTION FOUND: 3136 @ 154.364
c NEW SOLUTION FOUND: 3135 @ 154.47
c NEW SOLUTION FOUND: 3134 @ 154.573
c NEW SOLUTION FOUND: 3133 @ 154.682
c NEW SOLUTION FOUND: 3132 @ 154.783
c NEW SOLUTION FOUND: 3131 @ 154.89
c NEW SOLUTION FOUND: 3130 @ 154.994
c NEW SOLUTION FOUND: 3129 @ 155.103
c NEW SOLUTION FOUND: 3128 @ 155.206
c NEW SOLUTION FOUND: 3127 @ 155.313
c NEW SOLUTION FOUND: 3126 @ 155.417
c NEW SOLUTION FOUND: 3125 @ 155.525
c NEW SOLUTION FOUND: 3124 @ 155.63
c NEW SOLUTION FOUND: 3123 @ 155.738
c NEW SOLUTION FOUND: 3122 @ 155.842
c NEW SOLUTION FOUND: 3121 @ 155.951
c NEW SOLUTION FOUND: 3120 @ 156.164
c NEW SOLUTION FOUND: 3119 @ 156.271
c NEW SOLUTION FOUND: 3118 @ 156.486
c NEW SOLUTION FOUND: 3117 @ 156.594
c NEW SOLUTION FOUND: 3116 @ 156.7
c NEW SOLUTION FOUND: 3115 @ 156.809
c NEW SOLUTION FOUND: 3114 @ 156.915
c NEW SOLUTION FOUND: 3113 @ 157.025
c NEW SOLUTION FOUND: 3112 @ 157.131
c NEW SOLUTION FOUND: 3111 @ 157.241
c NEW SOLUTION FOUND: 3110 @ 157.346
c NEW SOLUTION FOUND: 3109 @ 157.456
c NEW SOLUTION FOUND: 3108 @ 157.562
c NEW SOLUTION FOUND: 3107 @ 157.672
c NEW SOLUTION FOUND: 3106 @ 157.778
c NEW SOLUTION FOUND: 3105 @ 157.995
c NEW SOLUTION FOUND: 3104 @ 158.102
c NEW SOLUTION FOUND: 3103 @ 158.208
c NEW SOLUTION FOUND: 3102 @ 158.317
c NEW SOLUTION FOUND: 3101 @ 158.751
c NEW SOLUTION FOUND: 3100 @ 158.969
c NEW SOLUTION FOUND: 3099 @ 159.078
c NEW SOLUTION FOUND: 3098 @ 159.186
c NEW SOLUTION FOUND: 3097 @ 159.296
c NEW SOLUTION FOUND: 3096 @ 159.52
c NEW SOLUTION FOUND: 3095 @ 159.63
c NEW SOLUTION FOUND: 3094 @ 159.741
c NEW SOLUTION FOUND: 3093 @ 159.852
c NEW SOLUTION FOUND: 3092 @ 159.961
c NEW SOLUTION FOUND: 3091 @ 160.416
c NEW SOLUTION FOUND: 3090 @ 160.533
c NEW SOLUTION FOUND: 3089 @ 160.768
c NEW SOLUTION FOUND: 3088 @ 160.883
c NEW SOLUTION FOUND: 3087 @ 161.118
c NEW SOLUTION FOUND: 3086 @ 161.235
c NEW SOLUTION FOUND: 3085 @ 161.352
c NEW SOLUTION FOUND: 3084 @ 161.471
c NEW SOLUTION FOUND: 3083 @ 161.824
c NEW SOLUTION FOUND: 3082 @ 162.059
c NEW SOLUTION FOUND: 3081 @ 162.178
c NEW SOLUTION FOUND: 3080 @ 162.295
c NEW SOLUTION FOUND: 3079 @ 162.531
c NEW SOLUTION FOUND: 3078 @ 162.652
c NEW SOLUTION FOUND: 3077 @ 162.771
c NEW SOLUTION FOUND: 3076 @ 162.894
c NEW SOLUTION FOUND: 3075 @ 163.012
c NEW SOLUTION FOUND: 3074 @ 163.254
c NEW SOLUTION FOUND: 3073 @ 163.374
c NEW SOLUTION FOUND: 3072 @ 163.491
c NEW SOLUTION FOUND: 3071 @ 163.612
c NEW SOLUTION FOUND: 3070 @ 163.73
c NEW SOLUTION FOUND: 3069 @ 163.851
c NEW SOLUTION FOUND: 3068 @ 164.093
c NEW SOLUTION FOUND: 3067 @ 164.215
c NEW SOLUTION FOUND: 3066 @ 164.457
c NEW SOLUTION FOUND: 3065 @ 164.823
c NEW SOLUTION FOUND: 3064 @ 165.194
c NEW SOLUTION FOUND: 3063 @ 165.317
c NEW SOLUTION FOUND: 3062 @ 165.439
c NEW SOLUTION FOUND: 3061 @ 165.818
c NEW SOLUTION FOUND: 3060 @ 165.945
c NEW SOLUTION FOUND: 3059 @ 166.07
c NEW SOLUTION FOUND: 3058 @ 166.198
c NEW SOLUTION FOUND: 3057 @ 166.323
c NEW SOLUTION FOUND: 3056 @ 166.454
c NEW SOLUTION FOUND: 3055 @ 166.578
c NEW SOLUTION FOUND: 3054 @ 166.833
c NEW SOLUTION FOUND: 3053 @ 166.96
c NEW SOLUTION FOUND: 3052 @ 167.342
c NEW SOLUTION FOUND: 3051 @ 167.473
c NEW SOLUTION FOUND: 3050 @ 167.734
c NEW SOLUTION FOUND: 3049 @ 167.864
c NEW SOLUTION FOUND: 3048 @ 167.992
c NEW SOLUTION FOUND: 3047 @ 168.125
c NEW SOLUTION FOUND: 3046 @ 168.384
c NEW SOLUTION FOUND: 3045 @ 168.515
c NEW SOLUTION FOUND: 3044 @ 168.641
c NEW SOLUTION FOUND: 3043 @ 168.773
c NEW SOLUTION FOUND: 3042 @ 168.902
c NEW SOLUTION FOUND: 3041 @ 169.166
c NEW SOLUTION FOUND: 3040 @ 169.298
c NEW SOLUTION FOUND: 3039 @ 169.696
c NEW SOLUTION FOUND: 3038 @ 169.831
c NEW SOLUTION FOUND: 3037 @ 169.96
c NEW SOLUTION FOUND: 3036 @ 170.096
c NEW SOLUTION FOUND: 3035 @ 170.363
c NEW SOLUTION FOUND: 3034 @ 170.498
c NEW SOLUTION FOUND: 3033 @ 170.632
c NEW SOLUTION FOUND: 3032 @ 170.897
c NEW SOLUTION FOUND: 3031 @ 171.035
c NEW SOLUTION FOUND: 3030 @ 171.163
c NEW SOLUTION FOUND: 3029 @ 171.568
c NEW SOLUTION FOUND: 3028 @ 171.976
c NEW SOLUTION FOUND: 3027 @ 172.115
c NEW SOLUTION FOUND: 3026 @ 172.249
c NEW SOLUTION FOUND: 3025 @ 172.389
c NEW SOLUTION FOUND: 3024 @ 172.521
c NEW SOLUTION FOUND: 3023 @ 172.659
c NEW SOLUTION FOUND: 3022 @ 172.79
c NEW SOLUTION FOUND: 3021 @ 172.927
c NEW SOLUTION FOUND: 3020 @ 173.059
c NEW SOLUTION FOUND: 3019 @ 173.198
c NEW SOLUTION FOUND: 3018 @ 173.331
c NEW SOLUTION FOUND: 3017 @ 173.603
c NEW SOLUTION FOUND: 3016 @ 173.744
c NEW SOLUTION FOUND: 3015 @ 173.876
c NEW SOLUTION FOUND: 3014 @ 174.014
c NEW SOLUTION FOUND: 3013 @ 174.146
c NEW SOLUTION FOUND: 3012 @ 174.417
c NEW SOLUTION FOUND: 3011 @ 174.554
c NEW SOLUTION FOUND: 3010 @ 174.686
c NEW SOLUTION FOUND: 3009 @ 174.826
c NEW SOLUTION FOUND: 3008 @ 174.957
c NEW SOLUTION FOUND: 3007 @ 175.096
c NEW SOLUTION FOUND: 3006 @ 175.229
c NEW SOLUTION FOUND: 3005 @ 175.368
c NEW SOLUTION FOUND: 3004 @ 175.502
c NEW SOLUTION FOUND: 3003 @ 175.641
c NEW SOLUTION FOUND: 3002 @ 175.914
c NEW SOLUTION FOUND: 3001 @ 176.052
c NEW SOLUTION FOUND: 3000 @ 176.189
c NEW SOLUTION FOUND: 2999 @ 176.468
c NEW SOLUTION FOUND: 2998 @ 176.608
c NEW SOLUTION FOUND: 2997 @ 176.744
c NEW SOLUTION FOUND: 2996 @ 176.886
c NEW SOLUTION FOUND: 2995 @ 177.021
c NEW SOLUTION FOUND: 2994 @ 177.299
c NEW SOLUTION FOUND: 2993 @ 177.439
c NEW SOLUTION FOUND: 2992 @ 177.573
c NEW SOLUTION FOUND: 2991 @ 177.717
c NEW SOLUTION FOUND: 2990 @ 177.854
c NEW SOLUTION FOUND: 2989 @ 177.995
c NEW SOLUTION FOUND: 2988 @ 178.128
c NEW SOLUTION FOUND: 2987 @ 178.271
c NEW SOLUTION FOUND: 2986 @ 178.548
c NEW SOLUTION FOUND: 2985 @ 178.832
c NEW SOLUTION FOUND: 2984 @ 178.975
c NEW SOLUTION FOUND: 2983 @ 179.259
c NEW SOLUTION FOUND: 2982 @ 179.54
c NEW SOLUTION FOUND: 2981 @ 179.683
c NEW SOLUTION FOUND: 2980 @ 179.824
c NEW SOLUTION FOUND: 2979 @ 179.968
c NEW SOLUTION FOUND: 2978 @ 180.249
c NEW SOLUTION FOUND: 2977 @ 180.393
c NEW SOLUTION FOUND: 2976 @ 180.529
c NEW SOLUTION FOUND: 2975 @ 180.674
c NEW SOLUTION FOUND: 2974 @ 180.812
c NEW SOLUTION FOUND: 2973 @ 180.957
c NEW SOLUTION FOUND: 2972 @ 181.243
c NEW SOLUTION FOUND: 2971 @ 181.387
c NEW SOLUTION FOUND: 2970 @ 181.669
c NEW SOLUTION FOUND: 2969 @ 181.814
c NEW SOLUTION FOUND: 2968 @ 181.956
c NEW SOLUTION FOUND: 2967 @ 182.245
c NEW SOLUTION FOUND: 2966 @ 182.529
c NEW SOLUTION FOUND: 2965 @ 182.673
c NEW SOLUTION FOUND: 2964 @ 182.962
c NEW SOLUTION FOUND: 2963 @ 183.108
c NEW SOLUTION FOUND: 2962 @ 183.25
c NEW SOLUTION FOUND: 2961 @ 183.398
c NEW SOLUTION FOUND: 2960 @ 183.538
c NEW SOLUTION FOUND: 2959 @ 183.687
c NEW SOLUTION FOUND: 2958 @ 183.827
c NEW SOLUTION FOUND: 2957 @ 183.975
c NEW SOLUTION FOUND: 2956 @ 184.116
c NEW SOLUTION FOUND: 2955 @ 184.265
c NEW SOLUTION FOUND: 2954 @ 184.553
c NEW SOLUTION FOUND: 2953 @ 184.698
c NEW SOLUTION FOUND: 2952 @ 184.989
c NEW SOLUTION FOUND: 2951 @ 185.138
c NEW SOLUTION FOUND: 2950 @ 185.279
c NEW SOLUTION FOUND: 2949 @ 185.428
c NEW SOLUTION FOUND: 2948 @ 185.722
c NEW SOLUTION FOUND: 2947 @ 185.873
c NEW SOLUTION FOUND: 2946 @ 186.015
c NEW SOLUTION FOUND: 2945 @ 186.314
c NEW SOLUTION FOUND: 2944 @ 186.462
c NEW SOLUTION FOUND: 2943 @ 186.906
c NEW SOLUTION FOUND: 2942 @ 187.056
c NEW SOLUTION FOUND: 2941 @ 187.2
c NEW SOLUTION FOUND: 2940 @ 187.5
c NEW SOLUTION FOUND: 2939 @ 187.797
c NEW SOLUTION FOUND: 2938 @ 187.947
c NEW SOLUTION FOUND: 2937 @ 188.396
c NEW SOLUTION FOUND: 2936 @ 188.549
c NEW SOLUTION FOUND: 2935 @ 188.696
c NEW SOLUTION FOUND: 2934 @ 188.998
c NEW SOLUTION FOUND: 2933 @ 189.153
c NEW SOLUTION FOUND: 2932 @ 189.3
c NEW SOLUTION FOUND: 2931 @ 189.456
c NEW SOLUTION FOUND: 2930 @ 189.604
c NEW SOLUTION FOUND: 2929 @ 189.908
c NEW SOLUTION FOUND: 2928 @ 190.064
c NEW SOLUTION FOUND: 2927 @ 190.214
c NEW SOLUTION FOUND: 2926 @ 190.369
c NEW SOLUTION FOUND: 2925 @ 190.516
c NEW SOLUTION FOUND: 2924 @ 190.818
c NEW SOLUTION FOUND: 2923 @ 191.121
c NEW SOLUTION FOUND: 2922 @ 191.275
c NEW SOLUTION FOUND: 2921 @ 191.422
c NEW SOLUTION FOUND: 2920 @ 191.578
c NEW SOLUTION FOUND: 2919 @ 191.726
c NEW SOLUTION FOUND: 2918 @ 191.888
c NEW SOLUTION FOUND: 2917 @ 192.197
c NEW SOLUTION FOUND: 2916 @ 192.358
c NEW SOLUTION FOUND: 2915 @ 192.511
c NEW SOLUTION FOUND: 2914 @ 192.668
c NEW SOLUTION FOUND: 2913 @ 192.82
c NEW SOLUTION FOUND: 2912 @ 192.976
c NEW SOLUTION FOUND: 2911 @ 193.133
c NEW SOLUTION FOUND: 2910 @ 193.288
c NEW SOLUTION FOUND: 2909 @ 193.598
c NEW SOLUTION FOUND: 2908 @ 193.755
c NEW SOLUTION FOUND: 2907 @ 193.904
c NEW SOLUTION FOUND: 2906 @ 194.062
c NEW SOLUTION FOUND: 2905 @ 194.212
c NEW SOLUTION FOUND: 2904 @ 194.371
c NEW SOLUTION FOUND: 2903 @ 194.526
c NEW SOLUTION FOUND: 2902 @ 194.685
c NEW SOLUTION FOUND: 2901 @ 194.998
c NEW SOLUTION FOUND: 2900 @ 195.154
c NEW SOLUTION FOUND: 2899 @ 195.305
c NEW SOLUTION FOUND: 2898 @ 195.616
c NEW SOLUTION FOUND: 2897 @ 195.775
c NEW SOLUTION FOUND: 2896 @ 195.926
c NEW SOLUTION FOUND: 2895 @ 196.085
c NEW SOLUTION FOUND: 2894 @ 196.235
c NEW SOLUTION FOUND: 2893 @ 196.394
c NEW SOLUTION FOUND: 2892 @ 196.705
c NEW SOLUTION FOUND: 2891 @ 196.867
c NEW SOLUTION FOUND: 2890 @ 197.018
c NEW SOLUTION FOUND: 2889 @ 197.33
c NEW SOLUTION FOUND: 2888 @ 197.494
c NEW SOLUTION FOUND: 2887 @ 197.811
c NEW SOLUTION FOUND: 2886 @ 198.13
c NEW SOLUTION FOUND: 2885 @ 198.293
c NEW SOLUTION FOUND: 2884 @ 198.451
c NEW SOLUTION FOUND: 2883 @ 198.613
c NEW SOLUTION FOUND: 2882 @ 199.101
c NEW SOLUTION FOUND: 2881 @ 199.425
c NEW SOLUTION FOUND: 2880 @ 199.591
c NEW SOLUTION FOUND: 2879 @ 200.078
c NEW SOLUTION FOUND: 2878 @ 200.241
c NEW SOLUTION FOUND: 2877 @ 200.395
c NEW SOLUTION FOUND: 2876 @ 200.881
c NEW SOLUTION FOUND: 2875 @ 201.379
c NEW SOLUTION FOUND: 2874 @ 201.544
c NEW SOLUTION FOUND: 2873 @ 201.872
c NEW SOLUTION FOUND: 2872 @ 202.198
c NEW SOLUTION FOUND: 2871 @ 202.361
c NEW SOLUTION FOUND: 2870 @ 202.525
c NEW SOLUTION FOUND: 2869 @ 202.692
c NEW SOLUTION FOUND: 2868 @ 202.855
c NEW SOLUTION FOUND: 2867 @ 203.021
c NEW SOLUTION FOUND: 2866 @ 203.187
c NEW SOLUTION FOUND: 2865 @ 203.353
c NEW SOLUTION FOUND: 2864 @ 203.518
c NEW SOLUTION FOUND: 2863 @ 203.684
c NEW SOLUTION FOUND: 2862 @ 203.846
c NEW SOLUTION FOUND: 2861 @ 204.02
c NEW SOLUTION FOUND: 2860 @ 204.182
c NEW SOLUTION FOUND: 2859 @ 204.349
c NEW SOLUTION FOUND: 2858 @ 204.511
c NEW SOLUTION FOUND: 2857 @ 204.68
c NEW SOLUTION FOUND: 2856 @ 204.841
c NEW SOLUTION FOUND: 2855 @ 205.007
c NEW SOLUTION FOUND: 2854 @ 205.168
c NEW SOLUTION FOUND: 2853 @ 205.336
c NEW SOLUTION FOUND: 2852 @ 205.669
c NEW SOLUTION FOUND: 2851 @ 206.001
c NEW SOLUTION FOUND: 2850 @ 206.167
c NEW SOLUTION FOUND: 2849 @ 206.502
c NEW SOLUTION FOUND: 2848 @ 206.673
c NEW SOLUTION FOUND: 2847 @ 206.835
c NEW SOLUTION FOUND: 2846 @ 207.005
c NEW SOLUTION FOUND: 2845 @ 207.173
c NEW SOLUTION FOUND: 2844 @ 207.342
c NEW SOLUTION FOUND: 2843 @ 207.68
c NEW SOLUTION FOUND: 2842 @ 207.85
c NEW SOLUTION FOUND: 2841 @ 208.012
c NEW SOLUTION FOUND: 2840 @ 208.185
c NEW SOLUTION FOUND: 2839 @ 208.348
c NEW SOLUTION FOUND: 2838 @ 208.52
c NEW SOLUTION FOUND: 2837 @ 208.681
c NEW SOLUTION FOUND: 2836 @ 208.854
c NEW SOLUTION FOUND: 2835 @ 209.192
c NEW SOLUTION FOUND: 2834 @ 209.532
c NEW SOLUTION FOUND: 2833 @ 209.706
c NEW SOLUTION FOUND: 2832 @ 209.869
c NEW SOLUTION FOUND: 2831 @ 210.045
c NEW SOLUTION FOUND: 2830 @ 210.209
c NEW SOLUTION FOUND: 2829 @ 210.381
c NEW SOLUTION FOUND: 2828 @ 210.546
c NEW SOLUTION FOUND: 2827 @ 210.717
c NEW SOLUTION FOUND: 2826 @ 211.229
c NEW SOLUTION FOUND: 2825 @ 211.402
c NEW SOLUTION FOUND: 2824 @ 211.564
c NEW SOLUTION FOUND: 2823 @ 211.737
c NEW SOLUTION FOUND: 2822 @ 211.902
c NEW SOLUTION FOUND: 2821 @ 212.076
c NEW SOLUTION FOUND: 2820 @ 212.239
c NEW SOLUTION FOUND: 2819 @ 212.413
c NEW SOLUTION FOUND: 2818 @ 212.579
c NEW SOLUTION FOUND: 2817 @ 212.752
c NEW SOLUTION FOUND: 2816 @ 212.915
c NEW SOLUTION FOUND: 2815 @ 213.089
c NEW SOLUTION FOUND: 2814 @ 213.256
c NEW SOLUTION FOUND: 2813 @ 213.599
c NEW SOLUTION FOUND: 2812 @ 213.773
c NEW SOLUTION FOUND: 2811 @ 213.937
c NEW SOLUTION FOUND: 2810 @ 214.111
c NEW SOLUTION FOUND: 2809 @ 214.278
c NEW SOLUTION FOUND: 2808 @ 214.455
c NEW SOLUTION FOUND: 2807 @ 214.619
c NEW SOLUTION FOUND: 2806 @ 214.794
c NEW SOLUTION FOUND: 2805 @ 214.958
c NEW SOLUTION FOUND: 2804 @ 215.299
c NEW SOLUTION FOUND: 2803 @ 215.473
c NEW SOLUTION FOUND: 2802 @ 215.636
c NEW SOLUTION FOUND: 2801 @ 216.146
c NEW SOLUTION FOUND: 2800 @ 216.318
c NEW SOLUTION FOUND: 2799 @ 216.485
c NEW SOLUTION FOUND: 2798 @ 216.659
c NEW SOLUTION FOUND: 2797 @ 216.825
c NEW SOLUTION FOUND: 2796 @ 216.998
c NEW SOLUTION FOUND: 2795 @ 217.339
c NEW SOLUTION FOUND: 2794 @ 217.512
c NEW SOLUTION FOUND: 2793 @ 217.854
c NEW SOLUTION FOUND: 2792 @ 218.197
c NEW SOLUTION FOUND: 2791 @ 218.544
c NEW SOLUTION FOUND: 2790 @ 219.069
c NEW SOLUTION FOUND: 2789 @ 219.247
c NEW SOLUTION FOUND: 2788 @ 219.422
c NEW SOLUTION FOUND: 2787 @ 219.603
c NEW SOLUTION FOUND: 2786 @ 219.778
c NEW SOLUTION FOUND: 2785 @ 219.96
c NEW SOLUTION FOUND: 2784 @ 220.134
c NEW SOLUTION FOUND: 2783 @ 220.315
c NEW SOLUTION FOUND: 2782 @ 220.669
c NEW SOLUTION FOUND: 2781 @ 220.848
c NEW SOLUTION FOUND: 2780 @ 221.018
c NEW SOLUTION FOUND: 2779 @ 221.198
c NEW SOLUTION FOUND: 2778 @ 221.368
c NEW SOLUTION FOUND: 2777 @ 221.547
c NEW SOLUTION FOUND: 2776 @ 221.72
c NEW SOLUTION FOUND: 2775 @ 221.899
c NEW SOLUTION FOUND: 2774 @ 222.071
c NEW SOLUTION FOUND: 2773 @ 222.247
c NEW SOLUTION FOUND: 2772 @ 222.419
c NEW SOLUTION FOUND: 2771 @ 222.597
c NEW SOLUTION FOUND: 2770 @ 222.77
c NEW SOLUTION FOUND: 2769 @ 223.119
c NEW SOLUTION FOUND: 2768 @ 223.297
c NEW SOLUTION FOUND: 2767 @ 223.466
c NEW SOLUTION FOUND: 2766 @ 223.644
c NEW SOLUTION FOUND: 2765 @ 223.813
c NEW SOLUTION FOUND: 2764 @ 223.99
c NEW SOLUTION FOUND: 2763 @ 224.16
c NEW SOLUTION FOUND: 2762 @ 224.337
c NEW SOLUTION FOUND: 2761 @ 224.506
c NEW SOLUTION FOUND: 2760 @ 224.683
c NEW SOLUTION FOUND: 2759 @ 224.85
c NEW SOLUTION FOUND: 2758 @ 225.028
c NEW SOLUTION FOUND: 2757 @ 225.195
c NEW SOLUTION FOUND: 2756 @ 225.373
c NEW SOLUTION FOUND: 2755 @ 225.721
c NEW SOLUTION FOUND: 2754 @ 225.899
c NEW SOLUTION FOUND: 2753 @ 226.072
c NEW SOLUTION FOUND: 2752 @ 226.423
c NEW SOLUTION FOUND: 2751 @ 226.6
c NEW SOLUTION FOUND: 2750 @ 226.773
c NEW SOLUTION FOUND: 2749 @ 226.951
c NEW SOLUTION FOUND: 2748 @ 227.124
c NEW SOLUTION FOUND: 2747 @ 227.302
c NEW SOLUTION FOUND: 2746 @ 227.472
c NEW SOLUTION FOUND: 2745 @ 227.651
c NEW SOLUTION FOUND: 2744 @ 227.823
c NEW SOLUTION FOUND: 2743 @ 228.006
c NEW SOLUTION FOUND: 2742 @ 228.177
c NEW SOLUTION FOUND: 2741 @ 228.529
c NEW SOLUTION FOUND: 2740 @ 228.706
c NEW SOLUTION FOUND: 2739 @ 228.882
c NEW SOLUTION FOUND: 2738 @ 229.062
c NEW SOLUTION FOUND: 2737 @ 229.239
c NEW SOLUTION FOUND: 2736 @ 229.418
c NEW SOLUTION FOUND: 2735 @ 229.591
c NEW SOLUTION FOUND: 2734 @ 229.768
c NEW SOLUTION FOUND: 2733 @ 229.942
c NEW SOLUTION FOUND: 2732 @ 230.12
c NEW SOLUTION FOUND: 2731 @ 230.294
c NEW SOLUTION FOUND: 2730 @ 230.471
c NEW SOLUTION FOUND: 2729 @ 230.646
c NEW SOLUTION FOUND: 2728 @ 230.825
c NEW SOLUTION FOUND: 2727 @ 231.003
c NEW SOLUTION FOUND: 2726 @ 231.182
c NEW SOLUTION FOUND: 2725 @ 231.359
c NEW SOLUTION FOUND: 2724 @ 231.539
c NEW SOLUTION FOUND: 2723 @ 231.717
c NEW SOLUTION FOUND: 2722 @ 231.898
c NEW SOLUTION FOUND: 2721 @ 232.077
c NEW SOLUTION FOUND: 2720 @ 232.255
c NEW SOLUTION FOUND: 2719 @ 232.433
c NEW SOLUTION FOUND: 2718 @ 232.611
c NEW SOLUTION FOUND: 2717 @ 232.789
c NEW SOLUTION FOUND: 2716 @ 232.97
c NEW SOLUTION FOUND: 2715 @ 233.149
c NEW SOLUTION FOUND: 2714 @ 233.33
c NEW SOLUTION FOUND: 2713 @ 233.505
c NEW SOLUTION FOUND: 2712 @ 233.685
c NEW SOLUTION FOUND: 2711 @ 233.859
c NEW SOLUTION FOUND: 2710 @ 234.042
c NEW SOLUTION FOUND: 2709 @ 234.221
c NEW SOLUTION FOUND: 2708 @ 234.4
c NEW SOLUTION FOUND: 2707 @ 234.58
c NEW SOLUTION FOUND: 2706 @ 234.763
c NEW SOLUTION FOUND: 2705 @ 234.938
c NEW SOLUTION FOUND: 2704 @ 235.121
c NEW SOLUTION FOUND: 2703 @ 235.296
c NEW SOLUTION FOUND: 2702 @ 235.479
c NEW SOLUTION FOUND: 2701 @ 235.656
c NEW SOLUTION FOUND: 2700 @ 235.843
c NEW SOLUTION FOUND: 2699 @ 236.018
c NEW SOLUTION FOUND: 2698 @ 236.201
c NEW SOLUTION FOUND: 2697 @ 236.376
c NEW SOLUTION FOUND: 2696 @ 236.554
c NEW SOLUTION FOUND: 2695 @ 236.729
c NEW SOLUTION FOUND: 2694 @ 236.907
c NEW SOLUTION FOUND: 2693 @ 237.088
c NEW SOLUTION FOUND: 2692 @ 237.268
c NEW SOLUTION FOUND: 2691 @ 237.448
c NEW SOLUTION FOUND: 2690 @ 237.625
c NEW SOLUTION FOUND: 2689 @ 237.806
c NEW SOLUTION FOUND: 2688 @ 237.985
c NEW SOLUTION FOUND: 2687 @ 238.165
c NEW SOLUTION FOUND: 2686 @ 238.342
c NEW SOLUTION FOUND: 2685 @ 238.521
c NEW SOLUTION FOUND: 2684 @ 238.703
c NEW SOLUTION FOUND: 2683 @ 238.882
c NEW SOLUTION FOUND: 2682 @ 239.238
c NEW SOLUTION FOUND: 2681 @ 239.591
c NEW SOLUTION FOUND: 2680 @ 239.944
c NEW SOLUTION FOUND: 2679 @ 240.129
c NEW SOLUTION FOUND: 2678 @ 240.304
c NEW SOLUTION FOUND: 2677 @ 240.662
c NEW SOLUTION FOUND: 2676 @ 241.02
c NEW SOLUTION FOUND: 2675 @ 241.202
c NEW SOLUTION FOUND: 2674 @ 241.383
c NEW SOLUTION FOUND: 2673 @ 241.571
c NEW SOLUTION FOUND: 2672 @ 241.758
c NEW SOLUTION FOUND: 2671 @ 242.122
c NEW SOLUTION FOUND: 2670 @ 242.309
c NEW SOLUTION FOUND: 2669 @ 242.484
c NEW SOLUTION FOUND: 2668 @ 242.674
c NEW SOLUTION FOUND: 2667 @ 242.85
c NEW SOLUTION FOUND: 2666 @ 243.039
c NEW SOLUTION FOUND: 2665 @ 243.217
c NEW SOLUTION FOUND: 2664 @ 243.405
c NEW SOLUTION FOUND: 2663 @ 243.583
c NEW SOLUTION FOUND: 2662 @ 243.771
c NEW SOLUTION FOUND: 2661 @ 243.949
c NEW SOLUTION FOUND: 2660 @ 244.133
c NEW SOLUTION FOUND: 2659 @ 244.312
c NEW SOLUTION FOUND: 2658 @ 244.672
c NEW SOLUTION FOUND: 2657 @ 244.86
c NEW SOLUTION FOUND: 2656 @ 245.042
c NEW SOLUTION FOUND: 2655 @ 245.229
c NEW SOLUTION FOUND: 2654 @ 245.409
c NEW SOLUTION FOUND: 2653 @ 245.595
c NEW SOLUTION FOUND: 2652 @ 245.774
c NEW SOLUTION FOUND: 2651 @ 245.959
c NEW SOLUTION FOUND: 2650 @ 246.14
c NEW SOLUTION FOUND: 2649 @ 246.505
c NEW SOLUTION FOUND: 2648 @ 246.691
c NEW SOLUTION FOUND: 2647 @ 246.869
c NEW SOLUTION FOUND: 2646 @ 247.057
c NEW SOLUTION FOUND: 2645 @ 247.422
c NEW SOLUTION FOUND: 2644 @ 247.608
c NEW SOLUTION FOUND: 2643 @ 247.787
c NEW SOLUTION FOUND: 2642 @ 247.977
c NEW SOLUTION FOUND: 2641 @ 248.162
c NEW SOLUTION FOUND: 2640 @ 248.353
c NEW SOLUTION FOUND: 2639 @ 248.532
c NEW SOLUTION FOUND: 2638 @ 248.724
c NEW SOLUTION FOUND: 2637 @ 248.904
c NEW SOLUTION FOUND: 2636 @ 249.09
c NEW SOLUTION FOUND: 2635 @ 249.269
c NEW SOLUTION FOUND: 2634 @ 249.453
c NEW SOLUTION FOUND: 2633 @ 249.633
c NEW SOLUTION FOUND: 2632 @ 249.817
c NEW SOLUTION FOUND: 2631 @ 249.997
c NEW SOLUTION FOUND: 2630 @ 250.182
c NEW SOLUTION FOUND: 2629 @ 250.36
c NEW SOLUTION FOUND: 2628 @ 250.545
c NEW SOLUTION FOUND: 2627 @ 250.725
c NEW SOLUTION FOUND: 2626 @ 250.911
c NEW SOLUTION FOUND: 2625 @ 251.09
c NEW SOLUTION FOUND: 2624 @ 251.648
c NEW SOLUTION FOUND: 2623 @ 252.013
c NEW SOLUTION FOUND: 2622 @ 252.205
c NEW SOLUTION FOUND: 2621 @ 252.381
c NEW SOLUTION FOUND: 2620 @ 252.57
c NEW SOLUTION FOUND: 2619 @ 252.746
c NEW SOLUTION FOUND: 2618 @ 252.939
c NEW SOLUTION FOUND: 2617 @ 253.118
c NEW SOLUTION FOUND: 2616 @ 253.305
c NEW SOLUTION FOUND: 2615 @ 253.484
c NEW SOLUTION FOUND: 2614 @ 253.676
c NEW SOLUTION FOUND: 2613 @ 253.858
c NEW SOLUTION FOUND: 2612 @ 254.05
c NEW SOLUTION FOUND: 2611 @ 254.229
c NEW SOLUTION FOUND: 2610 @ 254.422
c NEW SOLUTION FOUND: 2609 @ 254.605
c NEW SOLUTION FOUND: 2608 @ 254.793
c NEW SOLUTION FOUND: 2607 @ 255.173
c NEW SOLUTION FOUND: 2606 @ 255.364
c NEW SOLUTION FOUND: 2605 @ 255.545
c NEW SOLUTION FOUND: 2604 @ 255.74
c NEW SOLUTION FOUND: 2603 @ 255.926
c NEW SOLUTION FOUND: 2602 @ 256.115
c NEW SOLUTION FOUND: 2601 @ 256.301
c NEW SOLUTION FOUND: 2600 @ 256.494
c NEW SOLUTION FOUND: 2599 @ 256.68
c NEW SOLUTION FOUND: 2598 @ 256.868
c NEW SOLUTION FOUND: 2597 @ 257.056
c NEW SOLUTION FOUND: 2596 @ 257.249
c NEW SOLUTION FOUND: 2595 @ 257.432
c NEW SOLUTION FOUND: 2594 @ 257.624
c NEW SOLUTION FOUND: 2593 @ 257.808
c NEW SOLUTION FOUND: 2592 @ 258.002
c NEW SOLUTION FOUND: 2591 @ 258.184
c NEW SOLUTION FOUND: 2590 @ 258.379
c NEW SOLUTION FOUND: 2589 @ 258.564
c NEW SOLUTION FOUND: 2588 @ 258.759
c NEW SOLUTION FOUND: 2587 @ 258.948
c NEW SOLUTION FOUND: 2586 @ 259.139
c NEW SOLUTION FOUND: 2585 @ 259.321
c NEW SOLUTION FOUND: 2584 @ 259.513
c NEW SOLUTION FOUND: 2583 @ 259.7
c NEW SOLUTION FOUND: 2582 @ 260.27
c NEW SOLUTION FOUND: 2581 @ 260.459
c NEW SOLUTION FOUND: 2580 @ 260.646
c NEW SOLUTION FOUND: 2579 @ 260.841
c NEW SOLUTION FOUND: 2578 @ 261.024
c NEW SOLUTION FOUND: 2577 @ 261.218
c NEW SOLUTION FOUND: 2576 @ 261.406
c NEW SOLUTION FOUND: 2575 @ 261.597
c NEW SOLUTION FOUND: 2574 @ 261.781
c NEW SOLUTION FOUND: 2573 @ 261.972
c NEW SOLUTION FOUND: 2572 @ 262.156
c NEW SOLUTION FOUND: 2571 @ 262.352
c NEW SOLUTION FOUND: 2570 @ 262.541
c NEW SOLUTION FOUND: 2569 @ 262.732
c NEW SOLUTION FOUND: 2568 @ 262.921
c NEW SOLUTION FOUND: 2567 @ 263.114
c NEW SOLUTION FOUND: 2566 @ 263.296
c NEW SOLUTION FOUND: 2565 @ 263.487
c NEW SOLUTION FOUND: 2564 @ 263.674
c NEW SOLUTION FOUND: 2563 @ 263.864
c NEW SOLUTION FOUND: 2562 @ 264.052
c NEW SOLUTION FOUND: 2561 @ 264.244
c NEW SOLUTION FOUND: 2560 @ 264.433
c NEW SOLUTION FOUND: 2559 @ 264.626
c NEW SOLUTION FOUND: 2558 @ 264.815
c NEW SOLUTION FOUND: 2557 @ 265.008
c NEW SOLUTION FOUND: 2556 @ 265.196
c NEW SOLUTION FOUND: 2555 @ 265.391
c NEW SOLUTION FOUND: 2554 @ 265.774
c NEW SOLUTION FOUND: 2553 @ 265.962
c NEW SOLUTION FOUND: 2552 @ 266.149
c NEW SOLUTION FOUND: 2551 @ 266.339
c NEW SOLUTION FOUND: 2550 @ 266.525
c NEW SOLUTION FOUND: 2549 @ 266.715
c NEW SOLUTION FOUND: 2548 @ 266.901
c NEW SOLUTION FOUND: 2547 @ 267.095
c NEW SOLUTION FOUND: 2546 @ 267.279
c NEW SOLUTION FOUND: 2545 @ 267.475
c NEW SOLUTION FOUND: 2544 @ 267.662
c NEW SOLUTION FOUND: 2543 @ 267.853
c NEW SOLUTION FOUND: 2542 @ 268.036
c NEW SOLUTION FOUND: 2541 @ 268.227
c NEW SOLUTION FOUND: 2540 @ 268.416
c NEW SOLUTION FOUND: 2539 @ 268.606
c NEW SOLUTION FOUND: 2538 @ 268.793
c NEW SOLUTION FOUND: 2537 @ 268.987
c NEW SOLUTION FOUND: 2536 @ 269.175
c NEW SOLUTION FOUND: 2535 @ 269.37
c NEW SOLUTION FOUND: 2534 @ 269.558
c NEW SOLUTION FOUND: 2533 @ 269.753
c NEW SOLUTION FOUND: 2532 @ 269.941
c NEW SOLUTION FOUND: 2531 @ 270.136
c NEW SOLUTION FOUND: 2530 @ 270.324
c NEW SOLUTION FOUND: 2529 @ 270.516
c NEW SOLUTION FOUND: 2528 @ 270.705
c NEW SOLUTION FOUND: 2527 @ 270.897
c NEW SOLUTION FOUND: 2526 @ 271.087
c NEW SOLUTION FOUND: 2525 @ 271.276
c NEW SOLUTION FOUND: 2524 @ 271.464
c NEW SOLUTION FOUND: 2523 @ 271.658
c NEW SOLUTION FOUND: 2522 @ 271.846
c NEW SOLUTION FOUND: 2521 @ 272.038
c NEW SOLUTION FOUND: 2520 @ 272.225
c NEW SOLUTION FOUND: 2519 @ 272.417
c NEW SOLUTION FOUND: 2518 @ 272.6
c NEW SOLUTION FOUND: 2517 @ 272.794
c NEW SOLUTION FOUND: 2516 @ 272.981
c NEW SOLUTION FOUND: 2515 @ 273.551
c NEW SOLUTION FOUND: 2514 @ 273.746
c NEW SOLUTION FOUND: 2513 @ 273.936
c NEW SOLUTION FOUND: 2512 @ 274.129
c NEW SOLUTION FOUND: 2511 @ 274.51
c NEW SOLUTION FOUND: 2510 @ 274.7
c NEW SOLUTION FOUND: 2509 @ 274.883
c NEW SOLUTION FOUND: 2508 @ 275.081
c NEW SOLUTION FOUND: 2507 @ 275.262
c NEW SOLUTION FOUND: 2506 @ 275.459
c NEW SOLUTION FOUND: 2505 @ 275.839
c NEW SOLUTION FOUND: 2504 @ 276.032
c NEW SOLUTION FOUND: 2503 @ 276.222
c NEW SOLUTION FOUND: 2502 @ 276.413
c NEW SOLUTION FOUND: 2501 @ 276.602
c NEW SOLUTION FOUND: 2500 @ 276.795
c NEW SOLUTION FOUND: 2499 @ 277.173
c NEW SOLUTION FOUND: 2498 @ 277.368
c NEW SOLUTION FOUND: 2497 @ 277.553
c NEW SOLUTION FOUND: 2496 @ 277.75
c NEW SOLUTION FOUND: 2495 @ 277.937
c NEW SOLUTION FOUND: 2494 @ 278.135
c NEW SOLUTION FOUND: 2493 @ 278.322
c NEW SOLUTION FOUND: 2492 @ 278.515
c NEW SOLUTION FOUND: 2491 @ 278.704
c NEW SOLUTION FOUND: 2490 @ 279.098
c NEW SOLUTION FOUND: 2489 @ 279.3
c NEW SOLUTION FOUND: 2488 @ 279.493
c NEW SOLUTION FOUND: 2487 @ 279.696
c NEW SOLUTION FOUND: 2486 @ 280.094
c NEW SOLUTION FOUND: 2485 @ 280.291
c NEW SOLUTION FOUND: 2484 @ 280.684
c NEW SOLUTION FOUND: 2483 @ 280.884
c NEW SOLUTION FOUND: 2482 @ 281.08
c NEW SOLUTION FOUND: 2481 @ 281.28
c NEW SOLUTION FOUND: 2480 @ 281.476
c NEW SOLUTION FOUND: 2479 @ 281.675
c NEW SOLUTION FOUND: 2478 @ 281.867
c NEW SOLUTION FOUND: 2477 @ 282.066
c NEW SOLUTION FOUND: 2476 @ 282.264
c NEW SOLUTION FOUND: 2475 @ 282.469
c NEW SOLUTION FOUND: 2474 @ 282.865
c NEW SOLUTION FOUND: 2473 @ 283.067
c NEW SOLUTION FOUND: 2472 @ 283.266
c NEW SOLUTION FOUND: 2471 @ 283.47
c NEW SOLUTION FOUND: 2470 @ 283.67
c NEW SOLUTION FOUND: 2469 @ 283.873
c NEW SOLUTION FOUND: 2468 @ 284.071
c NEW SOLUTION FOUND: 2467 @ 284.271
c NEW SOLUTION FOUND: 2466 @ 284.471
c NEW SOLUTION FOUND: 2465 @ 284.673
c NEW SOLUTION FOUND: 2464 @ 284.866
c NEW SOLUTION FOUND: 2463 @ 285.068
c NEW SOLUTION FOUND: 2462 @ 285.265
c NEW SOLUTION FOUND: 2461 @ 285.464
c NEW SOLUTION FOUND: 2460 @ 285.66
c NEW SOLUTION FOUND: 2459 @ 285.859
c NEW SOLUTION FOUND: 2458 @ 286.055
c NEW SOLUTION FOUND: 2457 @ 286.255
c NEW SOLUTION FOUND: 2456 @ 286.448
c NEW SOLUTION FOUND: 2455 @ 286.648
c NEW SOLUTION FOUND: 2454 @ 286.845
c NEW SOLUTION FOUND: 2453 @ 287.046
c NEW SOLUTION FOUND: 2452 @ 287.243
c NEW SOLUTION FOUND: 2451 @ 287.442
c NEW SOLUTION FOUND: 2450 @ 287.635
c NEW SOLUTION FOUND: 2449 @ 287.834
c NEW SOLUTION FOUND: 2448 @ 288.033
c NEW SOLUTION FOUND: 2447 @ 288.231
c NEW SOLUTION FOUND: 2446 @ 288.43
c NEW SOLUTION FOUND: 2445 @ 288.628
c NEW SOLUTION FOUND: 2444 @ 288.82
c NEW SOLUTION FOUND: 2443 @ 289.021
c NEW SOLUTION FOUND: 2442 @ 289.218
c NEW SOLUTION FOUND: 2441 @ 289.417
c NEW SOLUTION FOUND: 2440 @ 289.612
c NEW SOLUTION FOUND: 2439 @ 289.815
c NEW SOLUTION FOUND: 2438 @ 290.01
c NEW SOLUTION FOUND: 2437 @ 290.209
c NEW SOLUTION FOUND: 2436 @ 290.407
c NEW SOLUTION FOUND: 2435 @ 290.604
c NEW SOLUTION FOUND: 2434 @ 290.8
c NEW SOLUTION FOUND: 2433 @ 290.998
c NEW SOLUTION FOUND: 2432 @ 291.197
c NEW SOLUTION FOUND: 2431 @ 291.395
c NEW SOLUTION FOUND: 2430 @ 291.587
c NEW SOLUTION FOUND: 2429 @ 291.79
c NEW SOLUTION FOUND: 2428 @ 291.983
c NEW SOLUTION FOUND: 2427 @ 292.185
c NEW SOLUTION FOUND: 2426 @ 292.377
c NEW SOLUTION FOUND: 2425 @ 292.578
c NEW SOLUTION FOUND: 2424 @ 292.773
c NEW SOLUTION FOUND: 2423 @ 292.975
c NEW SOLUTION FOUND: 2422 @ 293.167
c NEW SOLUTION FOUND: 2421 @ 293.365
c NEW SOLUTION FOUND: 2420 @ 293.558
c NEW SOLUTION FOUND: 2419 @ 293.758
c NEW SOLUTION FOUND: 2418 @ 293.951
c NEW SOLUTION FOUND: 2417 @ 294.15
c NEW SOLUTION FOUND: 2416 @ 294.343
c NEW SOLUTION FOUND: 2415 @ 294.54
c NEW SOLUTION FOUND: 2414 @ 294.732
c NEW SOLUTION FOUND: 2413 @ 294.93
c NEW SOLUTION FOUND: 2412 @ 295.123
c NEW SOLUTION FOUND: 2411 @ 295.321
c NEW SOLUTION FOUND: 2410 @ 295.511
c NEW SOLUTION FOUND: 2409 @ 295.709
c NEW SOLUTION FOUND: 2408 @ 295.902
c NEW SOLUTION FOUND: 2407 @ 296.104
c NEW SOLUTION FOUND: 2406 @ 296.297
c NEW SOLUTION FOUND: 2405 @ 296.494
c NEW SOLUTION FOUND: 2404 @ 296.688
c NEW SOLUTION FOUND: 2403 @ 296.886
c NEW SOLUTION FOUND: 2402 @ 297.078
c NEW SOLUTION FOUND: 2401 @ 297.275
c NEW SOLUTION FOUND: 2400 @ 297.471
c NEW SOLUTION FOUND: 2399 @ 297.673
c NEW SOLUTION FOUND: 2398 @ 297.869
c NEW SOLUTION FOUND: 2397 @ 298.068
c NEW SOLUTION FOUND: 2396 @ 298.26
c NEW SOLUTION FOUND: 2395 @ 298.461
c NEW SOLUTION FOUND: 2394 @ 298.655
c NEW SOLUTION FOUND: 2393 @ 298.857
c NEW SOLUTION FOUND: 2392 @ 299.049
c NEW SOLUTION FOUND: 2391 @ 299.25
c NEW SOLUTION FOUND: 2390 @ 299.448
c NEW SOLUTION FOUND: 2389 @ 299.649
c NEW SOLUTION FOUND: 2388 @ 299.846
c NEW SOLUTION FOUND: 2387 @ 300.044
c NEW SOLUTION FOUND: 2386 @ 300.241
c NEW SOLUTION FOUND: 2385 @ 300.439
c NEW SOLUTION FOUND: 2384 @ 300.637
c NEW SOLUTION FOUND: 2383 @ 300.833
c NEW SOLUTION FOUND: 2382 @ 301.028
c NEW SOLUTION FOUND: 2381 @ 301.393
c NEW SOLUTION FOUND: 2380 @ 301.578
c NEW SOLUTION FOUND: 2379 @ 301.753
c NEW SOLUTION FOUND: 2378 @ 301.94
c NEW SOLUTION FOUND: 2377 @ 302.113
c NEW SOLUTION FOUND: 2376 @ 302.295
c NEW SOLUTION FOUND: 2375 @ 302.474
c NEW SOLUTION FOUND: 2374 @ 302.662
c NEW SOLUTION FOUND: 2373 @ 302.842
c NEW SOLUTION FOUND: 2372 @ 303.031
c NEW SOLUTION FOUND: 2371 @ 303.213
c NEW SOLUTION FOUND: 2370 @ 303.401
c NEW SOLUTION FOUND: 2369 @ 303.584
c NEW SOLUTION FOUND: 2368 @ 303.772
c NEW SOLUTION FOUND: 2367 @ 303.954
c NEW SOLUTION FOUND: 2366 @ 304.142
c NEW SOLUTION FOUND: 2365 @ 304.325
c NEW SOLUTION FOUND: 2364 @ 304.513
c NEW SOLUTION FOUND: 2363 @ 304.688
c NEW SOLUTION FOUND: 2362 @ 305.049
c NEW SOLUTION FOUND: 2361 @ 305.237
c NEW SOLUTION FOUND: 2360 @ 305.417
c NEW SOLUTION FOUND: 2359 @ 305.605
c NEW SOLUTION FOUND: 2358 @ 305.786
c NEW SOLUTION FOUND: 2357 @ 305.971
c NEW SOLUTION FOUND: 2356 @ 306.147
c NEW SOLUTION FOUND: 2355 @ 306.33
c NEW SOLUTION FOUND: 2354 @ 306.506
c NEW SOLUTION FOUND: 2353 @ 306.697
c NEW SOLUTION FOUND: 2352 @ 306.874
c NEW SOLUTION FOUND: 2351 @ 307.057
c NEW SOLUTION FOUND: 2350 @ 307.237
c NEW SOLUTION FOUND: 2349 @ 307.427
c NEW SOLUTION FOUND: 2348 @ 307.607
c NEW SOLUTION FOUND: 2347 @ 307.796
c NEW SOLUTION FOUND: 2346 @ 307.973
c NEW SOLUTION FOUND: 2345 @ 308.163
c NEW SOLUTION FOUND: 2344 @ 308.342
c NEW SOLUTION FOUND: 2343 @ 308.531
c NEW SOLUTION FOUND: 2342 @ 308.709
c NEW SOLUTION FOUND: 2341 @ 308.9
c NEW SOLUTION FOUND: 2340 @ 309.076
c NEW SOLUTION FOUND: 2339 @ 309.265
c NEW SOLUTION FOUND: 2338 @ 309.447
c NEW SOLUTION FOUND: 2337 @ 309.636
c NEW SOLUTION FOUND: 2336 @ 309.818
c NEW SOLUTION FOUND: 2335 @ 310.007
c NEW SOLUTION FOUND: 2334 @ 310.189
c NEW SOLUTION FOUND: 2333 @ 310.377
c NEW SOLUTION FOUND: 2332 @ 310.559
c NEW SOLUTION FOUND: 2331 @ 310.747
c NEW SOLUTION FOUND: 2330 @ 310.929
c NEW SOLUTION FOUND: 2329 @ 311.114
c NEW SOLUTION FOUND: 2328 @ 311.296
c NEW SOLUTION FOUND: 2327 @ 311.48
c NEW SOLUTION FOUND: 2326 @ 311.658
c NEW SOLUTION FOUND: 2325 @ 311.846
c NEW SOLUTION FOUND: 2324 @ 312.028
c NEW SOLUTION FOUND: 2323 @ 312.211
c NEW SOLUTION FOUND: 2322 @ 312.395
c NEW SOLUTION FOUND: 2321 @ 312.579
c NEW SOLUTION FOUND: 2320 @ 312.757
c NEW SOLUTION FOUND: 2319 @ 312.946
c NEW SOLUTION FOUND: 2318 @ 313.128
c NEW SOLUTION FOUND: 2317 @ 313.312
c NEW SOLUTION FOUND: 2316 @ 313.495
c NEW SOLUTION FOUND: 2315 @ 313.678
c NEW SOLUTION FOUND: 2314 @ 313.857
c NEW SOLUTION FOUND: 2313 @ 314.041
c NEW SOLUTION FOUND: 2312 @ 314.222
c NEW SOLUTION FOUND: 2311 @ 314.407
c NEW SOLUTION FOUND: 2310 @ 314.589
c NEW SOLUTION FOUND: 2309 @ 314.774
c NEW SOLUTION FOUND: 2308 @ 314.956
c NEW SOLUTION FOUND: 2307 @ 315.139
c NEW SOLUTION FOUND: 2306 @ 315.321
c NEW SOLUTION FOUND: 2305 @ 315.51
c NEW SOLUTION FOUND: 2304 @ 315.688
c NEW SOLUTION FOUND: 2303 @ 315.877
c NEW SOLUTION FOUND: 2302 @ 316.055
c NEW SOLUTION FOUND: 2301 @ 316.243
c NEW SOLUTION FOUND: 2300 @ 316.426
c NEW SOLUTION FOUND: 2299 @ 316.612
c NEW SOLUTION FOUND: 2298 @ 316.789
c NEW SOLUTION FOUND: 2297 @ 316.976
c NEW SOLUTION FOUND: 2296 @ 317.153
c NEW SOLUTION FOUND: 2295 @ 317.341
c NEW SOLUTION FOUND: 2294 @ 317.518
c NEW SOLUTION FOUND: 2293 @ 317.706
c NEW SOLUTION FOUND: 2292 @ 317.886
c NEW SOLUTION FOUND: 2291 @ 318.075
c NEW SOLUTION FOUND: 2290 @ 318.435
c NEW SOLUTION FOUND: 2289 @ 318.619
c NEW SOLUTION FOUND: 2288 @ 318.799
c NEW SOLUTION FOUND: 2287 @ 318.983
c NEW SOLUTION FOUND: 2286 @ 319.158
c NEW SOLUTION FOUND: 2285 @ 319.342
c NEW SOLUTION FOUND: 2284 @ 319.52
c NEW SOLUTION FOUND: 2283 @ 319.703
c NEW SOLUTION FOUND: 2282 @ 319.883
c NEW SOLUTION FOUND: 2281 @ 320.066
c NEW SOLUTION FOUND: 2280 @ 320.246
c NEW SOLUTION FOUND: 2279 @ 320.433
c NEW SOLUTION FOUND: 2278 @ 320.618
c NEW SOLUTION FOUND: 2277 @ 320.802
c NEW SOLUTION FOUND: 2276 @ 320.986
c NEW SOLUTION FOUND: 2275 @ 321.171
c NEW SOLUTION FOUND: 2274 @ 321.354
c NEW SOLUTION FOUND: 2273 @ 321.538
c NEW SOLUTION FOUND: 2272 @ 321.718
c NEW SOLUTION FOUND: 2271 @ 321.901
c NEW SOLUTION FOUND: 2270 @ 322.08
c NEW SOLUTION FOUND: 2269 @ 322.263
c NEW SOLUTION FOUND: 2268 @ 322.443
c NEW SOLUTION FOUND: 2267 @ 322.625
c NEW SOLUTION FOUND: 2266 @ 322.806
c NEW SOLUTION FOUND: 2265 @ 322.992
c NEW SOLUTION FOUND: 2264 @ 323.176
c NEW SOLUTION FOUND: 2263 @ 323.358
c NEW SOLUTION FOUND: 2262 @ 323.54
c NEW SOLUTION FOUND: 2261 @ 323.902
c NEW SOLUTION FOUND: 2260 @ 324.088
c NEW SOLUTION FOUND: 2259 @ 324.265
c NEW SOLUTION FOUND: 2258 @ 324.452
c NEW SOLUTION FOUND: 2257 @ 324.629
c NEW SOLUTION FOUND: 2256 @ 324.816
c NEW SOLUTION FOUND: 2255 @ 324.992
c NEW SOLUTION FOUND: 2254 @ 325.18
c NEW SOLUTION FOUND: 2253 @ 325.543
c NEW SOLUTION FOUND: 2252 @ 325.726
c NEW SOLUTION FOUND: 2251 @ 325.908
c NEW SOLUTION FOUND: 2250 @ 326.095
c NEW SOLUTION FOUND: 2249 @ 326.277
c NEW SOLUTION FOUND: 2248 @ 326.465
c NEW SOLUTION FOUND: 2247 @ 326.645
c NEW SOLUTION FOUND: 2246 @ 326.835
c NEW SOLUTION FOUND: 2245 @ 327.018
c NEW SOLUTION FOUND: 2244 @ 327.205
c NEW SOLUTION FOUND: 2243 @ 327.387
c NEW SOLUTION FOUND: 2242 @ 327.575
c NEW SOLUTION FOUND: 2241 @ 327.758
c NEW SOLUTION FOUND: 2240 @ 327.945
c NEW SOLUTION FOUND: 2239 @ 328.124
c NEW SOLUTION FOUND: 2238 @ 328.312
c NEW SOLUTION FOUND: 2237 @ 328.494
c NEW SOLUTION FOUND: 2236 @ 328.679
c NEW SOLUTION FOUND: 2235 @ 328.857
c NEW SOLUTION FOUND: 2234 @ 329.044
c NEW SOLUTION FOUND: 2233 @ 329.222
c NEW SOLUTION FOUND: 2232 @ 329.406
c NEW SOLUTION FOUND: 2231 @ 329.584
c NEW SOLUTION FOUND: 2230 @ 329.769
c NEW SOLUTION FOUND: 2229 @ 329.952
c NEW SOLUTION FOUND: 2228 @ 330.138
c NEW SOLUTION FOUND: 2227 @ 330.321
c NEW SOLUTION FOUND: 2226 @ 330.51
c NEW SOLUTION FOUND: 2225 @ 330.693
c NEW SOLUTION FOUND: 2224 @ 330.882
c NEW SOLUTION FOUND: 2223 @ 331.061
c NEW SOLUTION FOUND: 2222 @ 331.25
c NEW SOLUTION FOUND: 2221 @ 331.433
c NEW SOLUTION FOUND: 2220 @ 331.62
c NEW SOLUTION FOUND: 2219 @ 331.804
c NEW SOLUTION FOUND: 2218 @ 331.994
c NEW SOLUTION FOUND: 2217 @ 332.177
c NEW SOLUTION FOUND: 2216 @ 332.366
c NEW SOLUTION FOUND: 2215 @ 332.551
c NEW SOLUTION FOUND: 2214 @ 332.737
c NEW SOLUTION FOUND: 2213 @ 332.92
c NEW SOLUTION FOUND: 2212 @ 333.106
c NEW SOLUTION FOUND: 2211 @ 333.289
c NEW SOLUTION FOUND: 2210 @ 333.476
c NEW SOLUTION FOUND: 2209 @ 333.66
c NEW SOLUTION FOUND: 2208 @ 333.846
c NEW SOLUTION FOUND: 2207 @ 334.031
c NEW SOLUTION FOUND: 2206 @ 334.215
c NEW SOLUTION FOUND: 2205 @ 334.399
c NEW SOLUTION FOUND: 2204 @ 334.588
c NEW SOLUTION FOUND: 2203 @ 334.764
c NEW SOLUTION FOUND: 2202 @ 334.955
c NEW SOLUTION FOUND: 2201 @ 335.135
c NEW SOLUTION FOUND: 2200 @ 335.324
c NEW SOLUTION FOUND: 2199 @ 335.507
c NEW SOLUTION FOUND: 2198 @ 335.694
c NEW SOLUTION FOUND: 2197 @ 335.875
c NEW SOLUTION FOUND: 2196 @ 336.064
c NEW SOLUTION FOUND: 2195 @ 336.246
c NEW SOLUTION FOUND: 2194 @ 336.435
c NEW SOLUTION FOUND: 2193 @ 336.617
c NEW SOLUTION FOUND: 2192 @ 336.805
c NEW SOLUTION FOUND: 2191 @ 336.988
c NEW SOLUTION FOUND: 2190 @ 337.175
c NEW SOLUTION FOUND: 2189 @ 337.357
c NEW SOLUTION FOUND: 2188 @ 337.545
c NEW SOLUTION FOUND: 2187 @ 337.726
c NEW SOLUTION FOUND: 2186 @ 337.916
c NEW SOLUTION FOUND: 2185 @ 338.097
c NEW SOLUTION FOUND: 2184 @ 338.284
c NEW SOLUTION FOUND: 2183 @ 338.468
c NEW SOLUTION FOUND: 2182 @ 338.658
c NEW SOLUTION FOUND: 2181 @ 338.84
c NEW SOLUTION FOUND: 2180 @ 339.029
c NEW SOLUTION FOUND: 2179 @ 339.211
c NEW SOLUTION FOUND: 2178 @ 339.395
c NEW SOLUTION FOUND: 2177 @ 339.577
c NEW SOLUTION FOUND: 2176 @ 339.761
c NEW SOLUTION FOUND: 2175 @ 339.944
c NEW SOLUTION FOUND: 2174 @ 340.129
c NEW SOLUTION FOUND: 2173 @ 340.311
c NEW SOLUTION FOUND: 2172 @ 340.494
c NEW SOLUTION FOUND: 2171 @ 340.677
c NEW SOLUTION FOUND: 2170 @ 340.861
c NEW SOLUTION FOUND: 2169 @ 341.045
c NEW SOLUTION FOUND: 2168 @ 341.228
c NEW SOLUTION FOUND: 2167 @ 341.405
c NEW SOLUTION FOUND: 2166 @ 341.589
c NEW SOLUTION FOUND: 2165 @ 341.77
c NEW SOLUTION FOUND: 2164 @ 341.956
c NEW SOLUTION FOUND: 2163 @ 342.136
c NEW SOLUTION FOUND: 2162 @ 342.322
c NEW SOLUTION FOUND: 2161 @ 342.504
c NEW SOLUTION FOUND: 2160 @ 342.688
c NEW SOLUTION FOUND: 2159 @ 342.871
c NEW SOLUTION FOUND: 2158 @ 343.054
c NEW SOLUTION FOUND: 2157 @ 343.235
c NEW SOLUTION FOUND: 2156 @ 343.421
c NEW SOLUTION FOUND: 2155 @ 343.604
c NEW SOLUTION FOUND: 2154 @ 343.789
c NEW SOLUTION FOUND: 2153 @ 343.966
c NEW SOLUTION FOUND: 2152 @ 344.153
c NEW SOLUTION FOUND: 2151 @ 344.334
c NEW SOLUTION FOUND: 2150 @ 344.516
c NEW SOLUTION FOUND: 2149 @ 344.696
c NEW SOLUTION FOUND: 2148 @ 344.882
c NEW SOLUTION FOUND: 2147 @ 345.063
c NEW SOLUTION FOUND: 2146 @ 345.25
c NEW SOLUTION FOUND: 2145 @ 345.429
c NEW SOLUTION FOUND: 2144 @ 345.616
c NEW SOLUTION FOUND: 2143 @ 345.794
c NEW SOLUTION FOUND: 2142 @ 345.981
c NEW SOLUTION FOUND: 2141 @ 346.16
c NEW SOLUTION FOUND: 2140 @ 346.341
c NEW SOLUTION FOUND: 2139 @ 346.523
c NEW SOLUTION FOUND: 2138 @ 346.706
c NEW SOLUTION FOUND: 2137 @ 346.888
c NEW SOLUTION FOUND: 2136 @ 347.072
c NEW SOLUTION FOUND: 2135 @ 347.249
c NEW SOLUTION FOUND: 2134 @ 347.436
c NEW SOLUTION FOUND: 2133 @ 347.614
c NEW SOLUTION FOUND: 2132 @ 347.801
c NEW SOLUTION FOUND: 2131 @ 347.982
c NEW SOLUTION FOUND: 2130 @ 348.164
c NEW SOLUTION FOUND: 2129 @ 348.341
c NEW SOLUTION FOUND: 2128 @ 348.525
c NEW SOLUTION FOUND: 2127 @ 348.701
c NEW SOLUTION FOUND: 2126 @ 348.883
c NEW SOLUTION FOUND: 2125 @ 349.06
c NEW SOLUTION FOUND: 2124 @ 349.243
c NEW SOLUTION FOUND: 2123 @ 349.424
c NEW SOLUTION FOUND: 2122 @ 349.608
c NEW SOLUTION FOUND: 2121 @ 349.786
c NEW SOLUTION FOUND: 2120 @ 349.967
c NEW SOLUTION FOUND: 2119 @ 350.147
c NEW SOLUTION FOUND: 2118 @ 350.334
c NEW SOLUTION FOUND: 2117 @ 350.514
c NEW SOLUTION FOUND: 2116 @ 350.696
c NEW SOLUTION FOUND: 2115 @ 350.875
c NEW SOLUTION FOUND: 2114 @ 351.253
c NEW SOLUTION FOUND: 2113 @ 351.444
c NEW SOLUTION FOUND: 2112 @ 351.63
c NEW SOLUTION FOUND: 2111 @ 352.012
c NEW SOLUTION FOUND: 2110 @ 352.213
c NEW SOLUTION FOUND: 2109 @ 352.41
c NEW SOLUTION FOUND: 2108 @ 352.61
c NEW SOLUTION FOUND: 2107 @ 352.808
c NEW SOLUTION FOUND: 2106 @ 353.014
c NEW SOLUTION FOUND: 2105 @ 353.211
c NEW SOLUTION FOUND: 2104 @ 353.417
c NEW SOLUTION FOUND: 2103 @ 353.618
c NEW SOLUTION FOUND: 2102 @ 353.824
c NEW SOLUTION FOUND: 2101 @ 354.024
c NEW SOLUTION FOUND: 2100 @ 354.229
c NEW SOLUTION FOUND: 2099 @ 354.43
c NEW SOLUTION FOUND: 2098 @ 354.629
c NEW SOLUTION FOUND: 2097 @ 354.827
c NEW SOLUTION FOUND: 2096 @ 355.03
c NEW SOLUTION FOUND: 2095 @ 355.227
c NEW SOLUTION FOUND: 2094 @ 355.432
c NEW SOLUTION FOUND: 2093 @ 355.625
c NEW SOLUTION FOUND: 2092 @ 355.825
c NEW SOLUTION FOUND: 2091 @ 356.016
c NEW SOLUTION FOUND: 2090 @ 356.22
c NEW SOLUTION FOUND: 2089 @ 356.412
c NEW SOLUTION FOUND: 2088 @ 356.614
c NEW SOLUTION FOUND: 2087 @ 356.812
c NEW SOLUTION FOUND: 2086 @ 357.017
c NEW SOLUTION FOUND: 2085 @ 357.21
c NEW SOLUTION FOUND: 2084 @ 357.415
c NEW SOLUTION FOUND: 2083 @ 357.609
c NEW SOLUTION FOUND: 2082 @ 357.813
c NEW SOLUTION FOUND: 2081 @ 358.008
c NEW SOLUTION FOUND: 2080 @ 358.214
c NEW SOLUTION FOUND: 2079 @ 358.412
c NEW SOLUTION FOUND: 2078 @ 358.61
c NEW SOLUTION FOUND: 2077 @ 358.809
c NEW SOLUTION FOUND: 2076 @ 359.007
c NEW SOLUTION FOUND: 2075 @ 359.204
c NEW SOLUTION FOUND: 2074 @ 359.408
c NEW SOLUTION FOUND: 2073 @ 359.6
c NEW SOLUTION FOUND: 2072 @ 359.799
c NEW SOLUTION FOUND: 2071 @ 359.999
c NEW SOLUTION FOUND: 2070 @ 360.197
c NEW SOLUTION FOUND: 2069 @ 360.39
c NEW SOLUTION FOUND: 2068 @ 360.592
c NEW SOLUTION FOUND: 2067 @ 360.783
c NEW SOLUTION FOUND: 2066 @ 360.989
c NEW SOLUTION FOUND: 2065 @ 361.181
c NEW SOLUTION FOUND: 2064 @ 361.383
c NEW SOLUTION FOUND: 2063 @ 361.575
c NEW SOLUTION FOUND: 2062 @ 361.773
c NEW SOLUTION FOUND: 2061 @ 361.965
c NEW SOLUTION FOUND: 2060 @ 362.163
c NEW SOLUTION FOUND: 2059 @ 362.36
c NEW SOLUTION FOUND: 2058 @ 362.559
c NEW SOLUTION FOUND: 2057 @ 362.754
c NEW SOLUTION FOUND: 2056 @ 362.951
c NEW SOLUTION FOUND: 2055 @ 363.144
c NEW SOLUTION FOUND: 2054 @ 363.35
c NEW SOLUTION FOUND: 2053 @ 363.545
c NEW SOLUTION FOUND: 2052 @ 363.752
c NEW SOLUTION FOUND: 2051 @ 363.944
c NEW SOLUTION FOUND: 2050 @ 364.149
c NEW SOLUTION FOUND: 2049 @ 364.349
c NEW SOLUTION FOUND: 2048 @ 364.553
c NEW SOLUTION FOUND: 2047 @ 364.75
c NEW SOLUTION FOUND: 2046 @ 364.954
c NEW SOLUTION FOUND: 2045 @ 365.153
c NEW SOLUTION FOUND: 2044 @ 365.355
c NEW SOLUTION FOUND: 2043 @ 365.554
c NEW SOLUTION FOUND: 2042 @ 365.757
c NEW SOLUTION FOUND: 2041 @ 365.954
c NEW SOLUTION FOUND: 2040 @ 366.158
c NEW SOLUTION FOUND: 2039 @ 366.349
c NEW SOLUTION FOUND: 2038 @ 366.55
c NEW SOLUTION FOUND: 2037 @ 366.746
c NEW SOLUTION FOUND: 2036 @ 366.947
c NEW SOLUTION FOUND: 2035 @ 367.142
c NEW SOLUTION FOUND: 2034 @ 367.34
c NEW SOLUTION FOUND: 2033 @ 367.536
c NEW SOLUTION FOUND: 2032 @ 367.737
c NEW SOLUTION FOUND: 2031 @ 367.934
c NEW SOLUTION FOUND: 2030 @ 368.336
c NEW SOLUTION FOUND: 2029 @ 368.54
c NEW SOLUTION FOUND: 2028 @ 368.737
c NEW SOLUTION FOUND: 2027 @ 368.941
c NEW SOLUTION FOUND: 2026 @ 369.137
c NEW SOLUTION FOUND: 2025 @ 369.341
c NEW SOLUTION FOUND: 2024 @ 369.538
c NEW SOLUTION FOUND: 2023 @ 369.741
c NEW SOLUTION FOUND: 2022 @ 369.939
c NEW SOLUTION FOUND: 2021 @ 370.142
c NEW SOLUTION FOUND: 2020 @ 370.34
c NEW SOLUTION FOUND: 2019 @ 370.543
c NEW SOLUTION FOUND: 2018 @ 370.745
c NEW SOLUTION FOUND: 2017 @ 370.948
c NEW SOLUTION FOUND: 2016 @ 371.146
c NEW SOLUTION FOUND: 2015 @ 371.35
c NEW SOLUTION FOUND: 2014 @ 371.549
c NEW SOLUTION FOUND: 2013 @ 371.759
c NEW SOLUTION FOUND: 2012 @ 372.173
c NEW SOLUTION FOUND: 2011 @ 372.385
c NEW SOLUTION FOUND: 2010 @ 372.587
c NEW SOLUTION FOUND: 2009 @ 372.801
c NEW SOLUTION FOUND: 2008 @ 373.005
c NEW SOLUTION FOUND: 2007 @ 373.219
c NEW SOLUTION FOUND: 2006 @ 373.43
c NEW SOLUTION FOUND: 2005 @ 373.638
c NEW SOLUTION FOUND: 2004 @ 373.839
c NEW SOLUTION FOUND: 2003 @ 374.055
c NEW SOLUTION FOUND: 2002 @ 374.264
c NEW SOLUTION FOUND: 2001 @ 374.48
c NEW SOLUTION FOUND: 2000 @ 374.687
c NEW SOLUTION FOUND: 1999 @ 374.902
c NEW SOLUTION FOUND: 1998 @ 375.112
c NEW SOLUTION FOUND: 1997 @ 375.327
c NEW SOLUTION FOUND: 1996 @ 375.533
c NEW SOLUTION FOUND: 1995 @ 375.748
c NEW SOLUTION FOUND: 1994 @ 375.959
c NEW SOLUTION FOUND: 1993 @ 376.167
c NEW SOLUTION FOUND: 1992 @ 376.375
c NEW SOLUTION FOUND: 1991 @ 376.594
c NEW SOLUTION FOUND: 1990 @ 376.812
c NEW SOLUTION FOUND: 1989 @ 377.022
c NEW SOLUTION FOUND: 1988 @ 377.245
c NEW SOLUTION FOUND: 1987 @ 377.456
c NEW SOLUTION FOUND: 1986 @ 377.674
c NEW SOLUTION FOUND: 1985 @ 377.884
c NEW SOLUTION FOUND: 1984 @ 378.102
c NEW SOLUTION FOUND: 1983 @ 378.32
c NEW SOLUTION FOUND: 1982 @ 378.54
c NEW SOLUTION FOUND: 1981 @ 378.751
c NEW SOLUTION FOUND: 1980 @ 378.971
c NEW SOLUTION FOUND: 1979 @ 379.181
c NEW SOLUTION FOUND: 1978 @ 379.401
c NEW SOLUTION FOUND: 1977 @ 379.619
c NEW SOLUTION FOUND: 1976 @ 379.841
c NEW SOLUTION FOUND: 1975 @ 380.059
c NEW SOLUTION FOUND: 1974 @ 380.282
c NEW SOLUTION FOUND: 1973 @ 380.491
c NEW SOLUTION FOUND: 1972 @ 380.705
c NEW SOLUTION FOUND: 1971 @ 380.913
c NEW SOLUTION FOUND: 1970 @ 381.128
c NEW SOLUTION FOUND: 1969 @ 381.335
c NEW SOLUTION FOUND: 1968 @ 381.55
c NEW SOLUTION FOUND: 1967 @ 381.757
c NEW SOLUTION FOUND: 1966 @ 381.973
c NEW SOLUTION FOUND: 1965 @ 382.186
c NEW SOLUTION FOUND: 1964 @ 382.404
c NEW SOLUTION FOUND: 1963 @ 382.62
c NEW SOLUTION FOUND: 1962 @ 382.838
c NEW SOLUTION FOUND: 1961 @ 383.053
c NEW SOLUTION FOUND: 1960 @ 383.272
c NEW SOLUTION FOUND: 1959 @ 383.48
c NEW SOLUTION FOUND: 1958 @ 383.695
c NEW SOLUTION FOUND: 1957 @ 383.905
c NEW SOLUTION FOUND: 1956 @ 384.12
c NEW SOLUTION FOUND: 1955 @ 384.334
c NEW SOLUTION FOUND: 1954 @ 384.555
c NEW SOLUTION FOUND: 1953 @ 384.768
c NEW SOLUTION FOUND: 1952 @ 384.989
c NEW SOLUTION FOUND: 1951 @ 385.201
c NEW SOLUTION FOUND: 1950 @ 385.422
c NEW SOLUTION FOUND: 1949 @ 385.637
c NEW SOLUTION FOUND: 1948 @ 385.856
c NEW SOLUTION FOUND: 1947 @ 386.07
c NEW SOLUTION FOUND: 1946 @ 386.284
c NEW SOLUTION FOUND: 1945 @ 386.495
c NEW SOLUTION FOUND: 1944 @ 386.718
c NEW SOLUTION FOUND: 1943 @ 386.927
c NEW SOLUTION FOUND: 1942 @ 387.149
c NEW SOLUTION FOUND: 1941 @ 387.364
c NEW SOLUTION FOUND: 1940 @ 387.585
c NEW SOLUTION FOUND: 1939 @ 387.799
c NEW SOLUTION FOUND: 1938 @ 388.021
c NEW SOLUTION FOUND: 1937 @ 388.232
c NEW SOLUTION FOUND: 1936 @ 388.452
c NEW SOLUTION FOUND: 1935 @ 388.66
c NEW SOLUTION FOUND: 1934 @ 388.882
c NEW SOLUTION FOUND: 1933 @ 389.096
c NEW SOLUTION FOUND: 1932 @ 389.316
c NEW SOLUTION FOUND: 1931 @ 389.525
c NEW SOLUTION FOUND: 1930 @ 389.75
c NEW SOLUTION FOUND: 1929 @ 389.964
c NEW SOLUTION FOUND: 1928 @ 390.182
c NEW SOLUTION FOUND: 1927 @ 390.389
c NEW SOLUTION FOUND: 1926 @ 390.603
c NEW SOLUTION FOUND: 1925 @ 390.816
c NEW SOLUTION FOUND: 1924 @ 391.033
c NEW SOLUTION FOUND: 1923 @ 391.244
c NEW SOLUTION FOUND: 1922 @ 391.458
c NEW SOLUTION FOUND: 1921 @ 391.664
c NEW SOLUTION FOUND: 1920 @ 391.885
c NEW SOLUTION FOUND: 1919 @ 392.091
c NEW SOLUTION FOUND: 1918 @ 392.308
c NEW SOLUTION FOUND: 1917 @ 392.523
c NEW SOLUTION FOUND: 1916 @ 392.736
c NEW SOLUTION FOUND: 1915 @ 392.952
c NEW SOLUTION FOUND: 1914 @ 393.166
c NEW SOLUTION FOUND: 1913 @ 393.374
c NEW SOLUTION FOUND: 1912 @ 393.595
c NEW SOLUTION FOUND: 1911 @ 393.81
c NEW SOLUTION FOUND: 1910 @ 394.023
c NEW SOLUTION FOUND: 1909 @ 394.237
c NEW SOLUTION FOUND: 1908 @ 394.45
c NEW SOLUTION FOUND: 1907 @ 394.665
c NEW SOLUTION FOUND: 1906 @ 395.106
c NEW SOLUTION FOUND: 1905 @ 395.327
c NEW SOLUTION FOUND: 1904 @ 395.549
c NEW SOLUTION FOUND: 1903 @ 395.779
c NEW SOLUTION FOUND: 1902 @ 396.004
c NEW SOLUTION FOUND: 1901 @ 396.233
c NEW SOLUTION FOUND: 1900 @ 396.449
c NEW SOLUTION FOUND: 1899 @ 396.672
c NEW SOLUTION FOUND: 1898 @ 396.896
c NEW SOLUTION FOUND: 1897 @ 397.338
c NEW SOLUTION FOUND: 1896 @ 397.559
c NEW SOLUTION FOUND: 1895 @ 397.78
c NEW SOLUTION FOUND: 1894 @ 398.002
c NEW SOLUTION FOUND: 1893 @ 398.219
c NEW SOLUTION FOUND: 1892 @ 398.445
c NEW SOLUTION FOUND: 1891 @ 398.665
c NEW SOLUTION FOUND: 1890 @ 398.887
c NEW SOLUTION FOUND: 1889 @ 399.111
c NEW SOLUTION FOUND: 1888 @ 399.339
c NEW SOLUTION FOUND: 1887 @ 399.561
c NEW SOLUTION FOUND: 1886 @ 399.783
c NEW SOLUTION FOUND: 1885 @ 399.999
c NEW SOLUTION FOUND: 1884 @ 400.228
c NEW SOLUTION FOUND: 1883 @ 400.453
c NEW SOLUTION FOUND: 1882 @ 400.683
c NEW SOLUTION FOUND: 1881 @ 400.905
c NEW SOLUTION FOUND: 1880 @ 401.125
c NEW SOLUTION FOUND: 1879 @ 401.342
c NEW SOLUTION FOUND: 1878 @ 401.564
c NEW SOLUTION FOUND: 1877 @ 401.789
c NEW SOLUTION FOUND: 1876 @ 402.014
c NEW SOLUTION FOUND: 1875 @ 402.231
c NEW SOLUTION FOUND: 1874 @ 402.46
c NEW SOLUTION FOUND: 1873 @ 402.676
c NEW SOLUTION FOUND: 1872 @ 402.898
c NEW SOLUTION FOUND: 1871 @ 403.344
c NEW SOLUTION FOUND: 1870 @ 403.567
c NEW SOLUTION FOUND: 1869 @ 403.784
c NEW SOLUTION FOUND: 1868 @ 404.01
c NEW SOLUTION FOUND: 1867 @ 404.235
c NEW SOLUTION FOUND: 1866 @ 404.457
c NEW SOLUTION FOUND: 1865 @ 404.682
c NEW SOLUTION FOUND: 1864 @ 404.906
c NEW SOLUTION FOUND: 1863 @ 405.124
c NEW SOLUTION FOUND: 1862 @ 405.563
c NEW SOLUTION FOUND: 1861 @ 405.794
c NEW SOLUTION FOUND: 1860 @ 406.011
c NEW SOLUTION FOUND: 1859 @ 406.684
c NEW SOLUTION FOUND: 1858 @ 406.908
c NEW SOLUTION FOUND: 1857 @ 407.132
c NEW SOLUTION FOUND: 1856 @ 407.364
c NEW SOLUTION FOUND: 1855 @ 407.583
c NEW SOLUTION FOUND: 1854 @ 407.814
c NEW SOLUTION FOUND: 1853 @ 408.04
c NEW SOLUTION FOUND: 1852 @ 408.268
c NEW SOLUTION FOUND: 1851 @ 408.488
c NEW SOLUTION FOUND: 1850 @ 408.717
c NEW SOLUTION FOUND: 1849 @ 408.934
c NEW SOLUTION FOUND: 1848 @ 409.162
c NEW SOLUTION FOUND: 1847 @ 409.385
c NEW SOLUTION FOUND: 1846 @ 409.61
c NEW SOLUTION FOUND: 1845 @ 409.828
c NEW SOLUTION FOUND: 1844 @ 410.054
c NEW SOLUTION FOUND: 1843 @ 410.275
c NEW SOLUTION FOUND: 1842 @ 410.732
c NEW SOLUTION FOUND: 1841 @ 410.956
c NEW SOLUTION FOUND: 1840 @ 411.174
c NEW SOLUTION FOUND: 1839 @ 411.399
c NEW SOLUTION FOUND: 1838 @ 411.618
c NEW SOLUTION FOUND: 1837 @ 411.845
c NEW SOLUTION FOUND: 1836 @ 412.072
c NEW SOLUTION FOUND: 1835 @ 412.298
c NEW SOLUTION FOUND: 1834 @ 412.517
c NEW SOLUTION FOUND: 1833 @ 412.746
c NEW SOLUTION FOUND: 1832 @ 412.965
c NEW SOLUTION FOUND: 1831 @ 413.199
c NEW SOLUTION FOUND: 1830 @ 413.657
c NEW SOLUTION FOUND: 1829 @ 413.883
c NEW SOLUTION FOUND: 1828 @ 414.108
c NEW SOLUTION FOUND: 1827 @ 414.335
c NEW SOLUTION FOUND: 1826 @ 414.556
c NEW SOLUTION FOUND: 1825 @ 415.241
c NEW SOLUTION FOUND: 1824 @ 415.475
c NEW SOLUTION FOUND: 1823 @ 415.932
c NEW SOLUTION FOUND: 1822 @ 416.392
c NEW SOLUTION FOUND: 1821 @ 416.619
c NEW SOLUTION FOUND: 1820 @ 416.848
c NEW SOLUTION FOUND: 1819 @ 417.307
c NEW SOLUTION FOUND: 1818 @ 417.538
c NEW SOLUTION FOUND: 1817 @ 417.764
c NEW SOLUTION FOUND: 1816 @ 417.997
c NEW SOLUTION FOUND: 1815 @ 418.228
c NEW SOLUTION FOUND: 1814 @ 418.465
c NEW SOLUTION FOUND: 1813 @ 418.696
c NEW SOLUTION FOUND: 1812 @ 418.925
c NEW SOLUTION FOUND: 1811 @ 419.148
c NEW SOLUTION FOUND: 1810 @ 419.383
c NEW SOLUTION FOUND: 1809 @ 419.608
c NEW SOLUTION FOUND: 1808 @ 419.838
c NEW SOLUTION FOUND: 1807 @ 420.066
c NEW SOLUTION FOUND: 1806 @ 420.294
c NEW SOLUTION FOUND: 1805 @ 420.522
c NEW SOLUTION FOUND: 1804 @ 420.75
c NEW SOLUTION FOUND: 1803 @ 420.979
c NEW SOLUTION FOUND: 1802 @ 421.209
c NEW SOLUTION FOUND: 1801 @ 421.437
c NEW SOLUTION FOUND: 1800 @ 421.898
c NEW SOLUTION FOUND: 1799 @ 422.135
c NEW SOLUTION FOUND: 1798 @ 422.357
c NEW SOLUTION FOUND: 1797 @ 422.807
c NEW SOLUTION FOUND: 1796 @ 423.259
c NEW SOLUTION FOUND: 1795 @ 423.496
c NEW SOLUTION FOUND: 1794 @ 423.725
c NEW SOLUTION FOUND: 1793 @ 423.964
c NEW SOLUTION FOUND: 1792 @ 424.194
c NEW SOLUTION FOUND: 1791 @ 424.423
c NEW SOLUTION FOUND: 1790 @ 424.653
c NEW SOLUTION FOUND: 1789 @ 424.891
c NEW SOLUTION FOUND: 1788 @ 425.118
c NEW SOLUTION FOUND: 1787 @ 425.347
c NEW SOLUTION FOUND: 1786 @ 425.58
c NEW SOLUTION FOUND: 1785 @ 425.811
c NEW SOLUTION FOUND: 1784 @ 426.038
c NEW SOLUTION FOUND: 1783 @ 426.274
c NEW SOLUTION FOUND: 1782 @ 426.507
c NEW SOLUTION FOUND: 1781 @ 426.743
c NEW SOLUTION FOUND: 1780 @ 426.977
c NEW SOLUTION FOUND: 1779 @ 427.211
c NEW SOLUTION FOUND: 1778 @ 427.439
c NEW SOLUTION FOUND: 1777 @ 427.674
c NEW SOLUTION FOUND: 1776 @ 427.905
c NEW SOLUTION FOUND: 1775 @ 428.139
c NEW SOLUTION FOUND: 1774 @ 428.369
c NEW SOLUTION FOUND: 1773 @ 428.605
c NEW SOLUTION FOUND: 1772 @ 428.834
c NEW SOLUTION FOUND: 1771 @ 429.063
c NEW SOLUTION FOUND: 1770 @ 429.292
c NEW SOLUTION FOUND: 1769 @ 429.529
c NEW SOLUTION FOUND: 1768 @ 429.758
c NEW SOLUTION FOUND: 1767 @ 429.996
c NEW SOLUTION FOUND: 1766 @ 430.219
c NEW SOLUTION FOUND: 1765 @ 430.45
c NEW SOLUTION FOUND: 1764 @ 430.677
c NEW SOLUTION FOUND: 1763 @ 430.914
c NEW SOLUTION FOUND: 1762 @ 431.142
c NEW SOLUTION FOUND: 1761 @ 431.378
c NEW SOLUTION FOUND: 1760 @ 431.61
c NEW SOLUTION FOUND: 1759 @ 431.839
c NEW SOLUTION FOUND: 1758 @ 432.071
c NEW SOLUTION FOUND: 1757 @ 432.299
c NEW SOLUTION FOUND: 1756 @ 432.527
c NEW SOLUTION FOUND: 1755 @ 432.759
c NEW SOLUTION FOUND: 1754 @ 432.987
c NEW SOLUTION FOUND: 1753 @ 433.223
c NEW SOLUTION FOUND: 1752 @ 433.453
c NEW SOLUTION FOUND: 1751 @ 433.932
c NEW SOLUTION FOUND: 1750 @ 434.174
c NEW SOLUTION FOUND: 1749 @ 434.415
c NEW SOLUTION FOUND: 1748 @ 434.657
c NEW SOLUTION FOUND: 1747 @ 434.902
c NEW SOLUTION FOUND: 1746 @ 435.14
c NEW SOLUTION FOUND: 1745 @ 435.374
c NEW SOLUTION FOUND: 1744 @ 435.612
c NEW SOLUTION FOUND: 1743 @ 435.849
c NEW SOLUTION FOUND: 1742 @ 436.091
c NEW SOLUTION FOUND: 1741 @ 436.327
c NEW SOLUTION FOUND: 1740 @ 436.566
c NEW SOLUTION FOUND: 1739 @ 436.808
c NEW SOLUTION FOUND: 1738 @ 437.047
c NEW SOLUTION FOUND: 1737 @ 437.29
c NEW SOLUTION FOUND: 1736 @ 437.528
c NEW SOLUTION FOUND: 1735 @ 437.766
c NEW SOLUTION FOUND: 1734 @ 438.005
c NEW SOLUTION FOUND: 1733 @ 438.243
c NEW SOLUTION FOUND: 1732 @ 438.491
c NEW SOLUTION FOUND: 1731 @ 438.732
c NEW SOLUTION FOUND: 1730 @ 438.98
c NEW SOLUTION FOUND: 1729 @ 439.225
c NEW SOLUTION FOUND: 1728 @ 439.463
c NEW SOLUTION FOUND: 1727 @ 439.708
c NEW SOLUTION FOUND: 1726 @ 439.956
c NEW SOLUTION FOUND: 1725 @ 440.199
c NEW SOLUTION FOUND: 1724 @ 440.446
c NEW SOLUTION FOUND: 1723 @ 440.689
c NEW SOLUTION FOUND: 1722 @ 440.936
c NEW SOLUTION FOUND: 1721 @ 441.178
c NEW SOLUTION FOUND: 1720 @ 441.426
c NEW SOLUTION FOUND: 1719 @ 441.671
c NEW SOLUTION FOUND: 1718 @ 441.919
c NEW SOLUTION FOUND: 1717 @ 442.156
c NEW SOLUTION FOUND: 1716 @ 442.401
c NEW SOLUTION FOUND: 1715 @ 442.646
c NEW SOLUTION FOUND: 1714 @ 442.894
c NEW SOLUTION FOUND: 1713 @ 443.13
c NEW SOLUTION FOUND: 1712 @ 443.373
c NEW SOLUTION FOUND: 1711 @ 443.612
c NEW SOLUTION FOUND: 1710 @ 443.861
c NEW SOLUTION FOUND: 1709 @ 444.098
c NEW SOLUTION FOUND: 1708 @ 444.337
c NEW SOLUTION FOUND: 1707 @ 444.58
c NEW SOLUTION FOUND: 1706 @ 444.822
c NEW SOLUTION FOUND: 1705 @ 445.06
c NEW SOLUTION FOUND: 1704 @ 445.299
c NEW SOLUTION FOUND: 1703 @ 445.534
c NEW SOLUTION FOUND: 1702 @ 445.78
c NEW SOLUTION FOUND: 1701 @ 446.02
c NEW SOLUTION FOUND: 1700 @ 446.262
c NEW SOLUTION FOUND: 1699 @ 446.502
c NEW SOLUTION FOUND: 1698 @ 446.743
c NEW SOLUTION FOUND: 1697 @ 446.977
c NEW SOLUTION FOUND: 1696 @ 447.216
c NEW SOLUTION FOUND: 1695 @ 447.458
c NEW SOLUTION FOUND: 1694 @ 447.699
c NEW SOLUTION FOUND: 1693 @ 447.94
c NEW SOLUTION FOUND: 1692 @ 448.181
c NEW SOLUTION FOUND: 1691 @ 448.424
c NEW SOLUTION FOUND: 1690 @ 448.662
c NEW SOLUTION FOUND: 1689 @ 448.901
c NEW SOLUTION FOUND: 1688 @ 449.146
c NEW SOLUTION FOUND: 1687 @ 449.384
c NEW SOLUTION FOUND: 1686 @ 449.624
c NEW SOLUTION FOUND: 1685 @ 449.869
c NEW SOLUTION FOUND: 1684 @ 450.109
c NEW SOLUTION FOUND: 1683 @ 450.348
c NEW SOLUTION FOUND: 1682 @ 450.595
c NEW SOLUTION FOUND: 1681 @ 450.833
c NEW SOLUTION FOUND: 1680 @ 451.081
c NEW SOLUTION FOUND: 1679 @ 451.322
c NEW SOLUTION FOUND: 1678 @ 451.569
c NEW SOLUTION FOUND: 1677 @ 451.807
c NEW SOLUTION FOUND: 1676 @ 452.049
c NEW SOLUTION FOUND: 1675 @ 452.285
c NEW SOLUTION FOUND: 1674 @ 452.52
c NEW SOLUTION FOUND: 1673 @ 452.756
c NEW SOLUTION FOUND: 1672 @ 452.999
c NEW SOLUTION FOUND: 1671 @ 453.232
c NEW SOLUTION FOUND: 1670 @ 453.473
c NEW SOLUTION FOUND: 1669 @ 453.706
c NEW SOLUTION FOUND: 1668 @ 453.949
c NEW SOLUTION FOUND: 1667 @ 454.191
c NEW SOLUTION FOUND: 1666 @ 454.432
c NEW SOLUTION FOUND: 1665 @ 454.673
c NEW SOLUTION FOUND: 1664 @ 454.91
c NEW SOLUTION FOUND: 1663 @ 455.15
c NEW SOLUTION FOUND: 1662 @ 455.392
c NEW SOLUTION FOUND: 1661 @ 455.627
c NEW SOLUTION FOUND: 1660 @ 455.87
c NEW SOLUTION FOUND: 1659 @ 456.114
c NEW SOLUTION FOUND: 1658 @ 456.36
c NEW SOLUTION FOUND: 1657 @ 456.595
c NEW SOLUTION FOUND: 1656 @ 456.838
c NEW SOLUTION FOUND: 1655 @ 457.076
c NEW SOLUTION FOUND: 1654 @ 457.318
c NEW SOLUTION FOUND: 1653 @ 457.557
c NEW SOLUTION FOUND: 1652 @ 457.797
c NEW SOLUTION FOUND: 1651 @ 458.041
c NEW SOLUTION FOUND: 1650 @ 458.28
c NEW SOLUTION FOUND: 1649 @ 459.022
c NEW SOLUTION FOUND: 1648 @ 459.277
c NEW SOLUTION FOUND: 1647 @ 459.533
c NEW SOLUTION FOUND: 1646 @ 459.784
c NEW SOLUTION FOUND: 1645 @ 460.032
c NEW SOLUTION FOUND: 1644 @ 460.287
c NEW SOLUTION FOUND: 1643 @ 460.54
c NEW SOLUTION FOUND: 1642 @ 460.799
c NEW SOLUTION FOUND: 1641 @ 461.05
c NEW SOLUTION FOUND: 1640 @ 461.312
c NEW SOLUTION FOUND: 1639 @ 461.562
c NEW SOLUTION FOUND: 1638 @ 461.825
c NEW SOLUTION FOUND: 1637 @ 462.08
c NEW SOLUTION FOUND: 1636 @ 462.341
c NEW SOLUTION FOUND: 1635 @ 462.601
c NEW SOLUTION FOUND: 1634 @ 462.862
c NEW SOLUTION FOUND: 1633 @ 463.112
c NEW SOLUTION FOUND: 1632 @ 463.372
c NEW SOLUTION FOUND: 1631 @ 463.619
c NEW SOLUTION FOUND: 1630 @ 463.878
c NEW SOLUTION FOUND: 1629 @ 464.124
c NEW SOLUTION FOUND: 1628 @ 464.627
c NEW SOLUTION FOUND: 1627 @ 464.878
c NEW SOLUTION FOUND: 1626 @ 465.13
c NEW SOLUTION FOUND: 1625 @ 465.634
c NEW SOLUTION FOUND: 1624 @ 465.887
c NEW SOLUTION FOUND: 1623 @ 466.137
c NEW SOLUTION FOUND: 1622 @ 466.392
c NEW SOLUTION FOUND: 1621 @ 467.145
c NEW SOLUTION FOUND: 1620 @ 467.651
c NEW SOLUTION FOUND: 1619 @ 467.908
c NEW SOLUTION FOUND: 1618 @ 468.163
c NEW SOLUTION FOUND: 1617 @ 468.423
c NEW SOLUTION FOUND: 1616 @ 468.672
c NEW SOLUTION FOUND: 1615 @ 468.932
c NEW SOLUTION FOUND: 1614 @ 469.183
c NEW SOLUTION FOUND: 1613 @ 469.443
c NEW SOLUTION FOUND: 1612 @ 469.959
c NEW SOLUTION FOUND: 1611 @ 470.218
c NEW SOLUTION FOUND: 1610 @ 470.732
c NEW SOLUTION FOUND: 1609 @ 470.993
c NEW SOLUTION FOUND: 1608 @ 471.251
c NEW SOLUTION FOUND: 1607 @ 471.51
c NEW SOLUTION FOUND: 1606 @ 471.765
c NEW SOLUTION FOUND: 1605 @ 472.027
c NEW SOLUTION FOUND: 1604 @ 472.286
c NEW SOLUTION FOUND: 1603 @ 472.541
c NEW SOLUTION FOUND: 1602 @ 472.796
c NEW SOLUTION FOUND: 1601 @ 473.057
c NEW SOLUTION FOUND: 1600 @ 474.091
c NEW SOLUTION FOUND: 1599 @ 474.357
c NEW SOLUTION FOUND: 1598 @ 474.879
c NEW SOLUTION FOUND: 1597 @ 475.401
c NEW SOLUTION FOUND: 1596 @ 475.663
c NEW SOLUTION FOUND: 1595 @ 476.453
c NEW SOLUTION FOUND: 1594 @ 476.718
c NEW SOLUTION FOUND: 1593 @ 476.972
c NEW SOLUTION FOUND: 1592 @ 477.236
c NEW SOLUTION FOUND: 1591 @ 477.495
c NEW SOLUTION FOUND: 1590 @ 477.76
c NEW SOLUTION FOUND: 1589 @ 478.018
c NEW SOLUTION FOUND: 1588 @ 478.288
c NEW SOLUTION FOUND: 1587 @ 478.806
c NEW SOLUTION FOUND: 1586 @ 479.069
c NEW SOLUTION FOUND: 1585 @ 479.856
c NEW SOLUTION FOUND: 1584 @ 480.128
c NEW SOLUTION FOUND: 1583 @ 480.386
c NEW SOLUTION FOUND: 1582 @ 480.653
c NEW SOLUTION FOUND: 1581 @ 480.912
c NEW SOLUTION FOUND: 1580 @ 481.181
c NEW SOLUTION FOUND: 1579 @ 482.244
c NEW SOLUTION FOUND: 1578 @ 482.513
c NEW SOLUTION FOUND: 1577 @ 482.773
c NEW SOLUTION FOUND: 1576 @ 483.043
c NEW SOLUTION FOUND: 1575 @ 483.58
c NEW SOLUTION FOUND: 1574 @ 483.843
c NEW SOLUTION FOUND: 1573 @ 484.101
c NEW SOLUTION FOUND: 1572 @ 484.367
c NEW SOLUTION FOUND: 1571 @ 485.163
c NEW SOLUTION FOUND: 1570 @ 486.237
c NEW SOLUTION FOUND: 1569 @ 487.322
c NEW SOLUTION FOUND: 1568 @ 487.591
c NEW SOLUTION FOUND: 1567 @ 487.856
c NEW SOLUTION FOUND: 1566 @ 488.128
c NEW SOLUTION FOUND: 1565 @ 488.667
c NEW SOLUTION FOUND: 1564 @ 488.936
c NEW SOLUTION FOUND: 1563 @ 489.204
c NEW SOLUTION FOUND: 1562 @ 489.478
c NEW SOLUTION FOUND: 1561 @ 489.754
c NEW SOLUTION FOUND: 1560 @ 490.291
c NEW SOLUTION FOUND: 1559 @ 490.835
c NEW SOLUTION FOUND: 1558 @ 491.105
c NEW SOLUTION FOUND: 1557 @ 491.658
c NEW SOLUTION FOUND: 1556 @ 491.933
c NEW SOLUTION FOUND: 1555 @ 493.042
c NEW SOLUTION FOUND: 1554 @ 493.314
c NEW SOLUTION FOUND: 1553 @ 493.589
c NEW SOLUTION FOUND: 1552 @ 494.139
c NEW SOLUTION FOUND: 1551 @ 494.419
c NEW SOLUTION FOUND: 1550 @ 495.25
c NEW SOLUTION FOUND: 1549 @ 495.525
c NEW SOLUTION FOUND: 1548 @ 495.805
c NEW SOLUTION FOUND: 1547 @ 496.628
c NEW SOLUTION FOUND: 1546 @ 496.904
c NEW SOLUTION FOUND: 1545 @ 497.177
c NEW SOLUTION FOUND: 1544 @ 497.455
c NEW SOLUTION FOUND: 1543 @ 497.726
c NEW SOLUTION FOUND: 1542 @ 498.005
c NEW SOLUTION FOUND: 1541 @ 498.285
c NEW SOLUTION FOUND: 1540 @ 498.851
c NEW SOLUTION FOUND: 1539 @ 499.137
c NEW SOLUTION FOUND: 1538 @ 499.418
c NEW SOLUTION FOUND: 1537 @ 499.705
c NEW SOLUTION FOUND: 1536 @ 499.989
c NEW SOLUTION FOUND: 1535 @ 500.278
c NEW SOLUTION FOUND: 1534 @ 500.561
c NEW SOLUTION FOUND: 1533 @ 501.119
c NEW SOLUTION FOUND: 1532 @ 501.405
c NEW SOLUTION FOUND: 1531 @ 501.683
c NEW SOLUTION FOUND: 1530 @ 501.963
c NEW SOLUTION FOUND: 1529 @ 502.237
c NEW SOLUTION FOUND: 1528 @ 502.525
c NEW SOLUTION FOUND: 1527 @ 502.807
c NEW SOLUTION FOUND: 1526 @ 503.087
c NEW SOLUTION FOUND: 1525 @ 503.369
c NEW SOLUTION FOUND: 1524 @ 503.655
c NEW SOLUTION FOUND: 1523 @ 503.937
c NEW SOLUTION FOUND: 1522 @ 504.224
c NEW SOLUTION FOUND: 1521 @ 504.497
c NEW SOLUTION FOUND: 1520 @ 504.787
c NEW SOLUTION FOUND: 1519 @ 505.078
c NEW SOLUTION FOUND: 1518 @ 505.364
c NEW SOLUTION FOUND: 1517 @ 505.646
c NEW SOLUTION FOUND: 1516 @ 505.925
c NEW SOLUTION FOUND: 1514 @ 506.209
c NEW SOLUTION FOUND: 1513 @ 506.498
c NEW SOLUTION FOUND: 1512 @ 506.782
c NEW SOLUTION FOUND: 1511 @ 507.068
c NEW SOLUTION FOUND: 1510 @ 507.351
c NEW SOLUTION FOUND: 1509 @ 507.641
c NEW SOLUTION FOUND: 1508 @ 507.932
c NEW SOLUTION FOUND: 1507 @ 508.215
c NEW SOLUTION FOUND: 1506 @ 508.511
c NEW SOLUTION FOUND: 1505 @ 508.797
c NEW SOLUTION FOUND: 1504 @ 509.078
c NEW SOLUTION FOUND: 1503 @ 509.357
c NEW SOLUTION FOUND: 1502 @ 509.64
c NEW SOLUTION FOUND: 1501 @ 509.923
c NEW SOLUTION FOUND: 1500 @ 510.213
c NEW SOLUTION FOUND: 1499 @ 510.499
c NEW SOLUTION FOUND: 1498 @ 510.783
c NEW SOLUTION FOUND: 1497 @ 511.067
c NEW SOLUTION FOUND: 1496 @ 511.358
c NEW SOLUTION FOUND: 1495 @ 511.636
c NEW SOLUTION FOUND: 1494 @ 511.922
c NEW SOLUTION FOUND: 1493 @ 512.197
c NEW SOLUTION FOUND: 1492 @ 512.489
c NEW SOLUTION FOUND: 1491 @ 512.767
c NEW SOLUTION FOUND: 1490 @ 513.05
c NEW SOLUTION FOUND: 1489 @ 513.326
c NEW SOLUTION FOUND: 1488 @ 513.605
c NEW SOLUTION FOUND: 1487 @ 513.883
c NEW SOLUTION FOUND: 1486 @ 514.167
c NEW SOLUTION FOUND: 1485 @ 514.446
c NEW SOLUTION FOUND: 1484 @ 514.729
c NEW SOLUTION FOUND: 1483 @ 515.007
c NEW SOLUTION FOUND: 1482 @ 515.292
c NEW SOLUTION FOUND: 1481 @ 515.571
c NEW SOLUTION FOUND: 1480 @ 515.851
c NEW SOLUTION FOUND: 1479 @ 516.129
c NEW SOLUTION FOUND: 1478 @ 516.413
c NEW SOLUTION FOUND: 1477 @ 516.696
c NEW SOLUTION FOUND: 1476 @ 516.988
c NEW SOLUTION FOUND: 1475 @ 517.274
c NEW SOLUTION FOUND: 1474 @ 517.554
c NEW SOLUTION FOUND: 1473 @ 517.844
c NEW SOLUTION FOUND: 1472 @ 518.131
c NEW SOLUTION FOUND: 1471 @ 518.424
c NEW SOLUTION FOUND: 1470 @ 518.71
c NEW SOLUTION FOUND: 1469 @ 519.001
c NEW SOLUTION FOUND: 1468 @ 519.281
c NEW SOLUTION FOUND: 1467 @ 519.569
c NEW SOLUTION FOUND: 1466 @ 519.86
c NEW SOLUTION FOUND: 1465 @ 520.148
c NEW SOLUTION FOUND: 1464 @ 520.433
c NEW SOLUTION FOUND: 1463 @ 520.724
c NEW SOLUTION FOUND: 1462 @ 521.015
c NEW SOLUTION FOUND: 1461 @ 521.308
c NEW SOLUTION FOUND: 1460 @ 521.6
c NEW SOLUTION FOUND: 1459 @ 521.894
c NEW SOLUTION FOUND: 1458 @ 522.184
c NEW SOLUTION FOUND: 1457 @ 522.477
c NEW SOLUTION FOUND: 1456 @ 522.768
c NEW SOLUTION FOUND: 1455 @ 523.06
c NEW SOLUTION FOUND: 1454 @ 523.352
c NEW SOLUTION FOUND: 1453 @ 523.648
c NEW SOLUTION FOUND: 1452 @ 523.936
c NEW SOLUTION FOUND: 1451 @ 524.23
c NEW SOLUTION FOUND: 1450 @ 524.516
c NEW SOLUTION FOUND: 1449 @ 524.808
c NEW SOLUTION FOUND: 1448 @ 525.093
c NEW SOLUTION FOUND: 1447 @ 525.376
c NEW SOLUTION FOUND: 1446 @ 525.659
c NEW SOLUTION FOUND: 1445 @ 525.947
c NEW SOLUTION FOUND: 1444 @ 526.234
c NEW SOLUTION FOUND: 1443 @ 526.53
c NEW SOLUTION FOUND: 1442 @ 526.82
c NEW SOLUTION FOUND: 1441 @ 527.116
c NEW SOLUTION FOUND: 1440 @ 527.408
c NEW SOLUTION FOUND: 1439 @ 527.705
c NEW SOLUTION FOUND: 1438 @ 527.991
c NEW SOLUTION FOUND: 1437 @ 528.289
c NEW SOLUTION FOUND: 1436 @ 528.581
c NEW SOLUTION FOUND: 1435 @ 528.877
c NEW SOLUTION FOUND: 1434 @ 529.161
c NEW SOLUTION FOUND: 1433 @ 529.448
c NEW SOLUTION FOUND: 1432 @ 529.732
c NEW SOLUTION FOUND: 1431 @ 530.02
c NEW SOLUTION FOUND: 1430 @ 530.304
c NEW SOLUTION FOUND: 1429 @ 530.592
c NEW SOLUTION FOUND: 1428 @ 530.875
c NEW SOLUTION FOUND: 1427 @ 531.168
c NEW SOLUTION FOUND: 1426 @ 531.46
c NEW SOLUTION FOUND: 1425 @ 531.758
c NEW SOLUTION FOUND: 1424 @ 532.048
c NEW SOLUTION FOUND: 1423 @ 532.339
c NEW SOLUTION FOUND: 1422 @ 532.63
c NEW SOLUTION FOUND: 1421 @ 532.92
c NEW SOLUTION FOUND: 1420 @ 533.21
c NEW SOLUTION FOUND: 1419 @ 533.49
c NEW SOLUTION FOUND: 1418 @ 533.781
c NEW SOLUTION FOUND: 1417 @ 536.13
c NEW SOLUTION FOUND: 1416 @ 537.715
c NEW SOLUTION FOUND: 1415 @ 538.293
c NEW SOLUTION FOUND: 1414 @ 538.941
c NEW SOLUTION FOUND: 1413 @ 539.857
c NEW SOLUTION FOUND: 1412 @ 540.452
c NEW SOLUTION FOUND: 1411 @ 541.114
c NEW SOLUTION FOUND: 1410 @ 541.702
c NEW SOLUTION FOUND: 1409 @ 542.084
c NEW SOLUTION FOUND: 1408 @ 542.391
c NEW SOLUTION FOUND: 1407 @ 542.699
c NEW SOLUTION FOUND: 1406 @ 543.005
c NEW SOLUTION FOUND: 1405 @ 543.311
c NEW SOLUTION FOUND: 1404 @ 543.615
c NEW SOLUTION FOUND: 1403 @ 543.915
c NEW SOLUTION FOUND: 1402 @ 544.219
c NEW SOLUTION FOUND: 1401 @ 544.525
c NEW SOLUTION FOUND: 1400 @ 544.829
c NEW SOLUTION FOUND: 1399 @ 545.139
c NEW SOLUTION FOUND: 1398 @ 545.444
c NEW SOLUTION FOUND: 1397 @ 545.74
c NEW SOLUTION FOUND: 1396 @ 546.044
c NEW SOLUTION FOUND: 1395 @ 546.339
c NEW SOLUTION FOUND: 1394 @ 546.722
c NEW SOLUTION FOUND: 1393 @ 547.041
c NEW SOLUTION FOUND: 1392 @ 547.348
c NEW SOLUTION FOUND: 1391 @ 547.646
c NEW SOLUTION FOUND: 1390 @ 547.941
c NEW SOLUTION FOUND: 1389 @ 548.25
c NEW SOLUTION FOUND: 1388 @ 548.551
c NEW SOLUTION FOUND: 1387 @ 548.853
c NEW SOLUTION FOUND: 1386 @ 549.158
c NEW SOLUTION FOUND: 1385 @ 549.47
c NEW SOLUTION FOUND: 1384 @ 549.769
c NEW SOLUTION FOUND: 1383 @ 550.393
c NEW SOLUTION FOUND: 1382 @ 550.71
c NEW SOLUTION FOUND: 1381 @ 551.025
c NEW SOLUTION FOUND: 1380 @ 551.341
c NEW SOLUTION FOUND: 1379 @ 551.645
c NEW SOLUTION FOUND: 1378 @ 551.958
c NEW SOLUTION FOUND: 1377 @ 552.264
c NEW SOLUTION FOUND: 1376 @ 552.576
c NEW SOLUTION FOUND: 1375 @ 553.203
c NEW SOLUTION FOUND: 1374 @ 553.52
c NEW SOLUTION FOUND: 1373 @ 553.839
c NEW SOLUTION FOUND: 1372 @ 554.178
c NEW SOLUTION FOUND: 1371 @ 554.49
c NEW SOLUTION FOUND: 1370 @ 554.811
c NEW SOLUTION FOUND: 1369 @ 555.135
c NEW SOLUTION FOUND: 1368 @ 555.457
c NEW SOLUTION FOUND: 1367 @ 555.784
c NEW SOLUTION FOUND: 1366 @ 556.112
c NEW SOLUTION FOUND: 1365 @ 556.436
c NEW SOLUTION FOUND: 1364 @ 556.754
c NEW SOLUTION FOUND: 1363 @ 557.07
c NEW SOLUTION FOUND: 1362 @ 557.396
c NEW SOLUTION FOUND: 1361 @ 557.722
c NEW SOLUTION FOUND: 1360 @ 558.052
c NEW SOLUTION FOUND: 1359 @ 558.387
c NEW SOLUTION FOUND: 1358 @ 558.714
c NEW SOLUTION FOUND: 1357 @ 559.048
c NEW SOLUTION FOUND: 1356 @ 559.383
c NEW SOLUTION FOUND: 1355 @ 559.705
c NEW SOLUTION FOUND: 1354 @ 560.032
c NEW SOLUTION FOUND: 1353 @ 560.354
c NEW SOLUTION FOUND: 1352 @ 560.682
c NEW SOLUTION FOUND: 1351 @ 561.001
c NEW SOLUTION FOUND: 1350 @ 561.318
c NEW SOLUTION FOUND: 1349 @ 561.642
c NEW SOLUTION FOUND: 1348 @ 561.96
c NEW SOLUTION FOUND: 1347 @ 562.281
c NEW SOLUTION FOUND: 1346 @ 562.598
c NEW SOLUTION FOUND: 1345 @ 562.918
c NEW SOLUTION FOUND: 1344 @ 563.233
c NEW SOLUTION FOUND: 1343 @ 563.552
c NEW SOLUTION FOUND: 1342 @ 563.875
c NEW SOLUTION FOUND: 1341 @ 564.194
c NEW SOLUTION FOUND: 1340 @ 564.513
c NEW SOLUTION FOUND: 1339 @ 564.83
c NEW SOLUTION FOUND: 1338 @ 565.148
c NEW SOLUTION FOUND: 1337 @ 565.463
c NEW SOLUTION FOUND: 1336 @ 565.793
c NEW SOLUTION FOUND: 1335 @ 566.125
c NEW SOLUTION FOUND: 1334 @ 566.451
c NEW SOLUTION FOUND: 1333 @ 566.771
c NEW SOLUTION FOUND: 1331 @ 567.507
c NEW SOLUTION FOUND: 1330 @ 567.874
c NEW SOLUTION FOUND: 1329 @ 568.235
c NEW SOLUTION FOUND: 1328 @ 568.602
c NEW SOLUTION FOUND: 1327 @ 568.952
c NEW SOLUTION FOUND: 1326 @ 569.31
c NEW SOLUTION FOUND: 1325 @ 569.663
c NEW SOLUTION FOUND: 1324 @ 570.016
c NEW SOLUTION FOUND: 1323 @ 570.377
c NEW SOLUTION FOUND: 1322 @ 570.742
c NEW SOLUTION FOUND: 1321 @ 571.101
c NEW SOLUTION FOUND: 1320 @ 571.453
c NEW SOLUTION FOUND: 1319 @ 571.814
c NEW SOLUTION FOUND: 1318 @ 572.166
c NEW SOLUTION FOUND: 1317 @ 572.895
c NEW SOLUTION FOUND: 1316 @ 573.263
c NEW SOLUTION FOUND: 1315 @ 573.618
c NEW SOLUTION FOUND: 1314 @ 573.982
c NEW SOLUTION FOUND: 1313 @ 574.339
c NEW SOLUTION FOUND: 1312 @ 574.704
c NEW SOLUTION FOUND: 1311 @ 575.06
c NEW SOLUTION FOUND: 1310 @ 575.423
c NEW SOLUTION FOUND: 1309 @ 575.782
c NEW SOLUTION FOUND: 1308 @ 576.139
c NEW SOLUTION FOUND: 1307 @ 576.859
c NEW SOLUTION FOUND: 1306 @ 577.222
c NEW SOLUTION FOUND: 1305 @ 577.576
c NEW SOLUTION FOUND: 1304 @ 577.937
c NEW SOLUTION FOUND: 1303 @ 578.298
c NEW SOLUTION FOUND: 1302 @ 578.667
c NEW SOLUTION FOUND: 1301 @ 579.032
c NEW SOLUTION FOUND: 1300 @ 579.39
c NEW SOLUTION FOUND: 1299 @ 579.755
c NEW SOLUTION FOUND: 1298 @ 580.134
c NEW SOLUTION FOUND: 1297 @ 580.513
c NEW SOLUTION FOUND: 1296 @ 580.888
c NEW SOLUTION FOUND: 1295 @ 581.262
c NEW SOLUTION FOUND: 1294 @ 581.638
c NEW SOLUTION FOUND: 1293 @ 582.012
c NEW SOLUTION FOUND: 1292 @ 582.379
c NEW SOLUTION FOUND: 1291 @ 582.756
c NEW SOLUTION FOUND: 1290 @ 583.516
c NEW SOLUTION FOUND: 1289 @ 583.896
c NEW SOLUTION FOUND: 1288 @ 585.418
c NEW SOLUTION FOUND: 1287 @ 585.801
c NEW SOLUTION FOUND: 1286 @ 586.57
c NEW SOLUTION FOUND: 1285 @ 587.333
c NEW SOLUTION FOUND: 1284 @ 587.719
c NEW SOLUTION FOUND: 1283 @ 588.504
c NEW SOLUTION FOUND: 1282 @ 588.899
c NEW SOLUTION FOUND: 1281 @ 589.286
c NEW SOLUTION FOUND: 1280 @ 590.065
c NEW SOLUTION FOUND: 1279 @ 591.237
c NEW SOLUTION FOUND: 1278 @ 591.635
c NEW SOLUTION FOUND: 1277 @ 592.029
c NEW SOLUTION FOUND: 1276 @ 592.429
c NEW SOLUTION FOUND: 1275 @ 592.832
c NEW SOLUTION FOUND: 1274 @ 593.231
c NEW SOLUTION FOUND: 1272 @ 593.625
c NEW SOLUTION FOUND: 1271 @ 594.816
c NEW SOLUTION FOUND: 1270 @ 595.602
c NEW SOLUTION FOUND: 1269 @ 596
c NEW SOLUTION FOUND: 1268 @ 596.392
c NEW SOLUTION FOUND: 1267 @ 596.788
c NEW SOLUTION FOUND: 1266 @ 597.185
c NEW SOLUTION FOUND: 1265 @ 597.585
c NEW SOLUTION FOUND: 1264 @ 597.99
c NEW SOLUTION FOUND: 1263 @ 598.393
c NEW SOLUTION FOUND: 1262 @ 599.595
c NEW SOLUTION FOUND: 1261 @ 600.401
c NEW SOLUTION FOUND: 1260 @ 600.802
c NEW SOLUTION FOUND: 1259 @ 601.205
c NEW SOLUTION FOUND: 1258 @ 602.011
c NEW SOLUTION FOUND: 1257 @ 602.414
c NEW SOLUTION FOUND: 1256 @ 603.222
c NEW SOLUTION FOUND: 1255 @ 604.836
c NEW SOLUTION FOUND: 1254 @ 605.666
c NEW SOLUTION FOUND: 1253 @ 606.915
c NEW SOLUTION FOUND: 1252 @ 608.158
c NEW SOLUTION FOUND: 1251 @ 608.584
c NEW SOLUTION FOUND: 1250 @ 609.01
c NEW SOLUTION FOUND: 1249 @ 609.829
c NEW SOLUTION FOUND: 1248 @ 610.253
c NEW SOLUTION FOUND: 1247 @ 611.093
c NEW SOLUTION FOUND: 1246 @ 613.641
c NEW SOLUTION FOUND: 1245 @ 614.07
c NEW SOLUTION FOUND: 1244 @ 614.9
c NEW SOLUTION FOUND: 1243 @ 615.757
c NEW SOLUTION FOUND: 1242 @ 616.174
c NEW SOLUTION FOUND: 1241 @ 616.589
c NEW SOLUTION FOUND: 1240 @ 617.853
c NEW SOLUTION FOUND: 1239 @ 618.273
c NEW SOLUTION FOUND: 1238 @ 618.71
c NEW SOLUTION FOUND: 1237 @ 619.544
c NEW SOLUTION FOUND: 1236 @ 619.964
c NEW SOLUTION FOUND: 1235 @ 620.388
c NEW SOLUTION FOUND: 1234 @ 620.822
c NEW SOLUTION FOUND: 1233 @ 622.539
c NEW SOLUTION FOUND: 1232 @ 625.134
c NEW SOLUTION FOUND: 1231 @ 625.57
c NEW SOLUTION FOUND: 1230 @ 625.999
c NEW SOLUTION FOUND: 1229 @ 626.426
c NEW SOLUTION FOUND: 1228 @ 626.86
c NEW SOLUTION FOUND: 1227 @ 627.284
c NEW SOLUTION FOUND: 1226 @ 628.139
c NEW SOLUTION FOUND: 1225 @ 629.842
c NEW SOLUTION FOUND: 1224 @ 630.276
c NEW SOLUTION FOUND: 1223 @ 630.698
c NEW SOLUTION FOUND: 1222 @ 631.126
c NEW SOLUTION FOUND: 1221 @ 631.564
c NEW SOLUTION FOUND: 1220 @ 632.006
c NEW SOLUTION FOUND: 1219 @ 632.448
c NEW SOLUTION FOUND: 1218 @ 632.891
c NEW SOLUTION FOUND: 1217 @ 633.335
c NEW SOLUTION FOUND: 1216 @ 633.774
c NEW SOLUTION FOUND: 1215 @ 634.217
c NEW SOLUTION FOUND: 1214 @ 634.653
c NEW SOLUTION FOUND: 1213 @ 635.093
c NEW SOLUTION FOUND: 1212 @ 635.529
c NEW SOLUTION FOUND: 1211 @ 635.974
c NEW SOLUTION FOUND: 1210 @ 636.409
c NEW SOLUTION FOUND: 1209 @ 636.847
c NEW SOLUTION FOUND: 1208 @ 637.72
c NEW SOLUTION FOUND: 1207 @ 638.606
c NEW SOLUTION FOUND: 1206 @ 639.051
c NEW SOLUTION FOUND: 1205 @ 639.497
c NEW SOLUTION FOUND: 1204 @ 639.948
c NEW SOLUTION FOUND: 1203 @ 640.398
c NEW SOLUTION FOUND: 1202 @ 640.849
c NEW SOLUTION FOUND: 1201 @ 641.294
c NEW SOLUTION FOUND: 1200 @ 641.743
c NEW SOLUTION FOUND: 1199 @ 642.188
c NEW SOLUTION FOUND: 1198 @ 642.638
c NEW SOLUTION FOUND: 1197 @ 643.555
c NEW SOLUTION FOUND: 1196 @ 644.018
c NEW SOLUTION FOUND: 1195 @ 644.95
c NEW SOLUTION FOUND: 1194 @ 645.423
c NEW SOLUTION FOUND: 1193 @ 645.891
c NEW SOLUTION FOUND: 1192 @ 646.368
c NEW SOLUTION FOUND: 1191 @ 646.838
c NEW SOLUTION FOUND: 1190 @ 647.304
c NEW SOLUTION FOUND: 1189 @ 647.774
c NEW SOLUTION FOUND: 1188 @ 648.246
c NEW SOLUTION FOUND: 1187 @ 648.722
c NEW SOLUTION FOUND: 1186 @ 649.205
c NEW SOLUTION FOUND: 1185 @ 649.687
c NEW SOLUTION FOUND: 1184 @ 650.164
c NEW SOLUTION FOUND: 1183 @ 650.644
c NEW SOLUTION FOUND: 1182 @ 652.198
c NEW SOLUTION FOUND: 1181 @ 652.726
c NEW SOLUTION FOUND: 1180 @ 653.254
c NEW SOLUTION FOUND: 1179 @ 654.378
c NEW SOLUTION FOUND: 1178 @ 654.946
c NEW SOLUTION FOUND: 1177 @ 655.507
c NEW SOLUTION FOUND: 1176 @ 656.061
c NEW SOLUTION FOUND: 1175 @ 656.616
c NEW SOLUTION FOUND: 1174 @ 657.174
c NEW SOLUTION FOUND: 1173 @ 657.724
c NEW SOLUTION FOUND: 1172 @ 658.279
c NEW SOLUTION FOUND: 1171 @ 658.83
c NEW SOLUTION FOUND: 1170 @ 659.38
c NEW SOLUTION FOUND: 1169 @ 659.929
c NEW SOLUTION FOUND: 1168 @ 660.481
c NEW SOLUTION FOUND: 1167 @ 661.033
c NEW SOLUTION FOUND: 1166 @ 661.6
c NEW SOLUTION FOUND: 1165 @ 662.167
c NEW SOLUTION FOUND: 1164 @ 662.739
c NEW SOLUTION FOUND: 1163 @ 663.313
c NEW SOLUTION FOUND: 1162 @ 663.889
c NEW SOLUTION FOUND: 1161 @ 664.472
c NEW SOLUTION FOUND: 1160 @ 665.057
c NEW SOLUTION FOUND: 1159 @ 665.615
c NEW SOLUTION FOUND: 1158 @ 666.174
c NEW SOLUTION FOUND: 1157 @ 666.736
c NEW SOLUTION FOUND: 1156 @ 667.308
c NEW SOLUTION FOUND: 1155 @ 667.88
c NEW SOLUTION FOUND: 1154 @ 668.447
c NEW SOLUTION FOUND: 1153 @ 669.035
c NEW SOLUTION FOUND: 1152 @ 669.608
c NEW SOLUTION FOUND: 1151 @ 670.186
c NEW SOLUTION FOUND: 1150 @ 670.762
c NEW SOLUTION FOUND: 1149 @ 671.907
c NEW SOLUTION FOUND: 1148 @ 672.484
c NEW SOLUTION FOUND: 1147 @ 673.057
c NEW SOLUTION FOUND: 1146 @ 674.216
c NEW SOLUTION FOUND: 1145 @ 674.8
c NEW SOLUTION FOUND: 1144 @ 675.388
c NEW SOLUTION FOUND: 1143 @ 675.977
c NEW SOLUTION FOUND: 1142 @ 676.563
c NEW SOLUTION FOUND: 1141 @ 677.154
c NEW SOLUTION FOUND: 1140 @ 677.733
c NEW SOLUTION FOUND: 1139 @ 678.317
c NEW SOLUTION FOUND: 1137 @ 678.917
c NEW SOLUTION FOUND: 1136 @ 679.517
c NEW SOLUTION FOUND: 1135 @ 680.119
c NEW SOLUTION FOUND: 1134 @ 680.729
c NEW SOLUTION FOUND: 1133 @ 681.328
c NEW SOLUTION FOUND: 1132 @ 681.935
c NEW SOLUTION FOUND: 1131 @ 682.549
c NEW SOLUTION FOUND: 1130 @ 684.383
c NEW SOLUTION FOUND: 1129 @ 684.99
c NEW SOLUTION FOUND: 1128 @ 686.213
c NEW SOLUTION FOUND: 1127 @ 686.825
c NEW SOLUTION FOUND: 1125 @ 688.051
c NEW SOLUTION FOUND: 1124 @ 688.664
c NEW SOLUTION FOUND: 1123 @ 689.26
c NEW SOLUTION FOUND: 1122 @ 689.89
c NEW SOLUTION FOUND: 1121 @ 691.296
c NEW SOLUTION FOUND: 1120 @ 691.929
c NEW SOLUTION FOUND: 1119 @ 692.556
c NEW SOLUTION FOUND: 1118 @ 696.795
c NEW SOLUTION FOUND: 1117 @ 700.881
c NEW SOLUTION FOUND: 1116 @ 701.568
c NEW SOLUTION FOUND: 1115 @ 711.017
c NEW SOLUTION FOUND: 1114 @ 713.946
c NEW SOLUTION FOUND: 1113 @ 716.916
c NEW SOLUTION FOUND: 1112 @ 720.761
c NEW SOLUTION FOUND: 1110 @ 728.195
c NEW SOLUTION FOUND: 1109 @ 739.421
c NEW SOLUTION FOUND: 1108 @ 742.022
c NEW SOLUTION FOUND: 1107 @ 745.334
c NEW SOLUTION FOUND: 1106 @ 749.592
c NEW SOLUTION FOUND: 1105 @ 752.162
c NEW SOLUTION FOUND: 1104 @ 753.787
c NEW SOLUTION FOUND: 1103 @ 754.607
c NEW SOLUTION FOUND: 1102 @ 756.394
c NEW SOLUTION FOUND: 1101 @ 759.684
c NEW SOLUTION FOUND: 1099 @ 760.496
c NEW SOLUTION FOUND: 1098 @ 761.323
c NEW SOLUTION FOUND: 1097 @ 763.813
c NEW SOLUTION FOUND: 1096 @ 764.641
c NEW SOLUTION FOUND: 1095 @ 765.469
c NEW SOLUTION FOUND: 1094 @ 766.302
c NEW SOLUTION FOUND: 1093 @ 767.991
c NEW SOLUTION FOUND: 1092 @ 768.851
c NEW SOLUTION FOUND: 1091 @ 770.809
c NEW SOLUTION FOUND: 1090 @ 771.846
c NEW SOLUTION FOUND: 1089 @ 772.736
c NEW SOLUTION FOUND: 1088 @ 773.608
c NEW SOLUTION FOUND: 1087 @ 774.47
c NEW SOLUTION FOUND: 1086 @ 775.487
c NEW SOLUTION FOUND: 1085 @ 776.347
c NEW SOLUTION FOUND: 1084 @ 777.223
c NEW SOLUTION FOUND: 1083 @ 778.106
c NEW SOLUTION FOUND: 1082 @ 778.98
c NEW SOLUTION FOUND: 1081 @ 779.859
c NEW SOLUTION FOUND: 1080 @ 781.76
c NEW SOLUTION FOUND: 1079 @ 783.499
c NEW SOLUTION FOUND: 1078 @ 786.479
c NEW SOLUTION FOUND: 1077 @ 790.195
c NEW SOLUTION FOUND: 1076 @ 792.126
c NEW SOLUTION FOUND: 1075 @ 793.94
c NEW SOLUTION FOUND: 1074 @ 795.024
c NEW SOLUTION FOUND: 1073 @ 796.154
c NEW SOLUTION FOUND: 1072 @ 797.078
c NEW SOLUTION FOUND: 1071 @ 799.973
c NEW SOLUTION FOUND: 1070 @ 800.944
c NEW SOLUTION FOUND: 1069 @ 801.894
c NEW SOLUTION FOUND: 1068 @ 803.014
c NEW SOLUTION FOUND: 1067 @ 803.97
c NEW SOLUTION FOUND: 1066 @ 805.896
c NEW SOLUTION FOUND: 1064 @ 808.008
c NEW SOLUTION FOUND: 1063 @ 809.205
c NEW SOLUTION FOUND: 1062 @ 810.395
c NEW SOLUTION FOUND: 1061 @ 811.58
c NEW SOLUTION FOUND: 1060 @ 813.82
c NEW SOLUTION FOUND: 1059 @ 818.693
c NEW SOLUTION FOUND: 1058 @ 821.941
c NEW SOLUTION FOUND: 1057 @ 823.196
c NEW SOLUTION FOUND: 1056 @ 825.803
c NEW SOLUTION FOUND: 1054 @ 828.071
c NEW SOLUTION FOUND: 1053 @ 829.227
c NEW SOLUTION FOUND: 1052 @ 830.322
c NEW SOLUTION FOUND: 1051 @ 831.476
c NEW SOLUTION FOUND: 1050 @ 832.625
c NEW SOLUTION FOUND: 1049 @ 833.967
c NEW SOLUTION FOUND: 1048 @ 835.167
c NEW SOLUTION FOUND: 1047 @ 837.606
c NEW SOLUTION FOUND: 1046 @ 840.169
c NEW SOLUTION FOUND: 1045 @ 842.612
c NEW SOLUTION FOUND: 1044 @ 846.169
c NEW SOLUTION FOUND: 1043 @ 848.5
c NEW SOLUTION FOUND: 1042 @ 849.734
c NEW SOLUTION FOUND: 1040 @ 854.706
c NEW SOLUTION FOUND: 1039 @ 857.143
c NEW SOLUTION FOUND: 1038 @ 860.776
c NEW SOLUTION FOUND: 1037 @ 862.166
c NEW SOLUTION FOUND: 1036 @ 865.847
c NEW SOLUTION FOUND: 1034 @ 867.11
c NEW SOLUTION FOUND: 1033 @ 869.653
c NEW SOLUTION FOUND: 1032 @ 870.973
c NEW SOLUTION FOUND: 1031 @ 872.228
c NEW SOLUTION FOUND: 1030 @ 873.493
c NEW SOLUTION FOUND: 1029 @ 874.777
c NEW SOLUTION FOUND: 1028 @ 877.312
c NEW SOLUTION FOUND: 1027 @ 878.585
c NEW SOLUTION FOUND: 1026 @ 879.847
c NEW SOLUTION FOUND: 1025 @ 881.114
c NEW SOLUTION FOUND: 1024 @ 882.367
c NEW SOLUTION FOUND: 1023 @ 883.61
c NEW SOLUTION FOUND: 1022 @ 884.846
c NEW SOLUTION FOUND: 1021 @ 886.136
c NEW SOLUTION FOUND: 1019 @ 888.727
c NEW SOLUTION FOUND: 1018 @ 890.022
c NEW SOLUTION FOUND: 1017 @ 892.531
c NEW SOLUTION FOUND: 1016 @ 895.087
c NEW SOLUTION FOUND: 1015 @ 897.599
c NEW SOLUTION FOUND: 1014 @ 898.852
c NEW SOLUTION FOUND: 1013 @ 900.167
c NEW SOLUTION FOUND: 1012 @ 901.453
c NEW SOLUTION FOUND: 1011 @ 902.752
c NEW SOLUTION FOUND: 1010 @ 904.046
c NEW SOLUTION FOUND: 1009 @ 905.362
c NEW SOLUTION FOUND: 1008 @ 906.7
c NEW SOLUTION FOUND: 1007 @ 909.452
c NEW SOLUTION FOUND: 1006 @ 912.127
c NEW SOLUTION FOUND: 1005 @ 914.821
c NEW SOLUTION FOUND: 1004 @ 916.198
c NEW SOLUTION FOUND: 1003 @ 917.486
c NEW SOLUTION FOUND: 1002 @ 918.805
c NEW SOLUTION FOUND: 1001 @ 920.164
c NEW SOLUTION FOUND: 1000 @ 921.701
c NEW SOLUTION FOUND: 999 @ 924.432
c NEW SOLUTION FOUND: 998 @ 925.776
c NEW SOLUTION FOUND: 997 @ 929.953
c NEW SOLUTION FOUND: 996 @ 934.001
c NEW SOLUTION FOUND: 995 @ 935.348
c NEW SOLUTION FOUND: 993 @ 938.043
c NEW SOLUTION FOUND: 992 @ 939.445
c NEW SOLUTION FOUND: 991 @ 942.359
c NEW SOLUTION FOUND: 990 @ 943.808
c NEW SOLUTION FOUND: 989 @ 946.669
c NEW SOLUTION FOUND: 988 @ 948.032
c NEW SOLUTION FOUND: 987 @ 949.438
c NEW SOLUTION FOUND: 986 @ 950.848
c NEW SOLUTION FOUND: 985 @ 952.19
c NEW SOLUTION FOUND: 984 @ 953.591
c NEW SOLUTION FOUND: 983 @ 954.969
c NEW SOLUTION FOUND: 982 @ 956.33
c NEW SOLUTION FOUND: 981 @ 957.691
c NEW SOLUTION FOUND: 980 @ 959.107
c NEW SOLUTION FOUND: 979 @ 960.48
c NEW SOLUTION FOUND: 978 @ 961.864
c NEW SOLUTION FOUND: 977 @ 963.259
c NEW SOLUTION FOUND: 976 @ 967.579
c NEW SOLUTION FOUND: 975 @ 968.984
c NEW SOLUTION FOUND: 974 @ 970.422
c NEW SOLUTION FOUND: 973 @ 971.845
c NEW SOLUTION FOUND: 972 @ 973.259
c NEW SOLUTION FOUND: 970 @ 974.707
c NEW SOLUTION FOUND: 969 @ 977.617
c NEW SOLUTION FOUND: 968 @ 980.548
c NEW SOLUTION FOUND: 967 @ 982.016
c NEW SOLUTION FOUND: 966 @ 985.082
c NEW SOLUTION FOUND: 965 @ 987.971
c NEW SOLUTION FOUND: 963 @ 989.468
c NEW SOLUTION FOUND: 962 @ 991.048
c NEW SOLUTION FOUND: 961 @ 992.527
c NEW SOLUTION FOUND: 960 @ 993.982
c NEW SOLUTION FOUND: 959 @ 995.423
c NEW SOLUTION FOUND: 958 @ 996.883
c NEW SOLUTION FOUND: 957 @ 998.365
c NEW SOLUTION FOUND: 956 @ 1001.35
c NEW SOLUTION FOUND: 955 @ 1010.26
c NEW SOLUTION FOUND: 954 @ 1011.8
c NEW SOLUTION FOUND: 953 @ 1013.29
c NEW SOLUTION FOUND: 952 @ 1016.53
c NEW SOLUTION FOUND: 951 @ 1021
c NEW SOLUTION FOUND: 950 @ 1022.53
c NEW SOLUTION FOUND: 949 @ 1024.03
c NEW SOLUTION FOUND: 947 @ 1028.86
c NEW SOLUTION FOUND: 946 @ 1033.53
c NEW SOLUTION FOUND: 945 @ 1035.15
c NEW SOLUTION FOUND: 944 @ 1038.37
c NEW SOLUTION FOUND: 943 @ 1041.51
c NEW SOLUTION FOUND: 942 @ 1043.1
c NEW SOLUTION FOUND: 941 @ 1046.22
c NEW SOLUTION FOUND: 940 @ 1053.01
c NEW SOLUTION FOUND: 938 @ 1056.11
c NEW SOLUTION FOUND: 937 @ 1057.73
c NEW SOLUTION FOUND: 936 @ 1059.3
c NEW SOLUTION FOUND: 935 @ 1060.92
c NEW SOLUTION FOUND: 934 @ 1062.62
c NEW SOLUTION FOUND: 933 @ 1064.2
c NEW SOLUTION FOUND: 932 @ 1065.8
c NEW SOLUTION FOUND: 931 @ 1069.05
c NEW SOLUTION FOUND: 930 @ 1070.65
c NEW SOLUTION FOUND: 929 @ 1072.29
c NEW SOLUTION FOUND: 928 @ 1073.91
c NEW SOLUTION FOUND: 927 @ 1075.52
c NEW SOLUTION FOUND: 926 @ 1077.17
c NEW SOLUTION FOUND: 925 @ 1078.79
c NEW SOLUTION FOUND: 924 @ 1080.65
c NEW SOLUTION FOUND: 923 @ 1085.44
c NEW SOLUTION FOUND: 922 @ 1092.14
c NEW SOLUTION FOUND: 921 @ 1098.79
c NEW SOLUTION FOUND: 920 @ 1102.08
c NEW SOLUTION FOUND: 919 @ 1115.02
c NEW SOLUTION FOUND: 918 @ 1126.34
c NEW SOLUTION FOUND: 917 @ 1135.44
c NEW SOLUTION FOUND: 916 @ 1145.08
c NEW SOLUTION FOUND: 914 @ 1156.04
c NEW SOLUTION FOUND: 913 @ 1163.28
c NEW SOLUTION FOUND: 912 @ 1170.95
c NEW SOLUTION FOUND: 911 @ 1180.07
c NEW SOLUTION FOUND: 910 @ 1181.79
c NEW SOLUTION FOUND: 909 @ 1183.52
c NEW SOLUTION FOUND: 908 @ 1188.84
c NEW SOLUTION FOUND: 907 @ 1190.63
c NEW SOLUTION FOUND: 906 @ 1192.36
c NEW SOLUTION FOUND: 905 @ 1194.23
c NEW SOLUTION FOUND: 904 @ 1196.05
c NEW SOLUTION FOUND: 903 @ 1199.59
#### 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.84 0.94 0.90 1/55 24620
Raw data (stat): 24620 (runsolver) R 24619 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846489957 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.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 3192 0 0 0 988 9 0 0 25 0 1 0 846489957 16289792 3101 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3977 3101 1111 63 0 3914 0
vsize: 15908
[startup+19.9999 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 3192 0 0 0 1988 9 0 0 25 0 1 0 846489957 16289792 3101 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3977 3101 1111 63 0 3914 0
vsize: 15908
[startup+30.0007 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 7733 0 0 0 2978 20 0 0 25 0 1 0 846489957 34893824 7642 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8519 7642 1111 63 0 8456 0
vsize: 34076
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 7733 0 0 0 3978 20 0 0 25 0 1 0 846489957 34893824 7642 4294967295 134512640 134716908 3221224576 3221223316 134630799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8519 7642 1111 63 0 8456 0
vsize: 34076
[startup+50.0013 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 7733 0 0 0 4978 20 0 0 25 0 1 0 846489957 34893824 7642 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8519 7642 1111 63 0 8456 0
vsize: 34076
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 7733 0 0 0 5979 20 0 0 25 0 1 0 846489957 34893824 7642 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8519 7642 1111 63 0 8456 0
vsize: 34076
[startup+70.0012 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 7733 0 0 0 6979 20 0 0 25 0 1 0 846489957 34893824 7642 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8519 7642 1111 63 0 8456 0
vsize: 34076
[startup+80.0016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 13471 0 3 0 7960 32 0 0 25 0 1 0 846489957 38486016 8394 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9396 8394 1111 63 0 9333 0
vsize: 37584
[startup+90.0016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 14732 0 3 0 8952 39 0 0 25 0 1 0 846489957 36483072 8186 4294967295 134512640 134716908 3221224576 3221222928 1074115296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8907 8186 1111 63 0 8844 0
vsize: 35628
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 16141 0 3 0 9945 47 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 17369 0 3 0 10937 54 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223096 1077378438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 18521 0 3 0 11931 59 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222736 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 19561 0 3 0 12927 64 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 20513 0 3 0 13920 70 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222864 1074206892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 21377 0 3 0 14916 75 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223136 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 22129 0 3 0 15912 78 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222724 1077379982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 22777 0 3 0 16908 82 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 23361 0 3 0 17906 84 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 23913 0 3 0 18903 87 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223368 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 24425 0 3 0 19900 91 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 24905 0 3 0 20897 94 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 25369 0 3 0 21895 96 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222688 1074867283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 25829 0 3 0 22893 99 0 0 25 0 1 0 846489957 37158912 8191 4294967295 134512640 134716908 3221224576 3221221008 1075119627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9072 8191 1111 63 0 9009 0
vsize: 36288
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 26277 0 3 0 23891 101 0 0 25 0 1 0 846489957 37158912 8191 4294967295 134512640 134716908 3221224576 3221220848 1074799107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9072 8191 1111 63 0 9009 0
vsize: 36288
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 26713 0 3 0 24889 103 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 27145 0 3 0 25887 105 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223168 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 27565 0 3 0 26886 106 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 27985 0 3 0 27884 108 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223120 134551235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 28385 0 3 0 28882 111 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 28793 0 3 0 29880 113 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 29225 0 3 0 30878 115 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 29665 0 3 0 31877 116 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 30101 0 3 0 32875 118 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 30537 0 3 0 33873 121 0 0 25 0 1 0 846489957 37158912 8191 4294967295 134512640 134716908 3221224576 3221221560 1074831812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9072 8191 1111 63 0 9009 0
vsize: 36288
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 30969 0 3 0 34870 123 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222576 1074916750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 31467 0 3 0 35868 125 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 31977 0 3 0 36866 128 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223108 1077757726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 32447 0 3 0 37863 130 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 32912 0 3 0 38862 132 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 33367 0 3 0 39859 135 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 33817 0 3 0 40857 137 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222508 1074207168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 34257 0 3 0 41856 139 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 34687 0 3 0 42854 141 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222856 1077410285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 35117 0 3 0 43852 143 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223152 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 35527 0 3 0 44851 145 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222792 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 35945 0 3 0 45849 147 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 36425 0 3 0 46848 149 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223152 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 36881 0 3 0 47845 151 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222864 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 37325 0 3 0 48844 152 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 37763 0 3 0 49843 154 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221223024 1074039475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 38399 0 3 0 50840 157 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 39421 0 3 0 51837 160 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222928 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 40495 0 3 0 52834 163 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222576 1074918198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 41793 0 3 0 53830 167 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 42985 0 3 0 54826 171 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222928 1074153751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 44055 0 3 0 55823 174 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222480 1075460087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 45636 0 3 0 56820 178 0 0 25 0 1 0 846489957 37609472 8270 4294967295 134512640 134716908 3221224576 3221221504 1075960440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9182 8270 1111 63 0 9119 0
vsize: 36728
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 48136 0 3 0 57814 184 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 49318 0 3 0 58810 188 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 49894 0 3 0 59808 190 0 0 25 0 1 0 846489957 37609472 8197 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9182 8197 1111 63 0 9119 0
vsize: 36728
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 50453 0 3 0 60806 192 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 51052 0 3 0 61804 195 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 51670 0 3 0 62803 196 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 52307 0 3 0 63801 198 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 52915 0 3 0 64800 200 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 53542 0 3 0 65797 202 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 54119 0 3 0 66795 204 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 54717 0 3 0 67793 207 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 55349 0 3 0 68791 209 0 0 25 0 1 0 846489957 36483072 8187 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8907 8187 1111 63 0 8844 0
vsize: 35628
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 57034 0 3 0 69787 213 0 0 25 0 1 0 846489957 36589568 8213 4294967295 134512640 134716908 3221224576 3221222928 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8933 8213 1111 63 0 8870 0
vsize: 35732
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 59175 0 3 0 70783 217 0 0 25 0 1 0 846489957 38313984 8305 4294967295 134512640 134716908 3221224576 3221220804 1075114923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9354 8305 1111 63 0 9291 0
vsize: 37416
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 61886 0 3 0 71775 225 0 0 25 0 1 0 846489957 36700160 8240 4294967295 134512640 134716908 3221224576 3221222488 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8995 8241 1111 63 0 8932 0
vsize: 35840
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 64540 0 3 0 72769 232 0 0 25 0 1 0 846489957 36589568 8213 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8933 8213 1111 63 0 8870 0
vsize: 35732
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 67025 0 3 0 73763 238 0 0 25 0 1 0 846489957 36589568 8213 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8933 8213 1111 63 0 8870 0
vsize: 35732
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 70080 0 3 0 74754 247 0 0 25 0 1 0 846489957 36528128 8198 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8918 8198 1111 63 0 8855 0
vsize: 35672
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 72816 0 3 0 75745 256 0 0 25 0 1 0 846489957 36528128 8198 4294967295 134512640 134716908 3221224576 3221222928 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8918 8198 1111 63 0 8855 0
vsize: 35672
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 75218 0 3 0 76738 263 0 0 25 0 1 0 846489957 36528128 8198 4294967295 134512640 134716908 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8918 8198 1111 63 0 8855 0
vsize: 35672
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 77933 0 3 0 77732 270 0 0 25 0 1 0 846489957 36528128 8198 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8918 8198 1111 63 0 8855 0
vsize: 35672
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 80646 0 3 0 78724 278 0 0 25 0 1 0 846489957 36528128 8198 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8918 8198 1111 63 0 8855 0
vsize: 35672
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 83648 0 3 0 79717 285 0 0 25 0 1 0 846489957 36528128 8198 4294967295 134512640 134716908 3221224576 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8918 8198 1111 63 0 8855 0
vsize: 35672
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 86535 0 3 0 80711 292 0 0 25 0 1 0 846489957 37199872 8287 4294967295 134512640 134716908 3221224576 3221222416 1075798488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9082 8287 1111 63 0 9019 0
vsize: 36328
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 90217 0 3 0 81702 301 0 0 25 0 1 0 846489957 36913152 8292 4294967295 134512640 134716908 3221224576 3221222584 1077374647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9012 8292 1111 63 0 8949 0
vsize: 36048
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 92583 0 3 0 82696 307 0 0 25 0 1 0 846489957 36913152 8292 4294967295 134512640 134716908 3221224576 3221222756 1074206148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9012 8292 1111 63 0 8949 0
vsize: 36048
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 94795 0 3 0 83690 313 0 0 25 0 1 0 846489957 37548032 8369 4294967295 134512640 134716908 3221224576 3221222496 1075799638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9167 8369 1111 63 0 9104 0
vsize: 36668
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 96549 0 3 0 84686 317 0 0 25 0 1 0 846489957 36966400 8305 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9025 8305 1111 63 0 8962 0
vsize: 36100
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 98438 0 3 0 85681 322 0 0 25 0 1 0 846489957 36966400 8305 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9025 8305 1111 63 0 8962 0
vsize: 36100
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 100392 0 3 0 86676 327 0 0 25 0 1 0 846489957 36966400 8305 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9025 8305 1111 63 0 8962 0
vsize: 36100
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 102157 0 3 0 87672 332 0 0 25 0 1 0 846489957 36966400 8305 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9025 8305 1111 63 0 8962 0
vsize: 36100
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 103930 0 3 0 88668 336 0 0 25 0 1 0 846489957 36966400 8305 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9025 8305 1111 63 0 8962 0
vsize: 36100
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 105678 0 3 0 89664 340 0 0 25 0 1 0 846489957 38887424 8442 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9494 8442 1111 63 0 9431 0
vsize: 37976
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 107525 0 3 0 90660 345 0 0 25 0 1 0 846489957 36966400 8305 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9025 8305 1111 63 0 8962 0
vsize: 36100
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 109535 0 3 0 91655 350 0 0 25 0 1 0 846489957 38875136 8462 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9491 8462 1111 63 0 9428 0
vsize: 37964
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 112122 0 3 0 92648 356 0 0 25 0 1 0 846489957 36995072 8312 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8312 1111 63 0 8969 0
vsize: 36128
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 114380 0 3 0 93643 361 0 0 25 0 1 0 846489957 36995072 8312 4294967295 134512640 134716908 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8312 1111 63 0 8969 0
vsize: 36128
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 116969 0 3 0 94636 368 0 0 25 0 1 0 846489957 36995072 8312 4294967295 134512640 134716908 3221224576 3221222912 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8312 1111 63 0 8969 0
vsize: 36128
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 119730 0 3 0 95630 375 0 0 25 0 1 0 846489957 36995072 8312 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8312 1111 63 0 8969 0
vsize: 36128
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 122718 0 3 0 96622 383 0 0 25 0 1 0 846489957 37130240 8319 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9065 8319 1111 63 0 9002 0
vsize: 36260
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 126046 0 3 0 97614 391 0 0 25 0 1 0 846489957 37425152 8387 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8387 1111 63 0 9074 0
vsize: 36548
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 129477 0 3 0 98606 399 0 0 25 0 1 0 846489957 37310464 8389 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9109 8389 1111 63 0 9046 0
vsize: 36436
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 132749 0 3 0 99598 408 0 0 25 0 1 0 846489957 37957632 8508 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9267 8508 1111 63 0 9204 0
vsize: 37068
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 135397 0 3 0 100592 414 0 0 25 0 1 0 846489957 38055936 8539 4294967295 134512640 134716908 3221224576 3221222576 1074916785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9291 8539 1111 63 0 9228 0
vsize: 37164
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 139277 0 3 0 101585 421 0 0 25 0 1 0 846489957 37380096 8406 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9126 8406 1111 63 0 9063 0
vsize: 36504
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 142774 0 3 0 102577 429 0 0 25 0 1 0 846489957 37761024 8469 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 8469 1111 63 0 9156 0
vsize: 36876
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 146339 0 3 0 103567 439 0 0 25 0 1 0 846489957 37638144 8469 4294967295 134512640 134716908 3221224576 3221221532 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9189 8469 1111 63 0 9126 0
vsize: 36756
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 149342 0 3 0 104560 446 0 0 25 0 1 0 846489957 37801984 8478 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9229 8478 1111 63 0 9166 0
vsize: 36916
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 153391 0 3 0 105550 456 0 0 25 0 1 0 846489957 37974016 8521 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9271 8521 1111 63 0 9208 0
vsize: 37084
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 156246 0 3 0 106545 462 0 0 25 0 1 0 846489957 37974016 8551 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9271 8551 1111 63 0 9208 0
vsize: 37084
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 159200 0 3 0 107538 469 0 0 25 0 1 0 846489957 37974016 8551 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9271 8551 1111 63 0 9208 0
vsize: 37084
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 162814 0 3 0 108530 477 0 0 25 0 1 0 846489957 38109184 8560 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9304 8560 1111 63 0 9241 0
vsize: 37216
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 166116 0 3 0 109523 484 0 0 25 0 1 0 846489957 38182912 8578 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9322 8578 1111 63 0 9259 0
vsize: 37288
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 169975 0 3 0 110514 493 0 0 25 0 1 0 846489957 38187008 8576 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9323 8576 1111 63 0 9260 0
vsize: 37292
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 173989 0 3 0 111504 503 0 0 25 0 1 0 846489957 38342656 8614 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9361 8621 1111 63 0 9298 0
vsize: 37444
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 177923 0 3 0 112494 514 0 0 25 0 1 0 846489957 38137856 8571 4294967295 134512640 134716908 3221224576 3221221488 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9311 8571 1111 63 0 9248 0
vsize: 37244
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 181809 0 3 0 113486 522 0 0 25 0 1 0 846489957 38330368 8609 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9358 8609 1111 63 0 9295 0
vsize: 37432
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 185490 0 3 0 114478 530 0 0 25 0 1 0 846489957 39383040 8787 4294967295 134512640 134716908 3221224576 3221222304 1075828462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9615 8787 1111 63 0 9552 0
vsize: 38460
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 189413 0 3 0 115468 540 0 0 25 0 1 0 846489957 38350848 8643 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9363 8643 1111 63 0 9300 0
vsize: 37452
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 193612 0 3 0 116459 550 0 0 25 0 1 0 846489957 38445056 8666 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9386 8666 1111 63 0 9323 0
vsize: 37544
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 196660 0 3 0 117451 558 0 0 25 0 1 0 846489957 38428672 8662 4294967295 134512640 134716908 3221224576 3221222840 1074143434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9382 8662 1111 63 0 9319 0
vsize: 37528
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 199332 0 3 0 118446 563 0 0 25 0 1 0 846489957 38506496 8681 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 8681 1111 63 0 9338 0
vsize: 37604
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) R 24619 8378 8377 0 -1 0 202201 0 3 0 119440 570 0 0 25 0 1 0 846489957 38699008 8698 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9448 8698 1111 63 0 9385 0
vsize: 37792
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 24620
Raw data (stat): 24620 (bsolo_lpr_cuts-) Z 24619 8378 8377 0 -1 1036 202201 0 3 0 119440 571 0 0 25 0 1 0 846489957 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.12
CPU user time (s): 1194.4
CPU system time (s): 5.71713
CPU usage (%): 100.006
Max. virtual memory (Kb): 38460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####