Trace number 4494247

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 102.553 102.86

General information on the benchmark

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100066 s]*
/proc/loadavg: 4.06 4.08 4.03 5/266 16971
/proc/meminfo: memFree=125510620/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=53380 memory=42880 CPUtime=0.09 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 8767 0 0 0 8 1 0 0 20 0 1 0 30647513 54661120 10720 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 13345 10720 2176 2575 0 10252 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53380 KiB
Current children cumulated memory: 42880 KiB

[startup+0.205556 s]*
/proc/loadavg: 4.06 4.08 4.03 5/266 16971
/proc/meminfo: memFree=125462236/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=81308 memory=70272 CPUtime=0.2 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 15595 0 0 0 18 2 0 0 20 0 1 0 30647513 83259392 17568 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 20327 17568 2176 2575 0 17234 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81308 KiB
Current children cumulated memory: 70272 KiB

[startup+0.305493 s]*
/proc/loadavg: 4.06 4.08 4.03 5/266 16971
/proc/meminfo: memFree=125446108/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=108636 memory=97536 CPUtime=0.3 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 22409 0 0 0 27 3 0 0 20 0 1 0 30647513 111243264 24384 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 27159 24384 2176 2575 0 24066 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108636 KiB
Current children cumulated memory: 97536 KiB

[startup+0.700177 s]
/proc/loadavg: 4.06 4.08 4.03 5/266 16971
/proc/meminfo: memFree=125446108/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=214384 memory=203360 CPUtime=0.68 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 48358 0 0 0 61 7 0 0 20 0 1 0 30647513 219529216 50840 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 53596 50840 2176 2575 0 50503 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 214384 KiB
Current children cumulated memory: 203360 KiB

[startup+1.50018 s]
/proc/loadavg: 4.06 4.08 4.03 5/266 16971
/proc/meminfo: memFree=125354072/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=441636 memory=429584 CPUtime=1.48 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 102871 0 0 0 132 16 0 0 20 0 1 0 30647513 452235264 107396 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 110409 107396 2176 2575 0 107316 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 441636 KiB
Current children cumulated memory: 429584 KiB

[startup+3.10532 s]
/proc/loadavg: 4.06 4.08 4.03 5/266 16971
/proc/meminfo: memFree=124661044/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=881468 memory=868112 CPUtime=3.09 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 207404 0 0 0 276 33 0 0 20 0 1 0 30647513 902623232 217028 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 220367 217028 2176 2575 0 217274 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 881468 KiB
Current children cumulated memory: 868112 KiB

[startup+6.30017 s]
/proc/loadavg: 4.06 4.08 4.03 5/266 16971
/proc/meminfo: memFree=121999648/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=2163652 memory=2149800 CPUtime=6.27 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 471941 0 0 0 553 74 0 0 20 0 1 0 30647513 2215579648 537450 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 540913 537450 2368 2575 0 537820 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2163652 KiB
Current children cumulated memory: 2149800 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.03 5/266 16971
/proc/meminfo: memFree=120110900/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=4098184 memory=3994380 CPUtime=12.66 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 711328 0 0 0 1139 127 0 0 20 0 1 0 30647513 4196540416 998595 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 1024546 998595 2432 2575 0 1021453 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4098184 KiB
Current children cumulated memory: 3994380 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.03 5/266 16972
/proc/meminfo: memFree=119738836/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=4635956 memory=4578572 CPUtime=25.42 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 887255 0 0 0 2337 205 0 0 20 0 1 0 30647513 4747218944 1144643 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 1158989 1144643 2528 2575 0 1155896 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4635956 KiB
Current children cumulated memory: 4578572 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.03 5/266 16972
/proc/meminfo: memFree=119639208/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=4765696 memory=4704552 CPUtime=50.94 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 904415 0 0 0 4885 209 0 0 20 0 1 0 30647513 4880072704 1176138 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 1191424 1176138 2592 2575 0 1188331 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4765696 KiB
Current children cumulated memory: 4704552 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/267 16991
/proc/meminfo: memFree=121210940/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=7073812 memory=6733344 CPUtime=101.98 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 1254042 0 0 0 9878 320 0 0 20 0 1 0 30647513 7243583488 1683336 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 1768453 1683336 2656 2575 0 1765360 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 7073812 KiB
Current children cumulated memory: 6733344 KiB

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

# cumulated CPU time of all completed processes:  user=99.175 s, system=3.3784 s

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

[startup+102.4 s]
/proc/loadavg: 4.08 4.08 4.04 5/267 16991
/proc/meminfo: memFree=121210940/131249996 swapFree=33010684/33010684
[pid=16970] ppid=16967 vsize=6958368 memory=6617900 CPUtime=102.09 cores=4,6
/proc/16970/stat : 16970 (pbsolver) R 16967 16970 16087 0 -1 4194304 1254042 0 0 0 9888 321 0 0 20 0 1 0 30647513 7125368832 1654475 18446744073709551615 4198400 14743177 140723327722768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38567936 140723327732106 140723327732202 140723327732202 140723327737804 0
/proc/16970/statm: 1739592 1654475 2656 2575 0 1736499 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 6958368 KiB
Current children cumulated memory: 6617900 KiB

[startup+102.8 s]*
/proc/loadavg: 4.08 4.08 4.04 5/267 16991
/proc/meminfo: memFree=126208984/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 102.86
CPU time (s): 102.553
CPU user time (s): 99.175
CPU system time (s): 3.3784
CPU usage (%): 99.7017
Max. virtual memory (cumulated for all children) (KiB): 8441556
Max. memory (cumulated for all children) (KiB): 8005640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.175
system time used= 3.3784
maximum resident set size= 8117060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1254042
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= 3
involuntary context switches= 127


# summary of solver processes directly reported to runsolver:
#   pid: 16970
#   total CPU time (s): 102.553
#   total CPU user time (s): 99.175
#   total CPU system time (s): 3.3784

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.19029 second user time and 0.482825 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-29 00:28:09
IDJOB=4494247
IDBENCH=147885
IDSOLVER=3366
FILE ID=nodeC032/4494247-1751149688
RUNJOBID= nodeC032-1751145886-16098
SLURM_JOB_ID= 9587452
Free space on /tmp= 431852 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_1.opb.PB06.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494247-1751149688/watcher-4494247-1751149688 -o /tmp/evaluation-result-4494247-1751149688/solver-4494247-1751149688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751145886-16098 --watchdog 3760  pbsolver -f HOME/instance-4494247-1751149688.opb -t 3600 -m 31000

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

MD5SUM BENCH= 3386577d1309ab251b8359303cc2b582
RANDOM SEED=1941736742

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.851
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.838
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		: 3593.665
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		: 3618.606
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.608
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.847
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		: 3630.314
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		: 3607.140
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:        125607388 kB
MemAvailable:   125375132 kB
Buffers:            3280 kB
Cached:           579160 kB
SwapCached:            0 kB
Active:          4242592 kB
Inactive:         372348 kB
Active(anon):    4050568 kB
Inactive(anon):        0 kB
Active(file):     192024 kB
Inactive(file):   372348 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            207376 kB
Writeback:             4 kB
AnonPages:       4035584 kB
Mapped:           134700 kB
Shmem:             18068 kB
KReclaimable:      85224 kB
Slab:             167312 kB
SReclaimable:      85224 kB
SUnreclaim:        82088 kB
KernelStack:        4288 kB
PageTables:        10640 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4432176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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:52