Trace number 4494211

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 NameAnswerCPU timeWall clock time
SCIP 2025-06-13SAT 100.846 101.186

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
MD5SUM35aa7f329bd98b2a572b3b38df46d0d6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.61121
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 462
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
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.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4494211-1751149680.opb>
4.68/4.72	c original problem has 4500 variables (4500 bin, 0 int, 0 cont) and 2559501 constraints
4.68/4.72	c problem read in 4.719 seconds
4.68/4.72	c problem without objective
8.37/8.43	c presolving:
13.65/13.70	c    (13.7s) running MILP presolver
21.13/21.22	c    (21.2s) MILP presolver found nothing
27.42/27.55	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2559500 upgd conss, 0 impls, 2100 clqs
29.11/29.24	c (round 2, medium)     0 del vars, 1961 del conss, 1961 add conss, 0 chg bounds, 1961 chg sides, 3922 chg coeffs, 2559500 upgd conss, 0 impls, 2100 clqs
73.75/74.09	c    (74.1s) probing: 51/4500 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
73.75/74.09	c    (74.1s) probing aborted: 50/50 successive totally useless probings
77.44/77.71	c    (77.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
80.93/81.28	c    (81.3s) no symmetry present (symcode time: 1.66)
90.49/90.88	c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
90.49/90.88	c  0 deleted vars, 1961 deleted constraints, 1961 added constraints, 0 tightened bounds, 0 added holes, 1961 changed sides, 8957 changed coefficients
90.49/90.88	c  0 implications, 2100 cliques
90.49/90.88	c presolved problem has 4500 variables (4500 bin, 0 int, 0 cont) and 2559501 constraints
90.49/90.88	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
90.49/90.88	c    4950 constraints of type <knapsack>
90.49/90.88	c    2100 constraints of type <setppc>
90.49/90.88	c       1 constraints of type <linear>
90.49/90.88	c 2552450 constraints of type <logicor>
90.49/90.88	c transformed objective value is always integral (scale: 1)
90.49/90.88	c Presolving Time: 82.59
90.49/90.88	c 
90.49/90.88	c - non default parameters ----------------------------------------------------------------------
90.49/90.88	c 
90.49/90.88	c # SCIP version 10.0.0
90.49/90.88	c 
90.49/90.88	c # maximal time in seconds to run
90.49/90.88	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
90.49/90.88	c limits/time = 3596.998438
90.49/90.88	c 
90.49/90.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
90.49/90.88	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
90.49/90.88	c limits/memory = 27900
90.49/90.88	c 
90.49/90.88	c # belongs reading time to solving time?
90.49/90.88	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
90.49/90.88	c timing/reading = TRUE
90.49/90.88	c 
90.49/90.88	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
90.49/90.88	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
90.49/90.88	c reading/opbreader/maxintsize = 47
90.49/90.88	c 
90.49/90.88	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
90.49/90.88	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
90.49/90.88	c propagating/genvbounds/timingmask = 0
90.49/90.88	c 
90.49/90.88	c -----------------------------------------------------------------------------------------------
90.59/90.95	c 
95.08/95.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
95.08/95.42	c p95.4s|     1 |     0 |     0 |     - |  clique|   0 |4500 |2559k|2559k|   0 |  0 |   0 |   0 | 0.000000e+00 | 0.000000e+00 |   0.00%| unknown
95.57/95.91	c 
95.57/95.91	c SCIP Status        : problem is solved [optimal solution found]
95.57/95.91	c Solving Time (sec) : 95.92
95.57/95.91	c Solving Nodes      : 1
95.57/95.91	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
95.57/95.91	c Dual Bound         : +0.00000000000000e+00
95.57/95.91	c Gap                : 0.00 %
96.07/96.47	s SATISFIABLE
96.07/96.47	v -x2 -x2501 -x3 -x2502 -x4 -x2503 -x5 -x2504 -x6 -x2505 -x8 -x2506 -x11 -x2507 -x12 -x2508 -x13 -x2509 -x15 -x2510 -x16 -x2511 -x17
96.07/96.47	v -x2512 -x18 -x2513 -x19 -x2514 -x20 -x2515 -x21 -x2516 -x22 -x2517 -x24 -x2518 -x25 -x2519 -x26 -x2520 -x29 -x2521 -x30 -x2522 -x31
96.07/96.47	v -x2523 -x32 -x2524 -x33 -x2525 -x34 -x2526 -x35 -x2527 -x36 -x2528 -x37 -x2529 -x38 -x2530 -x40 -x2531 -x41 -x2532 -x43 -x2533 -x44
96.07/96.47	v -x2534 -x45 -x2535 -x46 -x2536 -x47 -x2537 -x48 -x2538 -x49 -x2539 x50 -x2540 -x1 -x2541 -x2542 -x2543 -x2544 -x2545 -x7 -x2546
96.07/96.47	v -x2547 -x10 -x2548 -x2549 -x2550 -x2551 -x14 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x23 -x2560 -x2561 -x2562 -x27
96.07/96.47	v -x2563 -x28 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x42 -x2576 -x2577 -x2578 -x2579
96.07/96.47	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598
96.07/96.47	v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x39 -x2612 -x2613 -x2614 -x2615 -x2616
96.07/96.47	v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
96.07/96.47	v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
96.07/96.47	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673
96.07/96.47	v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692
96.07/96.47	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711
96.07/96.47	v -x9 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729
96.07/96.47	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748
96.07/96.47	v x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767
96.07/96.47	v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786
96.07/96.47	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805
96.07/96.47	v -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824
96.07/96.47	v x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843
96.07/96.47	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862
96.07/96.47	v -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881
96.07/96.47	v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
96.07/96.47	v -x2901 -x2902 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919
96.07/96.47	v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938
96.07/96.47	v -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957
96.07/96.47	v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976
96.07/96.47	v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995
96.07/96.47	v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014
96.07/96.47	v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033
96.07/96.47	v -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052
96.07/96.47	v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
96.07/96.47	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
96.07/96.47	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 x3107 -x3108 -x3109
96.07/96.47	v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128
96.07/96.47	v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147
96.07/96.47	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166
96.07/96.47	v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185
96.07/96.47	v -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204
96.07/96.47	v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 x3223
96.07/96.47	v -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242
96.07/96.47	v -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261
96.07/96.47	v -x3262 -x3263 -x3264 -x3265 -x3266 x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
96.07/96.47	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
96.07/96.47	v -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318
96.07/96.47	v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
96.07/96.47	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356
96.07/96.47	v -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375
96.07/96.47	v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394
96.07/96.47	v -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413
96.07/96.47	v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432
96.07/96.47	v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451
96.07/96.47	v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
96.07/96.47	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489
96.07/96.47	v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 x3507 -x3508
96.07/96.47	v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527
96.07/96.47	v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546
96.07/96.47	v -x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565
96.07/96.47	v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584
96.07/96.47	v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603
96.07/96.47	v -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622
96.07/96.47	v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 -x3637 -x3638 -x3639 -x3640 -x3641
96.07/96.47	v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
96.07/96.47	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679
96.07/96.47	v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698
96.07/96.47	v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 x3716 x3717
96.07/96.47	v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736
96.07/96.47	v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755
96.07/96.47	v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774
96.07/96.47	v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
96.07/96.47	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812
96.07/96.47	v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831
96.07/96.47	v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 x3848 -x3849 -x3850
96.07/96.47	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869
96.07/96.47	v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888
96.07/96.47	v -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907
96.07/96.47	v -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926
96.07/96.47	v x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945
96.07/96.47	v -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964
96.07/96.47	v -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983
96.07/96.47	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002
96.07/96.47	v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021
96.07/96.47	v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
96.07/96.47	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059
96.07/96.47	v -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078
96.07/96.47	v -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097
96.07/96.47	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116
96.07/96.47	v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 x4133 -x4134 -x4135
96.07/96.47	v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154
96.07/96.47	v -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173
96.07/96.47	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192
96.07/96.47	v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 x4209 x4210 -x4211
96.07/96.47	v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
96.07/96.47	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 -x4249
96.07/96.47	v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268
96.07/96.47	v -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287
96.07/96.47	v -x4288 -x4289 x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306
96.07/96.47	v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325
96.07/96.47	v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344
96.07/96.47	v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363
96.07/96.47	v -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382
96.07/96.47	v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401
96.07/96.47	v -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420
96.07/96.47	v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439
96.07/96.47	v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 x4456 -x4457 -x4458
96.07/96.47	v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477
96.07/96.47	v -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496
96.07/96.47	v -x4497 -x4498 -x4499 x4500 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71
96.07/96.47	v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97
96.07/96.47	v -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119
96.07/96.47	v -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
96.07/96.47	v -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163
96.07/96.47	v -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185
96.07/96.47	v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
96.07/96.47	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
96.07/96.47	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251
96.07/96.47	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
96.07/96.47	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295
96.07/96.47	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
96.07/96.47	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
96.07/96.47	v -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
96.07/96.47	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
96.07/96.47	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
96.07/96.47	v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427
96.07/96.47	v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449
96.07/96.47	v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471
96.07/96.47	v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493
96.07/96.47	v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515
96.07/96.47	v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537
96.07/96.47	v -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559
96.07/96.47	v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581
96.07/96.47	v -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603
96.07/96.47	v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625
96.07/96.47	v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
96.07/96.47	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
96.07/96.47	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691
96.07/96.47	v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
96.07/96.47	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
96.07/96.47	v x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
96.07/96.47	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
96.07/96.47	v -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801
96.07/96.47	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823
96.07/96.47	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845
96.07/96.47	v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867
96.07/96.47	v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889
96.07/96.47	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911
96.07/96.47	v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933
96.07/96.47	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955
96.07/96.47	v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977
96.07/96.47	v -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
96.07/96.47	v -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018
96.07/96.47	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037
96.07/96.47	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
96.07/96.47	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
96.07/96.47	v -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
96.07/96.47	v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
96.07/96.47	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132
96.07/96.47	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151
96.07/96.47	v -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
96.07/96.47	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189
96.07/96.47	v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208
96.07/96.47	v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227
96.07/96.47	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
96.07/96.47	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265
96.07/96.47	v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284
96.07/96.47	v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303
96.07/96.47	v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322
96.07/96.47	v -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
96.07/96.47	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
96.07/96.47	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
96.07/96.47	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
96.07/96.47	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417
96.07/96.47	v -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436
96.07/96.47	v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
96.07/96.47	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474
96.07/96.47	v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493
96.07/96.47	v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512
96.07/96.47	v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531
96.07/96.47	v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
96.07/96.47	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569
96.07/96.47	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
96.07/96.47	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
96.07/96.47	v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626
96.07/96.47	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645
96.07/96.47	v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664
96.07/96.47	v -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683
96.07/96.47	v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
96.07/96.47	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721
96.07/96.47	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
96.07/96.47	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759
96.07/96.47	v -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
96.07/96.47	v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797
96.07/96.47	v -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816
96.07/96.47	v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835
96.07/96.47	v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854
96.07/96.47	v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873
96.07/96.47	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892
96.07/96.47	v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911
96.07/96.47	v x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
96.07/96.47	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949
96.07/96.47	v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
96.07/96.47	v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987
96.07/96.47	v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006
96.07/96.47	v -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
96.07/96.47	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
96.07/96.47	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063
96.07/96.47	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
96.07/96.47	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
96.07/96.47	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
96.07/96.47	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139
96.07/96.47	v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158
96.07/96.47	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177
96.07/96.47	v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196
96.07/96.47	v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
96.07/96.47	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
96.07/96.47	v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253
96.07/96.47	v -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272
96.07/96.47	v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291
96.07/96.47	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
96.07/96.47	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329
96.07/96.47	v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
96.07/96.47	v -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367
96.07/96.47	v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386
96.07/96.47	v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405
96.07/96.47	v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424
96.07/96.47	v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443
96.07/96.47	v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
96.07/96.47	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481
96.07/96.47	v -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
96.07/96.47	c SCIP Status        : problem is solved [optimal solution found]
96.07/96.47	c Total Time         :      95.92
96.07/96.47	c   solving          :      95.92
96.07/96.47	c   presolving       :      82.59 (included in solving)
96.07/96.47	c   reading          :       4.72 (included in solving)
96.07/96.47	c   copying          :       0.00 (0 times copied the problem)
96.07/96.47	c Original Problem   :
96.07/96.47	c   Problem name     : HOME/instance-4494211-1751149680.opb
96.07/96.47	c   Variables        : 4500 (4500 binary, 0 integer, 0 continuous)
96.07/96.47	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
96.07/96.47	c   Constraints      : 2559501 initial, 2559501 maximal
96.07/96.47	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
96.07/96.47	c Presolved Problem  :
96.07/96.47	c   Problem name     : t_HOME/instance-4494211-1751149680.opb
96.07/96.47	c   Variables        : 4500 (4500 binary, 0 integer, 0 continuous)
96.07/96.47	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
96.07/96.47	c   Constraints      : 2559501 initial, 2559501 maximal
96.07/96.47	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
96.07/96.47	c   Nonzeros         : 8067474 constraint, 9000 clique table
96.07/96.47	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
96.07/96.47	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   domcol           :       0.97       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   dualsparsify     :       3.62       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   gateextraction   :       1.62       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   implics          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
96.07/96.47	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   milp             :      10.59       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   sparsify         :       2.32       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   trivial          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
96.07/96.47	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   dualfix          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
96.07/96.47	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   probing          :       0.88       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   symmetry         :       3.57       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   knapsack         :       0.22       0.00      5          0          0          0          0          0          0       1961       1961       8957
96.07/96.47	c   setppc           :       0.01       0.00      5          0          0          0          0          0       1961          0          0          0
96.07/96.47	c   linear           :       6.90       1.09      5          0          0          0          0          0          0          0          0          0
96.07/96.47	c   logicor          :      40.52       8.89      5          0          0          0          0          0          0          0          0          0
96.07/96.47	c   components       :       0.65       0.00      1          0          0          0          0          0          0          0          0          0
96.07/96.47	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
96.07/96.47	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
96.07/96.47	c   integral         :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
96.07/96.47	c   knapsack         :       4950       4950          0        294          0          0          0          3          0          0          0          0          0          0          0
96.07/96.47	c   setppc           :       2100       2100          0        199          0          0          0          2          0          0          0          0          0          0          0
96.07/96.47	c   linear           :          1          1          0        294          0          0          0          3          0          0          0          0          0          0          0
96.07/96.47	c   logicor          :    2552450    2552450          0        203          0          0          0          1          0          0          0          0          0          0          0
96.07/96.47	c   fixedvar         :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
96.07/96.47	c   countsols        :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
96.07/96.47	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
96.07/96.47	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   knapsack         :       0.11       0.00       0.05       0.05       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   setppc           :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   linear           :       1.23       1.09       0.00       0.00       0.00       0.00       0.00       0.14       0.00       0.00
96.07/96.47	c   logicor          :      10.94       8.89       1.28       0.72       0.00       0.00       0.00       0.05       0.00       0.00
96.07/96.47	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
96.07/96.47	c   dualfix          :          1          0          0          0
96.07/96.47	c   genvbounds       :          0          0          0          0
96.07/96.47	c   nlobbt           :          0          0          0          0
96.07/96.47	c   obbt             :          0          0          0          0
96.07/96.47	c   probing          :          0          0          0          0
96.07/96.47	c   pseudoobj        :          0          0          0          0
96.07/96.47	c   redcost          :          0          0          0          0
96.07/96.47	c   rootredcost      :          0          0          0          0
96.07/96.47	c   symmetry         :          0          0          0          0
96.07/96.47	c   vbounds          :         98          0          0          0
96.07/96.47	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
96.07/96.47	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   probing          :       0.88       0.00       0.88       0.00       0.00       0.00
96.07/96.47	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c   symmetry         :       3.57       0.00       3.57       0.00       0.00       0.00
96.07/96.47	c   vbounds          :       0.00       0.00       0.00       0.00       0.00       0.00
96.07/96.47	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [--,--])
96.07/96.47	c   propagation      :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
96.07/96.47	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
96.07/96.47	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
96.07/96.47	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
96.07/96.47	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
96.07/96.47	c   applied globally :       0.00          -          -          0          0        0.0          -          -          0          -          -
96.07/96.47	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
96.07/96.47	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
96.07/96.47	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
96.07/96.47	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
96.07/96.47	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
96.07/96.47	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
96.07/96.47	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
96.07/96.47	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
96.07/96.47	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
96.07/96.47	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
96.07/96.47	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c Pricers            :   ExecTime  SetupTime      Calls       Vars
96.07/96.47	c   problem variables:       0.00          -          0          0
96.07/96.47	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
96.07/96.47	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
96.07/96.47	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
96.07/96.47	c   LP solutions     :       0.00          -          -          0          0
96.07/96.47	c   relax solutions  :       0.00          -          -          0          0
96.07/96.47	c   pseudo solutions :       0.00          -          -          0          0
96.07/96.47	c   strong branching :       0.00          -          -          0          0
96.07/96.47	c   actconsdiving    :       0.00       0.00          0          0          0
96.07/96.47	c   adaptivediving   :       0.00       0.00          0          0          0
96.07/96.47	c   alns             :       0.00       0.00          0          0          0
96.07/96.47	c   bound            :       0.00       0.00          0          0          0
96.07/96.47	c   clique           :       4.96       0.00          1          1          1
96.07/96.47	c   coefdiving       :       0.00       0.00          0          0          0
96.07/96.47	c   completesol      :       0.00       0.00          0          0          0
96.07/96.47	c   conflictdiving   :       0.00       0.00          0          0          0
96.07/96.47	c   crossover        :       0.00       0.00          0          0          0
96.07/96.47	c   dins             :       0.00       0.00          0          0          0
96.07/96.47	c   distributiondivin:       0.00       0.00          0          0          0
96.07/96.47	c   dks              :       0.00       0.00          0          0          0
96.07/96.47	c   dps              :       0.00       0.00          0          0          0
96.07/96.47	c   dualval          :       0.00       0.00          0          0          0
96.07/96.47	c   farkasdiving     :       0.00       0.00          0          0          0
96.07/96.47	c   feaspump         :       0.00       0.00          0          0          0
96.07/96.47	c   fixandinfer      :       0.00       0.00          0          0          0
96.07/96.47	c   fracdiving       :       0.00       0.00          0          0          0
96.07/96.47	c   gins             :       0.00       0.00          0          0          0
96.07/96.47	c   guideddiving     :       0.00       0.00          0          0          0
96.07/96.47	c   indicator        :       0.00       0.00          0          0          0
96.07/96.47	c   indicatordiving  :       0.00       0.00          0          0          0
96.07/96.47	c   intdiving        :       0.00       0.00          0          0          0
96.07/96.47	c   intshifting      :       0.00       0.00          0          0          0
96.07/96.47	c   linesearchdiving :       0.00       0.00          0          0          0
96.07/96.47	c   localbranching   :       0.00       0.00          0          0          0
96.07/96.47	c   locks            :       0.00       0.00          0          0          0
96.07/96.47	c   lpface           :       0.00       0.00          0          0          0
96.07/96.47	c   mpec             :       0.00       0.00          0          0          0
96.07/96.47	c   multistart       :       0.00       0.00          0          0          0
96.07/96.47	c   mutation         :       0.00       0.00          0          0          0
96.07/96.47	c   nlpdiving        :       0.00       0.00          0          0          0
96.07/96.47	c   objpscostdiving  :       0.00       0.00          0          0          0
96.07/96.47	c   octane           :       0.00       0.00          0          0          0
96.07/96.47	c   ofins            :       0.00       0.00          0          0          0
96.07/96.47	c   oneopt           :       0.00       0.00          0          0          0
96.07/96.47	c   padm             :       0.00       0.00          0          0          0
96.07/96.47	c   proximity        :       0.00       0.00          0          0          0
96.07/96.47	c   pscostdiving     :       0.00       0.00          0          0          0
96.07/96.47	c   randrounding     :       0.00       0.00          0          0          0
96.07/96.47	c   rens             :       0.00       0.00          0          0          0
96.07/96.47	c   reoptsols        :       0.00       0.00          0          0          0
96.07/96.47	c   repair           :       0.00       0.00          0          0          0
96.07/96.47	c   rins             :       0.00       0.00          0          0          0
96.07/96.47	c   rootsoldiving    :       0.00       0.00          0          0          0
96.07/96.47	c   rounding         :       0.00       0.00          0          0          0
96.07/96.47	c   scheduler        :       0.00       0.00          0          0          0
96.07/96.47	c   shiftandpropagate:       0.00       0.00          0          0          0
96.07/96.47	c   shifting         :       0.00       0.00          0          0          0
96.07/96.47	c   simplerounding   :       0.00       0.00          0          0          0
96.07/96.47	c   subnlp           :       0.00       0.00          0          0          0
96.07/96.47	c   trivial          :       0.14       0.00          2          0          0
96.07/96.47	c   trivialnegation  :       0.00       0.00          0          0          0
96.07/96.47	c   trustregion      :       0.00       0.00          0          0          0
96.07/96.47	c   trysol           :       0.00       0.00          0          0          0
96.07/96.47	c   twoopt           :       0.00       0.00          0          0          0
96.07/96.47	c   undercover       :       0.00       0.00          0          0          0
96.07/96.47	c   vbounds          :       0.00       0.00          0          0          0
96.07/96.47	c   veclendiving     :       0.00       0.00          0          0          0
96.07/96.47	c   zeroobj          :       0.00       0.00          0          0          0
96.07/96.47	c   zirounding       :       0.00       0.00          0          0          0
96.07/96.47	c   other solutions  :          -          -          -          0          -
96.07/96.47	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
96.07/96.47	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
96.07/96.47	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
96.07/96.47	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
96.07/96.47	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
96.07/96.47	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
96.07/96.47	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
96.07/96.47	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
96.07/96.47	c   zeroobjective    :          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
96.07/96.47	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
96.07/96.47	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
96.07/96.47	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
96.07/96.47	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
96.07/96.47	c   lex dual LP      :       0.00          0          0       0.00          -
96.07/96.47	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
96.07/96.47	c   resolve instable :       0.00          0          0       0.00          -
96.07/96.47	c   diving/probing LP:       0.74          0          0       0.00       0.00
96.07/96.47	c   strong branching :       0.00          0          0       0.00          -          -          -          0
96.07/96.47	c     (at root node) :          -          0          0       0.00          -
96.07/96.47	c   conflict analysis:       0.00          0          0       0.00          -
96.07/96.47	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
96.07/96.47	c   benders          :       0.00          0          0          0       0.00          0          0          0
96.07/96.47	c B&B Tree           :
96.07/96.47	c   number of runs   :          1
96.07/96.47	c   nodes            :          1 (0 internal, 1 leaves)
96.07/96.47	c   feasible leaves  :          0
96.07/96.47	c   infeas. leaves   :          0
96.07/96.47	c   objective leaves :          0
96.07/96.47	c   nodes (total)    :          1 (0 internal, 1 leaves)
96.07/96.47	c   nodes left       :          0
96.07/96.47	c   max depth        :          0
96.07/96.47	c   max depth (total):          0
96.07/96.47	c   backtracks       :          0 (0.0%)
96.07/96.47	c   early backtracks :          0 (0.0%)
96.07/96.47	c   nodes exc. ref.  :          0 (0.0%)
96.07/96.47	c   delayed cutoffs  :          0
96.07/96.47	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
96.07/96.47	c   avg switch length:       2.00
96.07/96.47	c   switching time   :       0.00
96.07/96.47	c Root Node          :
96.07/96.47	c   First LP value   :          -
96.07/96.47	c   First LP Iters   :          0
96.07/96.47	c   First LP Time    :       0.00
96.07/96.47	c   Final Dual Bound : +0.00000000000000e+00
96.07/96.47	c   Final Root Iters :          0
96.07/96.47	c   Root LP Estimate :                     -
96.07/96.47	c Solution           :
96.07/96.47	c   Solutions found  :          1 (1 improvements)
96.07/96.47	c   First Solution   : +0.00000000000000e+00   (in run 1, after 1 nodes, 95.37 seconds, depth 99, found by <clique>)
96.07/96.47	c   Gap First Sol.   :       0.00 %
96.07/96.47	c   Gap Last Sol.    :       0.00 %
96.07/96.47	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 1 nodes, 95.37 seconds, depth 99, found by <clique>)
96.07/96.47	c   Dual Bound       : +0.00000000000000e+00
96.07/96.47	c   Gap              :       0.00 %
96.07/96.47	c Integrals          :      Total       Avg%
96.07/96.47	c   primal-dual      :    9542.47      99.49
96.07/96.47	c   primal-ref       :          -          - (not evaluated)
96.07/96.47	c   dual-ref         :          -          - (not evaluated)
100.75/101.10	c Time complete (sec):    100.768

