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-exam.pi.opb
MD5SUM	3e917561f3935db250fdeb1759fbe81d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
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	4677
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	4677
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	1.06784
Number of variables	4676
Total number of constraints	509
Number of constraints which are clauses	509
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	3
Maximum length of a constraint	166
Trace number 40624

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        751464 kB
Buffers:         20544 kB
Cached:         242828 kB
SwapCached:        808 kB
Active:          33004 kB
Inactive:       232472 kB
HighTotal:      131008 kB
HighFree:         3444 kB
LowTotal:       903652 kB
LowFree:        748020 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12256 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:40:56 (client local time) WITH STATUS 10 IN 1181.55 SECONDS
stats: 28682 0 1181.55 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4677 variables and 509 constraints.
c After prepocess the problem consists of 4677 variables and 509 constraints.
c preprocess terminated 3.356 s
c Initial Lower Bound: 62
c Lower Bound Elapsed time: 2.638
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 2906 @ 20.622
c NEW SOLUTION FOUND: 2905 @ 20.72
c NEW SOLUTION FOUND: 2904 @ 20.77
c NEW SOLUTION FOUND: 2903 @ 20.821
c NEW SOLUTION FOUND: 2902 @ 20.873
c NEW SOLUTION FOUND: 2901 @ 20.924
c NEW SOLUTION FOUND: 2900 @ 20.976
c NEW SOLUTION FOUND: 2899 @ 21.027
c NEW SOLUTION FOUND: 2898 @ 21.079
c NEW SOLUTION FOUND: 2897 @ 21.13
c NEW SOLUTION FOUND: 2896 @ 21.182
c NEW SOLUTION FOUND: 2895 @ 21.233
c NEW SOLUTION FOUND: 2894 @ 21.285
c NEW SOLUTION FOUND: 2893 @ 21.336
c NEW SOLUTION FOUND: 2892 @ 21.388
c NEW SOLUTION FOUND: 2891 @ 21.44
c NEW SOLUTION FOUND: 2890 @ 21.491
c NEW SOLUTION FOUND: 2889 @ 21.543
c NEW SOLUTION FOUND: 2888 @ 21.595
c NEW SOLUTION FOUND: 2887 @ 21.646
c NEW SOLUTION FOUND: 2886 @ 21.697
c NEW SOLUTION FOUND: 2885 @ 21.749
c NEW SOLUTION FOUND: 2884 @ 21.8
c NEW SOLUTION FOUND: 2883 @ 21.852
c NEW SOLUTION FOUND: 2882 @ 21.903
c NEW SOLUTION FOUND: 2881 @ 21.955
c NEW SOLUTION FOUND: 2880 @ 22.006
c NEW SOLUTION FOUND: 2879 @ 22.057
c NEW SOLUTION FOUND: 2878 @ 22.109
c NEW SOLUTION FOUND: 2877 @ 22.16
c NEW SOLUTION FOUND: 2876 @ 22.211
c NEW SOLUTION FOUND: 2875 @ 22.264
c NEW SOLUTION FOUND: 2874 @ 22.315
c NEW SOLUTION FOUND: 2873 @ 22.366
c NEW SOLUTION FOUND: 2872 @ 22.418
c NEW SOLUTION FOUND: 2871 @ 22.469
c NEW SOLUTION FOUND: 2870 @ 22.521
c NEW SOLUTION FOUND: 2869 @ 22.572
c NEW SOLUTION FOUND: 2868 @ 22.623
c NEW SOLUTION FOUND: 2867 @ 22.675
c NEW SOLUTION FOUND: 2866 @ 22.726
c NEW SOLUTION FOUND: 2865 @ 22.778
c NEW SOLUTION FOUND: 2864 @ 22.829
c NEW SOLUTION FOUND: 2863 @ 22.88
c NEW SOLUTION FOUND: 2862 @ 22.932
c NEW SOLUTION FOUND: 2861 @ 22.983
c NEW SOLUTION FOUND: 2860 @ 23.034
c NEW SOLUTION FOUND: 2859 @ 23.086
c NEW SOLUTION FOUND: 2858 @ 23.137
c NEW SOLUTION FOUND: 2857 @ 23.188
c NEW SOLUTION FOUND: 2856 @ 23.24
c NEW SOLUTION FOUND: 2855 @ 23.291
c NEW SOLUTION FOUND: 2854 @ 23.342
c NEW SOLUTION FOUND: 2853 @ 23.393
c NEW SOLUTION FOUND: 2852 @ 23.444
c NEW SOLUTION FOUND: 2851 @ 23.496
c NEW SOLUTION FOUND: 2850 @ 23.547
c NEW SOLUTION FOUND: 2849 @ 23.598
c NEW SOLUTION FOUND: 2848 @ 23.649
c NEW SOLUTION FOUND: 2847 @ 23.701
c NEW SOLUTION FOUND: 2846 @ 23.752
c NEW SOLUTION FOUND: 2845 @ 23.803
c NEW SOLUTION FOUND: 2844 @ 23.854
c NEW SOLUTION FOUND: 2843 @ 23.905
c NEW SOLUTION FOUND: 2842 @ 23.957
c NEW SOLUTION FOUND: 2841 @ 24.008
c NEW SOLUTION FOUND: 2840 @ 24.059
c NEW SOLUTION FOUND: 2839 @ 24.11
c NEW SOLUTION FOUND: 2838 @ 24.161
c NEW SOLUTION FOUND: 2837 @ 24.213
c NEW SOLUTION FOUND: 2836 @ 24.264
c NEW SOLUTION FOUND: 2835 @ 24.315
c NEW SOLUTION FOUND: 2834 @ 24.366
c NEW SOLUTION FOUND: 2833 @ 24.417
c NEW SOLUTION FOUND: 2832 @ 24.469
c NEW SOLUTION FOUND: 2831 @ 24.521
c NEW SOLUTION FOUND: 2830 @ 24.574
c NEW SOLUTION FOUND: 2829 @ 24.625
c NEW SOLUTION FOUND: 2828 @ 24.677
c NEW SOLUTION FOUND: 2827 @ 24.729
c NEW SOLUTION FOUND: 2826 @ 24.781
c NEW SOLUTION FOUND: 2825 @ 24.832
c NEW SOLUTION FOUND: 2824 @ 24.884
c NEW SOLUTION FOUND: 2823 @ 24.936
c NEW SOLUTION FOUND: 2822 @ 24.987
c NEW SOLUTION FOUND: 2821 @ 25.039
c NEW SOLUTION FOUND: 2820 @ 25.091
c NEW SOLUTION FOUND: 2819 @ 25.143
c NEW SOLUTION FOUND: 2818 @ 25.195
c NEW SOLUTION FOUND: 2817 @ 25.246
c NEW SOLUTION FOUND: 2816 @ 25.298
c NEW SOLUTION FOUND: 2815 @ 25.35
c NEW SOLUTION FOUND: 2814 @ 25.402
c NEW SOLUTION FOUND: 2813 @ 25.455
c NEW SOLUTION FOUND: 2812 @ 25.507
c NEW SOLUTION FOUND: 2811 @ 25.559
c NEW SOLUTION FOUND: 2810 @ 25.611
c NEW SOLUTION FOUND: 2809 @ 25.662
c NEW SOLUTION FOUND: 2808 @ 25.714
c NEW SOLUTION FOUND: 2807 @ 25.765
c NEW SOLUTION FOUND: 2806 @ 25.817
c NEW SOLUTION FOUND: 2805 @ 25.868
c NEW SOLUTION FOUND: 2804 @ 25.92
c NEW SOLUTION FOUND: 2803 @ 25.972
c NEW SOLUTION FOUND: 2802 @ 26.023
c NEW SOLUTION FOUND: 2801 @ 26.075
c NEW SOLUTION FOUND: 2800 @ 26.127
c NEW SOLUTION FOUND: 2799 @ 26.179
c NEW SOLUTION FOUND: 2798 @ 26.23
c NEW SOLUTION FOUND: 2797 @ 26.282
c NEW SOLUTION FOUND: 2796 @ 26.333
c NEW SOLUTION FOUND: 2795 @ 26.385
c NEW SOLUTION FOUND: 2794 @ 26.437
c NEW SOLUTION FOUND: 2793 @ 26.488
c NEW SOLUTION FOUND: 2792 @ 26.539
c NEW SOLUTION FOUND: 2791 @ 26.591
c NEW SOLUTION FOUND: 2790 @ 26.642
c NEW SOLUTION FOUND: 2789 @ 26.694
c NEW SOLUTION FOUND: 2788 @ 26.745
c NEW SOLUTION FOUND: 2787 @ 26.797
c NEW SOLUTION FOUND: 2786 @ 26.848
c NEW SOLUTION FOUND: 2785 @ 26.9
c NEW SOLUTION FOUND: 2784 @ 26.951
c NEW SOLUTION FOUND: 2783 @ 27.003
c NEW SOLUTION FOUND: 2782 @ 27.055
c NEW SOLUTION FOUND: 2781 @ 27.106
c NEW SOLUTION FOUND: 2780 @ 27.158
c NEW SOLUTION FOUND: 2779 @ 27.209
c NEW SOLUTION FOUND: 2778 @ 27.262
c NEW SOLUTION FOUND: 2777 @ 27.313
c NEW SOLUTION FOUND: 2776 @ 27.365
c NEW SOLUTION FOUND: 2775 @ 27.417
c NEW SOLUTION FOUND: 2774 @ 27.468
c NEW SOLUTION FOUND: 2773 @ 27.52
c NEW SOLUTION FOUND: 2772 @ 27.571
c NEW SOLUTION FOUND: 2771 @ 27.623
c NEW SOLUTION FOUND: 2770 @ 27.674
c NEW SOLUTION FOUND: 2769 @ 27.726
c NEW SOLUTION FOUND: 2768 @ 27.777
c NEW SOLUTION FOUND: 2767 @ 27.829
c NEW SOLUTION FOUND: 2766 @ 27.88
c NEW SOLUTION FOUND: 2765 @ 27.932
c NEW SOLUTION FOUND: 2764 @ 27.983
c NEW SOLUTION FOUND: 2763 @ 28.035
c NEW SOLUTION FOUND: 2762 @ 28.086
c NEW SOLUTION FOUND: 2761 @ 28.138
c NEW SOLUTION FOUND: 2760 @ 28.19
c NEW SOLUTION FOUND: 2759 @ 28.241
c NEW SOLUTION FOUND: 2758 @ 28.293
c NEW SOLUTION FOUND: 2757 @ 28.344
c NEW SOLUTION FOUND: 2756 @ 28.396
c NEW SOLUTION FOUND: 2755 @ 28.447
c NEW SOLUTION FOUND: 2754 @ 28.499
c NEW SOLUTION FOUND: 2753 @ 28.55
c NEW SOLUTION FOUND: 2752 @ 28.602
c NEW SOLUTION FOUND: 2751 @ 28.653
c NEW SOLUTION FOUND: 2750 @ 28.705
c NEW SOLUTION FOUND: 2749 @ 28.757
c NEW SOLUTION FOUND: 2748 @ 28.808
c NEW SOLUTION FOUND: 2747 @ 28.86
c NEW SOLUTION FOUND: 2746 @ 28.911
c NEW SOLUTION FOUND: 2745 @ 28.963
c NEW SOLUTION FOUND: 2744 @ 29.014
c NEW SOLUTION FOUND: 2743 @ 29.066
c NEW SOLUTION FOUND: 2742 @ 29.118
c NEW SOLUTION FOUND: 2741 @ 29.169
c NEW SOLUTION FOUND: 2740 @ 29.221
c NEW SOLUTION FOUND: 2739 @ 29.272
c NEW SOLUTION FOUND: 2738 @ 29.324
c NEW SOLUTION FOUND: 2737 @ 29.376
c NEW SOLUTION FOUND: 2736 @ 29.427
c NEW SOLUTION FOUND: 2735 @ 29.479
c NEW SOLUTION FOUND: 2734 @ 29.53
c NEW SOLUTION FOUND: 2733 @ 29.582
c NEW SOLUTION FOUND: 2732 @ 29.633
c NEW SOLUTION FOUND: 2731 @ 29.685
c NEW SOLUTION FOUND: 2730 @ 29.736
c NEW SOLUTION FOUND: 2729 @ 29.788
c NEW SOLUTION FOUND: 2728 @ 29.839
c NEW SOLUTION FOUND: 2727 @ 29.891
c NEW SOLUTION FOUND: 2726 @ 29.942
c NEW SOLUTION FOUND: 2725 @ 29.994
c NEW SOLUTION FOUND: 2724 @ 30.046
c NEW SOLUTION FOUND: 2723 @ 30.097
c NEW SOLUTION FOUND: 2722 @ 30.149
c NEW SOLUTION FOUND: 2721 @ 30.2
c NEW SOLUTION FOUND: 2720 @ 30.252
c NEW SOLUTION FOUND: 2719 @ 30.303
c NEW SOLUTION FOUND: 2718 @ 30.355
c NEW SOLUTION FOUND: 2717 @ 30.406
c NEW SOLUTION FOUND: 2716 @ 30.458
c NEW SOLUTION FOUND: 2715 @ 30.509
c NEW SOLUTION FOUND: 2714 @ 30.561
c NEW SOLUTION FOUND: 2713 @ 30.612
c NEW SOLUTION FOUND: 2712 @ 30.664
c NEW SOLUTION FOUND: 2711 @ 30.715
c NEW SOLUTION FOUND: 2710 @ 30.818
c NEW SOLUTION FOUND: 2709 @ 30.868
c NEW SOLUTION FOUND: 2708 @ 30.92
c NEW SOLUTION FOUND: 2707 @ 30.972
c NEW SOLUTION FOUND: 2706 @ 31.024
c NEW SOLUTION FOUND: 2705 @ 31.076
c NEW SOLUTION FOUND: 2704 @ 31.128
c NEW SOLUTION FOUND: 2703 @ 31.179
c NEW SOLUTION FOUND: 2702 @ 31.231
c NEW SOLUTION FOUND: 2701 @ 31.283
c NEW SOLUTION FOUND: 2700 @ 31.335
c NEW SOLUTION FOUND: 2699 @ 31.386
c NEW SOLUTION FOUND: 2698 @ 31.438
c NEW SOLUTION FOUND: 2697 @ 31.491
c NEW SOLUTION FOUND: 2696 @ 31.543
c NEW SOLUTION FOUND: 2695 @ 31.595
c NEW SOLUTION FOUND: 2694 @ 31.646
c NEW SOLUTION FOUND: 2693 @ 31.698
c NEW SOLUTION FOUND: 2692 @ 31.75
c NEW SOLUTION FOUND: 2691 @ 31.801
c NEW SOLUTION FOUND: 2690 @ 31.853
c NEW SOLUTION FOUND: 2689 @ 31.905
c NEW SOLUTION FOUND: 2688 @ 31.956
c NEW SOLUTION FOUND: 2687 @ 32.008
c NEW SOLUTION FOUND: 2686 @ 32.06
c NEW SOLUTION FOUND: 2685 @ 32.111
c NEW SOLUTION FOUND: 2684 @ 32.163
c NEW SOLUTION FOUND: 2683 @ 32.214
c NEW SOLUTION FOUND: 2682 @ 32.266
c NEW SOLUTION FOUND: 2681 @ 32.318
c NEW SOLUTION FOUND: 2680 @ 32.369
c NEW SOLUTION FOUND: 2679 @ 32.421
c NEW SOLUTION FOUND: 2678 @ 32.472
c NEW SOLUTION FOUND: 2677 @ 32.524
c NEW SOLUTION FOUND: 2676 @ 32.575
c NEW SOLUTION FOUND: 2675 @ 32.627
c NEW SOLUTION FOUND: 2674 @ 32.678
c NEW SOLUTION FOUND: 2673 @ 32.73
c NEW SOLUTION FOUND: 2672 @ 32.781
c NEW SOLUTION FOUND: 2671 @ 32.833
c NEW SOLUTION FOUND: 2670 @ 32.884
c NEW SOLUTION FOUND: 2669 @ 32.936
c NEW SOLUTION FOUND: 2668 @ 32.987
c NEW SOLUTION FOUND: 2667 @ 33.039
c NEW SOLUTION FOUND: 2666 @ 33.09
c NEW SOLUTION FOUND: 2665 @ 33.142
c NEW SOLUTION FOUND: 2664 @ 33.193
c NEW SOLUTION FOUND: 2663 @ 33.243
c NEW SOLUTION FOUND: 2662 @ 33.295
c NEW SOLUTION FOUND: 2661 @ 33.346
c NEW SOLUTION FOUND: 2660 @ 33.398
c NEW SOLUTION FOUND: 2659 @ 33.449
c NEW SOLUTION FOUND: 2658 @ 33.561
c NEW SOLUTION FOUND: 2657 @ 33.616
c NEW SOLUTION FOUND: 2656 @ 33.672
c NEW SOLUTION FOUND: 2655 @ 33.728
c NEW SOLUTION FOUND: 2654 @ 33.786
c NEW SOLUTION FOUND: 2653 @ 33.843
c NEW SOLUTION FOUND: 2652 @ 33.9
c NEW SOLUTION FOUND: 2651 @ 33.957
c NEW SOLUTION FOUND: 2650 @ 34.014
c NEW SOLUTION FOUND: 2649 @ 34.071
c NEW SOLUTION FOUND: 2648 @ 34.128
c NEW SOLUTION FOUND: 2647 @ 34.185
c NEW SOLUTION FOUND: 2646 @ 34.242
c NEW SOLUTION FOUND: 2645 @ 34.299
c NEW SOLUTION FOUND: 2644 @ 34.356
c NEW SOLUTION FOUND: 2643 @ 34.413
c NEW SOLUTION FOUND: 2642 @ 34.469
c NEW SOLUTION FOUND: 2641 @ 34.526
c NEW SOLUTION FOUND: 2640 @ 34.584
c NEW SOLUTION FOUND: 2639 @ 34.64
c NEW SOLUTION FOUND: 2638 @ 34.697
c NEW SOLUTION FOUND: 2637 @ 34.754
c NEW SOLUTION FOUND: 2636 @ 34.811
c NEW SOLUTION FOUND: 2635 @ 34.868
c NEW SOLUTION FOUND: 2634 @ 34.925
c NEW SOLUTION FOUND: 2633 @ 34.982
c NEW SOLUTION FOUND: 2632 @ 35.039
c NEW SOLUTION FOUND: 2631 @ 35.096
c NEW SOLUTION FOUND: 2630 @ 35.154
c NEW SOLUTION FOUND: 2629 @ 35.213
c NEW SOLUTION FOUND: 2628 @ 35.268
c NEW SOLUTION FOUND: 2627 @ 35.325
c NEW SOLUTION FOUND: 2626 @ 35.383
c NEW SOLUTION FOUND: 2625 @ 35.44
c NEW SOLUTION FOUND: 2624 @ 35.497
c NEW SOLUTION FOUND: 2623 @ 35.555
c NEW SOLUTION FOUND: 2622 @ 35.612
c NEW SOLUTION FOUND: 2621 @ 35.669
c NEW SOLUTION FOUND: 2620 @ 35.727
c NEW SOLUTION FOUND: 2619 @ 35.784
c NEW SOLUTION FOUND: 2618 @ 35.842
c NEW SOLUTION FOUND: 2617 @ 35.956
c NEW SOLUTION FOUND: 2616 @ 36.013
c NEW SOLUTION FOUND: 2615 @ 36.071
c NEW SOLUTION FOUND: 2614 @ 36.13
c NEW SOLUTION FOUND: 2613 @ 36.188
c NEW SOLUTION FOUND: 2612 @ 36.247
c NEW SOLUTION FOUND: 2611 @ 36.305
c NEW SOLUTION FOUND: 2610 @ 36.364
c NEW SOLUTION FOUND: 2609 @ 36.422
c NEW SOLUTION FOUND: 2608 @ 36.481
c NEW SOLUTION FOUND: 2607 @ 36.539
c NEW SOLUTION FOUND: 2606 @ 36.598
c NEW SOLUTION FOUND: 2605 @ 36.656
c NEW SOLUTION FOUND: 2604 @ 36.714
c NEW SOLUTION FOUND: 2603 @ 36.773
c NEW SOLUTION FOUND: 2602 @ 36.831
c NEW SOLUTION FOUND: 2601 @ 36.89
c NEW SOLUTION FOUND: 2600 @ 36.948
c NEW SOLUTION FOUND: 2599 @ 37.006
c NEW SOLUTION FOUND: 2598 @ 37.065
c NEW SOLUTION FOUND: 2597 @ 37.124
c NEW SOLUTION FOUND: 2596 @ 37.182
c NEW SOLUTION FOUND: 2595 @ 37.24
c NEW SOLUTION FOUND: 2594 @ 37.298
c NEW SOLUTION FOUND: 2593 @ 37.356
c NEW SOLUTION FOUND: 2592 @ 37.415
c NEW SOLUTION FOUND: 2591 @ 37.473
c NEW SOLUTION FOUND: 2590 @ 37.532
c NEW SOLUTION FOUND: 2589 @ 37.59
c NEW SOLUTION FOUND: 2588 @ 37.648
c NEW SOLUTION FOUND: 2587 @ 37.706
c NEW SOLUTION FOUND: 2586 @ 37.765
c NEW SOLUTION FOUND: 2585 @ 37.822
c NEW SOLUTION FOUND: 2584 @ 37.881
c NEW SOLUTION FOUND: 2583 @ 37.938
c NEW SOLUTION FOUND: 2582 @ 37.997
c NEW SOLUTION FOUND: 2581 @ 38.055
c NEW SOLUTION FOUND: 2580 @ 38.113
c NEW SOLUTION FOUND: 2579 @ 38.171
c NEW SOLUTION FOUND: 2578 @ 38.23
c NEW SOLUTION FOUND: 2577 @ 38.288
c NEW SOLUTION FOUND: 2576 @ 38.346
c NEW SOLUTION FOUND: 2575 @ 38.404
c NEW SOLUTION FOUND: 2574 @ 38.462
c NEW SOLUTION FOUND: 2573 @ 38.52
c NEW SOLUTION FOUND: 2572 @ 38.579
c NEW SOLUTION FOUND: 2571 @ 38.636
c NEW SOLUTION FOUND: 2570 @ 38.695
c NEW SOLUTION FOUND: 2569 @ 38.752
c NEW SOLUTION FOUND: 2568 @ 38.81
c NEW SOLUTION FOUND: 2567 @ 38.868
c NEW SOLUTION FOUND: 2566 @ 38.926
c NEW SOLUTION FOUND: 2565 @ 38.984
c NEW SOLUTION FOUND: 2564 @ 39.043
c NEW SOLUTION FOUND: 2563 @ 39.1
c NEW SOLUTION FOUND: 2562 @ 39.158
c NEW SOLUTION FOUND: 2561 @ 39.215
c NEW SOLUTION FOUND: 2560 @ 39.273
c NEW SOLUTION FOUND: 2559 @ 39.331
c NEW SOLUTION FOUND: 2558 @ 39.388
c NEW SOLUTION FOUND: 2557 @ 39.446
c NEW SOLUTION FOUND: 2556 @ 39.504
c NEW SOLUTION FOUND: 2555 @ 39.562
c NEW SOLUTION FOUND: 2554 @ 39.619
c NEW SOLUTION FOUND: 2553 @ 39.677
c NEW SOLUTION FOUND: 2552 @ 39.734
c NEW SOLUTION FOUND: 2551 @ 39.792
c NEW SOLUTION FOUND: 2550 @ 39.849
c NEW SOLUTION FOUND: 2549 @ 39.906
c NEW SOLUTION FOUND: 2548 @ 39.963
c NEW SOLUTION FOUND: 2547 @ 40.022
c NEW SOLUTION FOUND: 2546 @ 40.079
c NEW SOLUTION FOUND: 2545 @ 40.137
c NEW SOLUTION FOUND: 2544 @ 40.194
c NEW SOLUTION FOUND: 2543 @ 40.252
c NEW SOLUTION FOUND: 2542 @ 40.309
c NEW SOLUTION FOUND: 2541 @ 40.367
c NEW SOLUTION FOUND: 2540 @ 40.424
c NEW SOLUTION FOUND: 2539 @ 40.481
c NEW SOLUTION FOUND: 2538 @ 40.539
c NEW SOLUTION FOUND: 2537 @ 40.597
c NEW SOLUTION FOUND: 2536 @ 40.654
c NEW SOLUTION FOUND: 2535 @ 40.711
c NEW SOLUTION FOUND: 2534 @ 40.769
c NEW SOLUTION FOUND: 2533 @ 40.826
c NEW SOLUTION FOUND: 2532 @ 40.884
c NEW SOLUTION FOUND: 2531 @ 40.941
c NEW SOLUTION FOUND: 2530 @ 40.998
c NEW SOLUTION FOUND: 2529 @ 41.056
c NEW SOLUTION FOUND: 2528 @ 41.113
c NEW SOLUTION FOUND: 2527 @ 41.171
c NEW SOLUTION FOUND: 2526 @ 41.228
c NEW SOLUTION FOUND: 2525 @ 41.285
c NEW SOLUTION FOUND: 2524 @ 41.343
c NEW SOLUTION FOUND: 2523 @ 41.4
c NEW SOLUTION FOUND: 2522 @ 41.457
c NEW SOLUTION FOUND: 2521 @ 41.515
c NEW SOLUTION FOUND: 2520 @ 41.572
c NEW SOLUTION FOUND: 2519 @ 41.63
c NEW SOLUTION FOUND: 2518 @ 41.687
c NEW SOLUTION FOUND: 2517 @ 41.744
c NEW SOLUTION FOUND: 2516 @ 41.801
c NEW SOLUTION FOUND: 2515 @ 41.859
c NEW SOLUTION FOUND: 2514 @ 41.916
c NEW SOLUTION FOUND: 2513 @ 41.973
c NEW SOLUTION FOUND: 2512 @ 42.031
c NEW SOLUTION FOUND: 2511 @ 42.088
c NEW SOLUTION FOUND: 2510 @ 42.145
c NEW SOLUTION FOUND: 2509 @ 42.202
c NEW SOLUTION FOUND: 2508 @ 42.26
c NEW SOLUTION FOUND: 2507 @ 42.318
c NEW SOLUTION FOUND: 2506 @ 42.375
c NEW SOLUTION FOUND: 2505 @ 42.432
c NEW SOLUTION FOUND: 2504 @ 42.49
c NEW SOLUTION FOUND: 2503 @ 42.547
c NEW SOLUTION FOUND: 2502 @ 42.605
c NEW SOLUTION FOUND: 2501 @ 42.662
c NEW SOLUTION FOUND: 2500 @ 42.719
c NEW SOLUTION FOUND: 2499 @ 42.776
c NEW SOLUTION FOUND: 2498 @ 42.834
c NEW SOLUTION FOUND: 2497 @ 42.891
c NEW SOLUTION FOUND: 2496 @ 42.948
c NEW SOLUTION FOUND: 2495 @ 43.006
c NEW SOLUTION FOUND: 2494 @ 43.063
c NEW SOLUTION FOUND: 2493 @ 43.12
c NEW SOLUTION FOUND: 2492 @ 43.177
c NEW SOLUTION FOUND: 2491 @ 43.235
c NEW SOLUTION FOUND: 2490 @ 43.292
c NEW SOLUTION FOUND: 2489 @ 43.349
c NEW SOLUTION FOUND: 2488 @ 43.406
c NEW SOLUTION FOUND: 2487 @ 43.464
c NEW SOLUTION FOUND: 2486 @ 43.522
c NEW SOLUTION FOUND: 2485 @ 43.579
c NEW SOLUTION FOUND: 2484 @ 43.637
c NEW SOLUTION FOUND: 2483 @ 43.694
c NEW SOLUTION FOUND: 2482 @ 43.751
c NEW SOLUTION FOUND: 2481 @ 43.865
c NEW SOLUTION FOUND: 2480 @ 43.921
c NEW SOLUTION FOUND: 2479 @ 43.979
c NEW SOLUTION FOUND: 2478 @ 44.037
c NEW SOLUTION FOUND: 2477 @ 44.094
c NEW SOLUTION FOUND: 2476 @ 44.152
c NEW SOLUTION FOUND: 2475 @ 44.209
c NEW SOLUTION FOUND: 2474 @ 44.267
c NEW SOLUTION FOUND: 2473 @ 44.324
c NEW SOLUTION FOUND: 2472 @ 44.382
c NEW SOLUTION FOUND: 2471 @ 44.44
c NEW SOLUTION FOUND: 2470 @ 44.497
c NEW SOLUTION FOUND: 2469 @ 44.555
c NEW SOLUTION FOUND: 2468 @ 44.612
c NEW SOLUTION FOUND: 2467 @ 44.67
c NEW SOLUTION FOUND: 2466 @ 44.727
c NEW SOLUTION FOUND: 2465 @ 44.784
c NEW SOLUTION FOUND: 2464 @ 44.842
c NEW SOLUTION FOUND: 2463 @ 44.899
c NEW SOLUTION FOUND: 2462 @ 44.957
c NEW SOLUTION FOUND: 2461 @ 45.014
c NEW SOLUTION FOUND: 2460 @ 45.072
c NEW SOLUTION FOUND: 2459 @ 45.129
c NEW SOLUTION FOUND: 2458 @ 45.186
c NEW SOLUTION FOUND: 2457 @ 45.244
c NEW SOLUTION FOUND: 2456 @ 45.301
c NEW SOLUTION FOUND: 2455 @ 45.359
c NEW SOLUTION FOUND: 2454 @ 45.416
c NEW SOLUTION FOUND: 2453 @ 45.473
c NEW SOLUTION FOUND: 2452 @ 45.531
c NEW SOLUTION FOUND: 2451 @ 45.588
c NEW SOLUTION FOUND: 2450 @ 45.645
c NEW SOLUTION FOUND: 2449 @ 45.703
c NEW SOLUTION FOUND: 2448 @ 45.76
c NEW SOLUTION FOUND: 2447 @ 45.817
c NEW SOLUTION FOUND: 2446 @ 45.875
c NEW SOLUTION FOUND: 2445 @ 45.932
c NEW SOLUTION FOUND: 2444 @ 45.989
c NEW SOLUTION FOUND: 2443 @ 46.047
c NEW SOLUTION FOUND: 2442 @ 46.104
c NEW SOLUTION FOUND: 2441 @ 46.161
c NEW SOLUTION FOUND: 2440 @ 46.218
c NEW SOLUTION FOUND: 2439 @ 46.276
c NEW SOLUTION FOUND: 2438 @ 46.333
c NEW SOLUTION FOUND: 2437 @ 46.39
c NEW SOLUTION FOUND: 2436 @ 46.448
c NEW SOLUTION FOUND: 2435 @ 46.505
c NEW SOLUTION FOUND: 2434 @ 46.561
c NEW SOLUTION FOUND: 2433 @ 46.619
c NEW SOLUTION FOUND: 2432 @ 46.676
c NEW SOLUTION FOUND: 2431 @ 46.734
c NEW SOLUTION FOUND: 2430 @ 46.791
c NEW SOLUTION FOUND: 2429 @ 46.848
c NEW SOLUTION FOUND: 2428 @ 46.905
c NEW SOLUTION FOUND: 2427 @ 46.963
c NEW SOLUTION FOUND: 2426 @ 47.02
c NEW SOLUTION FOUND: 2425 @ 47.077
c NEW SOLUTION FOUND: 2424 @ 47.134
c NEW SOLUTION FOUND: 2423 @ 47.192
c NEW SOLUTION FOUND: 2422 @ 47.249
c NEW SOLUTION FOUND: 2421 @ 47.307
c NEW SOLUTION FOUND: 2420 @ 47.365
c NEW SOLUTION FOUND: 2419 @ 47.422
c NEW SOLUTION FOUND: 2418 @ 47.479
c NEW SOLUTION FOUND: 2417 @ 47.537
c NEW SOLUTION FOUND: 2416 @ 47.594
c NEW SOLUTION FOUND: 2415 @ 47.651
c NEW SOLUTION FOUND: 2414 @ 47.708
c NEW SOLUTION FOUND: 2413 @ 47.766
c NEW SOLUTION FOUND: 2412 @ 47.823
c NEW SOLUTION FOUND: 2411 @ 47.88
c NEW SOLUTION FOUND: 2410 @ 47.937
c NEW SOLUTION FOUND: 2409 @ 47.995
c NEW SOLUTION FOUND: 2408 @ 48.052
c NEW SOLUTION FOUND: 2407 @ 48.109
c NEW SOLUTION FOUND: 2406 @ 48.166
c NEW SOLUTION FOUND: 2405 @ 48.224
c NEW SOLUTION FOUND: 2404 @ 48.281
c NEW SOLUTION FOUND: 2403 @ 48.338
c NEW SOLUTION FOUND: 2402 @ 48.395
c NEW SOLUTION FOUND: 2401 @ 48.454
c NEW SOLUTION FOUND: 2400 @ 48.511
c NEW SOLUTION FOUND: 2399 @ 48.569
c NEW SOLUTION FOUND: 2398 @ 48.626
c NEW SOLUTION FOUND: 2397 @ 48.683
c NEW SOLUTION FOUND: 2396 @ 48.74
c NEW SOLUTION FOUND: 2395 @ 48.797
c NEW SOLUTION FOUND: 2394 @ 48.855
c NEW SOLUTION FOUND: 2393 @ 48.912
c NEW SOLUTION FOUND: 2392 @ 48.969
c NEW SOLUTION FOUND: 2391 @ 49.026
c NEW SOLUTION FOUND: 2390 @ 49.083
c NEW SOLUTION FOUND: 2389 @ 49.141
c NEW SOLUTION FOUND: 2388 @ 49.198
c NEW SOLUTION FOUND: 2387 @ 49.255
c NEW SOLUTION FOUND: 2386 @ 49.312
c NEW SOLUTION FOUND: 2385 @ 49.369
c NEW SOLUTION FOUND: 2384 @ 49.426
c NEW SOLUTION FOUND: 2383 @ 49.485
c NEW SOLUTION FOUND: 2382 @ 49.542
c NEW SOLUTION FOUND: 2381 @ 49.599
c NEW SOLUTION FOUND: 2380 @ 49.656
c NEW SOLUTION FOUND: 2379 @ 49.713
c NEW SOLUTION FOUND: 2378 @ 49.771
c NEW SOLUTION FOUND: 2377 @ 49.828
c NEW SOLUTION FOUND: 2376 @ 49.885
c NEW SOLUTION FOUND: 2375 @ 49.942
c NEW SOLUTION FOUND: 2374 @ 50
c NEW SOLUTION FOUND: 2373 @ 50.057
c NEW SOLUTION FOUND: 2372 @ 50.114
c NEW SOLUTION FOUND: 2371 @ 50.171
c NEW SOLUTION FOUND: 2370 @ 50.229
c NEW SOLUTION FOUND: 2369 @ 50.286
c NEW SOLUTION FOUND: 2368 @ 50.343
c NEW SOLUTION FOUND: 2367 @ 50.4
c NEW SOLUTION FOUND: 2366 @ 50.457
c NEW SOLUTION FOUND: 2365 @ 50.514
c NEW SOLUTION FOUND: 2364 @ 50.571
c NEW SOLUTION FOUND: 2363 @ 50.628
c NEW SOLUTION FOUND: 2362 @ 50.685
c NEW SOLUTION FOUND: 2361 @ 50.742
c NEW SOLUTION FOUND: 2360 @ 50.799
c NEW SOLUTION FOUND: 2359 @ 50.856
c NEW SOLUTION FOUND: 2358 @ 50.913
c NEW SOLUTION FOUND: 2357 @ 50.97
c NEW SOLUTION FOUND: 2356 @ 51.027
c NEW SOLUTION FOUND: 2355 @ 51.084
c NEW SOLUTION FOUND: 2354 @ 51.141
c NEW SOLUTION FOUND: 2353 @ 51.198
c NEW SOLUTION FOUND: 2352 @ 51.255
c NEW SOLUTION FOUND: 2351 @ 51.313
c NEW SOLUTION FOUND: 2350 @ 51.369
c NEW SOLUTION FOUND: 2349 @ 51.427
c NEW SOLUTION FOUND: 2348 @ 51.484
c NEW SOLUTION FOUND: 2347 @ 51.541
c NEW SOLUTION FOUND: 2346 @ 51.598
c NEW SOLUTION FOUND: 2345 @ 51.655
c NEW SOLUTION FOUND: 2344 @ 51.712
c NEW SOLUTION FOUND: 2343 @ 51.769
c NEW SOLUTION FOUND: 2342 @ 51.826
c NEW SOLUTION FOUND: 2341 @ 51.883
c NEW SOLUTION FOUND: 2340 @ 51.94
c NEW SOLUTION FOUND: 2339 @ 51.997
c NEW SOLUTION FOUND: 2338 @ 52.053
c NEW SOLUTION FOUND: 2337 @ 52.11
c NEW SOLUTION FOUND: 2336 @ 52.167
c NEW SOLUTION FOUND: 2335 @ 52.224
c NEW SOLUTION FOUND: 2334 @ 52.282
c NEW SOLUTION FOUND: 2333 @ 52.339
c NEW SOLUTION FOUND: 2332 @ 52.396
c NEW SOLUTION FOUND: 2331 @ 52.453
c NEW SOLUTION FOUND: 2330 @ 52.51
c NEW SOLUTION FOUND: 2329 @ 52.567
c NEW SOLUTION FOUND: 2328 @ 52.624
c NEW SOLUTION FOUND: 2327 @ 52.681
c NEW SOLUTION FOUND: 2326 @ 52.737
c NEW SOLUTION FOUND: 2325 @ 52.794
c NEW SOLUTION FOUND: 2324 @ 52.851
c NEW SOLUTION FOUND: 2323 @ 52.908
c NEW SOLUTION FOUND: 2322 @ 52.965
c NEW SOLUTION FOUND: 2321 @ 53.022
c NEW SOLUTION FOUND: 2320 @ 53.079
c NEW SOLUTION FOUND: 2319 @ 53.136
c NEW SOLUTION FOUND: 2318 @ 53.193
c NEW SOLUTION FOUND: 2317 @ 53.252
c NEW SOLUTION FOUND: 2316 @ 53.308
c NEW SOLUTION FOUND: 2315 @ 53.365
c NEW SOLUTION FOUND: 2314 @ 53.422
c NEW SOLUTION FOUND: 2313 @ 53.479
c NEW SOLUTION FOUND: 2312 @ 53.536
c NEW SOLUTION FOUND: 2311 @ 53.593
c NEW SOLUTION FOUND: 2310 @ 53.65
c NEW SOLUTION FOUND: 2309 @ 53.708
c NEW SOLUTION FOUND: 2308 @ 53.765
c NEW SOLUTION FOUND: 2307 @ 53.822
c NEW SOLUTION FOUND: 2306 @ 53.879
c NEW SOLUTION FOUND: 2305 @ 53.936
c NEW SOLUTION FOUND: 2304 @ 53.993
c NEW SOLUTION FOUND: 2303 @ 54.05
c NEW SOLUTION FOUND: 2302 @ 54.107
c NEW SOLUTION FOUND: 2301 @ 54.165
c NEW SOLUTION FOUND: 2300 @ 54.222
c NEW SOLUTION FOUND: 2299 @ 54.279
c NEW SOLUTION FOUND: 2298 @ 54.336
c NEW SOLUTION FOUND: 2297 @ 54.393
c NEW SOLUTION FOUND: 2296 @ 54.45
c NEW SOLUTION FOUND: 2295 @ 54.507
c NEW SOLUTION FOUND: 2294 @ 54.564
c NEW SOLUTION FOUND: 2293 @ 54.622
c NEW SOLUTION FOUND: 2292 @ 54.679
c NEW SOLUTION FOUND: 2291 @ 54.74
c NEW SOLUTION FOUND: 2290 @ 54.797
c NEW SOLUTION FOUND: 2289 @ 54.858
c NEW SOLUTION FOUND: 2288 @ 54.916
c NEW SOLUTION FOUND: 2287 @ 54.974
c NEW SOLUTION FOUND: 2286 @ 55.033
c NEW SOLUTION FOUND: 2285 @ 55.092
c NEW SOLUTION FOUND: 2284 @ 55.15
c NEW SOLUTION FOUND: 2283 @ 55.209
c NEW SOLUTION FOUND: 2282 @ 55.268
c NEW SOLUTION FOUND: 2281 @ 55.326
c NEW SOLUTION FOUND: 2280 @ 55.385
c NEW SOLUTION FOUND: 2279 @ 55.443
c NEW SOLUTION FOUND: 2278 @ 55.502
c NEW SOLUTION FOUND: 2277 @ 55.562
c NEW SOLUTION FOUND: 2276 @ 55.621
c NEW SOLUTION FOUND: 2275 @ 55.679
c NEW SOLUTION FOUND: 2274 @ 55.738
c NEW SOLUTION FOUND: 2273 @ 55.796
c NEW SOLUTION FOUND: 2272 @ 55.855
c NEW SOLUTION FOUND: 2271 @ 55.913
c NEW SOLUTION FOUND: 2270 @ 55.972
c NEW SOLUTION FOUND: 2269 @ 56.03
c NEW SOLUTION FOUND: 2268 @ 56.089
c NEW SOLUTION FOUND: 2267 @ 56.148
c NEW SOLUTION FOUND: 2266 @ 56.207
c NEW SOLUTION FOUND: 2265 @ 56.265
c NEW SOLUTION FOUND: 2264 @ 56.324
c NEW SOLUTION FOUND: 2263 @ 56.44
c NEW SOLUTION FOUND: 2262 @ 56.498
c NEW SOLUTION FOUND: 2261 @ 56.557
c NEW SOLUTION FOUND: 2260 @ 56.616
c NEW SOLUTION FOUND: 2259 @ 56.675
c NEW SOLUTION FOUND: 2258 @ 56.734
c NEW SOLUTION FOUND: 2257 @ 56.793
c NEW SOLUTION FOUND: 2256 @ 56.851
c NEW SOLUTION FOUND: 2255 @ 56.91
c NEW SOLUTION FOUND: 2254 @ 56.969
c NEW SOLUTION FOUND: 2253 @ 57.028
c NEW SOLUTION FOUND: 2252 @ 57.087
c NEW SOLUTION FOUND: 2251 @ 57.146
c NEW SOLUTION FOUND: 2250 @ 57.205
c NEW SOLUTION FOUND: 2249 @ 57.265
c NEW SOLUTION FOUND: 2248 @ 57.323
c NEW SOLUTION FOUND: 2247 @ 57.382
c NEW SOLUTION FOUND: 2246 @ 57.441
c NEW SOLUTION FOUND: 2245 @ 57.5
c NEW SOLUTION FOUND: 2244 @ 57.559
c NEW SOLUTION FOUND: 2243 @ 57.618
c NEW SOLUTION FOUND: 2242 @ 57.676
c NEW SOLUTION FOUND: 2241 @ 57.735
c NEW SOLUTION FOUND: 2240 @ 57.794
c NEW SOLUTION FOUND: 2239 @ 57.853
c NEW SOLUTION FOUND: 2238 @ 57.911
c NEW SOLUTION FOUND: 2237 @ 57.97
c NEW SOLUTION FOUND: 2236 @ 58.029
c NEW SOLUTION FOUND: 2235 @ 58.088
c NEW SOLUTION FOUND: 2234 @ 58.147
c NEW SOLUTION FOUND: 2233 @ 58.205
c NEW SOLUTION FOUND: 2232 @ 58.264
c NEW SOLUTION FOUND: 2231 @ 58.323
c NEW SOLUTION FOUND: 2230 @ 58.382
c NEW SOLUTION FOUND: 2229 @ 58.442
c NEW SOLUTION FOUND: 2228 @ 58.5
c NEW SOLUTION FOUND: 2227 @ 58.559
c NEW SOLUTION FOUND: 2226 @ 58.618
c NEW SOLUTION FOUND: 2225 @ 58.676
c NEW SOLUTION FOUND: 2224 @ 58.735
c NEW SOLUTION FOUND: 2223 @ 58.794
c NEW SOLUTION FOUND: 2222 @ 58.852
c NEW SOLUTION FOUND: 2221 @ 58.911
c NEW SOLUTION FOUND: 2220 @ 58.97
c NEW SOLUTION FOUND: 2219 @ 59.029
c NEW SOLUTION FOUND: 2218 @ 59.087
c NEW SOLUTION FOUND: 2217 @ 59.146
c NEW SOLUTION FOUND: 2216 @ 59.205
c NEW SOLUTION FOUND: 2215 @ 59.263
c NEW SOLUTION FOUND: 2214 @ 59.322
c NEW SOLUTION FOUND: 2213 @ 59.381
c NEW SOLUTION FOUND: 2212 @ 59.439
c NEW SOLUTION FOUND: 2211 @ 59.498
c NEW SOLUTION FOUND: 2210 @ 59.556
c NEW SOLUTION FOUND: 2209 @ 59.615
c NEW SOLUTION FOUND: 2208 @ 59.674
c NEW SOLUTION FOUND: 2207 @ 59.733
c NEW SOLUTION FOUND: 2206 @ 59.791
c NEW SOLUTION FOUND: 2205 @ 59.85
c NEW SOLUTION FOUND: 2204 @ 59.908
c NEW SOLUTION FOUND: 2203 @ 59.966
c NEW SOLUTION FOUND: 2202 @ 60.025
c NEW SOLUTION FOUND: 2201 @ 60.084
c NEW SOLUTION FOUND: 2200 @ 60.142
c NEW SOLUTION FOUND: 2199 @ 60.201
c NEW SOLUTION FOUND: 2198 @ 60.259
c NEW SOLUTION FOUND: 2197 @ 60.318
c NEW SOLUTION FOUND: 2196 @ 60.377
c NEW SOLUTION FOUND: 2195 @ 60.435
c NEW SOLUTION FOUND: 2194 @ 60.494
c NEW SOLUTION FOUND: 2193 @ 60.552
c NEW SOLUTION FOUND: 2192 @ 60.611
c NEW SOLUTION FOUND: 2191 @ 60.67
c NEW SOLUTION FOUND: 2190 @ 60.728
c NEW SOLUTION FOUND: 2189 @ 60.787
c NEW SOLUTION FOUND: 2188 @ 60.845
c NEW SOLUTION FOUND: 2187 @ 60.904
c NEW SOLUTION FOUND: 2186 @ 60.962
c NEW SOLUTION FOUND: 2185 @ 61.021
c NEW SOLUTION FOUND: 2184 @ 61.079
c NEW SOLUTION FOUND: 2183 @ 61.138
c NEW SOLUTION FOUND: 2182 @ 61.196
c NEW SOLUTION FOUND: 2181 @ 61.255
c NEW SOLUTION FOUND: 2180 @ 61.313
c NEW SOLUTION FOUND: 2179 @ 61.372
c NEW SOLUTION FOUND: 2178 @ 61.431
c NEW SOLUTION FOUND: 2177 @ 61.49
c NEW SOLUTION FOUND: 2176 @ 61.549
c NEW SOLUTION FOUND: 2175 @ 61.607
c NEW SOLUTION FOUND: 2174 @ 61.666
c NEW SOLUTION FOUND: 2173 @ 61.724
c NEW SOLUTION FOUND: 2172 @ 61.783
c NEW SOLUTION FOUND: 2171 @ 61.841
c NEW SOLUTION FOUND: 2170 @ 61.9
c NEW SOLUTION FOUND: 2169 @ 61.958
c NEW SOLUTION FOUND: 2168 @ 62.016
c NEW SOLUTION FOUND: 2167 @ 62.075
c NEW SOLUTION FOUND: 2166 @ 62.133
c NEW SOLUTION FOUND: 2165 @ 62.192
c NEW SOLUTION FOUND: 2164 @ 62.25
c NEW SOLUTION FOUND: 2163 @ 62.309
c NEW SOLUTION FOUND: 2162 @ 62.368
c NEW SOLUTION FOUND: 2161 @ 62.426
c NEW SOLUTION FOUND: 2160 @ 62.485
c NEW SOLUTION FOUND: 2159 @ 62.543
c NEW SOLUTION FOUND: 2158 @ 62.602
c NEW SOLUTION FOUND: 2157 @ 62.661
c NEW SOLUTION FOUND: 2156 @ 62.719
c NEW SOLUTION FOUND: 2155 @ 62.777
c NEW SOLUTION FOUND: 2154 @ 62.836
c NEW SOLUTION FOUND: 2153 @ 62.894
c NEW SOLUTION FOUND: 2152 @ 62.952
c NEW SOLUTION FOUND: 2151 @ 63.011
c NEW SOLUTION FOUND: 2150 @ 63.069
c NEW SOLUTION FOUND: 2149 @ 63.128
c NEW SOLUTION FOUND: 2148 @ 63.186
c NEW SOLUTION FOUND: 2147 @ 63.246
c NEW SOLUTION FOUND: 2146 @ 63.304
c NEW SOLUTION FOUND: 2145 @ 63.362
c NEW SOLUTION FOUND: 2144 @ 63.421
c NEW SOLUTION FOUND: 2143 @ 63.479
c NEW SOLUTION FOUND: 2142 @ 63.538
c NEW SOLUTION FOUND: 2141 @ 63.596
c NEW SOLUTION FOUND: 2140 @ 63.654
c NEW SOLUTION FOUND: 2139 @ 63.713
c NEW SOLUTION FOUND: 2138 @ 63.771
c NEW SOLUTION FOUND: 2137 @ 63.83
c NEW SOLUTION FOUND: 2136 @ 63.888
c NEW SOLUTION FOUND: 2135 @ 63.946
c NEW SOLUTION FOUND: 2134 @ 64.005
c NEW SOLUTION FOUND: 2133 @ 64.063
c NEW SOLUTION FOUND: 2132 @ 64.121
c NEW SOLUTION FOUND: 2131 @ 64.18
c NEW SOLUTION FOUND: 2130 @ 64.238
c NEW SOLUTION FOUND: 2129 @ 64.296
c NEW SOLUTION FOUND: 2128 @ 64.354
c NEW SOLUTION FOUND: 2127 @ 64.413
c NEW SOLUTION FOUND: 2126 @ 64.471
c NEW SOLUTION FOUND: 2125 @ 64.529
c NEW SOLUTION FOUND: 2124 @ 64.588
c NEW SOLUTION FOUND: 2123 @ 64.646
c NEW SOLUTION FOUND: 2122 @ 64.704
c NEW SOLUTION FOUND: 2121 @ 64.763
c NEW SOLUTION FOUND: 2120 @ 64.821
c NEW SOLUTION FOUND: 2119 @ 64.879
c NEW SOLUTION FOUND: 2118 @ 64.937
c NEW SOLUTION FOUND: 2117 @ 64.996
c NEW SOLUTION FOUND: 2116 @ 65.054
c NEW SOLUTION FOUND: 2115 @ 65.113
c NEW SOLUTION FOUND: 2114 @ 65.171
c NEW SOLUTION FOUND: 2113 @ 65.229
c NEW SOLUTION FOUND: 2112 @ 65.287
c NEW SOLUTION FOUND: 2111 @ 65.346
c NEW SOLUTION FOUND: 2110 @ 65.404
c NEW SOLUTION FOUND: 2109 @ 65.462
c NEW SOLUTION FOUND: 2108 @ 65.52
c NEW SOLUTION FOUND: 2107 @ 65.579
c NEW SOLUTION FOUND: 2106 @ 65.637
c NEW SOLUTION FOUND: 2105 @ 65.695
c NEW SOLUTION FOUND: 2104 @ 65.753
c NEW SOLUTION FOUND: 2103 @ 65.812
c NEW SOLUTION FOUND: 2102 @ 65.87
c NEW SOLUTION FOUND: 2101 @ 65.928
c NEW SOLUTION FOUND: 2100 @ 65.986
c NEW SOLUTION FOUND: 2099 @ 66.045
c NEW SOLUTION FOUND: 2098 @ 66.103
c NEW SOLUTION FOUND: 2097 @ 66.161
c NEW SOLUTION FOUND: 2096 @ 66.219
c NEW SOLUTION FOUND: 2095 @ 66.277
c NEW SOLUTION FOUND: 2094 @ 66.336
c NEW SOLUTION FOUND: 2093 @ 66.394
c NEW SOLUTION FOUND: 2092 @ 66.452
c NEW SOLUTION FOUND: 2091 @ 66.51
c NEW SOLUTION FOUND: 2090 @ 66.568
c NEW SOLUTION FOUND: 2089 @ 66.626
c NEW SOLUTION FOUND: 2088 @ 66.684
c NEW SOLUTION FOUND: 2087 @ 66.742
c NEW SOLUTION FOUND: 2086 @ 66.8
c NEW SOLUTION FOUND: 2085 @ 66.858
c NEW SOLUTION FOUND: 2084 @ 66.917
c NEW SOLUTION FOUND: 2083 @ 66.975
c NEW SOLUTION FOUND: 2082 @ 67.033
c NEW SOLUTION FOUND: 2081 @ 67.092
c NEW SOLUTION FOUND: 2080 @ 67.15
c NEW SOLUTION FOUND: 2079 @ 67.209
c NEW SOLUTION FOUND: 2078 @ 67.268
c NEW SOLUTION FOUND: 2077 @ 67.326
c NEW SOLUTION FOUND: 2076 @ 67.385
c NEW SOLUTION FOUND: 2075 @ 67.444
c NEW SOLUTION FOUND: 2074 @ 67.504
c NEW SOLUTION FOUND: 2073 @ 67.563
c NEW SOLUTION FOUND: 2072 @ 67.622
c NEW SOLUTION FOUND: 2071 @ 67.68
c NEW SOLUTION FOUND: 2070 @ 67.739
c NEW SOLUTION FOUND: 2069 @ 67.798
c NEW SOLUTION FOUND: 2068 @ 67.856
c NEW SOLUTION FOUND: 2067 @ 67.915
c NEW SOLUTION FOUND: 2066 @ 67.974
c NEW SOLUTION FOUND: 2065 @ 68.032
c NEW SOLUTION FOUND: 2064 @ 68.091
c NEW SOLUTION FOUND: 2063 @ 68.15
c NEW SOLUTION FOUND: 2062 @ 68.208
c NEW SOLUTION FOUND: 2061 @ 68.267
c NEW SOLUTION FOUND: 2060 @ 68.326
c NEW SOLUTION FOUND: 2059 @ 68.384
c NEW SOLUTION FOUND: 2058 @ 68.443
c NEW SOLUTION FOUND: 2057 @ 68.502
c NEW SOLUTION FOUND: 2056 @ 68.56
c NEW SOLUTION FOUND: 2055 @ 68.619
c NEW SOLUTION FOUND: 2054 @ 68.678
c NEW SOLUTION FOUND: 2053 @ 68.736
c NEW SOLUTION FOUND: 2052 @ 68.795
c NEW SOLUTION FOUND: 2051 @ 68.854
c NEW SOLUTION FOUND: 2050 @ 68.912
c NEW SOLUTION FOUND: 2049 @ 68.971
c NEW SOLUTION FOUND: 2048 @ 69.029
c NEW SOLUTION FOUND: 2047 @ 69.088
c NEW SOLUTION FOUND: 2046 @ 69.147
c NEW SOLUTION FOUND: 2045 @ 69.263
c NEW SOLUTION FOUND: 2044 @ 69.322
c NEW SOLUTION FOUND: 2043 @ 69.381
c NEW SOLUTION FOUND: 2042 @ 69.44
c NEW SOLUTION FOUND: 2041 @ 69.499
c NEW SOLUTION FOUND: 2040 @ 69.558
c NEW SOLUTION FOUND: 2039 @ 69.618
c NEW SOLUTION FOUND: 2038 @ 69.677
c NEW SOLUTION FOUND: 2037 @ 69.736
c NEW SOLUTION FOUND: 2036 @ 69.795
c NEW SOLUTION FOUND: 2035 @ 69.855
c NEW SOLUTION FOUND: 2034 @ 69.914
c NEW SOLUTION FOUND: 2033 @ 69.975
c NEW SOLUTION FOUND: 2032 @ 70.036
c NEW SOLUTION FOUND: 2031 @ 70.095
c NEW SOLUTION FOUND: 2030 @ 70.154
c NEW SOLUTION FOUND: 2029 @ 70.214
c NEW SOLUTION FOUND: 2028 @ 70.274
c NEW SOLUTION FOUND: 2027 @ 70.333
c NEW SOLUTION FOUND: 2026 @ 70.393
c NEW SOLUTION FOUND: 2025 @ 70.452
c NEW SOLUTION FOUND: 2024 @ 70.512
c NEW SOLUTION FOUND: 2023 @ 70.572
c NEW SOLUTION FOUND: 2022 @ 70.631
c NEW SOLUTION FOUND: 2021 @ 70.691
c NEW SOLUTION FOUND: 2020 @ 70.75
c NEW SOLUTION FOUND: 2019 @ 70.81
c NEW SOLUTION FOUND: 2018 @ 70.869
c NEW SOLUTION FOUND: 2017 @ 70.929
c NEW SOLUTION FOUND: 2016 @ 70.989
c NEW SOLUTION FOUND: 2015 @ 71.048
c NEW SOLUTION FOUND: 2014 @ 71.108
c NEW SOLUTION FOUND: 2013 @ 71.167
c NEW SOLUTION FOUND: 2012 @ 71.227
c NEW SOLUTION FOUND: 2011 @ 71.286
c NEW SOLUTION FOUND: 2010 @ 71.346
c NEW SOLUTION FOUND: 2009 @ 71.406
c NEW SOLUTION FOUND: 2008 @ 71.465
c NEW SOLUTION FOUND: 2007 @ 71.525
c NEW SOLUTION FOUND: 2006 @ 71.584
c NEW SOLUTION FOUND: 2005 @ 71.644
c NEW SOLUTION FOUND: 2004 @ 71.704
c NEW SOLUTION FOUND: 2003 @ 71.763
c NEW SOLUTION FOUND: 2002 @ 71.823
c NEW SOLUTION FOUND: 2001 @ 71.882
c NEW SOLUTION FOUND: 2000 @ 71.942
c NEW SOLUTION FOUND: 1999 @ 72.001
c NEW SOLUTION FOUND: 1998 @ 72.061
c NEW SOLUTION FOUND: 1997 @ 72.12
c NEW SOLUTION FOUND: 1996 @ 72.18
c NEW SOLUTION FOUND: 1995 @ 72.239
c NEW SOLUTION FOUND: 1994 @ 72.3
c NEW SOLUTION FOUND: 1993 @ 72.359
c NEW SOLUTION FOUND: 1992 @ 72.419
c NEW SOLUTION FOUND: 1991 @ 72.479
c NEW SOLUTION FOUND: 1990 @ 72.538
c NEW SOLUTION FOUND: 1989 @ 72.598
c NEW SOLUTION FOUND: 1988 @ 72.657
c NEW SOLUTION FOUND: 1987 @ 72.717
c NEW SOLUTION FOUND: 1986 @ 72.776
c NEW SOLUTION FOUND: 1985 @ 72.836
c NEW SOLUTION FOUND: 1984 @ 72.895
c NEW SOLUTION FOUND: 1983 @ 72.955
c NEW SOLUTION FOUND: 1982 @ 73.014
c NEW SOLUTION FOUND: 1981 @ 73.074
c NEW SOLUTION FOUND: 1980 @ 73.133
c NEW SOLUTION FOUND: 1979 @ 73.193
c NEW SOLUTION FOUND: 1978 @ 73.252
c NEW SOLUTION FOUND: 1977 @ 73.311
c NEW SOLUTION FOUND: 1976 @ 73.37
c NEW SOLUTION FOUND: 1975 @ 73.43
c NEW SOLUTION FOUND: 1974 @ 73.49
c NEW SOLUTION FOUND: 1973 @ 73.55
c NEW SOLUTION FOUND: 1972 @ 73.609
c NEW SOLUTION FOUND: 1971 @ 73.669
c NEW SOLUTION FOUND: 1970 @ 73.728
c NEW SOLUTION FOUND: 1969 @ 73.788
c NEW SOLUTION FOUND: 1968 @ 73.847
c NEW SOLUTION FOUND: 1967 @ 73.907
c NEW SOLUTION FOUND: 1966 @ 73.966
c NEW SOLUTION FOUND: 1965 @ 74.026
c NEW SOLUTION FOUND: 1964 @ 74.085
c NEW SOLUTION FOUND: 1963 @ 74.145
c NEW SOLUTION FOUND: 1962 @ 74.204
c NEW SOLUTION FOUND: 1961 @ 74.263
c NEW SOLUTION FOUND: 1960 @ 74.323
c NEW SOLUTION FOUND: 1959 @ 74.382
c NEW SOLUTION FOUND: 1958 @ 74.442
c NEW SOLUTION FOUND: 1957 @ 74.501
c NEW SOLUTION FOUND: 1956 @ 74.561
c NEW SOLUTION FOUND: 1955 @ 74.62
c NEW SOLUTION FOUND: 1954 @ 74.68
c NEW SOLUTION FOUND: 1953 @ 74.739
c NEW SOLUTION FOUND: 1952 @ 74.798
c NEW SOLUTION FOUND: 1951 @ 74.858
c NEW SOLUTION FOUND: 1950 @ 74.917
c NEW SOLUTION FOUND: 1949 @ 74.977
c NEW SOLUTION FOUND: 1948 @ 75.036
c NEW SOLUTION FOUND: 1947 @ 75.096
c NEW SOLUTION FOUND: 1946 @ 75.155
c NEW SOLUTION FOUND: 1945 @ 75.215
c NEW SOLUTION FOUND: 1944 @ 75.274
c NEW SOLUTION FOUND: 1943 @ 75.334
c NEW SOLUTION FOUND: 1942 @ 75.393
c NEW SOLUTION FOUND: 1941 @ 75.453
c NEW SOLUTION FOUND: 1940 @ 75.512
c NEW SOLUTION FOUND: 1939 @ 75.571
c NEW SOLUTION FOUND: 1938 @ 75.631
c NEW SOLUTION FOUND: 1937 @ 75.691
c NEW SOLUTION FOUND: 1936 @ 75.75
c NEW SOLUTION FOUND: 1935 @ 75.81
c NEW SOLUTION FOUND: 1934 @ 75.869
c NEW SOLUTION FOUND: 1933 @ 75.929
c NEW SOLUTION FOUND: 1932 @ 75.988
c NEW SOLUTION FOUND: 1931 @ 76.047
c NEW SOLUTION FOUND: 1930 @ 76.107
c NEW SOLUTION FOUND: 1929 @ 76.166
c NEW SOLUTION FOUND: 1928 @ 76.226
c NEW SOLUTION FOUND: 1927 @ 76.285
c NEW SOLUTION FOUND: 1926 @ 76.344
c NEW SOLUTION FOUND: 1925 @ 76.404
c NEW SOLUTION FOUND: 1924 @ 76.463
c NEW SOLUTION FOUND: 1923 @ 76.523
c NEW SOLUTION FOUND: 1922 @ 76.582
c NEW SOLUTION FOUND: 1921 @ 76.642
c NEW SOLUTION FOUND: 1920 @ 76.701
c NEW SOLUTION FOUND: 1919 @ 76.76
c NEW SOLUTION FOUND: 1918 @ 76.819
c NEW SOLUTION FOUND: 1917 @ 76.879
c NEW SOLUTION FOUND: 1916 @ 76.938
c NEW SOLUTION FOUND: 1915 @ 76.998
c NEW SOLUTION FOUND: 1914 @ 77.057
c NEW SOLUTION FOUND: 1913 @ 77.116
c NEW SOLUTION FOUND: 1912 @ 77.176
c NEW SOLUTION FOUND: 1911 @ 77.235
c NEW SOLUTION FOUND: 1910 @ 77.295
c NEW SOLUTION FOUND: 1909 @ 77.355
c NEW SOLUTION FOUND: 1908 @ 77.414
c NEW SOLUTION FOUND: 1907 @ 77.474
c NEW SOLUTION FOUND: 1906 @ 77.533
c NEW SOLUTION FOUND: 1905 @ 77.592
c NEW SOLUTION FOUND: 1904 @ 77.651
c NEW SOLUTION FOUND: 1903 @ 77.711
c NEW SOLUTION FOUND: 1902 @ 77.77
c NEW SOLUTION FOUND: 1901 @ 77.829
c NEW SOLUTION FOUND: 1900 @ 77.888
c NEW SOLUTION FOUND: 1899 @ 77.948
c NEW SOLUTION FOUND: 1898 @ 78.007
c NEW SOLUTION FOUND: 1897 @ 78.066
c NEW SOLUTION FOUND: 1896 @ 78.126
c NEW SOLUTION FOUND: 1895 @ 78.186
c NEW SOLUTION FOUND: 1894 @ 78.246
c NEW SOLUTION FOUND: 1893 @ 78.306
c NEW SOLUTION FOUND: 1892 @ 78.365
c NEW SOLUTION FOUND: 1891 @ 78.425
c NEW SOLUTION FOUND: 1890 @ 78.484
c NEW SOLUTION FOUND: 1889 @ 78.544
c NEW SOLUTION FOUND: 1888 @ 78.603
c NEW SOLUTION FOUND: 1887 @ 78.663
c NEW SOLUTION FOUND: 1886 @ 78.722
c NEW SOLUTION FOUND: 1885 @ 78.781
c NEW SOLUTION FOUND: 1884 @ 78.84
c NEW SOLUTION FOUND: 1883 @ 78.9
c NEW SOLUTION FOUND: 1882 @ 78.959
c NEW SOLUTION FOUND: 1881 @ 79.019
c NEW SOLUTION FOUND: 1880 @ 79.078
c NEW SOLUTION FOUND: 1879 @ 79.137
c NEW SOLUTION FOUND: 1878 @ 79.196
c NEW SOLUTION FOUND: 1877 @ 79.256
c NEW SOLUTION FOUND: 1876 @ 79.315
c NEW SOLUTION FOUND: 1875 @ 79.374
c NEW SOLUTION FOUND: 1874 @ 79.434
c NEW SOLUTION FOUND: 1873 @ 79.494
c NEW SOLUTION FOUND: 1872 @ 79.553
c NEW SOLUTION FOUND: 1871 @ 79.612
c NEW SOLUTION FOUND: 1870 @ 79.671
c NEW SOLUTION FOUND: 1869 @ 79.731
c NEW SOLUTION FOUND: 1868 @ 79.789
c NEW SOLUTION FOUND: 1867 @ 79.849
c NEW SOLUTION FOUND: 1866 @ 79.908
c NEW SOLUTION FOUND: 1865 @ 79.966
c NEW SOLUTION FOUND: 1864 @ 80.026
c NEW SOLUTION FOUND: 1863 @ 80.086
c NEW SOLUTION FOUND: 1862 @ 80.145
c NEW SOLUTION FOUND: 1861 @ 80.204
c NEW SOLUTION FOUND: 1860 @ 80.263
c NEW SOLUTION FOUND: 1859 @ 80.322
c NEW SOLUTION FOUND: 1858 @ 80.381
c NEW SOLUTION FOUND: 1857 @ 80.44
c NEW SOLUTION FOUND: 1856 @ 80.499
c NEW SOLUTION FOUND: 1855 @ 80.559
c NEW SOLUTION FOUND: 1854 @ 80.618
c NEW SOLUTION FOUND: 1853 @ 80.677
c NEW SOLUTION FOUND: 1852 @ 80.736
c NEW SOLUTION FOUND: 1851 @ 80.795
c NEW SOLUTION FOUND: 1850 @ 80.854
c NEW SOLUTION FOUND: 1849 @ 80.913
c NEW SOLUTION FOUND: 1848 @ 80.972
c NEW SOLUTION FOUND: 1847 @ 81.031
c NEW SOLUTION FOUND: 1846 @ 81.09
c NEW SOLUTION FOUND: 1845 @ 81.15
c NEW SOLUTION FOUND: 1844 @ 81.209
c NEW SOLUTION FOUND: 1843 @ 81.268
c NEW SOLUTION FOUND: 1842 @ 81.327
c NEW SOLUTION FOUND: 1841 @ 81.386
c NEW SOLUTION FOUND: 1840 @ 81.445
c NEW SOLUTION FOUND: 1839 @ 81.504
c NEW SOLUTION FOUND: 1838 @ 81.563
c NEW SOLUTION FOUND: 1837 @ 81.622
c NEW SOLUTION FOUND: 1836 @ 81.681
c NEW SOLUTION FOUND: 1835 @ 81.741
c NEW SOLUTION FOUND: 1834 @ 81.8
c NEW SOLUTION FOUND: 1833 @ 81.859
c NEW SOLUTION FOUND: 1832 @ 81.918
c NEW SOLUTION FOUND: 1831 @ 81.977
c NEW SOLUTION FOUND: 1830 @ 82.036
c NEW SOLUTION FOUND: 1829 @ 82.095
c NEW SOLUTION FOUND: 1828 @ 82.154
c NEW SOLUTION FOUND: 1827 @ 82.213
c NEW SOLUTION FOUND: 1826 @ 82.273
c NEW SOLUTION FOUND: 1825 @ 82.332
c NEW SOLUTION FOUND: 1824 @ 82.391
c NEW SOLUTION FOUND: 1823 @ 82.45
c NEW SOLUTION FOUND: 1822 @ 82.509
c NEW SOLUTION FOUND: 1821 @ 82.569
c NEW SOLUTION FOUND: 1820 @ 82.628
c NEW SOLUTION FOUND: 1819 @ 82.687
c NEW SOLUTION FOUND: 1818 @ 82.746
c NEW SOLUTION FOUND: 1817 @ 82.805
c NEW SOLUTION FOUND: 1816 @ 82.864
c NEW SOLUTION FOUND: 1815 @ 82.923
c NEW SOLUTION FOUND: 1814 @ 82.982
c NEW SOLUTION FOUND: 1813 @ 83.041
c NEW SOLUTION FOUND: 1812 @ 83.1
c NEW SOLUTION FOUND: 1811 @ 83.159
c NEW SOLUTION FOUND: 1810 @ 83.218
c NEW SOLUTION FOUND: 1809 @ 83.277
c NEW SOLUTION FOUND: 1808 @ 83.336
c NEW SOLUTION FOUND: 1807 @ 83.395
c NEW SOLUTION FOUND: 1806 @ 83.454
c NEW SOLUTION FOUND: 1805 @ 83.513
c NEW SOLUTION FOUND: 1804 @ 83.572
c NEW SOLUTION FOUND: 1803 @ 83.631
c NEW SOLUTION FOUND: 1802 @ 83.69
c NEW SOLUTION FOUND: 1801 @ 83.75
c NEW SOLUTION FOUND: 1800 @ 83.808
c NEW SOLUTION FOUND: 1799 @ 83.868
c NEW SOLUTION FOUND: 1798 @ 83.926
c NEW SOLUTION FOUND: 1797 @ 83.986
c NEW SOLUTION FOUND: 1796 @ 84.044
c NEW SOLUTION FOUND: 1795 @ 84.103
c NEW SOLUTION FOUND: 1794 @ 84.162
c NEW SOLUTION FOUND: 1793 @ 84.221
c NEW SOLUTION FOUND: 1792 @ 84.28
c NEW SOLUTION FOUND: 1791 @ 84.339
c NEW SOLUTION FOUND: 1790 @ 84.398
c NEW SOLUTION FOUND: 1789 @ 84.457
c NEW SOLUTION FOUND: 1788 @ 84.515
c NEW SOLUTION FOUND: 1787 @ 84.574
c NEW SOLUTION FOUND: 1786 @ 84.633
c NEW SOLUTION FOUND: 1785 @ 84.749
c NEW SOLUTION FOUND: 1784 @ 84.808
c NEW SOLUTION FOUND: 1783 @ 84.869
c NEW SOLUTION FOUND: 1782 @ 84.928
c NEW SOLUTION FOUND: 1781 @ 84.989
c NEW SOLUTION FOUND: 1780 @ 85.049
c NEW SOLUTION FOUND: 1779 @ 85.11
c NEW SOLUTION FOUND: 1778 @ 85.17
c NEW SOLUTION FOUND: 1777 @ 85.23
c NEW SOLUTION FOUND: 1776 @ 85.29
c NEW SOLUTION FOUND: 1775 @ 85.351
c NEW SOLUTION FOUND: 1774 @ 85.411
c NEW SOLUTION FOUND: 1773 @ 85.472
c NEW SOLUTION FOUND: 1772 @ 85.533
c NEW SOLUTION FOUND: 1771 @ 85.593
c NEW SOLUTION FOUND: 1770 @ 85.653
c NEW SOLUTION FOUND: 1769 @ 85.714
c NEW SOLUTION FOUND: 1768 @ 85.774
c NEW SOLUTION FOUND: 1767 @ 85.834
c NEW SOLUTION FOUND: 1766 @ 85.894
c NEW SOLUTION FOUND: 1765 @ 85.954
c NEW SOLUTION FOUND: 1764 @ 86.014
c NEW SOLUTION FOUND: 1763 @ 86.075
c NEW SOLUTION FOUND: 1762 @ 86.134
c NEW SOLUTION FOUND: 1761 @ 86.195
c NEW SOLUTION FOUND: 1760 @ 86.255
c NEW SOLUTION FOUND: 1759 @ 86.315
c NEW SOLUTION FOUND: 1758 @ 86.375
c NEW SOLUTION FOUND: 1757 @ 86.435
c NEW SOLUTION FOUND: 1756 @ 86.495
c NEW SOLUTION FOUND: 1755 @ 86.555
c NEW SOLUTION FOUND: 1754 @ 86.615
c NEW SOLUTION FOUND: 1753 @ 86.675
c NEW SOLUTION FOUND: 1752 @ 86.734
c NEW SOLUTION FOUND: 1751 @ 86.795
c NEW SOLUTION FOUND: 1750 @ 86.854
c NEW SOLUTION FOUND: 1749 @ 86.915
c NEW SOLUTION FOUND: 1748 @ 86.974
c NEW SOLUTION FOUND: 1747 @ 87.035
c NEW SOLUTION FOUND: 1746 @ 87.095
c NEW SOLUTION FOUND: 1745 @ 87.155
c NEW SOLUTION FOUND: 1744 @ 87.215
c NEW SOLUTION FOUND: 1743 @ 87.276
c NEW SOLUTION FOUND: 1742 @ 87.336
c NEW SOLUTION FOUND: 1741 @ 87.396
c NEW SOLUTION FOUND: 1740 @ 87.456
c NEW SOLUTION FOUND: 1739 @ 87.516
c NEW SOLUTION FOUND: 1738 @ 87.576
c NEW SOLUTION FOUND: 1737 @ 87.637
c NEW SOLUTION FOUND: 1736 @ 87.696
c NEW SOLUTION FOUND: 1735 @ 87.757
c NEW SOLUTION FOUND: 1734 @ 87.817
c NEW SOLUTION FOUND: 1733 @ 87.877
c NEW SOLUTION FOUND: 1732 @ 87.937
c NEW SOLUTION FOUND: 1731 @ 87.997
c NEW SOLUTION FOUND: 1730 @ 88.057
c NEW SOLUTION FOUND: 1729 @ 88.117
c NEW SOLUTION FOUND: 1728 @ 88.176
c NEW SOLUTION FOUND: 1727 @ 88.237
c NEW SOLUTION FOUND: 1726 @ 88.296
c NEW SOLUTION FOUND: 1725 @ 88.356
c NEW SOLUTION FOUND: 1724 @ 88.416
c NEW SOLUTION FOUND: 1723 @ 88.476
c NEW SOLUTION FOUND: 1722 @ 88.536
c NEW SOLUTION FOUND: 1721 @ 88.596
c NEW SOLUTION FOUND: 1720 @ 88.657
c NEW SOLUTION FOUND: 1719 @ 88.717
c NEW SOLUTION FOUND: 1718 @ 88.777
c NEW SOLUTION FOUND: 1717 @ 88.837
c NEW SOLUTION FOUND: 1716 @ 88.897
c NEW SOLUTION FOUND: 1715 @ 88.957
c NEW SOLUTION FOUND: 1714 @ 89.017
c NEW SOLUTION FOUND: 1713 @ 89.077
c NEW SOLUTION FOUND: 1712 @ 89.137
c NEW SOLUTION FOUND: 1711 @ 89.197
c NEW SOLUTION FOUND: 1710 @ 89.257
c NEW SOLUTION FOUND: 1709 @ 89.317
c NEW SOLUTION FOUND: 1708 @ 89.377
c NEW SOLUTION FOUND: 1707 @ 89.437
c NEW SOLUTION FOUND: 1706 @ 89.497
c NEW SOLUTION FOUND: 1705 @ 89.557
c NEW SOLUTION FOUND: 1704 @ 89.617
c NEW SOLUTION FOUND: 1703 @ 89.677
c NEW SOLUTION FOUND: 1702 @ 89.737
c NEW SOLUTION FOUND: 1701 @ 89.797
c NEW SOLUTION FOUND: 1700 @ 89.857
c NEW SOLUTION FOUND: 1699 @ 89.917
c NEW SOLUTION FOUND: 1698 @ 89.977
c NEW SOLUTION FOUND: 1697 @ 90.037
c NEW SOLUTION FOUND: 1696 @ 90.097
c NEW SOLUTION FOUND: 1695 @ 90.157
c NEW SOLUTION FOUND: 1694 @ 90.217
c NEW SOLUTION FOUND: 1693 @ 90.277
c NEW SOLUTION FOUND: 1692 @ 90.337
c NEW SOLUTION FOUND: 1691 @ 90.397
c NEW SOLUTION FOUND: 1690 @ 90.457
c NEW SOLUTION FOUND: 1689 @ 90.517
c NEW SOLUTION FOUND: 1688 @ 90.577
c NEW SOLUTION FOUND: 1687 @ 90.637
c NEW SOLUTION FOUND: 1686 @ 90.697
c NEW SOLUTION FOUND: 1685 @ 90.757
c NEW SOLUTION FOUND: 1684 @ 90.816
c NEW SOLUTION FOUND: 1683 @ 90.877
c NEW SOLUTION FOUND: 1682 @ 90.936
c NEW SOLUTION FOUND: 1681 @ 90.996
c NEW SOLUTION FOUND: 1680 @ 91.056
c NEW SOLUTION FOUND: 1679 @ 91.116
c NEW SOLUTION FOUND: 1678 @ 91.176
c NEW SOLUTION FOUND: 1677 @ 91.236
c NEW SOLUTION FOUND: 1676 @ 91.296
c NEW SOLUTION FOUND: 1675 @ 91.356
c NEW SOLUTION FOUND: 1674 @ 91.416
c NEW SOLUTION FOUND: 1673 @ 91.478
c NEW SOLUTION FOUND: 1672 @ 91.537
c NEW SOLUTION FOUND: 1671 @ 91.597
c NEW SOLUTION FOUND: 1670 @ 91.657
c NEW SOLUTION FOUND: 1669 @ 91.717
c NEW SOLUTION FOUND: 1668 @ 91.777
c NEW SOLUTION FOUND: 1667 @ 91.837
c NEW SOLUTION FOUND: 1666 @ 91.897
c NEW SOLUTION FOUND: 1665 @ 91.957
c NEW SOLUTION FOUND: 1664 @ 92.017
c NEW SOLUTION FOUND: 1663 @ 92.077
c NEW SOLUTION FOUND: 1662 @ 92.136
c NEW SOLUTION FOUND: 1661 @ 92.196
c NEW SOLUTION FOUND: 1660 @ 92.256
c NEW SOLUTION FOUND: 1659 @ 92.317
c NEW SOLUTION FOUND: 1658 @ 92.377
c NEW SOLUTION FOUND: 1657 @ 92.437
c NEW SOLUTION FOUND: 1656 @ 92.496
c NEW SOLUTION FOUND: 1655 @ 92.556
c NEW SOLUTION FOUND: 1654 @ 92.616
c NEW SOLUTION FOUND: 1653 @ 92.676
c NEW SOLUTION FOUND: 1652 @ 92.736
c NEW SOLUTION FOUND: 1651 @ 92.796
c NEW SOLUTION FOUND: 1650 @ 92.856
c NEW SOLUTION FOUND: 1649 @ 92.916
c NEW SOLUTION FOUND: 1648 @ 92.976
c NEW SOLUTION FOUND: 1647 @ 93.036
c NEW SOLUTION FOUND: 1646 @ 93.096
c NEW SOLUTION FOUND: 1645 @ 93.156
c NEW SOLUTION FOUND: 1644 @ 93.215
c NEW SOLUTION FOUND: 1643 @ 93.275
c NEW SOLUTION FOUND: 1642 @ 93.335
c NEW SOLUTION FOUND: 1641 @ 93.394
c NEW SOLUTION FOUND: 1640 @ 93.454
c NEW SOLUTION FOUND: 1639 @ 93.516
c NEW SOLUTION FOUND: 1638 @ 93.575
c NEW SOLUTION FOUND: 1637 @ 93.636
c NEW SOLUTION FOUND: 1636 @ 93.695
c NEW SOLUTION FOUND: 1635 @ 93.755
c NEW SOLUTION FOUND: 1634 @ 93.815
c NEW SOLUTION FOUND: 1633 @ 93.875
c NEW SOLUTION FOUND: 1632 @ 93.934
c NEW SOLUTION FOUND: 1631 @ 93.995
c NEW SOLUTION FOUND: 1630 @ 94.054
c NEW SOLUTION FOUND: 1629 @ 94.114
c NEW SOLUTION FOUND: 1628 @ 94.174
c NEW SOLUTION FOUND: 1627 @ 94.234
c NEW SOLUTION FOUND: 1626 @ 94.294
c NEW SOLUTION FOUND: 1625 @ 94.354
c NEW SOLUTION FOUND: 1624 @ 94.414
c NEW SOLUTION FOUND: 1623 @ 94.473
c NEW SOLUTION FOUND: 1622 @ 94.533
c NEW SOLUTION FOUND: 1621 @ 94.593
c NEW SOLUTION FOUND: 1620 @ 94.653
c NEW SOLUTION FOUND: 1619 @ 94.713
c NEW SOLUTION FOUND: 1618 @ 94.773
c NEW SOLUTION FOUND: 1617 @ 94.833
c NEW SOLUTION FOUND: 1616 @ 94.893
c NEW SOLUTION FOUND: 1615 @ 94.953
c NEW SOLUTION FOUND: 1614 @ 95.013
c NEW SOLUTION FOUND: 1613 @ 95.074
c NEW SOLUTION FOUND: 1612 @ 95.134
c NEW SOLUTION FOUND: 1611 @ 95.194
c NEW SOLUTION FOUND: 1610 @ 95.254
c NEW SOLUTION FOUND: 1609 @ 95.315
c NEW SOLUTION FOUND: 1608 @ 95.375
c NEW SOLUTION FOUND: 1607 @ 95.435
c NEW SOLUTION FOUND: 1606 @ 95.495
c NEW SOLUTION FOUND: 1605 @ 95.555
c NEW SOLUTION FOUND: 1604 @ 95.615
c NEW SOLUTION FOUND: 1603 @ 95.675
c NEW SOLUTION FOUND: 1602 @ 95.735
c NEW SOLUTION FOUND: 1601 @ 95.796
c NEW SOLUTION FOUND: 1600 @ 95.856
c NEW SOLUTION FOUND: 1599 @ 95.916
c NEW SOLUTION FOUND: 1598 @ 95.976
c NEW SOLUTION FOUND: 1597 @ 96.036
c NEW SOLUTION FOUND: 1596 @ 96.096
c NEW SOLUTION FOUND: 1595 @ 96.156
c NEW SOLUTION FOUND: 1594 @ 96.216
c NEW SOLUTION FOUND: 1593 @ 96.276
c NEW SOLUTION FOUND: 1592 @ 96.336
c NEW SOLUTION FOUND: 1591 @ 96.396
c NEW SOLUTION FOUND: 1590 @ 96.456
c NEW SOLUTION FOUND: 1589 @ 96.516
c NEW SOLUTION FOUND: 1588 @ 96.576
c NEW SOLUTION FOUND: 1587 @ 96.637
c NEW SOLUTION FOUND: 1586 @ 96.697
c NEW SOLUTION FOUND: 1585 @ 96.757
c NEW SOLUTION FOUND: 1584 @ 96.817
c NEW SOLUTION FOUND: 1583 @ 96.876
c NEW SOLUTION FOUND: 1582 @ 96.936
c NEW SOLUTION FOUND: 1581 @ 96.997
c NEW SOLUTION FOUND: 1580 @ 97.056
c NEW SOLUTION FOUND: 1579 @ 97.117
c NEW SOLUTION FOUND: 1578 @ 97.177
c NEW SOLUTION FOUND: 1577 @ 97.237
c NEW SOLUTION FOUND: 1576 @ 97.297
c NEW SOLUTION FOUND: 1575 @ 97.358
c NEW SOLUTION FOUND: 1574 @ 97.418
c NEW SOLUTION FOUND: 1573 @ 97.479
c NEW SOLUTION FOUND: 1572 @ 97.539
c NEW SOLUTION FOUND: 1571 @ 97.599
c NEW SOLUTION FOUND: 1570 @ 97.659
c NEW SOLUTION FOUND: 1569 @ 97.719
c NEW SOLUTION FOUND: 1568 @ 97.779
c NEW SOLUTION FOUND: 1567 @ 97.839
c NEW SOLUTION FOUND: 1566 @ 97.899
c NEW SOLUTION FOUND: 1565 @ 97.959
c NEW SOLUTION FOUND: 1564 @ 98.019
c NEW SOLUTION FOUND: 1563 @ 98.078
c NEW SOLUTION FOUND: 1562 @ 98.138
c NEW SOLUTION FOUND: 1561 @ 98.198
c NEW SOLUTION FOUND: 1560 @ 98.258
c NEW SOLUTION FOUND: 1559 @ 98.318
c NEW SOLUTION FOUND: 1558 @ 98.378
c NEW SOLUTION FOUND: 1557 @ 98.44
c NEW SOLUTION FOUND: 1556 @ 98.499
c NEW SOLUTION FOUND: 1555 @ 98.559
c NEW SOLUTION FOUND: 1554 @ 98.619
c NEW SOLUTION FOUND: 1553 @ 98.681
c NEW SOLUTION FOUND: 1552 @ 98.743
c NEW SOLUTION FOUND: 1551 @ 98.804
c NEW SOLUTION FOUND: 1550 @ 98.865
c NEW SOLUTION FOUND: 1549 @ 98.926
c NEW SOLUTION FOUND: 1548 @ 98.987
c NEW SOLUTION FOUND: 1547 @ 99.048
c NEW SOLUTION FOUND: 1546 @ 99.109
c NEW SOLUTION FOUND: 1545 @ 99.171
c NEW SOLUTION FOUND: 1544 @ 99.231
c NEW SOLUTION FOUND: 1543 @ 99.293
c NEW SOLUTION FOUND: 1542 @ 99.354
c NEW SOLUTION FOUND: 1541 @ 99.415
c NEW SOLUTION FOUND: 1540 @ 99.476
c NEW SOLUTION FOUND: 1539 @ 99.537
c NEW SOLUTION FOUND: 1538 @ 99.598
c NEW SOLUTION FOUND: 1537 @ 99.66
c NEW SOLUTION FOUND: 1536 @ 99.723
c NEW SOLUTION FOUND: 1535 @ 99.783
c NEW SOLUTION FOUND: 1534 @ 99.845
c NEW SOLUTION FOUND: 1533 @ 99.906
c NEW SOLUTION FOUND: 1532 @ 99.967
c NEW SOLUTION FOUND: 1531 @ 100.03
c NEW SOLUTION FOUND: 1530 @ 100.09
c NEW SOLUTION FOUND: 1529 @ 100.152
c NEW SOLUTION FOUND: 1528 @ 100.213
c NEW SOLUTION FOUND: 1527 @ 100.274
c NEW SOLUTION FOUND: 1526 @ 100.336
c NEW SOLUTION FOUND: 1525 @ 100.397
c NEW SOLUTION FOUND: 1524 @ 100.458
c NEW SOLUTION FOUND: 1523 @ 100.52
c NEW SOLUTION FOUND: 1522 @ 100.581
c NEW SOLUTION FOUND: 1521 @ 100.643
c NEW SOLUTION FOUND: 1520 @ 100.704
c NEW SOLUTION FOUND: 1519 @ 100.765
c NEW SOLUTION FOUND: 1518 @ 100.826
c NEW SOLUTION FOUND: 1517 @ 100.888
c NEW SOLUTION FOUND: 1516 @ 100.949
c NEW SOLUTION FOUND: 1515 @ 101.01
c NEW SOLUTION FOUND: 1514 @ 101.071
c NEW SOLUTION FOUND: 1513 @ 101.133
c NEW SOLUTION FOUND: 1512 @ 101.194
c NEW SOLUTION FOUND: 1511 @ 101.255
c NEW SOLUTION FOUND: 1510 @ 101.317
c NEW SOLUTION FOUND: 1509 @ 101.378
c NEW SOLUTION FOUND: 1508 @ 101.439
c NEW SOLUTION FOUND: 1507 @ 101.5
c NEW SOLUTION FOUND: 1506 @ 101.561
c NEW SOLUTION FOUND: 1505 @ 101.623
c NEW SOLUTION FOUND: 1504 @ 101.684
c NEW SOLUTION FOUND: 1503 @ 101.745
c NEW SOLUTION FOUND: 1502 @ 101.806
c NEW SOLUTION FOUND: 1501 @ 101.867
c NEW SOLUTION FOUND: 1500 @ 101.929
c NEW SOLUTION FOUND: 1499 @ 101.99
c NEW SOLUTION FOUND: 1498 @ 102.051
c NEW SOLUTION FOUND: 1497 @ 102.112
c NEW SOLUTION FOUND: 1496 @ 102.174
c NEW SOLUTION FOUND: 1495 @ 102.235
c NEW SOLUTION FOUND: 1494 @ 102.297
c NEW SOLUTION FOUND: 1493 @ 102.358
c NEW SOLUTION FOUND: 1492 @ 102.42
c NEW SOLUTION FOUND: 1491 @ 102.481
c NEW SOLUTION FOUND: 1490 @ 102.542
c NEW SOLUTION FOUND: 1489 @ 102.603
c NEW SOLUTION FOUND: 1488 @ 102.664
c NEW SOLUTION FOUND: 1487 @ 102.726
c NEW SOLUTION FOUND: 1486 @ 102.787
c NEW SOLUTION FOUND: 1485 @ 102.848
c NEW SOLUTION FOUND: 1484 @ 102.909
c NEW SOLUTION FOUND: 1483 @ 102.971
c NEW SOLUTION FOUND: 1482 @ 103.032
c NEW SOLUTION FOUND: 1481 @ 103.094
c NEW SOLUTION FOUND: 1480 @ 103.155
c NEW SOLUTION FOUND: 1479 @ 103.216
c NEW SOLUTION FOUND: 1478 @ 103.277
c NEW SOLUTION FOUND: 1477 @ 103.339
c NEW SOLUTION FOUND: 1476 @ 103.4
c NEW SOLUTION FOUND: 1475 @ 103.461
c NEW SOLUTION FOUND: 1474 @ 103.523
c NEW SOLUTION FOUND: 1473 @ 103.584
c NEW SOLUTION FOUND: 1472 @ 103.646
c NEW SOLUTION FOUND: 1471 @ 103.707
c NEW SOLUTION FOUND: 1470 @ 103.768
c NEW SOLUTION FOUND: 1469 @ 103.829
c NEW SOLUTION FOUND: 1468 @ 103.89
c NEW SOLUTION FOUND: 1467 @ 103.952
c NEW SOLUTION FOUND: 1466 @ 104.013
c NEW SOLUTION FOUND: 1465 @ 104.074
c NEW SOLUTION FOUND: 1464 @ 104.135
c NEW SOLUTION FOUND: 1463 @ 104.196
c NEW SOLUTION FOUND: 1462 @ 104.257
c NEW SOLUTION FOUND: 1461 @ 104.32
c NEW SOLUTION FOUND: 1460 @ 104.381
c NEW SOLUTION FOUND: 1459 @ 104.442
c NEW SOLUTION FOUND: 1458 @ 104.503
c NEW SOLUTION FOUND: 1457 @ 104.564
c NEW SOLUTION FOUND: 1456 @ 104.625
c NEW SOLUTION FOUND: 1455 @ 104.686
c NEW SOLUTION FOUND: 1454 @ 104.747
c NEW SOLUTION FOUND: 1453 @ 104.808
c NEW SOLUTION FOUND: 1452 @ 104.87
c NEW SOLUTION FOUND: 1451 @ 104.931
c NEW SOLUTION FOUND: 1450 @ 104.992
c NEW SOLUTION FOUND: 1449 @ 105.053
c NEW SOLUTION FOUND: 1448 @ 105.114
c NEW SOLUTION FOUND: 1447 @ 105.175
c NEW SOLUTION FOUND: 1446 @ 105.236
c NEW SOLUTION FOUND: 1445 @ 105.297
c NEW SOLUTION FOUND: 1444 @ 105.358
c NEW SOLUTION FOUND: 1443 @ 105.419
c NEW SOLUTION FOUND: 1442 @ 105.481
c NEW SOLUTION FOUND: 1441 @ 105.542
c NEW SOLUTION FOUND: 1440 @ 105.603
c NEW SOLUTION FOUND: 1439 @ 105.663
c NEW SOLUTION FOUND: 1438 @ 105.724
c NEW SOLUTION FOUND: 1437 @ 105.785
c NEW SOLUTION FOUND: 1436 @ 105.846
c NEW SOLUTION FOUND: 1435 @ 105.907
c NEW SOLUTION FOUND: 1434 @ 105.968
c NEW SOLUTION FOUND: 1433 @ 106.029
c NEW SOLUTION FOUND: 1432 @ 106.09
c NEW SOLUTION FOUND: 1431 @ 106.151
c NEW SOLUTION FOUND: 1430 @ 106.211
c NEW SOLUTION FOUND: 1429 @ 106.272
c NEW SOLUTION FOUND: 1428 @ 106.333
c NEW SOLUTION FOUND: 1427 @ 106.394
c NEW SOLUTION FOUND: 1426 @ 106.455
c NEW SOLUTION FOUND: 1425 @ 106.516
c NEW SOLUTION FOUND: 1424 @ 106.577
c NEW SOLUTION FOUND: 1423 @ 106.639
c NEW SOLUTION FOUND: 1422 @ 106.7
c NEW SOLUTION FOUND: 1421 @ 106.759
c NEW SOLUTION FOUND: 1420 @ 106.82
c NEW SOLUTION FOUND: 1419 @ 106.881
c NEW SOLUTION FOUND: 1418 @ 106.942
c NEW SOLUTION FOUND: 1417 @ 107.003
c NEW SOLUTION FOUND: 1416 @ 107.064
c NEW SOLUTION FOUND: 1415 @ 107.124
c NEW SOLUTION FOUND: 1414 @ 107.185
c NEW SOLUTION FOUND: 1413 @ 107.246
c NEW SOLUTION FOUND: 1412 @ 107.308
c NEW SOLUTION FOUND: 1411 @ 107.368
c NEW SOLUTION FOUND: 1410 @ 107.429
c NEW SOLUTION FOUND: 1409 @ 107.49
c NEW SOLUTION FOUND: 1408 @ 107.551
c NEW SOLUTION FOUND: 1407 @ 107.612
c NEW SOLUTION FOUND: 1406 @ 107.673
c NEW SOLUTION FOUND: 1405 @ 107.733
c NEW SOLUTION FOUND: 1404 @ 107.794
c NEW SOLUTION FOUND: 1403 @ 107.854
c NEW SOLUTION FOUND: 1402 @ 107.915
c NEW SOLUTION FOUND: 1401 @ 107.976
c NEW SOLUTION FOUND: 1400 @ 108.037
c NEW SOLUTION FOUND: 1399 @ 108.097
c NEW SOLUTION FOUND: 1398 @ 108.158
c NEW SOLUTION FOUND: 1397 @ 108.218
c NEW SOLUTION FOUND: 1396 @ 108.279
c NEW SOLUTION FOUND: 1395 @ 108.339
c NEW SOLUTION FOUND: 1394 @ 108.4
c NEW SOLUTION FOUND: 1393 @ 108.46
c NEW SOLUTION FOUND: 1392 @ 108.521
c NEW SOLUTION FOUND: 1391 @ 108.582
c NEW SOLUTION FOUND: 1390 @ 108.642
c NEW SOLUTION FOUND: 1389 @ 108.703
c NEW SOLUTION FOUND: 1388 @ 108.763
c NEW SOLUTION FOUND: 1387 @ 108.824
c NEW SOLUTION FOUND: 1386 @ 108.884
c NEW SOLUTION FOUND: 1385 @ 108.944
c NEW SOLUTION FOUND: 1384 @ 109.006
c NEW SOLUTION FOUND: 1383 @ 109.067
c NEW SOLUTION FOUND: 1382 @ 109.127
c NEW SOLUTION FOUND: 1381 @ 109.188
c NEW SOLUTION FOUND: 1380 @ 109.249
c NEW SOLUTION FOUND: 1379 @ 109.309
c NEW SOLUTION FOUND: 1378 @ 109.37
c NEW SOLUTION FOUND: 1377 @ 109.43
c NEW SOLUTION FOUND: 1376 @ 109.492
c NEW SOLUTION FOUND: 1375 @ 109.553
c NEW SOLUTION FOUND: 1374 @ 109.614
c NEW SOLUTION FOUND: 1373 @ 109.674
c NEW SOLUTION FOUND: 1372 @ 109.735
c NEW SOLUTION FOUND: 1371 @ 109.795
c NEW SOLUTION FOUND: 1370 @ 109.856
c NEW SOLUTION FOUND: 1369 @ 109.917
c NEW SOLUTION FOUND: 1368 @ 109.979
c NEW SOLUTION FOUND: 1367 @ 110.039
c NEW SOLUTION FOUND: 1366 @ 110.1
c NEW SOLUTION FOUND: 1365 @ 110.16
c NEW SOLUTION FOUND: 1364 @ 110.221
c NEW SOLUTION FOUND: 1363 @ 110.282
c NEW SOLUTION FOUND: 1362 @ 110.342
c NEW SOLUTION FOUND: 1361 @ 110.403
c NEW SOLUTION FOUND: 1360 @ 110.464
c NEW SOLUTION FOUND: 1359 @ 110.525
c NEW SOLUTION FOUND: 1358 @ 110.585
c NEW SOLUTION FOUND: 1357 @ 110.646
c NEW SOLUTION FOUND: 1356 @ 110.707
c NEW SOLUTION FOUND: 1355 @ 110.767
c NEW SOLUTION FOUND: 1354 @ 110.828
c NEW SOLUTION FOUND: 1353 @ 110.888
c NEW SOLUTION FOUND: 1352 @ 110.949
c NEW SOLUTION FOUND: 1351 @ 111.01
c NEW SOLUTION FOUND: 1350 @ 111.07
c NEW SOLUTION FOUND: 1349 @ 111.131
c NEW SOLUTION FOUND: 1348 @ 111.192
c NEW SOLUTION FOUND: 1347 @ 111.252
c NEW SOLUTION FOUND: 1346 @ 111.312
c NEW SOLUTION FOUND: 1345 @ 111.373
c NEW SOLUTION FOUND: 1344 @ 111.433
c NEW SOLUTION FOUND: 1343 @ 111.494
c NEW SOLUTION FOUND: 1342 @ 111.554
c NEW SOLUTION FOUND: 1341 @ 111.614
c NEW SOLUTION FOUND: 1340 @ 111.676
c NEW SOLUTION FOUND: 1339 @ 111.736
c NEW SOLUTION FOUND: 1338 @ 111.797
c NEW SOLUTION FOUND: 1337 @ 111.857
c NEW SOLUTION FOUND: 1336 @ 111.918
c NEW SOLUTION FOUND: 1335 @ 111.979
c NEW SOLUTION FOUND: 1334 @ 112.039
c NEW SOLUTION FOUND: 1333 @ 112.1
c NEW SOLUTION FOUND: 1332 @ 112.161
c NEW SOLUTION FOUND: 1331 @ 112.221
c NEW SOLUTION FOUND: 1330 @ 112.283
c NEW SOLUTION FOUND: 1329 @ 112.343
c NEW SOLUTION FOUND: 1328 @ 112.404
c NEW SOLUTION FOUND: 1327 @ 112.464
c NEW SOLUTION FOUND: 1326 @ 112.525
c NEW SOLUTION FOUND: 1325 @ 112.586
c NEW SOLUTION FOUND: 1324 @ 112.647
c NEW SOLUTION FOUND: 1323 @ 112.707
c NEW SOLUTION FOUND: 1322 @ 112.768
c NEW SOLUTION FOUND: 1321 @ 112.829
c NEW SOLUTION FOUND: 1320 @ 112.889
c NEW SOLUTION FOUND: 1319 @ 112.95
c NEW SOLUTION FOUND: 1318 @ 113.011
c NEW SOLUTION FOUND: 1317 @ 113.071
c NEW SOLUTION FOUND: 1316 @ 113.132
c NEW SOLUTION FOUND: 1315 @ 113.192
c NEW SOLUTION FOUND: 1314 @ 113.253
c NEW SOLUTION FOUND: 1313 @ 113.314
c NEW SOLUTION FOUND: 1312 @ 113.375
c NEW SOLUTION FOUND: 1311 @ 113.435
c NEW SOLUTION FOUND: 1310 @ 113.495
c NEW SOLUTION FOUND: 1309 @ 113.555
c NEW SOLUTION FOUND: 1308 @ 113.616
c NEW SOLUTION FOUND: 1307 @ 113.677
c NEW SOLUTION FOUND: 1306 @ 113.738
c NEW SOLUTION FOUND: 1305 @ 113.798
c NEW SOLUTION FOUND: 1304 @ 113.859
c NEW SOLUTION FOUND: 1303 @ 113.919
c NEW SOLUTION FOUND: 1302 @ 113.98
c NEW SOLUTION FOUND: 1301 @ 114.04
c NEW SOLUTION FOUND: 1300 @ 114.101
c NEW SOLUTION FOUND: 1299 @ 114.161
c NEW SOLUTION FOUND: 1298 @ 114.222
c NEW SOLUTION FOUND: 1297 @ 114.283
c NEW SOLUTION FOUND: 1296 @ 114.343
c NEW SOLUTION FOUND: 1295 @ 114.404
c NEW SOLUTION FOUND: 1294 @ 114.464
c NEW SOLUTION FOUND: 1293 @ 114.525
c NEW SOLUTION FOUND: 1292 @ 114.585
c NEW SOLUTION FOUND: 1291 @ 114.646
c NEW SOLUTION FOUND: 1290 @ 114.706
c NEW SOLUTION FOUND: 1289 @ 114.767
c NEW SOLUTION FOUND: 1288 @ 114.827
c NEW SOLUTION FOUND: 1287 @ 114.887
c NEW SOLUTION FOUND: 1286 @ 114.947
c NEW SOLUTION FOUND: 1285 @ 115.008
c NEW SOLUTION FOUND: 1284 @ 115.068
c NEW SOLUTION FOUND: 1283 @ 115.129
c NEW SOLUTION FOUND: 1282 @ 115.189
c NEW SOLUTION FOUND: 1281 @ 115.249
c NEW SOLUTION FOUND: 1280 @ 115.309
c NEW SOLUTION FOUND: 1279 @ 115.37
c NEW SOLUTION FOUND: 1278 @ 115.43
c NEW SOLUTION FOUND: 1277 @ 115.491
c NEW SOLUTION FOUND: 1276 @ 115.552
c NEW SOLUTION FOUND: 1275 @ 115.612
c NEW SOLUTION FOUND: 1274 @ 115.672
c NEW SOLUTION FOUND: 1273 @ 115.733
c NEW SOLUTION FOUND: 1272 @ 115.793
c NEW SOLUTION FOUND: 1271 @ 115.853
c NEW SOLUTION FOUND: 1270 @ 115.913
c NEW SOLUTION FOUND: 1269 @ 115.974
c NEW SOLUTION FOUND: 1268 @ 116.034
c NEW SOLUTION FOUND: 1267 @ 116.094
c NEW SOLUTION FOUND: 1266 @ 116.154
c NEW SOLUTION FOUND: 1265 @ 116.214
c NEW SOLUTION FOUND: 1264 @ 116.274
c NEW SOLUTION FOUND: 1263 @ 116.335
c NEW SOLUTION FOUND: 1262 @ 116.395
c NEW SOLUTION FOUND: 1261 @ 116.455
c NEW SOLUTION FOUND: 1260 @ 116.515
c NEW SOLUTION FOUND: 1259 @ 116.576
c NEW SOLUTION FOUND: 1258 @ 116.636
c NEW SOLUTION FOUND: 1257 @ 116.697
c NEW SOLUTION FOUND: 1256 @ 116.757
c NEW SOLUTION FOUND: 1255 @ 116.817
c NEW SOLUTION FOUND: 1254 @ 116.877
c NEW SOLUTION FOUND: 1253 @ 116.937
c NEW SOLUTION FOUND: 1252 @ 116.997
c NEW SOLUTION FOUND: 1251 @ 117.058
c NEW SOLUTION FOUND: 1250 @ 117.118
c NEW SOLUTION FOUND: 1249 @ 117.179
c NEW SOLUTION FOUND: 1248 @ 117.239
c NEW SOLUTION FOUND: 1247 @ 117.299
c NEW SOLUTION FOUND: 1246 @ 117.359
c NEW SOLUTION FOUND: 1245 @ 117.42
c NEW SOLUTION FOUND: 1244 @ 117.48
c NEW SOLUTION FOUND: 1243 @ 117.54
c NEW SOLUTION FOUND: 1242 @ 117.601
c NEW SOLUTION FOUND: 1241 @ 117.661
c NEW SOLUTION FOUND: 1240 @ 117.721
c NEW SOLUTION FOUND: 1239 @ 117.781
c NEW SOLUTION FOUND: 1238 @ 117.842
c NEW SOLUTION FOUND: 1237 @ 117.902
c NEW SOLUTION FOUND: 1236 @ 117.962
c NEW SOLUTION FOUND: 1235 @ 118.022
c NEW SOLUTION FOUND: 1234 @ 118.082
c NEW SOLUTION FOUND: 1233 @ 118.142
c NEW SOLUTION FOUND: 1232 @ 118.203
c NEW SOLUTION FOUND: 1231 @ 118.263
c NEW SOLUTION FOUND: 1230 @ 118.323
c NEW SOLUTION FOUND: 1229 @ 118.383
c NEW SOLUTION FOUND: 1228 @ 118.443
c NEW SOLUTION FOUND: 1227 @ 118.503
c NEW SOLUTION FOUND: 1226 @ 118.563
c NEW SOLUTION FOUND: 1225 @ 118.623
c NEW SOLUTION FOUND: 1224 @ 118.683
c NEW SOLUTION FOUND: 1223 @ 118.743
c NEW SOLUTION FOUND: 1222 @ 118.803
c NEW SOLUTION FOUND: 1221 @ 118.863
c NEW SOLUTION FOUND: 1220 @ 118.923
c NEW SOLUTION FOUND: 1219 @ 118.983
c NEW SOLUTION FOUND: 1218 @ 119.043
c NEW SOLUTION FOUND: 1217 @ 119.103
c NEW SOLUTION FOUND: 1216 @ 119.163
c NEW SOLUTION FOUND: 1215 @ 119.223
c NEW SOLUTION FOUND: 1214 @ 119.283
c NEW SOLUTION FOUND: 1213 @ 119.343
c NEW SOLUTION FOUND: 1212 @ 119.403
c NEW SOLUTION FOUND: 1211 @ 119.463
c NEW SOLUTION FOUND: 1210 @ 119.523
c NEW SOLUTION FOUND: 1209 @ 119.583
c NEW SOLUTION FOUND: 1208 @ 119.643
c NEW SOLUTION FOUND: 1207 @ 119.703
c NEW SOLUTION FOUND: 1206 @ 119.762
c NEW SOLUTION FOUND: 1205 @ 119.823
c NEW SOLUTION FOUND: 1204 @ 119.882
c NEW SOLUTION FOUND: 1203 @ 119.942
c NEW SOLUTION FOUND: 1202 @ 120.002
c NEW SOLUTION FOUND: 1201 @ 120.062
c NEW SOLUTION FOUND: 1200 @ 120.122
c NEW SOLUTION FOUND: 1199 @ 120.182
c NEW SOLUTION FOUND: 1198 @ 120.241
c NEW SOLUTION FOUND: 1197 @ 120.301
c NEW SOLUTION FOUND: 1196 @ 120.361
c NEW SOLUTION FOUND: 1195 @ 120.421
c NEW SOLUTION FOUND: 1194 @ 120.481
c NEW SOLUTION FOUND: 1193 @ 120.541
c NEW SOLUTION FOUND: 1192 @ 120.601
c NEW SOLUTION FOUND: 1191 @ 120.661
c NEW SOLUTION FOUND: 1190 @ 120.721
c NEW SOLUTION FOUND: 1189 @ 120.781
c NEW SOLUTION FOUND: 1188 @ 120.84
c NEW SOLUTION FOUND: 1187 @ 120.9
c NEW SOLUTION FOUND: 1186 @ 120.96
c NEW SOLUTION FOUND: 1185 @ 121.02
c NEW SOLUTION FOUND: 1184 @ 121.08
c NEW SOLUTION FOUND: 1183 @ 121.139
c NEW SOLUTION FOUND: 1182 @ 121.199
c NEW SOLUTION FOUND: 1181 @ 121.259
c NEW SOLUTION FOUND: 1180 @ 121.319
c NEW SOLUTION FOUND: 1179 @ 121.379
c NEW SOLUTION FOUND: 1178 @ 121.438
c NEW SOLUTION FOUND: 1177 @ 121.499
c NEW SOLUTION FOUND: 1176 @ 121.56
c NEW SOLUTION FOUND: 1175 @ 121.62
c NEW SOLUTION FOUND: 1174 @ 121.68
c NEW SOLUTION FOUND: 1173 @ 121.739
c NEW SOLUTION FOUND: 1172 @ 121.799
c NEW SOLUTION FOUND: 1171 @ 121.859
c NEW SOLUTION FOUND: 1170 @ 121.919
c NEW SOLUTION FOUND: 1169 @ 121.979
c NEW SOLUTION FOUND: 1168 @ 122.039
c NEW SOLUTION FOUND: 1167 @ 122.098
c NEW SOLUTION FOUND: 1166 @ 122.158
c NEW SOLUTION FOUND: 1165 @ 122.218
c NEW SOLUTION FOUND: 1164 @ 122.279
c NEW SOLUTION FOUND: 1163 @ 122.338
c NEW SOLUTION FOUND: 1162 @ 122.398
c NEW SOLUTION FOUND: 1161 @ 122.458
c NEW SOLUTION FOUND: 1160 @ 122.518
c NEW SOLUTION FOUND: 1159 @ 122.578
c NEW SOLUTION FOUND: 1158 @ 122.638
c NEW SOLUTION FOUND: 1157 @ 122.697
c NEW SOLUTION FOUND: 1156 @ 122.757
c NEW SOLUTION FOUND: 1155 @ 122.817
c NEW SOLUTION FOUND: 1154 @ 122.877
c NEW SOLUTION FOUND: 1153 @ 122.936
c NEW SOLUTION FOUND: 1152 @ 122.996
c NEW SOLUTION FOUND: 1151 @ 123.056
c NEW SOLUTION FOUND: 1150 @ 123.116
c NEW SOLUTION FOUND: 1149 @ 123.175
c NEW SOLUTION FOUND: 1148 @ 123.235
c NEW SOLUTION FOUND: 1147 @ 123.294
c NEW SOLUTION FOUND: 1146 @ 123.354
c NEW SOLUTION FOUND: 1145 @ 123.414
c NEW SOLUTION FOUND: 1144 @ 123.474
c NEW SOLUTION FOUND: 1143 @ 123.534
c NEW SOLUTION FOUND: 1142 @ 123.594
c NEW SOLUTION FOUND: 1141 @ 123.653
c NEW SOLUTION FOUND: 1140 @ 123.713
c NEW SOLUTION FOUND: 1139 @ 123.773
c NEW SOLUTION FOUND: 1138 @ 123.832
c NEW SOLUTION FOUND: 1137 @ 123.892
c NEW SOLUTION FOUND: 1136 @ 123.952
c NEW SOLUTION FOUND: 1135 @ 124.011
c NEW SOLUTION FOUND: 1134 @ 124.071
c NEW SOLUTION FOUND: 1133 @ 124.13
c NEW SOLUTION FOUND: 1132 @ 124.19
c NEW SOLUTION FOUND: 1131 @ 124.249
c NEW SOLUTION FOUND: 1130 @ 124.309
c NEW SOLUTION FOUND: 1129 @ 124.37
c NEW SOLUTION FOUND: 1128 @ 124.43
c NEW SOLUTION FOUND: 1127 @ 124.489
c NEW SOLUTION FOUND: 1126 @ 124.549
c NEW SOLUTION FOUND: 1125 @ 124.608
c NEW SOLUTION FOUND: 1124 @ 124.668
c NEW SOLUTION FOUND: 1123 @ 124.728
c NEW SOLUTION FOUND: 1122 @ 124.788
c NEW SOLUTION FOUND: 1121 @ 124.847
c NEW SOLUTION FOUND: 1120 @ 124.907
c NEW SOLUTION FOUND: 1119 @ 124.966
c NEW SOLUTION FOUND: 1118 @ 125.026
c NEW SOLUTION FOUND: 1117 @ 125.086
c NEW SOLUTION FOUND: 1116 @ 125.145
c NEW SOLUTION FOUND: 1115 @ 125.205
c NEW SOLUTION FOUND: 1114 @ 125.264
c NEW SOLUTION FOUND: 1113 @ 125.324
c NEW SOLUTION FOUND: 1112 @ 125.384
c NEW SOLUTION FOUND: 1111 @ 125.443
c NEW SOLUTION FOUND: 1110 @ 125.503
c NEW SOLUTION FOUND: 1109 @ 125.563
c NEW SOLUTION FOUND: 1108 @ 125.622
c NEW SOLUTION FOUND: 1107 @ 125.682
c NEW SOLUTION FOUND: 1106 @ 125.741
c NEW SOLUTION FOUND: 1105 @ 125.801
c NEW SOLUTION FOUND: 1104 @ 125.861
c NEW SOLUTION FOUND: 1103 @ 125.92
c NEW SOLUTION FOUND: 1102 @ 125.98
c NEW SOLUTION FOUND: 1101 @ 126.039
c NEW SOLUTION FOUND: 1100 @ 126.099
c NEW SOLUTION FOUND: 1099 @ 126.158
c NEW SOLUTION FOUND: 1098 @ 126.218
c NEW SOLUTION FOUND: 1097 @ 126.278
c NEW SOLUTION FOUND: 1096 @ 126.337
c NEW SOLUTION FOUND: 1095 @ 126.397
c NEW SOLUTION FOUND: 1094 @ 126.456
c NEW SOLUTION FOUND: 1093 @ 126.516
c NEW SOLUTION FOUND: 1092 @ 126.576
c NEW SOLUTION FOUND: 1091 @ 126.635
c NEW SOLUTION FOUND: 1090 @ 126.696
c NEW SOLUTION FOUND: 1089 @ 126.757
c NEW SOLUTION FOUND: 1088 @ 126.817
c NEW SOLUTION FOUND: 1087 @ 126.877
c NEW SOLUTION FOUND: 1086 @ 126.936
c NEW SOLUTION FOUND: 1085 @ 126.996
c NEW SOLUTION FOUND: 1084 @ 127.056
c NEW SOLUTION FOUND: 1083 @ 127.115
c NEW SOLUTION FOUND: 1082 @ 127.175
c NEW SOLUTION FOUND: 1081 @ 127.234
c NEW SOLUTION FOUND: 1080 @ 127.295
c NEW SOLUTION FOUND: 1079 @ 127.354
c NEW SOLUTION FOUND: 1078 @ 127.414
c NEW SOLUTION FOUND: 1077 @ 127.475
c NEW SOLUTION FOUND: 1076 @ 127.534
c NEW SOLUTION FOUND: 1075 @ 127.594
c NEW SOLUTION FOUND: 1074 @ 127.654
c NEW SOLUTION FOUND: 1073 @ 127.713
c NEW SOLUTION FOUND: 1072 @ 127.773
c NEW SOLUTION FOUND: 1071 @ 127.833
c NEW SOLUTION FOUND: 1070 @ 127.892
c NEW SOLUTION FOUND: 1069 @ 127.951
c NEW SOLUTION FOUND: 1068 @ 128.011
c NEW SOLUTION FOUND: 1067 @ 128.07
c NEW SOLUTION FOUND: 1066 @ 128.13
c NEW SOLUTION FOUND: 1065 @ 128.189
c NEW SOLUTION FOUND: 1064 @ 128.249
c NEW SOLUTION FOUND: 1063 @ 128.308
c NEW SOLUTION FOUND: 1062 @ 128.368
c NEW SOLUTION FOUND: 1061 @ 128.428
c NEW SOLUTION FOUND: 1060 @ 128.487
c NEW SOLUTION FOUND: 1059 @ 128.547
c NEW SOLUTION FOUND: 1058 @ 128.607
c NEW SOLUTION FOUND: 1057 @ 128.666
c NEW SOLUTION FOUND: 1056 @ 128.727
c NEW SOLUTION FOUND: 1055 @ 128.787
c NEW SOLUTION FOUND: 1054 @ 128.847
c NEW SOLUTION FOUND: 1053 @ 128.906
c NEW SOLUTION FOUND: 1052 @ 128.966
c NEW SOLUTION FOUND: 1051 @ 129.026
c NEW SOLUTION FOUND: 1050 @ 129.085
c NEW SOLUTION FOUND: 1049 @ 129.145
c NEW SOLUTION FOUND: 1048 @ 129.204
c NEW SOLUTION FOUND: 1047 @ 129.264
c NEW SOLUTION FOUND: 1046 @ 129.324
c NEW SOLUTION FOUND: 1045 @ 129.383
c NEW SOLUTION FOUND: 1044 @ 129.444
c NEW SOLUTION FOUND: 1043 @ 129.503
c NEW SOLUTION FOUND: 1042 @ 129.564
c NEW SOLUTION FOUND: 1041 @ 129.623
c NEW SOLUTION FOUND: 1040 @ 129.682
c NEW SOLUTION FOUND: 1039 @ 129.742
c NEW SOLUTION FOUND: 1038 @ 129.802
c NEW SOLUTION FOUND: 1037 @ 129.861
c NEW SOLUTION FOUND: 1036 @ 129.921
c NEW SOLUTION FOUND: 1035 @ 129.981
c NEW SOLUTION FOUND: 1034 @ 130.04
c NEW SOLUTION FOUND: 1033 @ 130.1
c NEW SOLUTION FOUND: 1032 @ 130.159
c NEW SOLUTION FOUND: 1031 @ 130.218
c NEW SOLUTION FOUND: 1030 @ 130.278
c NEW SOLUTION FOUND: 1029 @ 130.337
c NEW SOLUTION FOUND: 1028 @ 130.397
c NEW SOLUTION FOUND: 1027 @ 130.456
c NEW SOLUTION FOUND: 1026 @ 130.516
c NEW SOLUTION FOUND: 1025 @ 130.575
c NEW SOLUTION FOUND: 1024 @ 130.635
c NEW SOLUTION FOUND: 1023 @ 130.694
c NEW SOLUTION FOUND: 1022 @ 130.754
c NEW SOLUTION FOUND: 1021 @ 130.813
c NEW SOLUTION FOUND: 1020 @ 130.873
c NEW SOLUTION FOUND: 1019 @ 130.932
c NEW SOLUTION FOUND: 1018 @ 130.991
c NEW SOLUTION FOUND: 1017 @ 131.051
c NEW SOLUTION FOUND: 1016 @ 131.11
c NEW SOLUTION FOUND: 1015 @ 131.17
c NEW SOLUTION FOUND: 1014 @ 131.229
c NEW SOLUTION FOUND: 1013 @ 131.289
c NEW SOLUTION FOUND: 1012 @ 131.348
c NEW SOLUTION FOUND: 1011 @ 131.408
c NEW SOLUTION FOUND: 1010 @ 131.467
c NEW SOLUTION FOUND: 1009 @ 131.527
c NEW SOLUTION FOUND: 1008 @ 131.586
c NEW SOLUTION FOUND: 1007 @ 131.645
c NEW SOLUTION FOUND: 1006 @ 131.705
c NEW SOLUTION FOUND: 1005 @ 131.764
c NEW SOLUTION FOUND: 1004 @ 131.823
c NEW SOLUTION FOUND: 1003 @ 131.883
c NEW SOLUTION FOUND: 1002 @ 131.942
c NEW SOLUTION FOUND: 1001 @ 132.001
c NEW SOLUTION FOUND: 1000 @ 132.061
c NEW SOLUTION FOUND: 999 @ 132.12
c NEW SOLUTION FOUND: 998 @ 132.18
c NEW SOLUTION FOUND: 997 @ 132.239
c NEW SOLUTION FOUND: 996 @ 132.299
c NEW SOLUTION FOUND: 995 @ 132.359
c NEW SOLUTION FOUND: 994 @ 132.419
c NEW SOLUTION FOUND: 993 @ 132.479
c NEW SOLUTION FOUND: 992 @ 132.538
c NEW SOLUTION FOUND: 991 @ 132.598
c NEW SOLUTION FOUND: 990 @ 132.658
c NEW SOLUTION FOUND: 989 @ 132.719
c NEW SOLUTION FOUND: 988 @ 132.778
c NEW SOLUTION FOUND: 987 @ 132.838
c NEW SOLUTION FOUND: 986 @ 132.897
c NEW SOLUTION FOUND: 985 @ 132.957
c NEW SOLUTION FOUND: 984 @ 133.017
c NEW SOLUTION FOUND: 983 @ 133.077
c NEW SOLUTION FOUND: 982 @ 133.136
c NEW SOLUTION FOUND: 981 @ 133.197
c NEW SOLUTION FOUND: 980 @ 133.256
c NEW SOLUTION FOUND: 979 @ 133.316
c NEW SOLUTION FOUND: 978 @ 133.375
c NEW SOLUTION FOUND: 977 @ 133.437
c NEW SOLUTION FOUND: 976 @ 133.496
c NEW SOLUTION FOUND: 975 @ 133.556
c NEW SOLUTION FOUND: 974 @ 133.614
c NEW SOLUTION FOUND: 973 @ 133.675
c NEW SOLUTION FOUND: 972 @ 133.734
c NEW SOLUTION FOUND: 971 @ 133.794
c NEW SOLUTION FOUND: 970 @ 133.853
c NEW SOLUTION FOUND: 969 @ 133.913
c NEW SOLUTION FOUND: 968 @ 133.972
c NEW SOLUTION FOUND: 967 @ 134.032
c NEW SOLUTION FOUND: 966 @ 134.092
c NEW SOLUTION FOUND: 965 @ 134.152
c NEW SOLUTION FOUND: 964 @ 134.211
c NEW SOLUTION FOUND: 963 @ 134.271
c NEW SOLUTION FOUND: 962 @ 134.33
c NEW SOLUTION FOUND: 961 @ 134.39
c NEW SOLUTION FOUND: 960 @ 134.449
c NEW SOLUTION FOUND: 959 @ 134.509
c NEW SOLUTION FOUND: 958 @ 134.569
c NEW SOLUTION FOUND: 957 @ 134.629
c NEW SOLUTION FOUND: 956 @ 134.688
c NEW SOLUTION FOUND: 955 @ 134.748
c NEW SOLUTION FOUND: 954 @ 134.807
c NEW SOLUTION FOUND: 953 @ 134.867
c NEW SOLUTION FOUND: 952 @ 134.926
c NEW SOLUTION FOUND: 951 @ 134.986
c NEW SOLUTION FOUND: 950 @ 135.045
c NEW SOLUTION FOUND: 949 @ 135.105
c NEW SOLUTION FOUND: 948 @ 135.164
c NEW SOLUTION FOUND: 947 @ 135.224
c NEW SOLUTION FOUND: 946 @ 135.283
c NEW SOLUTION FOUND: 945 @ 135.343
c NEW SOLUTION FOUND: 944 @ 135.403
c NEW SOLUTION FOUND: 943 @ 135.463
c NEW SOLUTION FOUND: 942 @ 135.522
c NEW SOLUTION FOUND: 941 @ 135.582
c NEW SOLUTION FOUND: 940 @ 135.641
c NEW SOLUTION FOUND: 939 @ 135.701
c NEW SOLUTION FOUND: 938 @ 135.76
c NEW SOLUTION FOUND: 937 @ 135.82
c NEW SOLUTION FOUND: 936 @ 135.879
c NEW SOLUTION FOUND: 935 @ 135.939
c NEW SOLUTION FOUND: 934 @ 135.998
c NEW SOLUTION FOUND: 933 @ 136.058
c NEW SOLUTION FOUND: 932 @ 136.117
c NEW SOLUTION FOUND: 931 @ 136.177
c NEW SOLUTION FOUND: 930 @ 136.236
c NEW SOLUTION FOUND: 929 @ 136.296
c NEW SOLUTION FOUND: 928 @ 136.355
c NEW SOLUTION FOUND: 927 @ 136.415
c NEW SOLUTION FOUND: 926 @ 136.474
c NEW SOLUTION FOUND: 925 @ 136.534
c NEW SOLUTION FOUND: 924 @ 136.593
c NEW SOLUTION FOUND: 923 @ 136.653
c NEW SOLUTION FOUND: 922 @ 136.712
c NEW SOLUTION FOUND: 921 @ 136.772
c NEW SOLUTION FOUND: 920 @ 136.831
c NEW SOLUTION FOUND: 919 @ 136.89
c NEW SOLUTION FOUND: 918 @ 136.949
c NEW SOLUTION FOUND: 917 @ 137.009
c NEW SOLUTION FOUND: 916 @ 137.068
c NEW SOLUTION FOUND: 915 @ 137.128
c NEW SOLUTION FOUND: 914 @ 137.187
c NEW SOLUTION FOUND: 913 @ 137.247
c NEW SOLUTION FOUND: 912 @ 137.306
c NEW SOLUTION FOUND: 911 @ 137.366
c NEW SOLUTION FOUND: 910 @ 137.426
c NEW SOLUTION FOUND: 909 @ 137.486
c NEW SOLUTION FOUND: 908 @ 137.545
c NEW SOLUTION FOUND: 907 @ 137.604
c NEW SOLUTION FOUND: 906 @ 137.664
c NEW SOLUTION FOUND: 905 @ 137.724
c NEW SOLUTION FOUND: 904 @ 137.783
c NEW SOLUTION FOUND: 903 @ 137.843
c NEW SOLUTION FOUND: 902 @ 137.902
c NEW SOLUTION FOUND: 901 @ 137.961
c NEW SOLUTION FOUND: 900 @ 138.021
c NEW SOLUTION FOUND: 899 @ 138.081
c NEW SOLUTION FOUND: 898 @ 138.14
c NEW SOLUTION FOUND: 897 @ 138.2
c NEW SOLUTION FOUND: 896 @ 138.26
c NEW SOLUTION FOUND: 895 @ 138.319
c NEW SOLUTION FOUND: 894 @ 138.378
c NEW SOLUTION FOUND: 893 @ 138.439
c NEW SOLUTION FOUND: 892 @ 138.499
c NEW SOLUTION FOUND: 891 @ 138.558
c NEW SOLUTION FOUND: 890 @ 138.618
c NEW SOLUTION FOUND: 889 @ 138.678
c NEW SOLUTION FOUND: 888 @ 138.738
c NEW SOLUTION FOUND: 887 @ 138.798
c NEW SOLUTION FOUND: 886 @ 138.857
c NEW SOLUTION FOUND: 885 @ 138.917
c NEW SOLUTION FOUND: 884 @ 138.977
c NEW SOLUTION FOUND: 883 @ 139.036
c NEW SOLUTION FOUND: 882 @ 139.096
c NEW SOLUTION FOUND: 881 @ 139.156
c NEW SOLUTION FOUND: 880 @ 139.215
c NEW SOLUTION FOUND: 879 @ 139.276
c NEW SOLUTION FOUND: 878 @ 139.336
c NEW SOLUTION FOUND: 877 @ 139.396
c NEW SOLUTION FOUND: 876 @ 139.457
c NEW SOLUTION FOUND: 875 @ 139.517
c NEW SOLUTION FOUND: 874 @ 139.577
c NEW SOLUTION FOUND: 873 @ 139.637
c NEW SOLUTION FOUND: 872 @ 139.697
c NEW SOLUTION FOUND: 871 @ 139.756
c NEW SOLUTION FOUND: 870 @ 139.816
c NEW SOLUTION FOUND: 869 @ 139.875
c NEW SOLUTION FOUND: 868 @ 139.935
c NEW SOLUTION FOUND: 867 @ 139.996
c NEW SOLUTION FOUND: 866 @ 140.055
c NEW SOLUTION FOUND: 865 @ 140.115
c NEW SOLUTION FOUND: 864 @ 140.174
c NEW SOLUTION FOUND: 863 @ 140.234
c NEW SOLUTION FOUND: 862 @ 140.293
c NEW SOLUTION FOUND: 861 @ 140.352
c NEW SOLUTION FOUND: 860 @ 140.412
c NEW SOLUTION FOUND: 859 @ 140.471
c NEW SOLUTION FOUND: 858 @ 140.531
c NEW SOLUTION FOUND: 857 @ 140.59
c NEW SOLUTION FOUND: 856 @ 140.65
c NEW SOLUTION FOUND: 855 @ 140.709
c NEW SOLUTION FOUND: 854 @ 140.769
c NEW SOLUTION FOUND: 853 @ 140.828
c NEW SOLUTION FOUND: 852 @ 140.888
c NEW SOLUTION FOUND: 851 @ 140.947
c NEW SOLUTION FOUND: 850 @ 141.007
c NEW SOLUTION FOUND: 849 @ 141.066
c NEW SOLUTION FOUND: 848 @ 141.126
c NEW SOLUTION FOUND: 847 @ 141.185
c NEW SOLUTION FOUND: 846 @ 141.244
c NEW SOLUTION FOUND: 845 @ 141.304
c NEW SOLUTION FOUND: 844 @ 141.363
c NEW SOLUTION FOUND: 843 @ 141.423
c NEW SOLUTION FOUND: 842 @ 141.482
c NEW SOLUTION FOUND: 841 @ 141.541
c NEW SOLUTION FOUND: 840 @ 141.601
c NEW SOLUTION FOUND: 839 @ 141.66
c NEW SOLUTION FOUND: 838 @ 141.72
c NEW SOLUTION FOUND: 837 @ 141.779
c NEW SOLUTION FOUND: 836 @ 141.838
c NEW SOLUTION FOUND: 835 @ 141.898
c NEW SOLUTION FOUND: 834 @ 141.957
c NEW SOLUTION FOUND: 833 @ 142.016
c NEW SOLUTION FOUND: 832 @ 142.075
c NEW SOLUTION FOUND: 831 @ 142.135
c NEW SOLUTION FOUND: 830 @ 142.194
c NEW SOLUTION FOUND: 829 @ 142.253
c NEW SOLUTION FOUND: 828 @ 142.313
c NEW SOLUTION FOUND: 827 @ 142.373
c NEW SOLUTION FOUND: 826 @ 142.432
c NEW SOLUTION FOUND: 825 @ 142.491
c NEW SOLUTION FOUND: 824 @ 142.55
c NEW SOLUTION FOUND: 823 @ 142.609
c NEW SOLUTION FOUND: 822 @ 142.668
c NEW SOLUTION FOUND: 821 @ 142.727
c NEW SOLUTION FOUND: 820 @ 142.786
c NEW SOLUTION FOUND: 819 @ 142.845
c NEW SOLUTION FOUND: 818 @ 142.904
c NEW SOLUTION FOUND: 817 @ 142.963
c NEW SOLUTION FOUND: 816 @ 143.021
c NEW SOLUTION FOUND: 815 @ 143.08
c NEW SOLUTION FOUND: 814 @ 143.139
c NEW SOLUTION FOUND: 813 @ 143.198
c NEW SOLUTION FOUND: 812 @ 143.256
c NEW SOLUTION FOUND: 811 @ 143.316
c NEW SOLUTION FOUND: 810 @ 143.374
c NEW SOLUTION FOUND: 809 @ 143.434
c NEW SOLUTION FOUND: 808 @ 143.493
c NEW SOLUTION FOUND: 807 @ 143.552
c NEW SOLUTION FOUND: 806 @ 143.611
c NEW SOLUTION FOUND: 805 @ 143.67
c NEW SOLUTION FOUND: 804 @ 143.73
c NEW SOLUTION FOUND: 803 @ 143.789
c NEW SOLUTION FOUND: 802 @ 143.848
c NEW SOLUTION FOUND: 801 @ 143.907
c NEW SOLUTION FOUND: 800 @ 143.966
c NEW SOLUTION FOUND: 799 @ 144.025
c NEW SOLUTION FOUND: 798 @ 144.084
c NEW SOLUTION FOUND: 797 @ 144.144
c NEW SOLUTION FOUND: 796 @ 144.203
c NEW SOLUTION FOUND: 795 @ 144.262
c NEW SOLUTION FOUND: 794 @ 144.321
c NEW SOLUTION FOUND: 793 @ 144.38
c NEW SOLUTION FOUND: 792 @ 144.439
c NEW SOLUTION FOUND: 791 @ 144.498
c NEW SOLUTION FOUND: 790 @ 144.558
c NEW SOLUTION FOUND: 789 @ 144.617
c NEW SOLUTION FOUND: 788 @ 144.676
c NEW SOLUTION FOUND: 787 @ 144.735
c NEW SOLUTION FOUND: 786 @ 144.794
c NEW SOLUTION FOUND: 785 @ 144.853
c NEW SOLUTION FOUND: 784 @ 144.912
c NEW SOLUTION FOUND: 783 @ 144.972
c NEW SOLUTION FOUND: 782 @ 145.031
c NEW SOLUTION FOUND: 781 @ 145.09
c NEW SOLUTION FOUND: 780 @ 145.149
c NEW SOLUTION FOUND: 779 @ 145.208
c NEW SOLUTION FOUND: 778 @ 145.267
c NEW SOLUTION FOUND: 777 @ 145.327
c NEW SOLUTION FOUND: 776 @ 145.386
c NEW SOLUTION FOUND: 775 @ 145.445
c NEW SOLUTION FOUND: 774 @ 145.506
c NEW SOLUTION FOUND: 773 @ 145.565
c NEW SOLUTION FOUND: 772 @ 145.624
c NEW SOLUTION FOUND: 771 @ 145.683
c NEW SOLUTION FOUND: 770 @ 145.742
c NEW SOLUTION FOUND: 769 @ 145.801
c NEW SOLUTION FOUND: 768 @ 145.86
c NEW SOLUTION FOUND: 767 @ 145.92
c NEW SOLUTION FOUND: 766 @ 145.979
c NEW SOLUTION FOUND: 765 @ 146.038
c NEW SOLUTION FOUND: 764 @ 146.097
c NEW SOLUTION FOUND: 763 @ 146.156
c NEW SOLUTION FOUND: 762 @ 146.215
c NEW SOLUTION FOUND: 761 @ 146.274
c NEW SOLUTION FOUND: 760 @ 146.333
c NEW SOLUTION FOUND: 759 @ 146.392
c NEW SOLUTION FOUND: 758 @ 146.451
c NEW SOLUTION FOUND: 757 @ 146.51
c NEW SOLUTION FOUND: 756 @ 146.569
c NEW SOLUTION FOUND: 755 @ 146.628
c NEW SOLUTION FOUND: 754 @ 146.687
c NEW SOLUTION FOUND: 753 @ 146.746
c NEW SOLUTION FOUND: 752 @ 146.805
c NEW SOLUTION FOUND: 751 @ 146.864
c NEW SOLUTION FOUND: 750 @ 146.923
c NEW SOLUTION FOUND: 749 @ 146.982
c NEW SOLUTION FOUND: 748 @ 147.04
c NEW SOLUTION FOUND: 747 @ 147.098
c NEW SOLUTION FOUND: 746 @ 147.157
c NEW SOLUTION FOUND: 745 @ 147.216
c NEW SOLUTION FOUND: 744 @ 147.276
c NEW SOLUTION FOUND: 743 @ 147.334
c NEW SOLUTION FOUND: 742 @ 147.393
c NEW SOLUTION FOUND: 741 @ 147.452
c NEW SOLUTION FOUND: 740 @ 147.511
c NEW SOLUTION FOUND: 739 @ 147.57
c NEW SOLUTION FOUND: 738 @ 147.629
c NEW SOLUTION FOUND: 737 @ 147.688
c NEW SOLUTION FOUND: 736 @ 147.747
c NEW SOLUTION FOUND: 735 @ 147.805
c NEW SOLUTION FOUND: 734 @ 147.864
c NEW SOLUTION FOUND: 733 @ 147.923
c NEW SOLUTION FOUND: 732 @ 147.982
c NEW SOLUTION FOUND: 731 @ 148.04
c NEW SOLUTION FOUND: 730 @ 148.099
c NEW SOLUTION FOUND: 729 @ 148.158
c NEW SOLUTION FOUND: 728 @ 148.217
c NEW SOLUTION FOUND: 727 @ 148.276
c NEW SOLUTION FOUND: 726 @ 148.335
c NEW SOLUTION FOUND: 725 @ 148.393
c NEW SOLUTION FOUND: 724 @ 148.452
c NEW SOLUTION FOUND: 723 @ 148.51
c NEW SOLUTION FOUND: 722 @ 148.569
c NEW SOLUTION FOUND: 721 @ 148.628
c NEW SOLUTION FOUND: 720 @ 148.687
c NEW SOLUTION FOUND: 719 @ 148.745
c NEW SOLUTION FOUND: 718 @ 148.804
c NEW SOLUTION FOUND: 717 @ 148.863
c NEW SOLUTION FOUND: 716 @ 148.922
c NEW SOLUTION FOUND: 715 @ 148.981
c NEW SOLUTION FOUND: 714 @ 149.04
c NEW SOLUTION FOUND: 713 @ 149.098
c NEW SOLUTION FOUND: 712 @ 149.157
c NEW SOLUTION FOUND: 711 @ 149.216
c NEW SOLUTION FOUND: 710 @ 149.274
c NEW SOLUTION FOUND: 709 @ 149.333
c NEW SOLUTION FOUND: 708 @ 149.392
c NEW SOLUTION FOUND: 707 @ 149.45
c NEW SOLUTION FOUND: 706 @ 149.509
c NEW SOLUTION FOUND: 705 @ 149.567
c NEW SOLUTION FOUND: 704 @ 149.626
c NEW SOLUTION FOUND: 703 @ 149.685
c NEW SOLUTION FOUND: 702 @ 149.743
c NEW SOLUTION FOUND: 701 @ 149.802
c NEW SOLUTION FOUND: 700 @ 149.861
c NEW SOLUTION FOUND: 699 @ 149.919
c NEW SOLUTION FOUND: 698 @ 149.978
c NEW SOLUTION FOUND: 697 @ 150.037
c NEW SOLUTION FOUND: 696 @ 150.095
c NEW SOLUTION FOUND: 695 @ 150.154
c NEW SOLUTION FOUND: 694 @ 150.212
c NEW SOLUTION FOUND: 693 @ 150.271
c NEW SOLUTION FOUND: 692 @ 150.329
c NEW SOLUTION FOUND: 691 @ 150.388
c NEW SOLUTION FOUND: 690 @ 150.446
c NEW SOLUTION FOUND: 689 @ 150.505
c NEW SOLUTION FOUND: 688 @ 150.564
c NEW SOLUTION FOUND: 687 @ 150.622
c NEW SOLUTION FOUND: 686 @ 150.681
c NEW SOLUTION FOUND: 685 @ 150.739
c NEW SOLUTION FOUND: 684 @ 150.798
c NEW SOLUTION FOUND: 683 @ 150.856
c NEW SOLUTION FOUND: 682 @ 150.915
c NEW SOLUTION FOUND: 681 @ 150.973
c NEW SOLUTION FOUND: 680 @ 151.032
c NEW SOLUTION FOUND: 679 @ 151.091
c NEW SOLUTION FOUND: 678 @ 151.149
c NEW SOLUTION FOUND: 677 @ 151.208
c NEW SOLUTION FOUND: 676 @ 151.266
c NEW SOLUTION FOUND: 675 @ 151.325
c NEW SOLUTION FOUND: 674 @ 151.384
c NEW SOLUTION FOUND: 673 @ 151.442
c NEW SOLUTION FOUND: 672 @ 151.502
c NEW SOLUTION FOUND: 671 @ 151.56
c NEW SOLUTION FOUND: 670 @ 151.619
c NEW SOLUTION FOUND: 669 @ 151.678
c NEW SOLUTION FOUND: 668 @ 151.736
c NEW SOLUTION FOUND: 667 @ 151.795
c NEW SOLUTION FOUND: 666 @ 151.853
c NEW SOLUTION FOUND: 665 @ 151.912
c NEW SOLUTION FOUND: 664 @ 151.97
c NEW SOLUTION FOUND: 663 @ 152.028
c NEW SOLUTION FOUND: 662 @ 152.087
c NEW SOLUTION FOUND: 661 @ 152.145
c NEW SOLUTION FOUND: 660 @ 152.204
c NEW SOLUTION FOUND: 659 @ 152.262
c NEW SOLUTION FOUND: 658 @ 152.321
c NEW SOLUTION FOUND: 657 @ 152.38
c NEW SOLUTION FOUND: 656 @ 152.438
c NEW SOLUTION FOUND: 655 @ 152.497
c NEW SOLUTION FOUND: 654 @ 152.555
c NEW SOLUTION FOUND: 653 @ 152.613
c NEW SOLUTION FOUND: 652 @ 152.672
c NEW SOLUTION FOUND: 651 @ 152.731
c NEW SOLUTION FOUND: 650 @ 152.789
c NEW SOLUTION FOUND: 649 @ 152.847
c NEW SOLUTION FOUND: 648 @ 152.906
c NEW SOLUTION FOUND: 647 @ 152.965
c NEW SOLUTION FOUND: 646 @ 153.023
c NEW SOLUTION FOUND: 645 @ 153.082
c NEW SOLUTION FOUND: 644 @ 153.141
c NEW SOLUTION FOUND: 643 @ 153.199
c NEW SOLUTION FOUND: 642 @ 153.258
c NEW SOLUTION FOUND: 641 @ 153.316
c NEW SOLUTION FOUND: 640 @ 153.374
c NEW SOLUTION FOUND: 639 @ 153.433
c NEW SOLUTION FOUND: 638 @ 153.491
c NEW SOLUTION FOUND: 637 @ 153.55
c NEW SOLUTION FOUND: 636 @ 153.608
c NEW SOLUTION FOUND: 635 @ 153.667
c NEW SOLUTION FOUND: 634 @ 153.725
c NEW SOLUTION FOUND: 633 @ 153.782
c NEW SOLUTION FOUND: 632 @ 153.84
c NEW SOLUTION FOUND: 631 @ 153.899
c NEW SOLUTION FOUND: 630 @ 153.957
c NEW SOLUTION FOUND: 629 @ 154.016
c NEW SOLUTION FOUND: 628 @ 154.074
c NEW SOLUTION FOUND: 627 @ 154.132
c NEW SOLUTION FOUND: 626 @ 154.191
c NEW SOLUTION FOUND: 625 @ 154.249
c NEW SOLUTION FOUND: 624 @ 154.307
c NEW SOLUTION FOUND: 623 @ 154.365
c NEW SOLUTION FOUND: 622 @ 154.424
c NEW SOLUTION FOUND: 621 @ 154.482
c NEW SOLUTION FOUND: 620 @ 154.54
c NEW SOLUTION FOUND: 619 @ 154.6
c NEW SOLUTION FOUND: 618 @ 154.659
c NEW SOLUTION FOUND: 617 @ 154.717
c NEW SOLUTION FOUND: 616 @ 154.775
c NEW SOLUTION FOUND: 615 @ 154.833
c NEW SOLUTION FOUND: 614 @ 154.892
c NEW SOLUTION FOUND: 613 @ 154.95
c NEW SOLUTION FOUND: 612 @ 155.008
c NEW SOLUTION FOUND: 611 @ 155.066
c NEW SOLUTION FOUND: 610 @ 155.124
c NEW SOLUTION FOUND: 609 @ 155.183
c NEW SOLUTION FOUND: 608 @ 155.241
c NEW SOLUTION FOUND: 607 @ 155.299
c NEW SOLUTION FOUND: 606 @ 155.357
c NEW SOLUTION FOUND: 605 @ 155.415
c NEW SOLUTION FOUND: 604 @ 155.474
c NEW SOLUTION FOUND: 603 @ 155.532
c NEW SOLUTION FOUND: 602 @ 155.59
c NEW SOLUTION FOUND: 601 @ 155.648
c NEW SOLUTION FOUND: 600 @ 155.706
c NEW SOLUTION FOUND: 599 @ 155.765
c NEW SOLUTION FOUND: 598 @ 155.823
c NEW SOLUTION FOUND: 597 @ 155.881
c NEW SOLUTION FOUND: 596 @ 155.939
c NEW SOLUTION FOUND: 595 @ 155.998
c NEW SOLUTION FOUND: 594 @ 156.056
c NEW SOLUTION FOUND: 593 @ 156.114
c NEW SOLUTION FOUND: 592 @ 156.172
c NEW SOLUTION FOUND: 591 @ 156.23
c NEW SOLUTION FOUND: 590 @ 156.289
c NEW SOLUTION FOUND: 589 @ 156.347
c NEW SOLUTION FOUND: 588 @ 156.405
c NEW SOLUTION FOUND: 587 @ 156.463
c NEW SOLUTION FOUND: 586 @ 156.522
c NEW SOLUTION FOUND: 585 @ 156.58
c NEW SOLUTION FOUND: 584 @ 156.638
c NEW SOLUTION FOUND: 583 @ 156.697
c NEW SOLUTION FOUND: 582 @ 156.755
c NEW SOLUTION FOUND: 581 @ 156.813
c NEW SOLUTION FOUND: 580 @ 156.871
c NEW SOLUTION FOUND: 579 @ 156.929
c NEW SOLUTION FOUND: 578 @ 156.987
c NEW SOLUTION FOUND: 577 @ 157.045
c NEW SOLUTION FOUND: 576 @ 157.104
c NEW SOLUTION FOUND: 575 @ 157.162
c NEW SOLUTION FOUND: 574 @ 157.22
c NEW SOLUTION FOUND: 573 @ 157.279
c NEW SOLUTION FOUND: 572 @ 157.337
c NEW SOLUTION FOUND: 571 @ 157.395
c NEW SOLUTION FOUND: 570 @ 157.453
c NEW SOLUTION FOUND: 569 @ 157.513
c NEW SOLUTION FOUND: 568 @ 157.571
c NEW SOLUTION FOUND: 567 @ 157.629
c NEW SOLUTION FOUND: 566 @ 157.688
c NEW SOLUTION FOUND: 565 @ 157.746
c NEW SOLUTION FOUND: 564 @ 157.804
c NEW SOLUTION FOUND: 563 @ 157.862
c NEW SOLUTION FOUND: 562 @ 157.92
c NEW SOLUTION FOUND: 561 @ 157.978
c NEW SOLUTION FOUND: 560 @ 158.036
c NEW SOLUTION FOUND: 559 @ 158.094
c NEW SOLUTION FOUND: 558 @ 158.153
c NEW SOLUTION FOUND: 557 @ 158.211
c NEW SOLUTION FOUND: 556 @ 158.269
c NEW SOLUTION FOUND: 555 @ 158.327
c NEW SOLUTION FOUND: 554 @ 158.385
c NEW SOLUTION FOUND: 553 @ 158.443
c NEW SOLUTION FOUND: 552 @ 158.501
c NEW SOLUTION FOUND: 551 @ 158.559
c NEW SOLUTION FOUND: 550 @ 158.617
c NEW SOLUTION FOUND: 549 @ 158.675
c NEW SOLUTION FOUND: 548 @ 158.733
c NEW SOLUTION FOUND: 547 @ 158.791
c NEW SOLUTION FOUND: 546 @ 158.849
c NEW SOLUTION FOUND: 545 @ 158.907
c NEW SOLUTION FOUND: 544 @ 158.965
c NEW SOLUTION FOUND: 543 @ 159.022
c NEW SOLUTION FOUND: 542 @ 159.081
c NEW SOLUTION FOUND: 541 @ 159.139
c NEW SOLUTION FOUND: 540 @ 159.197
c NEW SOLUTION FOUND: 539 @ 159.255
c NEW SOLUTION FOUND: 538 @ 159.313
c NEW SOLUTION FOUND: 537 @ 159.371
c NEW SOLUTION FOUND: 536 @ 159.429
c NEW SOLUTION FOUND: 535 @ 159.486
c NEW SOLUTION FOUND: 534 @ 159.544
c NEW SOLUTION FOUND: 533 @ 159.602
c NEW SOLUTION FOUND: 532 @ 159.66
c NEW SOLUTION FOUND: 531 @ 159.718
c NEW SOLUTION FOUND: 530 @ 159.776
c NEW SOLUTION FOUND: 529 @ 159.834
c NEW SOLUTION FOUND: 528 @ 159.892
c NEW SOLUTION FOUND: 527 @ 159.949
c NEW SOLUTION FOUND: 526 @ 160.009
c NEW SOLUTION FOUND: 525 @ 160.067
c NEW SOLUTION FOUND: 524 @ 160.125
c NEW SOLUTION FOUND: 523 @ 160.184
c NEW SOLUTION FOUND: 522 @ 160.241
c NEW SOLUTION FOUND: 521 @ 160.299
c NEW SOLUTION FOUND: 520 @ 160.357
c NEW SOLUTION FOUND: 519 @ 160.415
c NEW SOLUTION FOUND: 518 @ 160.473
c NEW SOLUTION FOUND: 517 @ 160.529
c NEW SOLUTION FOUND: 516 @ 160.587
c NEW SOLUTION FOUND: 515 @ 160.645
c NEW SOLUTION FOUND: 514 @ 160.703
c NEW SOLUTION FOUND: 513 @ 160.761
c NEW SOLUTION FOUND: 512 @ 160.819
c NEW SOLUTION FOUND: 511 @ 160.876
c NEW SOLUTION FOUND: 510 @ 160.934
c NEW SOLUTION FOUND: 509 @ 160.991
c NEW SOLUTION FOUND: 508 @ 161.049
c NEW SOLUTION FOUND: 507 @ 161.107
c NEW SOLUTION FOUND: 506 @ 161.164
c NEW SOLUTION FOUND: 505 @ 161.222
c NEW SOLUTION FOUND: 504 @ 161.28
c NEW SOLUTION FOUND: 503 @ 161.337
c NEW SOLUTION FOUND: 502 @ 161.395
c NEW SOLUTION FOUND: 501 @ 161.452
c NEW SOLUTION FOUND: 500 @ 161.51
c NEW SOLUTION FOUND: 499 @ 161.568
c NEW SOLUTION FOUND: 498 @ 161.626
c NEW SOLUTION FOUND: 497 @ 161.684
c NEW SOLUTION FOUND: 496 @ 161.742
c NEW SOLUTION FOUND: 495 @ 161.8
c NEW SOLUTION FOUND: 494 @ 161.858
c NEW SOLUTION FOUND: 493 @ 161.916
c NEW SOLUTION FOUND: 492 @ 161.973
c NEW SOLUTION FOUND: 491 @ 162.031
c NEW SOLUTION FOUND: 490 @ 162.089
c NEW SOLUTION FOUND: 489 @ 162.147
c NEW SOLUTION FOUND: 488 @ 162.205
c NEW SOLUTION FOUND: 487 @ 162.262
c NEW SOLUTION FOUND: 486 @ 162.321
c NEW SOLUTION FOUND: 485 @ 162.378
c NEW SOLUTION FOUND: 484 @ 162.436
c NEW SOLUTION FOUND: 483 @ 162.494
c NEW SOLUTION FOUND: 482 @ 162.552
c NEW SOLUTION FOUND: 481 @ 162.61
c NEW SOLUTION FOUND: 480 @ 162.668
c NEW SOLUTION FOUND: 479 @ 162.726
c NEW SOLUTION FOUND: 478 @ 162.784
c NEW SOLUTION FOUND: 477 @ 162.842
c NEW SOLUTION FOUND: 476 @ 162.9
c NEW SOLUTION FOUND: 475 @ 162.958
c NEW SOLUTION FOUND: 474 @ 163.016
c NEW SOLUTION FOUND: 473 @ 163.074
c NEW SOLUTION FOUND: 472 @ 163.132
c NEW SOLUTION FOUND: 471 @ 163.19
c NEW SOLUTION FOUND: 470 @ 163.248
c NEW SOLUTION FOUND: 469 @ 163.306
c NEW SOLUTION FOUND: 468 @ 163.364
c NEW SOLUTION FOUND: 467 @ 163.422
c NEW SOLUTION FOUND: 466 @ 163.481
c NEW SOLUTION FOUND: 465 @ 163.538
c NEW SOLUTION FOUND: 464 @ 163.596
c NEW SOLUTION FOUND: 463 @ 163.654
c NEW SOLUTION FOUND: 462 @ 163.712
c NEW SOLUTION FOUND: 461 @ 163.77
c NEW SOLUTION FOUND: 460 @ 163.827
c NEW SOLUTION FOUND: 459 @ 163.885
c NEW SOLUTION FOUND: 458 @ 163.943
c NEW SOLUTION FOUND: 457 @ 164.001
c NEW SOLUTION FOUND: 456 @ 164.058
c NEW SOLUTION FOUND: 455 @ 164.116
c NEW SOLUTION FOUND: 454 @ 164.174
c NEW SOLUTION FOUND: 453 @ 164.231
c NEW SOLUTION FOUND: 452 @ 164.289
c NEW SOLUTION FOUND: 451 @ 164.346
c NEW SOLUTION FOUND: 450 @ 164.404
c NEW SOLUTION FOUND: 449 @ 164.461
c NEW SOLUTION FOUND: 448 @ 164.519
c NEW SOLUTION FOUND: 447 @ 164.577
c NEW SOLUTION FOUND: 446 @ 164.635
c NEW SOLUTION FOUND: 445 @ 164.692
c NEW SOLUTION FOUND: 444 @ 164.749
c NEW SOLUTION FOUND: 443 @ 164.807
c NEW SOLUTION FOUND: 442 @ 164.865
c NEW SOLUTION FOUND: 441 @ 164.922
c NEW SOLUTION FOUND: 440 @ 164.979
c NEW SOLUTION FOUND: 439 @ 165.037
c NEW SOLUTION FOUND: 438 @ 165.094
c NEW SOLUTION FOUND: 437 @ 165.151
c NEW SOLUTION FOUND: 436 @ 165.209
c NEW SOLUTION FOUND: 435 @ 165.266
c NEW SOLUTION FOUND: 434 @ 165.323
c NEW SOLUTION FOUND: 433 @ 165.381
c NEW SOLUTION FOUND: 432 @ 165.439
c NEW SOLUTION FOUND: 431 @ 165.496
c NEW SOLUTION FOUND: 430 @ 165.554
c NEW SOLUTION FOUND: 429 @ 165.612
c NEW SOLUTION FOUND: 428 @ 165.67
c NEW SOLUTION FOUND: 427 @ 165.727
c NEW SOLUTION FOUND: 426 @ 165.785
c NEW SOLUTION FOUND: 425 @ 165.843
c NEW SOLUTION FOUND: 424 @ 165.9
c NEW SOLUTION FOUND: 423 @ 165.958
c NEW SOLUTION FOUND: 422 @ 166.016
c NEW SOLUTION FOUND: 421 @ 166.073
c NEW SOLUTION FOUND: 420 @ 166.131
c NEW SOLUTION FOUND: 419 @ 166.188
c NEW SOLUTION FOUND: 418 @ 166.246
c NEW SOLUTION FOUND: 417 @ 166.304
c NEW SOLUTION FOUND: 416 @ 166.361
c NEW SOLUTION FOUND: 415 @ 166.419
c NEW SOLUTION FOUND: 414 @ 166.476
c NEW SOLUTION FOUND: 413 @ 166.534
c NEW SOLUTION FOUND: 412 @ 166.591
c NEW SOLUTION FOUND: 411 @ 166.649
c NEW SOLUTION FOUND: 410 @ 166.706
c NEW SOLUTION FOUND: 409 @ 166.764
c NEW SOLUTION FOUND: 408 @ 166.822
c NEW SOLUTION FOUND: 407 @ 166.879
c NEW SOLUTION FOUND: 406 @ 166.937
c NEW SOLUTION FOUND: 405 @ 166.994
c NEW SOLUTION FOUND: 404 @ 167.053
c NEW SOLUTION FOUND: 403 @ 167.112
c NEW SOLUTION FOUND: 402 @ 167.17
c NEW SOLUTION FOUND: 401 @ 167.228
c NEW SOLUTION FOUND: 400 @ 167.287
c NEW SOLUTION FOUND: 399 @ 167.346
c NEW SOLUTION FOUND: 398 @ 167.404
c NEW SOLUTION FOUND: 397 @ 167.463
c NEW SOLUTION FOUND: 396 @ 167.521
c NEW SOLUTION FOUND: 395 @ 167.58
c NEW SOLUTION FOUND: 394 @ 167.638
c NEW SOLUTION FOUND: 393 @ 167.696
c NEW SOLUTION FOUND: 392 @ 167.755
c NEW SOLUTION FOUND: 391 @ 167.813
c NEW SOLUTION FOUND: 390 @ 167.871
c NEW SOLUTION FOUND: 389 @ 167.929
c NEW SOLUTION FOUND: 388 @ 167.987
c NEW SOLUTION FOUND: 387 @ 168.045
c NEW SOLUTION FOUND: 386 @ 168.103
c NEW SOLUTION FOUND: 385 @ 168.161
c NEW SOLUTION FOUND: 384 @ 168.219
c NEW SOLUTION FOUND: 383 @ 168.278
c NEW SOLUTION FOUND: 382 @ 168.337
c NEW SOLUTION FOUND: 381 @ 168.396
c NEW SOLUTION FOUND: 380 @ 168.455
c NEW SOLUTION FOUND: 379 @ 168.514
c NEW SOLUTION FOUND: 378 @ 168.573
c NEW SOLUTION FOUND: 377 @ 168.632
c NEW SOLUTION FOUND: 376 @ 168.691
c NEW SOLUTION FOUND: 375 @ 168.749
c NEW SOLUTION FOUND: 374 @ 168.809
c NEW SOLUTION FOUND: 373 @ 168.867
c NEW SOLUTION FOUND: 372 @ 168.926
c NEW SOLUTION FOUND: 371 @ 168.985
c NEW SOLUTION FOUND: 370 @ 169.043
c NEW SOLUTION FOUND: 369 @ 169.102
c NEW SOLUTION FOUND: 368 @ 169.163
c NEW SOLUTION FOUND: 367 @ 169.224
c NEW SOLUTION FOUND: 366 @ 169.285
c NEW SOLUTION FOUND: 365 @ 169.345
c NEW SOLUTION FOUND: 364 @ 169.407
c NEW SOLUTION FOUND: 363 @ 169.468
c NEW SOLUTION FOUND: 362 @ 169.53
c NEW SOLUTION FOUND: 361 @ 169.59
c NEW SOLUTION FOUND: 360 @ 169.651
c NEW SOLUTION FOUND: 359 @ 169.713
c NEW SOLUTION FOUND: 358 @ 169.774
c NEW SOLUTION FOUND: 357 @ 169.835
c NEW SOLUTION FOUND: 356 @ 169.896
c NEW SOLUTION FOUND: 355 @ 169.958
c NEW SOLUTION FOUND: 354 @ 170.02
c NEW SOLUTION FOUND: 353 @ 170.081
c NEW SOLUTION FOUND: 352 @ 170.142
c NEW SOLUTION FOUND: 351 @ 170.203
c NEW SOLUTION FOUND: 350 @ 170.263
c NEW SOLUTION FOUND: 349 @ 170.324
c NEW SOLUTION FOUND: 348 @ 170.384
c NEW SOLUTION FOUND: 347 @ 170.444
c NEW SOLUTION FOUND: 346 @ 170.505
c NEW SOLUTION FOUND: 345 @ 170.566
c NEW SOLUTION FOUND: 344 @ 170.626
c NEW SOLUTION FOUND: 343 @ 170.687
c NEW SOLUTION FOUND: 342 @ 170.747
c NEW SOLUTION FOUND: 341 @ 170.808
c NEW SOLUTION FOUND: 340 @ 170.868
c NEW SOLUTION FOUND: 339 @ 170.929
c NEW SOLUTION FOUND: 338 @ 170.989
c NEW SOLUTION FOUND: 337 @ 171.05
c NEW SOLUTION FOUND: 336 @ 171.111
c NEW SOLUTION FOUND: 335 @ 171.172
c NEW SOLUTION FOUND: 334 @ 171.232
c NEW SOLUTION FOUND: 333 @ 171.292
c NEW SOLUTION FOUND: 332 @ 171.353
c NEW SOLUTION FOUND: 331 @ 171.413
c NEW SOLUTION FOUND: 330 @ 171.473
c NEW SOLUTION FOUND: 329 @ 171.534
c NEW SOLUTION FOUND: 328 @ 171.594
c NEW SOLUTION FOUND: 327 @ 171.655
c NEW SOLUTION FOUND: 326 @ 171.716
c NEW SOLUTION FOUND: 325 @ 171.777
c NEW SOLUTION FOUND: 324 @ 171.837
c NEW SOLUTION FOUND: 323 @ 171.898
c NEW SOLUTION FOUND: 322 @ 171.958
c NEW SOLUTION FOUND: 321 @ 172.019
c NEW SOLUTION FOUND: 320 @ 172.079
c NEW SOLUTION FOUND: 319 @ 172.14
c NEW SOLUTION FOUND: 318 @ 172.2
c NEW SOLUTION FOUND: 317 @ 172.261
c NEW SOLUTION FOUND: 316 @ 172.322
c NEW SOLUTION FOUND: 315 @ 172.382
c NEW SOLUTION FOUND: 314 @ 172.442
c NEW SOLUTION FOUND: 313 @ 172.503
c NEW SOLUTION FOUND: 312 @ 172.563
c NEW SOLUTION FOUND: 311 @ 172.623
c NEW SOLUTION FOUND: 310 @ 172.685
c NEW SOLUTION FOUND: 309 @ 172.746
c NEW SOLUTION FOUND: 308 @ 172.807
c NEW SOLUTION FOUND: 307 @ 172.868
c NEW SOLUTION FOUND: 306 @ 172.929
c NEW SOLUTION FOUND: 305 @ 172.99
c NEW SOLUTION FOUND: 304 @ 173.051
c NEW SOLUTION FOUND: 303 @ 173.113
c NEW SOLUTION FOUND: 302 @ 173.174
c NEW SOLUTION FOUND: 301 @ 173.235
c NEW SOLUTION FOUND: 300 @ 173.296
c NEW SOLUTION FOUND: 299 @ 173.357
c NEW SOLUTION FOUND: 298 @ 173.418
c NEW SOLUTION FOUND: 297 @ 173.48
c NEW SOLUTION FOUND: 296 @ 173.54
c NEW SOLUTION FOUND: 295 @ 173.602
c NEW SOLUTION FOUND: 294 @ 173.663
c NEW SOLUTION FOUND: 293 @ 173.724
c NEW SOLUTION FOUND: 292 @ 173.785
c NEW SOLUTION FOUND: 291 @ 173.846
c NEW SOLUTION FOUND: 290 @ 173.907
c NEW SOLUTION FOUND: 289 @ 173.968
c NEW SOLUTION FOUND: 288 @ 174.028
c NEW SOLUTION FOUND: 287 @ 174.089
c NEW SOLUTION FOUND: 286 @ 174.15
c NEW SOLUTION FOUND: 285 @ 174.211
c NEW SOLUTION FOUND: 284 @ 174.274
c NEW SOLUTION FOUND: 283 @ 174.336
c NEW SOLUTION FOUND: 282 @ 174.397
c NEW SOLUTION FOUND: 281 @ 174.515
c NEW SOLUTION FOUND: 280 @ 174.576
c NEW SOLUTION FOUND: 279 @ 174.637
c NEW SOLUTION FOUND: 278 @ 174.698
c NEW SOLUTION FOUND: 277 @ 174.76
c NEW SOLUTION FOUND: 276 @ 174.821
c NEW SOLUTION FOUND: 275 @ 174.882
c NEW SOLUTION FOUND: 274 @ 174.943
c NEW SOLUTION FOUND: 273 @ 175.005
c NEW SOLUTION FOUND: 272 @ 175.066
c NEW SOLUTION FOUND: 271 @ 175.128
c NEW SOLUTION FOUND: 270 @ 175.189
c NEW SOLUTION FOUND: 269 @ 175.251
c NEW SOLUTION FOUND: 268 @ 175.312
c NEW SOLUTION FOUND: 267 @ 175.373
c NEW SOLUTION FOUND: 266 @ 175.435
c NEW SOLUTION FOUND: 265 @ 175.498
c NEW SOLUTION FOUND: 264 @ 175.561
c NEW SOLUTION FOUND: 263 @ 175.622
c NEW SOLUTION FOUND: 262 @ 175.685
c NEW SOLUTION FOUND: 261 @ 175.746
c NEW SOLUTION FOUND: 260 @ 175.809
c NEW SOLUTION FOUND: 259 @ 175.871
c NEW SOLUTION FOUND: 258 @ 175.933
c NEW SOLUTION FOUND: 257 @ 175.995
c NEW SOLUTION FOUND: 256 @ 176.057
c NEW SOLUTION FOUND: 255 @ 176.118
c NEW SOLUTION FOUND: 254 @ 176.18
c NEW SOLUTION FOUND: 253 @ 176.241
c NEW SOLUTION FOUND: 252 @ 176.36
c NEW SOLUTION FOUND: 251 @ 176.423
c NEW SOLUTION FOUND: 250 @ 176.486
c NEW SOLUTION FOUND: 249 @ 176.548
c NEW SOLUTION FOUND: 248 @ 176.611
c NEW SOLUTION FOUND: 247 @ 176.674
c NEW SOLUTION FOUND: 246 @ 176.737
c NEW SOLUTION FOUND: 245 @ 176.8
c NEW SOLUTION FOUND: 244 @ 176.863
c NEW SOLUTION FOUND: 243 @ 176.926
c NEW SOLUTION FOUND: 242 @ 176.989
c NEW SOLUTION FOUND: 241 @ 177.052
c NEW SOLUTION FOUND: 240 @ 177.114
c NEW SOLUTION FOUND: 239 @ 177.177
c NEW SOLUTION FOUND: 238 @ 177.239
c NEW SOLUTION FOUND: 237 @ 177.303
c NEW SOLUTION FOUND: 236 @ 177.365
c NEW SOLUTION FOUND: 235 @ 177.428
c NEW SOLUTION FOUND: 234 @ 177.491
c NEW SOLUTION FOUND: 233 @ 177.554
c NEW SOLUTION FOUND: 232 @ 177.616
c NEW SOLUTION FOUND: 231 @ 177.679
c NEW SOLUTION FOUND: 230 @ 177.742
c NEW SOLUTION FOUND: 229 @ 177.804
c NEW SOLUTION FOUND: 228 @ 177.867
c NEW SOLUTION FOUND: 227 @ 177.93
c NEW SOLUTION FOUND: 226 @ 177.993
c NEW SOLUTION FOUND: 225 @ 178.056
c NEW SOLUTION FOUND: 224 @ 178.119
c NEW SOLUTION FOUND: 223 @ 178.181
c NEW SOLUTION FOUND: 222 @ 178.244
c NEW SOLUTION FOUND: 221 @ 178.305
c NEW SOLUTION FOUND: 220 @ 178.368
c NEW SOLUTION FOUND: 219 @ 178.431
c NEW SOLUTION FOUND: 218 @ 178.494
c NEW SOLUTION FOUND: 217 @ 178.556
c NEW SOLUTION FOUND: 216 @ 178.618
c NEW SOLUTION FOUND: 215 @ 178.68
c NEW SOLUTION FOUND: 214 @ 178.743
c NEW SOLUTION FOUND: 213 @ 178.805
c NEW SOLUTION FOUND: 212 @ 178.867
c NEW SOLUTION FOUND: 211 @ 178.93
c NEW SOLUTION FOUND: 210 @ 178.993
c NEW SOLUTION FOUND: 209 @ 179.055
c NEW SOLUTION FOUND: 208 @ 179.118
c NEW SOLUTION FOUND: 207 @ 179.18
c NEW SOLUTION FOUND: 206 @ 179.243
c NEW SOLUTION FOUND: 205 @ 179.306
c NEW SOLUTION FOUND: 204 @ 179.368
c NEW SOLUTION FOUND: 203 @ 179.431
c NEW SOLUTION FOUND: 202 @ 179.494
c NEW SOLUTION FOUND: 201 @ 179.556
c NEW SOLUTION FOUND: 200 @ 179.619
c NEW SOLUTION FOUND: 199 @ 179.682
c NEW SOLUTION FOUND: 198 @ 179.744
c NEW SOLUTION FOUND: 197 @ 179.807
c NEW SOLUTION FOUND: 196 @ 179.869
c NEW SOLUTION FOUND: 195 @ 179.932
c NEW SOLUTION FOUND: 194 @ 179.995
c NEW SOLUTION FOUND: 193 @ 180.058
c NEW SOLUTION FOUND: 192 @ 180.12
c NEW SOLUTION FOUND: 191 @ 180.183
c NEW SOLUTION FOUND: 190 @ 180.245
c NEW SOLUTION FOUND: 189 @ 180.307
c NEW SOLUTION FOUND: 188 @ 180.37
c NEW SOLUTION FOUND: 187 @ 180.432
c NEW SOLUTION FOUND: 186 @ 180.495
c NEW SOLUTION FOUND: 185 @ 180.557
c NEW SOLUTION FOUND: 184 @ 180.62
c NEW SOLUTION FOUND: 183 @ 180.681
c NEW SOLUTION FOUND: 182 @ 180.744
c NEW SOLUTION FOUND: 181 @ 180.805
c NEW SOLUTION FOUND: 180 @ 180.868
c NEW SOLUTION FOUND: 179 @ 180.93
c NEW SOLUTION FOUND: 178 @ 180.992
c NEW SOLUTION FOUND: 177 @ 181.055
c NEW SOLUTION FOUND: 176 @ 181.118
c NEW SOLUTION FOUND: 175 @ 181.18
c NEW SOLUTION FOUND: 174 @ 181.243
c NEW SOLUTION FOUND: 173 @ 181.305
c NEW SOLUTION FOUND: 172 @ 181.367
c NEW SOLUTION FOUND: 171 @ 181.43
c NEW SOLUTION FOUND: 170 @ 181.551
c NEW SOLUTION FOUND: 169 @ 181.613
c NEW SOLUTION FOUND: 168 @ 181.675
c NEW SOLUTION FOUND: 167 @ 181.738
c NEW SOLUTION FOUND: 166 @ 181.801
c NEW SOLUTION FOUND: 165 @ 181.864
c NEW SOLUTION FOUND: 164 @ 181.928
c NEW SOLUTION FOUND: 163 @ 181.991
c NEW SOLUTION FOUND: 162 @ 182.054
c NEW SOLUTION FOUND: 161 @ 182.117
c NEW SOLUTION FOUND: 160 @ 182.18
c NEW SOLUTION FOUND: 159 @ 182.243
c NEW SOLUTION FOUND: 158 @ 182.307
c NEW SOLUTION FOUND: 157 @ 182.37
c NEW SOLUTION FOUND: 156 @ 182.433
c NEW SOLUTION FOUND: 155 @ 182.497
c NEW SOLUTION FOUND: 154 @ 182.561
c NEW SOLUTION FOUND: 153 @ 182.624
c NEW SOLUTION FOUND: 152 @ 182.687
c NEW SOLUTION FOUND: 151 @ 182.75
c NEW SOLUTION FOUND: 150 @ 182.814
c NEW SOLUTION FOUND: 149 @ 182.879
c NEW SOLUTION FOUND: 148 @ 182.944
c NEW SOLUTION FOUND: 147 @ 183.009
c NEW SOLUTION FOUND: 146 @ 183.074
c NEW SOLUTION FOUND: 145 @ 183.139
c NEW SOLUTION FOUND: 144 @ 183.203
c NEW SOLUTION FOUND: 143 @ 183.268
c NEW SOLUTION FOUND: 142 @ 183.333
c NEW SOLUTION FOUND: 141 @ 183.402
c NEW SOLUTION FOUND: 140 @ 183.47
c NEW SOLUTION FOUND: 139 @ 183.537
c NEW SOLUTION FOUND: 138 @ 183.607
c NEW SOLUTION FOUND: 137 @ 183.675
c NEW SOLUTION FOUND: 136 @ 183.743
c NEW SOLUTION FOUND: 135 @ 183.886
c NEW SOLUTION FOUND: 134 @ 183.961
c NEW SOLUTION FOUND: 133 @ 184.111
c NEW SOLUTION FOUND: 132 @ 184.188
c NEW SOLUTION FOUND: 131 @ 184.266
c NEW SOLUTION FOUND: 130 @ 184.419
c NEW SOLUTION FOUND: 129 @ 184.63
c NEW SOLUTION FOUND: 128 @ 184.856
c NEW SOLUTION FOUND: 127 @ 184.974
c NEW SOLUTION FOUND: 126 @ 185.092
c NEW SOLUTION FOUND: 125 @ 185.209
c NEW SOLUTION FOUND: 124 @ 185.326
c NEW SOLUTION FOUND: 123 @ 185.447
c NEW SOLUTION FOUND: 122 @ 185.7
c NEW SOLUTION FOUND: 121 @ 185.835
c NEW SOLUTION FOUND: 120 @ 185.969
c NEW SOLUTION FOUND: 119 @ 186.103
c NEW SOLUTION FOUND: 118 @ 186.244
c NEW SOLUTION FOUND: 117 @ 186.518
c NEW SOLUTION FOUND: 116 @ 186.816
c NEW SOLUTION FOUND: 115 @ 186.979
c NEW SOLUTION FOUND: 114 @ 187.138
c NEW SOLUTION FOUND: 113 @ 187.466
c NEW SOLUTION FOUND: 112 @ 187.797
c NEW SOLUTION FOUND: 111 @ 187.974
c NEW SOLUTION FOUND: 110 @ 188.333
c NEW SOLUTION FOUND: 109 @ 188.517
c NEW SOLUTION FOUND: 108 @ 188.699
c NEW SOLUTION FOUND: 107 @ 188.881
c NEW SOLUTION FOUND: 106 @ 189.069
c NEW SOLUTION FOUND: 105 @ 189.257
c NEW SOLUTION FOUND: 104 @ 189.849
c NEW SOLUTION FOUND: 103 @ 190.703
c NEW SOLUTION FOUND: 102 @ 191.111
c NEW SOLUTION FOUND: 101 @ 191.64
c NEW SOLUTION FOUND: 100 @ 192.303
c NEW SOLUTION FOUND: 99 @ 192.523
c NEW SOLUTION FOUND: 98 @ 192.783
c NEW SOLUTION FOUND: 97 @ 193.136
c NEW SOLUTION FOUND: 96 @ 193.606
c NEW SOLUTION FOUND: 95 @ 194.075
c NEW SOLUTION FOUND: 94 @ 194.577
c NEW SOLUTION FOUND: 93 @ 195.145
c NEW SOLUTION FOUND: 92 @ 195.44
c NEW SOLUTION FOUND: 91 @ 196.023
c NEW SOLUTION FOUND: 90 @ 196.324
c NEW SOLUTION FOUND: 89 @ 197.31
c NEW SOLUTION FOUND: 88 @ 197.786
c NEW SOLUTION FOUND: 87 @ 198.267
c NEW SOLUTION FOUND: 86 @ 198.606
c NEW SOLUTION FOUND: 85 @ 198.94
c NEW SOLUTION FOUND: 84 @ 199.355
c NEW SOLUTION FOUND: 83 @ 199.684
c NEW SOLUTION FOUND: 82 @ 200.105
c NEW SOLUTION FOUND: 81 @ 200.48
c NEW SOLUTION FOUND: 80 @ 201.22
c NEW SOLUTION FOUND: 79 @ 201.747
c NEW SOLUTION FOUND: 78 @ 202.711
c NEW SOLUTION FOUND: 77 @ 203.327
c NEW SOLUTION FOUND: 76 @ 204.787
c NEW SOLUTION FOUND: 75 @ 205.787
c NEW SOLUTION FOUND: 74 @ 207.861
c NEW SOLUTION FOUND: 73 @ 213.375
c NEW SOLUTION FOUND: 72 @ 215.252
c NEW SOLUTION FOUND: 71 @ 217.703
c NEW SOLUTION FOUND: 70 @ 219.792
c NEW SOLUTION FOUND: 69 @ 222.662
c NEW SOLUTION FOUND: 68 @ 232.849
c NEW SOLUTION FOUND: 67 @ 238.82
c NEW SOLUTION FOUND: 66 @ 270.57
c NEW SOLUTION FOUND: 65 @ 291.437
c NEW SOLUTION FOUND: 64 @ 312.509
c NEW SOLUTION FOUND: 63 @ 345.62
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 
c Exit Code: 10
c Total time: 1181.54 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.91 2/54 27644
Raw data (stat): 27644 (runsolver) R 27643 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903383837 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 3806 0 0 0 988 9 0 0 25 0 1 0 903383837 13189120 2505 4294967295 134512640 134716908 3221224576 3221222976 134646826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 2505 1111 63 0 3157 0
vsize: 12880
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 4973 0 0 0 1984 12 0 0 25 0 1 0 903383837 13189120 2510 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 2510 1111 63 0 3157 0
vsize: 12880
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 8118 0 0 0 2970 27 0 0 25 0 1 0 903383837 13131776 2464 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2464 1111 63 0 3143 0
vsize: 12824
[startup+40.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 12393 0 0 0 3956 41 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221223152 134548611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 16232 0 0 0 4940 56 0 0 25 0 1 0 903383837 13131776 2464 4294967295 134512640 134716908 3221224576 3221222400 1075824351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2464 1111 63 0 3143 0
vsize: 12824
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 20279 0 0 0 5924 72 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221223248 134603700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 24659 0 0 0 6911 86 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221222976 1074118808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 29080 0 0 0 7896 101 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221223152 1077377147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 33883 0 0 0 8878 119 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 39090 0 0 0 9859 138 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221223184 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 45181 0 0 0 10840 158 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221223040 1074121018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 51317 0 0 0 11820 178 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221222576 1074916715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 57491 0 0 0 12801 197 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221223216 134645722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 63949 0 0 0 13781 217 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221222716 1074208336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 70956 0 0 0 14758 240 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221223392 134653544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 78176 0 0 0 15737 261 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221222576 1074918215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 87007 0 0 0 16712 286 0 0 25 0 1 0 903383837 13283328 2465 4294967295 134512640 134716908 3221224576 3221222304 1075828228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3243 2465 1111 63 0 3180 0
vsize: 12972
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 97287 0 0 0 17683 315 0 0 25 0 1 0 903383837 12976128 2462 4294967295 134512640 134716908 3221224576 3221222928 1074115528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3168 2462 1111 63 0 3105 0
vsize: 12672
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 106626 0 0 0 18657 341 0 0 25 0 1 0 903383837 13996032 2623 4294967295 134512640 134716908 3221224576 3221220720 1074970277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 2623 1111 63 0 3354 0
vsize: 13668
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 114084 0 0 0 19639 359 0 0 25 0 1 0 903383837 14491648 2732 4294967295 134512640 134716908 3221224576 3221221500 1074788004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2732 1111 63 0 3475 0
vsize: 14152
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 118290 0 0 0 20629 370 0 0 25 0 1 0 903383837 13623296 2620 4294967295 134512640 134716908 3221224576 3221222144 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3326 2620 1111 63 0 3263 0
vsize: 13304
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 121405 0 0 0 21622 376 0 0 25 0 1 0 903383837 13955072 2672 4294967295 134512640 134716908 3221224576 3221221424 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2672 1111 63 0 3344 0
vsize: 13628
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 123637 0 0 0 22616 383 0 0 25 0 1 0 903383837 14917632 2877 4294967295 134512640 134716908 3221224576 3221220560 1074875062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3642 2877 1111 63 0 3579 0
vsize: 14568
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 126214 0 0 0 23610 389 0 0 25 0 1 0 903383837 15208448 2925 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2925 1111 63 0 3650 0
vsize: 14852
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 128682 0 0 0 24604 395 0 0 25 0 1 0 903383837 15421440 3001 4294967295 134512640 134716908 3221224576 3221220780 1075564301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3765 3001 1111 63 0 3702 0
vsize: 15060
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 131472 0 0 0 25597 403 0 0 25 0 1 0 903383837 14864384 2923 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3629 2923 1111 63 0 3566 0
vsize: 14516
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 135152 0 0 0 26588 412 0 0 25 0 1 0 903383837 15884288 3094 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3878 3094 1111 63 0 3815 0
vsize: 15512
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 138193 0 0 0 27581 419 0 0 25 0 1 0 903383837 15970304 3135 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3899 3135 1111 63 0 3836 0
vsize: 15596
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 141221 0 0 0 28574 426 0 0 25 0 1 0 903383837 15998976 3141 4294967295 134512640 134716908 3221224576 3221220560 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3906 3141 1111 63 0 3843 0
vsize: 15624
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 144007 0 0 0 29567 432 0 0 25 0 1 0 903383837 15998976 3138 4294967295 134512640 134716908 3221224576 3221220736 1074794657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3906 3138 1111 63 0 3843 0
vsize: 15624
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 145732 0 0 0 30563 437 0 0 25 0 1 0 903383837 14786560 2905 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3610 2905 1111 63 0 3547 0
vsize: 14440
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 148146 0 0 0 31558 442 0 0 25 0 1 0 903383837 15859712 3107 4294967295 134512640 134716908 3221224576 3221221640 1075007308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3872 3107 1111 63 0 3809 0
vsize: 15488
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 150380 0 0 0 32552 448 0 0 25 0 1 0 903383837 16093184 3165 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3929 3165 1111 63 0 3866 0
vsize: 15716
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 153756 0 0 0 33543 457 0 0 25 0 1 0 903383837 16232448 3199 4294967295 134512640 134716908 3221224576 3221221480 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 3199 1111 63 0 3900 0
vsize: 15852
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 155439 0 0 0 34540 461 0 0 25 0 1 0 903383837 16334848 3203 4294967295 134512640 134716908 3221224576 3221220704 1075561184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3988 3203 1111 63 0 3925 0
vsize: 15952
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 158557 0 0 0 35533 468 0 0 25 0 1 0 903383837 16261120 3185 4294967295 134512640 134716908 3221224576 3221220508 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3970 3185 1111 63 0 3907 0
vsize: 15880
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 161942 0 0 0 36525 476 0 0 25 0 1 0 903383837 16285696 3204 4294967295 134512640 134716908 3221224576 3221220432 1074868872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3976 3204 1111 63 0 3913 0
vsize: 15904
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 165661 0 0 0 37516 485 0 0 25 0 1 0 903383837 16363520 3211 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3995 3211 1111 63 0 3932 0
vsize: 15980
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 167466 0 0 0 38512 489 0 0 25 0 1 0 903383837 15196160 2972 4294967295 134512640 134716908 3221224576 3221223016 134555031 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3710 2972 1111 63 0 3647 0
vsize: 14840
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 169445 0 0 0 39507 494 0 0 25 0 1 0 903383837 16388096 3221 4294967295 134512640 134716908 3221224576 3221220560 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3221 1111 63 0 3938 0
vsize: 16004
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 171239 0 0 0 40503 499 0 0 25 0 1 0 903383837 15130624 2966 4294967295 134512640 134716908 3221224576 3221223040 134606828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3694 2966 1111 63 0 3631 0
vsize: 14776
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 173169 0 0 0 41498 503 0 0 25 0 1 0 903383837 16371712 3212 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 3212 1111 63 0 3934 0
vsize: 15988
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 175456 0 0 0 42493 508 0 0 25 0 1 0 903383837 16379904 3226 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 3226 1111 63 0 3936 0
vsize: 15996
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 177614 0 0 0 43487 514 0 0 25 0 1 0 903383837 16330752 3211 4294967295 134512640 134716908 3221224576 3221220704 1075561204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3987 3211 1111 63 0 3924 0
vsize: 15948
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 179655 0 0 0 44482 520 0 0 25 0 1 0 903383837 16162816 3195 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3946 3195 1111 63 0 3883 0
vsize: 15784
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 181822 0 0 0 45477 525 0 0 25 0 1 0 903383837 16355328 3220 4294967295 134512640 134716908 3221224576 3221221496 1074950074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3993 3220 1111 63 0 3930 0
vsize: 15972
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 183997 0 0 0 46472 530 0 0 25 0 1 0 903383837 16220160 3215 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3960 3215 1111 63 0 3897 0
vsize: 15840
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 185483 0 0 0 47468 534 0 0 25 0 1 0 903383837 15183872 3000 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3707 3000 1111 63 0 3644 0
vsize: 14828
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 187622 0 0 0 48463 540 0 0 25 0 1 0 903383837 15179776 2999 4294967295 134512640 134716908 3221224576 3221223040 134606864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3706 2999 1111 63 0 3643 0
vsize: 14824
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 189738 0 0 0 49458 545 0 0 25 0 1 0 903383837 14843904 2919 4294967295 134512640 134716908 3221224576 3221222576 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2919 1111 63 0 3561 0
vsize: 14496
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 192400 0 0 0 50452 550 0 0 25 0 1 0 903383837 16211968 3204 4294967295 134512640 134716908 3221224576 3221220560 1074875068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3958 3204 1111 63 0 3895 0
vsize: 15832
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 194555 0 0 0 51447 555 0 0 25 0 1 0 903383837 16404480 3221 4294967295 134512640 134716908 3221224576 3221220560 1074875143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3221 1111 63 0 3942 0
vsize: 16020
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 196674 0 0 0 52441 561 0 0 25 0 1 0 903383837 16203776 3204 4294967295 134512640 134716908 3221224576 3221220560 1074875101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3204 1111 63 0 3893 0
vsize: 15824
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 198703 0 0 0 53437 565 0 0 25 0 1 0 903383837 16203776 3204 4294967295 134512640 134716908 3221224576 3221220736 1074794652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3204 1111 63 0 3893 0
vsize: 15824
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 200782 0 0 0 54432 570 0 0 25 0 1 0 903383837 16351232 3208 4294967295 134512640 134716908 3221224576 3221220560 1074875022 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3992 3208 1111 63 0 3929 0
vsize: 15968
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 203734 0 0 0 55425 578 0 0 25 0 1 0 903383837 16322560 3200 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3985 3200 1111 63 0 3922 0
vsize: 15940
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 205662 0 0 0 56420 583 0 0 25 0 1 0 903383837 16273408 3202 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3973 3202 1111 63 0 3910 0
vsize: 15892
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 208590 0 0 0 57412 591 0 0 25 0 1 0 903383837 16310272 3200 4294967295 134512640 134716908 3221224576 3221220560 1074875114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3982 3200 1111 63 0 3919 0
vsize: 15928
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 210450 0 0 0 58408 595 0 0 25 0 1 0 903383837 16310272 3221 4294967295 134512640 134716908 3221224576 3221220848 1074960970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3982 3221 1111 63 0 3919 0
vsize: 15928
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 213031 0 0 0 59401 602 0 0 25 0 1 0 903383837 15376384 3037 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3754 3037 1111 63 0 3691 0
vsize: 15016
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 215161 0 0 0 60396 608 0 0 25 0 1 0 903383837 15249408 3018 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3723 3018 1111 63 0 3660 0
vsize: 14892
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 217374 0 0 0 61390 614 0 0 25 0 1 0 903383837 15413248 3045 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 3045 1111 63 0 3700 0
vsize: 15052
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 219482 0 0 0 62384 620 0 0 25 0 1 0 903383837 16277504 3212 4294967295 134512640 134716908 3221224576 3221221008 1075118246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3974 3212 1111 63 0 3911 0
vsize: 15896
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 221125 0 0 0 63380 624 0 0 25 0 1 0 903383837 15204352 3007 4294967295 134512640 134716908 3221224576 3221222664 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3712 3007 1111 63 0 3649 0
vsize: 14848
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 222833 0 0 0 64376 628 0 0 25 0 1 0 903383837 16293888 3218 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3978 3218 1111 63 0 3915 0
vsize: 15912
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 224426 0 0 0 65372 632 0 0 25 0 1 0 903383837 15204352 3007 4294967295 134512640 134716908 3221224576 3221222728 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3712 3007 1111 63 0 3649 0
vsize: 14848
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 225737 0 0 0 66369 635 0 0 25 0 1 0 903383837 15892480 3143 4294967295 134512640 134716908 3221224576 3221222536 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3880 3143 1111 63 0 3817 0
vsize: 15520
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 227164 0 0 0 67366 639 0 0 25 0 1 0 903383837 16314368 3221 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3983 3221 1111 63 0 3920 0
vsize: 15932
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 228973 0 0 0 68361 643 0 0 25 0 1 0 903383837 15765504 3139 4294967295 134512640 134716908 3221224576 3221222576 1074918520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3849 3139 1111 63 0 3786 0
vsize: 15396
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 230359 0 0 0 69357 647 0 0 25 0 1 0 903383837 16281600 3214 4294967295 134512640 134716908 3221224576 3221220560 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3975 3214 1111 63 0 3912 0
vsize: 15900
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 231945 0 0 0 70354 651 0 0 25 0 1 0 903383837 15290368 2978 4294967295 134512640 134716908 3221224576 3221217936 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2978 1111 63 0 3670 0
vsize: 14932
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 233640 0 0 0 71350 654 0 0 25 0 1 0 903383837 16252928 3206 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3968 3206 1111 63 0 3905 0
vsize: 15872
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 234785 0 0 0 72348 657 0 0 25 0 1 0 903383837 16244736 3203 4294967295 134512640 134716908 3221224576 3221220848 1074960804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3966 3203 1111 63 0 3903 0
vsize: 15864
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 236649 0 0 0 73343 661 0 0 25 0 1 0 903383837 16224256 3196 4294967295 134512640 134716908 3221224576 3221220560 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3961 3196 1111 63 0 3898 0
vsize: 15844
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 238536 0 0 0 74339 666 0 0 25 0 1 0 903383837 16203776 3193 4294967295 134512640 134716908 3221224576 3221220848 1074799491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3193 1111 63 0 3893 0
vsize: 15824
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 240369 0 0 0 75334 671 0 0 25 0 1 0 903383837 16220160 3198 4294967295 134512640 134716908 3221224576 3221220432 1074870850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3960 3198 1111 63 0 3897 0
vsize: 15840
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 242758 0 0 0 76328 676 0 0 25 0 1 0 903383837 16257024 3203 4294967295 134512640 134716908 3221224576 3221221144 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 3203 1111 63 0 3906 0
vsize: 15876
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 244731 0 0 0 77324 681 0 0 25 0 1 0 903383837 16240640 3202 4294967295 134512640 134716908 3221224576 3221220580 1074875789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 3202 1111 63 0 3902 0
vsize: 15860
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 246973 0 0 0 78318 686 0 0 25 0 1 0 903383837 15790080 3071 4294967295 134512640 134716908 3221224576 3221221344 1076084219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3855 3071 1111 63 0 3792 0
vsize: 15420
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 249046 0 0 0 79314 691 0 0 25 0 1 0 903383837 14979072 2952 4294967295 134512640 134716908 3221224576 3221222648 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2952 1111 63 0 3594 0
vsize: 14628
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 251160 0 0 0 80309 696 0 0 25 0 1 0 903383837 15155200 2995 4294967295 134512640 134716908 3221224576 3221221968 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3700 2995 1111 63 0 3637 0
vsize: 14800
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 253224 0 0 0 81303 702 0 0 25 0 1 0 903383837 15826944 3081 4294967295 134512640 134716908 3221224576 3221221560 1074831832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3864 3081 1111 63 0 3801 0
vsize: 15456
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 255081 0 0 0 82299 707 0 0 25 0 1 0 903383837 16277504 3214 4294967295 134512640 134716908 3221224576 3221220432 1074868858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3974 3214 1111 63 0 3911 0
vsize: 15896
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 257127 0 0 0 83293 713 0 0 25 0 1 0 903383837 15847424 3118 4294967295 134512640 134716908 3221224576 3221221856 1074140026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 3118 1111 63 0 3806 0
vsize: 15476
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 258696 0 0 0 84289 717 0 0 25 0 1 0 903383837 16297984 3215 4294967295 134512640 134716908 3221224576 3221220736 1074794585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3979 3215 1111 63 0 3916 0
vsize: 15916
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 260878 0 0 0 85284 722 0 0 25 0 1 0 903383837 16330752 3225 4294967295 134512640 134716908 3221224576 3221220560 1074874981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3987 3225 1111 63 0 3924 0
vsize: 15948
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 262169 0 0 0 86280 726 0 0 25 0 1 0 903383837 16326656 3220 4294967295 134512640 134716908 3221224576 3221221696 1074837180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3986 3220 1111 63 0 3923 0
vsize: 15944
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 264398 0 0 0 87274 732 0 0 25 0 1 0 903383837 16351232 3249 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3992 3249 1111 63 0 3929 0
vsize: 15968
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 265239 0 0 0 88272 734 0 0 25 0 1 0 903383837 16388096 3242 4294967295 134512640 134716908 3221224576 3221220432 1074868872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3242 1111 63 0 3938 0
vsize: 16004
[startup+900.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 266815 0 0 0 89268 738 0 0 25 0 1 0 903383837 16384000 3243 4294967295 134512640 134716908 3221224576 3221220432 1074868532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4000 3243 1111 63 0 3937 0
vsize: 16000
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 268672 0 0 0 90262 744 0 0 25 0 1 0 903383837 16486400 3256 4294967295 134512640 134716908 3221224576 3221220560 1074875065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4025 3256 1111 63 0 3962 0
vsize: 16100
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 269935 0 0 0 91259 747 0 0 25 0 1 0 903383837 15396864 3022 4294967295 134512640 134716908 3221224576 3221223088 134646693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3759 3022 1111 63 0 3696 0
vsize: 15036
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 271432 0 0 0 92256 751 0 0 25 0 1 0 903383837 16465920 3262 4294967295 134512640 134716908 3221224576 3221220432 1074868635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4020 3262 1111 63 0 3957 0
vsize: 16080
[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 273162 0 0 0 93251 756 0 0 25 0 1 0 903383837 16445440 3257 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4015 3257 1111 63 0 3952 0
vsize: 16060
[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 275160 0 0 0 94245 761 0 0 25 0 1 0 903383837 16519168 3256 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4033 3256 1111 63 0 3970 0
vsize: 16132
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 276549 0 0 0 95242 764 0 0 25 0 1 0 903383837 14979072 2952 4294967295 134512640 134716908 3221224576 3221222432 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2952 1111 63 0 3594 0
vsize: 14628
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 278459 0 0 0 96238 769 0 0 25 0 1 0 903383837 15237120 3015 4294967295 134512640 134716908 3221224576 3221221872 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3720 3015 1111 63 0 3657 0
vsize: 14880
[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 280446 0 0 0 97233 774 0 0 25 0 1 0 903383837 15429632 3025 4294967295 134512640 134716908 3221224576 3221222880 1074039267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3767 3025 1111 63 0 3704 0
vsize: 15068
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 282043 0 0 0 98229 778 0 0 25 0 1 0 903383837 16490496 3263 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4026 3263 1111 63 0 3963 0
vsize: 16104
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 283712 0 0 0 99225 782 0 0 25 0 1 0 903383837 16375808 3233 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3998 3233 1111 63 0 3935 0
vsize: 15992
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 285383 0 0 0 100220 787 0 0 25 0 1 0 903383837 16482304 3260 4294967295 134512640 134716908 3221224576 3221220432 1074868461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4024 3260 1111 63 0 3961 0
vsize: 16096
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 287321 0 0 0 101215 792 0 0 25 0 1 0 903383837 15233024 3014 4294967295 134512640 134716908 3221224576 3221222720 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3719 3014 1111 63 0 3656 0
vsize: 14876
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 289052 0 0 0 102210 797 0 0 25 0 1 0 903383837 15396864 3029 4294967295 134512640 134716908 3221224576 3221222480 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3759 3029 1111 63 0 3696 0
vsize: 15036
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 290749 0 0 0 103206 801 0 0 25 0 1 0 903383837 15425536 3024 4294967295 134512640 134716908 3221224576 3221223004 134555025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3766 3024 1111 63 0 3703 0
vsize: 15064
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 292962 0 0 0 104201 807 0 0 25 0 1 0 903383837 16461824 3242 4294967295 134512640 134716908 3221224576 3221220804 1075114940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3242 1111 63 0 3956 0
vsize: 16076
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 294597 0 0 0 105196 811 0 0 25 0 1 0 903383837 16519168 3258 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4033 3258 1111 63 0 3970 0
vsize: 16132
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 295844 0 0 0 106193 814 0 0 25 0 1 0 903383837 15417344 3037 4294967295 134512640 134716908 3221224576 3221222672 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3764 3037 1111 63 0 3701 0
vsize: 15056
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 298005 0 0 0 107189 819 0 0 25 0 1 0 903383837 16371712 3256 4294967295 134512640 134716908 3221224576 3221220704 1075561220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 3256 1111 63 0 3934 0
vsize: 15988
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 299704 0 0 0 108185 823 0 0 25 0 1 0 903383837 16482304 3249 4294967295 134512640 134716908 3221224576 3221220580 1074875766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4024 3249 1111 63 0 3961 0
vsize: 16096
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 301311 0 0 0 109180 827 0 0 25 0 1 0 903383837 16490496 3262 4294967295 134512640 134716908 3221224576 3221221068 1076116628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4026 3262 1111 63 0 3963 0
vsize: 16104
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 302897 0 0 0 110175 832 0 0 25 0 1 0 903383837 16318464 3242 4294967295 134512640 134716908 3221224576 3221220432 1074871270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3984 3242 1111 63 0 3921 0
vsize: 15936
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 304950 0 0 0 111172 836 0 0 25 0 1 0 903383837 15429632 3031 4294967295 134512640 134716908 3221224576 3221223056 1074031955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3767 3031 1111 63 0 3704 0
vsize: 15068
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 306568 0 0 0 112168 840 0 0 25 0 1 0 903383837 16560128 3258 4294967295 134512640 134716908 3221224576 3221220432 1074868742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4043 3258 1111 63 0 3980 0
vsize: 16172
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 308197 0 0 0 113165 843 0 0 25 0 1 0 903383837 16420864 3244 4294967295 134512640 134716908 3221224576 3221220452 1074786559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4009 3244 1111 63 0 3946 0
vsize: 16036
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 310460 0 0 0 114160 847 0 0 25 0 1 0 903383837 16293888 3204 4294967295 134512640 134716908 3221224576 3221222640 1075961779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3978 3204 1111 63 0 3915 0
vsize: 15912
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 312832 0 0 0 115155 853 0 0 25 0 1 0 903383837 16580608 3271 4294967295 134512640 134716908 3221224576 3221220560 1074875068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3271 1111 63 0 3985 0
vsize: 16192
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 314595 0 0 0 116150 858 0 0 25 0 1 0 903383837 16580608 3272 4294967295 134512640 134716908 3221224576 3221220544 1075965303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3272 1111 63 0 3985 0
vsize: 16192
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 316739 0 0 0 117144 864 0 0 25 0 1 0 903383837 15425536 3041 4294967295 134512640 134716908 3221224576 3221223056 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3766 3041 1111 63 0 3703 0
vsize: 15064
[startup+1181.53 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 27644
Raw data (stat): 27644 (bsolo_lpr_cuts-) R 27643 20224 20223 0 -1 0 316739 0 0 0 117144 864 0 0 25 0 1 0 903383837 15425536 3041 4294967295 134512640 134716908 3221224576 3221223056 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3766 3041 1111 63 0 3703 0
vsize: 0

Child status: 10
Real time (s): 1181.53
CPU time (s): 1181.55
CPU user time (s): 1172.89
CPU system time (s): 8.65468
CPU usage (%): 100.002
Max. virtual memory (Kb): 16192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	63
#### END VERIFIER DATA ####