0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
1.19/1.22 c Default LC presolving (default).
1.19/1.22 c ** Before presolving: virtualMemUsedAtLc = 1103754099, getVmSize() = 658993152, SCIPgetMemUsed() = 593438930, SCIPgetMemTotal() = 602821106, SCIPgetMemExternEstim() = 500932993
1.19/1.22 c ** set memory limit for presolving in LC to 8.79576e+12 for SCIP **
151.56/152.09 c ** Estimated virtualMemUsedAtSolver = 1210255088, getVmSize() = 1404690432, SCIPgetMemUsed() = 1067186784, SCIPgetMemTotal() = 1314449640, SCIPgetMemExternEstim() = 500932993
151.56/152.09 c ** set memory limit for solvers to 4.39801e+12 for each SCIP **
151.56/152.09 c Original Problem :
151.56/152.09 c Problem name : instance-4464987-1722390212
151.56/152.09 c Variables : 179132 (179132 binary, 0 integer, 0 implicit integer, 0 continuous)
151.56/152.09 c Constraints : 351615
151.56/152.09 c Objective sense : minimize
151.56/152.09 c Presolved Problem :
151.56/152.09 c Variables : 6632 (6632 binary, 0 integer, 0 implicit integer, 0 continuous)
151.56/152.09 c Constraints : 175990
151.56/152.09 c Constraints : Number
151.56/152.09 c knapsack : 1
151.56/152.09 c setppc : 350
151.56/152.09 c linear : 3132
151.56/152.09 c logicor : 172500
151.56/152.09 c indicator : 7
151.56/152.09 c ** Instance transfer method used: 0
151.85/152.36 c ** ParaScipInstance copy does not increase the number of variables. **
152.05/152.57 c LC is working with racing ramp-up and with rebuilding tree after racing.
152.05/152.57 c Nodes Active
152.05/152.57 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
154.64/155.12 c * 155 0 1 1 0.0000 - -
154.64/155.12 c 155 0 1 1 0.0000 - -
154.64/155.16 c 155 1 0 0 0.0000 0.0000 0.00%
154.93/155.45 c 155 1 0 0 0.0000 0.0000 -
154.93/155.45 c SCIP Status : c problem is solved
154.93/155.45 c Total Time : 155.4600
154.93/155.45 c solving : 155.4600
154.93/155.45 c presolving : 150.8690 (included in solving)
154.93/155.45 c B&B Tree :
154.93/155.45 c nodes (total) : 1
154.93/155.45 c Solution :
154.93/155.45 c Solutions found : 1
154.93/155.45 c Primal Bound : +0.00000000000000e+00
154.93/155.45 c Dual Bound : +0.00000000000000e+00
154.93/155.45 c Gap : 0.00000 %
155.13/155.60 o 0
155.13/155.60 s OPTIMUM FOUND
155.13/155.60 v -x3500 -x3499 -x3498 -x3497 -x3496 x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482
155.13/155.60 v -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464
155.13/155.60 v -x3463 x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446
155.13/155.60 v -x3445 -x3444 -x3443 -x3442 x3441 -x3440 -x3439 -x3438 -x3437 -x3436 x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428
155.13/155.60 v -x3427 -x3426 -x3425 -x3424 -x3423 x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 x3415 -x3414 -x3413 -x3412 -x3411 -x3410
155.13/155.60 v -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 x3395 -x3394 -x3393 -x3392
155.13/155.60 v -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374
155.13/155.60 v -x3373 x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355
155.13/155.60 v -x3354 -x3353 x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 x3342 -x3341 -x3340 -x3339 -x3338 -x3337
155.13/155.60 v -x3336 x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 x3322 -x3321 -x3320 -x3319
155.13/155.60 v -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 x3305 -x3304 -x3303 -x3302 -x3301
155.13/155.60 v -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 x3291 -x3290 -x3289 -x3288 -x3287 -x3286 x3285 -x3284 -x3283
155.13/155.60 v -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265
155.13/155.60 v -x3264 -x3263 x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247
155.13/155.60 v -x3246 x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 x3232 -x3231 -x3230 -x3229
155.13/155.60 v -x3228 -x3227 -x3226 x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 x3215 -x3214 -x3213 -x3212 -x3211 -x3210
155.13/155.60 v -x3209 -x3208 -x3207 -x3206 x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192
155.13/155.60 v x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 x3175 -x3174
155.13/155.60 v -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156
155.13/155.60 v x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138
155.13/155.60 v -x3137 -x3136 -x3135 -x3134 -x3133 x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 x3125 -x3124 -x3123 -x3122 -x3121 -x3120
155.13/155.60 v -x3119 -x3118 -x3117 -x3116 x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 x3105 -x3104 -x3103 -x3102
155.13/155.60 v -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3085 -x3084
155.13/155.60 v -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066
155.13/155.60 v x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047
155.13/155.60 v -x3046 x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 x3032 -x3031 -x3030 -x3029
155.13/155.60 v -x3028 -x3027 -x3026 x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 x3015 -x3014 -x3013 -x3012 -x3011
155.13/155.60 v -x3010 -x3009 -x3008 -x3007 -x3006 x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 x2995 -x2994 -x2993
155.13/155.60 v -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975
155.13/155.60 v -x2974 -x2973 x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 x2962 -x2961 -x2960 -x2959 -x2958 -x2957
155.13/155.60 v -x2956 -x2955 -x2954 -x2953 x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939
155.13/155.60 v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 x2922 -x2921
155.13/155.60 v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 x2903 -x2902
155.13/155.60 v -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884
155.13/155.60 v -x2883 x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866
155.13/155.60 v x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 x2852 -x2851 -x2850 -x2849 -x2848
155.13/155.60 v -x2847 -x2846 x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 x2832 -x2831 -x2830
155.13/155.60 v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 x2812
155.13/155.60 v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 x2795 -x2794
155.13/155.60 v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776
155.13/155.60 v -x2775 -x2774 -x2773 x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 x2762 -x2761 -x2760 -x2759 -x2758
155.13/155.60 v -x2757 -x2756 x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 x2742 -x2741 -x2740 -x2739
155.13/155.60 v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 x2722 -x2721
155.13/155.60 v -x2720 -x2719 -x2718 -x2717 -x2716 x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 x2705 -x2704 -x2703
155.13/155.60 v -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685
155.13/155.60 v -x2684 -x2683 x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667
155.13/155.60 v -x2666 x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 x2652 -x2651 -x2650 -x2649
155.13/155.60 v -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 x2632 -x2631
155.13/155.60 v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 x2615 -x2614 -x2613
155.13/155.60 v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 x2595 -x2594
155.13/155.60 v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576
155.13/155.60 v -x2575 -x2574 -x2573 x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 x2562 -x2561 -x2560 -x2559 -x2558
155.13/155.60 v -x2557 -x2556 -x2555 -x2554 -x2553 x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 x2542 -x2541 -x2540
155.13/155.60 v -x2539 -x2538 -x2537 -x2536 x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 x2525 -x2524 -x2523 -x2522
155.13/155.60 v -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 x2505 -x2504
155.13/155.60 v -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486
155.13/155.60 v -x2485 -x2484 -x2483 x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 x2471 -x2470 -x2469 -x2468
155.13/155.60 v -x2467 -x2466 -x2465 -x2464 -x2463 x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 x2455 -x2454 -x2453 -x2452 -x2451 -x2450
155.13/155.60 v -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 x2432 -x2431
155.13/155.60 v -x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 x2415 -x2414 -x2413
155.13/155.60 v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395
155.13/155.60 v -x2394 -x2393 x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377
155.13/155.60 v -x2376 x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359
155.13/155.60 v -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 x2341
155.13/155.60 v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323
155.13/155.60 v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 x2305
155.13/155.60 v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287
155.13/155.60 v -x2286 x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268
155.13/155.60 v -x2267 -x2266 x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251 -x2250
155.13/155.60 v -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 -x2237 -x2236 x2235 -x2234 -x2233 -x2232
155.13/155.60 v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 x2222 -x2221 -x2220 -x2219 -x2218 -x2217 x2216 -x2215 -x2214
155.13/155.60 v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196
155.13/155.60 v x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178
155.13/155.60 v -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160
155.13/155.60 v -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142
155.13/155.60 v x2141 -x2140 -x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124
155.13/155.60 v -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 x2105
155.13/155.60 v -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 -x2090 -x2089 -x2088 -x2087
155.13/155.60 v -x2086 x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 x2072 -x2071 -x2070 -x2069
155.13/155.60 v -x2068 -x2067 -x2066 x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 x2052 -x2051
155.13/155.60 v -x2050 -x2049 -x2048 -x2047 -x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 x2035 -x2034 -x2033
155.13/155.60 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015
155.13/155.60 v -x2014 -x2013 x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997
155.13/155.60 v -x1996 -x1995 -x1994 -x1993 x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 x1982 -x1981 -x1980 -x1979
155.13/155.60 v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 x1962 -x1961 -x1960
155.13/155.60 v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 x1945 -x1944 -x1943 -x1942
155.13/155.60 v -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924
155.13/155.60 v -x1923 x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906
155.13/155.60 v x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 x1893 -x1892 -x1891 -x1890 -x1889 -x1888
155.13/155.60 v -x1887 x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 x1875 -x1874 -x1873 -x1872 -x1871 -x1870
155.13/155.60 v -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 x1852
155.13/155.60 v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834
155.13/155.60 v -x1833 x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 x1821 -x1820 -x1819 -x1818 -x1817 -x1816
155.13/155.60 v x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797
155.13/155.60 v -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 x1782 -x1781 -x1780 -x1779
155.13/155.60 v -x1778 -x1777 -x1776 x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 -x1763 -x1762 -x1761
155.13/155.60 v -x1760 -x1759 -x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 x1745 -x1744 -x1743
155.13/155.60 v -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725
155.13/155.60 v -x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 x1712 -x1711 -x1710 -x1709 -x1708 -x1707
155.13/155.60 v -x1706 -x1705 -x1704 -x1703 x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1691 -x1690 -x1689
155.13/155.60 v -x1688 -x1687 -x1686 x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1671
155.13/155.60 v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653
155.13/155.60 v -x1652 x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634
155.13/155.60 v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616
155.13/155.60 v -x1615 -x1614 -x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598
155.13/155.60 v -x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 x1585 -x1584 -x1583 -x1582 -x1581 -x1580
155.13/155.60 v -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
155.13/155.60 v x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 -x1544
155.13/155.60 v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 x1531 -x1530 -x1529 -x1528 -x1527 -x1526
155.13/155.60 v -x1525 -x1524 -x1523 -x1522 x1521 -x1520 -x1519 -x1518 -x1517 -x1516 x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508
155.13/155.60 v -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489
155.13/155.60 v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 x1475 -x1474 -x1473 -x1472 -x1471
155.13/155.60 v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453
155.13/155.60 v x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435
155.13/155.60 v -x1434 -x1433 -x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 x1422 -x1421 -x1420 -x1419 -x1418 -x1417
155.13/155.60 v -x1416 x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
155.13/155.60 v -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 -x1382 -x1381
155.13/155.60 v -x1380 -x1379 -x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363
155.13/155.60 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
155.13/155.60 v -x1344 -x1343 x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326
155.13/155.60 v -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
155.13/155.60 v -x1307 -x1306 x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290
155.13/155.60 v -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272
155.13/155.60 v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254
155.13/155.60 v -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236
155.13/155.60 v -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 -x1220 -x1219 -x1218
155.13/155.60 v -x1217 -x1216 x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201 -x1200
155.13/155.60 v -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182
155.13/155.60 v x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163
155.13/155.60 v x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145
155.13/155.60 v -x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127
155.13/155.60 v -x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109
155.13/155.60 v -x1108 -x1107 -x1106 x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091
155.13/155.60 v -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073
155.13/155.60 v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
155.13/155.60 v -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 x1042 -x1041 -x1040 -x1039 -x1038 -x1037
155.13/155.60 v -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018
155.13/155.60 v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000
155.13/155.60 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979
155.13/155.60 v -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
155.13/155.60 v -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
155.13/155.60 v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
155.13/155.60 v x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
155.13/155.60 v -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873
155.13/155.60 v x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852
155.13/155.60 v -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831
155.13/155.60 v -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810
155.13/155.60 v -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789
155.13/155.60 v -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767
155.13/155.60 v -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746
155.13/155.60 v -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725
155.13/155.60 v -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704
155.13/155.60 v -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683
155.13/155.60 v -x682 x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661
155.13/155.60 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640
155.13/155.60 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619
155.13/155.60 v -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598
155.13/155.60 v -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577
155.13/155.60 v -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556
155.13/155.60 v x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534
155.73/156.27 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513
155.73/156.27 v x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492
155.73/156.27 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471
155.73/156.27 v -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450
155.73/156.27 v -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
155.73/156.27 v -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
155.73/156.27 v -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
155.73/156.27 v -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
155.73/156.27 v -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344
155.73/156.27 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
155.73/156.27 v -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301
155.73/156.27 v -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280
155.73/156.27 v -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259
155.73/156.27 v -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238
155.73/156.27 v -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217
155.73/156.27 v -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
155.73/156.27 v -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174
155.73/156.27 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153
155.73/156.27 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132
155.73/156.27 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111
155.73/156.27 v -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
155.73/156.27 v -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62
155.73/156.27 v -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
155.73/156.27 v -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11
155.73/156.27 v -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
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: 63931 MiB (60390 MiB free)
memory of node 1: 64510 MiB (62784 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464987-1722390212/watcher-4464987-1722390212 -o /tmp/evaluation-result-4464987-1722390212/solver-4464987-1722390212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722390212-36702 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464987-1722390212.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=36813, runsolver pid=36810
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 1.15 1.99 2.99 6/258 36814
/proc/meminfo: memFree=125918540/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=73920 memory=61844 CPUtime=0.09 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 13380 0 0 0 7 2 0 0 20 0 1 0 5619751 75694080 15461 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 18480 15461 2347 3035 0 14876 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73920 KiB
Current children cumulated memory: 61844 KiB
[startup+0.204639 s]*
/proc/loadavg: 1.15 1.99 2.99 5/258 36814
/proc/meminfo: memFree=125685104/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=116488 memory=104788 CPUtime=0.2 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 24163 0 0 0 17 3 0 0 20 0 1 0 5619751 119283712 26197 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 29122 26197 2347 3035 0 25518 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116488 KiB
Current children cumulated memory: 104788 KiB
[startup+0.305519 s]*
/proc/loadavg: 1.15 1.99 2.99 5/258 36814
/proc/meminfo: memFree=125508232/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=158048 memory=146304 CPUtime=0.29 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 34539 0 0 0 24 5 0 0 20 0 1 0 5619751 161841152 36576 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 39512 36576 2347 3035 0 35908 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 158048 KiB
Current children cumulated memory: 146304 KiB
[startup+0.700184 s]
/proc/loadavg: 1.15 1.99 2.99 5/258 36814
/proc/meminfo: memFree=125190720/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=329348 memory=317328 CPUtime=0.69 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 78360 0 0 0 57 12 0 0 20 0 1 0 5619751 337252352 79332 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 82337 79332 2555 3035 0 78733 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 329348 KiB
Current children cumulated memory: 317328 KiB
[startup+1.50021 s]
/proc/loadavg: 1.15 1.99 2.99 5/258 36816
/proc/meminfo: memFree=124243904/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=799164 memory=780876 CPUtime=1.48 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 193141 0 0 0 119 29 0 0 20 0 1 0 5619751 818343936 195219 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 199791 195219 2598 3035 0 196187 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 799164 KiB
Current children cumulated memory: 780876 KiB
[startup+3.1054 s]
/proc/loadavg: 1.15 1.99 2.99 5/258 36816
/proc/meminfo: memFree=121577456/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1274136 memory=1254588 CPUtime=3.08 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 307976 0 0 0 262 46 0 0 20 0 1 0 5619751 1304715264 313647 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 318534 313647 2630 3035 0 314930 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1274136 KiB
Current children cumulated memory: 1254588 KiB
[startup+6.30019 s]
/proc/loadavg: 1.38 2.02 3.00 5/258 36816
/proc/meminfo: memFree=117801292/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=6.27 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318391 0 0 0 579 48 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+12.7002 s]
/proc/loadavg: 1.59 2.05 3.01 5/258 36817
/proc/meminfo: memFree=111825476/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=12.65 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318393 0 0 0 1214 51 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 2.15 3.02 5/258 36819
/proc/meminfo: memFree=107352588/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=25.41 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318398 0 0 0 2489 52 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+51.1051 s]
/proc/loadavg: 2.84 2.32 3.05 5/258 36824
/proc/meminfo: memFree=106713752/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=50.95 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318401 0 0 0 5041 54 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.59 3.11 5/260 36834
/proc/meminfo: memFree=103246152/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=101.99 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318407 0 0 0 10144 55 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+156.317 s]
# the end of solver process 36813 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=154.912 s, system=0.941876 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.57 2.59 3.11 5/260 36834
/proc/meminfo: memFree=103246152/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=102.09 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318407 0 0 0 10154 55 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+128 s]*
/proc/loadavg: 3.72 2.71 3.14 5/260 36838
/proc/meminfo: memFree=103231648/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=127.63 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318410 0 0 0 12707 56 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 127.63 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+140.8 s]
/proc/loadavg: 3.85 2.79 3.16 5/257 36841
/proc/meminfo: memFree=103231608/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=140.39 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318412 0 0 0 13982 57 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 140.39 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+147.2 s]
/proc/loadavg: 3.87 2.81 3.16 5/257 36842
/proc/meminfo: memFree=103231600/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=146.77 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318414 0 0 0 14620 57 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 146.77 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+150.4 s]
/proc/loadavg: 3.88 2.83 3.17 5/257 36842
/proc/meminfo: memFree=103231504/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1315760 memory=1296452 CPUtime=149.96 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 318414 0 0 0 14939 57 0 0 20 0 1 0 5619751 1347338240 324113 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 328940 324113 2662 3035 0 325336 0
Current children cumulated CPU time: 149.96 s
Current children cumulated vsize: 1315760 KiB
Current children cumulated memory: 1296452 KiB
[startup+153.6 s]
/proc/loadavg: 3.88 2.83 3.17 5/261 36848
/proc/meminfo: memFree=102493512/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1781376 memory=1683120 CPUtime=153.14 cores=0,2
/proc/36813/stat : 36813 (fscip) S 36810 36813 36692 0 -1 1077936128 438628 0 0 0 15239 75 0 0 20 0 3 0 5619751 1824129024 420780 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 445344 420780 2806 3035 0 429944 0
[pid=36813/tid=36847] ppid=36810 vsize=1781376 memory=1296452 CPUtime=1.21 cores=0,2
/proc/36813/task/36847/stat : 36847 (fscip) R 36810 36813 36692 0 -1 4194368 81529 0 0 0 109 12 0 0 20 0 3 0 5634961 1824129024 420780 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
[pid=36813/tid=36848] ppid=36810 vsize=1781376 memory=1296452 CPUtime=0 cores=0,2
/proc/36813/task/36848/stat : 36848 (fscip) S 36810 36813 36692 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5635009 1824129024 420780 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
Current children cumulated CPU time: 153.14 s
Current children cumulated vsize: 1781376 KiB
Current children cumulated memory: 1683120 KiB
[startup+155.2 s]
/proc/loadavg: 3.89 2.85 3.17 5/261 36848
/proc/meminfo: memFree=102037860/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2001224 memory=1875628 CPUtime=154.73 cores=0,2
/proc/36813/stat : 36813 (fscip) S 36810 36813 36692 0 -1 1077936128 470856 0 0 0 15391 82 0 0 20 0 3 0 5619751 2049253376 468907 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 500306 468907 2966 3035 0 480386 0
[pid=36813/tid=36847] ppid=36810 vsize=2001224 memory=-5155635708196973445 CPUtime=2.8 cores=0,2
/proc/36813/task/36847/stat : 36847 (fscip) R 36810 36813 36692 0 -1 4194368 112954 0 0 0 262 18 0 0 20 0 3 0 5634961 2049253376 468907 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
[pid=36813/tid=36848] ppid=36810 vsize=2001224 memory=11396 CPUtime=0 cores=0,2
/proc/36813/task/36848/stat : 36848 (fscip) S 36810 36813 36692 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5635009 2049253376 468907 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
Current children cumulated CPU time: 154.73 s
Current children cumulated vsize: 2001224 KiB
Current children cumulated memory: 1875628 KiB
[startup+156 s]*
/proc/loadavg: 3.89 2.85 3.17 5/257 36848
/proc/meminfo: memFree=102400096/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1712680 memory=1607968 CPUtime=155.53 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 559101 0 0 0 15466 87 0 0 20 0 1 0 5619751 1753784320 401992 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 428170 401992 2966 3035 0 423808 0
Current children cumulated CPU time: 155.53 s
Current children cumulated vsize: 1712680 KiB
Current children cumulated memory: 1607968 KiB
[startup+156.2 s]
/proc/loadavg: 3.89 2.85 3.17 5/257 36848
/proc/meminfo: memFree=102400096/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=1662680 memory=1558788 CPUtime=155.73 cores=0,2
/proc/36813/stat : 36813 (fscip) R 36810 36813 36692 0 -1 4194304 574090 0 0 0 15484 89 0 0 20 0 1 0 5619751 1702584320 389697 134679101440 4194304 16623229 140722556624112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45252608 140722556625940 140722556626056 140722556626056 140722556633072 0
/proc/36813/statm: 415670 389697 2966 3035 0 411308 0
Current children cumulated CPU time: 155.73 s
Current children cumulated vsize: 1662680 KiB
Current children cumulated memory: 1558788 KiB
[startup+156.3 s]*
/proc/loadavg: 3.89 2.85 3.17 5/257 36848
/proc/meminfo: memFree=103429472/131524600 swapFree=131071996/131071996
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): 156.317
CPU time (s): 155.854
CPU user time (s): 154.912
CPU system time (s): 0.941876
CPU usage (%): 99.704
Max. virtual memory (cumulated for all children) (KiB): 2001224
Max. memory (cumulated for all children) (KiB): 1878548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.912
system time used= 0.941876
maximum resident set size= 1896356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575013
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= 20
involuntary context switches= 1096
# summary of solver processes directly reported to runsolver:
# pid: 36813
# total CPU time (s): 155.854
# total CPU user time (s): 154.912
# total CPU system time (s): 0.941876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.253112 second user time and 0.710946 second system time
The end
Begin job on nodeC022 at 2024-07-31 03:43:32
IDJOB=4464987
IDBENCH=144105
IDSOLVER=3093
FILE ID=nodeC022/4464987-1722390212
RUNJOBID= nodeC022-1722390212-36702
SLURM_JOB_ID= 8249874
Free space on /tmp= 889896 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-pedck350l3_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464987-1722390212/watcher-4464987-1722390212 -o /tmp/evaluation-result-4464987-1722390212/solver-4464987-1722390212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722390212-36702 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464987-1722390212.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d12ee730ee94518733bc962a9378f976
RANDOM SEED=617151207
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3671.094
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
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 : 3682.882
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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 : 3655.233
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
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 : 3600.315
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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 : 3669.342
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
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 : 3682.889
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.535
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
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 : 3600.261
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126155300 kB
MemAvailable: 129199200 kB
Buffers: 115988 kB
Cached: 3730832 kB
SwapCached: 0 kB
Active: 289636 kB
Inactive: 4532756 kB
Active(anon): 1480 kB
Inactive(anon): 995448 kB
Active(file): 288156 kB
Inactive(file): 3537308 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 218368 kB
Writeback: 0 kB
AnonPages: 975640 kB
Mapped: 116680 kB
Shmem: 21336 kB
KReclaimable: 116168 kB
Slab: 204548 kB
SReclaimable: 116168 kB
SUnreclaim: 88380 kB
KernelStack: 4144 kB
PageTables: 10024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1227916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 889872 MiB
End job on nodeC022 at 2024-07-31 03:46:09