Verifier Data 

OK	0

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: 63708 MiB (59930 MiB free)
  memory of node 1: 64465 MiB (63054 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494211-1751149680/watcher-4494211-1751149680 -o /tmp/evaluation-result-4494211-1751149680/solver-4494211-1751149680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751145886-16097 --watchdog 3760 pbsolver -f HOME/instance-4494211-1751149680.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100061 s]*
/proc/loadavg: 4.07 4.09 4.03 5/266 16926
/proc/meminfo: memFree=125932888/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=53052 memory=42624 CPUtime=0.09 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 8684 0 0 0 8 1 0 0 20 0 1 0 30646711 54325248 10656 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 13263 10656 2176 2575 0 10170 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53052 KiB
Current children cumulated memory: 42624 KiB

[startup+0.205549 s]*
/proc/loadavg: 4.07 4.09 4.03 5/266 16926
/proc/meminfo: memFree=125916772/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=80804 memory=69888 CPUtime=0.2 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 15512 0 0 0 18 2 0 0 20 0 1 0 30646711 82743296 17472 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 20201 17472 2176 2575 0 17108 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80804 KiB
Current children cumulated memory: 69888 KiB

[startup+0.305498 s]*
/proc/loadavg: 4.07 4.09 4.03 5/266 16926
/proc/meminfo: memFree=125876704/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=107604 memory=96512 CPUtime=0.3 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 22152 0 0 0 27 3 0 0 20 0 1 0 30646711 110186496 24128 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 26901 24128 2176 2575 0 23808 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107604 KiB
Current children cumulated memory: 96512 KiB

