Trace number 4529303

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-07-10? (TO) 3600.07 3609.11

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
MD5SUM56a55a6a376bce11ab58c02a823aeaa9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1764
Best CPU time to get the best result obtained on this benchmark3581.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3486
Total number of constraints381136
Number of constraints which are clauses381136
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 2940
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 2940
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2940
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.98/1.03	c [STEP] preprocessing with Papilo
1.38/1.41	c Papilo could not simplify the problem
1.38/1.41	c [STEP] solving with SCIP
301.14/302.08	c [STEP] preprocessing done, loading into solver
301.83/302.73	c [STEP] solving
301.83/302.73	c #variables 3487 #constraints 381136
301.83/302.73	c SMALL=int, LARGE=long long
301.83/302.73	d SCIPUB -1552
301.83/302.73	c bounds - >= -2940 @ 300.917
301.83/302.73	c stratification level: 0
301.93/302.80	c bounds - >= -2939 @ 300.938
301.93/302.80	c bounds - >= -2938 @ 300.939
301.93/302.80	c bounds - >= -2937 @ 300.939
301.93/302.80	c bounds - >= -2936 @ 300.939
301.93/302.80	c bounds - >= -2935 @ 300.94
301.93/302.80	c bounds - >= -2934 @ 300.94
301.93/302.80	c bounds - >= -2933 @ 300.94
301.93/302.80	c bounds - >= -2932 @ 300.941
301.93/302.80	c bounds - >= -2931 @ 300.941
301.93/302.80	c bounds - >= -2930 @ 300.941
301.93/302.80	c bounds - >= -2929 @ 300.942
301.93/302.80	c bounds - >= -2928 @ 300.942
301.93/302.80	c bounds - >= -2927 @ 300.942
301.93/302.80	c bounds - >= -2926 @ 300.943
301.93/302.80	c bounds - >= -2925 @ 300.943
301.93/302.80	c bounds - >= -2924 @ 300.943
301.93/302.80	c bounds - >= -2923 @ 300.944
301.93/302.80	c bounds - >= -2922 @ 300.944
301.93/302.80	c bounds - >= -2921 @ 300.944
301.93/302.80	c bounds - >= -2920 @ 300.945
301.93/302.80	c bounds - >= -2919 @ 300.945
301.93/302.80	c bounds - >= -2918 @ 300.945
301.93/302.80	c bounds - >= -2917 @ 300.946
301.93/302.80	c bounds - >= -2916 @ 300.946
301.93/302.80	c bounds - >= -2915 @ 300.946
301.93/302.80	c bounds - >= -2914 @ 300.947
301.93/302.80	c bounds - >= -2913 @ 300.947
301.93/302.80	c bounds - >= -2912 @ 300.947
301.93/302.80	c bounds - >= -2911 @ 300.948
301.93/302.80	c bounds - >= -2910 @ 300.948
301.93/302.80	c bounds - >= -2909 @ 300.948
301.93/302.80	c bounds - >= -2908 @ 300.949
301.93/302.80	c bounds - >= -2907 @ 300.949
301.93/302.80	c bounds - >= -2906 @ 300.949
301.93/302.80	c bounds - >= -2905 @ 300.95
301.93/302.80	c bounds - >= -2904 @ 300.95
301.93/302.80	c bounds - >= -2903 @ 300.95
301.93/302.80	c bounds - >= -2902 @ 300.951
301.93/302.80	c bounds - >= -2901 @ 300.951
301.93/302.80	c bounds - >= -2900 @ 300.951
301.93/302.80	c bounds - >= -2899 @ 300.952
301.93/302.80	c bounds - >= -2898 @ 300.952
301.93/302.80	c bounds - >= -2897 @ 300.952
301.93/302.80	c bounds - >= -2896 @ 300.953
301.93/302.80	c bounds - >= -2895 @ 300.953
301.93/302.80	c bounds - >= -2894 @ 300.953
301.93/302.80	c bounds - >= -2893 @ 300.954
301.93/302.80	c bounds - >= -2892 @ 300.954
301.93/302.80	c bounds - >= -2891 @ 300.954
301.93/302.80	c bounds - >= -2890 @ 300.955
301.93/302.80	c bounds - >= -2889 @ 300.955
301.93/302.80	c bounds - >= -2888 @ 300.955
301.93/302.80	c bounds - >= -2887 @ 300.956
301.93/302.80	c bounds - >= -2886 @ 300.956
301.93/302.80	c bounds - >= -2885 @ 300.956
301.93/302.80	c bounds - >= -2884 @ 300.957
301.93/302.80	c bounds - >= -2883 @ 300.957
301.93/302.80	c bounds - >= -2882 @ 300.957
301.93/302.80	c bounds - >= -2881 @ 300.958
301.93/302.80	c bounds - >= -2880 @ 300.958
301.93/302.80	c bounds - >= -2879 @ 300.958
301.93/302.80	c bounds - >= -2878 @ 300.959
301.93/302.80	c bounds - >= -2877 @ 300.959
301.93/302.80	c bounds - >= -2876 @ 300.959
301.93/302.80	c bounds - >= -2875 @ 300.96
301.93/302.80	c bounds - >= -2874 @ 300.96
301.93/302.80	c bounds - >= -2873 @ 300.96
301.93/302.80	c bounds - >= -2872 @ 300.961
301.93/302.80	c bounds - >= -2871 @ 300.961
301.93/302.80	c bounds - >= -2870 @ 300.961
301.93/302.80	c bounds - >= -2869 @ 300.962
301.93/302.80	c bounds - >= -2868 @ 300.962
301.93/302.80	c bounds - >= -2867 @ 300.962
301.93/302.80	c bounds - >= -2866 @ 300.963
301.93/302.80	c bounds - >= -2865 @ 300.963
301.93/302.80	c bounds - >= -2864 @ 300.963
301.93/302.80	c bounds - >= -2863 @ 300.964
301.93/302.80	c bounds - >= -2862 @ 300.964
301.93/302.80	c bounds - >= -2861 @ 300.964
301.93/302.80	c bounds - >= -2860 @ 300.965
301.93/302.80	c bounds - >= -2859 @ 300.965
301.93/302.80	c bounds - >= -2858 @ 300.965
301.93/302.80	c bounds - >= -2857 @ 300.966
301.93/302.80	c bounds - >= -2856 @ 300.966
301.93/302.80	c bounds - >= -2855 @ 300.966
301.93/302.80	c bounds - >= -2854 @ 300.967
301.93/302.80	c bounds - >= -2853 @ 300.967
301.93/302.80	c bounds - >= -2852 @ 300.968
301.93/302.80	c bounds - >= -2851 @ 300.968
301.93/302.80	c bounds - >= -2850 @ 300.968
301.93/302.80	c bounds - >= -2849 @ 300.969
301.93/302.80	c bounds - >= -2848 @ 300.969
301.93/302.80	c bounds - >= -2847 @ 300.969
301.93/302.80	c bounds - >= -2846 @ 300.97
301.93/302.80	c bounds - >= -2845 @ 300.97
301.93/302.80	c bounds - >= -2844 @ 300.97
301.93/302.80	c bounds - >= -2843 @ 300.971
301.93/302.80	c bounds - >= -2842 @ 300.971
301.93/302.80	c bounds - >= -2841 @ 300.971
301.93/302.80	c bounds - >= -2840 @ 300.972
301.93/302.80	c bounds - >= -2839 @ 300.972
301.93/302.80	c bounds - >= -2838 @ 300.972
301.93/302.80	c bounds - >= -2837 @ 300.973
301.93/302.80	c bounds - >= -2836 @ 300.973
301.93/302.80	c bounds - >= -2835 @ 300.973
301.93/302.80	c bounds - >= -2834 @ 300.974
301.93/302.80	c bounds - >= -2833 @ 300.974
301.93/302.80	c bounds - >= -2832 @ 300.974
301.93/302.80	c bounds - >= -2831 @ 300.974
301.93/302.80	c bounds - >= -2830 @ 300.975
301.93/302.80	c bounds - >= -2829 @ 300.975
301.93/302.80	c bounds - >= -2828 @ 300.975
301.93/302.80	c bounds - >= -2827 @ 300.976
301.93/302.80	c bounds - >= -2826 @ 300.976
301.93/302.80	c bounds - >= -2825 @ 300.976
301.93/302.80	c bounds - >= -2824 @ 300.977
301.93/302.80	c bounds - >= -2823 @ 300.977
301.93/302.80	c bounds - >= -2822 @ 300.977
301.93/302.80	c bounds - >= -2821 @ 300.978
301.93/302.80	c bounds - >= -2820 @ 300.978
301.93/302.80	c bounds - >= -2819 @ 300.978
301.93/302.80	c bounds - >= -2818 @ 300.979
301.93/302.80	c bounds - >= -2817 @ 300.979
301.93/302.80	c bounds - >= -2816 @ 300.979
301.93/302.80	c bounds - >= -2815 @ 300.98
301.93/302.80	c bounds - >= -2814 @ 300.98
301.93/302.80	c bounds - >= -2813 @ 300.98
301.93/302.80	c bounds - >= -2812 @ 300.981
301.93/302.80	c bounds - >= -2811 @ 300.981
301.93/302.80	c bounds - >= -2810 @ 300.981
301.93/302.80	c bounds - >= -2809 @ 300.982
301.93/302.80	c bounds - >= -2808 @ 300.982
301.93/302.80	c bounds - >= -2807 @ 300.982
301.93/302.80	c bounds - >= -2806 @ 300.983
301.93/302.80	c bounds - >= -2805 @ 300.983
301.93/302.80	c bounds - >= -2804 @ 300.983
301.93/302.80	c bounds - >= -2803 @ 300.984
301.93/302.80	c bounds - >= -2802 @ 300.984
301.93/302.84	c bounds - >= -2801 @ 300.984
301.93/302.84	c bounds - >= -2800 @ 300.985
301.93/302.84	c bounds - >= -2799 @ 300.985
301.93/302.84	c bounds - >= -2798 @ 300.985
301.93/302.84	c bounds - >= -2797 @ 300.986
301.93/302.84	c bounds - >= -2796 @ 300.986
301.93/302.84	c bounds - >= -2795 @ 300.986
301.93/302.84	c bounds - >= -2794 @ 300.987
301.93/302.84	c bounds - >= -2793 @ 300.987
301.93/302.84	c bounds - >= -2792 @ 300.987
301.93/302.84	c bounds - >= -2791 @ 300.988
301.93/302.84	c bounds - >= -2790 @ 300.988
301.93/302.84	c bounds - >= -2789 @ 300.988
301.93/302.84	c bounds - >= -2788 @ 300.989
301.93/302.84	c bounds - >= -2787 @ 300.989
301.93/302.84	c bounds - >= -2786 @ 300.989
301.93/302.84	c bounds - >= -2785 @ 300.99
301.93/302.84	c bounds - >= -2784 @ 300.99
301.93/302.84	c bounds - >= -2783 @ 300.99
301.93/302.84	c bounds - >= -2782 @ 300.991
301.93/302.84	c bounds - >= -2781 @ 300.991
301.93/302.84	c bounds - >= -2780 @ 300.991
301.93/302.84	c bounds - >= -2779 @ 300.992
301.93/302.84	c bounds - >= -2778 @ 300.992
301.93/302.84	c bounds - >= -2777 @ 300.992
301.93/302.84	c bounds - >= -2776 @ 300.993
301.93/302.84	c bounds - >= -2775 @ 300.993
301.93/302.84	c bounds - >= -2774 @ 300.993
301.93/302.84	c bounds - >= -2773 @ 300.994
301.93/302.84	c bounds - >= -2772 @ 300.994
301.93/302.84	c bounds - >= -2771 @ 300.994
301.93/302.84	c bounds - >= -2770 @ 300.995
301.93/302.84	c bounds - >= -2769 @ 300.995
301.93/302.84	c bounds - >= -2768 @ 300.995
301.93/302.84	c bounds - >= -2767 @ 300.995
301.93/302.84	c bounds - >= -2766 @ 300.996
301.93/302.84	c bounds - >= -2765 @ 300.996
301.93/302.84	c bounds - >= -2764 @ 300.996
301.93/302.84	c bounds - >= -2763 @ 300.997
301.93/302.84	c bounds - >= -2762 @ 300.997
301.93/302.84	c bounds - >= -2761 @ 300.997
301.93/302.84	c bounds - >= -2760 @ 300.998
301.93/302.84	c bounds - >= -2759 @ 300.998
301.93/302.84	c bounds - >= -2758 @ 300.998
301.93/302.84	c bounds - >= -2757 @ 300.999
301.93/302.84	c bounds - >= -2756 @ 300.999
301.93/302.84	c bounds - >= -2755 @ 300.999
301.93/302.84	c bounds - >= -2754 @ 301
301.93/302.84	c bounds - >= -2753 @ 301
301.93/302.84	c bounds - >= -2752 @ 301
301.93/302.84	c bounds - >= -2751 @ 301.001
301.93/302.84	c bounds - >= -2750 @ 301.001
301.93/302.84	c bounds - >= -2749 @ 301.001
301.93/302.84	c bounds - >= -2748 @ 301.002
301.93/302.84	c bounds - >= -2747 @ 301.002
301.93/302.84	c bounds - >= -2746 @ 301.002
301.93/302.84	c bounds - >= -2745 @ 301.003
301.93/302.84	c bounds - >= -2744 @ 301.003
301.93/302.84	c bounds - >= -2743 @ 301.003
301.93/302.84	c bounds - >= -2742 @ 301.004
301.93/302.84	c bounds - >= -2741 @ 301.004
301.93/302.84	c bounds - >= -2740 @ 301.004
301.93/302.84	c bounds - >= -2739 @ 301.005
301.93/302.84	c bounds - >= -2738 @ 301.005
301.93/302.84	c bounds - >= -2737 @ 301.005
301.93/302.84	c bounds - >= -2736 @ 301.006
301.93/302.84	c bounds - >= -2735 @ 301.006
301.93/302.84	c bounds - >= -2734 @ 301.006
301.93/302.84	c bounds - >= -2733 @ 301.006
301.93/302.84	c bounds - >= -2732 @ 301.007
301.93/302.84	c bounds - >= -2731 @ 301.007
301.93/302.84	c bounds - >= -2730 @ 301.007
301.93/302.84	c bounds - >= -2729 @ 301.008
301.93/302.84	c bounds - >= -2728 @ 301.008
301.93/302.84	c bounds - >= -2727 @ 301.008
301.93/302.84	c bounds - >= -2726 @ 301.009
301.93/302.84	c bounds - >= -2725 @ 301.009
301.93/302.84	c bounds - >= -2724 @ 301.009
301.93/302.84	c bounds - >= -2723 @ 301.01
301.93/302.84	c bounds - >= -2722 @ 301.01
301.93/302.84	c bounds - >= -2721 @ 301.01
301.93/302.84	c bounds - >= -2720 @ 301.011
301.93/302.84	c bounds - >= -2719 @ 301.011
301.93/302.84	c bounds - >= -2718 @ 301.011
301.93/302.84	c bounds - >= -2717 @ 301.012
301.93/302.84	c bounds - >= -2716 @ 301.012
301.93/302.84	c bounds - >= -2715 @ 301.012
301.93/302.84	c bounds - >= -2714 @ 301.013
301.93/302.84	c bounds - >= -2713 @ 301.013
301.93/302.84	c bounds - >= -2712 @ 301.013
301.93/302.84	c bounds - >= -2711 @ 301.014
301.93/302.84	c bounds - >= -2710 @ 301.014
301.93/302.84	c bounds - >= -2709 @ 301.014
301.93/302.84	c bounds - >= -2708 @ 301.015
301.93/302.84	c bounds - >= -2707 @ 301.015
301.93/302.84	c bounds - >= -2706 @ 301.015
301.93/302.84	c bounds - >= -2705 @ 301.016
301.93/302.84	c bounds - >= -2704 @ 301.016
301.93/302.84	c bounds - >= -2703 @ 301.016
301.93/302.84	c bounds - >= -2702 @ 301.017
301.93/302.84	c bounds - >= -2701 @ 301.017
301.93/302.84	c bounds - >= -2700 @ 301.017
301.93/302.84	c bounds - >= -2699 @ 301.018
301.93/302.84	c bounds - >= -2698 @ 301.018
301.93/302.84	c bounds - >= -2697 @ 301.018
301.93/302.84	c bounds - >= -2696 @ 301.019
301.93/302.84	c bounds - >= -2695 @ 301.019
301.93/302.84	c bounds - >= -2694 @ 301.019
301.93/302.84	c bounds - >= -2693 @ 301.02
301.93/302.84	c bounds - >= -2692 @ 301.02
301.93/302.84	c bounds - >= -2691 @ 301.02
301.93/302.84	c bounds - >= -2690 @ 301.021
301.93/302.84	c bounds - >= -2689 @ 301.021
301.93/302.84	c bounds - >= -2688 @ 301.021
301.93/302.84	c bounds - >= -2687 @ 301.022
301.93/302.84	c bounds - >= -2686 @ 301.022
301.93/302.84	c bounds - >= -2685 @ 301.023
301.93/302.84	c bounds - >= -2684 @ 301.023
301.93/302.84	c bounds - >= -2683 @ 301.023
301.93/302.84	c bounds - >= -2682 @ 301.023
301.93/302.84	c bounds - >= -2681 @ 301.024
301.93/302.84	c bounds - >= -2680 @ 301.024
301.93/302.84	c bounds - >= -2679 @ 301.024
301.93/302.84	c bounds - >= -2678 @ 301.024
301.93/302.84	c bounds - >= -2677 @ 301.024
301.93/302.84	c bounds - >= -2676 @ 301.024
301.93/302.84	c bounds - >= -2675 @ 301.025
301.93/302.84	c bounds - >= -2674 @ 301.025
301.93/302.84	c bounds - >= -2673 @ 301.025
301.93/302.84	c bounds - >= -2672 @ 301.026
301.93/302.84	c bounds - >= -2671 @ 301.026
301.93/302.84	c bounds - >= -2670 @ 301.027
301.93/302.84	c bounds - >= -2669 @ 301.027
301.93/302.84	c bounds - >= -2668 @ 301.027
301.93/302.84	c bounds - >= -2667 @ 301.028
301.93/302.84	c bounds - >= -2666 @ 301.028
301.93/302.84	c bounds - >= -2665 @ 301.028
301.93/302.89	c bounds - >= -2664 @ 301.029
301.93/302.89	c bounds - >= -2663 @ 301.029
301.93/302.89	c bounds - >= -2662 @ 301.029
301.93/302.89	c bounds - >= -2661 @ 301.03
301.93/302.89	c bounds - >= -2660 @ 301.03
301.93/302.89	c bounds - >= -2659 @ 301.03
301.93/302.89	c bounds - >= -2658 @ 301.031
301.93/302.89	c bounds - >= -2657 @ 301.031
301.93/302.89	c bounds - >= -2656 @ 301.031
301.93/302.89	c bounds - >= -2655 @ 301.032
301.93/302.89	c bounds - >= -2654 @ 301.032
301.93/302.89	c bounds - >= -2653 @ 301.032
301.93/302.89	c bounds - >= -2652 @ 301.033
301.93/302.89	c bounds - >= -2651 @ 301.033
301.93/302.89	c bounds - >= -2650 @ 301.033
301.93/302.89	c bounds - >= -2649 @ 301.034
301.93/302.89	c bounds - >= -2648 @ 301.034
301.93/302.89	c bounds - >= -2647 @ 301.034
301.93/302.89	c bounds - >= -2646 @ 301.035
301.93/302.89	c bounds - >= -2645 @ 301.035
301.93/302.89	c bounds - >= -2644 @ 301.035
301.93/302.89	c bounds - >= -2643 @ 301.036
301.93/302.89	c bounds - >= -2642 @ 301.036
301.93/302.89	c bounds - >= -2641 @ 301.036
301.93/302.89	c bounds - >= -2640 @ 301.037
301.93/302.89	c bounds - >= -2639 @ 301.037
301.93/302.89	c bounds - >= -2638 @ 301.037
301.93/302.89	c bounds - >= -2637 @ 301.038
301.93/302.89	c bounds - >= -2636 @ 301.038
301.93/302.89	c bounds - >= -2635 @ 301.038
301.93/302.89	c bounds - >= -2634 @ 301.039
301.93/302.89	c bounds - >= -2633 @ 301.039
301.93/302.89	c bounds - >= -2632 @ 301.039
301.93/302.89	c bounds - >= -2631 @ 301.04
301.93/302.89	c bounds - >= -2630 @ 301.04
301.93/302.89	c bounds - >= -2629 @ 301.04
301.93/302.89	c bounds - >= -2628 @ 301.041
301.93/302.89	c bounds - >= -2627 @ 301.041
301.93/302.89	c bounds - >= -2626 @ 301.041
301.93/302.89	c bounds - >= -2625 @ 301.041
301.93/302.89	c bounds - >= -2624 @ 301.042
301.93/302.89	c bounds - >= -2623 @ 301.042
301.93/302.89	c bounds - >= -2622 @ 301.042
301.93/302.89	c bounds - >= -2621 @ 301.042
301.93/302.89	c bounds - >= -2620 @ 301.042
301.93/302.89	c bounds - >= -2619 @ 301.043
301.93/302.89	c bounds - >= -2618 @ 301.043
301.93/302.89	c bounds - >= -2617 @ 301.043
301.93/302.89	c bounds - >= -2616 @ 301.044
301.93/302.89	c bounds - >= -2615 @ 301.044
301.93/302.89	c bounds - >= -2614 @ 301.044
301.93/302.89	c bounds - >= -2613 @ 301.045
301.93/302.89	c bounds - >= -2612 @ 301.045
301.93/302.89	c bounds - >= -2611 @ 301.045
301.93/302.89	c bounds - >= -2610 @ 301.045
301.93/302.89	c bounds - >= -2609 @ 301.046
301.93/302.89	c bounds - >= -2608 @ 301.046
301.93/302.89	c bounds - >= -2607 @ 301.047
301.93/302.89	c bounds - >= -2606 @ 301.047
301.93/302.89	c bounds - >= -2605 @ 301.047
301.93/302.89	c bounds - >= -2604 @ 301.048
301.93/302.89	c bounds - >= -2603 @ 301.048
301.93/302.89	c bounds - >= -2602 @ 301.048
301.93/302.89	c bounds - >= -2601 @ 301.049
301.93/302.89	c bounds - >= -2600 @ 301.049
301.93/302.89	c bounds - >= -2599 @ 301.049
301.93/302.89	c bounds - >= -2598 @ 301.05
301.93/302.89	c bounds - >= -2597 @ 301.05
301.93/302.89	c bounds - >= -2596 @ 301.05
301.93/302.89	c bounds - >= -2595 @ 301.051
301.93/302.89	c bounds - >= -2594 @ 301.051
301.93/302.89	c bounds - >= -2593 @ 301.051
301.93/302.89	c bounds - >= -2592 @ 301.051
301.93/302.89	c bounds - >= -2591 @ 301.052
301.93/302.89	c bounds - >= -2590 @ 301.052
301.93/302.89	c bounds - >= -2589 @ 301.052
301.93/302.89	c bounds - >= -2588 @ 301.053
301.93/302.89	c bounds - >= -2587 @ 301.053
301.93/302.89	c bounds - >= -2586 @ 301.053
301.93/302.89	c bounds - >= -2585 @ 301.054
301.93/302.89	c bounds - >= -2584 @ 301.054
301.93/302.89	c bounds - >= -2583 @ 301.054
301.93/302.89	c bounds - >= -2582 @ 301.055
301.93/302.89	c bounds - >= -2581 @ 301.055
301.93/302.89	c bounds - >= -2580 @ 301.055
301.93/302.89	c bounds - >= -2579 @ 301.056
301.93/302.89	c bounds - >= -2578 @ 301.056
301.93/302.89	c bounds - >= -2577 @ 301.056
301.93/302.89	c bounds - >= -2576 @ 301.057
301.93/302.89	c bounds - >= -2575 @ 301.057
301.93/302.89	c bounds - >= -2574 @ 301.057
301.93/302.89	c bounds - >= -2573 @ 301.058
301.93/302.89	c bounds - >= -2572 @ 301.058
301.93/302.89	c bounds - >= -2571 @ 301.059
301.93/302.89	c bounds - >= -2570 @ 301.059
301.93/302.89	c bounds - >= -2569 @ 301.059
301.93/302.89	c bounds - >= -2568 @ 301.059
301.93/302.89	c bounds - >= -2567 @ 301.06
301.93/302.89	c bounds - >= -2566 @ 301.06
301.93/302.89	c bounds - >= -2565 @ 301.06
301.93/302.89	c bounds - >= -2564 @ 301.061
301.93/302.89	c bounds - >= -2563 @ 301.061
301.93/302.89	c bounds - >= -2562 @ 301.061
301.93/302.89	c bounds - >= -2561 @ 301.062
301.93/302.89	c bounds - >= -2560 @ 301.062
301.93/302.89	c bounds - >= -2559 @ 301.062
301.93/302.89	c bounds - >= -2558 @ 301.063
301.93/302.89	c bounds - >= -2557 @ 301.063
301.93/302.89	c bounds - >= -2556 @ 301.063
301.93/302.89	c bounds - >= -2555 @ 301.064
301.93/302.89	c bounds - >= -2554 @ 301.064
301.93/302.89	c bounds - >= -2553 @ 301.064
301.93/302.89	c bounds - >= -2552 @ 301.065
301.93/302.89	c bounds - >= -2551 @ 301.065
301.93/302.89	c bounds - >= -2550 @ 301.065
301.93/302.89	c bounds - >= -2549 @ 301.066
301.93/302.89	c bounds - >= -2548 @ 301.066
301.93/302.89	c bounds - >= -2547 @ 301.066
301.93/302.89	c bounds - >= -2546 @ 301.067
301.93/302.89	c bounds - >= -2545 @ 301.067
301.93/302.89	c bounds - >= -2544 @ 301.067
301.93/302.89	c bounds - >= -2543 @ 301.068
301.93/302.89	c bounds - >= -2542 @ 301.068
301.93/302.89	c bounds - >= -2541 @ 301.068
301.93/302.89	c bounds - >= -2540 @ 301.069
301.93/302.89	c bounds - >= -2539 @ 301.069
301.93/302.89	c bounds - >= -2538 @ 301.069
301.93/302.89	c bounds - >= -2537 @ 301.07
301.93/302.89	c bounds - >= -2536 @ 301.07
301.93/302.89	c bounds - >= -2535 @ 301.07
301.93/302.89	c bounds - >= -2534 @ 301.071
301.93/302.89	c bounds - >= -2533 @ 301.071
301.93/302.89	c bounds - >= -2532 @ 301.071
301.93/302.89	c bounds - >= -2531 @ 301.072
301.93/302.89	c bounds - >= -2530 @ 301.072
301.93/302.89	c bounds - >= -2529 @ 301.072
301.93/302.89	c bounds - >= -2528 @ 301.073
302.04/302.94	c bounds - >= -2527 @ 301.073
302.04/302.94	c bounds - >= -2526 @ 301.073
302.04/302.94	c bounds - >= -2525 @ 301.074
302.04/302.94	c bounds - >= -2524 @ 301.074
302.04/302.94	c bounds - >= -2523 @ 301.074
302.04/302.94	c bounds - >= -2522 @ 301.075
302.04/302.94	c bounds - >= -2521 @ 301.075
302.04/302.94	c bounds - >= -2520 @ 301.075
302.04/302.94	c bounds - >= -2519 @ 301.076
302.04/302.94	c bounds - >= -2518 @ 301.076
302.04/302.94	c bounds - >= -2517 @ 301.076
302.04/302.94	c bounds - >= -2516 @ 301.077
302.04/302.94	c bounds - >= -2515 @ 301.077
302.04/302.94	c bounds - >= -2514 @ 301.077
302.04/302.94	c bounds - >= -2513 @ 301.078
302.04/302.94	c bounds - >= -2512 @ 301.078
302.04/302.94	c bounds - >= -2511 @ 301.078
302.04/302.94	c bounds - >= -2510 @ 301.079
302.04/302.94	c bounds - >= -2509 @ 301.079
302.04/302.94	c bounds - >= -2508 @ 301.079
302.04/302.94	c bounds - >= -2507 @ 301.08
302.04/302.94	c bounds - >= -2506 @ 301.08
302.04/302.94	c bounds - >= -2505 @ 301.08
302.04/302.94	c bounds - >= -2504 @ 301.081
302.04/302.94	c bounds - >= -2503 @ 301.081
302.04/302.94	c bounds - >= -2502 @ 301.081
302.04/302.94	c bounds - >= -2501 @ 301.082
302.04/302.94	c bounds - >= -2500 @ 301.082
302.04/302.94	c bounds - >= -2499 @ 301.082
302.04/302.94	c bounds - >= -2498 @ 301.082
302.04/302.94	c bounds - >= -2497 @ 301.082
302.04/302.94	c bounds - >= -2496 @ 301.082
302.04/302.94	c bounds - >= -2495 @ 301.083
302.04/302.94	c bounds - >= -2494 @ 301.083
302.04/302.94	c bounds - >= -2493 @ 301.084
302.04/302.94	c bounds - >= -2492 @ 301.084
302.04/302.94	c bounds - >= -2491 @ 301.084
302.04/302.94	c bounds - >= -2490 @ 301.085
302.04/302.94	c bounds - >= -2489 @ 301.085
302.04/302.94	c bounds - >= -2488 @ 301.085
302.04/302.94	c bounds - >= -2487 @ 301.086
302.04/302.94	c bounds - >= -2486 @ 301.086
302.04/302.94	c bounds - >= -2485 @ 301.086
302.04/302.94	c bounds - >= -2484 @ 301.086
302.04/302.94	c bounds - >= -2483 @ 301.086
302.04/302.94	c bounds - >= -2482 @ 301.086
302.04/302.94	c bounds - >= -2481 @ 301.087
302.04/302.94	c bounds - >= -2480 @ 301.087
302.04/302.94	c bounds - >= -2479 @ 301.087
302.04/302.94	c bounds - >= -2478 @ 301.088
302.04/302.94	c bounds - >= -2477 @ 301.088
302.04/302.94	c bounds - >= -2476 @ 301.088
302.04/302.94	c bounds - >= -2475 @ 301.089
302.04/302.94	c bounds - >= -2474 @ 301.089
302.04/302.94	c bounds - >= -2473 @ 301.089
302.04/302.94	c bounds - >= -2472 @ 301.09
302.04/302.94	c bounds - >= -2471 @ 301.09
302.04/302.94	c bounds - >= -2470 @ 301.09
302.04/302.94	c bounds - >= -2469 @ 301.091
302.04/302.94	c bounds - >= -2468 @ 301.091
302.04/302.94	c bounds - >= -2467 @ 301.091
302.04/302.94	c bounds - >= -2466 @ 301.092
302.04/302.94	c bounds - >= -2465 @ 301.092
302.04/302.94	c bounds - >= -2464 @ 301.092
302.04/302.94	c bounds - >= -2463 @ 301.093
302.04/302.94	c bounds - >= -2462 @ 301.093
302.04/302.94	c bounds - >= -2461 @ 301.093
302.04/302.94	c bounds - >= -2460 @ 301.094
302.04/302.94	c bounds - >= -2459 @ 301.094
302.04/302.94	c bounds - >= -2458 @ 301.094
302.04/302.94	c bounds - >= -2457 @ 301.095
302.04/302.94	c bounds - >= -2456 @ 301.095
302.04/302.94	c bounds - >= -2455 @ 301.095
302.04/302.94	c bounds - >= -2454 @ 301.096
302.04/302.94	c bounds - >= -2453 @ 301.096
302.04/302.94	c bounds - >= -2452 @ 301.096
302.04/302.94	c bounds - >= -2451 @ 301.097
302.04/302.94	c bounds - >= -2450 @ 301.097
302.04/302.94	c bounds - >= -2449 @ 301.097
302.04/302.94	c bounds - >= -2448 @ 301.098
302.04/302.94	c bounds - >= -2447 @ 301.098
302.04/302.94	c bounds - >= -2446 @ 301.098
302.04/302.94	c bounds - >= -2445 @ 301.099
302.04/302.94	c bounds - >= -2444 @ 301.099
302.04/302.94	c bounds - >= -2443 @ 301.1
302.04/302.94	c bounds - >= -2442 @ 301.1
302.04/302.94	c bounds - >= -2441 @ 301.1
302.04/302.94	c bounds - >= -2440 @ 301.1
302.04/302.94	c bounds - >= -2439 @ 301.101
302.04/302.94	c bounds - >= -2438 @ 301.101
302.04/302.94	c bounds - >= -2437 @ 301.101
302.04/302.94	c bounds - >= -2436 @ 301.102
302.04/302.94	c bounds - >= -2435 @ 301.102
302.04/302.94	c bounds - >= -2434 @ 301.102
302.04/302.94	c bounds - >= -2433 @ 301.103
302.04/302.94	c bounds - >= -2432 @ 301.103
302.04/302.94	c bounds - >= -2431 @ 301.103
302.04/302.94	c bounds - >= -2430 @ 301.104
302.04/302.94	c bounds - >= -2429 @ 301.104
302.04/302.94	c bounds - >= -2428 @ 301.104
302.04/302.94	c bounds - >= -2427 @ 301.105
302.04/302.94	c bounds - >= -2426 @ 301.105
302.04/302.94	c bounds - >= -2425 @ 301.106
302.04/302.94	c bounds - >= -2424 @ 301.106
302.04/302.94	c bounds - >= -2423 @ 301.106
302.04/302.94	c bounds - >= -2422 @ 301.107
302.04/302.94	c bounds - >= -2421 @ 301.107
302.04/302.94	c bounds - >= -2420 @ 301.107
302.04/302.94	c bounds - >= -2419 @ 301.108
302.04/302.94	c bounds - >= -2418 @ 301.108
302.04/302.94	c bounds - >= -2417 @ 301.108
302.04/302.94	c bounds - >= -2416 @ 301.109
302.04/302.94	c bounds - >= -2415 @ 301.109
302.04/302.94	c bounds - >= -2414 @ 301.109
302.04/302.94	c bounds - >= -2413 @ 301.11
302.04/302.94	c bounds - >= -2412 @ 301.11
302.04/302.94	c bounds - >= -2411 @ 301.11
302.04/302.94	c bounds - >= -2410 @ 301.111
302.04/302.94	c bounds - >= -2409 @ 301.111
302.04/302.94	c bounds - >= -2408 @ 301.111
302.04/302.94	c bounds - >= -2407 @ 301.111
302.04/302.94	c bounds - >= -2406 @ 301.112
302.04/302.94	c bounds - >= -2405 @ 301.112
302.04/302.94	c bounds - >= -2404 @ 301.113
302.04/302.94	c bounds - >= -2403 @ 301.113
302.04/302.94	c bounds - >= -2402 @ 301.113
302.04/302.94	c bounds - >= -2401 @ 301.114
302.04/302.94	c bounds - >= -2400 @ 301.114
302.04/302.94	c bounds - >= -2399 @ 301.114
302.04/302.94	c bounds - >= -2398 @ 301.115
302.04/302.94	c bounds - >= -2397 @ 301.115
302.04/302.94	c bounds - >= -2396 @ 301.115
302.04/302.94	c bounds - >= -2395 @ 301.116
302.04/302.94	c bounds - >= -2394 @ 301.116
302.04/302.94	c bounds - >= -2393 @ 301.116
302.04/302.94	c bounds - >= -2392 @ 301.116
302.04/302.94	c bounds - >= -2391 @ 301.117
302.04/302.98	c bounds - >= -2390 @ 301.117
302.04/302.98	c bounds - >= -2389 @ 301.117
302.04/302.98	c bounds - >= -2388 @ 301.118
302.04/302.98	c bounds - >= -2387 @ 301.118
302.04/302.98	c bounds - >= -2386 @ 301.118
302.04/302.98	c bounds - >= -2385 @ 301.119
302.04/302.98	c bounds - >= -2384 @ 301.119
302.04/302.98	c bounds - >= -2383 @ 301.119
302.04/302.98	c bounds - >= -2382 @ 301.12
302.04/302.98	c bounds - >= -2381 @ 301.12
302.04/302.98	c bounds - >= -2380 @ 301.12
302.04/302.98	c bounds - >= -2379 @ 301.12
302.04/302.98	c bounds - >= -2378 @ 301.12
302.04/302.98	c bounds - >= -2377 @ 301.12
302.04/302.98	c bounds - >= -2376 @ 301.12
302.04/302.98	c bounds - >= -2375 @ 301.121
302.04/302.98	c bounds - >= -2374 @ 301.121
302.04/302.98	c bounds - >= -2373 @ 301.121
302.04/302.98	c bounds - >= -2372 @ 301.121
302.04/302.98	c bounds - >= -2371 @ 301.122
302.04/302.98	c bounds - >= -2370 @ 301.122
302.04/302.98	c bounds - >= -2369 @ 301.122
302.04/302.98	c bounds - >= -2368 @ 301.123
302.04/302.98	c bounds - >= -2367 @ 301.123
302.04/302.98	c bounds - >= -2366 @ 301.123
302.04/302.98	c bounds - >= -2365 @ 301.124
302.04/302.98	c bounds - >= -2364 @ 301.124
302.04/302.98	c bounds - >= -2363 @ 301.124
302.04/302.98	c bounds - >= -2362 @ 301.125
302.04/302.98	c bounds - >= -2361 @ 301.125
302.04/302.98	c bounds - >= -2360 @ 301.125
302.04/302.98	c bounds - >= -2359 @ 301.126
302.04/302.98	c bounds - >= -2358 @ 301.126
302.04/302.98	c bounds - >= -2357 @ 301.126
302.04/302.98	c bounds - >= -2356 @ 301.126
302.04/302.98	c bounds - >= -2355 @ 301.127
302.04/302.98	c bounds - >= -2354 @ 301.127
302.04/302.98	c bounds - >= -2353 @ 301.127
302.04/302.98	c bounds - >= -2352 @ 301.128
302.04/302.98	c bounds - >= -2351 @ 301.128
302.04/302.98	c bounds - >= -2350 @ 301.128
302.04/302.98	c bounds - >= -2349 @ 301.129
302.04/302.98	c bounds - >= -2348 @ 301.129
302.04/302.98	c bounds - >= -2347 @ 301.129
302.04/302.98	c bounds - >= -2346 @ 301.129
302.04/302.98	c bounds - >= -2345 @ 301.13
302.04/302.98	c bounds - >= -2344 @ 301.13
302.04/302.98	c bounds - >= -2343 @ 301.13
302.04/302.98	c bounds - >= -2342 @ 301.131
302.04/302.98	c bounds - >= -2341 @ 301.131
302.04/302.98	c bounds - >= -2340 @ 301.131
302.04/302.98	c bounds - >= -2339 @ 301.132
302.04/302.98	c bounds - >= -2338 @ 301.132
302.04/302.98	c bounds - >= -2337 @ 301.132
302.04/302.98	c bounds - >= -2336 @ 301.133
302.04/302.98	c bounds - >= -2335 @ 301.133
302.04/302.98	c bounds - >= -2334 @ 301.133
302.04/302.98	c bounds - >= -2333 @ 301.134
302.04/302.98	c bounds - >= -2332 @ 301.134
302.04/302.98	c bounds - >= -2331 @ 301.134
302.04/302.98	c bounds - >= -2330 @ 301.135
302.04/302.98	c bounds - >= -2329 @ 301.135
302.04/302.98	c bounds - >= -2328 @ 301.135
302.04/302.98	c bounds - >= -2327 @ 301.136
302.04/302.98	c bounds - >= -2326 @ 301.136
302.04/302.98	c bounds - >= -2325 @ 301.136
302.04/302.98	c bounds - >= -2324 @ 301.136
302.04/302.98	c bounds - >= -2323 @ 301.137
302.04/302.98	c bounds - >= -2322 @ 301.137
302.04/302.98	c bounds - >= -2321 @ 301.138
302.04/302.98	c bounds - >= -2320 @ 301.138
302.04/302.98	c bounds - >= -2319 @ 301.138
302.04/302.98	c bounds - >= -2318 @ 301.139
302.04/302.98	c bounds - >= -2317 @ 301.139
302.04/302.98	c bounds - >= -2316 @ 301.14
302.04/302.98	c bounds - >= -2315 @ 301.14
302.04/302.98	c bounds - >= -2314 @ 301.14
302.04/302.98	c bounds - >= -2313 @ 301.14
302.04/302.98	c bounds - >= -2312 @ 301.141
302.04/302.98	c bounds - >= -2311 @ 301.141
302.04/302.98	c bounds - >= -2310 @ 301.141
302.04/302.98	c bounds - >= -2309 @ 301.142
302.04/302.98	c bounds - >= -2308 @ 301.142
302.04/302.98	c bounds - >= -2307 @ 301.142
302.04/302.98	c bounds - >= -2306 @ 301.143
302.04/302.98	c bounds - >= -2305 @ 301.143
302.04/302.98	c bounds - >= -2304 @ 301.143
302.04/302.98	c bounds - >= -2303 @ 301.144
302.04/302.98	c bounds - >= -2302 @ 301.144
302.04/302.98	c bounds - >= -2301 @ 301.145
302.04/302.98	c bounds - >= -2300 @ 301.145
302.04/302.98	c bounds - >= -2299 @ 301.145
302.04/302.98	c bounds - >= -2298 @ 301.145
302.04/302.98	c bounds - >= -2297 @ 301.146
302.04/302.98	c bounds - >= -2296 @ 301.146
302.04/302.98	c bounds - >= -2295 @ 301.146
302.04/302.98	c bounds - >= -2294 @ 301.147
302.04/302.98	c bounds - >= -2293 @ 301.147
302.04/302.98	c bounds - >= -2292 @ 301.147
302.04/302.98	c bounds - >= -2291 @ 301.148
302.04/302.98	c bounds - >= -2290 @ 301.148
302.04/302.98	c bounds - >= -2289 @ 301.148
302.04/302.98	c bounds - >= -2288 @ 301.148
302.04/302.98	c bounds - >= -2287 @ 301.148
302.04/302.98	c bounds - >= -2286 @ 301.148
302.04/302.98	c bounds - >= -2285 @ 301.149
302.04/302.98	c bounds - >= -2284 @ 301.149
302.04/302.98	c bounds - >= -2283 @ 301.149
302.04/302.98	c bounds - >= -2282 @ 301.15
302.04/302.98	c bounds - >= -2281 @ 301.15
302.04/302.98	c bounds - >= -2280 @ 301.15
302.04/302.98	c bounds - >= -2279 @ 301.151
302.04/302.98	c bounds - >= -2278 @ 301.151
302.04/302.98	c bounds - >= -2277 @ 301.151
302.04/302.98	c bounds - >= -2276 @ 301.152
302.04/302.98	c bounds - >= -2275 @ 301.152
302.04/302.98	c bounds - >= -2274 @ 301.152
302.04/302.98	c bounds - >= -2273 @ 301.153
302.04/302.98	c bounds - >= -2272 @ 301.153
302.04/302.98	c bounds - >= -2271 @ 301.153
302.04/302.98	c bounds - >= -2270 @ 301.153
302.04/302.98	c bounds - >= -2269 @ 301.154
302.04/302.98	c bounds - >= -2268 @ 301.154
302.04/302.98	c bounds - >= -2267 @ 301.154
302.04/302.98	c bounds - >= -2266 @ 301.155
302.04/302.98	c bounds - >= -2265 @ 301.155
302.04/302.98	c bounds - >= -2264 @ 301.155
302.04/302.98	c bounds - >= -2263 @ 301.156
302.04/302.98	c bounds - >= -2262 @ 301.156
302.04/302.98	c bounds - >= -2261 @ 301.156
302.04/302.98	c bounds - >= -2260 @ 301.157
302.04/302.98	c bounds - >= -2259 @ 301.157
302.04/302.98	c bounds - >= -2258 @ 301.157
302.04/302.98	c bounds - >= -2257 @ 301.158
302.04/302.98	c bounds - >= -2256 @ 301.158
302.04/302.98	c bounds - >= -2255 @ 301.158
302.04/302.98	c bounds - >= -2254 @ 301.158
302.13/303.03	c bounds - >= -2253 @ 301.159
302.13/303.03	c bounds - >= -2252 @ 301.159
302.13/303.03	c bounds - >= -2251 @ 301.159
302.13/303.03	c bounds - >= -2250 @ 301.16
302.13/303.03	c bounds - >= -2249 @ 301.16
302.13/303.03	c bounds - >= -2248 @ 301.16
302.13/303.03	c bounds - >= -2247 @ 301.161
302.13/303.03	c bounds - >= -2246 @ 301.161
302.13/303.03	c bounds - >= -2245 @ 301.161
302.13/303.03	c bounds - >= -2244 @ 301.162
302.13/303.03	c bounds - >= -2243 @ 301.162
302.13/303.03	c bounds - >= -2242 @ 301.162
302.13/303.03	c bounds - >= -2241 @ 301.163
302.13/303.03	c bounds - >= -2240 @ 301.163
302.13/303.03	c bounds - >= -2239 @ 301.163
302.13/303.03	c bounds - >= -2238 @ 301.163
302.13/303.03	c bounds - >= -2237 @ 301.163
302.13/303.03	c bounds - >= -2236 @ 301.163
302.13/303.03	c bounds - >= -2235 @ 301.164
302.13/303.03	c bounds - >= -2234 @ 301.164
302.13/303.03	c bounds - >= -2233 @ 301.164
302.13/303.03	c bounds - >= -2232 @ 301.164
302.13/303.03	c bounds - >= -2231 @ 301.165
302.13/303.03	c bounds - >= -2230 @ 301.165
302.13/303.03	c bounds - >= -2229 @ 301.166
302.13/303.03	c bounds - >= -2228 @ 301.166
302.13/303.03	c bounds - >= -2227 @ 301.166
302.13/303.03	c bounds - >= -2226 @ 301.167
302.13/303.03	c bounds - >= -2225 @ 301.167
302.13/303.03	c bounds - >= -2224 @ 301.167
302.13/303.03	c bounds - >= -2223 @ 301.168
302.13/303.03	c bounds - >= -2222 @ 301.168
302.13/303.03	c bounds - >= -2221 @ 301.168
302.13/303.03	c bounds - >= -2220 @ 301.168
302.13/303.03	c bounds - >= -2219 @ 301.169
302.13/303.03	c bounds - >= -2218 @ 301.169
302.13/303.03	c bounds - >= -2217 @ 301.17
302.13/303.03	c bounds - >= -2216 @ 301.17
302.13/303.03	c bounds - >= -2215 @ 301.17
302.13/303.03	c bounds - >= -2214 @ 301.171
302.13/303.03	c bounds - >= -2213 @ 301.171
302.13/303.03	c bounds - >= -2212 @ 301.171
302.13/303.03	c bounds - >= -2211 @ 301.172
302.13/303.03	c bounds - >= -2210 @ 301.172
302.13/303.03	c bounds - >= -2209 @ 301.172
302.13/303.03	c bounds - >= -2208 @ 301.172
302.13/303.03	c bounds - >= -2207 @ 301.172
302.13/303.03	c bounds - >= -2206 @ 301.173
302.13/303.03	c bounds - >= -2205 @ 301.173
302.13/303.03	c bounds - >= -2204 @ 301.174
302.13/303.03	c bounds - >= -2203 @ 301.174
302.13/303.03	c bounds - >= -2202 @ 301.174
302.13/303.03	c bounds - >= -2201 @ 301.174
302.13/303.03	c bounds - >= -2200 @ 301.174
302.13/303.03	c bounds - >= -2199 @ 301.174
302.13/303.03	c bounds - >= -2198 @ 301.175
302.13/303.03	c bounds - >= -2197 @ 301.175
302.13/303.03	c bounds - >= -2196 @ 301.176
302.13/303.03	c bounds - >= -2195 @ 301.176
302.13/303.03	c bounds - >= -2194 @ 301.176
302.13/303.03	c bounds - >= -2193 @ 301.177
302.13/303.03	c bounds - >= -2192 @ 301.177
302.13/303.03	c bounds - >= -2191 @ 301.177
302.13/303.03	c bounds - >= -2190 @ 301.178
302.13/303.03	c bounds - >= -2189 @ 301.178
302.13/303.03	c bounds - >= -2188 @ 301.178
302.13/303.03	c bounds - >= -2187 @ 301.179
302.13/303.03	c bounds - >= -2186 @ 301.18
302.13/303.03	c bounds - >= -2185 @ 301.18
302.13/303.03	c bounds - >= -2184 @ 301.18
302.13/303.03	c bounds - >= -2183 @ 301.181
302.13/303.03	c bounds - >= -2182 @ 301.181
302.13/303.03	c bounds - >= -2181 @ 301.181
302.13/303.03	c bounds - >= -2180 @ 301.181
302.13/303.03	c bounds - >= -2179 @ 301.182
302.13/303.03	c bounds - >= -2178 @ 301.182
302.13/303.03	c bounds - >= -2177 @ 301.183
302.13/303.03	c bounds - >= -2176 @ 301.183
302.13/303.03	c bounds - >= -2175 @ 301.184
302.13/303.03	c bounds - >= -2174 @ 301.184
302.13/303.03	c bounds - >= -2173 @ 301.185
302.13/303.03	c bounds - >= -2172 @ 301.185
302.13/303.03	c bounds - >= -2171 @ 301.185
302.13/303.03	c bounds - >= -2170 @ 301.186
302.13/303.03	c bounds - >= -2169 @ 301.186
302.13/303.03	c bounds - >= -2168 @ 301.186
302.13/303.03	c bounds - >= -2167 @ 301.187
302.13/303.03	c bounds - >= -2166 @ 301.187
302.13/303.03	c bounds - >= -2165 @ 301.187
302.13/303.03	c bounds - >= -2164 @ 301.188
302.13/303.03	c bounds - >= -2163 @ 301.188
302.13/303.03	c bounds - >= -2162 @ 301.189
302.13/303.03	c bounds - >= -2161 @ 301.189
302.13/303.03	c bounds - >= -2160 @ 301.19
302.13/303.03	c bounds - >= -2159 @ 301.19
302.13/303.03	c bounds - >= -2158 @ 301.19
302.13/303.03	c bounds - >= -2157 @ 301.191
302.13/303.03	c bounds - >= -2156 @ 301.191
302.13/303.03	c bounds - >= -2155 @ 301.191
302.13/303.03	c bounds - >= -2154 @ 301.192
302.13/303.03	c bounds - >= -2153 @ 301.192
302.13/303.03	c bounds - >= -2152 @ 301.192
302.13/303.03	c bounds - >= -2151 @ 301.193
302.13/303.03	c bounds - >= -2150 @ 301.193
302.13/303.03	c bounds - >= -2149 @ 301.194
302.13/303.03	c bounds - >= -2148 @ 301.195
302.13/303.03	c bounds - >= -2147 @ 301.195
302.13/303.03	c bounds - >= -2146 @ 301.195
302.13/303.03	c bounds - >= -2145 @ 301.196
302.13/303.03	c bounds - >= -2144 @ 301.196
302.13/303.03	c bounds - >= -2143 @ 301.196
302.13/303.03	c bounds - >= -2142 @ 301.197
302.13/303.03	c bounds - >= -2141 @ 301.197
302.13/303.03	c bounds - >= -2140 @ 301.197
302.13/303.03	c bounds - >= -2139 @ 301.197
302.13/303.03	c bounds - >= -2138 @ 301.197
302.13/303.03	c bounds - >= -2137 @ 301.198
302.13/303.03	c bounds - >= -2136 @ 301.199
302.13/303.03	c bounds - >= -2135 @ 301.199
302.13/303.03	c bounds - >= -2134 @ 301.2
302.13/303.03	c bounds - >= -2133 @ 301.2
302.13/303.03	c bounds - >= -2132 @ 301.2
302.13/303.03	c bounds - >= -2131 @ 301.201
302.13/303.03	c bounds - >= -2130 @ 301.201
302.13/303.03	c bounds - >= -2129 @ 301.201
302.13/303.03	c bounds - >= -2128 @ 301.202
302.13/303.03	c bounds - >= -2127 @ 301.202
302.13/303.03	c bounds - >= -2126 @ 301.203
302.13/303.03	c bounds - >= -2125 @ 301.203
302.13/303.03	c bounds - >= -2124 @ 301.203
302.13/303.03	c bounds - >= -2123 @ 301.203
302.13/303.03	c bounds - >= -2122 @ 301.204
302.13/303.03	c bounds - >= -2121 @ 301.204
302.13/303.03	c bounds - >= -2120 @ 301.204
302.13/303.03	c bounds - >= -2119 @ 301.205
302.13/303.03	c bounds - >= -2118 @ 301.205
302.13/303.03	c bounds - >= -2117 @ 301.206
438.40/439.61	c bounds - >= -2116 @ 301.206
438.40/439.61	c bounds - >= -2115 @ 301.206
438.40/439.61	c bounds - >= -2114 @ 301.206
438.40/439.61	c bounds - >= -2113 @ 301.207
438.40/439.61	c bounds - >= -2112 @ 301.208
438.40/439.61	c bounds - >= -2111 @ 301.208
438.40/439.61	c bounds - >= -2110 @ 301.209
438.40/439.61	c bounds - >= -2109 @ 301.209
438.40/439.61	c bounds - >= -2108 @ 301.21
438.40/439.61	c bounds - >= -2107 @ 301.21
438.40/439.61	c bounds - >= -2106 @ 301.21
438.40/439.61	c bounds - >= -2105 @ 301.211
438.40/439.61	c bounds - >= -2104 @ 301.211
438.40/439.61	c bounds - >= -2103 @ 301.211
438.40/439.61	c bounds - >= -2102 @ 301.212
438.40/439.61	c bounds - >= -2101 @ 301.212
438.40/439.61	c bounds - >= -2100 @ 301.213
438.40/439.61	c bounds - >= -2099 @ 301.213
438.40/439.61	c bounds - >= -2098 @ 301.213
438.40/439.61	c bounds - >= -2097 @ 301.214
438.40/439.61	c bounds - >= -2096 @ 301.214
438.40/439.61	c bounds - >= -2095 @ 301.214
438.40/439.61	c bounds - >= -2094 @ 301.215
438.40/439.61	c bounds - >= -2093 @ 301.215
438.40/439.61	c bounds - >= -2092 @ 301.215
438.40/439.61	c bounds - >= -2091 @ 301.216
438.40/439.61	c bounds - >= -2090 @ 301.216
438.40/439.61	c bounds - >= -2089 @ 301.217
438.40/439.61	c bounds - >= -2088 @ 301.217
438.40/439.61	c bounds - >= -2087 @ 301.218
438.40/439.61	c bounds - >= -2086 @ 301.218
438.40/439.61	c bounds - >= -2085 @ 301.218
438.40/439.61	c bounds - >= -2084 @ 301.219
438.40/439.61	c bounds - >= -2083 @ 301.219
438.40/439.61	c bounds - >= -2082 @ 301.219
438.40/439.61	c bounds - >= -2081 @ 301.22
438.40/439.61	c bounds - >= -2080 @ 301.22
438.40/439.61	c bounds - >= -2079 @ 301.221
438.40/439.61	c bounds - >= -2078 @ 301.221
438.40/439.61	c #Conflicts:       1000 | #Constraints:     383055
438.40/439.61	c #Conflicts:       2000 | #Constraints:     384055
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:       3000 | #Constraints:     383170
438.40/439.61	c #Conflicts:       4000 | #Constraints:     384170
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:       5000 | #Constraints:     383558
438.40/439.61	c #Conflicts:       6000 | #Constraints:     384558
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:       7000 | #Constraints:     383551
438.40/439.61	c #Conflicts:       8000 | #Constraints:     384551
438.40/439.61	c #Conflicts:       9000 | #Constraints:     385551
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      10000 | #Constraints:     384247
438.40/439.61	c #Conflicts:      11000 | #Constraints:     385247
438.40/439.61	c #Conflicts:      12000 | #Constraints:     386247
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      13000 | #Constraints:     384695
438.40/439.61	c #Conflicts:      14000 | #Constraints:     385695
438.40/439.61	c #Conflicts:      15000 | #Constraints:     386695
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      16000 | #Constraints:     384920
438.40/439.61	c #Conflicts:      17000 | #Constraints:     385920
438.40/439.61	c #Conflicts:      18000 | #Constraints:     386920
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      19000 | #Constraints:     384933
438.40/439.61	c #Conflicts:      20000 | #Constraints:     385933
438.40/439.61	c #Conflicts:      21000 | #Constraints:     386933
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      22000 | #Constraints:     384739
438.40/439.61	c #Conflicts:      23000 | #Constraints:     385739
438.40/439.61	c #Conflicts:      24000 | #Constraints:     386739
438.40/439.61	c #Conflicts:      25000 | #Constraints:     387739
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      26000 | #Constraints:     385343
438.40/439.61	c #Conflicts:      27000 | #Constraints:     386343
438.40/439.61	c #Conflicts:      28000 | #Constraints:     387343
438.40/439.61	c #Conflicts:      29000 | #Constraints:     388343
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      30000 | #Constraints:     385744
438.40/439.61	c #Conflicts:      31000 | #Constraints:     386744
438.40/439.61	c #Conflicts:      32000 | #Constraints:     387744
438.40/439.61	c #Conflicts:      33000 | #Constraints:     388744
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      34000 | #Constraints:     385946
438.40/439.61	c #Conflicts:      35000 | #Constraints:     386946
438.40/439.61	c #Conflicts:      36000 | #Constraints:     387946
438.40/439.61	c #Conflicts:      37000 | #Constraints:     388946
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      38000 | #Constraints:     385947
438.40/439.61	c #Conflicts:      39000 | #Constraints:     386947
438.40/439.61	c #Conflicts:      40000 | #Constraints:     387947
438.40/439.61	c #Conflicts:      41000 | #Constraints:     388947
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      42000 | #Constraints:     385749
438.40/439.61	c #Conflicts:      43000 | #Constraints:     386749
438.40/439.61	c #Conflicts:      44000 | #Constraints:     387749
438.40/439.61	c #Conflicts:      45000 | #Constraints:     388749
438.40/439.61	c #Conflicts:      46000 | #Constraints:     389749
438.40/439.61	c INPROCESSING
438.40/439.61	c GARBAGE COLLECT
438.40/439.61	c #Conflicts:      47000 | #Constraints:     386345
438.40/439.61	c #Conflicts:      48000 | #Constraints:     387345
667.65/669.46	c #Conflicts:      49000 | #Constraints:     388345
667.65/669.46	c #Conflicts:      50000 | #Constraints:     389345
667.65/669.46	c #Conflicts:      51000 | #Constraints:     390345
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      52000 | #Constraints:     386744
667.65/669.46	c #Conflicts:      53000 | #Constraints:     387744
667.65/669.46	c #Conflicts:      54000 | #Constraints:     388744
667.65/669.46	c #Conflicts:      55000 | #Constraints:     389744
667.65/669.46	c #Conflicts:      56000 | #Constraints:     390744
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      57000 | #Constraints:     386944
667.65/669.46	c #Conflicts:      58000 | #Constraints:     387944
667.65/669.46	c #Conflicts:      59000 | #Constraints:     388944
667.65/669.46	c #Conflicts:      60000 | #Constraints:     389944
667.65/669.46	c #Conflicts:      61000 | #Constraints:     390944
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      62000 | #Constraints:     386945
667.65/669.46	c #Conflicts:      63000 | #Constraints:     387945
667.65/669.46	c #Conflicts:      64000 | #Constraints:     388945
667.65/669.46	c #Conflicts:      65000 | #Constraints:     389945
667.65/669.46	c #Conflicts:      66000 | #Constraints:     390945
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      67000 | #Constraints:     386745
667.65/669.46	c #Conflicts:      68000 | #Constraints:     387745
667.65/669.46	c #Conflicts:      69000 | #Constraints:     388745
667.65/669.46	c #Conflicts:      70000 | #Constraints:     389745
667.65/669.46	c #Conflicts:      71000 | #Constraints:     390745
667.65/669.46	c #Conflicts:      72000 | #Constraints:     391745
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      73000 | #Constraints:     387346
667.65/669.46	c #Conflicts:      74000 | #Constraints:     388346
667.65/669.46	c #Conflicts:      75000 | #Constraints:     389346
667.65/669.46	c #Conflicts:      76000 | #Constraints:     390346
667.65/669.46	c #Conflicts:      77000 | #Constraints:     391346
667.65/669.46	c #Conflicts:      78000 | #Constraints:     392346
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      79000 | #Constraints:     387745
667.65/669.46	c #Conflicts:      80000 | #Constraints:     388745
667.65/669.46	c #Conflicts:      81000 | #Constraints:     389745
667.65/669.46	c #Conflicts:      82000 | #Constraints:     390745
667.65/669.46	c #Conflicts:      83000 | #Constraints:     391745
667.65/669.46	c #Conflicts:      84000 | #Constraints:     392745
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      85000 | #Constraints:     387947
667.65/669.46	c #Conflicts:      86000 | #Constraints:     388947
667.65/669.46	c #Conflicts:      87000 | #Constraints:     389947
667.65/669.46	c #Conflicts:      88000 | #Constraints:     390947
667.65/669.46	c #Conflicts:      89000 | #Constraints:     391947
667.65/669.46	c #Conflicts:      90000 | #Constraints:     392947
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      91000 | #Constraints:     387948
667.65/669.46	c #Conflicts:      92000 | #Constraints:     388948
667.65/669.46	c #Conflicts:      93000 | #Constraints:     389948
667.65/669.46	c #Conflicts:      94000 | #Constraints:     390948
667.65/669.46	c #Conflicts:      95000 | #Constraints:     391948
667.65/669.46	c #Conflicts:      96000 | #Constraints:     392948
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:      97000 | #Constraints:     387748
667.65/669.46	c #Conflicts:      98000 | #Constraints:     388748
667.65/669.46	c #Conflicts:      99000 | #Constraints:     389748
667.65/669.46	c #Conflicts:     100000 | #Constraints:     390748
667.65/669.46	c #Conflicts:     101000 | #Constraints:     391748
667.65/669.46	c #Conflicts:     102000 | #Constraints:     392748
667.65/669.46	c #Conflicts:     103000 | #Constraints:     393748
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:     104000 | #Constraints:     388349
667.65/669.46	c #Conflicts:     105000 | #Constraints:     389349
667.65/669.46	c #Conflicts:     106000 | #Constraints:     390349
667.65/669.46	c #Conflicts:     107000 | #Constraints:     391349
667.65/669.46	c #Conflicts:     108000 | #Constraints:     392349
667.65/669.46	c #Conflicts:     109000 | #Constraints:     393349
667.65/669.46	c #Conflicts:     110000 | #Constraints:     394349
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:     111000 | #Constraints:     388750
667.65/669.46	c #Conflicts:     112000 | #Constraints:     389750
667.65/669.46	c #Conflicts:     113000 | #Constraints:     390750
667.65/669.46	c #Conflicts:     114000 | #Constraints:     391750
667.65/669.46	c #Conflicts:     115000 | #Constraints:     392750
667.65/669.46	c #Conflicts:     116000 | #Constraints:     393750
667.65/669.46	c #Conflicts:     117000 | #Constraints:     394750
667.65/669.46	c INPROCESSING
667.65/669.46	c GARBAGE COLLECT
667.65/669.46	c #Conflicts:     118000 | #Constraints:     388948
667.65/669.46	c #Conflicts:     119000 | #Constraints:     389948
919.02/921.46	c #Conflicts:     120000 | #Constraints:     390948
919.02/921.46	c #Conflicts:     121000 | #Constraints:     391948
919.02/921.46	c #Conflicts:     122000 | #Constraints:     392948
919.02/921.46	c #Conflicts:     123000 | #Constraints:     393948
919.02/921.46	c #Conflicts:     124000 | #Constraints:     394948
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     125000 | #Constraints:     388946
919.02/921.46	c #Conflicts:     126000 | #Constraints:     389946
919.02/921.46	c #Conflicts:     127000 | #Constraints:     390946
919.02/921.46	c #Conflicts:     128000 | #Constraints:     391946
919.02/921.46	c #Conflicts:     129000 | #Constraints:     392946
919.02/921.46	c #Conflicts:     130000 | #Constraints:     393946
919.02/921.46	c #Conflicts:     131000 | #Constraints:     394946
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     132000 | #Constraints:     388747
919.02/921.46	c #Conflicts:     133000 | #Constraints:     389747
919.02/921.46	c #Conflicts:     134000 | #Constraints:     390747
919.02/921.46	c #Conflicts:     135000 | #Constraints:     391747
919.02/921.46	c #Conflicts:     136000 | #Constraints:     392747
919.02/921.46	c #Conflicts:     137000 | #Constraints:     393747
919.02/921.46	c #Conflicts:     138000 | #Constraints:     394747
919.02/921.46	c #Conflicts:     139000 | #Constraints:     395747
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     140000 | #Constraints:     389348
919.02/921.46	c #Conflicts:     141000 | #Constraints:     390348
919.02/921.46	c #Conflicts:     142000 | #Constraints:     391348
919.02/921.46	c #Conflicts:     143000 | #Constraints:     392348
919.02/921.46	c #Conflicts:     144000 | #Constraints:     393348
919.02/921.46	c #Conflicts:     145000 | #Constraints:     394348
919.02/921.46	c #Conflicts:     146000 | #Constraints:     395348
919.02/921.46	c #Conflicts:     147000 | #Constraints:     396348
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     148000 | #Constraints:     389749
919.02/921.46	c #Conflicts:     149000 | #Constraints:     390749
919.02/921.46	c #Conflicts:     150000 | #Constraints:     391749
919.02/921.46	c #Conflicts:     151000 | #Constraints:     392749
919.02/921.46	c #Conflicts:     152000 | #Constraints:     393749
919.02/921.46	c #Conflicts:     153000 | #Constraints:     394749
919.02/921.46	c #Conflicts:     154000 | #Constraints:     395749
919.02/921.46	c #Conflicts:     155000 | #Constraints:     396749
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     156000 | #Constraints:     389950
919.02/921.46	c #Conflicts:     157000 | #Constraints:     390950
919.02/921.46	c #Conflicts:     158000 | #Constraints:     391950
919.02/921.46	c #Conflicts:     159000 | #Constraints:     392950
919.02/921.46	c #Conflicts:     160000 | #Constraints:     393950
919.02/921.46	c #Conflicts:     161000 | #Constraints:     394950
919.02/921.46	c #Conflicts:     162000 | #Constraints:     395950
919.02/921.46	c #Conflicts:     163000 | #Constraints:     396950
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     164000 | #Constraints:     389948
919.02/921.46	c #Conflicts:     165000 | #Constraints:     390948
919.02/921.46	c #Conflicts:     166000 | #Constraints:     391948
919.02/921.46	c #Conflicts:     167000 | #Constraints:     392948
919.02/921.46	c #Conflicts:     168000 | #Constraints:     393948
919.02/921.46	c #Conflicts:     169000 | #Constraints:     394948
919.02/921.46	c #Conflicts:     170000 | #Constraints:     395948
919.02/921.46	c #Conflicts:     171000 | #Constraints:     396948
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     172000 | #Constraints:     389749
919.02/921.46	c #Conflicts:     173000 | #Constraints:     390749
919.02/921.46	c #Conflicts:     174000 | #Constraints:     391749
919.02/921.46	c #Conflicts:     175000 | #Constraints:     392749
919.02/921.46	c #Conflicts:     176000 | #Constraints:     393749
919.02/921.46	c #Conflicts:     177000 | #Constraints:     394749
919.02/921.46	c #Conflicts:     178000 | #Constraints:     395749
919.02/921.46	c #Conflicts:     179000 | #Constraints:     396749
919.02/921.46	c #Conflicts:     180000 | #Constraints:     397749
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     181000 | #Constraints:     390349
919.02/921.46	c #Conflicts:     182000 | #Constraints:     391349
919.02/921.46	c #Conflicts:     183000 | #Constraints:     392349
919.02/921.46	c #Conflicts:     184000 | #Constraints:     393349
919.02/921.46	c #Conflicts:     185000 | #Constraints:     394349
919.02/921.46	c #Conflicts:     186000 | #Constraints:     395349
919.02/921.46	c #Conflicts:     187000 | #Constraints:     396349
919.02/921.46	c #Conflicts:     188000 | #Constraints:     397349
919.02/921.46	c #Conflicts:     189000 | #Constraints:     398349
919.02/921.46	c INPROCESSING
919.02/921.46	c GARBAGE COLLECT
919.02/921.46	c #Conflicts:     190000 | #Constraints:     390751
919.02/921.46	c #Conflicts:     191000 | #Constraints:     391751
919.02/921.46	c #Conflicts:     192000 | #Constraints:     392751
1149.33/1152.30	c #Conflicts:     193000 | #Constraints:     393751
1149.33/1152.30	c #Conflicts:     194000 | #Constraints:     394751
1149.33/1152.30	c #Conflicts:     195000 | #Constraints:     395751
1149.33/1152.30	c #Conflicts:     196000 | #Constraints:     396751
1149.33/1152.30	c #Conflicts:     197000 | #Constraints:     397751
1149.33/1152.30	c #Conflicts:     198000 | #Constraints:     398751
1149.33/1152.30	c INPROCESSING
1149.33/1152.30	c GARBAGE COLLECT
1149.33/1152.30	c #Conflicts:     199000 | #Constraints:     390953
1149.33/1152.30	c #Conflicts:     200000 | #Constraints:     391953
1149.33/1152.30	c #Conflicts:     201000 | #Constraints:     392953
1149.33/1152.30	c #Conflicts:     202000 | #Constraints:     393953
1149.33/1152.30	c #Conflicts:     203000 | #Constraints:     394953
1149.33/1152.30	c #Conflicts:     204000 | #Constraints:     395953
1149.33/1152.30	c #Conflicts:     205000 | #Constraints:     396953
1149.33/1152.30	c #Conflicts:     206000 | #Constraints:     397953
1149.33/1152.30	c #Conflicts:     207000 | #Constraints:     398953
1149.33/1152.30	c INPROCESSING
1149.33/1152.30	c GARBAGE COLLECT
1149.33/1152.30	c #Conflicts:     208000 | #Constraints:     390952
1149.33/1152.30	c #Conflicts:     209000 | #Constraints:     391952
1149.33/1152.30	c #Conflicts:     210000 | #Constraints:     392952
1149.33/1152.30	c #Conflicts:     211000 | #Constraints:     393952
1149.33/1152.30	c #Conflicts:     212000 | #Constraints:     394952
1149.33/1152.30	c #Conflicts:     213000 | #Constraints:     395952
1149.33/1152.30	c #Conflicts:     214000 | #Constraints:     396952
1149.33/1152.30	c #Conflicts:     215000 | #Constraints:     397952
1149.33/1152.30	c #Conflicts:     216000 | #Constraints:     398952
1149.33/1152.30	c INPROCESSING
1149.33/1152.30	c GARBAGE COLLECT
1149.33/1152.30	c #Conflicts:     217000 | #Constraints:     390753
1149.33/1152.30	c #Conflicts:     218000 | #Constraints:     391753
1149.33/1152.30	c #Conflicts:     219000 | #Constraints:     392753
1149.33/1152.30	c #Conflicts:     220000 | #Constraints:     393753
1149.33/1152.30	c #Conflicts:     221000 | #Constraints:     394753
1149.33/1152.30	c #Conflicts:     222000 | #Constraints:     395753
1149.33/1152.30	c #Conflicts:     223000 | #Constraints:     396753
1149.33/1152.30	c #Conflicts:     224000 | #Constraints:     397753
1149.33/1152.30	c #Conflicts:     225000 | #Constraints:     398753
1149.33/1152.30	c #Conflicts:     226000 | #Constraints:     399753
1149.33/1152.30	c INPROCESSING
1149.33/1152.30	c GARBAGE COLLECT
1149.33/1152.30	c #Conflicts:     227000 | #Constraints:     391351
1149.33/1152.30	c #Conflicts:     228000 | #Constraints:     392351
1149.33/1152.30	c #Conflicts:     229000 | #Constraints:     393351
1149.33/1152.30	c #Conflicts:     230000 | #Constraints:     394351
1149.33/1152.30	c #Conflicts:     231000 | #Constraints:     395351
1149.33/1152.30	c #Conflicts:     232000 | #Constraints:     396351
1149.33/1152.30	c #Conflicts:     233000 | #Constraints:     397351
1149.33/1152.30	c #Conflicts:     234000 | #Constraints:     398351
1149.33/1152.30	c #Conflicts:     235000 | #Constraints:     399351
1149.33/1152.30	c #Conflicts:     236000 | #Constraints:     400351
1149.33/1152.30	c INPROCESSING
1149.33/1152.30	c GARBAGE COLLECT
1149.33/1152.30	c #Conflicts:     237000 | #Constraints:     391751
1149.33/1152.30	c #Conflicts:     238000 | #Constraints:     392751
1149.33/1152.30	c #Conflicts:     239000 | #Constraints:     393751
1149.33/1152.30	c #Conflicts:     240000 | #Constraints:     394751
1149.33/1152.30	c #Conflicts:     241000 | #Constraints:     395751
1149.33/1152.30	c #Conflicts:     242000 | #Constraints:     396751
1149.33/1152.30	c #Conflicts:     243000 | #Constraints:     397751
1149.33/1152.30	c #Conflicts:     244000 | #Constraints:     398751
1149.33/1152.30	c #Conflicts:     245000 | #Constraints:     399751
1149.33/1152.30	c #Conflicts:     246000 | #Constraints:     400751
1149.33/1152.30	c INPROCESSING
1149.33/1152.30	c GARBAGE COLLECT
1149.33/1152.30	c #Conflicts:     247000 | #Constraints:     391951
1149.33/1152.30	c #Conflicts:     248000 | #Constraints:     392951
1149.33/1152.30	c #Conflicts:     249000 | #Constraints:     393951
1149.33/1152.30	c #Conflicts:     250000 | #Constraints:     394951
1149.33/1152.30	c #Conflicts:     251000 | #Constraints:     395951
1149.33/1152.30	c #Conflicts:     252000 | #Constraints:     396951
1149.33/1152.30	c #Conflicts:     253000 | #Constraints:     397951
1149.33/1152.30	c #Conflicts:     254000 | #Constraints:     398951
1149.33/1152.30	c #Conflicts:     255000 | #Constraints:     399951
1149.33/1152.30	c #Conflicts:     256000 | #Constraints:     400951
1149.33/1152.30	c INPROCESSING
1149.33/1152.30	c GARBAGE COLLECT
1149.33/1152.30	c #Conflicts:     257000 | #Constraints:     391950
1149.33/1152.30	c #Conflicts:     258000 | #Constraints:     392950
1149.33/1152.30	c #Conflicts:     259000 | #Constraints:     393950
1149.33/1152.30	c #Conflicts:     260000 | #Constraints:     394950
1149.33/1152.30	c #Conflicts:     261000 | #Constraints:     395950
1149.33/1152.30	c #Conflicts:     262000 | #Constraints:     396950
1149.33/1152.30	c #Conflicts:     263000 | #Constraints:     397950
1149.33/1152.30	c #Conflicts:     264000 | #Constraints:     398950
1149.33/1152.30	c #Conflicts:     265000 | #Constraints:     399950
1149.33/1152.30	c #Conflicts:     266000 | #Constraints:     400950
1404.28/1408.04	c INPROCESSING
1404.28/1408.04	c GARBAGE COLLECT
1404.28/1408.04	c #Conflicts:     267000 | #Constraints:     391750
1404.28/1408.04	c #Conflicts:     268000 | #Constraints:     392750
1404.28/1408.04	c #Conflicts:     269000 | #Constraints:     393750
1404.28/1408.04	c #Conflicts:     270000 | #Constraints:     394750
1404.28/1408.04	c #Conflicts:     271000 | #Constraints:     395750
1404.28/1408.04	c #Conflicts:     272000 | #Constraints:     396750
1404.28/1408.04	c #Conflicts:     273000 | #Constraints:     397750
1404.28/1408.04	c #Conflicts:     274000 | #Constraints:     398750
1404.28/1408.04	c #Conflicts:     275000 | #Constraints:     399750
1404.28/1408.04	c #Conflicts:     276000 | #Constraints:     400750
1404.28/1408.04	c #Conflicts:     277000 | #Constraints:     401750
1404.28/1408.04	c INPROCESSING
1404.28/1408.04	c GARBAGE COLLECT
1404.28/1408.04	c #Conflicts:     278000 | #Constraints:     392348
1404.28/1408.04	c #Conflicts:     279000 | #Constraints:     393348
1404.28/1408.04	c #Conflicts:     280000 | #Constraints:     394348
1404.28/1408.04	c #Conflicts:     281000 | #Constraints:     395348
1404.28/1408.04	c #Conflicts:     282000 | #Constraints:     396348
1404.28/1408.04	c #Conflicts:     283000 | #Constraints:     397348
1404.28/1408.04	c #Conflicts:     284000 | #Constraints:     398348
1404.28/1408.04	c #Conflicts:     285000 | #Constraints:     399348
1404.28/1408.04	c #Conflicts:     286000 | #Constraints:     400348
1404.28/1408.04	c #Conflicts:     287000 | #Constraints:     401348
1404.28/1408.04	c #Conflicts:     288000 | #Constraints:     402348
1404.28/1408.04	c INPROCESSING
1404.28/1408.04	c GARBAGE COLLECT
1404.28/1408.04	c #Conflicts:     289000 | #Constraints:     392747
1404.28/1408.04	c #Conflicts:     290000 | #Constraints:     393747
1404.28/1408.04	c #Conflicts:     291000 | #Constraints:     394747
1404.28/1408.04	c #Conflicts:     292000 | #Constraints:     395747
1404.28/1408.04	c #Conflicts:     293000 | #Constraints:     396747
1404.28/1408.04	c #Conflicts:     294000 | #Constraints:     397747
1404.28/1408.04	c #Conflicts:     295000 | #Constraints:     398747
1404.28/1408.04	c #Conflicts:     296000 | #Constraints:     399747
1404.28/1408.04	c #Conflicts:     297000 | #Constraints:     400747
1404.28/1408.04	c #Conflicts:     298000 | #Constraints:     401747
1404.28/1408.04	c #Conflicts:     299000 | #Constraints:     402747
1404.28/1408.04	c INPROCESSING
1404.28/1408.04	c GARBAGE COLLECT
1404.28/1408.04	c #Conflicts:     300000 | #Constraints:     392947
1404.28/1408.04	c #Conflicts:     301000 | #Constraints:     393947
1404.28/1408.04	c #Conflicts:     302000 | #Constraints:     394947
1404.28/1408.04	c #Conflicts:     303000 | #Constraints:     395947
1404.28/1408.04	c #Conflicts:     304000 | #Constraints:     396947
1404.28/1408.04	c #Conflicts:     305000 | #Constraints:     397947
1404.28/1408.04	c #Conflicts:     306000 | #Constraints:     398947
1404.28/1408.04	c #Conflicts:     307000 | #Constraints:     399947
1404.28/1408.04	c #Conflicts:     308000 | #Constraints:     400947
1404.28/1408.04	c #Conflicts:     309000 | #Constraints:     401947
1404.28/1408.04	c #Conflicts:     310000 | #Constraints:     402947
1404.28/1408.04	c INPROCESSING
1404.28/1408.04	c GARBAGE COLLECT
1404.28/1408.04	c #Conflicts:     311000 | #Constraints:     392951
1404.28/1408.04	c #Conflicts:     312000 | #Constraints:     393951
1404.28/1408.04	c #Conflicts:     313000 | #Constraints:     394951
1404.28/1408.04	c #Conflicts:     314000 | #Constraints:     395951
1404.28/1408.04	c #Conflicts:     315000 | #Constraints:     396951
1404.28/1408.04	c #Conflicts:     316000 | #Constraints:     397951
1404.28/1408.04	c #Conflicts:     317000 | #Constraints:     398951
1404.28/1408.04	c #Conflicts:     318000 | #Constraints:     399951
1404.28/1408.04	c #Conflicts:     319000 | #Constraints:     400951
1404.28/1408.04	c #Conflicts:     320000 | #Constraints:     401951
1404.28/1408.04	c #Conflicts:     321000 | #Constraints:     402951
1404.28/1408.04	c INPROCESSING
1404.28/1408.04	c GARBAGE COLLECT
1404.28/1408.04	c #Conflicts:     322000 | #Constraints:     392751
1404.28/1408.04	c #Conflicts:     323000 | #Constraints:     393751
1404.28/1408.04	c #Conflicts:     324000 | #Constraints:     394751
1404.28/1408.04	c #Conflicts:     325000 | #Constraints:     395751
1404.28/1408.04	c #Conflicts:     326000 | #Constraints:     396751
1404.28/1408.04	c #Conflicts:     327000 | #Constraints:     397751
1404.28/1408.04	c #Conflicts:     328000 | #Constraints:     398751
1404.28/1408.04	c #Conflicts:     329000 | #Constraints:     399751
1404.28/1408.04	c #Conflicts:     330000 | #Constraints:     400751
1404.28/1408.04	c #Conflicts:     331000 | #Constraints:     401751
1404.28/1408.04	c #Conflicts:     332000 | #Constraints:     402751
1404.28/1408.04	c #Conflicts:     333000 | #Constraints:     403751
1404.28/1408.04	c INPROCESSING
1404.28/1408.04	c GARBAGE COLLECT
1404.28/1408.04	c #Conflicts:     334000 | #Constraints:     393349
1404.28/1408.04	c #Conflicts:     335000 | #Constraints:     394349
1404.28/1408.04	c #Conflicts:     336000 | #Constraints:     395349
1404.28/1408.04	c #Conflicts:     337000 | #Constraints:     396349
1404.28/1408.04	c #Conflicts:     338000 | #Constraints:     397349
1404.28/1408.04	c #Conflicts:     339000 | #Constraints:     398349
1404.28/1408.04	c #Conflicts:     340000 | #Constraints:     399349
1404.28/1408.04	c #Conflicts:     341000 | #Constraints:     400349
1680.74/1685.24	c #Conflicts:     342000 | #Constraints:     401349
1680.74/1685.24	c #Conflicts:     343000 | #Constraints:     402349
1680.74/1685.24	c #Conflicts:     344000 | #Constraints:     403349
1680.74/1685.24	c #Conflicts:     345000 | #Constraints:     404349
1680.74/1685.24	c INPROCESSING
1680.74/1685.24	c GARBAGE COLLECT
1680.74/1685.24	c #Conflicts:     346000 | #Constraints:     393752
1680.74/1685.24	c #Conflicts:     347000 | #Constraints:     394752
1680.74/1685.24	c #Conflicts:     348000 | #Constraints:     395752
1680.74/1685.24	c #Conflicts:     349000 | #Constraints:     396752
1680.74/1685.24	c #Conflicts:     350000 | #Constraints:     397752
1680.74/1685.24	c #Conflicts:     351000 | #Constraints:     398752
1680.74/1685.24	c #Conflicts:     352000 | #Constraints:     399752
1680.74/1685.24	c #Conflicts:     353000 | #Constraints:     400752
1680.74/1685.24	c #Conflicts:     354000 | #Constraints:     401752
1680.74/1685.24	c #Conflicts:     355000 | #Constraints:     402752
1680.74/1685.24	c #Conflicts:     356000 | #Constraints:     403752
1680.74/1685.24	c #Conflicts:     357000 | #Constraints:     404752
1680.74/1685.24	c INPROCESSING
1680.74/1685.24	c GARBAGE COLLECT
1680.74/1685.24	c #Conflicts:     358000 | #Constraints:     393948
1680.74/1685.24	c #Conflicts:     359000 | #Constraints:     394948
1680.74/1685.24	c #Conflicts:     360000 | #Constraints:     395948
1680.74/1685.24	c #Conflicts:     361000 | #Constraints:     396948
1680.74/1685.24	c #Conflicts:     362000 | #Constraints:     397948
1680.74/1685.24	c #Conflicts:     363000 | #Constraints:     398948
1680.74/1685.24	c #Conflicts:     364000 | #Constraints:     399948
1680.74/1685.24	c #Conflicts:     365000 | #Constraints:     400948
1680.74/1685.24	c #Conflicts:     366000 | #Constraints:     401948
1680.74/1685.24	c #Conflicts:     367000 | #Constraints:     402948
1680.74/1685.24	c #Conflicts:     368000 | #Constraints:     403948
1680.74/1685.24	c #Conflicts:     369000 | #Constraints:     404948
1680.74/1685.24	c INPROCESSING
1680.74/1685.24	c GARBAGE COLLECT
1680.74/1685.24	c #Conflicts:     370000 | #Constraints:     393947
1680.74/1685.24	c #Conflicts:     371000 | #Constraints:     394947
1680.74/1685.24	c #Conflicts:     372000 | #Constraints:     395947
1680.74/1685.24	c #Conflicts:     373000 | #Constraints:     396947
1680.74/1685.24	c #Conflicts:     374000 | #Constraints:     397947
1680.74/1685.24	c #Conflicts:     375000 | #Constraints:     398947
1680.74/1685.24	c #Conflicts:     376000 | #Constraints:     399947
1680.74/1685.24	c #Conflicts:     377000 | #Constraints:     400947
1680.74/1685.24	c #Conflicts:     378000 | #Constraints:     401947
1680.74/1685.24	c #Conflicts:     379000 | #Constraints:     402947
1680.74/1685.24	c #Conflicts:     380000 | #Constraints:     403947
1680.74/1685.24	c #Conflicts:     381000 | #Constraints:     404947
1680.74/1685.24	c INPROCESSING
1680.74/1685.24	c GARBAGE COLLECT
1680.74/1685.24	c #Conflicts:     382000 | #Constraints:     393747
1680.74/1685.24	c #Conflicts:     383000 | #Constraints:     394747
1680.74/1685.24	c #Conflicts:     384000 | #Constraints:     395747
1680.74/1685.24	c #Conflicts:     385000 | #Constraints:     396747
1680.74/1685.24	c #Conflicts:     386000 | #Constraints:     397747
1680.74/1685.24	c #Conflicts:     387000 | #Constraints:     398747
1680.74/1685.24	c #Conflicts:     388000 | #Constraints:     399747
1680.74/1685.24	c #Conflicts:     389000 | #Constraints:     400747
1680.74/1685.24	c #Conflicts:     390000 | #Constraints:     401747
1680.74/1685.24	c #Conflicts:     391000 | #Constraints:     402747
1680.74/1685.24	c #Conflicts:     392000 | #Constraints:     403747
1680.74/1685.24	c #Conflicts:     393000 | #Constraints:     404747
1680.74/1685.24	c #Conflicts:     394000 | #Constraints:     405747
1680.74/1685.24	c INPROCESSING
1680.74/1685.24	c GARBAGE COLLECT
1680.74/1685.24	c #Conflicts:     395000 | #Constraints:     394351
1680.74/1685.24	c #Conflicts:     396000 | #Constraints:     395351
1680.74/1685.24	c #Conflicts:     397000 | #Constraints:     396351
1680.74/1685.24	c #Conflicts:     398000 | #Constraints:     397351
1680.74/1685.24	c #Conflicts:     399000 | #Constraints:     398351
1680.74/1685.24	c #Conflicts:     400000 | #Constraints:     399351
1680.74/1685.24	c #Conflicts:     401000 | #Constraints:     400351
1680.74/1685.24	c #Conflicts:     402000 | #Constraints:     401351
1680.74/1685.24	c #Conflicts:     403000 | #Constraints:     402351
1680.74/1685.24	c #Conflicts:     404000 | #Constraints:     403351
1680.74/1685.24	c #Conflicts:     405000 | #Constraints:     404351
1680.74/1685.24	c #Conflicts:     406000 | #Constraints:     405351
1680.74/1685.24	c #Conflicts:     407000 | #Constraints:     406351
1680.74/1685.24	c INPROCESSING
1680.74/1685.24	c GARBAGE COLLECT
1680.74/1685.24	c #Conflicts:     408000 | #Constraints:     394751
1680.74/1685.24	c #Conflicts:     409000 | #Constraints:     395751
1680.74/1685.24	c #Conflicts:     410000 | #Constraints:     396751
1680.74/1685.24	c #Conflicts:     411000 | #Constraints:     397751
1680.74/1685.24	c #Conflicts:     412000 | #Constraints:     398751
1680.74/1685.24	c #Conflicts:     413000 | #Constraints:     399751
1680.74/1685.24	c #Conflicts:     414000 | #Constraints:     400751
1680.74/1685.24	c #Conflicts:     415000 | #Constraints:     401751
1680.74/1685.24	c #Conflicts:     416000 | #Constraints:     402751
1978.92/1984.26	c #Conflicts:     417000 | #Constraints:     403751
1978.92/1984.26	c #Conflicts:     418000 | #Constraints:     404751
1978.92/1984.26	c #Conflicts:     419000 | #Constraints:     405751
1978.92/1984.26	c #Conflicts:     420000 | #Constraints:     406751
1978.92/1984.26	c INPROCESSING
1978.92/1984.26	c GARBAGE COLLECT
1978.92/1984.26	c #Conflicts:     421000 | #Constraints:     394954
1978.92/1984.26	c #Conflicts:     422000 | #Constraints:     395954
1978.92/1984.26	c #Conflicts:     423000 | #Constraints:     396954
1978.92/1984.26	c #Conflicts:     424000 | #Constraints:     397954
1978.92/1984.26	c #Conflicts:     425000 | #Constraints:     398954
1978.92/1984.26	c #Conflicts:     426000 | #Constraints:     399954
1978.92/1984.26	c #Conflicts:     427000 | #Constraints:     400954
1978.92/1984.26	c #Conflicts:     428000 | #Constraints:     401954
1978.92/1984.26	c #Conflicts:     429000 | #Constraints:     402954
1978.92/1984.26	c #Conflicts:     430000 | #Constraints:     403954
1978.92/1984.26	c #Conflicts:     431000 | #Constraints:     404954
1978.92/1984.26	c #Conflicts:     432000 | #Constraints:     405954
1978.92/1984.26	c #Conflicts:     433000 | #Constraints:     406954
1978.92/1984.26	c INPROCESSING
1978.92/1984.26	c GARBAGE COLLECT
1978.92/1984.26	c #Conflicts:     434000 | #Constraints:     394956
1978.92/1984.26	c #Conflicts:     435000 | #Constraints:     395956
1978.92/1984.26	c #Conflicts:     436000 | #Constraints:     396956
1978.92/1984.26	c #Conflicts:     437000 | #Constraints:     397956
1978.92/1984.26	c #Conflicts:     438000 | #Constraints:     398956
1978.92/1984.26	c #Conflicts:     439000 | #Constraints:     399956
1978.92/1984.26	c #Conflicts:     440000 | #Constraints:     400956
1978.92/1984.26	c #Conflicts:     441000 | #Constraints:     401956
1978.92/1984.26	c #Conflicts:     442000 | #Constraints:     402956
1978.92/1984.26	c #Conflicts:     443000 | #Constraints:     403956
1978.92/1984.26	c #Conflicts:     444000 | #Constraints:     404956
1978.92/1984.26	c #Conflicts:     445000 | #Constraints:     405956
1978.92/1984.26	c #Conflicts:     446000 | #Constraints:     406956
1978.92/1984.26	c INPROCESSING
1978.92/1984.26	c GARBAGE COLLECT
1978.92/1984.26	c #Conflicts:     447000 | #Constraints:     394756
1978.92/1984.26	c #Conflicts:     448000 | #Constraints:     395756
1978.92/1984.26	c #Conflicts:     449000 | #Constraints:     396756
1978.92/1984.26	c #Conflicts:     450000 | #Constraints:     397756
1978.92/1984.26	c #Conflicts:     451000 | #Constraints:     398756
1978.92/1984.26	c #Conflicts:     452000 | #Constraints:     399756
1978.92/1984.26	c #Conflicts:     453000 | #Constraints:     400756
1978.92/1984.26	c #Conflicts:     454000 | #Constraints:     401756
1978.92/1984.26	c #Conflicts:     455000 | #Constraints:     402756
1978.92/1984.26	c #Conflicts:     456000 | #Constraints:     403756
1978.92/1984.26	c #Conflicts:     457000 | #Constraints:     404756
1978.92/1984.26	c #Conflicts:     458000 | #Constraints:     405756
1978.92/1984.26	c #Conflicts:     459000 | #Constraints:     406756
1978.92/1984.26	c #Conflicts:     460000 | #Constraints:     407756
1978.92/1984.26	c INPROCESSING
1978.92/1984.26	c GARBAGE COLLECT
1978.92/1984.26	c #Conflicts:     461000 | #Constraints:     395357
1978.92/1984.26	c #Conflicts:     462000 | #Constraints:     396357
1978.92/1984.26	c #Conflicts:     463000 | #Constraints:     397357
1978.92/1984.26	c #Conflicts:     464000 | #Constraints:     398357
1978.92/1984.26	c #Conflicts:     465000 | #Constraints:     399357
1978.92/1984.26	c #Conflicts:     466000 | #Constraints:     400357
1978.92/1984.26	c #Conflicts:     467000 | #Constraints:     401357
1978.92/1984.26	c #Conflicts:     468000 | #Constraints:     402357
1978.92/1984.26	c #Conflicts:     469000 | #Constraints:     403357
1978.92/1984.26	c #Conflicts:     470000 | #Constraints:     404357
1978.92/1984.26	c #Conflicts:     471000 | #Constraints:     405357
1978.92/1984.26	c #Conflicts:     472000 | #Constraints:     406357
1978.92/1984.26	c #Conflicts:     473000 | #Constraints:     407357
1978.92/1984.26	c #Conflicts:     474000 | #Constraints:     408357
1978.92/1984.26	c INPROCESSING
1978.92/1984.26	c GARBAGE COLLECT
1978.92/1984.26	c #Conflicts:     475000 | #Constraints:     395755
1978.92/1984.26	c #Conflicts:     476000 | #Constraints:     396755
1978.92/1984.26	c #Conflicts:     477000 | #Constraints:     397755
1978.92/1984.26	c #Conflicts:     478000 | #Constraints:     398755
1978.92/1984.26	c #Conflicts:     479000 | #Constraints:     399755
1978.92/1984.26	c #Conflicts:     480000 | #Constraints:     400755
1978.92/1984.26	c #Conflicts:     481000 | #Constraints:     401755
1978.92/1984.26	c #Conflicts:     482000 | #Constraints:     402755
1978.92/1984.26	c #Conflicts:     483000 | #Constraints:     403755
1978.92/1984.26	c #Conflicts:     484000 | #Constraints:     404755
1978.92/1984.26	c #Conflicts:     485000 | #Constraints:     405755
1978.92/1984.26	c #Conflicts:     486000 | #Constraints:     406755
1978.92/1984.26	c #Conflicts:     487000 | #Constraints:     407755
1978.92/1984.26	c #Conflicts:     488000 | #Constraints:     408755
1978.92/1984.26	c INPROCESSING
1978.92/1984.26	c GARBAGE COLLECT
1978.92/1984.26	c #Conflicts:     489000 | #Constraints:     395956
1978.92/1984.26	c #Conflicts:     490000 | #Constraints:     396956
1978.92/1984.26	c #Conflicts:     491000 | #Constraints:     397956
2305.91/2312.01	c #Conflicts:     492000 | #Constraints:     398956
2305.91/2312.01	c #Conflicts:     493000 | #Constraints:     399956
2305.91/2312.01	c #Conflicts:     494000 | #Constraints:     400956
2305.91/2312.01	c #Conflicts:     495000 | #Constraints:     401956
2305.91/2312.01	c #Conflicts:     496000 | #Constraints:     402956
2305.91/2312.01	c #Conflicts:     497000 | #Constraints:     403956
2305.91/2312.01	c #Conflicts:     498000 | #Constraints:     404956
2305.91/2312.01	c #Conflicts:     499000 | #Constraints:     405956
2305.91/2312.01	c #Conflicts:     500000 | #Constraints:     406956
2305.91/2312.01	c #Conflicts:     501000 | #Constraints:     407956
2305.91/2312.01	c #Conflicts:     502000 | #Constraints:     408956
2305.91/2312.01	c INPROCESSING
2305.91/2312.01	c GARBAGE COLLECT
2305.91/2312.01	c #Conflicts:     503000 | #Constraints:     395956
2305.91/2312.01	c #Conflicts:     504000 | #Constraints:     396956
2305.91/2312.01	c #Conflicts:     505000 | #Constraints:     397956
2305.91/2312.01	c #Conflicts:     506000 | #Constraints:     398956
2305.91/2312.01	c #Conflicts:     507000 | #Constraints:     399956
2305.91/2312.01	c #Conflicts:     508000 | #Constraints:     400956
2305.91/2312.01	c #Conflicts:     509000 | #Constraints:     401956
2305.91/2312.01	c #Conflicts:     510000 | #Constraints:     402956
2305.91/2312.01	c #Conflicts:     511000 | #Constraints:     403956
2305.91/2312.01	c #Conflicts:     512000 | #Constraints:     404956
2305.91/2312.01	c #Conflicts:     513000 | #Constraints:     405956
2305.91/2312.01	c #Conflicts:     514000 | #Constraints:     406956
2305.91/2312.01	c #Conflicts:     515000 | #Constraints:     407956
2305.91/2312.01	c #Conflicts:     516000 | #Constraints:     408956
2305.91/2312.01	c INPROCESSING
2305.91/2312.01	c GARBAGE COLLECT
2305.91/2312.01	c #Conflicts:     517000 | #Constraints:     395756
2305.91/2312.01	c #Conflicts:     518000 | #Constraints:     396756
2305.91/2312.01	c #Conflicts:     519000 | #Constraints:     397756
2305.91/2312.01	c #Conflicts:     520000 | #Constraints:     398756
2305.91/2312.01	c #Conflicts:     521000 | #Constraints:     399756
2305.91/2312.01	c #Conflicts:     522000 | #Constraints:     400756
2305.91/2312.01	c #Conflicts:     523000 | #Constraints:     401756
2305.91/2312.01	c #Conflicts:     524000 | #Constraints:     402756
2305.91/2312.01	c #Conflicts:     525000 | #Constraints:     403756
2305.91/2312.01	c #Conflicts:     526000 | #Constraints:     404756
2305.91/2312.01	c #Conflicts:     527000 | #Constraints:     405756
2305.91/2312.01	c #Conflicts:     528000 | #Constraints:     406756
2305.91/2312.01	c #Conflicts:     529000 | #Constraints:     407756
2305.91/2312.01	c #Conflicts:     530000 | #Constraints:     408756
2305.91/2312.01	c #Conflicts:     531000 | #Constraints:     409756
2305.91/2312.01	c INPROCESSING
2305.91/2312.01	c GARBAGE COLLECT
2305.91/2312.01	c #Conflicts:     532000 | #Constraints:     396351
2305.91/2312.01	c #Conflicts:     533000 | #Constraints:     397351
2305.91/2312.01	c #Conflicts:     534000 | #Constraints:     398351
2305.91/2312.01	c #Conflicts:     535000 | #Constraints:     399351
2305.91/2312.01	c #Conflicts:     536000 | #Constraints:     400351
2305.91/2312.01	c #Conflicts:     537000 | #Constraints:     401351
2305.91/2312.01	c #Conflicts:     538000 | #Constraints:     402351
2305.91/2312.01	c #Conflicts:     539000 | #Constraints:     403351
2305.91/2312.01	c #Conflicts:     540000 | #Constraints:     404351
2305.91/2312.01	c #Conflicts:     541000 | #Constraints:     405351
2305.91/2312.01	c #Conflicts:     542000 | #Constraints:     406351
2305.91/2312.01	c #Conflicts:     543000 | #Constraints:     407351
2305.91/2312.01	c #Conflicts:     544000 | #Constraints:     408351
2305.91/2312.01	c #Conflicts:     545000 | #Constraints:     409351
2305.91/2312.01	c #Conflicts:     546000 | #Constraints:     410351
2305.91/2312.01	c INPROCESSING
2305.91/2312.01	c GARBAGE COLLECT
2305.91/2312.01	c #Conflicts:     547000 | #Constraints:     396751
2305.91/2312.01	c #Conflicts:     548000 | #Constraints:     397751
2305.91/2312.01	c #Conflicts:     549000 | #Constraints:     398751
2305.91/2312.01	c #Conflicts:     550000 | #Constraints:     399751
2305.91/2312.01	c #Conflicts:     551000 | #Constraints:     400751
2305.91/2312.01	c #Conflicts:     552000 | #Constraints:     401751
2305.91/2312.01	c #Conflicts:     553000 | #Constraints:     402751
2305.91/2312.01	c #Conflicts:     554000 | #Constraints:     403751
2305.91/2312.01	c #Conflicts:     555000 | #Constraints:     404751
2305.91/2312.01	c #Conflicts:     556000 | #Constraints:     405751
2305.91/2312.01	c #Conflicts:     557000 | #Constraints:     406751
2305.91/2312.01	c #Conflicts:     558000 | #Constraints:     407751
2305.91/2312.01	c #Conflicts:     559000 | #Constraints:     408751
2305.91/2312.01	c #Conflicts:     560000 | #Constraints:     409751
2305.91/2312.01	c #Conflicts:     561000 | #Constraints:     410751
2305.91/2312.01	c INPROCESSING
2305.91/2312.01	c GARBAGE COLLECT
2305.91/2312.01	c #Conflicts:     562000 | #Constraints:     396948
2305.91/2312.01	c #Conflicts:     563000 | #Constraints:     397948
2305.91/2312.01	c #Conflicts:     564000 | #Constraints:     398948
2305.91/2312.01	c #Conflicts:     565000 | #Constraints:     399948
2305.91/2312.01	c #Conflicts:     566000 | #Constraints:     400948
2633.70/2640.63	c #Conflicts:     567000 | #Constraints:     401948
2633.70/2640.63	c #Conflicts:     568000 | #Constraints:     402948
2633.70/2640.63	c #Conflicts:     569000 | #Constraints:     403948
2633.70/2640.63	c #Conflicts:     570000 | #Constraints:     404948
2633.70/2640.63	c #Conflicts:     571000 | #Constraints:     405948
2633.70/2640.63	c #Conflicts:     572000 | #Constraints:     406948
2633.70/2640.63	c #Conflicts:     573000 | #Constraints:     407948
2633.70/2640.63	c #Conflicts:     574000 | #Constraints:     408948
2633.70/2640.63	c #Conflicts:     575000 | #Constraints:     409948
2633.70/2640.63	c #Conflicts:     576000 | #Constraints:     410948
2633.70/2640.63	c INPROCESSING
2633.70/2640.63	c GARBAGE COLLECT
2633.70/2640.63	c #Conflicts:     577000 | #Constraints:     396948
2633.70/2640.63	c #Conflicts:     578000 | #Constraints:     397948
2633.70/2640.63	c #Conflicts:     579000 | #Constraints:     398948
2633.70/2640.63	c #Conflicts:     580000 | #Constraints:     399948
2633.70/2640.63	c #Conflicts:     581000 | #Constraints:     400948
2633.70/2640.63	c #Conflicts:     582000 | #Constraints:     401948
2633.70/2640.63	c #Conflicts:     583000 | #Constraints:     402948
2633.70/2640.63	c #Conflicts:     584000 | #Constraints:     403948
2633.70/2640.63	c #Conflicts:     585000 | #Constraints:     404948
2633.70/2640.63	c #Conflicts:     586000 | #Constraints:     405948
2633.70/2640.63	c #Conflicts:     587000 | #Constraints:     406948
2633.70/2640.63	c #Conflicts:     588000 | #Constraints:     407948
2633.70/2640.63	c #Conflicts:     589000 | #Constraints:     408948
2633.70/2640.63	c #Conflicts:     590000 | #Constraints:     409948
2633.70/2640.63	c #Conflicts:     591000 | #Constraints:     410948
2633.70/2640.63	c INPROCESSING
2633.70/2640.63	c GARBAGE COLLECT
2633.70/2640.63	c #Conflicts:     592000 | #Constraints:     396748
2633.70/2640.63	c #Conflicts:     593000 | #Constraints:     397748
2633.70/2640.63	c #Conflicts:     594000 | #Constraints:     398748
2633.70/2640.63	c #Conflicts:     595000 | #Constraints:     399748
2633.70/2640.63	c #Conflicts:     596000 | #Constraints:     400748
2633.70/2640.63	c #Conflicts:     597000 | #Constraints:     401748
2633.70/2640.63	c #Conflicts:     598000 | #Constraints:     402748
2633.70/2640.63	c #Conflicts:     599000 | #Constraints:     403748
2633.70/2640.63	c #Conflicts:     600000 | #Constraints:     404748
2633.70/2640.63	c #Conflicts:     601000 | #Constraints:     405748
2633.70/2640.63	c #Conflicts:     602000 | #Constraints:     406748
2633.70/2640.63	c #Conflicts:     603000 | #Constraints:     407748
2633.70/2640.63	c #Conflicts:     604000 | #Constraints:     408748
2633.70/2640.63	c #Conflicts:     605000 | #Constraints:     409748
2633.70/2640.63	c #Conflicts:     606000 | #Constraints:     410748
2633.70/2640.63	c #Conflicts:     607000 | #Constraints:     411748
2633.70/2640.63	c INPROCESSING
2633.70/2640.63	c GARBAGE COLLECT
2633.70/2640.63	c #Conflicts:     608000 | #Constraints:     397351
2633.70/2640.63	c #Conflicts:     609000 | #Constraints:     398351
2633.70/2640.63	c #Conflicts:     610000 | #Constraints:     399351
2633.70/2640.63	c #Conflicts:     611000 | #Constraints:     400351
2633.70/2640.63	c #Conflicts:     612000 | #Constraints:     401351
2633.70/2640.63	c #Conflicts:     613000 | #Constraints:     402351
2633.70/2640.63	c #Conflicts:     614000 | #Constraints:     403351
2633.70/2640.63	c #Conflicts:     615000 | #Constraints:     404351
2633.70/2640.63	c #Conflicts:     616000 | #Constraints:     405351
2633.70/2640.63	c #Conflicts:     617000 | #Constraints:     406351
2633.70/2640.63	c #Conflicts:     618000 | #Constraints:     407351
2633.70/2640.63	c #Conflicts:     619000 | #Constraints:     408351
2633.70/2640.63	c #Conflicts:     620000 | #Constraints:     409351
2633.70/2640.63	c #Conflicts:     621000 | #Constraints:     410351
2633.70/2640.63	c #Conflicts:     622000 | #Constraints:     411351
2633.70/2640.63	c #Conflicts:     623000 | #Constraints:     412351
2633.70/2640.63	c INPROCESSING
2633.70/2640.63	c GARBAGE COLLECT
2633.70/2640.63	c #Conflicts:     624000 | #Constraints:     397753
2633.70/2640.63	c #Conflicts:     625000 | #Constraints:     398753
2633.70/2640.63	c #Conflicts:     626000 | #Constraints:     399753
2633.70/2640.63	c #Conflicts:     627000 | #Constraints:     400753
2633.70/2640.63	c #Conflicts:     628000 | #Constraints:     401753
2633.70/2640.63	c #Conflicts:     629000 | #Constraints:     402753
2633.70/2640.63	c #Conflicts:     630000 | #Constraints:     403753
2633.70/2640.63	c #Conflicts:     631000 | #Constraints:     404753
2633.70/2640.63	c #Conflicts:     632000 | #Constraints:     405753
2633.70/2640.63	c #Conflicts:     633000 | #Constraints:     406753
2633.70/2640.63	c #Conflicts:     634000 | #Constraints:     407753
2633.70/2640.63	c #Conflicts:     635000 | #Constraints:     408753
2633.70/2640.63	c #Conflicts:     636000 | #Constraints:     409753
2633.70/2640.63	c #Conflicts:     637000 | #Constraints:     410753
2633.70/2640.63	c #Conflicts:     638000 | #Constraints:     411753
2633.70/2640.63	c #Conflicts:     639000 | #Constraints:     412753
2633.70/2640.63	c INPROCESSING
2633.70/2640.63	c GARBAGE COLLECT
2633.70/2640.63	c #Conflicts:     640000 | #Constraints:     397950
2633.70/2640.63	c #Conflicts:     641000 | #Constraints:     398950
2633.70/2640.63	c #Conflicts:     642000 | #Constraints:     399950
2910.39/2917.94	c #Conflicts:     643000 | #Constraints:     400950
2910.39/2917.94	c #Conflicts:     644000 | #Constraints:     401950
2910.39/2917.94	c #Conflicts:     645000 | #Constraints:     402950
2910.39/2917.94	c #Conflicts:     646000 | #Constraints:     403950
2910.39/2917.94	c #Conflicts:     647000 | #Constraints:     404950
2910.39/2917.94	c #Conflicts:     648000 | #Constraints:     405950
2910.39/2917.94	c #Conflicts:     649000 | #Constraints:     406950
2910.39/2917.94	c #Conflicts:     650000 | #Constraints:     407950
2910.39/2917.94	c #Conflicts:     651000 | #Constraints:     408950
2910.39/2917.94	c #Conflicts:     652000 | #Constraints:     409950
2910.39/2917.94	c #Conflicts:     653000 | #Constraints:     410950
2910.39/2917.94	c #Conflicts:     654000 | #Constraints:     411950
2910.39/2917.94	c #Conflicts:     655000 | #Constraints:     412950
2910.39/2917.94	c INPROCESSING
2910.39/2917.94	c GARBAGE COLLECT
2910.39/2917.94	c #Conflicts:     656000 | #Constraints:     397954
2910.39/2917.94	c #Conflicts:     657000 | #Constraints:     398954
2910.39/2917.94	c #Conflicts:     658000 | #Constraints:     399954
2910.39/2917.94	c #Conflicts:     659000 | #Constraints:     400954
2910.39/2917.94	c #Conflicts:     660000 | #Constraints:     401954
2910.39/2917.94	c #Conflicts:     661000 | #Constraints:     402954
2910.39/2917.94	c #Conflicts:     662000 | #Constraints:     403954
2910.39/2917.94	c #Conflicts:     663000 | #Constraints:     404954
2910.39/2917.94	c #Conflicts:     664000 | #Constraints:     405954
2910.39/2917.94	c #Conflicts:     665000 | #Constraints:     406954
2910.39/2917.94	c #Conflicts:     666000 | #Constraints:     407954
2910.39/2917.94	c #Conflicts:     667000 | #Constraints:     408954
2910.39/2917.94	c #Conflicts:     668000 | #Constraints:     409954
2910.39/2917.94	c #Conflicts:     669000 | #Constraints:     410954
2910.39/2917.94	c #Conflicts:     670000 | #Constraints:     411954
2910.39/2917.94	c #Conflicts:     671000 | #Constraints:     412954
2910.39/2917.94	c INPROCESSING
2910.39/2917.94	c GARBAGE COLLECT
2910.39/2917.94	c #Conflicts:     672000 | #Constraints:     397751
2910.39/2917.94	c #Conflicts:     673000 | #Constraints:     398751
2910.39/2917.94	c #Conflicts:     674000 | #Constraints:     399751
2910.39/2917.94	c #Conflicts:     675000 | #Constraints:     400751
2910.39/2917.94	c #Conflicts:     676000 | #Constraints:     401751
2910.39/2917.94	c #Conflicts:     677000 | #Constraints:     402751
2910.39/2917.94	c #Conflicts:     678000 | #Constraints:     403751
2910.39/2917.94	c #Conflicts:     679000 | #Constraints:     404751
2910.39/2917.94	c #Conflicts:     680000 | #Constraints:     405751
2910.39/2917.94	c #Conflicts:     681000 | #Constraints:     406751
2910.39/2917.94	c #Conflicts:     682000 | #Constraints:     407751
2910.39/2917.94	c #Conflicts:     683000 | #Constraints:     408751
2910.39/2917.94	c #Conflicts:     684000 | #Constraints:     409751
2910.39/2917.94	c #Conflicts:     685000 | #Constraints:     410751
2910.39/2917.94	c #Conflicts:     686000 | #Constraints:     411751
2910.39/2917.94	c #Conflicts:     687000 | #Constraints:     412751
2910.39/2917.94	c #Conflicts:     688000 | #Constraints:     413751
2910.39/2917.94	c INPROCESSING
2910.39/2917.94	c GARBAGE COLLECT
2910.39/2917.94	c #Conflicts:     689000 | #Constraints:     398352
2910.39/2917.94	c #Conflicts:     690000 | #Constraints:     399352
2910.39/2917.94	c #Conflicts:     691000 | #Constraints:     400352
2910.39/2917.94	c #Conflicts:     692000 | #Constraints:     401352
2910.39/2917.94	c #Conflicts:     693000 | #Constraints:     402352
2910.39/2917.94	c #Conflicts:     694000 | #Constraints:     403352
2910.39/2917.94	c #Conflicts:     695000 | #Constraints:     404352
2910.39/2917.94	c #Conflicts:     696000 | #Constraints:     405352
2910.39/2917.94	c #Conflicts:     697000 | #Constraints:     406352
2910.39/2917.94	c #Conflicts:     698000 | #Constraints:     407352
2910.39/2917.94	c #Conflicts:     699000 | #Constraints:     408352
2910.39/2917.94	c #Conflicts:     700000 | #Constraints:     409352
2910.39/2917.94	c #Conflicts:     701000 | #Constraints:     410352
2910.39/2917.94	c #Conflicts:     702000 | #Constraints:     411352
2910.39/2917.94	c #Conflicts:     703000 | #Constraints:     412352
2910.39/2917.94	c #Conflicts:     704000 | #Constraints:     413352
2910.39/2917.94	c #Conflicts:     705000 | #Constraints:     414352
2910.39/2917.94	c INPROCESSING
2910.39/2917.94	c GARBAGE COLLECT
2910.39/2917.94	c #Conflicts:     706000 | #Constraints:     398752
2910.39/2917.94	c #Conflicts:     707000 | #Constraints:     399752
2910.39/2917.94	c #Conflicts:     708000 | #Constraints:     400752
2910.39/2917.94	c #Conflicts:     709000 | #Constraints:     401752
2910.39/2917.94	c #Conflicts:     710000 | #Constraints:     402752
2910.39/2917.94	c #Conflicts:     711000 | #Constraints:     403752
2910.39/2917.94	c #Conflicts:     712000 | #Constraints:     404752
2910.39/2917.94	c #Conflicts:     713000 | #Constraints:     405752
2910.39/2917.94	c #Conflicts:     714000 | #Constraints:     406752
2910.39/2917.94	c #Conflicts:     715000 | #Constraints:     407752
2910.39/2917.94	c #Conflicts:     716000 | #Constraints:     408752
2910.39/2917.94	c #Conflicts:     717000 | #Constraints:     409752
2910.39/2917.94	c #Conflicts:     718000 | #Constraints:     410752
3219.92/3228.18	c #Conflicts:     719000 | #Constraints:     411752
3219.92/3228.18	c #Conflicts:     720000 | #Constraints:     412752
3219.92/3228.18	c #Conflicts:     721000 | #Constraints:     413752
3219.92/3228.18	c #Conflicts:     722000 | #Constraints:     414752
3219.92/3228.18	c INPROCESSING
3219.92/3228.18	c GARBAGE COLLECT
3219.92/3228.18	c #Conflicts:     723000 | #Constraints:     398954
3219.92/3228.18	c #Conflicts:     724000 | #Constraints:     399954
3219.92/3228.18	c #Conflicts:     725000 | #Constraints:     400954
3219.92/3228.18	c #Conflicts:     726000 | #Constraints:     401954
3219.92/3228.18	c #Conflicts:     727000 | #Constraints:     402954
3219.92/3228.18	c #Conflicts:     728000 | #Constraints:     403954
3219.92/3228.18	c #Conflicts:     729000 | #Constraints:     404954
3219.92/3228.18	c #Conflicts:     730000 | #Constraints:     405954
3219.92/3228.18	c #Conflicts:     731000 | #Constraints:     406954
3219.92/3228.18	c #Conflicts:     732000 | #Constraints:     407954
3219.92/3228.18	c #Conflicts:     733000 | #Constraints:     408954
3219.92/3228.18	c #Conflicts:     734000 | #Constraints:     409954
3219.92/3228.18	c #Conflicts:     735000 | #Constraints:     410954
3219.92/3228.18	c #Conflicts:     736000 | #Constraints:     411954
3219.92/3228.18	c #Conflicts:     737000 | #Constraints:     412954
3219.92/3228.18	c #Conflicts:     738000 | #Constraints:     413954
3219.92/3228.18	c #Conflicts:     739000 | #Constraints:     414954
3219.92/3228.18	c INPROCESSING
3219.92/3228.18	c GARBAGE COLLECT
3219.92/3228.18	c #Conflicts:     740000 | #Constraints:     398954
3219.92/3228.18	c #Conflicts:     741000 | #Constraints:     399954
3219.92/3228.18	c #Conflicts:     742000 | #Constraints:     400954
3219.92/3228.18	c #Conflicts:     743000 | #Constraints:     401954
3219.92/3228.18	c #Conflicts:     744000 | #Constraints:     402954
3219.92/3228.18	c #Conflicts:     745000 | #Constraints:     403954
3219.92/3228.18	c #Conflicts:     746000 | #Constraints:     404954
3219.92/3228.18	c #Conflicts:     747000 | #Constraints:     405954
3219.92/3228.18	c #Conflicts:     748000 | #Constraints:     406954
3219.92/3228.18	c #Conflicts:     749000 | #Constraints:     407954
3219.92/3228.18	c #Conflicts:     750000 | #Constraints:     408954
3219.92/3228.18	c #Conflicts:     751000 | #Constraints:     409954
3219.92/3228.18	c #Conflicts:     752000 | #Constraints:     410954
3219.92/3228.18	c #Conflicts:     753000 | #Constraints:     411954
3219.92/3228.18	c #Conflicts:     754000 | #Constraints:     412954
3219.92/3228.18	c #Conflicts:     755000 | #Constraints:     413954
3219.92/3228.18	c #Conflicts:     756000 | #Constraints:     414954
3219.92/3228.18	c INPROCESSING
3219.92/3228.18	c GARBAGE COLLECT
3219.92/3228.18	c #Conflicts:     757000 | #Constraints:     398755
3219.92/3228.18	c #Conflicts:     758000 | #Constraints:     399755
3219.92/3228.18	c #Conflicts:     759000 | #Constraints:     400755
3219.92/3228.18	c #Conflicts:     760000 | #Constraints:     401755
3219.92/3228.18	c #Conflicts:     761000 | #Constraints:     402755
3219.92/3228.18	c #Conflicts:     762000 | #Constraints:     403755
3219.92/3228.18	c #Conflicts:     763000 | #Constraints:     404755
3219.92/3228.18	c #Conflicts:     764000 | #Constraints:     405755
3219.92/3228.18	c #Conflicts:     765000 | #Constraints:     406755
3219.92/3228.18	c #Conflicts:     766000 | #Constraints:     407755
3219.92/3228.18	c #Conflicts:     767000 | #Constraints:     408755
3219.92/3228.18	c #Conflicts:     768000 | #Constraints:     409755
3219.92/3228.18	c #Conflicts:     769000 | #Constraints:     410755
3219.92/3228.18	c #Conflicts:     770000 | #Constraints:     411755
3219.92/3228.18	c #Conflicts:     771000 | #Constraints:     412755
3219.92/3228.18	c #Conflicts:     772000 | #Constraints:     413755
3219.92/3228.18	c #Conflicts:     773000 | #Constraints:     414755
3219.92/3228.18	c #Conflicts:     774000 | #Constraints:     415755
3219.92/3228.18	c INPROCESSING
3219.92/3228.18	c GARBAGE COLLECT
3219.92/3228.18	c #Conflicts:     775000 | #Constraints:     399350
3219.92/3228.18	c #Conflicts:     776000 | #Constraints:     400350
3219.92/3228.18	c #Conflicts:     777000 | #Constraints:     401350
3219.92/3228.18	c #Conflicts:     778000 | #Constraints:     402350
3219.92/3228.18	c #Conflicts:     779000 | #Constraints:     403350
3219.92/3228.18	c #Conflicts:     780000 | #Constraints:     404350
3219.92/3228.18	c #Conflicts:     781000 | #Constraints:     405350
3219.92/3228.18	c #Conflicts:     782000 | #Constraints:     406350
3219.92/3228.18	c #Conflicts:     783000 | #Constraints:     407350
3219.92/3228.18	c #Conflicts:     784000 | #Constraints:     408350
3219.92/3228.18	c #Conflicts:     785000 | #Constraints:     409350
3219.92/3228.18	c #Conflicts:     786000 | #Constraints:     410350
3219.92/3228.18	c #Conflicts:     787000 | #Constraints:     411350
3219.92/3228.18	c #Conflicts:     788000 | #Constraints:     412350
3219.92/3228.18	c #Conflicts:     789000 | #Constraints:     413350
3219.92/3228.18	c #Conflicts:     790000 | #Constraints:     414350
3219.92/3228.18	c #Conflicts:     791000 | #Constraints:     415350
3219.92/3228.18	c #Conflicts:     792000 | #Constraints:     416350
3219.92/3228.18	c INPROCESSING
3219.92/3228.18	c GARBAGE COLLECT
3219.92/3228.18	c #Conflicts:     793000 | #Constraints:     399746
3219.92/3228.18	c #Conflicts:     794000 | #Constraints:     400746
3544.09/3553.05	c #Conflicts:     795000 | #Constraints:     401746
3544.09/3553.05	c #Conflicts:     796000 | #Constraints:     402746
3544.09/3553.05	c #Conflicts:     797000 | #Constraints:     403746
3544.09/3553.05	c #Conflicts:     798000 | #Constraints:     404746
3544.09/3553.05	c #Conflicts:     799000 | #Constraints:     405746
3544.09/3553.05	c #Conflicts:     800000 | #Constraints:     406746
3544.09/3553.05	c #Conflicts:     801000 | #Constraints:     407746
3544.09/3553.05	c #Conflicts:     802000 | #Constraints:     408746
3544.09/3553.05	c #Conflicts:     803000 | #Constraints:     409746
3544.09/3553.05	c #Conflicts:     804000 | #Constraints:     410746
3544.09/3553.05	c #Conflicts:     805000 | #Constraints:     411746
3544.09/3553.05	c #Conflicts:     806000 | #Constraints:     412746
3544.09/3553.05	c #Conflicts:     807000 | #Constraints:     413746
3544.09/3553.05	c #Conflicts:     808000 | #Constraints:     414746
3544.09/3553.05	c #Conflicts:     809000 | #Constraints:     415746
3544.09/3553.05	c #Conflicts:     810000 | #Constraints:     416746
3544.09/3553.05	c INPROCESSING
3544.09/3553.05	c GARBAGE COLLECT
3544.09/3553.05	c #Conflicts:     811000 | #Constraints:     399945
3544.09/3553.05	c #Conflicts:     812000 | #Constraints:     400945
3544.09/3553.05	c #Conflicts:     813000 | #Constraints:     401945
3544.09/3553.05	c #Conflicts:     814000 | #Constraints:     402945
3544.09/3553.05	c #Conflicts:     815000 | #Constraints:     403945
3544.09/3553.05	c #Conflicts:     816000 | #Constraints:     404945
3544.09/3553.05	c #Conflicts:     817000 | #Constraints:     405945
3544.09/3553.05	c #Conflicts:     818000 | #Constraints:     406945
3544.09/3553.05	c #Conflicts:     819000 | #Constraints:     407945
3544.09/3553.05	c #Conflicts:     820000 | #Constraints:     408945
3544.09/3553.05	c #Conflicts:     821000 | #Constraints:     409945
3544.09/3553.05	c #Conflicts:     822000 | #Constraints:     410945
3544.09/3553.05	c #Conflicts:     823000 | #Constraints:     411945
3544.09/3553.05	c #Conflicts:     824000 | #Constraints:     412945
3544.09/3553.05	c #Conflicts:     825000 | #Constraints:     413945
3544.09/3553.05	c #Conflicts:     826000 | #Constraints:     414945
3544.09/3553.05	c #Conflicts:     827000 | #Constraints:     415945
3544.09/3553.05	c #Conflicts:     828000 | #Constraints:     416945
3544.09/3553.05	c INPROCESSING
3544.09/3553.05	c GARBAGE COLLECT
3544.09/3553.05	c #Conflicts:     829000 | #Constraints:     399948
3544.09/3553.05	c #Conflicts:     830000 | #Constraints:     400948
3544.09/3553.05	c #Conflicts:     831000 | #Constraints:     401948
3544.09/3553.05	c #Conflicts:     832000 | #Constraints:     402948
3544.09/3553.05	c #Conflicts:     833000 | #Constraints:     403948
3544.09/3553.05	c #Conflicts:     834000 | #Constraints:     404948
3544.09/3553.05	c #Conflicts:     835000 | #Constraints:     405948
3544.09/3553.05	c #Conflicts:     836000 | #Constraints:     406948
3544.09/3553.05	c #Conflicts:     837000 | #Constraints:     407948
3544.09/3553.05	c #Conflicts:     838000 | #Constraints:     408948
3544.09/3553.05	c #Conflicts:     839000 | #Constraints:     409948
3544.09/3553.05	c #Conflicts:     840000 | #Constraints:     410948
3544.09/3553.05	c #Conflicts:     841000 | #Constraints:     411948
3544.09/3553.05	c #Conflicts:     842000 | #Constraints:     412948
3544.09/3553.05	c #Conflicts:     843000 | #Constraints:     413948
3544.09/3553.05	c #Conflicts:     844000 | #Constraints:     414948
3544.09/3553.05	c #Conflicts:     845000 | #Constraints:     415948
3544.09/3553.05	c #Conflicts:     846000 | #Constraints:     416948
3544.09/3553.05	c INPROCESSING
3544.09/3553.05	c GARBAGE COLLECT
3544.09/3553.05	c #Conflicts:     847000 | #Constraints:     399745
3544.09/3553.05	c #Conflicts:     848000 | #Constraints:     400745
3544.09/3553.05	c #Conflicts:     849000 | #Constraints:     401745
3544.09/3553.05	c #Conflicts:     850000 | #Constraints:     402745
3544.09/3553.05	c #Conflicts:     851000 | #Constraints:     403745
3544.09/3553.05	c #Conflicts:     852000 | #Constraints:     404745
3544.09/3553.05	c #Conflicts:     853000 | #Constraints:     405745
3544.09/3553.05	c #Conflicts:     854000 | #Constraints:     406745
3544.09/3553.05	c #Conflicts:     855000 | #Constraints:     407745
3544.09/3553.05	c #Conflicts:     856000 | #Constraints:     408745
3544.09/3553.05	c #Conflicts:     857000 | #Constraints:     409745
3544.09/3553.05	c #Conflicts:     858000 | #Constraints:     410745
3544.09/3553.05	c #Conflicts:     859000 | #Constraints:     411745
3544.09/3553.05	c #Conflicts:     860000 | #Constraints:     412745
3544.09/3553.05	c #Conflicts:     861000 | #Constraints:     413745
3544.09/3553.05	c #Conflicts:     862000 | #Constraints:     414745
3544.09/3553.05	c #Conflicts:     863000 | #Constraints:     415745
3544.09/3553.05	c #Conflicts:     864000 | #Constraints:     416745
3544.09/3553.05	c #Conflicts:     865000 | #Constraints:     417745
3544.09/3553.05	c INPROCESSING
3544.09/3553.05	c GARBAGE COLLECT
3544.09/3553.05	c #Conflicts:     866000 | #Constraints:     400348
3544.09/3553.05	c #Conflicts:     867000 | #Constraints:     401348
3544.09/3553.05	c #Conflicts:     868000 | #Constraints:     402348
3544.09/3553.05	c #Conflicts:     869000 | #Constraints:     403348
3544.09/3553.05	c #Conflicts:     870000 | #Constraints:     404348
3600.05/3609.10	c #Conflicts:     871000 | #Constraints:     405348
3600.05/3609.10	c #Conflicts:     872000 | #Constraints:     406348
3600.05/3609.10	c #Conflicts:     873000 | #Constraints:     407348
3600.05/3609.10	c #Conflicts:     874000 | #Constraints:     408348
3600.05/3609.10	c #Conflicts:     875000 | #Constraints:     409348
3600.05/3609.10	c #Conflicts:     876000 | #Constraints:     410348
3600.05/3609.10	c #Conflicts:     877000 | #Constraints:     411348
3600.05/3609.10	c #Conflicts:     878000 | #Constraints:     412348
3600.05/3609.10	c #Conflicts:     879000 | #Constraints:     413348
3600.05/3609.10	c #Conflicts:     880000 | #Constraints:     414348
3600.05/3609.10	c #Conflicts:     881000 | #Constraints:     415348
3600.05/3609.10	c #Conflicts:     882000 | #Constraints:     416348
3600.05/3609.10	c Program interrupted by user.
3600.05/3609.10	c cpu time 3594.83 s
3600.05/3609.10	c deterministic time 120065121349 1.20e+11
3600.05/3609.10	c optimization time 75.4961 s
3600.05/3609.10	c total solve time 3218.41 s
3600.05/3609.10	c core-guided solve time 3218.41 s
3600.05/3609.10	c propagation time 1082.52 s
3600.05/3609.10	c conflict analysis time 2135.46 s
3600.05/3609.10	c propagations 193268070
3600.05/3609.10	c resolve steps 68326465
3600.05/3609.10	c decisions 1072549
3600.05/3609.10	c conflicts 882183
3600.05/3609.10	c restarts 1914
3600.05/3609.10	c inprocessing phases 84
3600.05/3609.10	c input clauses 381137
3600.05/3609.10	c input cardinalities 862
3600.05/3609.10	c input general constraints 0
3600.05/3609.10	c input average constraint length 9.64
3600.05/3609.10	c input average constraint degree 1.98
3600.05/3609.10	c learned clauses 873556
3600.05/3609.10	c learned cardinalities 2760
3600.05/3609.10	c learned general constraints 5923
3600.05/3609.10	c learned average constraint length 1290.53
3600.05/3609.10	c learned average constraint degree 10.66
3600.05/3609.10	c watched constraints 2365
3600.05/3609.10	c counting constraints 3558
3600.05/3609.10	c gcd simplifications 320871
3600.05/3609.10	c detected cardinalities 0
3600.05/3609.10	c weakened non-implied lits 1130552614
3600.05/3609.10	c weakened non-implying lits 2374552
3600.05/3609.10	c original variables 3486
3600.05/3609.10	c clausal propagations 175547481
3600.05/3609.10	c cardinality propagations 1081138
3600.05/3609.10	c watched propagations 100
3600.05/3609.10	c counting propagations 15267589
3600.05/3609.10	c watch lookups 30698228580
3600.05/3609.10	c watch backjump lookups 24252550477
3600.05/3609.10	c watch checks 54156530499
3600.05/3609.10	c propagation checks 6479205958
3600.05/3609.10	c constraint additions 4089045395
3600.05/3609.10	c trail pops 195219820
3600.05/3609.10	c formula constraints 381136
3600.05/3609.10	c learned constraints 882239
3600.05/3609.10	c bound constraints 863
3600.05/3609.10	c core-guided constraints 0
3600.05/3609.10	c encountered formula constraints 67282081
3600.05/3609.10	c encountered learned constraints 1912544
3600.05/3609.10	c encountered bound constraints 14023
3600.05/3609.10	c encountered core-guided constraints 0
3600.05/3609.10	c LP total time 0 s
3600.05/3609.10	c LP solve time 0 s
3600.05/3609.10	c LP constraints added 0
3600.05/3609.10	c LP constraints removed 0
3600.05/3609.10	c LP pivots internal 0
3600.05/3609.10	c LP pivots root 0
3600.05/3609.10	c LP calls 0
3600.05/3609.10	c LP optimalities 0
3600.05/3609.10	c LP no pivot count 0
3600.05/3609.10	c LP infeasibilities 0
3600.05/3609.10	c LP valid Farkas constraints 0
3600.05/3609.10	c LP learned Farkas constraints 0
3600.05/3609.10	c LP basis resets 0
3600.05/3609.10	c LP cycling count 0
3600.05/3609.10	c LP singular count 0
3600.05/3609.10	c LP no primal count 0
3600.05/3609.10	c LP no farkas count 0
3600.05/3609.10	c LP other issue count 0
3600.05/3609.10	c LP Gomory cuts 0
3600.05/3609.10	c LP learned cuts 0
3600.05/3609.10	c LP deleted cuts 0
3600.05/3609.10	c LP encountered Gomory constraints 0
3600.05/3609.10	c LP encountered Farkas constraints 0
3600.05/3609.10	c LP encountered learned Farkas constraints 0
3600.05/3609.10	c CG auxiliary variables introduced 0
3600.05/3609.10	c CG solutions found 0
3600.05/3609.10	c CG cores constructed 862
3600.05/3609.10	c CG core cardinality constraints returned 0
3600.05/3609.10	c CG unit cores 0
3600.05/3609.10	c CG single cores 862
3600.05/3609.10	c CG blocks removed during cardinality reduction 0
3600.05/3609.10	c CG first core best 0
3600.05/3609.10	c CG decision core best 0
3600.05/3609.10	c CG core reduction tie 0
3600.05/3609.10	c CG core degree average 1.00
3600.05/3609.10	c CG core slack average 2.17
3600.05/3609.10	c CG exhausted 0
3600.05/3609.10	c CG exhaust time 0 s
3600.05/3609.10	c CG trimmed 0
3600.05/3609.10	c CG trim time 0.015493 s
3600.05/3609.10	c CG minimized 0
3600.05/3609.10	c CG minimize time 0 s
3600.05/3609.10	c CG am1 prop time 0.015969 s
3600.05/3609.10	c CG # am1s reformulated 0
3600.05/3609.10	c CG lower bound derived from am1s 0
3600.05/3609.10	c CG # clausal cores 862
3600.05/3609.10	c CG # cardinality cores 0
3600.05/3609.10	c CG # pb cores 0
3600.05/3609.10	c CG # pb reforms 0
3600.05/3609.10	c CG # cores discarded because of pb reform 0
3600.05/3609.10	d LOWERBOUND -2078
3600.05/3609.10	d NCORES 862
3600.05/3609.10	d NPBCORES 0
3600.05/3609.10	d NPBREFORM 0
3600.05/3609.10	d NTRIMMED 0
3600.05/3609.10	d NEXHAUSTED 0
3600.05/3609.10	d NAM1S 0
3600.05/3609.10	d AM1LB 0
3600.05/3609.10	c [Papilo Statistics]
3600.05/3609.10	c prepro time 0.380622s
3600.05/3609.10	c # tsx applied 0
3600.05/3609.10	c # tsx conflicts 0
3600.05/3609.10	c # bound changes 0
3600.05/3609.10	c # side changes 0
3600.05/3609.10	c # coef changes 0
3600.05/3609.10	c # rounds 1
3600.05/3609.10	c # deted vars 0
3600.05/3609.10	c # deted constrs 0
3600.05/3609.10	c # consecutive rounds of only bound changes 0
3600.05/3609.10	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (50167 MiB free)
  memory of node 1: 64507 MiB (62630 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529303-1752264061/watcher-4529303-1752264061 -o /tmp/evaluation-result-4529303-1752264061/solver-4529303-1752264061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133552 --watchdog 3760 mixed-bag HOME/instance-4529303-1752264061.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=135077, runsolver pid=135074
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.06 4.09 4.09 5/263 135089
/proc/meminfo: memFree=115501732/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=102420 memory=16000 CPUtime=0.08 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 2664 0 0 0 8 0 0 0 20 0 1 0 142086344 104878080 4000 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 25605 4000 2176 2834 0 8357 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 102420 KiB
Current children cumulated memory: 16000 KiB

[startup+0.20544 s]*
/proc/loadavg: 4.06 4.09 4.09 5/263 135089
/proc/meminfo: memFree=115493316/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=122904 memory=23748 CPUtime=0.19 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 3577 0 0 0 18 1 0 0 20 0 1 0 142086344 125853696 5937 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 30726 5937 2176 2834 0 13478 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 122904 KiB
Current children cumulated memory: 23748 KiB

[startup+0.305308 s]*
/proc/loadavg: 4.06 4.09 4.09 5/263 135089
/proc/meminfo: memFree=115485124/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=114708 memory=31240 CPUtime=0.29 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 3919 0 0 0 28 1 0 0 20 0 1 0 142086344 117460992 7810 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 28677 7810 2176 2834 0 11429 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114708 KiB
Current children cumulated memory: 31240 KiB

[startup+0.700155 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 135089
/proc/meminfo: memFree=115479068/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=131092 memory=54452 CPUtime=0.68 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 5132 0 0 0 66 2 0 0 20 0 1 0 142086344 134238208 13613 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 32773 13613 2176 2834 0 15525 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 131092 KiB
Current children cumulated memory: 54452 KiB

[startup+1.50018 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 135089
/proc/meminfo: memFree=115401052/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=362504 memory=261896 CPUtime=1.48 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 27931 0 0 0 137 11 0 0 20 0 1 0 142086344 371204096 65474 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 90626 65474 3680 2834 0 72831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 362504 KiB
Current children cumulated memory: 261896 KiB

[startup+3.10526 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 135089
/proc/meminfo: memFree=114584912/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1013020 memory=906924 CPUtime=3.07 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 139068 0 0 0 275 32 0 0 20 0 1 0 142086344 1037332480 226731 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 253255 226731 4000 2834 0 235460 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1013020 KiB
Current children cumulated memory: 906924 KiB

[startup+6.30014 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 135089
/proc/meminfo: memFree=114561104/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=978572 memory=872352 CPUtime=6.26 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 147669 0 0 0 592 34 0 0 20 0 1 0 142086344 1002057728 218088 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 244643 218088 4032 2834 0 226848 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 978572 KiB
Current children cumulated memory: 872352 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 135089
/proc/meminfo: memFree=113700428/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1989972 memory=1801432 CPUtime=12.64 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 187322 0 0 0 1210 54 0 0 20 0 1 0 142086344 2037731328 450358 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 497493 450358 4096 2834 0 479698 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1989972 KiB
Current children cumulated memory: 1801432 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 135090
/proc/meminfo: memFree=113708984/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1989972 memory=1802328 CPUtime=25.41 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 187657 0 0 0 2486 55 0 0 20 0 1 0 142086344 2037731328 450582 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 497493 450582 4096 2834 0 479698 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1989972 KiB
Current children cumulated memory: 1802328 KiB

[startup+51.1054 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 135090
/proc/meminfo: memFree=113631020/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=2055932 memory=1868852 CPUtime=50.94 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 220779 0 0 0 5030 64 0 0 20 0 1 0 142086344 2105274368 467213 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 513983 467213 4256 2834 0 496188 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2055932 KiB
Current children cumulated memory: 1868852 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 135092
/proc/meminfo: memFree=113629720/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=2059808 memory=1879268 CPUtime=101.99 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 221897 0 0 0 10134 65 0 0 20 0 1 0 142086344 2109243392 469817 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 514952 469817 4256 2834 0 497157 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2059808 KiB
Current children cumulated memory: 1879268 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 135094
/proc/meminfo: memFree=113618568/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=2065096 memory=1883640 CPUtime=161.82 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 222486 0 0 0 16117 65 0 0 20 0 1 0 142086344 2114658304 470910 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 516274 470910 4256 2834 0 498479 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2065096 KiB
Current children cumulated memory: 1883640 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 135096
/proc/meminfo: memFree=113613496/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=2065096 memory=1883768 CPUtime=221.65 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 222560 0 0 0 22099 66 0 0 20 0 1 0 142086344 2114658304 470942 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 516274 470942 4256 2834 0 498479 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2065096 KiB
Current children cumulated memory: 1883768 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 135103
/proc/meminfo: memFree=113618788/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=2065096 memory=1883768 CPUtime=281.49 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 222561 0 0 0 28081 68 0 0 20 0 1 0 142086344 2114658304 470942 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 516274 470942 4256 2834 0 498479 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 2065096 KiB
Current children cumulated memory: 1883768 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 135105
/proc/meminfo: memFree=114449428/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1123436 memory=1047340 CPUtime=341.34 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 225568 0 0 0 34031 103 0 0 20 0 1 0 142086344 1150398464 261835 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 280859 261835 4448 2834 0 263064 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1123436 KiB
Current children cumulated memory: 1047340 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 135107
/proc/meminfo: memFree=114263412/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1154256 memory=1059628 CPUtime=401.19 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 226085 0 0 0 40007 112 0 0 20 0 1 0 142086344 1181958144 264907 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 288564 264907 4448 2834 0 270769 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1154256 KiB
Current children cumulated memory: 1059628 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 135109
/proc/meminfo: memFree=114176216/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1154256 memory=1067820 CPUtime=461.06 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 226105 0 0 0 45982 124 0 0 20 0 1 0 142086344 1181958144 266955 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 288564 266955 4448 2834 0 270769 0
Current children cumulated CPU time: 461.06 s

################
# More data... #
################

Current children cumulated memory: 1202272 KiB

[startup+2922.3 s]
/proc/loadavg: 3.14 3.60 3.89 4/258 135257
/proc/meminfo: memFree=116688680/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1204320 CPUtime=2914.78 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227506 0 0 0 291024 454 0 0 20 0 1 0 142086344 1316589568 301080 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 301080 4448 2834 0 303638 0
Current children cumulated CPU time: 2914.78 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1204320 KiB

[startup+2982.3 s]
/proc/loadavg: 3.10 3.50 3.84 4/257 135259
/proc/meminfo: memFree=116683992/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1206368 CPUtime=2974.65 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227507 0 0 0 297005 460 0 0 20 0 1 0 142086344 1316589568 301592 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 301592 4448 2834 0 303638 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1206368 KiB

[startup+3042.3 s]
/proc/loadavg: 3.07 3.42 3.79 4/258 135264
/proc/meminfo: memFree=116687944/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1206368 CPUtime=3034.51 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227507 0 0 0 302987 464 0 0 20 0 1 0 142086344 1316589568 301592 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 301592 4448 2834 0 303638 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1206368 KiB

[startup+3102.3 s]
/proc/loadavg: 3.08 3.36 3.74 4/257 135266
/proc/meminfo: memFree=116684776/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1212512 CPUtime=3094.38 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227510 0 0 0 308968 470 0 0 20 0 1 0 142086344 1316589568 303128 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 303128 4448 2834 0 303638 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1212512 KiB

[startup+3162.3 s]
/proc/loadavg: 3.07 3.31 3.70 4/257 135268
/proc/meminfo: memFree=116676704/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1214560 CPUtime=3154.25 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227511 0 0 0 314949 476 0 0 20 0 1 0 142086344 1316589568 303640 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 303640 4448 2834 0 303638 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1214560 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.28 3.66 4/257 135270
/proc/meminfo: memFree=116672484/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1218656 CPUtime=3214.12 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227570 0 0 0 320931 481 0 0 20 0 1 0 142086344 1316589568 304664 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 304664 4448 2834 0 303638 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1218656 KiB

[startup+3282.3 s]
/proc/loadavg: 3.04 3.23 3.62 4/257 135276
/proc/meminfo: memFree=116672380/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1218656 CPUtime=3274 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227689 0 0 0 326913 487 0 0 20 0 1 0 142086344 1316589568 304664 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 304664 4448 2834 0 303638 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1218656 KiB

[startup+3342.3 s]
/proc/loadavg: 2.03 2.92 3.49 2/244 135339
/proc/meminfo: memFree=117295856/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1222752 CPUtime=3333.87 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227702 0 0 0 332893 494 0 0 20 0 1 0 142086344 1316589568 305688 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 305688 4448 2834 0 303638 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1222752 KiB

[startup+3402.3 s]
/proc/loadavg: 1.44 2.58 3.33 2/244 135340
/proc/meminfo: memFree=117296168/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1285732 memory=1222752 CPUtime=3393.75 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227702 0 0 0 338877 498 0 0 20 0 1 0 142086344 1316589568 305688 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 321433 305688 4448 2834 0 303638 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 1285732 KiB
Current children cumulated memory: 1222752 KiB

[startup+3462.3 s]
/proc/loadavg: 1.20 2.31 3.19 2/244 135342
/proc/meminfo: memFree=117296244/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1417992 memory=1223776 CPUtime=3453.61 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227960 0 0 0 344857 504 0 0 20 0 1 0 142086344 1452023808 305944 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 354498 305944 4448 2834 0 336703 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 1417992 KiB
Current children cumulated memory: 1223776 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 2.08 3.06 2/244 135344
/proc/meminfo: memFree=117296844/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1417992 memory=1223776 CPUtime=3513.46 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227960 0 0 0 350834 512 0 0 20 0 1 0 142086344 1452023808 305944 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 354498 305944 4448 2834 0 336703 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 1417992 KiB
Current children cumulated memory: 1223776 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.90 2.93 2/244 135346
/proc/meminfo: memFree=117297036/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1417992 memory=1223776 CPUtime=3573.31 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227971 0 0 0 356811 520 0 0 20 0 1 0 142086344 1452023808 305944 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 354498 305944 4448 2834 0 336703 0
Current children cumulated CPU time: 3573.31 s
Current children cumulated vsize: 1417992 KiB
Current children cumulated memory: 1223776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.1 s]
/proc/loadavg: 1.13 1.84 2.88 2/244 135359
/proc/meminfo: memFree=117306596/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1417992 memory=1223776 CPUtime=3600.05 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227971 0 0 0 359482 523 0 0 20 0 1 0 142086344 1452023808 305944 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 354498 305944 4448 2834 0 336703 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1417992 KiB
Current children cumulated memory: 1223776 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.11 s]
# the end of solver process 135077 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3594.83 s, system=5.23766 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.1 s]
/proc/loadavg: 1.13 1.84 2.88 2/244 135359
/proc/meminfo: memFree=117306596/131250000 swapFree=33008868/33010684
[pid=135077] ppid=135074 vsize=1417992 memory=1223776 CPUtime=3600.05 cores=4,6
/proc/135077/stat : 135077 (mixed-bag) R 135074 135077 133541 0 -1 4194304 227971 0 0 0 359482 523 0 0 20 0 1 0 142086344 1452023808 305944 18446744073709551615 4235264 15840557 140727365964832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42106880 140727365970330 140727365970407 140727365970407 140727365976011 0
/proc/135077/statm: 354498 305944 4448 2834 0 336703 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1417992 KiB
Current children cumulated memory: 1223776 KiB

Child status: 0

Real time (s): 3609.11
CPU time (s): 3600.07
CPU user time (s): 3594.83
CPU system time (s): 5.23766
CPU usage (%): 99.7494
Max. virtual memory (cumulated for all children) (KiB): 2065096
Max. memory (cumulated for all children) (KiB): 1883768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.83
system time used= 5.23766
maximum resident set size= 1914408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159
involuntary context switches= 1661


# summary of solver processes directly reported to runsolver:
#   pid: 135077
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3594.83
#   total CPU system time (s): 5.23766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22528 second user time and 15.0216 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-11 22:01:01
IDJOB=4529303
IDBENCH=178243
IDSOLVER=3386
FILE ID=nodeC013/4529303-1752264061
RUNJOBID= nodeC013-1752256208-133552
SLURM_JOB_ID= 9682595
Free space on /tmp= 432188 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529303-1752264061/watcher-4529303-1752264061 -o /tmp/evaluation-result-4529303-1752264061/solver-4529303-1752264061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133552 --watchdog 3760  mixed-bag HOME/instance-4529303-1752264061.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 56a55a6a376bce11ab58c02a823aeaa9
RANDOM SEED=743007602

nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.799
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.818
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.417
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.229
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.934
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.449
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.261
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        115504504 kB
MemAvailable:   126686452 kB
Buffers:            1668 kB
Cached:         11928168 kB
SwapCached:          160 kB
Active:          3498032 kB
Inactive:       11485736 kB
Active(anon):    3070372 kB
Inactive(anon):     4868 kB
Active(file):     427660 kB
Inactive(file): 11480868 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27928 kB
Writeback:             0 kB
AnonPages:       3056848 kB
Mapped:           137108 kB
Shmem:             21308 kB
KReclaimable:     224920 kB
Slab:             319020 kB
SReclaimable:     224920 kB
SUnreclaim:        94100 kB
KernelStack:        4336 kB
PageTables:         9668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3858108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    370688 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432224 MiB
End job on nodeC013 at 2025-07-11 23:01:10