| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 0 | 95.3893 | 95.7017 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-bnatt350.opb |
| MD5SUM | 8adfa3fcdaebdc349cf1a063a69f2733 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.131176 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3150 |
| Total number of constraints | 4923 |
| Number of constraints which are clauses | 1773 |
| Number of constraints which are cardinality constraints (but not clauses) | 1377 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1773 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Number of terms in the objective function | 1 |
| 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 | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1099 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3098 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4502656-1751430469.opb>
0.00/0.02 c original problem has 3150 variables (3150 bin, 0 int, 0 impl, 0 cont) and 4923 constraints
0.00/0.02 c problem read in 0.01
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 1377 del vars, 1377 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 3196 chg coeffs, 0 upgd conss, 0 impls, 2180 clqs
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver (2 rounds): 10 aggregations, 0 fixings, 0 bound changes
0.00/0.05 c (round 2, medium) 1387 del vars, 1377 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 3196 chg coeffs, 0 upgd conss, 0 impls, 2160 clqs
0.00/0.05 c (round 3, fast) 1387 del vars, 1397 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 3196 chg coeffs, 0 upgd conss, 0 impls, 2160 clqs
0.00/0.06 c (round 4, exhaustive) 1387 del vars, 1397 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 3196 chg coeffs, 3505 upgd conss, 0 impls, 2160 clqs
0.00/0.08 c (round 5, medium) 1389 del vars, 3147 del conss, 5597 add conss, 1377 chg bounds, 1423 chg sides, 3196 chg coeffs, 3505 upgd conss, 0 impls, 5581 clqs
0.00/0.08 c (round 6, fast) 1389 del vars, 3155 del conss, 5597 add conss, 1377 chg bounds, 1423 chg sides, 3200 chg coeffs, 3505 upgd conss, 0 impls, 5581 clqs
0.00/0.09 c (round 7, exhaustive) 1389 del vars, 10457 del conss, 7330 add conss, 1377 chg bounds, 1423 chg sides, 3200 chg coeffs, 3505 upgd conss, 0 impls, 5581 clqs
0.09/0.11 c (round 8, exhaustive) 1389 del vars, 10457 del conss, 7330 add conss, 1377 chg bounds, 1423 chg sides, 3200 chg coeffs, 3526 upgd conss, 0 impls, 5581 clqs
0.09/0.11 c (round 9, medium) 1389 del vars, 10478 del conss, 7415 add conss, 1377 chg bounds, 1423 chg sides, 3200 chg coeffs, 3526 upgd conss, 0 impls, 5666 clqs
0.09/0.11 c (round 10, exhaustive) 1389 del vars, 10584 del conss, 7436 add conss, 1377 chg bounds, 1423 chg sides, 3200 chg coeffs, 3526 upgd conss, 0 impls, 5666 clqs
0.30/0.33 c (0.3s) probing: 1000/1761 (56.8%) - 3 fixings, 0 aggregations, 27274 implications, 0 bound changes
0.50/0.51 c (0.5s) probing cycle finished: starting next cycle
0.50/0.51 c (round 11, exhaustive) 1393 del vars, 10584 del conss, 7436 add conss, 1377 chg bounds, 1423 chg sides, 3200 chg coeffs, 3526 upgd conss, 0 impls, 19033 clqs
0.50/0.51 c (round 12, fast) 1393 del vars, 10584 del conss, 7436 add conss, 1377 chg bounds, 1423 chg sides, 3204 chg coeffs, 3530 upgd conss, 0 impls, 19033 clqs
0.50/0.51 c (round 13, exhaustive) 1393 del vars, 10606 del conss, 7458 add conss, 1377 chg bounds, 1423 chg sides, 3204 chg coeffs, 3530 upgd conss, 0 impls, 19033 clqs
0.50/0.57 c (0.6s) probing: 304/1757 (17.3%) - 4 fixings, 0 aggregations, 54902 implications, 0 bound changes
0.50/0.57 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.50/0.57 c (0.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.50/0.57 c (0.6s) no symmetry present (symcode time: 0.00)
0.50/0.58 c presolving (14 rounds: 14 fast, 10 medium, 7 exhaustive):
0.50/0.58 c 1393 deleted vars, 10607 deleted constraints, 7458 added constraints, 1377 tightened bounds, 0 added holes, 1423 changed sides, 3206 changed coefficients
0.50/0.58 c 0 implications, 19047 cliques
0.50/0.58 c presolved problem has 1757 variables (1757 bin, 0 int, 0 impl, 0 cont) and 1774 constraints
0.50/0.58 c 34 constraints of type <setppc>
0.50/0.58 c 1728 constraints of type <and>
0.50/0.58 c 12 constraints of type <logicor>
0.50/0.58 c transformed objective value is always integral (scale: 1)
0.50/0.58 c Presolving Time: 0.55
0.50/0.58 c - non default parameters ----------------------------------------------------------------------
0.50/0.58 c # SCIP version 10.0.0
0.50/0.58 c
0.50/0.58 c # maximal time in seconds to run
0.50/0.58 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.50/0.58 c limits/time = 3596.998008
0.50/0.58 c
0.50/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.50/0.58 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.50/0.58 c limits/memory = 27900
0.50/0.58 c
0.50/0.58 c # belongs reading time to solving time?
0.50/0.58 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.50/0.58 c timing/reading = TRUE
0.50/0.58 c
0.50/0.58 c -----------------------------------------------------------------------------------------------
0.50/0.58 c start solving
0.50/0.58 c
0.59/0.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.59/0.65 c 0.6s| 1 | 0 | 762 | - | 36M | 0 |1757 |1809 |3502 | 0 | 0 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.85 c 1.8s| 1 | 0 | 7519 | - | 45M | 0 |1757 |2010 |3676 | 174 | 1 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
1.98/2.01 c 2.0s| 1 | 0 | 8429 | - | 50M | 0 |1757 |2011 |3832 | 330 | 2 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
2.17/2.21 c 2.2s| 1 | 0 | 9598 | - | 54M | 0 |1757 |2013 |3983 | 481 | 3 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
2.37/2.47 c 2.5s| 1 | 0 | 11036 | - | 58M | 0 |1757 |2014 |4125 | 623 | 4 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
2.67/2.70 c 2.7s| 1 | 0 | 12077 | - | 62M | 0 |1757 |2015 |4271 | 769 | 5 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
2.88/2.94 c 2.9s| 1 | 0 | 13185 | - | 65M | 0 |1757 |2016 |4416 | 914 | 6 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
3.18/3.22 c 3.2s| 1 | 0 | 14293 | - | 71M | 0 |1757 |2018 |4557 |1055 | 7 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
3.37/3.42 c 3.4s| 1 | 0 | 14924 | - | 76M | 0 |1757 |2020 |4699 |1197 | 8 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
3.57/3.61 c 3.6s| 1 | 0 | 15698 | - | 79M | 0 |1757 |2022 |4797 |1295 | 9 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
3.77/3.80 c 3.8s| 1 | 0 | 16489 | - | 82M | 0 |1757 |2025 |4889 |1387 | 10 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
3.87/3.95 c 3.9s| 1 | 0 | 17391 | - | 83M | 0 |1757 |2029 |4979 |1477 | 11 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
4.98/5.04 c 5.0s| 1 | 2 | 19487 | - | 83M | 0 |1757 |2050 |4979 |1477 | 11 | 75 | 11 | 0.000000e+00 | -- | Inf | unknown
11.16/11.20 c 11.2s| 100 | 57 | 56192 | 391.9 | 88M | 20 |1757 |2201 |5187 |6261 | 2 | 226 | 11 | 0.000000e+00 | -- | Inf | unknown
20.13/20.25 c 20.2s| 200 | 90 |100798 | 419.1 | 90M | 20 |1757 |2385 | 0 | 10k| 0 | 410 | 11 | 0.000000e+00 | -- | Inf | unknown
23.02/23.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.02/23.13 c 23.1s| 300 | 83 |128009 | 370.0 | 91M | 20 |1757 |2615 |5488 | 13k| 2 | 644 | 11 | 0.000000e+00 | -- | Inf | unknown
26.71/26.85 c 26.8s| 400 | 97 |159004 | 354.9 | 92M | 20 |1757 |2777 |5223 | 17k| 2 | 806 | 11 | 0.000000e+00 | -- | Inf | 0.57%
31.79/31.94 c 31.9s| 500 | 112 |197794 | 361.5 | 95M | 20 |1757 |3073 | 0 | 21k| 0 |1102 | 11 | 0.000000e+00 | -- | Inf | 0.92%
35.37/35.54 c 35.5s| 600 | 119 |225698 | 347.8 | 97M | 20 |1757 |3278 | 0 | 25k| 0 |1315 | 11 | 0.000000e+00 | -- | Inf | 1.28%
38.56/38.73 c 38.7s| 700 | 121 |256172 | 341.6 | 98M | 20 |1757 |3492 |5072 | 29k| 2 |1543 | 11 | 0.000000e+00 | -- | Inf | 1.64%
44.65/44.85 c 44.8s| 800 | 143 |295702 | 348.3 | 98M | 20 |1757 |3612 |4973 | 34k| 2 |1761 | 11 | 0.000000e+00 | -- | Inf | 1.84%
47.94/48.18 c 48.2s| 900 | 155 |325780 | 343.0 | 99M | 20 |1757 |3650 |4679 | 39k| 2 |1966 | 11 | 0.000000e+00 | -- | Inf | 2.09%
51.62/51.82 c 51.8s| 1000 | 168 |358961 | 341.9 | 100M | 20 |1757 |3507 |4935 | 43k| 2 |2180 | 11 | 0.000000e+00 | -- | Inf | 2.70%
55.01/55.28 c 55.3s| 1100 | 172 |391716 | 340.6 | 101M | 20 |1757 |3611 |4978 | 47k| 2 |2445 | 11 | 0.000000e+00 | -- | Inf | 2.88%
60.09/60.34 c 60.3s| 1200 | 190 |433379 | 346.9 | 102M | 20 |1757 |3713 | 0 | 53k| 0 |2688 | 11 | 0.000000e+00 | -- | Inf | 3.58%
66.37/66.62 c 66.6s| 1300 | 216 |480250 | 356.3 | 103M | 20 |1757 |3821 |5001 | 57k| 2 |2982 | 11 | 0.000000e+00 | -- | Inf | 3.94%
71.05/71.39 c 71.4s| 1400 | 239 |523580 | 361.8 | 104M | 20 |1757 |3861 |5318 | 62k| 2 |3299 | 11 | 0.000000e+00 | -- | Inf | 4.53%
79.84/80.19 c 80.2s| 1500 | 262 |582052 | 376.7 | 105M | 20 |1757 |3780 |5181 | 68k| 2 |3586 | 11 | 0.000000e+00 | -- | Inf | 5.30%
91.49/91.81 c 91.8s| 1600 | 312 |649064 | 395.0 | 107M | 20 |1757 |3708 | 0 | 75k| 0 |3779 | 11 | 0.000000e+00 | -- | Inf | 5.62%
95.28/95.65 o 0
95.28/95.65 c *95.6s| 1656 | 0 |674327 | 396.9 | LP | 20 |1757 |3668 |4513 | 78k| 0 |3885 | 11 | 0.000000e+00 | 0.000000e+00 | 0.00%| 98.85%
95.28/95.66 c
95.28/95.66 c SCIP Status : problem is solved [optimal solution found]
95.28/95.66 c Solving Time (sec) : 95.66
95.28/95.66 c Solving Nodes : 1656
95.28/95.66 c Primal Bound : +0.00000000000000e+00 (1 solutions)
95.28/95.66 c Dual Bound : +0.00000000000000e+00
95.28/95.66 c Gap : 0.00 %
95.28/95.66 s OPTIMUM FOUND
95.28/95.66 v -x3150 x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 x3135 -x3134 -x3133 x3132
95.28/95.66 v -x3131 -x3130 -x3129 -x3128 -x3127 x3126 x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114
95.28/95.66 v -x3113 x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096
95.28/95.66 v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078
95.28/95.66 v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060
95.28/95.66 v -x3059 -x3058 x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042
95.28/95.66 v -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024
95.28/95.66 v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006
95.28/95.66 v -x3005 -x3004 -x3003 x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988
95.28/95.66 v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970
95.28/95.66 v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952
95.28/95.66 v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939 -x2938 -x2937 x2936 -x2935 -x2934
95.28/95.66 v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916
95.28/95.67 v -x2915 -x2914 -x2913 x2912 -x2911 x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 x2899 -x2898
95.28/95.67 v -x2897 -x2896 -x2895 -x2894 -x2893 x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 x2881 -x2880
95.28/95.67 v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 x2870 -x2869 -x2868 -x2867 -x2866 x2865 -x2864 -x2863 -x2862
95.28/95.67 v -x2861 -x2860 -x2859 -x2858 x2857 -x2856 x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844
95.28/95.67 v -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 x2826
95.28/95.67 v -x2825 -x2824 x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 x2813 -x2812 -x2811 -x2810 -x2809 -x2808 x2807
95.28/95.67 v -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789
95.28/95.67 v -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771
95.28/95.67 v -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754
95.28/95.67 v x2753 x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735
95.28/95.67 v -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718
95.28/95.67 v -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 x2705 -x2704 -x2703 -x2702 x2701 -x2700 -x2699
95.28/95.67 v -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682
95.28/95.67 v -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664
95.28/95.67 v x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 x2647 -x2646
95.28/95.67 v -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628
95.28/95.67 v -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610
95.28/95.67 v -x2609 -x2608 x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592
95.28/95.67 v -x2591 -x2590 x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 x2577 -x2576 -x2575 -x2574
95.28/95.67 v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
95.28/95.67 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538
95.28/95.67 v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520
95.28/95.67 v x2519 -x2518 -x2517 -x2516 -x2515 -x2514 x2513 -x2512 -x2511 x2510 -x2509 -x2508 -x2507 x2506 -x2505 -x2504 -x2503 -x2502
95.28/95.67 v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484
95.28/95.67 v x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466
95.28/95.67 v -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448
95.28/95.67 v -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430
95.28/95.67 v -x2429 -x2428 -x2427 -x2426 -x2425 x2424 -x2423 -x2422 -x2421 x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412
95.28/95.67 v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394
95.28/95.67 v -x2393 -x2392 -x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385 x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376
95.28/95.67 v -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358
95.28/95.67 v -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 x2351 -x2350 -x2349 -x2348 x2347 -x2346 -x2345 -x2344 -x2343 x2342 -x2341 -x2340
95.28/95.67 v -x2339 -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321
95.28/95.67 v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303
95.28/95.67 v -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286
95.28/95.67 v -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 x2271 -x2270 -x2269 -x2268
95.28/95.67 v -x2267 -x2266 -x2265 x2264 -x2263 -x2262 -x2261 -x2260 x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251 x2250 -x2249
95.28/95.67 v -x2248 -x2247 x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231
95.28/95.67 v -x2230 -x2229 -x2228 -x2227 -x2226 x2225 -x2224 -x2223 -x2222 -x2221 x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213
95.28/95.67 v -x2212 -x2211 -x2210 x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195
95.28/95.67 v -x2194 -x2193 x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 x2183 -x2182 -x2181 x2180 -x2179 -x2178 -x2177
95.28/95.67 v -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 x2159
95.28/95.67 v -x2158 -x2157 -x2156 -x2155 x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141
95.28/95.67 v -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123
95.28/95.67 v -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105
95.28/95.67 v -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 x2089 -x2088 -x2087
95.28/95.67 v x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 x2071 -x2070 -x2069 -x2068
95.28/95.67 v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 x2054 -x2053 -x2052 -x2051 -x2050
95.28/95.67 v -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032
95.28/95.67 v -x2031 -x2030 -x2029 x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014
95.28/95.67 v x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 x1997 -x1996
95.28/95.67 v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978
95.28/95.67 v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960
95.28/95.67 v -x1959 -x1958 -x1957 x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 x1942
95.28/95.67 v -x1941 -x1940 x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924
95.28/95.67 v -x1923 -x1922 x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906
95.28/95.67 v -x1905 x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888
95.28/95.67 v -x1887 -x1886 -x1885 -x1884 x1883 -x1882 -x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871 -x1870
95.28/95.67 v -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 x1861 -x1860 x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 x1851
95.28/95.67 v -x1850 x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
95.28/95.67 v -x1832 x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 x1820 -x1819 -x1818 -x1817 -x1816 -x1815
95.28/95.67 v -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797
95.28/95.67 v -x1796 x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 x1779
95.28/95.67 v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 x1768 x1767 -x1766 x1765 -x1764 -x1763 x1762 -x1761
95.28/95.67 v -x1760 x1759 -x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742
95.28/95.67 v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
95.28/95.67 v -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 x1708 -x1707 -x1706
95.28/95.67 v -x1705 -x1704 x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 -x1689 -x1688
95.28/95.67 v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 x1671 x1670
95.28/95.67 v -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
95.28/95.67 v -x1651 -x1650 -x1649 -x1648 -x1647 x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634
95.28/95.67 v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 x1627 -x1626 -x1625 -x1624 -x1623 -x1622 x1621 -x1620 -x1619 -x1618 x1617 -x1616
95.28/95.67 v -x1615 -x1614 -x1613 x1612 -x1611 -x1610 x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598
95.28/95.67 v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 x1590 -x1589 -x1588 -x1587 -x1586 -x1585 x1584 -x1583 -x1582 -x1581 -x1580
95.28/95.67 v -x1579 -x1578 x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
95.28/95.67 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544
95.28/95.67 v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 x1526
95.28/95.67 v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 x1517 -x1516 -x1515 x1514 -x1513 -x1512 x1511 -x1510 -x1509 -x1508 -x1507
95.28/95.67 v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489
95.28/95.67 v -x1488 -x1487 x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 x1473 -x1472 -x1471
95.28/95.67 v -x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 x1453
95.28/95.67 v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435
95.28/95.67 v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 x1423 -x1422 -x1421 -x1420 -x1419 x1418 -x1417
95.28/95.67 v x1416 -x1415 x1414 -x1413 -x1412 -x1411 -x1410 -x1409 x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398
95.28/95.67 v x1397 -x1396 x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 x1381 -x1380
95.28/95.67 v -x1379 x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362
95.28/95.67 v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344
95.28/95.67 v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 x1332 -x1331 -x1330 -x1329 -x1328 -x1327 x1326
95.28/95.67 v -x1325 -x1324 x1323 -x1322 -x1321 -x1320 x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
95.28/95.67 v -x1307 x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289
95.28/95.67 v -x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 -x1281 x1280 x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 x1271
95.28/95.67 v -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253
95.28/95.67 v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235
95.28/95.67 v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 x1227 -x1226 x1225 -x1224 -x1223 x1222 -x1221 -x1220 -x1219 -x1218 x1217
95.28/95.67 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199
95.28/95.67 v x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180
95.28/95.67 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163
95.28/95.67 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 x1148 x1147 -x1146 -x1145 -x1144
95.28/95.67 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127
95.28/95.67 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
95.28/95.67 v x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
95.28/95.67 v -x1090 -x1089 x1088 -x1087 x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
95.28/95.67 v x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
95.28/95.67 v -x1053 -x1052 -x1051 x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036
95.28/95.67 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
95.28/95.67 v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 -x1000
95.28/95.67 v -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 x986 x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978
95.28/95.67 v -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957
95.28/95.67 v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 x940 -x939 x938 -x937 -x936
95.28/95.67 v -x935 -x934 -x933 x932 -x931 x930 -x929 -x928 -x927 -x926 x925 x924 x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 -x915 x914
95.28/95.67 v -x913 -x912 x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
95.28/95.67 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872
95.28/95.67 v -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 x859 -x858 -x857 x856 -x855 -x854 -x853 x852 -x851 -x850
95.28/95.67 v -x849 -x848 -x847 -x846 -x845 x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829
95.28/95.67 v -x828 -x827 x826 x825 -x824 -x823 -x822 -x821 -x820 x819 x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
95.28/95.67 v -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
95.28/95.67 v -x785 x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765
95.28/95.67 v x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 x756 x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 x744 -x743
95.28/95.67 v -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 -x722
95.28/95.67 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700
95.28/95.67 v -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 x685 -x684 -x683 -x682 -x681 x680 x679
95.28/95.67 v x678 -x677 -x676 -x675 x674 x673 -x672 -x671 x670 x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
95.28/95.67 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
95.28/95.67 v x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 x617 -x616 -x615 -x614
95.28/95.67 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593
95.28/95.67 v -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 x574 -x573 -x572
95.28/95.67 v -x571 -x570 -x569 x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550
95.28/95.67 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 -x529
95.28/95.67 v x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508
95.28/95.67 v -x507 -x506 -x505 x504 x503 -x502 -x501 -x500 -x499 -x498 x497 x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486
95.28/95.67 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465
95.28/95.67 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444
95.28/95.67 v -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422
95.28/95.67 v -x421 x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 x402 -x401
95.28/95.67 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380
95.28/95.67 v -x379 x378 -x377 -x376 -x375 -x374 -x373 x372 x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358
95.28/95.67 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337
95.28/95.67 v x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315
95.28/95.67 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 x306 -x305 x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 x294
95.28/95.67 v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272
95.28/95.67 v x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251
95.28/95.67 v x250 -x249 -x248 -x247 x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
95.28/95.67 v -x228 -x227 x226 -x225 -x224 -x223 x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 x214 x213 -x212 x211 -x210 -x209 x208 -x207
95.28/95.67 v -x206 x205 x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 x191 -x190 -x189 -x188 -x187 -x186
95.28/95.67 v -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165
95.28/95.67 v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 x145 -x144 -x143
95.28/95.67 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122
95.28/95.67 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 x110 x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 x100
95.28/95.67 v -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 x75 -x74
95.28/95.67 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 x51 -x50 -x49 -x48
95.28/95.67 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 x27 x26 -x25 -x24 -x23 -x22
95.28/95.67 v -x21 -x20 -x19 -x18 -x17 x16 x15 x14 -x13 -x12 x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
95.28/95.67 c SCIP Status : problem is solved [optimal solution found]
95.28/95.67 c Total Time : 95.66
95.28/95.67 c solving : 95.66
95.28/95.67 c presolving : 0.55 (included in solving)
95.28/95.67 c reading : 0.01 (included in solving)
95.28/95.67 c copying : 0.67 (86 #copies) (minimal 0.01, maximal 0.01, average 0.01)
95.28/95.67 c Original Problem :
95.28/95.67 c Problem name : HOME/instance-4502656-1751430469.opb
95.28/95.67 c Variables : 3150 (3150 binary, 0 integer, 0 implicit integer, 0 continuous)
95.28/95.67 c Constraints : 4923 initial, 4923 maximal
95.28/95.67 c Objective : minimize, 1 non-zeros (abs.min = 1, abs.max = 1)
95.28/95.67 c Presolved Problem :
95.28/95.67 c Problem name : t_HOME/instance-4502656-1751430469.opb
95.28/95.67 c Variables : 1757 (1757 binary, 0 integer, 0 implicit integer, 0 continuous)
95.28/95.67 c Constraints : 1774 initial, 3872 maximal
95.28/95.67 c Objective : minimize, 1 non-zeros (abs.min = 1, abs.max = 1)
95.28/95.67 c Nonzeros : 7452 constraint, 37950 clique table
95.28/95.67 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
95.28/95.67 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
95.28/95.67 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
95.28/95.67 c gateextraction : 0.01 0.00 6 0 0 0 0 0 7408 1754 0 0
95.28/95.67 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
95.28/95.67 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c milp : 0.01 0.00 1 0 10 0 0 0 0 0 0 0
95.28/95.67 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
95.28/95.67 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
95.28/95.67 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
95.28/95.67 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c probing : 0.45 0.00 2 4 0 0 0 0 0 0 0 0
95.28/95.67 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
95.28/95.67 c vbounds : 0.00 0.00 3 2 0 0 0 0 0 0 0 0
95.28/95.67 c knapsack : 0.01 0.00 4 0 0 0 0 0 1763 5682 0 0
95.28/95.67 c setppc : 0.01 0.00 21 0 0 0 0 0 16 0 0 0
95.28/95.67 c and : 0.02 0.00 11 0 0 0 0 0 22 22 0 4
95.28/95.67 c linear : 0.02 0.00 10 1377 0 0 1377 0 1397 0 1423 3196
95.28/95.67 c logicor : 0.00 0.00 20 0 0 0 0 0 1 0 0 6
95.28/95.67 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
95.28/95.67 c root node : - - - 17 - - 17 - - - - -
95.28/95.67 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
95.28/95.67 c benderslp : 0 0 0 0 1133 0 0 73 0 0 0 0 0 0 0
95.28/95.67 c integral : 0 0 0 0 1133 0 0 73 0 0 0 0 0 0 2266
95.28/95.67 c knapsack : 0+ 31 0 14644 0 0 0 0 35 2 88 0 0 0 0
95.28/95.67 c setppc : 34+ 168 11 22568 0 0 0 67 5857 43 6335 12 1 0 0
95.28/95.67 c and : 1728 1728 2345 22525 0 0 0 2 46425 575 210936 98762 65491 0 0
95.28/95.67 c linear : 0+ 233 11 15138 0 0 0 3 6245 43 6184 242 52 0 0
95.28/95.67 c logicor : 12+ 1795 11 10421 0 0 0 1 9345 179 10710 46 10 0 0
95.28/95.67 c benders : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
95.28/95.67 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
95.28/95.67 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
95.28/95.67 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
95.28/95.67 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c integral : 0.95 0.00 0.00 0.00 0.95 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c and : 1.55 0.00 0.73 0.80 0.00 0.00 0.00 0.00 0.02 0.00
95.28/95.67 c linear : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c logicor : 0.17 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.01 0.00
95.28/95.67 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c Propagators : #Propagate #ResProp Cutoffs DomReds
95.28/95.67 c dualfix : 1 0 0 0
95.28/95.67 c genvbounds : 0 0 0 0
95.28/95.67 c nlobbt : 0 0 0 0
95.28/95.67 c obbt : 0 0 0 0
95.28/95.67 c probing : 0 0 0 0
95.28/95.67 c pseudoobj : 13978 0 0 0
95.28/95.67 c redcost : 4641 0 0 0
95.28/95.67 c rootredcost : 1 0 0 0
95.28/95.67 c symmetry : 0 0 0 0
95.28/95.67 c vbounds : 14390 0 0 0
95.28/95.67 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
95.28/95.67 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c probing : 0.45 0.00 0.45 0.00 0.00 0.00
95.28/95.67 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
95.28/95.67 c redcost : 0.14 0.00 0.00 0.14 0.00 0.00
95.28/95.67 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c symmetry : 0.01 0.00 0.00 0.00 0.00 0.00
95.28/95.67 c vbounds : 0.10 0.00 0.00 0.10 0.00 0.00
95.28/95.67 c Symmetry :
95.28/95.67 c orbitopal red. : 0 reductions applied, 0 cutoffs
95.28/95.67 c orbital reduction: 0 reductions applied, 0 cutoffs
95.28/95.67 c lexicographic red: 0 reductions applied, 0 cutoffs
95.28/95.67 c shadow tree time : 0.00 s
95.28/95.67 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
95.28/95.67 c propagation : 0.05 838 776 - 4467 25.6 363 8.2 - - -
95.28/95.67 c infeasible LP : 0.05 117 117 - 773 29.9 48 7.9 117 14.0 0
95.28/95.67 c bound exceed. LP : 0.00 1 2 - 1 0.0 0 0.0 1 1.0 0
95.28/95.67 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
95.28/95.67 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
95.28/95.67 c applied globally : 0.06 - - 1 3747 17.1 - - 118 - -
95.28/95.67 c applied locally : - - - 0 21 29.6 - - 0 - -
95.28/95.67 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
95.28/95.67 c cut pool : 0.25 - 288 21 - - 8658 43382 - - - - - (maximal pool size: 6313)
95.28/95.67 c aggregation : 0.06 0.00 34 11 0 0 254 760 0 21 21 0 0
95.28/95.67 c > cmir : - - - - - - - 751 0 15 15 0 -
95.28/95.67 c > flowcover : - - - - - - - 0 0 0 0 0 -
95.28/95.67 c > knapsackcover : - - - - - - - 9 0 6 6 0 -
95.28/95.67 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c clique : 0.09 0.00 11 11 0 0 64 981 0 384 384 0 0
95.28/95.67 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c gomory : 1.04 0.00 38 10 0 0 3420 13476 480 3155 3146 9 0
95.28/95.67 c > gomorymi : - - - - - - - 1791 240 48 45 3 -
95.28/95.67 c > strongcg : - - - - - - - 11685 240 3107 3101 6 -
95.28/95.67 c impliedbounds : 0.03 0.00 39 11 0 0 4579 16698 0 5898 5898 0 0
95.28/95.67 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
95.28/95.67 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c multilinear : 0.04 0.00 205 11 0 0 1410 739 973 164 53 111 0
95.28/95.67 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
95.28/95.67 c rapidlearning : 7.53 0.00 84 1 0 17981 0 0 0 0 0 0 410
95.28/95.67 c rlt : 1.53 0.00 98 10 0 0 0 0 0 0 0 0 0
95.28/95.67 c zerohalf : 0.21 0.00 34 11 0 0 492 10728 108 3306 3225 81 0
95.28/95.67 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
95.28/95.67 c hybrid : 0.13 0.00 2313 11 78566 0 61618 1477 0 8218
95.28/95.67 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c Pricers : ExecTime SetupTime Calls Vars
95.28/95.67 c problem variables: 0.00 - 0 0
95.28/95.67 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
95.28/95.67 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c random : 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c relpscost : 0.95 0.00 1133 0 0 0 0 0 0 2266
95.28/95.67 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
95.28/95.67 c Primal Heuristics : ExecTime SetupTime Calls Found Best
95.28/95.67 c LP solutions : 0.00 - - 0 0
95.28/95.67 c relax solutions : 0.00 - - 0 0
95.28/95.67 c pseudo solutions : 0.00 - - 0 0
95.28/95.67 c strong branching : 0.00 - - 0 0
95.28/95.67 c actconsdiving : 0.00 0.00 0 0 0
95.28/95.67 c adaptivediving : 1.34 0.00 14 0 0
95.28/95.67 c alns : 0.02 0.00 5 0 0
95.28/95.67 c bound : 0.00 0.00 0 0 0
95.28/95.67 c clique : 0.02 0.00 1 0 0
95.28/95.67 c coefdiving : 0.00 0.00 0 0 0
95.28/95.67 c completesol : 0.00 0.00 0 0 0
95.28/95.67 c conflictdiving : 1.08 0.00 11 0 0
95.28/95.67 c crossover : 0.00 0.00 0 0 0
95.28/95.67 c dins : 0.00 0.00 0 0 0
95.28/95.67 c distributiondivin: 1.56 0.00 10 0 0
95.28/95.67 c dps : 0.00 0.00 0 0 0
95.28/95.67 c dualval : 0.00 0.00 0 0 0
95.28/95.67 c farkasdiving : 0.00 0.00 0 0 0
95.28/95.67 c feasjump : 0.01 0.00 1 0 0
95.28/95.67 c feaspump : 1.29 0.00 2 0 0
95.28/95.67 c fixandinfer : 0.00 0.00 0 0 0
95.28/95.67 c fracdiving : 0.22 0.00 10 0 0
95.28/95.67 c gins : 0.00 0.00 0 0 0
95.28/95.67 c guideddiving : 0.00 0.00 0 0 0
95.28/95.67 c indcoefdiving : 0.00 0.00 0 0 0
95.28/95.67 c indicator : 0.00 0.00 0 0 0
95.28/95.67 c indicatordiving : 0.00 0.00 0 0 0
95.28/95.67 c indoneopt : 0.00 0.00 0 0 0
95.28/95.67 c indrounding : 0.00 0.00 0 0 0
95.28/95.67 c indtwoopt : 0.00 0.00 0 0 0
95.28/95.67 c intdiving : 0.00 0.00 0 0 0
95.28/95.67 c intshifting : 0.00 0.00 0 0 0
95.28/95.67 c linesearchdiving : 0.28 0.00 10 0 0
95.28/95.67 c localbranching : 0.00 0.00 0 0 0
95.28/95.67 c locks : 0.00 0.00 1 0 0
95.28/95.67 c lpface : 0.00 0.00 0 0 0
95.28/95.67 c mpec : 0.00 0.00 0 0 0
95.28/95.67 c multistart : 0.00 0.00 0 0 0
95.28/95.67 c mutation : 0.00 0.00 0 0 0
95.28/95.67 c nlpdiving : 0.00 0.00 0 0 0
95.28/95.67 c objpscostdiving : 11.18 0.00 5 0 0
95.28/95.67 c octane : 0.00 0.00 0 0 0
95.28/95.67 c ofins : 0.00 0.00 0 0 0
95.28/95.67 c oneopt : 0.00 0.00 0 0 0
95.28/95.67 c padm : 0.00 0.00 0 0 0
95.28/95.67 c proximity : 0.00 0.00 0 0 0
95.28/95.67 c pscostdiving : 0.66 0.00 11 0 0
95.28/95.67 c randrounding : 0.04 0.00 75 0 0
95.28/95.67 c rens : 0.03 0.00 1 0 0
95.28/95.67 c reoptsols : 0.00 0.00 0 0 0
95.28/95.67 c repair : 0.00 0.00 0 0 0
95.28/95.67 c rins : 0.00 0.00 0 0 0
95.28/95.67 c rootsoldiving : 2.69 0.00 5 0 0
95.28/95.67 c rounding : 0.14 0.00 801 0 0
95.28/95.67 c scheduler : 0.00 0.00 0 0 0
95.28/95.67 c shiftandpropagate: 0.00 0.00 1 0 0
95.28/95.67 c shifting : 0.32 0.00 204 0 0
95.28/95.67 c simplerounding : 0.00 0.00 0 0 0
95.28/95.67 c smallcard : 0.00 0.00 0 0 0
95.28/95.67 c subnlp : 0.00 0.00 0 0 0
95.28/95.67 c trivial : 0.00 0.00 2 0 0
95.28/95.67 c trivialnegation : 0.00 0.00 0 0 0
95.28/95.67 c trustregion : 0.00 0.00 0 0 0
95.28/95.67 c trysol : 0.00 0.00 0 0 0
95.28/95.67 c twoopt : 0.00 0.00 0 0 0
95.28/95.67 c undercover : 0.03 0.00 1 0 0
95.28/95.67 c vbounds : 0.01 0.00 1 0 0
95.28/95.67 c veclendiving : 0.76 0.00 10 0 0
95.28/95.67 c zeroobj : 0.00 0.00 0 0 0
95.28/95.67 c zirounding : 0.13 0.00 1000 0 0
95.28/95.67 c other solutions : - - - 0 -
95.28/95.67 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
95.28/95.67 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
95.28/95.67 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
95.28/95.67 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
95.28/95.67 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
95.28/95.67 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
95.28/95.67 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
95.28/95.67 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
95.28/95.67 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
95.28/95.67 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
95.28/95.67 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
95.28/95.67 c primal LP : 0.09 101 0 0.00 0.00 0.09 101
95.28/95.67 c dual LP : 56.39 3644 586151 161.12 10395.45 0.01 6
95.28/95.67 c lex dual LP : 0.00 0 0 0.00 -
95.28/95.67 c barrier LP : 0.00 0 0 0.00 - 0.00 0
95.28/95.67 c resolve instable : 0.00 0 0 0.00 -
95.28/95.67 c diving/probing LP: 20.43 688 88176 128.16 4316.72
95.28/95.67 c strong branching : 0.65 11 4897 445.18 7478.32 - - 3
95.28/95.67 c (at root node) : - 11 4897 445.18 -
95.28/95.67 c conflict analysis: 0.00 0 0 0.00 -
95.28/95.67 c B&B Tree :
95.28/95.67 c number of runs : 1
95.28/95.67 c nodes : 1656 (1133 internal, 523 leaves)
95.28/95.67 c feasible leaves : 0
95.28/95.67 c infeas. leaves : 522
95.28/95.67 c objective leaves : 1
95.28/95.67 c nodes (total) : 1656 (1133 internal, 523 leaves)
95.28/95.67 c nodes left : 0
95.28/95.67 c max depth : 20
95.28/95.67 c max depth (total): 20
95.28/95.67 c backtracks : 434 (26.2%)
95.28/95.67 c early backtracks : 0 (0.0%)
95.28/95.67 c nodes exc. ref. : 0 (0.0%)
95.28/95.67 c delayed cutoffs : 286
95.28/95.67 c repropagations : 954 (62298 domain reductions, 224 cutoffs)
95.28/95.67 c avg switch length: 4.72
95.28/95.67 c switching time : 0.59
95.28/95.67 c Root Node :
95.28/95.67 c First LP value : +0.00000000000000e+00
95.28/95.67 c First LP Iters : 762 (37294.44 Iter/sec)
95.28/95.67 c First LP Time : 0.02
95.28/95.67 c Final Dual Bound : +0.00000000000000e+00
95.28/95.67 c Final Root Iters : 17391
95.28/95.67 c Root LP Estimate : +1.37624384950818e-01
95.28/95.67 c Solution :
95.28/95.67 c Solutions found : 1 (1 improvements)
95.28/95.67 c First Solution : +0.00000000000000e+00 (in run 1, after 1656 nodes, 95.64 seconds, depth 5, found by <relaxation>)
95.28/95.67 c Gap First Sol. : 0.00 %
95.28/95.67 c Gap Last Sol. : 0.00 %
95.28/95.67 c Primal Bound : +0.00000000000000e+00 (in run 1, after 1656 nodes, 95.64 seconds, depth 5, found by <relaxation>)
95.28/95.67 c Dual Bound : +0.00000000000000e+00
95.28/95.67 c Gap : 0.00 %
95.28/95.67 c Integrals : Total Avg%
95.28/95.67 c primal-dual : 9564.77 99.99
95.28/95.67 c primal-ref : - - (not evaluated)
95.28/95.67 c dual-ref : - - (not evaluated)
95.28/95.69 c Time complete: 95.3801.
OK 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (54081 MiB free)
memory of node 1: 64507 MiB (63871 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502656-1751430469/watcher-4502656-1751430469 -o /tmp/evaluation-result-4502656-1751430469/solver-4502656-1751430469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751426802-65546 --watchdog 3760 pbscip -f HOME/instance-4502656-1751430469.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66377, runsolver pid=66374
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.11 4.08 5/264 66378
/proc/meminfo: memFree=120774704/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=66288 memory=40280 CPUtime=0.09 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 7122 0 0 0 8 1 0 0 20 0 1 0 58724757 67878912 10070 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 16572 10070 3744 3530 0 8023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66288 KiB
Current children cumulated memory: 40280 KiB
[startup+0.205703 s]*
/proc/loadavg: 4.11 4.11 4.08 5/264 66378
/proc/meminfo: memFree=120773700/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=68304 memory=42072 CPUtime=0.2 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 7574 0 0 0 19 1 0 0 20 0 1 0 58724757 69943296 10518 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 17076 10518 3744 3530 0 8527 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68304 KiB
Current children cumulated memory: 42072 KiB
[startup+0.305655 s]*
/proc/loadavg: 4.11 4.11 4.08 5/264 66378
/proc/meminfo: memFree=120772948/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=69060 memory=42840 CPUtime=0.3 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 7792 0 0 0 29 1 0 0 20 0 1 0 58724757 70717440 10710 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 17265 10710 3744 3530 0 8716 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69060 KiB
Current children cumulated memory: 42840 KiB
[startup+0.700188 s]
/proc/loadavg: 4.11 4.11 4.08 5/264 66378
/proc/meminfo: memFree=120764884/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=82464 memory=53960 CPUtime=0.68 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 10547 0 0 0 67 1 0 0 20 0 1 0 58724757 84443136 13490 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 20616 13490 3936 3530 0 12067 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82464 KiB
Current children cumulated memory: 53960 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.11 4.08 5/264 66378
/proc/meminfo: memFree=120746992/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=109092 memory=78864 CPUtime=1.48 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 18605 0 0 0 146 2 0 0 20 0 1 0 58724757 111710208 19716 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 27273 19716 3936 3530 0 18724 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109092 KiB
Current children cumulated memory: 78864 KiB
[startup+3.10572 s]
/proc/loadavg: 4.11 4.11 4.08 5/264 66378
/proc/meminfo: memFree=120699364/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=119364 memory=89232 CPUtime=3.08 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 21182 0 0 0 305 3 0 0 20 0 1 0 58724757 122228736 22308 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 29841 22308 3936 3530 0 21292 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119364 KiB
Current children cumulated memory: 89232 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 66379
/proc/meminfo: memFree=120651740/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=149564 memory=116892 CPUtime=6.27 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 28601 0 0 0 623 4 0 0 20 0 1 0 58724757 153153536 29223 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 37391 29223 3936 3530 0 28842 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149564 KiB
Current children cumulated memory: 116892 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.12 4.09 5/264 66379
/proc/meminfo: memFree=120635788/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=156256 memory=123676 CPUtime=12.65 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 30952 0 0 0 1260 5 0 0 20 0 1 0 58724757 160006144 30919 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 39064 30919 3936 3530 0 30515 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 156256 KiB
Current children cumulated memory: 123676 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 66424
/proc/meminfo: memFree=121455756/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=156392 memory=123932 CPUtime=25.41 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 31006 0 0 0 2536 5 0 0 20 0 1 0 58724757 160145408 30983 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 39098 30983 3936 3530 0 30549 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 156392 KiB
Current children cumulated memory: 123932 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.10 4.08 5/264 66424
/proc/meminfo: memFree=121263384/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=171232 memory=138592 CPUtime=50.93 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 36374 0 0 0 5087 6 0 0 20 0 1 0 58724757 175341568 34648 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 42808 34648 3936 3530 0 34259 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 171232 KiB
Current children cumulated memory: 138592 KiB
[startup+95.7017 s]
# the end of solver process 66377 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=95.3046 s, system=0.084682 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.09 4.10 4.08 5/264 66424
/proc/meminfo: memFree=121263384/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=171232 memory=138592 CPUtime=51.02 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 36374 0 0 0 5096 6 0 0 20 0 1 0 58724757 175341568 34648 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 42808 34648 3936 3530 0 34259 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 171232 KiB
Current children cumulated memory: 138592 KiB
[startup+76.8002 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 66425
/proc/meminfo: memFree=121199428/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=177136 memory=144480 CPUtime=76.54 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 39338 0 0 0 7647 7 0 0 20 0 1 0 58724757 181387264 36120 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 44284 36120 3936 3530 0 35735 0
Current children cumulated CPU time: 76.54 s
Current children cumulated vsize: 177136 KiB
Current children cumulated memory: 144480 KiB
[startup+83.2002 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 66426
/proc/meminfo: memFree=121189084/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=177872 memory=145504 CPUtime=82.92 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 39592 0 0 0 8285 7 0 0 20 0 1 0 58724757 182140928 36376 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 44468 36376 3936 3530 0 35919 0
Current children cumulated CPU time: 82.92 s
Current children cumulated vsize: 177872 KiB
Current children cumulated memory: 145504 KiB
[startup+89.6001 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 66472
/proc/meminfo: memFree=121323884/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=177872 memory=145504 CPUtime=89.3 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 39599 0 0 0 8923 7 0 0 20 0 1 0 58724757 182140928 36376 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 44468 36376 3936 3530 0 35919 0
Current children cumulated CPU time: 89.3 s
Current children cumulated vsize: 177872 KiB
Current children cumulated memory: 145504 KiB
[startup+92.8001 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 66472
/proc/meminfo: memFree=121310832/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=179240 memory=146912 CPUtime=92.49 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 39948 0 0 0 9242 7 0 0 20 0 1 0 58724757 183541760 36728 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 44810 36728 3936 3530 0 36261 0
Current children cumulated CPU time: 92.49 s
Current children cumulated vsize: 179240 KiB
Current children cumulated memory: 146912 KiB
[startup+94.4001 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 66472
/proc/meminfo: memFree=121310832/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=179240 memory=146912 CPUtime=94.08 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 39948 0 0 0 9401 7 0 0 20 0 1 0 58724757 183541760 36728 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 44810 36728 3936 3530 0 36261 0
Current children cumulated CPU time: 94.08 s
Current children cumulated vsize: 179240 KiB
Current children cumulated memory: 146912 KiB
[startup+95.2001 s]
/proc/loadavg: 4.08 4.10 4.08 5/265 66472
/proc/meminfo: memFree=121309480/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=179240 memory=146912 CPUtime=94.88 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 39948 0 0 0 9481 7 0 0 20 0 1 0 58724757 183541760 36728 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 44810 36728 3936 3530 0 36261 0
Current children cumulated CPU time: 94.88 s
Current children cumulated vsize: 179240 KiB
Current children cumulated memory: 146912 KiB
[startup+95.6001 s]
/proc/loadavg: 4.08 4.10 4.08 5/265 66472
/proc/meminfo: memFree=121309480/131250000 swapFree=33010416/33010684
[pid=66377] ppid=66374 vsize=179504 memory=147168 CPUtime=95.28 cores=5,7
/proc/66377/stat : 66377 (pbscip) R 66374 66377 65533 0 -1 4194304 40019 0 0 0 9521 7 0 0 20 0 1 0 58724757 183812096 36792 18446744073709551615 4235264 18693293 140723485470832 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36368384 140723485473161 140723485473260 140723485473260 140723485478862 0
/proc/66377/statm: 44876 36792 3936 3530 0 36327 0
Current children cumulated CPU time: 95.28 s
Current children cumulated vsize: 179504 KiB
Current children cumulated memory: 147168 KiB
Child status: 0
Real time (s): 95.7017
CPU time (s): 95.3893
CPU user time (s): 95.3046
CPU system time (s): 0.084682
CPU usage (%): 99.6735
Max. virtual memory (cumulated for all children) (KiB): 179504
Max. memory (cumulated for all children) (KiB): 147168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.3046
system time used= 0.084682
maximum resident set size= 147680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40148
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= 80
involuntary context switches= 96
# summary of solver processes directly reported to runsolver:
# pid: 66377
# total CPU time (s): 95.3893
# total CPU user time (s): 95.3046
# total CPU system time (s): 0.084682
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.214212 second user time and 0.439432 second system time
The end
Begin job on nodeC018 at 2025-07-02 06:27:49 IDJOB=4502656 IDBENCH=155355 IDSOLVER=3365 FILE ID=nodeC018/4502656-1751430469 RUNJOBID= nodeC018-1751426802-65546 SLURM_JOB_ID= 9598360 Free space on /tmp= 432876 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-bnatt350.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502656-1751430469/watcher-4502656-1751430469 -o /tmp/evaluation-result-4502656-1751430469/solver-4502656-1751430469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751426802-65546 --watchdog 3760 pbscip -f HOME/instance-4502656-1751430469.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8adfa3fcdaebdc349cf1a063a69f2733 RANDOM SEED=981877636 nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.814 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.823 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.593 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.438 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.841 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.255 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.219 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.827 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 120784456 kB MemAvailable: 128615128 kB Buffers: 2128 kB Cached: 8597100 kB SwapCached: 32 kB Active: 1476080 kB Inactive: 8260560 kB Active(anon): 1155168 kB Inactive(anon): 288 kB Active(file): 320912 kB Inactive(file): 8260272 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33272 kB Writeback: 0 kB AnonPages: 1138760 kB Mapped: 138524 kB Shmem: 18044 kB KReclaimable: 177052 kB Slab: 267316 kB SReclaimable: 177052 kB SUnreclaim: 90264 kB KernelStack: 4256 kB PageTables: 5476 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1551008 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 751616 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432860 MiB End job on nodeC018 at 2025-07-02 06:29:25