[startup+0.700167 s]
/proc/loadavg: 4.07 4.09 4.03 5/266 16926
/proc/meminfo: memFree=125456480/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=206284 memory=195056 CPUtime=0.69 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 46305 0 0 0 62 7 0 0 20 0 1 0 30646711 211234816 48764 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 51571 48764 2176 2575 0 48478 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 206284 KiB
Current children cumulated memory: 195056 KiB

[startup+1.50014 s]
/proc/loadavg: 4.07 4.09 4.03 5/266 16926
/proc/meminfo: memFree=125275216/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=409276 memory=397984 CPUtime=1.49 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 94978 0 0 0 134 15 0 0 20 0 1 0 30646711 419098624 99496 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 102319 99496 2176 2575 0 99226 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 409276 KiB
Current children cumulated memory: 397984 KiB

[startup+3.10528 s]
/proc/loadavg: 4.07 4.09 4.03 5/266 16926
/proc/meminfo: memFree=124896860/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=838284 memory=826912 CPUtime=3.09 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 197119 0 0 0 277 32 0 0 20 0 1 0 30646711 858402816 206728 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 209571 206728 2176 2575 0 206478 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 838284 KiB
Current children cumulated memory: 826912 KiB

[startup+6.30017 s]
/proc/loadavg: 4.06 4.08 4.03 5/265 16940
/proc/meminfo: memFree=126734488/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=2177400 memory=2165992 CPUtime=6.27 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 472915 0 0 0 551 76 0 0 20 0 1 0 30646711 2229657600 541466 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 544350 541498 2368 2575 0 541257 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2177400 KiB
Current children cumulated memory: 2165992 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.03 5/266 16971
/proc/meminfo: memFree=123957164/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=4095172 memory=4040164 CPUtime=12.66 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 707959 0 0 0 1139 127 0 0 20 0 1 0 30646711 4193456128 1010041 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1023793 1010041 2432 2575 0 1020700 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4095172 KiB
Current children cumulated memory: 4040164 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.03 5/266 16972
/proc/meminfo: memFree=119345256/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=4630780 memory=4581516 CPUtime=25.42 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 885081 0 0 0 2336 206 0 0 20 0 1 0 30646711 4741918720 1145379 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1157695 1145379 2528 2575 0 1154602 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4630780 KiB
Current children cumulated memory: 4581516 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.04 5/266 16972
/proc/meminfo: memFree=119617936/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=4786292 memory=4735256 CPUtime=50.93 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 908163 0 0 0 4881 212 0 0 20 0 1 0 30646711 4901163008 1183814 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1196573 1183814 2592 2575 0 1193480 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4786292 KiB
Current children cumulated memory: 4735256 KiB

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

