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