Trace number 4521207

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-05-06? (TO) 3600.09 3609.21

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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
1.86/1.97	c [STEP] preprocessing with Papilo
2.36/2.41	c Papilo could not simplify the problem
2.36/2.41	c [STEP] solving with SCIP
302.25/303.07	c [STEP] preprocessing done, loading into solver
302.94/303.73	c [STEP] solving
302.94/303.73	c #variables 3487 #constraints 381136
302.94/303.73	c SMALL=int, LARGE=long long
302.94/303.73	d SCIPUB -1552
302.94/303.73	c bounds - >= -2940 @ 302.051
302.94/303.73	c stratification level: 0
303.03/303.80	c bounds - >= -2939 @ 302.073
303.03/303.80	c bounds - >= -2938 @ 302.073
303.03/303.80	c bounds - >= -2937 @ 302.073
303.03/303.80	c bounds - >= -2936 @ 302.073
303.03/303.80	c bounds - >= -2935 @ 302.073
303.03/303.80	c bounds - >= -2934 @ 302.074
303.03/303.80	c bounds - >= -2933 @ 302.074
303.03/303.80	c bounds - >= -2932 @ 302.074
303.03/303.80	c bounds - >= -2931 @ 302.074
303.03/303.80	c bounds - >= -2930 @ 302.074
303.03/303.80	c bounds - >= -2929 @ 302.074
303.03/303.80	c bounds - >= -2928 @ 302.075
303.03/303.80	c bounds - >= -2927 @ 302.075
303.03/303.80	c bounds - >= -2926 @ 302.075
303.03/303.80	c bounds - >= -2925 @ 302.076
303.03/303.80	c bounds - >= -2924 @ 302.076
303.03/303.80	c bounds - >= -2923 @ 302.076
303.03/303.80	c bounds - >= -2922 @ 302.077
303.03/303.80	c bounds - >= -2921 @ 302.077
303.03/303.80	c bounds - >= -2920 @ 302.077
303.03/303.80	c bounds - >= -2919 @ 302.078
303.03/303.80	c bounds - >= -2918 @ 302.078
303.03/303.80	c bounds - >= -2917 @ 302.078
303.03/303.80	c bounds - >= -2916 @ 302.079
303.03/303.80	c bounds - >= -2915 @ 302.079
303.03/303.80	c bounds - >= -2914 @ 302.079
303.03/303.80	c bounds - >= -2913 @ 302.08
303.03/303.80	c bounds - >= -2912 @ 302.08
303.03/303.80	c bounds - >= -2911 @ 302.08
303.03/303.80	c bounds - >= -2910 @ 302.081
303.03/303.80	c bounds - >= -2909 @ 302.081
303.03/303.80	c bounds - >= -2908 @ 302.082
303.03/303.80	c bounds - >= -2907 @ 302.082
303.03/303.80	c bounds - >= -2906 @ 302.082
303.03/303.80	c bounds - >= -2905 @ 302.083
303.03/303.80	c bounds - >= -2904 @ 302.083
303.03/303.80	c bounds - >= -2903 @ 302.083
303.03/303.80	c bounds - >= -2902 @ 302.084
303.03/303.80	c bounds - >= -2901 @ 302.084
303.03/303.80	c bounds - >= -2900 @ 302.084
303.03/303.80	c bounds - >= -2899 @ 302.085
303.03/303.80	c bounds - >= -2898 @ 302.085
303.03/303.80	c bounds - >= -2897 @ 302.085
303.03/303.80	c bounds - >= -2896 @ 302.085
303.03/303.80	c bounds - >= -2895 @ 302.086
303.03/303.80	c bounds - >= -2894 @ 302.086
303.03/303.80	c bounds - >= -2893 @ 302.086
303.03/303.80	c bounds - >= -2892 @ 302.087
303.03/303.80	c bounds - >= -2891 @ 302.087
303.03/303.80	c bounds - >= -2890 @ 302.087
303.03/303.80	c bounds - >= -2889 @ 302.088
303.03/303.80	c bounds - >= -2888 @ 302.088
303.03/303.80	c bounds - >= -2887 @ 302.089
303.03/303.80	c bounds - >= -2886 @ 302.089
303.03/303.80	c bounds - >= -2885 @ 302.089
303.03/303.80	c bounds - >= -2884 @ 302.09
303.03/303.80	c bounds - >= -2883 @ 302.09
303.03/303.80	c bounds - >= -2882 @ 302.09
303.03/303.80	c bounds - >= -2881 @ 302.091
303.03/303.80	c bounds - >= -2880 @ 302.091
303.03/303.80	c bounds - >= -2879 @ 302.091
303.03/303.80	c bounds - >= -2878 @ 302.092
303.03/303.80	c bounds - >= -2877 @ 302.092
303.03/303.80	c bounds - >= -2876 @ 302.092
303.03/303.80	c bounds - >= -2875 @ 302.093
303.03/303.80	c bounds - >= -2874 @ 302.093
303.03/303.80	c bounds - >= -2873 @ 302.093
303.03/303.80	c bounds - >= -2872 @ 302.094
303.03/303.80	c bounds - >= -2871 @ 302.094
303.03/303.80	c bounds - >= -2870 @ 302.094
303.03/303.80	c bounds - >= -2869 @ 302.094
303.03/303.80	c bounds - >= -2868 @ 302.095
303.03/303.80	c bounds - >= -2867 @ 302.095
303.03/303.80	c bounds - >= -2866 @ 302.095
303.03/303.80	c bounds - >= -2865 @ 302.096
303.03/303.80	c bounds - >= -2864 @ 302.096
303.03/303.80	c bounds - >= -2863 @ 302.096
303.03/303.80	c bounds - >= -2862 @ 302.097
303.03/303.80	c bounds - >= -2861 @ 302.097
303.03/303.80	c bounds - >= -2860 @ 302.097
303.03/303.80	c bounds - >= -2859 @ 302.098
303.03/303.80	c bounds - >= -2858 @ 302.098
303.03/303.80	c bounds - >= -2857 @ 302.098
303.03/303.80	c bounds - >= -2856 @ 302.099
303.03/303.80	c bounds - >= -2855 @ 302.099
303.03/303.80	c bounds - >= -2854 @ 302.099
303.03/303.80	c bounds - >= -2853 @ 302.1
303.03/303.80	c bounds - >= -2852 @ 302.1
303.03/303.80	c bounds - >= -2851 @ 302.1
303.03/303.80	c bounds - >= -2850 @ 302.101
303.03/303.80	c bounds - >= -2849 @ 302.101
303.03/303.80	c bounds - >= -2848 @ 302.101
303.03/303.80	c bounds - >= -2847 @ 302.102
303.03/303.80	c bounds - >= -2846 @ 302.102
303.03/303.80	c bounds - >= -2845 @ 302.102
303.03/303.80	c bounds - >= -2844 @ 302.103
303.03/303.80	c bounds - >= -2843 @ 302.103
303.03/303.80	c bounds - >= -2842 @ 302.103
303.03/303.80	c bounds - >= -2841 @ 302.104
303.03/303.80	c bounds - >= -2840 @ 302.104
303.03/303.80	c bounds - >= -2839 @ 302.104
303.03/303.80	c bounds - >= -2838 @ 302.105
303.03/303.80	c bounds - >= -2837 @ 302.105
303.03/303.80	c bounds - >= -2836 @ 302.105
303.03/303.80	c bounds - >= -2835 @ 302.106
303.03/303.80	c bounds - >= -2834 @ 302.106
303.03/303.80	c bounds - >= -2833 @ 302.106
303.03/303.80	c bounds - >= -2832 @ 302.107
303.03/303.80	c bounds - >= -2831 @ 302.107
303.03/303.80	c bounds - >= -2830 @ 302.107
303.03/303.80	c bounds - >= -2829 @ 302.108
303.03/303.80	c bounds - >= -2828 @ 302.108
303.03/303.80	c bounds - >= -2827 @ 302.108
303.03/303.80	c bounds - >= -2826 @ 302.109
303.03/303.80	c bounds - >= -2825 @ 302.109
303.03/303.80	c bounds - >= -2824 @ 302.109
303.03/303.80	c bounds - >= -2823 @ 302.11
303.03/303.80	c bounds - >= -2822 @ 302.11
303.03/303.80	c bounds - >= -2821 @ 302.11
303.03/303.80	c bounds - >= -2820 @ 302.111
303.03/303.80	c bounds - >= -2819 @ 302.111
303.03/303.80	c bounds - >= -2818 @ 302.111
303.03/303.80	c bounds - >= -2817 @ 302.112
303.03/303.80	c bounds - >= -2816 @ 302.112
303.03/303.80	c bounds - >= -2815 @ 302.112
303.03/303.80	c bounds - >= -2814 @ 302.113
303.03/303.80	c bounds - >= -2813 @ 302.113
303.03/303.80	c bounds - >= -2812 @ 302.113
303.03/303.80	c bounds - >= -2811 @ 302.114
303.03/303.80	c bounds - >= -2810 @ 302.114
303.03/303.80	c bounds - >= -2809 @ 302.114
303.03/303.80	c bounds - >= -2808 @ 302.115
303.03/303.80	c bounds - >= -2807 @ 302.115
303.03/303.80	c bounds - >= -2806 @ 302.115
303.03/303.80	c bounds - >= -2805 @ 302.116
303.03/303.80	c bounds - >= -2804 @ 302.116
303.03/303.80	c bounds - >= -2803 @ 302.116
303.03/303.80	c bounds - >= -2802 @ 302.117
303.03/303.84	c bounds - >= -2801 @ 302.117
303.03/303.84	c bounds - >= -2800 @ 302.117
303.03/303.84	c bounds - >= -2799 @ 302.117
303.03/303.84	c bounds - >= -2798 @ 302.117
303.03/303.84	c bounds - >= -2797 @ 302.117
303.03/303.84	c bounds - >= -2796 @ 302.118
303.03/303.84	c bounds - >= -2795 @ 302.118
303.03/303.84	c bounds - >= -2794 @ 302.118
303.03/303.84	c bounds - >= -2793 @ 302.119
303.03/303.84	c bounds - >= -2792 @ 302.119
303.03/303.84	c bounds - >= -2791 @ 302.119
303.03/303.84	c bounds - >= -2790 @ 302.12
303.03/303.84	c bounds - >= -2789 @ 302.12
303.03/303.84	c bounds - >= -2788 @ 302.12
303.03/303.84	c bounds - >= -2787 @ 302.121
303.03/303.84	c bounds - >= -2786 @ 302.121
303.03/303.84	c bounds - >= -2785 @ 302.121
303.03/303.84	c bounds - >= -2784 @ 302.122
303.03/303.84	c bounds - >= -2783 @ 302.122
303.03/303.84	c bounds - >= -2782 @ 302.122
303.03/303.84	c bounds - >= -2781 @ 302.123
303.03/303.84	c bounds - >= -2780 @ 302.123
303.03/303.84	c bounds - >= -2779 @ 302.123
303.03/303.84	c bounds - >= -2778 @ 302.123
303.03/303.84	c bounds - >= -2777 @ 302.123
303.03/303.84	c bounds - >= -2776 @ 302.123
303.03/303.84	c bounds - >= -2775 @ 302.124
303.03/303.84	c bounds - >= -2774 @ 302.124
303.03/303.84	c bounds - >= -2773 @ 302.124
303.03/303.84	c bounds - >= -2772 @ 302.125
303.03/303.84	c bounds - >= -2771 @ 302.125
303.03/303.84	c bounds - >= -2770 @ 302.125
303.03/303.84	c bounds - >= -2769 @ 302.126
303.03/303.84	c bounds - >= -2768 @ 302.126
303.03/303.84	c bounds - >= -2767 @ 302.126
303.03/303.84	c bounds - >= -2766 @ 302.127
303.03/303.84	c bounds - >= -2765 @ 302.127
303.03/303.84	c bounds - >= -2764 @ 302.127
303.03/303.84	c bounds - >= -2763 @ 302.128
303.03/303.84	c bounds - >= -2762 @ 302.128
303.03/303.84	c bounds - >= -2761 @ 302.128
303.03/303.84	c bounds - >= -2760 @ 302.129
303.03/303.84	c bounds - >= -2759 @ 302.129
303.03/303.84	c bounds - >= -2758 @ 302.129
303.03/303.84	c bounds - >= -2757 @ 302.13
303.03/303.84	c bounds - >= -2756 @ 302.13
303.03/303.84	c bounds - >= -2755 @ 302.13
303.03/303.84	c bounds - >= -2754 @ 302.131
303.03/303.84	c bounds - >= -2753 @ 302.131
303.03/303.84	c bounds - >= -2752 @ 302.131
303.03/303.84	c bounds - >= -2751 @ 302.132
303.03/303.84	c bounds - >= -2750 @ 302.132
303.03/303.84	c bounds - >= -2749 @ 302.132
303.03/303.84	c bounds - >= -2748 @ 302.133
303.03/303.84	c bounds - >= -2747 @ 302.133
303.03/303.84	c bounds - >= -2746 @ 302.133
303.03/303.84	c bounds - >= -2745 @ 302.133
303.03/303.84	c bounds - >= -2744 @ 302.134
303.03/303.84	c bounds - >= -2743 @ 302.134
303.03/303.84	c bounds - >= -2742 @ 302.135
303.03/303.84	c bounds - >= -2741 @ 302.135
303.03/303.84	c bounds - >= -2740 @ 302.135
303.03/303.84	c bounds - >= -2739 @ 302.136
303.03/303.84	c bounds - >= -2738 @ 302.136
303.03/303.84	c bounds - >= -2737 @ 302.136
303.03/303.84	c bounds - >= -2736 @ 302.137
303.03/303.84	c bounds - >= -2735 @ 302.137
303.03/303.84	c bounds - >= -2734 @ 302.137
303.03/303.84	c bounds - >= -2733 @ 302.137
303.03/303.84	c bounds - >= -2732 @ 302.138
303.03/303.84	c bounds - >= -2731 @ 302.138
303.03/303.84	c bounds - >= -2730 @ 302.138
303.03/303.84	c bounds - >= -2729 @ 302.139
303.03/303.84	c bounds - >= -2728 @ 302.139
303.03/303.84	c bounds - >= -2727 @ 302.139
303.03/303.84	c bounds - >= -2726 @ 302.14
303.03/303.84	c bounds - >= -2725 @ 302.14
303.03/303.84	c bounds - >= -2724 @ 302.14
303.03/303.84	c bounds - >= -2723 @ 302.141
303.03/303.84	c bounds - >= -2722 @ 302.141
303.03/303.84	c bounds - >= -2721 @ 302.141
303.03/303.84	c bounds - >= -2720 @ 302.142
303.03/303.84	c bounds - >= -2719 @ 302.142
303.03/303.84	c bounds - >= -2718 @ 302.142
303.03/303.84	c bounds - >= -2717 @ 302.143
303.03/303.84	c bounds - >= -2716 @ 302.143
303.03/303.84	c bounds - >= -2715 @ 302.143
303.03/303.84	c bounds - >= -2714 @ 302.143
303.03/303.84	c bounds - >= -2713 @ 302.143
303.03/303.84	c bounds - >= -2712 @ 302.143
303.03/303.84	c bounds - >= -2711 @ 302.144
303.03/303.84	c bounds - >= -2710 @ 302.144
303.03/303.84	c bounds - >= -2709 @ 302.144
303.03/303.84	c bounds - >= -2708 @ 302.145
303.03/303.84	c bounds - >= -2707 @ 302.145
303.03/303.84	c bounds - >= -2706 @ 302.145
303.03/303.84	c bounds - >= -2705 @ 302.146
303.03/303.84	c bounds - >= -2704 @ 302.146
303.03/303.84	c bounds - >= -2703 @ 302.146
303.03/303.84	c bounds - >= -2702 @ 302.147
303.03/303.84	c bounds - >= -2701 @ 302.147
303.03/303.84	c bounds - >= -2700 @ 302.147
303.03/303.84	c bounds - >= -2699 @ 302.148
303.03/303.84	c bounds - >= -2698 @ 302.148
303.03/303.84	c bounds - >= -2697 @ 302.148
303.03/303.84	c bounds - >= -2696 @ 302.149
303.03/303.84	c bounds - >= -2695 @ 302.149
303.03/303.84	c bounds - >= -2694 @ 302.149
303.03/303.84	c bounds - >= -2693 @ 302.15
303.03/303.84	c bounds - >= -2692 @ 302.15
303.03/303.84	c bounds - >= -2691 @ 302.15
303.03/303.84	c bounds - >= -2690 @ 302.151
303.03/303.84	c bounds - >= -2689 @ 302.151
303.03/303.84	c bounds - >= -2688 @ 302.151
303.03/303.84	c bounds - >= -2687 @ 302.152
303.03/303.84	c bounds - >= -2686 @ 302.152
303.03/303.84	c bounds - >= -2685 @ 302.153
303.03/303.84	c bounds - >= -2684 @ 302.153
303.03/303.84	c bounds - >= -2683 @ 302.153
303.03/303.84	c bounds - >= -2682 @ 302.154
303.03/303.84	c bounds - >= -2681 @ 302.154
303.03/303.84	c bounds - >= -2680 @ 302.154
303.03/303.84	c bounds - >= -2679 @ 302.155
303.03/303.84	c bounds - >= -2678 @ 302.155
303.03/303.84	c bounds - >= -2677 @ 302.155
303.03/303.84	c bounds - >= -2676 @ 302.156
303.03/303.84	c bounds - >= -2675 @ 302.156
303.03/303.84	c bounds - >= -2674 @ 302.156
303.03/303.84	c bounds - >= -2673 @ 302.157
303.03/303.84	c bounds - >= -2672 @ 302.157
303.03/303.84	c bounds - >= -2671 @ 302.158
303.03/303.84	c bounds - >= -2670 @ 302.158
303.03/303.84	c bounds - >= -2669 @ 302.158
303.03/303.84	c bounds - >= -2668 @ 302.159
303.03/303.84	c bounds - >= -2667 @ 302.159
303.03/303.84	c bounds - >= -2666 @ 302.159
303.03/303.89	c bounds - >= -2665 @ 302.16
303.03/303.89	c bounds - >= -2664 @ 302.16
303.03/303.89	c bounds - >= -2663 @ 302.16
303.03/303.89	c bounds - >= -2662 @ 302.161
303.03/303.89	c bounds - >= -2661 @ 302.161
303.03/303.89	c bounds - >= -2660 @ 302.161
303.03/303.89	c bounds - >= -2659 @ 302.162
303.03/303.89	c bounds - >= -2658 @ 302.162
303.03/303.89	c bounds - >= -2657 @ 302.162
303.03/303.89	c bounds - >= -2656 @ 302.163
303.03/303.89	c bounds - >= -2655 @ 302.163
303.03/303.89	c bounds - >= -2654 @ 302.163
303.03/303.89	c bounds - >= -2653 @ 302.164
303.03/303.89	c bounds - >= -2652 @ 302.164
303.03/303.89	c bounds - >= -2651 @ 302.164
303.03/303.89	c bounds - >= -2650 @ 302.164
303.03/303.89	c bounds - >= -2649 @ 302.165
303.03/303.89	c bounds - >= -2648 @ 302.165
303.03/303.89	c bounds - >= -2647 @ 302.165
303.03/303.89	c bounds - >= -2646 @ 302.166
303.03/303.89	c bounds - >= -2645 @ 302.166
303.03/303.89	c bounds - >= -2644 @ 302.166
303.03/303.89	c bounds - >= -2643 @ 302.167
303.03/303.89	c bounds - >= -2642 @ 302.167
303.03/303.89	c bounds - >= -2641 @ 302.167
303.03/303.89	c bounds - >= -2640 @ 302.168
303.03/303.89	c bounds - >= -2639 @ 302.168
303.03/303.89	c bounds - >= -2638 @ 302.168
303.03/303.89	c bounds - >= -2637 @ 302.169
303.03/303.89	c bounds - >= -2636 @ 302.169
303.03/303.89	c bounds - >= -2635 @ 302.169
303.03/303.89	c bounds - >= -2634 @ 302.17
303.03/303.89	c bounds - >= -2633 @ 302.17
303.03/303.89	c bounds - >= -2632 @ 302.17
303.03/303.89	c bounds - >= -2631 @ 302.171
303.03/303.89	c bounds - >= -2630 @ 302.171
303.03/303.89	c bounds - >= -2629 @ 302.171
303.03/303.89	c bounds - >= -2628 @ 302.172
303.03/303.89	c bounds - >= -2627 @ 302.172
303.03/303.89	c bounds - >= -2626 @ 302.172
303.03/303.89	c bounds - >= -2625 @ 302.172
303.03/303.89	c bounds - >= -2624 @ 302.173
303.03/303.89	c bounds - >= -2623 @ 302.173
303.03/303.89	c bounds - >= -2622 @ 302.174
303.03/303.89	c bounds - >= -2621 @ 302.174
303.03/303.89	c bounds - >= -2620 @ 302.174
303.03/303.89	c bounds - >= -2619 @ 302.174
303.03/303.89	c bounds - >= -2618 @ 302.175
303.03/303.89	c bounds - >= -2617 @ 302.175
303.03/303.89	c bounds - >= -2616 @ 302.175
303.03/303.89	c bounds - >= -2615 @ 302.176
303.03/303.89	c bounds - >= -2614 @ 302.176
303.03/303.89	c bounds - >= -2613 @ 302.176
303.03/303.89	c bounds - >= -2612 @ 302.177
303.03/303.89	c bounds - >= -2611 @ 302.177
303.03/303.89	c bounds - >= -2610 @ 302.177
303.03/303.89	c bounds - >= -2609 @ 302.178
303.03/303.89	c bounds - >= -2608 @ 302.178
303.03/303.89	c bounds - >= -2607 @ 302.178
303.03/303.89	c bounds - >= -2606 @ 302.179
303.03/303.89	c bounds - >= -2605 @ 302.179
303.03/303.89	c bounds - >= -2604 @ 302.179
303.03/303.89	c bounds - >= -2603 @ 302.18
303.03/303.89	c bounds - >= -2602 @ 302.18
303.03/303.89	c bounds - >= -2601 @ 302.18
303.03/303.89	c bounds - >= -2600 @ 302.181
303.03/303.89	c bounds - >= -2599 @ 302.181
303.03/303.89	c bounds - >= -2598 @ 302.181
303.03/303.89	c bounds - >= -2597 @ 302.182
303.03/303.89	c bounds - >= -2596 @ 302.182
303.03/303.89	c bounds - >= -2595 @ 302.182
303.03/303.89	c bounds - >= -2594 @ 302.183
303.03/303.89	c bounds - >= -2593 @ 302.183
303.03/303.89	c bounds - >= -2592 @ 302.183
303.03/303.89	c bounds - >= -2591 @ 302.183
303.03/303.89	c bounds - >= -2590 @ 302.184
303.03/303.89	c bounds - >= -2589 @ 302.184
303.03/303.89	c bounds - >= -2588 @ 302.184
303.03/303.89	c bounds - >= -2587 @ 302.185
303.03/303.89	c bounds - >= -2586 @ 302.185
303.03/303.89	c bounds - >= -2585 @ 302.185
303.03/303.89	c bounds - >= -2584 @ 302.186
303.03/303.89	c bounds - >= -2583 @ 302.186
303.03/303.89	c bounds - >= -2582 @ 302.186
303.03/303.89	c bounds - >= -2581 @ 302.187
303.03/303.89	c bounds - >= -2580 @ 302.187
303.03/303.89	c bounds - >= -2579 @ 302.187
303.03/303.89	c bounds - >= -2578 @ 302.188
303.03/303.89	c bounds - >= -2577 @ 302.188
303.03/303.89	c bounds - >= -2576 @ 302.188
303.03/303.89	c bounds - >= -2575 @ 302.189
303.03/303.89	c bounds - >= -2574 @ 302.189
303.03/303.89	c bounds - >= -2573 @ 302.189
303.03/303.89	c bounds - >= -2572 @ 302.19
303.03/303.89	c bounds - >= -2571 @ 302.19
303.03/303.89	c bounds - >= -2570 @ 302.19
303.03/303.89	c bounds - >= -2569 @ 302.191
303.03/303.89	c bounds - >= -2568 @ 302.191
303.03/303.89	c bounds - >= -2567 @ 302.191
303.03/303.89	c bounds - >= -2566 @ 302.192
303.03/303.89	c bounds - >= -2565 @ 302.192
303.03/303.89	c bounds - >= -2564 @ 302.192
303.03/303.89	c bounds - >= -2563 @ 302.192
303.03/303.89	c bounds - >= -2562 @ 302.192
303.03/303.89	c bounds - >= -2561 @ 302.192
303.03/303.89	c bounds - >= -2560 @ 302.192
303.03/303.89	c bounds - >= -2559 @ 302.193
303.03/303.89	c bounds - >= -2558 @ 302.193
303.03/303.89	c bounds - >= -2557 @ 302.193
303.03/303.89	c bounds - >= -2556 @ 302.194
303.03/303.89	c bounds - >= -2555 @ 302.194
303.03/303.89	c bounds - >= -2554 @ 302.194
303.03/303.89	c bounds - >= -2553 @ 302.195
303.03/303.89	c bounds - >= -2552 @ 302.195
303.03/303.89	c bounds - >= -2551 @ 302.195
303.03/303.89	c bounds - >= -2550 @ 302.196
303.03/303.89	c bounds - >= -2549 @ 302.196
303.03/303.89	c bounds - >= -2548 @ 302.196
303.03/303.89	c bounds - >= -2547 @ 302.197
303.03/303.89	c bounds - >= -2546 @ 302.197
303.03/303.89	c bounds - >= -2545 @ 302.197
303.03/303.89	c bounds - >= -2544 @ 302.198
303.03/303.89	c bounds - >= -2543 @ 302.198
303.03/303.89	c bounds - >= -2542 @ 302.198
303.03/303.89	c bounds - >= -2541 @ 302.199
303.03/303.89	c bounds - >= -2540 @ 302.199
303.03/303.89	c bounds - >= -2539 @ 302.199
303.03/303.89	c bounds - >= -2538 @ 302.2
303.03/303.89	c bounds - >= -2537 @ 302.2
303.03/303.89	c bounds - >= -2536 @ 302.2
303.03/303.89	c bounds - >= -2535 @ 302.201
303.03/303.89	c bounds - >= -2534 @ 302.201
303.03/303.89	c bounds - >= -2533 @ 302.201
303.03/303.89	c bounds - >= -2532 @ 302.202
303.03/303.89	c bounds - >= -2531 @ 302.202
303.03/303.89	c bounds - >= -2530 @ 302.202
303.03/303.89	c bounds - >= -2529 @ 302.203
303.03/303.89	c bounds - >= -2528 @ 302.203
303.14/303.93	c bounds - >= -2527 @ 302.203
303.14/303.93	c bounds - >= -2526 @ 302.204
303.14/303.93	c bounds - >= -2525 @ 302.204
303.14/303.93	c bounds - >= -2524 @ 302.204
303.14/303.93	c bounds - >= -2523 @ 302.204
303.14/303.93	c bounds - >= -2522 @ 302.204
303.14/303.93	c bounds - >= -2521 @ 302.204
303.14/303.93	c bounds - >= -2520 @ 302.205
303.14/303.93	c bounds - >= -2519 @ 302.205
303.14/303.93	c bounds - >= -2518 @ 302.205
303.14/303.93	c bounds - >= -2517 @ 302.206
303.14/303.93	c bounds - >= -2516 @ 302.206
303.14/303.93	c bounds - >= -2515 @ 302.206
303.14/303.93	c bounds - >= -2514 @ 302.207
303.14/303.93	c bounds - >= -2513 @ 302.207
303.14/303.93	c bounds - >= -2512 @ 302.207
303.14/303.93	c bounds - >= -2511 @ 302.208
303.14/303.93	c bounds - >= -2510 @ 302.208
303.14/303.93	c bounds - >= -2509 @ 302.208
303.14/303.93	c bounds - >= -2508 @ 302.209
303.14/303.93	c bounds - >= -2507 @ 302.209
303.14/303.93	c bounds - >= -2506 @ 302.209
303.14/303.93	c bounds - >= -2505 @ 302.21
303.14/303.93	c bounds - >= -2504 @ 302.21
303.14/303.93	c bounds - >= -2503 @ 302.21
303.14/303.93	c bounds - >= -2502 @ 302.211
303.14/303.93	c bounds - >= -2501 @ 302.211
303.14/303.93	c bounds - >= -2500 @ 302.211
303.14/303.93	c bounds - >= -2499 @ 302.212
303.14/303.93	c bounds - >= -2498 @ 302.212
303.14/303.93	c bounds - >= -2497 @ 302.212
303.14/303.93	c bounds - >= -2496 @ 302.213
303.14/303.93	c bounds - >= -2495 @ 302.213
303.14/303.93	c bounds - >= -2494 @ 302.213
303.14/303.94	c bounds - >= -2493 @ 302.213
303.14/303.94	c bounds - >= -2492 @ 302.214
303.14/303.94	c bounds - >= -2491 @ 302.214
303.14/303.94	c bounds - >= -2490 @ 302.214
303.14/303.94	c bounds - >= -2489 @ 302.215
303.14/303.94	c bounds - >= -2488 @ 302.215
303.14/303.94	c bounds - >= -2487 @ 302.215
303.14/303.94	c bounds - >= -2486 @ 302.216
303.14/303.94	c bounds - >= -2485 @ 302.216
303.14/303.94	c bounds - >= -2484 @ 302.216
303.14/303.94	c bounds - >= -2483 @ 302.217
303.14/303.94	c bounds - >= -2482 @ 302.217
303.14/303.94	c bounds - >= -2481 @ 302.217
303.14/303.94	c bounds - >= -2480 @ 302.218
303.14/303.94	c bounds - >= -2479 @ 302.218
303.14/303.94	c bounds - >= -2478 @ 302.218
303.14/303.94	c bounds - >= -2477 @ 302.219
303.14/303.94	c bounds - >= -2476 @ 302.219
303.14/303.94	c bounds - >= -2475 @ 302.219
303.14/303.94	c bounds - >= -2474 @ 302.22
303.14/303.94	c bounds - >= -2473 @ 302.22
303.14/303.94	c bounds - >= -2472 @ 302.22
303.14/303.94	c bounds - >= -2471 @ 302.221
303.14/303.94	c bounds - >= -2470 @ 302.221
303.14/303.94	c bounds - >= -2469 @ 302.221
303.14/303.94	c bounds - >= -2468 @ 302.222
303.14/303.94	c bounds - >= -2467 @ 302.222
303.14/303.94	c bounds - >= -2466 @ 302.222
303.14/303.94	c bounds - >= -2465 @ 302.223
303.14/303.94	c bounds - >= -2464 @ 302.223
303.14/303.94	c bounds - >= -2463 @ 302.223
303.14/303.94	c bounds - >= -2462 @ 302.224
303.14/303.94	c bounds - >= -2461 @ 302.224
303.14/303.94	c bounds - >= -2460 @ 302.224
303.14/303.94	c bounds - >= -2459 @ 302.224
303.14/303.94	c bounds - >= -2458 @ 302.225
303.14/303.94	c bounds - >= -2457 @ 302.225
303.14/303.94	c bounds - >= -2456 @ 302.225
303.14/303.94	c bounds - >= -2455 @ 302.226
303.14/303.94	c bounds - >= -2454 @ 302.226
303.14/303.94	c bounds - >= -2453 @ 302.226
303.14/303.94	c bounds - >= -2452 @ 302.227
303.14/303.94	c bounds - >= -2451 @ 302.227
303.14/303.94	c bounds - >= -2450 @ 302.227
303.14/303.94	c bounds - >= -2449 @ 302.228
303.14/303.94	c bounds - >= -2448 @ 302.228
303.14/303.94	c bounds - >= -2447 @ 302.228
303.14/303.94	c bounds - >= -2446 @ 302.229
303.14/303.94	c bounds - >= -2445 @ 302.229
303.14/303.94	c bounds - >= -2444 @ 302.23
303.14/303.94	c bounds - >= -2443 @ 302.23
303.14/303.94	c bounds - >= -2442 @ 302.23
303.14/303.94	c bounds - >= -2441 @ 302.231
303.14/303.94	c bounds - >= -2440 @ 302.231
303.14/303.94	c bounds - >= -2439 @ 302.231
303.14/303.94	c bounds - >= -2438 @ 302.231
303.14/303.94	c bounds - >= -2437 @ 302.232
303.14/303.94	c bounds - >= -2436 @ 302.232
303.14/303.94	c bounds - >= -2435 @ 302.232
303.14/303.94	c bounds - >= -2434 @ 302.233
303.14/303.94	c bounds - >= -2433 @ 302.233
303.14/303.94	c bounds - >= -2432 @ 302.233
303.14/303.94	c bounds - >= -2431 @ 302.233
303.14/303.94	c bounds - >= -2430 @ 302.233
303.14/303.94	c bounds - >= -2429 @ 302.233
303.14/303.94	c bounds - >= -2428 @ 302.234
303.14/303.94	c bounds - >= -2427 @ 302.234
303.14/303.94	c bounds - >= -2426 @ 302.234
303.14/303.94	c bounds - >= -2425 @ 302.235
303.14/303.94	c bounds - >= -2424 @ 302.235
303.14/303.94	c bounds - >= -2423 @ 302.236
303.14/303.94	c bounds - >= -2422 @ 302.236
303.14/303.94	c bounds - >= -2421 @ 302.236
303.14/303.94	c bounds - >= -2420 @ 302.237
303.14/303.94	c bounds - >= -2419 @ 302.237
303.14/303.94	c bounds - >= -2418 @ 302.237
303.14/303.94	c bounds - >= -2417 @ 302.237
303.14/303.94	c bounds - >= -2416 @ 302.238
303.14/303.94	c bounds - >= -2415 @ 302.238
303.14/303.94	c bounds - >= -2414 @ 302.238
303.14/303.94	c bounds - >= -2413 @ 302.239
303.14/303.94	c bounds - >= -2412 @ 302.239
303.14/303.94	c bounds - >= -2411 @ 302.239
303.14/303.94	c bounds - >= -2410 @ 302.239
303.14/303.94	c bounds - >= -2409 @ 302.239
303.14/303.94	c bounds - >= -2408 @ 302.239
303.14/303.94	c bounds - >= -2407 @ 302.239
303.14/303.94	c bounds - >= -2406 @ 302.239
303.14/303.94	c bounds - >= -2405 @ 302.239
303.14/303.94	c bounds - >= -2404 @ 302.24
303.14/303.94	c bounds - >= -2403 @ 302.24
303.14/303.94	c bounds - >= -2402 @ 302.24
303.14/303.94	c bounds - >= -2401 @ 302.241
303.14/303.94	c bounds - >= -2400 @ 302.241
303.14/303.94	c bounds - >= -2399 @ 302.242
303.14/303.94	c bounds - >= -2398 @ 302.242
303.14/303.94	c bounds - >= -2397 @ 302.242
303.14/303.94	c bounds - >= -2396 @ 302.242
303.14/303.94	c bounds - >= -2395 @ 302.243
303.14/303.94	c bounds - >= -2394 @ 302.243
303.14/303.94	c bounds - >= -2393 @ 302.243
303.14/303.94	c bounds - >= -2392 @ 302.244
303.14/303.94	c bounds - >= -2391 @ 302.244
303.14/303.98	c bounds - >= -2390 @ 302.244
303.14/303.98	c bounds - >= -2389 @ 302.244
303.14/303.98	c bounds - >= -2388 @ 302.245
303.14/303.98	c bounds - >= -2387 @ 302.245
303.14/303.98	c bounds - >= -2386 @ 302.245
303.14/303.98	c bounds - >= -2385 @ 302.246
303.14/303.98	c bounds - >= -2384 @ 302.246
303.14/303.98	c bounds - >= -2383 @ 302.246
303.14/303.98	c bounds - >= -2382 @ 302.247
303.14/303.98	c bounds - >= -2381 @ 302.247
303.14/303.98	c bounds - >= -2380 @ 302.247
303.14/303.98	c bounds - >= -2379 @ 302.247
303.14/303.98	c bounds - >= -2378 @ 302.248
303.14/303.98	c bounds - >= -2377 @ 302.248
303.14/303.98	c bounds - >= -2376 @ 302.248
303.14/303.98	c bounds - >= -2375 @ 302.248
303.14/303.98	c bounds - >= -2374 @ 302.248
303.14/303.98	c bounds - >= -2373 @ 302.248
303.14/303.98	c bounds - >= -2372 @ 302.249
303.14/303.98	c bounds - >= -2371 @ 302.249
303.14/303.98	c bounds - >= -2370 @ 302.249
303.14/303.98	c bounds - >= -2369 @ 302.249
303.14/303.98	c bounds - >= -2368 @ 302.25
303.14/303.98	c bounds - >= -2367 @ 302.25
303.14/303.98	c bounds - >= -2366 @ 302.25
303.14/303.98	c bounds - >= -2365 @ 302.251
303.14/303.98	c bounds - >= -2364 @ 302.251
303.14/303.98	c bounds - >= -2363 @ 302.251
303.14/303.98	c bounds - >= -2362 @ 302.252
303.14/303.98	c bounds - >= -2361 @ 302.252
303.14/303.98	c bounds - >= -2360 @ 302.252
303.14/303.98	c bounds - >= -2359 @ 302.252
303.14/303.98	c bounds - >= -2358 @ 302.253
303.14/303.98	c bounds - >= -2357 @ 302.253
303.14/303.98	c bounds - >= -2356 @ 302.253
303.14/303.98	c bounds - >= -2355 @ 302.254
303.14/303.98	c bounds - >= -2354 @ 302.254
303.14/303.98	c bounds - >= -2353 @ 302.254
303.14/303.98	c bounds - >= -2352 @ 302.254
303.14/303.98	c bounds - >= -2351 @ 302.254
303.14/303.98	c bounds - >= -2350 @ 302.254
303.14/303.98	c bounds - >= -2349 @ 302.255
303.14/303.98	c bounds - >= -2348 @ 302.255
303.14/303.98	c bounds - >= -2347 @ 302.255
303.14/303.98	c bounds - >= -2346 @ 302.255
303.14/303.98	c bounds - >= -2345 @ 302.256
303.14/303.98	c bounds - >= -2344 @ 302.256
303.14/303.98	c bounds - >= -2343 @ 302.256
303.14/303.98	c bounds - >= -2342 @ 302.257
303.14/303.98	c bounds - >= -2341 @ 302.257
303.14/303.98	c bounds - >= -2340 @ 302.257
303.14/303.98	c bounds - >= -2339 @ 302.257
303.14/303.98	c bounds - >= -2338 @ 302.257
303.14/303.98	c bounds - >= -2337 @ 302.257
303.14/303.98	c bounds - >= -2336 @ 302.258
303.14/303.98	c bounds - >= -2335 @ 302.258
303.14/303.98	c bounds - >= -2334 @ 302.258
303.14/303.98	c bounds - >= -2333 @ 302.259
303.14/303.98	c bounds - >= -2332 @ 302.259
303.14/303.98	c bounds - >= -2331 @ 302.259
303.14/303.98	c bounds - >= -2330 @ 302.259
303.14/303.98	c bounds - >= -2329 @ 302.26
303.14/303.98	c bounds - >= -2328 @ 302.26
303.14/303.98	c bounds - >= -2327 @ 302.26
303.14/303.98	c bounds - >= -2326 @ 302.261
303.14/303.98	c bounds - >= -2325 @ 302.261
303.14/303.98	c bounds - >= -2324 @ 302.261
303.14/303.98	c bounds - >= -2323 @ 302.262
303.14/303.98	c bounds - >= -2322 @ 302.262
303.14/303.98	c bounds - >= -2321 @ 302.263
303.14/303.98	c bounds - >= -2320 @ 302.263
303.14/303.98	c bounds - >= -2319 @ 302.263
303.14/303.98	c bounds - >= -2318 @ 302.264
303.14/303.98	c bounds - >= -2317 @ 302.264
303.14/303.98	c bounds - >= -2316 @ 302.264
303.14/303.98	c bounds - >= -2315 @ 302.264
303.14/303.98	c bounds - >= -2314 @ 302.264
303.14/303.98	c bounds - >= -2313 @ 302.264
303.14/303.98	c bounds - >= -2312 @ 302.265
303.14/303.98	c bounds - >= -2311 @ 302.265
303.14/303.98	c bounds - >= -2310 @ 302.265
303.14/303.98	c bounds - >= -2309 @ 302.266
303.14/303.98	c bounds - >= -2308 @ 302.266
303.14/303.98	c bounds - >= -2307 @ 302.266
303.14/303.98	c bounds - >= -2306 @ 302.267
303.14/303.98	c bounds - >= -2305 @ 302.267
303.14/303.98	c bounds - >= -2304 @ 302.267
303.14/303.98	c bounds - >= -2303 @ 302.268
303.14/303.98	c bounds - >= -2302 @ 302.268
303.14/303.98	c bounds - >= -2301 @ 302.268
303.14/303.98	c bounds - >= -2300 @ 302.269
303.14/303.98	c bounds - >= -2299 @ 302.269
303.14/303.98	c bounds - >= -2298 @ 302.269
303.14/303.98	c bounds - >= -2297 @ 302.27
303.14/303.98	c bounds - >= -2296 @ 302.27
303.14/303.98	c bounds - >= -2295 @ 302.27
303.14/303.98	c bounds - >= -2294 @ 302.27
303.14/303.98	c bounds - >= -2293 @ 302.27
303.14/303.98	c bounds - >= -2292 @ 302.27
303.14/303.98	c bounds - >= -2291 @ 302.271
303.14/303.98	c bounds - >= -2290 @ 302.271
303.14/303.98	c bounds - >= -2289 @ 302.271
303.14/303.98	c bounds - >= -2288 @ 302.271
303.14/303.98	c bounds - >= -2287 @ 302.272
303.14/303.98	c bounds - >= -2286 @ 302.272
303.14/303.98	c bounds - >= -2285 @ 302.273
303.14/303.98	c bounds - >= -2284 @ 302.273
303.14/303.98	c bounds - >= -2283 @ 302.273
303.14/303.98	c bounds - >= -2282 @ 302.274
303.14/303.98	c bounds - >= -2281 @ 302.274
303.14/303.98	c bounds - >= -2280 @ 302.274
303.14/303.98	c bounds - >= -2279 @ 302.275
303.14/303.98	c bounds - >= -2278 @ 302.275
303.14/303.98	c bounds - >= -2277 @ 302.275
303.14/303.98	c bounds - >= -2276 @ 302.276
303.14/303.98	c bounds - >= -2275 @ 302.276
303.14/303.98	c bounds - >= -2274 @ 302.276
303.14/303.98	c bounds - >= -2273 @ 302.276
303.14/303.98	c bounds - >= -2272 @ 302.276
303.14/303.98	c bounds - >= -2271 @ 302.276
303.14/303.98	c bounds - >= -2270 @ 302.276
303.14/303.98	c bounds - >= -2269 @ 302.277
303.14/303.98	c bounds - >= -2268 @ 302.277
303.14/303.98	c bounds - >= -2267 @ 302.277
303.14/303.98	c bounds - >= -2266 @ 302.278
303.14/303.98	c bounds - >= -2265 @ 302.278
303.14/303.98	c bounds - >= -2264 @ 302.278
303.14/303.98	c bounds - >= -2263 @ 302.279
303.14/303.98	c bounds - >= -2262 @ 302.279
303.14/303.98	c bounds - >= -2261 @ 302.279
303.14/303.98	c bounds - >= -2260 @ 302.279
303.14/303.98	c bounds - >= -2259 @ 302.28
303.14/303.98	c bounds - >= -2258 @ 302.28
303.14/303.98	c bounds - >= -2257 @ 302.28
303.14/303.98	c bounds - >= -2256 @ 302.281
303.14/303.98	c bounds - >= -2255 @ 302.281
303.14/303.98	c bounds - >= -2254 @ 302.281
303.25/304.03	c bounds - >= -2253 @ 302.282
303.25/304.03	c bounds - >= -2252 @ 302.282
303.25/304.03	c bounds - >= -2251 @ 302.282
303.25/304.03	c bounds - >= -2250 @ 302.282
303.25/304.03	c bounds - >= -2249 @ 302.282
303.25/304.03	c bounds - >= -2248 @ 302.282
303.25/304.03	c bounds - >= -2247 @ 302.282
303.25/304.03	c bounds - >= -2246 @ 302.283
303.25/304.03	c bounds - >= -2245 @ 302.283
303.25/304.03	c bounds - >= -2244 @ 302.283
303.25/304.03	c bounds - >= -2243 @ 302.284
303.25/304.03	c bounds - >= -2242 @ 302.284
303.25/304.03	c bounds - >= -2241 @ 302.284
303.25/304.03	c bounds - >= -2240 @ 302.285
303.25/304.03	c bounds - >= -2239 @ 302.285
303.25/304.03	c bounds - >= -2238 @ 302.285
303.25/304.03	c bounds - >= -2237 @ 302.286
303.25/304.03	c bounds - >= -2236 @ 302.286
303.25/304.03	c bounds - >= -2235 @ 302.286
303.25/304.03	c bounds - >= -2234 @ 302.287
303.25/304.03	c bounds - >= -2233 @ 302.287
303.25/304.03	c bounds - >= -2232 @ 302.287
303.25/304.03	c bounds - >= -2231 @ 302.288
303.25/304.03	c bounds - >= -2230 @ 302.288
303.25/304.03	c bounds - >= -2229 @ 302.288
303.25/304.03	c bounds - >= -2228 @ 302.289
303.25/304.03	c bounds - >= -2227 @ 302.289
303.25/304.03	c bounds - >= -2226 @ 302.289
303.25/304.03	c bounds - >= -2225 @ 302.29
303.25/304.03	c bounds - >= -2224 @ 302.29
303.25/304.03	c bounds - >= -2223 @ 302.29
303.25/304.03	c bounds - >= -2222 @ 302.29
303.25/304.03	c bounds - >= -2221 @ 302.29
303.25/304.03	c bounds - >= -2220 @ 302.29
303.25/304.03	c bounds - >= -2219 @ 302.291
303.25/304.03	c bounds - >= -2218 @ 302.291
303.25/304.03	c bounds - >= -2217 @ 302.292
303.25/304.03	c bounds - >= -2216 @ 302.292
303.25/304.03	c bounds - >= -2215 @ 302.292
303.25/304.03	c bounds - >= -2214 @ 302.293
303.25/304.03	c bounds - >= -2213 @ 302.293
303.25/304.03	c bounds - >= -2212 @ 302.293
303.25/304.03	c bounds - >= -2211 @ 302.294
303.25/304.03	c bounds - >= -2210 @ 302.294
303.25/304.03	c bounds - >= -2209 @ 302.295
303.25/304.03	c bounds - >= -2208 @ 302.295
303.25/304.03	c bounds - >= -2207 @ 302.295
303.25/304.03	c bounds - >= -2206 @ 302.296
303.25/304.03	c bounds - >= -2205 @ 302.296
303.25/304.03	c bounds - >= -2204 @ 302.296
303.25/304.03	c bounds - >= -2203 @ 302.297
303.25/304.03	c bounds - >= -2202 @ 302.297
303.25/304.03	c bounds - >= -2201 @ 302.297
303.25/304.03	c bounds - >= -2200 @ 302.298
303.25/304.03	c bounds - >= -2199 @ 302.298
303.25/304.03	c bounds - >= -2198 @ 302.298
303.25/304.03	c bounds - >= -2197 @ 302.299
303.25/304.03	c bounds - >= -2196 @ 302.3
303.25/304.03	c bounds - >= -2195 @ 302.3
303.25/304.03	c bounds - >= -2194 @ 302.3
303.25/304.03	c bounds - >= -2193 @ 302.3
303.25/304.03	c bounds - >= -2192 @ 302.301
303.25/304.03	c bounds - >= -2191 @ 302.301
303.25/304.03	c bounds - >= -2190 @ 302.302
303.25/304.03	c bounds - >= -2189 @ 302.302
303.25/304.03	c bounds - >= -2188 @ 302.302
303.25/304.03	c bounds - >= -2187 @ 302.303
303.25/304.03	c bounds - >= -2186 @ 302.303
303.25/304.03	c bounds - >= -2185 @ 302.304
303.25/304.03	c bounds - >= -2184 @ 302.304
303.25/304.03	c bounds - >= -2183 @ 302.304
303.25/304.03	c bounds - >= -2182 @ 302.305
303.25/304.03	c bounds - >= -2181 @ 302.305
303.25/304.03	c bounds - >= -2180 @ 302.305
303.25/304.03	c bounds - >= -2179 @ 302.305
303.25/304.03	c bounds - >= -2178 @ 302.306
303.25/304.03	c bounds - >= -2177 @ 302.306
303.25/304.03	c bounds - >= -2176 @ 302.307
303.25/304.03	c bounds - >= -2175 @ 302.308
303.25/304.03	c bounds - >= -2174 @ 302.308
303.25/304.03	c bounds - >= -2173 @ 302.308
303.25/304.03	c bounds - >= -2172 @ 302.309
303.25/304.03	c bounds - >= -2171 @ 302.309
303.25/304.03	c bounds - >= -2170 @ 302.309
303.25/304.03	c bounds - >= -2169 @ 302.31
303.25/304.03	c bounds - >= -2168 @ 302.31
303.25/304.03	c bounds - >= -2167 @ 302.31
303.25/304.03	c bounds - >= -2166 @ 302.311
303.25/304.03	c bounds - >= -2165 @ 302.311
303.25/304.03	c bounds - >= -2164 @ 302.312
303.25/304.03	c bounds - >= -2163 @ 302.312
303.25/304.03	c bounds - >= -2162 @ 302.313
303.25/304.03	c bounds - >= -2161 @ 302.313
303.25/304.03	c bounds - >= -2160 @ 302.313
303.25/304.03	c bounds - >= -2159 @ 302.314
303.25/304.03	c bounds - >= -2158 @ 302.314
303.25/304.03	c bounds - >= -2157 @ 302.314
303.25/304.03	c bounds - >= -2156 @ 302.315
303.25/304.03	c bounds - >= -2155 @ 302.315
303.25/304.03	c bounds - >= -2154 @ 302.315
303.25/304.03	c bounds - >= -2153 @ 302.316
303.25/304.03	c bounds - >= -2152 @ 302.316
303.25/304.03	c bounds - >= -2151 @ 302.317
303.25/304.03	c bounds - >= -2150 @ 302.317
303.25/304.03	c bounds - >= -2149 @ 302.317
303.25/304.03	c bounds - >= -2148 @ 302.318
303.25/304.03	c bounds - >= -2147 @ 302.319
303.25/304.03	c bounds - >= -2146 @ 302.319
303.25/304.03	c bounds - >= -2145 @ 302.319
303.25/304.03	c bounds - >= -2144 @ 302.32
303.25/304.03	c bounds - >= -2143 @ 302.32
303.25/304.03	c bounds - >= -2142 @ 302.32
303.25/304.03	c bounds - >= -2141 @ 302.321
303.25/304.03	c bounds - >= -2140 @ 302.322
303.25/304.03	c bounds - >= -2139 @ 302.322
303.25/304.03	c bounds - >= -2138 @ 302.322
303.25/304.03	c bounds - >= -2137 @ 302.323
303.25/304.03	c bounds - >= -2136 @ 302.323
303.25/304.03	c bounds - >= -2135 @ 302.324
303.25/304.03	c bounds - >= -2134 @ 302.324
303.25/304.03	c bounds - >= -2133 @ 302.325
303.25/304.03	c bounds - >= -2132 @ 302.325
303.25/304.03	c bounds - >= -2131 @ 302.325
303.25/304.03	c bounds - >= -2130 @ 302.326
303.25/304.03	c bounds - >= -2129 @ 302.326
303.25/304.03	c bounds - >= -2128 @ 302.326
303.25/304.03	c bounds - >= -2127 @ 302.327
303.25/304.03	c bounds - >= -2126 @ 302.327
303.25/304.03	c bounds - >= -2125 @ 302.328
303.25/304.03	c bounds - >= -2124 @ 302.328
303.25/304.03	c bounds - >= -2123 @ 302.329
303.25/304.03	c bounds - >= -2122 @ 302.329
303.25/304.03	c bounds - >= -2121 @ 302.33
303.25/304.03	c bounds - >= -2120 @ 302.33
303.25/304.03	c bounds - >= -2119 @ 302.33
303.25/304.03	c bounds - >= -2118 @ 302.331
303.25/304.03	c bounds - >= -2117 @ 302.331
437.64/438.72	c bounds - >= -2116 @ 302.331
437.64/438.72	c bounds - >= -2115 @ 302.332
437.64/438.72	c bounds - >= -2114 @ 302.332
437.64/438.72	c bounds - >= -2113 @ 302.333
437.64/438.72	c bounds - >= -2112 @ 302.333
437.64/438.72	c bounds - >= -2111 @ 302.333
437.64/438.72	c bounds - >= -2110 @ 302.333
437.64/438.72	c bounds - >= -2109 @ 302.334
437.64/438.72	c bounds - >= -2108 @ 302.334
437.64/438.72	c bounds - >= -2107 @ 302.335
437.64/438.72	c bounds - >= -2106 @ 302.335
437.64/438.72	c bounds - >= -2105 @ 302.335
437.64/438.72	c bounds - >= -2104 @ 302.335
437.64/438.72	c bounds - >= -2103 @ 302.336
437.64/438.72	c bounds - >= -2102 @ 302.337
437.64/438.72	c bounds - >= -2101 @ 302.337
437.64/438.72	c bounds - >= -2100 @ 302.337
437.64/438.72	c bounds - >= -2099 @ 302.338
437.64/438.72	c bounds - >= -2098 @ 302.338
437.64/438.72	c bounds - >= -2097 @ 302.338
437.64/438.72	c bounds - >= -2096 @ 302.339
437.64/438.72	c bounds - >= -2095 @ 302.339
437.64/438.72	c bounds - >= -2094 @ 302.339
437.64/438.72	c bounds - >= -2093 @ 302.34
437.64/438.72	c bounds - >= -2092 @ 302.34
437.64/438.72	c bounds - >= -2091 @ 302.34
437.64/438.72	c bounds - >= -2090 @ 302.341
437.64/438.72	c bounds - >= -2089 @ 302.341
437.64/438.72	c bounds - >= -2088 @ 302.341
437.64/438.72	c bounds - >= -2087 @ 302.342
437.64/438.72	c bounds - >= -2086 @ 302.342
437.64/438.72	c bounds - >= -2085 @ 302.343
437.64/438.72	c bounds - >= -2084 @ 302.343
437.64/438.72	c bounds - >= -2083 @ 302.343
437.64/438.72	c bounds - >= -2082 @ 302.344
437.64/438.72	c bounds - >= -2081 @ 302.344
437.64/438.72	c bounds - >= -2080 @ 302.345
437.64/438.72	c bounds - >= -2079 @ 302.345
437.64/438.72	c bounds - >= -2078 @ 302.345
437.64/438.72	c #Conflicts:       1000 | #Constraints:     383055
437.64/438.72	c #Conflicts:       2000 | #Constraints:     384055
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:       3000 | #Constraints:     383170
437.64/438.72	c #Conflicts:       4000 | #Constraints:     384170
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:       5000 | #Constraints:     383558
437.64/438.72	c #Conflicts:       6000 | #Constraints:     384558
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:       7000 | #Constraints:     383551
437.64/438.72	c #Conflicts:       8000 | #Constraints:     384551
437.64/438.72	c #Conflicts:       9000 | #Constraints:     385551
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      10000 | #Constraints:     384247
437.64/438.72	c #Conflicts:      11000 | #Constraints:     385247
437.64/438.72	c #Conflicts:      12000 | #Constraints:     386247
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      13000 | #Constraints:     384695
437.64/438.72	c #Conflicts:      14000 | #Constraints:     385695
437.64/438.72	c #Conflicts:      15000 | #Constraints:     386695
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      16000 | #Constraints:     384920
437.64/438.72	c #Conflicts:      17000 | #Constraints:     385920
437.64/438.72	c #Conflicts:      18000 | #Constraints:     386920
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      19000 | #Constraints:     384933
437.64/438.72	c #Conflicts:      20000 | #Constraints:     385933
437.64/438.72	c #Conflicts:      21000 | #Constraints:     386933
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      22000 | #Constraints:     384739
437.64/438.72	c #Conflicts:      23000 | #Constraints:     385739
437.64/438.72	c #Conflicts:      24000 | #Constraints:     386739
437.64/438.72	c #Conflicts:      25000 | #Constraints:     387739
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      26000 | #Constraints:     385343
437.64/438.72	c #Conflicts:      27000 | #Constraints:     386343
437.64/438.72	c #Conflicts:      28000 | #Constraints:     387343
437.64/438.72	c #Conflicts:      29000 | #Constraints:     388343
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      30000 | #Constraints:     385744
437.64/438.72	c #Conflicts:      31000 | #Constraints:     386744
437.64/438.72	c #Conflicts:      32000 | #Constraints:     387744
437.64/438.72	c #Conflicts:      33000 | #Constraints:     388744
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      34000 | #Constraints:     385946
437.64/438.72	c #Conflicts:      35000 | #Constraints:     386946
437.64/438.72	c #Conflicts:      36000 | #Constraints:     387946
437.64/438.72	c #Conflicts:      37000 | #Constraints:     388946
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      38000 | #Constraints:     385947
437.64/438.72	c #Conflicts:      39000 | #Constraints:     386947
437.64/438.72	c #Conflicts:      40000 | #Constraints:     387947
437.64/438.72	c #Conflicts:      41000 | #Constraints:     388947
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      42000 | #Constraints:     385749
437.64/438.72	c #Conflicts:      43000 | #Constraints:     386749
437.64/438.72	c #Conflicts:      44000 | #Constraints:     387749
437.64/438.72	c #Conflicts:      45000 | #Constraints:     388749
437.64/438.72	c #Conflicts:      46000 | #Constraints:     389749
437.64/438.72	c INPROCESSING
437.64/438.72	c GARBAGE COLLECT
437.64/438.72	c #Conflicts:      47000 | #Constraints:     386345
437.64/438.72	c #Conflicts:      48000 | #Constraints:     387345
663.44/665.09	c #Conflicts:      49000 | #Constraints:     388345
663.44/665.09	c #Conflicts:      50000 | #Constraints:     389345
663.44/665.09	c #Conflicts:      51000 | #Constraints:     390345
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      52000 | #Constraints:     386744
663.44/665.09	c #Conflicts:      53000 | #Constraints:     387744
663.44/665.09	c #Conflicts:      54000 | #Constraints:     388744
663.44/665.09	c #Conflicts:      55000 | #Constraints:     389744
663.44/665.09	c #Conflicts:      56000 | #Constraints:     390744
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      57000 | #Constraints:     386944
663.44/665.09	c #Conflicts:      58000 | #Constraints:     387944
663.44/665.09	c #Conflicts:      59000 | #Constraints:     388944
663.44/665.09	c #Conflicts:      60000 | #Constraints:     389944
663.44/665.09	c #Conflicts:      61000 | #Constraints:     390944
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      62000 | #Constraints:     386945
663.44/665.09	c #Conflicts:      63000 | #Constraints:     387945
663.44/665.09	c #Conflicts:      64000 | #Constraints:     388945
663.44/665.09	c #Conflicts:      65000 | #Constraints:     389945
663.44/665.09	c #Conflicts:      66000 | #Constraints:     390945
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      67000 | #Constraints:     386745
663.44/665.09	c #Conflicts:      68000 | #Constraints:     387745
663.44/665.09	c #Conflicts:      69000 | #Constraints:     388745
663.44/665.09	c #Conflicts:      70000 | #Constraints:     389745
663.44/665.09	c #Conflicts:      71000 | #Constraints:     390745
663.44/665.09	c #Conflicts:      72000 | #Constraints:     391745
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      73000 | #Constraints:     387346
663.44/665.09	c #Conflicts:      74000 | #Constraints:     388346
663.44/665.09	c #Conflicts:      75000 | #Constraints:     389346
663.44/665.09	c #Conflicts:      76000 | #Constraints:     390346
663.44/665.09	c #Conflicts:      77000 | #Constraints:     391346
663.44/665.09	c #Conflicts:      78000 | #Constraints:     392346
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      79000 | #Constraints:     387745
663.44/665.09	c #Conflicts:      80000 | #Constraints:     388745
663.44/665.09	c #Conflicts:      81000 | #Constraints:     389745
663.44/665.09	c #Conflicts:      82000 | #Constraints:     390745
663.44/665.09	c #Conflicts:      83000 | #Constraints:     391745
663.44/665.09	c #Conflicts:      84000 | #Constraints:     392745
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      85000 | #Constraints:     387947
663.44/665.09	c #Conflicts:      86000 | #Constraints:     388947
663.44/665.09	c #Conflicts:      87000 | #Constraints:     389947
663.44/665.09	c #Conflicts:      88000 | #Constraints:     390947
663.44/665.09	c #Conflicts:      89000 | #Constraints:     391947
663.44/665.09	c #Conflicts:      90000 | #Constraints:     392947
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      91000 | #Constraints:     387948
663.44/665.09	c #Conflicts:      92000 | #Constraints:     388948
663.44/665.09	c #Conflicts:      93000 | #Constraints:     389948
663.44/665.09	c #Conflicts:      94000 | #Constraints:     390948
663.44/665.09	c #Conflicts:      95000 | #Constraints:     391948
663.44/665.09	c #Conflicts:      96000 | #Constraints:     392948
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:      97000 | #Constraints:     387748
663.44/665.09	c #Conflicts:      98000 | #Constraints:     388748
663.44/665.09	c #Conflicts:      99000 | #Constraints:     389748
663.44/665.09	c #Conflicts:     100000 | #Constraints:     390748
663.44/665.09	c #Conflicts:     101000 | #Constraints:     391748
663.44/665.09	c #Conflicts:     102000 | #Constraints:     392748
663.44/665.09	c #Conflicts:     103000 | #Constraints:     393748
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:     104000 | #Constraints:     388349
663.44/665.09	c #Conflicts:     105000 | #Constraints:     389349
663.44/665.09	c #Conflicts:     106000 | #Constraints:     390349
663.44/665.09	c #Conflicts:     107000 | #Constraints:     391349
663.44/665.09	c #Conflicts:     108000 | #Constraints:     392349
663.44/665.09	c #Conflicts:     109000 | #Constraints:     393349
663.44/665.09	c #Conflicts:     110000 | #Constraints:     394349
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:     111000 | #Constraints:     388750
663.44/665.09	c #Conflicts:     112000 | #Constraints:     389750
663.44/665.09	c #Conflicts:     113000 | #Constraints:     390750
663.44/665.09	c #Conflicts:     114000 | #Constraints:     391750
663.44/665.09	c #Conflicts:     115000 | #Constraints:     392750
663.44/665.09	c #Conflicts:     116000 | #Constraints:     393750
663.44/665.09	c #Conflicts:     117000 | #Constraints:     394750
663.44/665.09	c INPROCESSING
663.44/665.09	c GARBAGE COLLECT
663.44/665.09	c #Conflicts:     118000 | #Constraints:     388948
663.44/665.09	c #Conflicts:     119000 | #Constraints:     389948
907.05/909.21	c #Conflicts:     120000 | #Constraints:     390948
907.05/909.21	c #Conflicts:     121000 | #Constraints:     391948
907.05/909.21	c #Conflicts:     122000 | #Constraints:     392948
907.05/909.21	c #Conflicts:     123000 | #Constraints:     393948
907.05/909.21	c #Conflicts:     124000 | #Constraints:     394948
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     125000 | #Constraints:     388946
907.05/909.21	c #Conflicts:     126000 | #Constraints:     389946
907.05/909.21	c #Conflicts:     127000 | #Constraints:     390946
907.05/909.21	c #Conflicts:     128000 | #Constraints:     391946
907.05/909.21	c #Conflicts:     129000 | #Constraints:     392946
907.05/909.21	c #Conflicts:     130000 | #Constraints:     393946
907.05/909.21	c #Conflicts:     131000 | #Constraints:     394946
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     132000 | #Constraints:     388747
907.05/909.21	c #Conflicts:     133000 | #Constraints:     389747
907.05/909.21	c #Conflicts:     134000 | #Constraints:     390747
907.05/909.21	c #Conflicts:     135000 | #Constraints:     391747
907.05/909.21	c #Conflicts:     136000 | #Constraints:     392747
907.05/909.21	c #Conflicts:     137000 | #Constraints:     393747
907.05/909.21	c #Conflicts:     138000 | #Constraints:     394747
907.05/909.21	c #Conflicts:     139000 | #Constraints:     395747
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     140000 | #Constraints:     389348
907.05/909.21	c #Conflicts:     141000 | #Constraints:     390348
907.05/909.21	c #Conflicts:     142000 | #Constraints:     391348
907.05/909.21	c #Conflicts:     143000 | #Constraints:     392348
907.05/909.21	c #Conflicts:     144000 | #Constraints:     393348
907.05/909.21	c #Conflicts:     145000 | #Constraints:     394348
907.05/909.21	c #Conflicts:     146000 | #Constraints:     395348
907.05/909.21	c #Conflicts:     147000 | #Constraints:     396348
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     148000 | #Constraints:     389749
907.05/909.21	c #Conflicts:     149000 | #Constraints:     390749
907.05/909.21	c #Conflicts:     150000 | #Constraints:     391749
907.05/909.21	c #Conflicts:     151000 | #Constraints:     392749
907.05/909.21	c #Conflicts:     152000 | #Constraints:     393749
907.05/909.21	c #Conflicts:     153000 | #Constraints:     394749
907.05/909.21	c #Conflicts:     154000 | #Constraints:     395749
907.05/909.21	c #Conflicts:     155000 | #Constraints:     396749
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     156000 | #Constraints:     389950
907.05/909.21	c #Conflicts:     157000 | #Constraints:     390950
907.05/909.21	c #Conflicts:     158000 | #Constraints:     391950
907.05/909.21	c #Conflicts:     159000 | #Constraints:     392950
907.05/909.21	c #Conflicts:     160000 | #Constraints:     393950
907.05/909.21	c #Conflicts:     161000 | #Constraints:     394950
907.05/909.21	c #Conflicts:     162000 | #Constraints:     395950
907.05/909.21	c #Conflicts:     163000 | #Constraints:     396950
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     164000 | #Constraints:     389948
907.05/909.21	c #Conflicts:     165000 | #Constraints:     390948
907.05/909.21	c #Conflicts:     166000 | #Constraints:     391948
907.05/909.21	c #Conflicts:     167000 | #Constraints:     392948
907.05/909.21	c #Conflicts:     168000 | #Constraints:     393948
907.05/909.21	c #Conflicts:     169000 | #Constraints:     394948
907.05/909.21	c #Conflicts:     170000 | #Constraints:     395948
907.05/909.21	c #Conflicts:     171000 | #Constraints:     396948
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     172000 | #Constraints:     389749
907.05/909.21	c #Conflicts:     173000 | #Constraints:     390749
907.05/909.21	c #Conflicts:     174000 | #Constraints:     391749
907.05/909.21	c #Conflicts:     175000 | #Constraints:     392749
907.05/909.21	c #Conflicts:     176000 | #Constraints:     393749
907.05/909.21	c #Conflicts:     177000 | #Constraints:     394749
907.05/909.21	c #Conflicts:     178000 | #Constraints:     395749
907.05/909.21	c #Conflicts:     179000 | #Constraints:     396749
907.05/909.21	c #Conflicts:     180000 | #Constraints:     397749
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     181000 | #Constraints:     390349
907.05/909.21	c #Conflicts:     182000 | #Constraints:     391349
907.05/909.21	c #Conflicts:     183000 | #Constraints:     392349
907.05/909.21	c #Conflicts:     184000 | #Constraints:     393349
907.05/909.21	c #Conflicts:     185000 | #Constraints:     394349
907.05/909.21	c #Conflicts:     186000 | #Constraints:     395349
907.05/909.21	c #Conflicts:     187000 | #Constraints:     396349
907.05/909.21	c #Conflicts:     188000 | #Constraints:     397349
907.05/909.21	c #Conflicts:     189000 | #Constraints:     398349
907.05/909.21	c INPROCESSING
907.05/909.21	c GARBAGE COLLECT
907.05/909.21	c #Conflicts:     190000 | #Constraints:     390751
907.05/909.21	c #Conflicts:     191000 | #Constraints:     391751
907.05/909.21	c #Conflicts:     192000 | #Constraints:     392751
1126.59/1129.35	c #Conflicts:     193000 | #Constraints:     393751
1126.59/1129.35	c #Conflicts:     194000 | #Constraints:     394751
1126.59/1129.35	c #Conflicts:     195000 | #Constraints:     395751
1126.59/1129.35	c #Conflicts:     196000 | #Constraints:     396751
1126.59/1129.35	c #Conflicts:     197000 | #Constraints:     397751
1126.59/1129.35	c #Conflicts:     198000 | #Constraints:     398751
1126.59/1129.35	c INPROCESSING
1126.59/1129.35	c GARBAGE COLLECT
1126.59/1129.35	c #Conflicts:     199000 | #Constraints:     390953
1126.59/1129.35	c #Conflicts:     200000 | #Constraints:     391953
1126.59/1129.35	c #Conflicts:     201000 | #Constraints:     392953
1126.59/1129.35	c #Conflicts:     202000 | #Constraints:     393953
1126.59/1129.35	c #Conflicts:     203000 | #Constraints:     394953
1126.59/1129.35	c #Conflicts:     204000 | #Constraints:     395953
1126.59/1129.35	c #Conflicts:     205000 | #Constraints:     396953
1126.59/1129.35	c #Conflicts:     206000 | #Constraints:     397953
1126.59/1129.35	c #Conflicts:     207000 | #Constraints:     398953
1126.59/1129.35	c INPROCESSING
1126.59/1129.35	c GARBAGE COLLECT
1126.59/1129.35	c #Conflicts:     208000 | #Constraints:     390952
1126.59/1129.35	c #Conflicts:     209000 | #Constraints:     391952
1126.59/1129.35	c #Conflicts:     210000 | #Constraints:     392952
1126.59/1129.35	c #Conflicts:     211000 | #Constraints:     393952
1126.59/1129.35	c #Conflicts:     212000 | #Constraints:     394952
1126.59/1129.35	c #Conflicts:     213000 | #Constraints:     395952
1126.59/1129.35	c #Conflicts:     214000 | #Constraints:     396952
1126.59/1129.35	c #Conflicts:     215000 | #Constraints:     397952
1126.59/1129.35	c #Conflicts:     216000 | #Constraints:     398952
1126.59/1129.35	c INPROCESSING
1126.59/1129.35	c GARBAGE COLLECT
1126.59/1129.35	c #Conflicts:     217000 | #Constraints:     390753
1126.59/1129.35	c #Conflicts:     218000 | #Constraints:     391753
1126.59/1129.35	c #Conflicts:     219000 | #Constraints:     392753
1126.59/1129.35	c #Conflicts:     220000 | #Constraints:     393753
1126.59/1129.35	c #Conflicts:     221000 | #Constraints:     394753
1126.59/1129.35	c #Conflicts:     222000 | #Constraints:     395753
1126.59/1129.35	c #Conflicts:     223000 | #Constraints:     396753
1126.59/1129.35	c #Conflicts:     224000 | #Constraints:     397753
1126.59/1129.35	c #Conflicts:     225000 | #Constraints:     398753
1126.59/1129.35	c #Conflicts:     226000 | #Constraints:     399753
1126.59/1129.35	c INPROCESSING
1126.59/1129.35	c GARBAGE COLLECT
1126.59/1129.35	c #Conflicts:     227000 | #Constraints:     391351
1126.59/1129.35	c #Conflicts:     228000 | #Constraints:     392351
1126.59/1129.35	c #Conflicts:     229000 | #Constraints:     393351
1126.59/1129.35	c #Conflicts:     230000 | #Constraints:     394351
1126.59/1129.35	c #Conflicts:     231000 | #Constraints:     395351
1126.59/1129.35	c #Conflicts:     232000 | #Constraints:     396351
1126.59/1129.35	c #Conflicts:     233000 | #Constraints:     397351
1126.59/1129.35	c #Conflicts:     234000 | #Constraints:     398351
1126.59/1129.35	c #Conflicts:     235000 | #Constraints:     399351
1126.59/1129.35	c #Conflicts:     236000 | #Constraints:     400351
1126.59/1129.35	c INPROCESSING
1126.59/1129.35	c GARBAGE COLLECT
1126.59/1129.35	c #Conflicts:     237000 | #Constraints:     391751
1126.59/1129.35	c #Conflicts:     238000 | #Constraints:     392751
1126.59/1129.35	c #Conflicts:     239000 | #Constraints:     393751
1126.59/1129.35	c #Conflicts:     240000 | #Constraints:     394751
1126.59/1129.35	c #Conflicts:     241000 | #Constraints:     395751
1126.59/1129.35	c #Conflicts:     242000 | #Constraints:     396751
1126.59/1129.35	c #Conflicts:     243000 | #Constraints:     397751
1126.59/1129.35	c #Conflicts:     244000 | #Constraints:     398751
1126.59/1129.35	c #Conflicts:     245000 | #Constraints:     399751
1126.59/1129.35	c #Conflicts:     246000 | #Constraints:     400751
1126.59/1129.35	c INPROCESSING
1126.59/1129.35	c GARBAGE COLLECT
1126.59/1129.35	c #Conflicts:     247000 | #Constraints:     391951
1126.59/1129.35	c #Conflicts:     248000 | #Constraints:     392951
1126.59/1129.35	c #Conflicts:     249000 | #Constraints:     393951
1126.59/1129.35	c #Conflicts:     250000 | #Constraints:     394951
1126.59/1129.35	c #Conflicts:     251000 | #Constraints:     395951
1126.59/1129.35	c #Conflicts:     252000 | #Constraints:     396951
1126.59/1129.35	c #Conflicts:     253000 | #Constraints:     397951
1126.59/1129.35	c #Conflicts:     254000 | #Constraints:     398951
1126.59/1129.35	c #Conflicts:     255000 | #Constraints:     399951
1126.59/1129.35	c #Conflicts:     256000 | #Constraints:     400951
1126.59/1129.35	c INPROCESSING
1126.59/1129.35	c GARBAGE COLLECT
1126.59/1129.35	c #Conflicts:     257000 | #Constraints:     391950
1126.59/1129.35	c #Conflicts:     258000 | #Constraints:     392950
1126.59/1129.35	c #Conflicts:     259000 | #Constraints:     393950
1126.59/1129.35	c #Conflicts:     260000 | #Constraints:     394950
1126.59/1129.35	c #Conflicts:     261000 | #Constraints:     395950
1126.59/1129.35	c #Conflicts:     262000 | #Constraints:     396950
1126.59/1129.35	c #Conflicts:     263000 | #Constraints:     397950
1126.59/1129.35	c #Conflicts:     264000 | #Constraints:     398950
1126.59/1129.35	c #Conflicts:     265000 | #Constraints:     399950
1126.59/1129.35	c #Conflicts:     266000 | #Constraints:     400950
1367.87/1371.24	c INPROCESSING
1367.87/1371.24	c GARBAGE COLLECT
1367.87/1371.24	c #Conflicts:     267000 | #Constraints:     391750
1367.87/1371.24	c #Conflicts:     268000 | #Constraints:     392750
1367.87/1371.24	c #Conflicts:     269000 | #Constraints:     393750
1367.87/1371.24	c #Conflicts:     270000 | #Constraints:     394750
1367.87/1371.24	c #Conflicts:     271000 | #Constraints:     395750
1367.87/1371.24	c #Conflicts:     272000 | #Constraints:     396750
1367.87/1371.24	c #Conflicts:     273000 | #Constraints:     397750
1367.87/1371.24	c #Conflicts:     274000 | #Constraints:     398750
1367.87/1371.24	c #Conflicts:     275000 | #Constraints:     399750
1367.87/1371.24	c #Conflicts:     276000 | #Constraints:     400750
1367.87/1371.24	c #Conflicts:     277000 | #Constraints:     401750
1367.87/1371.24	c INPROCESSING
1367.87/1371.24	c GARBAGE COLLECT
1367.87/1371.24	c #Conflicts:     278000 | #Constraints:     392348
1367.87/1371.24	c #Conflicts:     279000 | #Constraints:     393348
1367.87/1371.24	c #Conflicts:     280000 | #Constraints:     394348
1367.87/1371.24	c #Conflicts:     281000 | #Constraints:     395348
1367.87/1371.24	c #Conflicts:     282000 | #Constraints:     396348
1367.87/1371.24	c #Conflicts:     283000 | #Constraints:     397348
1367.87/1371.24	c #Conflicts:     284000 | #Constraints:     398348
1367.87/1371.24	c #Conflicts:     285000 | #Constraints:     399348
1367.87/1371.24	c #Conflicts:     286000 | #Constraints:     400348
1367.87/1371.24	c #Conflicts:     287000 | #Constraints:     401348
1367.87/1371.24	c #Conflicts:     288000 | #Constraints:     402348
1367.87/1371.24	c INPROCESSING
1367.87/1371.24	c GARBAGE COLLECT
1367.87/1371.24	c #Conflicts:     289000 | #Constraints:     392747
1367.87/1371.24	c #Conflicts:     290000 | #Constraints:     393747
1367.87/1371.24	c #Conflicts:     291000 | #Constraints:     394747
1367.87/1371.24	c #Conflicts:     292000 | #Constraints:     395747
1367.87/1371.24	c #Conflicts:     293000 | #Constraints:     396747
1367.87/1371.24	c #Conflicts:     294000 | #Constraints:     397747
1367.87/1371.24	c #Conflicts:     295000 | #Constraints:     398747
1367.87/1371.24	c #Conflicts:     296000 | #Constraints:     399747
1367.87/1371.24	c #Conflicts:     297000 | #Constraints:     400747
1367.87/1371.24	c #Conflicts:     298000 | #Constraints:     401747
1367.87/1371.24	c #Conflicts:     299000 | #Constraints:     402747
1367.87/1371.24	c INPROCESSING
1367.87/1371.24	c GARBAGE COLLECT
1367.87/1371.24	c #Conflicts:     300000 | #Constraints:     392947
1367.87/1371.24	c #Conflicts:     301000 | #Constraints:     393947
1367.87/1371.24	c #Conflicts:     302000 | #Constraints:     394947
1367.87/1371.24	c #Conflicts:     303000 | #Constraints:     395947
1367.87/1371.24	c #Conflicts:     304000 | #Constraints:     396947
1367.87/1371.24	c #Conflicts:     305000 | #Constraints:     397947
1367.87/1371.24	c #Conflicts:     306000 | #Constraints:     398947
1367.87/1371.24	c #Conflicts:     307000 | #Constraints:     399947
1367.87/1371.24	c #Conflicts:     308000 | #Constraints:     400947
1367.87/1371.24	c #Conflicts:     309000 | #Constraints:     401947
1367.87/1371.24	c #Conflicts:     310000 | #Constraints:     402947
1367.87/1371.24	c INPROCESSING
1367.87/1371.24	c GARBAGE COLLECT
1367.87/1371.24	c #Conflicts:     311000 | #Constraints:     392951
1367.87/1371.24	c #Conflicts:     312000 | #Constraints:     393951
1367.87/1371.24	c #Conflicts:     313000 | #Constraints:     394951
1367.87/1371.24	c #Conflicts:     314000 | #Constraints:     395951
1367.87/1371.24	c #Conflicts:     315000 | #Constraints:     396951
1367.87/1371.24	c #Conflicts:     316000 | #Constraints:     397951
1367.87/1371.24	c #Conflicts:     317000 | #Constraints:     398951
1367.87/1371.24	c #Conflicts:     318000 | #Constraints:     399951
1367.87/1371.24	c #Conflicts:     319000 | #Constraints:     400951
1367.87/1371.24	c #Conflicts:     320000 | #Constraints:     401951
1367.87/1371.24	c #Conflicts:     321000 | #Constraints:     402951
1367.87/1371.24	c INPROCESSING
1367.87/1371.24	c GARBAGE COLLECT
1367.87/1371.24	c #Conflicts:     322000 | #Constraints:     392751
1367.87/1371.24	c #Conflicts:     323000 | #Constraints:     393751
1367.87/1371.24	c #Conflicts:     324000 | #Constraints:     394751
1367.87/1371.24	c #Conflicts:     325000 | #Constraints:     395751
1367.87/1371.24	c #Conflicts:     326000 | #Constraints:     396751
1367.87/1371.24	c #Conflicts:     327000 | #Constraints:     397751
1367.87/1371.24	c #Conflicts:     328000 | #Constraints:     398751
1367.87/1371.24	c #Conflicts:     329000 | #Constraints:     399751
1367.87/1371.24	c #Conflicts:     330000 | #Constraints:     400751
1367.87/1371.24	c #Conflicts:     331000 | #Constraints:     401751
1367.87/1371.24	c #Conflicts:     332000 | #Constraints:     402751
1367.87/1371.24	c #Conflicts:     333000 | #Constraints:     403751
1367.87/1371.24	c INPROCESSING
1367.87/1371.24	c GARBAGE COLLECT
1367.87/1371.24	c #Conflicts:     334000 | #Constraints:     393349
1367.87/1371.24	c #Conflicts:     335000 | #Constraints:     394349
1367.87/1371.24	c #Conflicts:     336000 | #Constraints:     395349
1367.87/1371.24	c #Conflicts:     337000 | #Constraints:     396349
1367.87/1371.24	c #Conflicts:     338000 | #Constraints:     397349
1367.87/1371.24	c #Conflicts:     339000 | #Constraints:     398349
1367.87/1371.24	c #Conflicts:     340000 | #Constraints:     399349
1625.77/1629.82	c #Conflicts:     341000 | #Constraints:     400349
1625.77/1629.82	c #Conflicts:     342000 | #Constraints:     401349
1625.77/1629.82	c #Conflicts:     343000 | #Constraints:     402349
1625.77/1629.82	c #Conflicts:     344000 | #Constraints:     403349
1625.77/1629.82	c #Conflicts:     345000 | #Constraints:     404349
1625.77/1629.82	c INPROCESSING
1625.77/1629.82	c GARBAGE COLLECT
1625.77/1629.82	c #Conflicts:     346000 | #Constraints:     393752
1625.77/1629.82	c #Conflicts:     347000 | #Constraints:     394752
1625.77/1629.82	c #Conflicts:     348000 | #Constraints:     395752
1625.77/1629.82	c #Conflicts:     349000 | #Constraints:     396752
1625.77/1629.82	c #Conflicts:     350000 | #Constraints:     397752
1625.77/1629.82	c #Conflicts:     351000 | #Constraints:     398752
1625.77/1629.82	c #Conflicts:     352000 | #Constraints:     399752
1625.77/1629.82	c #Conflicts:     353000 | #Constraints:     400752
1625.77/1629.82	c #Conflicts:     354000 | #Constraints:     401752
1625.77/1629.82	c #Conflicts:     355000 | #Constraints:     402752
1625.77/1629.82	c #Conflicts:     356000 | #Constraints:     403752
1625.77/1629.82	c #Conflicts:     357000 | #Constraints:     404752
1625.77/1629.82	c INPROCESSING
1625.77/1629.82	c GARBAGE COLLECT
1625.77/1629.82	c #Conflicts:     358000 | #Constraints:     393948
1625.77/1629.82	c #Conflicts:     359000 | #Constraints:     394948
1625.77/1629.82	c #Conflicts:     360000 | #Constraints:     395948
1625.77/1629.82	c #Conflicts:     361000 | #Constraints:     396948
1625.77/1629.82	c #Conflicts:     362000 | #Constraints:     397948
1625.77/1629.82	c #Conflicts:     363000 | #Constraints:     398948
1625.77/1629.82	c #Conflicts:     364000 | #Constraints:     399948
1625.77/1629.82	c #Conflicts:     365000 | #Constraints:     400948
1625.77/1629.82	c #Conflicts:     366000 | #Constraints:     401948
1625.77/1629.82	c #Conflicts:     367000 | #Constraints:     402948
1625.77/1629.82	c #Conflicts:     368000 | #Constraints:     403948
1625.77/1629.82	c #Conflicts:     369000 | #Constraints:     404948
1625.77/1629.82	c INPROCESSING
1625.77/1629.82	c GARBAGE COLLECT
1625.77/1629.82	c #Conflicts:     370000 | #Constraints:     393947
1625.77/1629.82	c #Conflicts:     371000 | #Constraints:     394947
1625.77/1629.82	c #Conflicts:     372000 | #Constraints:     395947
1625.77/1629.82	c #Conflicts:     373000 | #Constraints:     396947
1625.77/1629.82	c #Conflicts:     374000 | #Constraints:     397947
1625.77/1629.82	c #Conflicts:     375000 | #Constraints:     398947
1625.77/1629.82	c #Conflicts:     376000 | #Constraints:     399947
1625.77/1629.82	c #Conflicts:     377000 | #Constraints:     400947
1625.77/1629.82	c #Conflicts:     378000 | #Constraints:     401947
1625.77/1629.82	c #Conflicts:     379000 | #Constraints:     402947
1625.77/1629.82	c #Conflicts:     380000 | #Constraints:     403947
1625.77/1629.82	c #Conflicts:     381000 | #Constraints:     404947
1625.77/1629.82	c INPROCESSING
1625.77/1629.82	c GARBAGE COLLECT
1625.77/1629.82	c #Conflicts:     382000 | #Constraints:     393747
1625.77/1629.82	c #Conflicts:     383000 | #Constraints:     394747
1625.77/1629.82	c #Conflicts:     384000 | #Constraints:     395747
1625.77/1629.82	c #Conflicts:     385000 | #Constraints:     396747
1625.77/1629.82	c #Conflicts:     386000 | #Constraints:     397747
1625.77/1629.82	c #Conflicts:     387000 | #Constraints:     398747
1625.77/1629.82	c #Conflicts:     388000 | #Constraints:     399747
1625.77/1629.82	c #Conflicts:     389000 | #Constraints:     400747
1625.77/1629.82	c #Conflicts:     390000 | #Constraints:     401747
1625.77/1629.82	c #Conflicts:     391000 | #Constraints:     402747
1625.77/1629.82	c #Conflicts:     392000 | #Constraints:     403747
1625.77/1629.82	c #Conflicts:     393000 | #Constraints:     404747
1625.77/1629.82	c #Conflicts:     394000 | #Constraints:     405747
1625.77/1629.82	c INPROCESSING
1625.77/1629.82	c GARBAGE COLLECT
1625.77/1629.82	c #Conflicts:     395000 | #Constraints:     394351
1625.77/1629.82	c #Conflicts:     396000 | #Constraints:     395351
1625.77/1629.82	c #Conflicts:     397000 | #Constraints:     396351
1625.77/1629.82	c #Conflicts:     398000 | #Constraints:     397351
1625.77/1629.82	c #Conflicts:     399000 | #Constraints:     398351
1625.77/1629.82	c #Conflicts:     400000 | #Constraints:     399351
1625.77/1629.82	c #Conflicts:     401000 | #Constraints:     400351
1625.77/1629.82	c #Conflicts:     402000 | #Constraints:     401351
1625.77/1629.82	c #Conflicts:     403000 | #Constraints:     402351
1625.77/1629.82	c #Conflicts:     404000 | #Constraints:     403351
1625.77/1629.82	c #Conflicts:     405000 | #Constraints:     404351
1625.77/1629.82	c #Conflicts:     406000 | #Constraints:     405351
1625.77/1629.82	c #Conflicts:     407000 | #Constraints:     406351
1625.77/1629.82	c INPROCESSING
1625.77/1629.82	c GARBAGE COLLECT
1625.77/1629.82	c #Conflicts:     408000 | #Constraints:     394751
1625.77/1629.82	c #Conflicts:     409000 | #Constraints:     395751
1625.77/1629.82	c #Conflicts:     410000 | #Constraints:     396751
1625.77/1629.82	c #Conflicts:     411000 | #Constraints:     397751
1625.77/1629.82	c #Conflicts:     412000 | #Constraints:     398751
1625.77/1629.82	c #Conflicts:     413000 | #Constraints:     399751
1625.77/1629.82	c #Conflicts:     414000 | #Constraints:     400751
1625.77/1629.82	c #Conflicts:     415000 | #Constraints:     401751
1904.91/1909.77	c #Conflicts:     416000 | #Constraints:     402751
1904.91/1909.77	c #Conflicts:     417000 | #Constraints:     403751
1904.91/1909.77	c #Conflicts:     418000 | #Constraints:     404751
1904.91/1909.77	c #Conflicts:     419000 | #Constraints:     405751
1904.91/1909.77	c #Conflicts:     420000 | #Constraints:     406751
1904.91/1909.77	c INPROCESSING
1904.91/1909.77	c GARBAGE COLLECT
1904.91/1909.77	c #Conflicts:     421000 | #Constraints:     394954
1904.91/1909.77	c #Conflicts:     422000 | #Constraints:     395954
1904.91/1909.77	c #Conflicts:     423000 | #Constraints:     396954
1904.91/1909.77	c #Conflicts:     424000 | #Constraints:     397954
1904.91/1909.77	c #Conflicts:     425000 | #Constraints:     398954
1904.91/1909.77	c #Conflicts:     426000 | #Constraints:     399954
1904.91/1909.77	c #Conflicts:     427000 | #Constraints:     400954
1904.91/1909.77	c #Conflicts:     428000 | #Constraints:     401954
1904.91/1909.77	c #Conflicts:     429000 | #Constraints:     402954
1904.91/1909.77	c #Conflicts:     430000 | #Constraints:     403954
1904.91/1909.77	c #Conflicts:     431000 | #Constraints:     404954
1904.91/1909.77	c #Conflicts:     432000 | #Constraints:     405954
1904.91/1909.77	c #Conflicts:     433000 | #Constraints:     406954
1904.91/1909.77	c INPROCESSING
1904.91/1909.77	c GARBAGE COLLECT
1904.91/1909.77	c #Conflicts:     434000 | #Constraints:     394956
1904.91/1909.77	c #Conflicts:     435000 | #Constraints:     395956
1904.91/1909.77	c #Conflicts:     436000 | #Constraints:     396956
1904.91/1909.77	c #Conflicts:     437000 | #Constraints:     397956
1904.91/1909.77	c #Conflicts:     438000 | #Constraints:     398956
1904.91/1909.77	c #Conflicts:     439000 | #Constraints:     399956
1904.91/1909.77	c #Conflicts:     440000 | #Constraints:     400956
1904.91/1909.77	c #Conflicts:     441000 | #Constraints:     401956
1904.91/1909.77	c #Conflicts:     442000 | #Constraints:     402956
1904.91/1909.77	c #Conflicts:     443000 | #Constraints:     403956
1904.91/1909.77	c #Conflicts:     444000 | #Constraints:     404956
1904.91/1909.77	c #Conflicts:     445000 | #Constraints:     405956
1904.91/1909.77	c #Conflicts:     446000 | #Constraints:     406956
1904.91/1909.77	c INPROCESSING
1904.91/1909.77	c GARBAGE COLLECT
1904.91/1909.77	c #Conflicts:     447000 | #Constraints:     394756
1904.91/1909.77	c #Conflicts:     448000 | #Constraints:     395756
1904.91/1909.77	c #Conflicts:     449000 | #Constraints:     396756
1904.91/1909.77	c #Conflicts:     450000 | #Constraints:     397756
1904.91/1909.77	c #Conflicts:     451000 | #Constraints:     398756
1904.91/1909.77	c #Conflicts:     452000 | #Constraints:     399756
1904.91/1909.77	c #Conflicts:     453000 | #Constraints:     400756
1904.91/1909.77	c #Conflicts:     454000 | #Constraints:     401756
1904.91/1909.77	c #Conflicts:     455000 | #Constraints:     402756
1904.91/1909.77	c #Conflicts:     456000 | #Constraints:     403756
1904.91/1909.77	c #Conflicts:     457000 | #Constraints:     404756
1904.91/1909.77	c #Conflicts:     458000 | #Constraints:     405756
1904.91/1909.77	c #Conflicts:     459000 | #Constraints:     406756
1904.91/1909.77	c #Conflicts:     460000 | #Constraints:     407756
1904.91/1909.77	c INPROCESSING
1904.91/1909.77	c GARBAGE COLLECT
1904.91/1909.77	c #Conflicts:     461000 | #Constraints:     395357
1904.91/1909.77	c #Conflicts:     462000 | #Constraints:     396357
1904.91/1909.77	c #Conflicts:     463000 | #Constraints:     397357
1904.91/1909.77	c #Conflicts:     464000 | #Constraints:     398357
1904.91/1909.77	c #Conflicts:     465000 | #Constraints:     399357
1904.91/1909.77	c #Conflicts:     466000 | #Constraints:     400357
1904.91/1909.77	c #Conflicts:     467000 | #Constraints:     401357
1904.91/1909.77	c #Conflicts:     468000 | #Constraints:     402357
1904.91/1909.77	c #Conflicts:     469000 | #Constraints:     403357
1904.91/1909.77	c #Conflicts:     470000 | #Constraints:     404357
1904.91/1909.77	c #Conflicts:     471000 | #Constraints:     405357
1904.91/1909.77	c #Conflicts:     472000 | #Constraints:     406357
1904.91/1909.77	c #Conflicts:     473000 | #Constraints:     407357
1904.91/1909.77	c #Conflicts:     474000 | #Constraints:     408357
1904.91/1909.77	c INPROCESSING
1904.91/1909.77	c GARBAGE COLLECT
1904.91/1909.77	c #Conflicts:     475000 | #Constraints:     395755
1904.91/1909.77	c #Conflicts:     476000 | #Constraints:     396755
1904.91/1909.77	c #Conflicts:     477000 | #Constraints:     397755
1904.91/1909.77	c #Conflicts:     478000 | #Constraints:     398755
1904.91/1909.77	c #Conflicts:     479000 | #Constraints:     399755
1904.91/1909.77	c #Conflicts:     480000 | #Constraints:     400755
1904.91/1909.77	c #Conflicts:     481000 | #Constraints:     401755
1904.91/1909.77	c #Conflicts:     482000 | #Constraints:     402755
1904.91/1909.77	c #Conflicts:     483000 | #Constraints:     403755
1904.91/1909.77	c #Conflicts:     484000 | #Constraints:     404755
1904.91/1909.77	c #Conflicts:     485000 | #Constraints:     405755
1904.91/1909.77	c #Conflicts:     486000 | #Constraints:     406755
1904.91/1909.77	c #Conflicts:     487000 | #Constraints:     407755
1904.91/1909.77	c #Conflicts:     488000 | #Constraints:     408755
1904.91/1909.77	c INPROCESSING
1904.91/1909.77	c GARBAGE COLLECT
1904.91/1909.77	c #Conflicts:     489000 | #Constraints:     395956
1904.91/1909.77	c #Conflicts:     490000 | #Constraints:     396956
2246.77/2252.51	c #Conflicts:     491000 | #Constraints:     397956
2246.77/2252.51	c #Conflicts:     492000 | #Constraints:     398956
2246.77/2252.51	c #Conflicts:     493000 | #Constraints:     399956
2246.77/2252.51	c #Conflicts:     494000 | #Constraints:     400956
2246.77/2252.51	c #Conflicts:     495000 | #Constraints:     401956
2246.77/2252.51	c #Conflicts:     496000 | #Constraints:     402956
2246.77/2252.51	c #Conflicts:     497000 | #Constraints:     403956
2246.77/2252.51	c #Conflicts:     498000 | #Constraints:     404956
2246.77/2252.51	c #Conflicts:     499000 | #Constraints:     405956
2246.77/2252.51	c #Conflicts:     500000 | #Constraints:     406956
2246.77/2252.51	c #Conflicts:     501000 | #Constraints:     407956
2246.77/2252.51	c #Conflicts:     502000 | #Constraints:     408956
2246.77/2252.51	c INPROCESSING
2246.77/2252.51	c GARBAGE COLLECT
2246.77/2252.51	c #Conflicts:     503000 | #Constraints:     395956
2246.77/2252.51	c #Conflicts:     504000 | #Constraints:     396956
2246.77/2252.51	c #Conflicts:     505000 | #Constraints:     397956
2246.77/2252.51	c #Conflicts:     506000 | #Constraints:     398956
2246.77/2252.51	c #Conflicts:     507000 | #Constraints:     399956
2246.77/2252.51	c #Conflicts:     508000 | #Constraints:     400956
2246.77/2252.51	c #Conflicts:     509000 | #Constraints:     401956
2246.77/2252.51	c #Conflicts:     510000 | #Constraints:     402956
2246.77/2252.51	c #Conflicts:     511000 | #Constraints:     403956
2246.77/2252.51	c #Conflicts:     512000 | #Constraints:     404956
2246.77/2252.51	c #Conflicts:     513000 | #Constraints:     405956
2246.77/2252.51	c #Conflicts:     514000 | #Constraints:     406956
2246.77/2252.51	c #Conflicts:     515000 | #Constraints:     407956
2246.77/2252.51	c #Conflicts:     516000 | #Constraints:     408956
2246.77/2252.51	c INPROCESSING
2246.77/2252.51	c GARBAGE COLLECT
2246.77/2252.51	c #Conflicts:     517000 | #Constraints:     395756
2246.77/2252.51	c #Conflicts:     518000 | #Constraints:     396756
2246.77/2252.51	c #Conflicts:     519000 | #Constraints:     397756
2246.77/2252.51	c #Conflicts:     520000 | #Constraints:     398756
2246.77/2252.51	c #Conflicts:     521000 | #Constraints:     399756
2246.77/2252.51	c #Conflicts:     522000 | #Constraints:     400756
2246.77/2252.51	c #Conflicts:     523000 | #Constraints:     401756
2246.77/2252.51	c #Conflicts:     524000 | #Constraints:     402756
2246.77/2252.51	c #Conflicts:     525000 | #Constraints:     403756
2246.77/2252.51	c #Conflicts:     526000 | #Constraints:     404756
2246.77/2252.51	c #Conflicts:     527000 | #Constraints:     405756
2246.77/2252.51	c #Conflicts:     528000 | #Constraints:     406756
2246.77/2252.51	c #Conflicts:     529000 | #Constraints:     407756
2246.77/2252.51	c #Conflicts:     530000 | #Constraints:     408756
2246.77/2252.51	c #Conflicts:     531000 | #Constraints:     409756
2246.77/2252.51	c INPROCESSING
2246.77/2252.51	c GARBAGE COLLECT
2246.77/2252.51	c #Conflicts:     532000 | #Constraints:     396351
2246.77/2252.51	c #Conflicts:     533000 | #Constraints:     397351
2246.77/2252.51	c #Conflicts:     534000 | #Constraints:     398351
2246.77/2252.51	c #Conflicts:     535000 | #Constraints:     399351
2246.77/2252.51	c #Conflicts:     536000 | #Constraints:     400351
2246.77/2252.51	c #Conflicts:     537000 | #Constraints:     401351
2246.77/2252.51	c #Conflicts:     538000 | #Constraints:     402351
2246.77/2252.51	c #Conflicts:     539000 | #Constraints:     403351
2246.77/2252.51	c #Conflicts:     540000 | #Constraints:     404351
2246.77/2252.51	c #Conflicts:     541000 | #Constraints:     405351
2246.77/2252.51	c #Conflicts:     542000 | #Constraints:     406351
2246.77/2252.51	c #Conflicts:     543000 | #Constraints:     407351
2246.77/2252.51	c #Conflicts:     544000 | #Constraints:     408351
2246.77/2252.51	c #Conflicts:     545000 | #Constraints:     409351
2246.77/2252.51	c #Conflicts:     546000 | #Constraints:     410351
2246.77/2252.51	c INPROCESSING
2246.77/2252.51	c GARBAGE COLLECT
2246.77/2252.51	c #Conflicts:     547000 | #Constraints:     396751
2246.77/2252.51	c #Conflicts:     548000 | #Constraints:     397751
2246.77/2252.51	c #Conflicts:     549000 | #Constraints:     398751
2246.77/2252.51	c #Conflicts:     550000 | #Constraints:     399751
2246.77/2252.51	c #Conflicts:     551000 | #Constraints:     400751
2246.77/2252.51	c #Conflicts:     552000 | #Constraints:     401751
2246.77/2252.51	c #Conflicts:     553000 | #Constraints:     402751
2246.77/2252.51	c #Conflicts:     554000 | #Constraints:     403751
2246.77/2252.51	c #Conflicts:     555000 | #Constraints:     404751
2246.77/2252.51	c #Conflicts:     556000 | #Constraints:     405751
2246.77/2252.51	c #Conflicts:     557000 | #Constraints:     406751
2246.77/2252.51	c #Conflicts:     558000 | #Constraints:     407751
2246.77/2252.51	c #Conflicts:     559000 | #Constraints:     408751
2246.77/2252.51	c #Conflicts:     560000 | #Constraints:     409751
2246.77/2252.51	c #Conflicts:     561000 | #Constraints:     410751
2246.77/2252.51	c INPROCESSING
2246.77/2252.51	c GARBAGE COLLECT
2246.77/2252.51	c #Conflicts:     562000 | #Constraints:     396948
2246.77/2252.51	c #Conflicts:     563000 | #Constraints:     397948
2246.77/2252.51	c #Conflicts:     564000 | #Constraints:     398948
2246.77/2252.51	c #Conflicts:     565000 | #Constraints:     399948
2246.77/2252.51	c #Conflicts:     566000 | #Constraints:     400948
2598.41/2605.14	c #Conflicts:     567000 | #Constraints:     401948
2598.41/2605.14	c #Conflicts:     568000 | #Constraints:     402948
2598.41/2605.14	c #Conflicts:     569000 | #Constraints:     403948
2598.41/2605.14	c #Conflicts:     570000 | #Constraints:     404948
2598.41/2605.14	c #Conflicts:     571000 | #Constraints:     405948
2598.41/2605.14	c #Conflicts:     572000 | #Constraints:     406948
2598.41/2605.14	c #Conflicts:     573000 | #Constraints:     407948
2598.41/2605.14	c #Conflicts:     574000 | #Constraints:     408948
2598.41/2605.14	c #Conflicts:     575000 | #Constraints:     409948
2598.41/2605.14	c #Conflicts:     576000 | #Constraints:     410948
2598.41/2605.14	c INPROCESSING
2598.41/2605.14	c GARBAGE COLLECT
2598.41/2605.14	c #Conflicts:     577000 | #Constraints:     396948
2598.41/2605.14	c #Conflicts:     578000 | #Constraints:     397948
2598.41/2605.14	c #Conflicts:     579000 | #Constraints:     398948
2598.41/2605.14	c #Conflicts:     580000 | #Constraints:     399948
2598.41/2605.14	c #Conflicts:     581000 | #Constraints:     400948
2598.41/2605.14	c #Conflicts:     582000 | #Constraints:     401948
2598.41/2605.14	c #Conflicts:     583000 | #Constraints:     402948
2598.41/2605.14	c #Conflicts:     584000 | #Constraints:     403948
2598.41/2605.14	c #Conflicts:     585000 | #Constraints:     404948
2598.41/2605.14	c #Conflicts:     586000 | #Constraints:     405948
2598.41/2605.14	c #Conflicts:     587000 | #Constraints:     406948
2598.41/2605.14	c #Conflicts:     588000 | #Constraints:     407948
2598.41/2605.14	c #Conflicts:     589000 | #Constraints:     408948
2598.41/2605.14	c #Conflicts:     590000 | #Constraints:     409948
2598.41/2605.14	c #Conflicts:     591000 | #Constraints:     410948
2598.41/2605.14	c INPROCESSING
2598.41/2605.14	c GARBAGE COLLECT
2598.41/2605.14	c #Conflicts:     592000 | #Constraints:     396748
2598.41/2605.14	c #Conflicts:     593000 | #Constraints:     397748
2598.41/2605.14	c #Conflicts:     594000 | #Constraints:     398748
2598.41/2605.14	c #Conflicts:     595000 | #Constraints:     399748
2598.41/2605.14	c #Conflicts:     596000 | #Constraints:     400748
2598.41/2605.14	c #Conflicts:     597000 | #Constraints:     401748
2598.41/2605.14	c #Conflicts:     598000 | #Constraints:     402748
2598.41/2605.14	c #Conflicts:     599000 | #Constraints:     403748
2598.41/2605.14	c #Conflicts:     600000 | #Constraints:     404748
2598.41/2605.14	c #Conflicts:     601000 | #Constraints:     405748
2598.41/2605.14	c #Conflicts:     602000 | #Constraints:     406748
2598.41/2605.14	c #Conflicts:     603000 | #Constraints:     407748
2598.41/2605.14	c #Conflicts:     604000 | #Constraints:     408748
2598.41/2605.14	c #Conflicts:     605000 | #Constraints:     409748
2598.41/2605.14	c #Conflicts:     606000 | #Constraints:     410748
2598.41/2605.14	c #Conflicts:     607000 | #Constraints:     411748
2598.41/2605.14	c INPROCESSING
2598.41/2605.14	c GARBAGE COLLECT
2598.41/2605.14	c #Conflicts:     608000 | #Constraints:     397351
2598.41/2605.14	c #Conflicts:     609000 | #Constraints:     398351
2598.41/2605.14	c #Conflicts:     610000 | #Constraints:     399351
2598.41/2605.14	c #Conflicts:     611000 | #Constraints:     400351
2598.41/2605.14	c #Conflicts:     612000 | #Constraints:     401351
2598.41/2605.14	c #Conflicts:     613000 | #Constraints:     402351
2598.41/2605.14	c #Conflicts:     614000 | #Constraints:     403351
2598.41/2605.14	c #Conflicts:     615000 | #Constraints:     404351
2598.41/2605.14	c #Conflicts:     616000 | #Constraints:     405351
2598.41/2605.14	c #Conflicts:     617000 | #Constraints:     406351
2598.41/2605.14	c #Conflicts:     618000 | #Constraints:     407351
2598.41/2605.14	c #Conflicts:     619000 | #Constraints:     408351
2598.41/2605.14	c #Conflicts:     620000 | #Constraints:     409351
2598.41/2605.14	c #Conflicts:     621000 | #Constraints:     410351
2598.41/2605.14	c #Conflicts:     622000 | #Constraints:     411351
2598.41/2605.14	c #Conflicts:     623000 | #Constraints:     412351
2598.41/2605.14	c INPROCESSING
2598.41/2605.14	c GARBAGE COLLECT
2598.41/2605.14	c #Conflicts:     624000 | #Constraints:     397753
2598.41/2605.14	c #Conflicts:     625000 | #Constraints:     398753
2598.41/2605.14	c #Conflicts:     626000 | #Constraints:     399753
2598.41/2605.14	c #Conflicts:     627000 | #Constraints:     400753
2598.41/2605.14	c #Conflicts:     628000 | #Constraints:     401753
2598.41/2605.14	c #Conflicts:     629000 | #Constraints:     402753
2598.41/2605.14	c #Conflicts:     630000 | #Constraints:     403753
2598.41/2605.14	c #Conflicts:     631000 | #Constraints:     404753
2598.41/2605.14	c #Conflicts:     632000 | #Constraints:     405753
2598.41/2605.14	c #Conflicts:     633000 | #Constraints:     406753
2598.41/2605.14	c #Conflicts:     634000 | #Constraints:     407753
2598.41/2605.14	c #Conflicts:     635000 | #Constraints:     408753
2598.41/2605.14	c #Conflicts:     636000 | #Constraints:     409753
2598.41/2605.14	c #Conflicts:     637000 | #Constraints:     410753
2598.41/2605.14	c #Conflicts:     638000 | #Constraints:     411753
2598.41/2605.14	c #Conflicts:     639000 | #Constraints:     412753
2598.41/2605.14	c INPROCESSING
2598.41/2605.14	c GARBAGE COLLECT
2598.41/2605.14	c #Conflicts:     640000 | #Constraints:     397950
2598.41/2605.14	c #Conflicts:     641000 | #Constraints:     398950
2598.41/2605.14	c #Conflicts:     642000 | #Constraints:     399950
2935.47/2943.15	c #Conflicts:     643000 | #Constraints:     400950
2935.47/2943.15	c #Conflicts:     644000 | #Constraints:     401950
2935.47/2943.15	c #Conflicts:     645000 | #Constraints:     402950
2935.47/2943.15	c #Conflicts:     646000 | #Constraints:     403950
2935.47/2943.15	c #Conflicts:     647000 | #Constraints:     404950
2935.47/2943.15	c #Conflicts:     648000 | #Constraints:     405950
2935.47/2943.15	c #Conflicts:     649000 | #Constraints:     406950
2935.47/2943.15	c #Conflicts:     650000 | #Constraints:     407950
2935.47/2943.15	c #Conflicts:     651000 | #Constraints:     408950
2935.47/2943.15	c #Conflicts:     652000 | #Constraints:     409950
2935.47/2943.15	c #Conflicts:     653000 | #Constraints:     410950
2935.47/2943.15	c #Conflicts:     654000 | #Constraints:     411950
2935.47/2943.15	c #Conflicts:     655000 | #Constraints:     412950
2935.47/2943.15	c INPROCESSING
2935.47/2943.15	c GARBAGE COLLECT
2935.47/2943.15	c #Conflicts:     656000 | #Constraints:     397954
2935.47/2943.15	c #Conflicts:     657000 | #Constraints:     398954
2935.47/2943.15	c #Conflicts:     658000 | #Constraints:     399954
2935.47/2943.15	c #Conflicts:     659000 | #Constraints:     400954
2935.47/2943.15	c #Conflicts:     660000 | #Constraints:     401954
2935.47/2943.15	c #Conflicts:     661000 | #Constraints:     402954
2935.47/2943.15	c #Conflicts:     662000 | #Constraints:     403954
2935.47/2943.15	c #Conflicts:     663000 | #Constraints:     404954
2935.47/2943.15	c #Conflicts:     664000 | #Constraints:     405954
2935.47/2943.15	c #Conflicts:     665000 | #Constraints:     406954
2935.47/2943.15	c #Conflicts:     666000 | #Constraints:     407954
2935.47/2943.15	c #Conflicts:     667000 | #Constraints:     408954
2935.47/2943.15	c #Conflicts:     668000 | #Constraints:     409954
2935.47/2943.15	c #Conflicts:     669000 | #Constraints:     410954
2935.47/2943.15	c #Conflicts:     670000 | #Constraints:     411954
2935.47/2943.15	c #Conflicts:     671000 | #Constraints:     412954
2935.47/2943.15	c INPROCESSING
2935.47/2943.15	c GARBAGE COLLECT
2935.47/2943.15	c #Conflicts:     672000 | #Constraints:     397751
2935.47/2943.15	c #Conflicts:     673000 | #Constraints:     398751
2935.47/2943.15	c #Conflicts:     674000 | #Constraints:     399751
2935.47/2943.15	c #Conflicts:     675000 | #Constraints:     400751
2935.47/2943.15	c #Conflicts:     676000 | #Constraints:     401751
2935.47/2943.15	c #Conflicts:     677000 | #Constraints:     402751
2935.47/2943.15	c #Conflicts:     678000 | #Constraints:     403751
2935.47/2943.15	c #Conflicts:     679000 | #Constraints:     404751
2935.47/2943.15	c #Conflicts:     680000 | #Constraints:     405751
2935.47/2943.15	c #Conflicts:     681000 | #Constraints:     406751
2935.47/2943.15	c #Conflicts:     682000 | #Constraints:     407751
2935.47/2943.15	c #Conflicts:     683000 | #Constraints:     408751
2935.47/2943.15	c #Conflicts:     684000 | #Constraints:     409751
2935.47/2943.15	c #Conflicts:     685000 | #Constraints:     410751
2935.47/2943.15	c #Conflicts:     686000 | #Constraints:     411751
2935.47/2943.15	c #Conflicts:     687000 | #Constraints:     412751
2935.47/2943.15	c #Conflicts:     688000 | #Constraints:     413751
2935.47/2943.15	c INPROCESSING
2935.47/2943.15	c GARBAGE COLLECT
2935.47/2943.15	c #Conflicts:     689000 | #Constraints:     398352
2935.47/2943.15	c #Conflicts:     690000 | #Constraints:     399352
2935.47/2943.15	c #Conflicts:     691000 | #Constraints:     400352
2935.47/2943.15	c #Conflicts:     692000 | #Constraints:     401352
2935.47/2943.15	c #Conflicts:     693000 | #Constraints:     402352
2935.47/2943.15	c #Conflicts:     694000 | #Constraints:     403352
2935.47/2943.15	c #Conflicts:     695000 | #Constraints:     404352
2935.47/2943.15	c #Conflicts:     696000 | #Constraints:     405352
2935.47/2943.15	c #Conflicts:     697000 | #Constraints:     406352
2935.47/2943.15	c #Conflicts:     698000 | #Constraints:     407352
2935.47/2943.15	c #Conflicts:     699000 | #Constraints:     408352
2935.47/2943.15	c #Conflicts:     700000 | #Constraints:     409352
2935.47/2943.15	c #Conflicts:     701000 | #Constraints:     410352
2935.47/2943.15	c #Conflicts:     702000 | #Constraints:     411352
2935.47/2943.15	c #Conflicts:     703000 | #Constraints:     412352
2935.47/2943.15	c #Conflicts:     704000 | #Constraints:     413352
2935.47/2943.15	c #Conflicts:     705000 | #Constraints:     414352
2935.47/2943.15	c INPROCESSING
2935.47/2943.15	c GARBAGE COLLECT
2935.47/2943.15	c #Conflicts:     706000 | #Constraints:     398752
2935.47/2943.15	c #Conflicts:     707000 | #Constraints:     399752
2935.47/2943.15	c #Conflicts:     708000 | #Constraints:     400752
2935.47/2943.15	c #Conflicts:     709000 | #Constraints:     401752
2935.47/2943.15	c #Conflicts:     710000 | #Constraints:     402752
2935.47/2943.15	c #Conflicts:     711000 | #Constraints:     403752
2935.47/2943.15	c #Conflicts:     712000 | #Constraints:     404752
2935.47/2943.15	c #Conflicts:     713000 | #Constraints:     405752
2935.47/2943.15	c #Conflicts:     714000 | #Constraints:     406752
2935.47/2943.15	c #Conflicts:     715000 | #Constraints:     407752
2935.47/2943.15	c #Conflicts:     716000 | #Constraints:     408752
2935.47/2943.15	c #Conflicts:     717000 | #Constraints:     409752
2935.47/2943.15	c #Conflicts:     718000 | #Constraints:     410752
3301.73/3310.27	c #Conflicts:     719000 | #Constraints:     411752
3301.73/3310.27	c #Conflicts:     720000 | #Constraints:     412752
3301.73/3310.27	c #Conflicts:     721000 | #Constraints:     413752
3301.73/3310.27	c #Conflicts:     722000 | #Constraints:     414752
3301.73/3310.27	c INPROCESSING
3301.73/3310.27	c GARBAGE COLLECT
3301.73/3310.27	c #Conflicts:     723000 | #Constraints:     398954
3301.73/3310.27	c #Conflicts:     724000 | #Constraints:     399954
3301.73/3310.27	c #Conflicts:     725000 | #Constraints:     400954
3301.73/3310.27	c #Conflicts:     726000 | #Constraints:     401954
3301.73/3310.27	c #Conflicts:     727000 | #Constraints:     402954
3301.73/3310.27	c #Conflicts:     728000 | #Constraints:     403954
3301.73/3310.27	c #Conflicts:     729000 | #Constraints:     404954
3301.73/3310.27	c #Conflicts:     730000 | #Constraints:     405954
3301.73/3310.27	c #Conflicts:     731000 | #Constraints:     406954
3301.73/3310.27	c #Conflicts:     732000 | #Constraints:     407954
3301.73/3310.27	c #Conflicts:     733000 | #Constraints:     408954
3301.73/3310.27	c #Conflicts:     734000 | #Constraints:     409954
3301.73/3310.27	c #Conflicts:     735000 | #Constraints:     410954
3301.73/3310.27	c #Conflicts:     736000 | #Constraints:     411954
3301.73/3310.27	c #Conflicts:     737000 | #Constraints:     412954
3301.73/3310.27	c #Conflicts:     738000 | #Constraints:     413954
3301.73/3310.27	c #Conflicts:     739000 | #Constraints:     414954
3301.73/3310.27	c INPROCESSING
3301.73/3310.27	c GARBAGE COLLECT
3301.73/3310.27	c #Conflicts:     740000 | #Constraints:     398954
3301.73/3310.27	c #Conflicts:     741000 | #Constraints:     399954
3301.73/3310.27	c #Conflicts:     742000 | #Constraints:     400954
3301.73/3310.27	c #Conflicts:     743000 | #Constraints:     401954
3301.73/3310.27	c #Conflicts:     744000 | #Constraints:     402954
3301.73/3310.27	c #Conflicts:     745000 | #Constraints:     403954
3301.73/3310.27	c #Conflicts:     746000 | #Constraints:     404954
3301.73/3310.27	c #Conflicts:     747000 | #Constraints:     405954
3301.73/3310.27	c #Conflicts:     748000 | #Constraints:     406954
3301.73/3310.27	c #Conflicts:     749000 | #Constraints:     407954
3301.73/3310.27	c #Conflicts:     750000 | #Constraints:     408954
3301.73/3310.27	c #Conflicts:     751000 | #Constraints:     409954
3301.73/3310.27	c #Conflicts:     752000 | #Constraints:     410954
3301.73/3310.27	c #Conflicts:     753000 | #Constraints:     411954
3301.73/3310.27	c #Conflicts:     754000 | #Constraints:     412954
3301.73/3310.27	c #Conflicts:     755000 | #Constraints:     413954
3301.73/3310.27	c #Conflicts:     756000 | #Constraints:     414954
3301.73/3310.27	c INPROCESSING
3301.73/3310.27	c GARBAGE COLLECT
3301.73/3310.27	c #Conflicts:     757000 | #Constraints:     398755
3301.73/3310.27	c #Conflicts:     758000 | #Constraints:     399755
3301.73/3310.27	c #Conflicts:     759000 | #Constraints:     400755
3301.73/3310.27	c #Conflicts:     760000 | #Constraints:     401755
3301.73/3310.27	c #Conflicts:     761000 | #Constraints:     402755
3301.73/3310.27	c #Conflicts:     762000 | #Constraints:     403755
3301.73/3310.27	c #Conflicts:     763000 | #Constraints:     404755
3301.73/3310.27	c #Conflicts:     764000 | #Constraints:     405755
3301.73/3310.27	c #Conflicts:     765000 | #Constraints:     406755
3301.73/3310.27	c #Conflicts:     766000 | #Constraints:     407755
3301.73/3310.27	c #Conflicts:     767000 | #Constraints:     408755
3301.73/3310.27	c #Conflicts:     768000 | #Constraints:     409755
3301.73/3310.27	c #Conflicts:     769000 | #Constraints:     410755
3301.73/3310.27	c #Conflicts:     770000 | #Constraints:     411755
3301.73/3310.27	c #Conflicts:     771000 | #Constraints:     412755
3301.73/3310.27	c #Conflicts:     772000 | #Constraints:     413755
3301.73/3310.27	c #Conflicts:     773000 | #Constraints:     414755
3301.73/3310.27	c #Conflicts:     774000 | #Constraints:     415755
3301.73/3310.27	c INPROCESSING
3301.73/3310.27	c GARBAGE COLLECT
3301.73/3310.27	c #Conflicts:     775000 | #Constraints:     399350
3301.73/3310.27	c #Conflicts:     776000 | #Constraints:     400350
3301.73/3310.27	c #Conflicts:     777000 | #Constraints:     401350
3301.73/3310.27	c #Conflicts:     778000 | #Constraints:     402350
3301.73/3310.27	c #Conflicts:     779000 | #Constraints:     403350
3301.73/3310.27	c #Conflicts:     780000 | #Constraints:     404350
3301.73/3310.27	c #Conflicts:     781000 | #Constraints:     405350
3301.73/3310.27	c #Conflicts:     782000 | #Constraints:     406350
3301.73/3310.27	c #Conflicts:     783000 | #Constraints:     407350
3301.73/3310.27	c #Conflicts:     784000 | #Constraints:     408350
3301.73/3310.27	c #Conflicts:     785000 | #Constraints:     409350
3301.73/3310.27	c #Conflicts:     786000 | #Constraints:     410350
3301.73/3310.27	c #Conflicts:     787000 | #Constraints:     411350
3301.73/3310.27	c #Conflicts:     788000 | #Constraints:     412350
3301.73/3310.27	c #Conflicts:     789000 | #Constraints:     413350
3301.73/3310.27	c #Conflicts:     790000 | #Constraints:     414350
3301.73/3310.27	c #Conflicts:     791000 | #Constraints:     415350
3301.73/3310.27	c #Conflicts:     792000 | #Constraints:     416350
3301.73/3310.27	c INPROCESSING
3301.73/3310.27	c GARBAGE COLLECT
3301.73/3310.27	c #Conflicts:     793000 | #Constraints:     399746
3600.07/3609.20	c #Conflicts:     794000 | #Constraints:     400746
3600.07/3609.20	c #Conflicts:     795000 | #Constraints:     401746
3600.07/3609.20	c #Conflicts:     796000 | #Constraints:     402746
3600.07/3609.20	c #Conflicts:     797000 | #Constraints:     403746
3600.07/3609.20	c #Conflicts:     798000 | #Constraints:     404746
3600.07/3609.20	c #Conflicts:     799000 | #Constraints:     405746
3600.07/3609.20	c #Conflicts:     800000 | #Constraints:     406746
3600.07/3609.20	c #Conflicts:     801000 | #Constraints:     407746
3600.07/3609.20	c #Conflicts:     802000 | #Constraints:     408746
3600.07/3609.20	c #Conflicts:     803000 | #Constraints:     409746
3600.07/3609.20	c #Conflicts:     804000 | #Constraints:     410746
3600.07/3609.20	c #Conflicts:     805000 | #Constraints:     411746
3600.07/3609.20	c #Conflicts:     806000 | #Constraints:     412746
3600.07/3609.20	c #Conflicts:     807000 | #Constraints:     413746
3600.07/3609.20	c #Conflicts:     808000 | #Constraints:     414746
3600.07/3609.20	c #Conflicts:     809000 | #Constraints:     415746
3600.07/3609.20	c #Conflicts:     810000 | #Constraints:     416746
3600.07/3609.20	c INPROCESSING
3600.07/3609.20	c GARBAGE COLLECT
3600.07/3609.20	c #Conflicts:     811000 | #Constraints:     399945
3600.07/3609.20	c #Conflicts:     812000 | #Constraints:     400945
3600.07/3609.20	c #Conflicts:     813000 | #Constraints:     401945
3600.07/3609.20	c #Conflicts:     814000 | #Constraints:     402945
3600.07/3609.20	c #Conflicts:     815000 | #Constraints:     403945
3600.07/3609.20	c #Conflicts:     816000 | #Constraints:     404945
3600.07/3609.20	c #Conflicts:     817000 | #Constraints:     405945
3600.07/3609.20	c #Conflicts:     818000 | #Constraints:     406945
3600.07/3609.20	c #Conflicts:     819000 | #Constraints:     407945
3600.07/3609.20	c #Conflicts:     820000 | #Constraints:     408945
3600.07/3609.20	c #Conflicts:     821000 | #Constraints:     409945
3600.07/3609.20	c #Conflicts:     822000 | #Constraints:     410945
3600.07/3609.20	c #Conflicts:     823000 | #Constraints:     411945
3600.07/3609.20	c #Conflicts:     824000 | #Constraints:     412945
3600.07/3609.20	c #Conflicts:     825000 | #Constraints:     413945
3600.07/3609.20	c #Conflicts:     826000 | #Constraints:     414945
3600.07/3609.20	c #Conflicts:     827000 | #Constraints:     415945
3600.07/3609.20	c #Conflicts:     828000 | #Constraints:     416945
3600.07/3609.20	c INPROCESSING
3600.07/3609.20	c GARBAGE COLLECT
3600.07/3609.20	c #Conflicts:     829000 | #Constraints:     399948
3600.07/3609.20	c #Conflicts:     830000 | #Constraints:     400948
3600.07/3609.20	c #Conflicts:     831000 | #Constraints:     401948
3600.07/3609.20	c #Conflicts:     832000 | #Constraints:     402948
3600.07/3609.20	c #Conflicts:     833000 | #Constraints:     403948
3600.07/3609.20	c #Conflicts:     834000 | #Constraints:     404948
3600.07/3609.20	c #Conflicts:     835000 | #Constraints:     405948
3600.07/3609.20	c #Conflicts:     836000 | #Constraints:     406948
3600.07/3609.20	c #Conflicts:     837000 | #Constraints:     407948
3600.07/3609.20	c #Conflicts:     838000 | #Constraints:     408948
3600.07/3609.20	c #Conflicts:     839000 | #Constraints:     409948
3600.07/3609.20	c #Conflicts:     840000 | #Constraints:     410948
3600.07/3609.20	c #Conflicts:     841000 | #Constraints:     411948
3600.07/3609.20	c #Conflicts:     842000 | #Constraints:     412948
3600.07/3609.20	c #Conflicts:     843000 | #Constraints:     413948
3600.07/3609.20	c #Conflicts:     844000 | #Constraints:     414948
3600.07/3609.20	c #Conflicts:     845000 | #Constraints:     415948
3600.07/3609.20	c #Conflicts:     846000 | #Constraints:     416948
3600.07/3609.20	c INPROCESSING
3600.07/3609.20	c GARBAGE COLLECT
3600.07/3609.20	c #Conflicts:     847000 | #Constraints:     399745
3600.07/3609.20	c #Conflicts:     848000 | #Constraints:     400745
3600.07/3609.20	c #Conflicts:     849000 | #Constraints:     401745
3600.07/3609.20	c #Conflicts:     850000 | #Constraints:     402745
3600.07/3609.20	c #Conflicts:     851000 | #Constraints:     403745
3600.07/3609.20	c #Conflicts:     852000 | #Constraints:     404745
3600.07/3609.20	c Program interrupted by user.
3600.07/3609.20	c cpu time 3594.66 s
3600.07/3609.20	c deterministic time 113726356920 1.14e+11
3600.07/3609.20	c optimization time 29.48 s
3600.07/3609.20	c total solve time 3263.13 s
3600.07/3609.20	c core-guided solve time 3263.13 s
3600.07/3609.20	c propagation time 1160.39 s
3600.07/3609.20	c conflict analysis time 2056.99 s
3600.07/3609.20	c propagations 186957501
3600.07/3609.20	c resolve steps 66127370
3600.07/3609.20	c decisions 1035508
3600.07/3609.20	c conflicts 852330
3600.07/3609.20	c restarts 1819
3600.07/3609.20	c inprocessing phases 83
3600.07/3609.20	c input clauses 381137
3600.07/3609.20	c input cardinalities 862
3600.07/3609.20	c input general constraints 0
3600.07/3609.20	c input average constraint length 9.64
3600.07/3609.20	c input average constraint degree 1.98
3600.07/3609.20	c learned clauses 843953
3600.07/3609.20	c learned cardinalities 2718
3600.07/3609.20	c learned general constraints 5715
3600.07/3609.20	c learned average constraint length 1291.45
3600.07/3609.20	c learned average constraint degree 10.71
3600.07/3609.20	c watched constraints 2305
3600.07/3609.20	c counting constraints 3410
3600.07/3609.20	c gcd simplifications 311833
3600.07/3609.20	c detected cardinalities 0
3600.07/3609.20	c weakened non-implied lits 1094311172
3600.07/3609.20	c weakened non-implying lits 2296307
3600.07/3609.20	c original variables 3486
3600.07/3609.20	c clausal propagations 169686619
3600.07/3609.20	c cardinality propagations 1055441
3600.07/3609.20	c watched propagations 95
3600.07/3609.20	c counting propagations 14881024
3600.07/3609.20	c watch lookups 28841935519
3600.07/3609.20	c watch backjump lookups 22685227237
3600.07/3609.20	c watch checks 51624822151
3600.07/3609.20	c propagation checks 6241224789
3600.07/3609.20	c constraint additions 3956311897
3600.07/3609.20	c trail pops 188842317
3600.07/3609.20	c formula constraints 381136
3600.07/3609.20	c learned constraints 852386
3600.07/3609.20	c bound constraints 863
3600.07/3609.20	c core-guided constraints 0
3600.07/3609.20	c encountered formula constraints 65117798
3600.07/3609.20	c encountered learned constraints 1848249
3600.07/3609.20	c encountered bound constraints 13653
3600.07/3609.20	c encountered core-guided constraints 0
3600.07/3609.20	c LP total time 0 s
3600.07/3609.20	c LP solve time 0 s
3600.07/3609.20	c LP constraints added 0
3600.07/3609.20	c LP constraints removed 0
3600.07/3609.20	c LP pivots internal 0
3600.07/3609.20	c LP pivots root 0
3600.07/3609.20	c LP calls 0
3600.07/3609.20	c LP optimalities 0
3600.07/3609.20	c LP no pivot count 0
3600.07/3609.20	c LP infeasibilities 0
3600.07/3609.20	c LP valid Farkas constraints 0
3600.07/3609.20	c LP learned Farkas constraints 0
3600.07/3609.20	c LP basis resets 0
3600.07/3609.20	c LP cycling count 0
3600.07/3609.20	c LP singular count 0
3600.07/3609.20	c LP no primal count 0
3600.07/3609.20	c LP no farkas count 0
3600.07/3609.20	c LP other issue count 0
3600.07/3609.20	c LP Gomory cuts 0
3600.07/3609.20	c LP learned cuts 0
3600.07/3609.20	c LP deleted cuts 0
3600.07/3609.20	c LP encountered Gomory constraints 0
3600.07/3609.20	c LP encountered Farkas constraints 0
3600.07/3609.20	c LP encountered learned Farkas constraints 0
3600.07/3609.20	c CG auxiliary variables introduced 0
3600.07/3609.20	c CG solutions found 0
3600.07/3609.20	c CG cores constructed 862
3600.07/3609.20	c CG core cardinality constraints returned 0
3600.07/3609.20	c CG unit cores 0
3600.07/3609.20	c CG single cores 862
3600.07/3609.20	c CG blocks removed during cardinality reduction 0
3600.07/3609.20	c CG first core best 0
3600.07/3609.20	c CG decision core best 0
3600.07/3609.20	c CG core reduction tie 0
3600.07/3609.20	c CG core degree average 1.00
3600.07/3609.20	c CG core slack average 2.17
3600.07/3609.20	c CG exhausted 0
3600.07/3609.20	c CG exhaust time 0 s
3600.07/3609.20	c CG trimmed 0
3600.07/3609.20	c CG trim time 0.014879 s
3600.07/3609.20	c CG minimized 0
3600.07/3609.20	c CG minimize time 0 s
3600.07/3609.20	c CG am1 prop time 0.015928 s
3600.07/3609.20	c CG # am1s reformulated 0
3600.07/3609.20	c CG lower bound derived from am1s 0
3600.07/3609.20	c CG # clausal cores 862
3600.07/3609.20	c CG # cardinality cores 0
3600.07/3609.20	c CG # pb cores 0
3600.07/3609.20	c CG # pb reforms 0
3600.07/3609.20	c CG # cores discarded because of pb reform 0
3600.07/3609.20	d LOWERBOUND -2078
3600.07/3609.20	d NCORES 862
3600.07/3609.20	d NPBCORES 0
3600.07/3609.20	d NPBREFORM 0
3600.07/3609.20	d NTRIMMED 0
3600.07/3609.20	d NEXHAUSTED 0
3600.07/3609.20	d NAM1S 0
3600.07/3609.20	d AM1LB 0
3600.07/3609.20	c [Papilo Statistics]
3600.07/3609.20	c prepro time 0.429318s
3600.07/3609.20	c # tsx applied 0
3600.07/3609.20	c # tsx conflicts 0
3600.07/3609.20	c # bound changes 0
3600.07/3609.20	c # side changes 0
3600.07/3609.20	c # coef changes 0
3600.07/3609.20	c # rounds 1
3600.07/3609.20	c # deted vars 0
3600.07/3609.20	c # deted constrs 0
3600.07/3609.20	c # consecutive rounds of only bound changes 0
3600.07/3609.20	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: 63794 MiB (61702 MiB free)
  memory of node 1: 64507 MiB (61233 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521207-1751561658/watcher-4521207-1751561658 -o /tmp/evaluation-result-4521207-1751561658/solver-4521207-1751561658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77707 --watchdog 3760 mixed-bag HOME/instance-4521207-1751561658.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
Current StackSize limit: 8192 KiB

solver pid=80007, runsolver pid=80004

[startup+0.100067 s]*
/proc/loadavg: 4.11 4.18 4.17 5/250 80008
/proc/meminfo: memFree=125881596/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=102536 memory=12660 CPUtime=0.09 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 1848 0 0 0 8 1 0 0 20 0 1 0 71845584 104996864 3165 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 25634 3165 2144 2842 0 7867 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102536 KiB
Current children cumulated memory: 12660 KiB

[startup+0.210389 s]*
/proc/loadavg: 4.11 4.18 4.17 5/250 80008
/proc/meminfo: memFree=125879832/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=104584 memory=15620 CPUtime=0.19 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 2603 0 0 0 18 1 0 0 20 0 1 0 71845584 107094016 3905 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 26146 3905 2144 2842 0 8379 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 104584 KiB
Current children cumulated memory: 15620 KiB

[startup+0.310103 s]*
/proc/loadavg: 4.11 4.18 4.17 5/250 80008
/proc/meminfo: memFree=125875736/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=108680 memory=19616 CPUtime=0.29 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 3100 0 0 0 28 1 0 0 20 0 1 0 71845584 111288320 4904 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 27170 4904 2144 2842 0 9403 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 108680 KiB
Current children cumulated memory: 19616 KiB

[startup+0.700298 s]
/proc/loadavg: 4.11 4.18 4.17 5/250 80008
/proc/meminfo: memFree=125875736/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=116872 memory=26820 CPUtime=0.67 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 3869 0 0 0 65 2 0 0 20 0 1 0 71845584 119676928 6705 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 29218 6705 2144 2842 0 11451 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 116872 KiB
Current children cumulated memory: 26820 KiB

[startup+1.5003 s]
/proc/loadavg: 4.11 4.18 4.17 5/250 80008
/proc/meminfo: memFree=125863624/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=133256 memory=52120 CPUtime=1.46 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 5108 0 0 0 143 3 0 0 20 0 1 0 71845584 136454144 13030 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 33314 13030 2144 2842 0 15547 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133256 KiB
Current children cumulated memory: 52120 KiB

[startup+3.11305 s]
/proc/loadavg: 4.10 4.18 4.17 5/250 80008
/proc/meminfo: memFree=125227592/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=752728 memory=651000 CPUtime=3.07 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 122399 0 0 0 282 25 0 0 20 0 1 0 71845584 770793472 162750 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 188182 162750 4032 2842 0 169876 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 752728 KiB
Current children cumulated memory: 651000 KiB

[startup+6.30026 s]
/proc/loadavg: 4.10 4.18 4.17 5/250 80008
/proc/meminfo: memFree=124924576/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=980276 memory=872588 CPUtime=6.25 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 163287 0 0 0 589 36 0 0 20 0 1 0 71845584 1003802624 218147 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 245069 218147 4032 2842 0 226763 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 980276 KiB
Current children cumulated memory: 872588 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.18 4.17 5/250 80008
/proc/meminfo: memFree=124112212/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1991676 memory=1799328 CPUtime=12.63 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 200793 0 0 0 1207 56 0 0 20 0 1 0 71845584 2039476224 449832 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 497919 449832 4096 2842 0 479613 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1991676 KiB
Current children cumulated memory: 1799328 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.17 4.17 5/250 80008
/proc/meminfo: memFree=124100524/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1991676 memory=1800224 CPUtime=25.39 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 201098 0 0 0 2483 56 0 0 20 0 1 0 71845584 2039476224 450056 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 497919 450056 4096 2842 0 479613 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1991676 KiB
Current children cumulated memory: 1800224 KiB

[startup+51.1131 s]
/proc/loadavg: 4.05 4.15 4.16 5/250 80008
/proc/meminfo: memFree=124027944/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=2058024 memory=1869120 CPUtime=50.94 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 233222 0 0 0 5030 64 0 0 20 0 1 0 71845584 2107416576 467280 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 514506 467280 4256 2842 0 496200 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2058024 KiB
Current children cumulated memory: 1869120 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.14 4.16 5/251 80011
/proc/meminfo: memFree=124006304/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=2061900 memory=1879484 CPUtime=102.01 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 234333 0 0 0 10136 65 0 0 20 0 1 0 71845584 2111385600 469871 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 515475 469871 4256 2842 0 497169 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2061900 KiB
Current children cumulated memory: 1879484 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/252 80014
/proc/meminfo: memFree=123980524/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=2067188 memory=1884236 CPUtime=161.87 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 235000 0 0 0 16122 65 0 0 20 0 1 0 71845584 2116800512 471059 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 516797 471059 4256 2842 0 498491 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2067188 KiB
Current children cumulated memory: 1884236 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/252 80020
/proc/meminfo: memFree=123950600/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=2067188 memory=1884364 CPUtime=221.72 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 235084 0 0 0 22107 65 0 0 20 0 1 0 71845584 2116800512 471091 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 516797 471091 4256 2842 0 498491 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2067188 KiB
Current children cumulated memory: 1884364 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/251 80022
/proc/meminfo: memFree=124409356/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=2067188 memory=1884364 CPUtime=281.58 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 235085 0 0 0 28093 65 0 0 20 0 1 0 71845584 2116800512 471091 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 516797 471091 4256 2842 0 498491 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2067188 KiB
Current children cumulated memory: 1884364 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/251 80026
/proc/meminfo: memFree=125259136/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1125140 memory=1044860 CPUtime=341.45 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 238076 0 0 0 34045 100 0 0 20 0 1 0 71845584 1152143360 261215 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 281285 261215 4448 2842 0 262979 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 1125140 KiB
Current children cumulated memory: 1044860 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.14 6/253 80039
/proc/meminfo: memFree=125237200/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1155960 memory=1059196 CPUtime=401.32 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 238594 0 0 0 40023 109 0 0 20 0 1 0 71845584 1183703040 264799 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 288990 264799 4448 2842 0 270684 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 1155960 KiB
Current children cumulated memory: 1059196 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/250 80042
/proc/meminfo: memFree=125216120/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1155960 memory=1069436 CPUtime=461.19 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 238623 0 0 0 46002 117 0 0 20 0 1 0 71845584 1183703040 267359 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 288990 267359 4448 2842 0 270684 0
Current children cumulated CPU time: 461.19 s

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

Current children cumulated memory: 1196080 KiB

[startup+2862.3 s]
/proc/loadavg: 3.12 3.62 3.90 4/248 80236
/proc/meminfo: memFree=127112576/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1199792 CPUtime=2854.89 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 239814 0 0 0 285021 468 0 0 20 0 1 0 71845584 1318334464 299948 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 299948 4448 2842 0 303553 0
Current children cumulated CPU time: 2854.89 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1199792 KiB

[startup+2922.3 s]
/proc/loadavg: 3.17 3.54 3.85 4/249 80239
/proc/meminfo: memFree=127118628/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1201840 CPUtime=2914.72 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 239820 0 0 0 290994 478 0 0 20 0 1 0 71845584 1318334464 300460 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 300460 4448 2842 0 303553 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1201840 KiB

[startup+2982.3 s]
/proc/loadavg: 3.11 3.45 3.80 4/249 80241
/proc/meminfo: memFree=127126568/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1203888 CPUtime=2974.55 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 239853 0 0 0 296971 484 0 0 20 0 1 0 71845584 1318334464 300972 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 300972 4448 2842 0 303553 0
Current children cumulated CPU time: 2974.55 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1203888 KiB

[startup+3042.3 s]
/proc/loadavg: 3.15 3.40 3.76 4/248 80243
/proc/meminfo: memFree=127133808/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1203888 CPUtime=3034.41 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 239854 0 0 0 302951 490 0 0 20 0 1 0 71845584 1318334464 300972 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 300972 4448 2842 0 303553 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1203888 KiB

[startup+3102.3 s]
/proc/loadavg: 3.05 3.32 3.71 4/248 80245
/proc/meminfo: memFree=127113988/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1205936 CPUtime=3094.28 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 239917 0 0 0 308934 494 0 0 20 0 1 0 71845584 1318334464 301484 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 301484 4448 2842 0 303553 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1205936 KiB

[startup+3162.3 s]
/proc/loadavg: 3.14 3.29 3.67 4/244 80247
/proc/meminfo: memFree=127107468/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1212080 CPUtime=3154.15 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240037 0 0 0 314915 500 0 0 20 0 1 0 71845584 1318334464 303020 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 303020 4448 2842 0 303553 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1212080 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.25 3.63 4/245 80255
/proc/meminfo: memFree=127055248/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1212080 CPUtime=3214.02 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240037 0 0 0 320897 505 0 0 20 0 1 0 71845584 1318334464 303020 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 303020 4448 2842 0 303553 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1212080 KiB

[startup+3282.3 s]
/proc/loadavg: 3.09 3.22 3.60 4/245 80257
/proc/meminfo: memFree=127075020/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1214128 CPUtime=3273.89 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240042 0 0 0 326879 510 0 0 20 0 1 0 71845584 1318334464 303532 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 303532 4448 2842 0 303553 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1214128 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.20 3.56 4/245 80261
/proc/meminfo: memFree=127068336/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1218224 CPUtime=3333.76 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240044 0 0 0 332860 516 0 0 20 0 1 0 71845584 1318334464 304556 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 304556 4448 2842 0 303553 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1218224 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.17 3.53 4/245 80264
/proc/meminfo: memFree=127030616/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1222320 CPUtime=3393.63 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240046 0 0 0 338842 521 0 0 20 0 1 0 71845584 1318334464 305580 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 305580 4448 2842 0 303553 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1222320 KiB

[startup+3462.3 s]
/proc/loadavg: 3.07 3.15 3.50 4/245 80266
/proc/meminfo: memFree=127003620/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1222320 CPUtime=3453.51 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240046 0 0 0 344823 528 0 0 20 0 1 0 71845584 1318334464 305580 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 305580 4448 2842 0 303553 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1222320 KiB

[startup+3522.3 s]
/proc/loadavg: 3.06 3.14 3.47 4/244 80268
/proc/meminfo: memFree=127003228/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1287436 memory=1222320 CPUtime=3513.38 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240046 0 0 0 350805 533 0 0 20 0 1 0 71845584 1318334464 305580 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 321859 305580 4448 2842 0 303553 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 1287436 KiB
Current children cumulated memory: 1222320 KiB

[startup+3582.3 s]
/proc/loadavg: 3.06 3.12 3.44 4/244 80270
/proc/meminfo: memFree=126998372/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1419696 memory=1223344 CPUtime=3573.24 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240324 0 0 0 356787 537 0 0 20 0 1 0 71845584 1453768704 305836 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 354924 305836 4448 2842 0 336618 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 1419696 KiB
Current children cumulated memory: 1223344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 2.81 3.06 3.41 3/238 80301
/proc/meminfo: memFree=127746028/131382112 swapFree=33010416/33010684
[pid=80007] ppid=80004 vsize=1419696 memory=1223344 CPUtime=3600.07 cores=4,6
/proc/80007/stat : 80007 (mixed-bag) R 80004 80007 77674 0 -1 4194304 240366 0 0 0 359466 541 0 0 20 0 1 0 71845584 1453768704 305836 18446744073709551615 4235264 15874749 140736910910240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48132096 140736910911900 140736910911977 140736910911977 140736910917579 0
/proc/80007/statm: 354924 305836 4448 2842 0 336618 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1419696 KiB
Current children cumulated memory: 1223344 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.67 s, system=5.42004 s

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

Child status: 0

Real time (s): 3609.21
CPU time (s): 3600.09
CPU user time (s): 3594.67
CPU system time (s): 5.42004
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 2099712
Max. memory (cumulated for all children) (KiB): 1914968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.67
system time used= 5.42004
maximum resident set size= 1914968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240426
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= 188
involuntary context switches= 1213


# summary of solver processes directly reported to runsolver:
#   pid: 80007
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3594.67
#   total CPU system time (s): 5.42004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6844 second user time and 35.5139 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-03 18:54:19
IDJOB=4521207
IDBENCH=178243
IDSOLVER=3340
FILE ID=nodeC012/4521207-1751561658
RUNJOBID= nodeC012-1751553490-77707
SLURM_JOB_ID= 9598739
Free space on /tmp= 431772 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
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-4521207-1751561658/watcher-4521207-1751561658 -o /tmp/evaluation-result-4521207-1751561658/solver-4521207-1751561658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77707 --watchdog 3760  mixed-bag HOME/instance-4521207-1751561658.opb

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

MD5SUM BENCH= 56a55a6a376bce11ab58c02a823aeaa9
RANDOM SEED=135827149

nodeC012 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	: 0xb00001f
cpu MHz		: 3578.673
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.424
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.240
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.312
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.342
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1596.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.213
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        125885988 kB
MemAvailable:   126156376 kB
Buffers:            2136 kB
Cached:          1070980 kB
SwapCached:           16 kB
Active:          4453864 kB
Inactive:         452800 kB
Active(anon):    3844496 kB
Inactive(anon):     6996 kB
Active(file):     609368 kB
Inactive(file):   445804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28012 kB
Writeback:            28 kB
AnonPages:       3836620 kB
Mapped:           138336 kB
Shmem:             17944 kB
KReclaimable:     109304 kB
Slab:             194732 kB
SReclaimable:     109304 kB
SUnreclaim:        85428 kB
KernelStack:        4032 kB
PageTables:        10808 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4373908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1300480 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431816 MiB
End job on nodeC012 at 2025-07-03 19:54:28