# cumulated CPU time of all completed processes:  user=97.4105 s, system=3.43602 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.09 4.04 5/266 16972
/proc/meminfo: memFree=119617936/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=4786292 memory=4735256 CPUtime=51.03 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 908163 0 0 0 4891 212 0 0 20 0 1 0 30646711 4901163008 1183814 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1196573 1183814 2592 2575 0 1193480 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 4786292 KiB
Current children cumulated memory: 4735256 KiB

[startup+76.8002 s]
/proc/loadavg: 4.06 4.08 4.03 5/266 16973
/proc/meminfo: memFree=119317256/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=5268952 memory=5076244 CPUtime=76.54 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 910555 0 0 0 7435 219 0 0 20 0 1 0 30646711 5395406848 1269061 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1317238 1269061 2592 2575 0 1314145 0
Current children cumulated CPU time: 76.54 s
Current children cumulated vsize: 5268952 KiB
Current children cumulated memory: 5076244 KiB

[startup+89.6002 s]
/proc/loadavg: 4.12 4.09 4.04 5/267 16975
/proc/meminfo: memFree=117695332/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=6144080 memory=5754340 CPUtime=89.3 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 954221 0 0 0 8688 242 0 0 20 0 1 0 30646711 6291537920 1438585 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1536020 1438585 2592 2575 0 1532927 0
Current children cumulated CPU time: 89.3 s
Current children cumulated vsize: 6144080 KiB
Current children cumulated memory: 5754340 KiB

[startup+96.0002 s]*
/proc/loadavg: 4.10 4.09 4.04 5/268 16977
/proc/meminfo: memFree=115100288/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=8199164 memory=7873592 CPUtime=95.67 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 1257092 0 0 0 9245 322 0 0 20 0 1 0 30646711 8395943936 1968398 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 2049791 1968398 2656 2575 0 2046698 0
Current children cumulated CPU time: 95.67 s
Current children cumulated vsize: 8199164 KiB
Current children cumulated memory: 7873592 KiB

[startup+99.2002 s]
/proc/loadavg: 4.10 4.09 4.04 5/268 16977
/proc/meminfo: memFree=115115964/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=8209160 memory=7883700 CPUtime=98.86 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 1257569 0 0 0 9563 323 0 0 20 0 1 0 30646711 8406179840 1970925 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 2052290 1970925 2656 2575 0 2049197 0
Current children cumulated CPU time: 98.86 s
Current children cumulated vsize: 8209160 KiB
Current children cumulated memory: 7883700 KiB

[startup+100 s]*
/proc/loadavg: 4.10 4.09 4.04 5/268 16977
/proc/meminfo: memFree=115541308/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=7692588 memory=7370540 CPUtime=99.66 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 1257591 0 0 0 9643 323 0 0 20 0 1 0 30646711 7877210112 1842635 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1923147 1842635 2656 2575 0 1920054 0
Current children cumulated CPU time: 99.66 s
Current children cumulated vsize: 7692588 KiB
Current children cumulated memory: 7370540 KiB

[startup+100.8 s]
/proc/loadavg: 4.10 4.09 4.04 5/268 16977
/proc/meminfo: memFree=115541308/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=6833804 memory=6511756 CPUtime=100.45 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 1257591 0 0 0 9717 328 0 0 20 0 1 0 30646711 6997815296 1627939 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1708451 1627939 2656 2575 0 1705358 0
Current children cumulated CPU time: 100.45 s
Current children cumulated vsize: 6833804 KiB
Current children cumulated memory: 6511756 KiB

[startup+101 s]*
/proc/loadavg: 4.10 4.09 4.04 5/268 16977
/proc/meminfo: memFree=116645252/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=6604072 memory=6282024 CPUtime=100.66 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 1257591 0 0 0 9737 329 0 0 20 0 1 0 30646711 6762569728 1570506 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1651018 1570506 2656 2575 0 1647925 0
Current children cumulated CPU time: 100.66 s
Current children cumulated vsize: 6604072 KiB
Current children cumulated memory: 6282024 KiB

[startup+101.105 s]
/proc/loadavg: 4.10 4.09 4.04 5/268 16977
/proc/meminfo: memFree=116645252/131249996 swapFree=33010684/33010684
[pid=16925] ppid=16922 vsize=4657292 memory=2995020 CPUtime=100.75 cores=0,2
/proc/16925/stat : 16925 (pbsolver) R 16922 16925 16087 0 -1 4194304 1257591 0 0 0 9740 335 0 0 20 0 1 0 30646711 4769067008 749779 18446744073709551615 4198400 14743177 140725973644064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41041920 140725973649802 140725973649898 140725973649898 140725973655500 0
/proc/16925/statm: 1164323 749267 2656 2575 0 1161230 0
Current children cumulated CPU time: 100.75 s
Current children cumulated vsize: 4657292 KiB
Current children cumulated memory: 2995020 KiB

Child status: 0

Real time (s): 101.186
CPU time (s): 100.846
CPU user time (s): 97.4105
CPU system time (s): 3.43602
CPU usage (%): 99.6645
Max. virtual memory (cumulated for all children) (KiB): 8516516
Max. memory (cumulated for all children) (KiB): 8173132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.4105
system time used= 3.43602
maximum resident set size= 8209776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1257591
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= 17
involuntary context switches= 240


# summary of solver processes directly reported to runsolver:
#   pid: 16925
#   total CPU time (s): 100.846
#   total CPU user time (s): 97.4105
#   total CPU system time (s): 3.43602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.231973 second user time and 0.440605 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-29 00:28:01
IDJOB=4494211
IDBENCH=147884
IDSOLVER=3366
FILE ID=nodeC032/4494211-1751149680
RUNJOBID= nodeC032-1751145886-16097
SLURM_JOB_ID= 9587452
Free space on /tmp= 431904 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494211-1751149680/watcher-4494211-1751149680 -o /tmp/evaluation-result-4494211-1751149680/solver-4494211-1751149680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751145886-16097 --watchdog 3760  pbsolver -f HOME/instance-4494211-1751149680.opb -t 3600 -m 31000

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

MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=1772853301

nodeC032 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.815
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.69
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.828
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.69
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		: 3601.660
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.69
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		: 3575.475
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.69
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.837
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.852
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.69
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		: 3700.000
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.69
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		: 3619.971
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125936984 kB
MemAvailable:   125649224 kB
Buffers:            3280 kB
Cached:           523756 kB
SwapCached:            0 kB
Active:          4008672 kB
Inactive:         316916 kB
Active(anon):    3816648 kB
Inactive(anon):        0 kB
Active(file):     192024 kB
Inactive(file):   316916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            152736 kB
Writeback:             4 kB
AnonPages:       3799700 kB
Mapped:           135796 kB
Shmem:             18068 kB
KReclaimable:      85076 kB
Slab:             167184 kB
SReclaimable:      85076 kB
SUnreclaim:        82108 kB
KernelStack:        4288 kB
PageTables:        10532 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4296040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1509376 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431836 MiB
End job on nodeC032 at 2025-06-29 00:29:42