Trace number 4455897

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02OPTIMUM 185.015 185.796

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
MD5SUM426cbf56e292cea19e974b4ecba921dc
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.65815
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3249
Total number of constraints8983
Number of soft constraints8983
Number of constraints which are clauses8599
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 454955
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 454954
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1         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)
0.00/0.06	c Default LC presolving (default).
0.00/0.06	c ** Before presolving: virtualMemUsedAtLc = 74139503, getVmSize() = 69640192, SCIPgetMemUsed() = 41940050, SCIPgetMemTotal() = 46292906, SCIPgetMemExternEstim() = 27846597
0.00/0.06	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
33.22/33.49	c ** Estimated virtualMemUsedAtSolver = 100353214, getVmSize() = 149217280, SCIPgetMemUsed() = 77393729, SCIPgetMemTotal() = 122683225, SCIPgetMemExternEstim() = 27846597
33.22/33.49	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
33.22/33.49	c Original Problem   :
33.22/33.49	c   Problem name     : instance-4455897-1721718341
33.22/33.49	c   Variables        : 12232 (12232 binary, 0 integer, 0 implicit integer, 0 continuous)
33.22/33.49	c   Constraints      : 17967
33.22/33.49	c   Objective sense  : minimize
33.22/33.49	c Presolved Problem  :
33.22/33.49	c   Variables        : 12616 (12232 binary, 0 integer, 384 implicit integer, 0 continuous)
33.22/33.49	c   Constraints      : 9391
33.22/33.49	c Constraints        : Number
33.22/33.49	c   linear           : 8983 
33.22/33.49	c   indicator        : 408 
33.22/33.49	c ** Instance transfer method used: 0
33.31/33.52	c ** ParaScipInstance copy does not increase the number of variables. **
33.31/33.55	c LC is working with racing ramp-up and with rebuilding tree after racing.
33.31/33.55	c                                Nodes    Active                                            
33.31/33.55	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
33.42/33.67	c *      34              0           1         1      454928.0000                -          -
33.42/33.67	c        34              0           1         1      454928.0000                -          -
33.52/33.79	c *      34              0           1         1      315699.0000                -          -
33.61/33.81	c *      34              0           1         1       26018.0000                -          -
47.97/48.27	c *      48              0           1         1         863.0000                -          -
47.97/48.27	c        48              0           1         1         863.0000                -          -
56.15/56.49	c        56              2           1         1         863.0000           0.0000          -
61.63/61.99	c        62              4           3         1         863.0000           0.0000          -
68.89/69.22	c        69              5           6         1         863.0000           0.0000          -
75.25/75.62	c        76              5           6         1         863.0000           0.0000          -
82.01/82.41	c        82              6           5         1         863.0000           0.0000          -
87.10/87.53	c        88             10           9         1         863.0000           0.0000          -
91.88/92.36	c *      92             43          42         1         547.0000           0.0000          -
92.19/92.69	c        93             75          74         1         547.0000           0.0000          -
96.38/96.86	c *      97            101         100         1         510.0000           0.0000          -
99.17/99.60	c       100            127         126         1         510.0000           0.0000          -
106.06/106.52	c       107            191         190         1         510.0000           0.0000          -
106.95/107.47	c *     107            191         190         1         487.0000           0.0000          -
111.23/111.74	c       112            332         331         1         487.0000           0.0000          -
116.70/117.21	c       117            413         412         1         487.0000           0.0000          -
117.10/117.65	c *     118            413         412         1         273.0000           0.0000          -
122.37/122.97	c       123            452         451         1         273.0000           0.0000          -
127.45/128.01	c       128            511         510         1         273.0000           0.0000          -
132.90/133.51	c       134            586         585         1         273.0000           0.0000          -
136.08/136.76	c *     137            612         611         1         263.0000           0.0000          -
138.77/139.43	c       139            650         649         1         263.0000           0.0000          -
141.94/142.68	c *     143            684         683         1         176.0000           0.0000          -
142.04/142.71	c *     143            684         683         1         141.0000           0.0000          -
142.14/142.82	c *     143            684         683         1         123.0000           0.0000          -
144.62/145.35	c       145            725         712         1         123.0000           0.0000          -
151.19/151.94	c       152            735         722         1         123.0000           0.0000          -
156.68/157.45	c       157            804         787         1         123.0000           0.0000          -
161.37/162.16	c *     162            874         847         1          58.0000           0.0000          -
162.37/163.19	c *     163            888         790         1           9.0000           0.0000          -
162.37/163.19	c       163            888         790         1           9.0000           0.0000          -
162.76/163.52	c *     164            908         461         1           8.0000           0.0000          -
163.17/163.90	c *     164            908         461         1           5.0000           0.0000          -
168.05/168.83	c *     169           1036         279         1           4.0000           0.0000          -
168.05/168.83	c       169           1036         279         1           4.0000           0.0000          -
169.55/170.38	c *     170           1117         188         1           3.0000           0.0000          -
173.43/174.27	c       174           1151           1         1           3.0000           0.0000          -
174.64/175.44	c *     175           1151           1         1           2.0000           0.0000          -
174.84/175.61	c *     176           1172          22         1           1.0000           0.0000          -
181.12/181.95	c       182           1272          14         1           1.0000           0.0000          -
184.81/185.61	c       186           1335           0         0           1.0000           1.0000      0.00%
184.91/185.71	c       186           1335           0         0           1.0000           1.0000          -
184.91/185.71	c SCIP Status        : c problem is solved
184.91/185.71	c Total Time         : 185.7000
184.91/185.71	c   solving          : 185.7000
184.91/185.71	c   presolving       : 33.4233 (included in solving)
184.91/185.71	c B&B Tree           :
184.91/185.71	c   nodes (total)    : 1335
184.91/185.71	c Solution           :
184.91/185.71	c   Solutions found  : 21
184.91/185.71	c   Primal Bound     : +1.00000000000000e+00
184.91/185.71	c   Dual Bound       : +1.00000000000000e+00
184.91/185.71	c Gap                : 0.00000 %
184.91/185.71	o 1
184.91/185.71	s OPTIMUM FOUND
184.91/185.71	v x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 x3242 -x3241 -x3240 x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 
184.91/185.71	v x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 x3220 -x3219 -x3218 -x3217 x3216 -x3215 -x3214 -x3213 
184.91/185.71	v -x3212 x3211 -x3210 -x3209 -x3208 -x3207 x3206 -x3205 x3204 -x3203 -x3202 -x3201 x3200 x3199 -x3198 -x3197 -x3196 x3195 -x3194 
184.91/185.71	v -x3193 x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 x3177 -x3176 
184.91/185.71	v -x3175 -x3174 x3173 -x3172 -x3171 x3170 x3169 -x3168 x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 
184.91/185.71	v -x3156 x3155 x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 x3147 -x3146 x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 
184.91/185.71	v x3138 x3137 -x3136 x3135 -x3134 -x3133 x3132 x3131 x3130 x3129 x3128 x3127 x3126 x3125 x3124 -x3123 x3122 x3121 -x3120 -x3119 
184.91/185.71	v -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 x3105 -x3104 x3103 -x3102 -x3101 
184.91/185.71	v -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 
184.91/185.71	v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 
184.91/185.71	v x3064 x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 x3051 -x3050 -x3049 -x3048 -x3047 
184.91/185.71	v -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 x3036 x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 
184.91/185.71	v -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 x3022 x3021 x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 
184.91/185.71	v -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 x3004 x3003 x3002 x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 
184.91/185.71	v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 x2980 x2979 x2978 x2977 x2976 x2975 x2974 x2973 
184.91/185.71	v x2972 x2971 x2970 x2969 x2968 x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 
184.91/185.71	v -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 
184.91/185.71	v -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 
184.91/185.71	v -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 x2904 -x2903 -x2902 -x2901 -x2900 
184.91/185.71	v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 x2883 -x2882 
184.91/185.71	v -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 
184.91/185.71	v -x2864 -x2863 -x2862 -x2861 x2860 x2859 x2858 -x2857 -x2856 x2855 -x2854 -x2853 -x2852 x2851 -x2850 -x2849 -x2848 x2847 -x2846 
184.91/185.71	v -x2845 x2844 -x2843 -x2842 -x2841 -x2840 x2839 -x2838 -x2837 -x2836 -x2835 x2834 -x2833 x2832 -x2831 -x2830 x2829 -x2828 x2827 
184.91/185.71	v x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 x2818 x2817 x2816 x2815 x2814 -x2813 x2812 x2811 -x2810 -x2809 -x2808 
184.91/185.71	v -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 x2799 x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 
184.91/185.71	v -x2789 -x2788 -x2787 -x2786 x2785 x2784 x2783 -x2782 -x2781 -x2780 x2779 x2778 x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 
184.91/185.71	v -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 x2759 x2758 x2757 -x2756 -x2755 -x2754 -x2753 
184.91/185.71	v -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 x2735 
184.91/185.71	v x2734 -x2733 x2732 x2731 x2730 x2729 -x2728 -x2727 -x2726 x2725 x2724 x2723 x2722 -x2721 -x2720 -x2719 -x2718 x2717 x2716 
184.91/185.71	v x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 
184.91/185.71	v -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 x2682 x2681 -x2680 x2679 
184.91/185.71	v x2678 x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 
184.91/185.71	v -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 x2651 x2650 x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 
184.91/185.71	v -x2642 -x2641 -x2640 x2639 x2638 x2637 x2636 x2635 x2634 x2633 x2632 x2631 x2630 -x2629 x2628 x2627 x2626 x2625 -x2624 x2623 
184.91/185.71	v -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 x2609 x2608 -x2607 x2606 -x2605 
184.91/185.71	v x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 x2590 x2589 -x2588 -x2587 -x2586 
184.91/185.71	v x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 x2573 x2572 x2571 -x2570 -x2569 -x2568 
184.91/185.71	v -x2567 -x2566 x2565 -x2564 x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 
184.91/185.71	v -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 
184.91/185.71	v -x2531 -x2530 -x2529 -x2528 x2527 x2526 x2525 -x2524 -x2523 -x2522 -x2521 -x2520 x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 
184.91/185.71	v -x2512 -x2511 -x2510 -x2509 -x2508 x2507 -x2506 -x2505 -x2504 -x2503 x2502 x2501 x2500 x2499 -x2498 -x2497 x2496 x2495 x2494 
184.91/185.71	v x2493 x2492 -x2491 -x2490 x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 x2476 
184.91/185.71	v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 x2461 -x2460 -x2459 -x2458 
184.91/185.71	v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 x2443 x2442 x2441 x2440 x2439 
184.91/185.71	v -x2438 -x2437 x2436 x2435 x2434 -x2433 -x2432 x2431 x2430 x2429 x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 
184.91/185.71	v -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 x2410 x2409 x2408 x2407 x2406 x2405 x2404 x2403 -x2402 -x2401 
184.91/185.71	v -x2400 -x2399 -x2398 x2397 -x2396 x2395 -x2394 -x2393 x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 
184.91/185.71	v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 x2366 -x2365 
184.91/185.71	v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 
184.91/185.71	v -x2346 -x2345 -x2344 -x2343 x2342 -x2341 -x2340 -x2339 -x2338 x2337 x2336 x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 
184.91/185.71	v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 x2318 x2317 x2316 x2315 -x2314 -x2313 x2312 x2311 x2310 
184.91/185.71	v -x2309 -x2308 x2307 x2306 -x2305 -x2304 x2303 x2302 -x2301 x2300 -x2299 -x2298 x2297 x2296 -x2295 x2294 x2293 -x2292 -x2291 
184.91/185.71	v -x2290 -x2289 -x2288 x2287 -x2286 -x2285 -x2284 x2283 -x2282 -x2281 -x2280 -x2279 -x2278 x2277 -x2276 -x2275 -x2274 x2273 -x2272 
184.91/185.71	v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 
184.91/185.71	v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 
184.91/185.71	v -x2235 -x2234 -x2233 x2232 -x2231 x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 x2218 
184.91/185.71	v -x2217 x2216 x2215 x2214 x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 x2206 -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 
184.91/185.71	v -x2198 -x2197 x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 x2188 -x2187 -x2186 x2185 -x2184 -x2183 -x2182 -x2181 
184.91/185.71	v -x2180 -x2179 x2178 -x2177 -x2176 -x2175 x2174 -x2173 x2172 -x2171 -x2170 -x2169 -x2168 -x2167 x2166 -x2165 -x2164 -x2163 
184.91/185.71	v x2162 -x2161 -x2160 -x2159 -x2158 -x2157 x2156 -x2155 -x2154 -x2153 x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 
184.91/185.71	v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 
184.91/185.71	v x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 x2109 -x2108 
184.91/185.71	v x2107 -x2106 -x2105 x2104 x2103 -x2102 x2101 -x2100 -x2099 x2098 x2097 x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 
184.91/185.71	v x2088 x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 x2074 x2073 x2072 x2071 
184.91/185.71	v x2070 x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 
184.91/185.71	v -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 
184.91/185.71	v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 x2018 x2017 
184.91/185.71	v x2016 x2015 x2014 x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 
184.91/185.71	v -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 x1983 -x1982 -x1981 -x1980 
184.91/185.71	v -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 
184.91/185.71	v -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 
184.91/185.71	v -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 
184.91/185.71	v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 x1911 -x1910 -x1909 
184.91/185.71	v -x1908 -x1907 x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 x1895 -x1894 -x1893 x1892 -x1891 -x1890 
184.91/185.71	v -x1889 x1888 -x1887 -x1886 -x1885 x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 x1876 -x1875 -x1874 -x1873 -x1872 
184.91/185.71	v -x1871 -x1870 -x1869 -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 x1856 -x1855 -x1854 
184.91/185.71	v -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 x1846 -x1845 -x1844 -x1843 -x1842 x1841 x1840 x1839 -x1838 -x1837 -x1836 -x1835 
184.91/185.71	v -x1834 x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 x1826 -x1825 -x1824 -x1823 -x1822 -x1821 x1820 -x1819 -x1818 -x1817 
184.91/185.71	v x1816 -x1815 -x1814 -x1813 -x1812 -x1811 x1810 -x1809 -x1808 -x1807 x1806 -x1805 -x1804 x1803 -x1802 -x1801 -x1800 -x1799 
184.91/185.71	v -x1798 x1797 -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 x1781 -x1780 
184.91/185.71	v -x1779 x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 
184.91/185.71	v -x1761 -x1760 -x1759 x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 x1748 -x1747 -x1746 -x1745 -x1744 
184.91/185.71	v -x1743 -x1742 x1741 -x1740 x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
184.91/185.71	v x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 x1711 -x1710 x1709 -x1708 -x1707 
184.91/185.71	v -x1706 -x1705 -x1704 -x1703 -x1702 x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 x1690 -x1689 
184.91/185.71	v -x1688 -x1687 -x1686 -x1685 -x1684 x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 x1676 -x1675 x1674 -x1673 -x1672 x1671 
184.91/185.71	v x1670 -x1669 x1668 -x1667 -x1666 x1665 x1664 x1663 -x1662 -x1661 -x1660 x1659 x1658 x1657 x1656 x1655 x1654 -x1653 -x1652 -x1651 
184.91/185.71	v x1650 -x1649 x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 -x1640 -x1639 x1638 -x1637 -x1636 -x1635 -x1634 -x1633 
184.91/185.71	v x1632 -x1631 -x1630 -x1629 x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
184.91/185.71	v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
184.91/185.71	v -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 x1585 -x1584 x1583 -x1582 -x1581 x1580 x1579 -x1578 
184.91/185.71	v x1577 -x1576 -x1575 x1574 x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 x1563 -x1562 -x1561 -x1560 -x1559 
184.91/185.71	v -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 x1550 x1549 x1548 x1547 x1546 x1545 -x1544 -x1543 -x1542 -x1541 
184.91/185.71	v -x1540 -x1539 x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 
184.91/185.71	v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 
184.91/185.71	v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 
184.91/185.71	v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 x1470 x1469 
184.91/185.71	v x1468 x1467 x1466 x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 
184.91/185.71	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 
184.91/185.71	v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 
184.91/185.71	v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 
184.91/185.71	v -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
184.91/185.71	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 
184.91/185.71	v -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 
184.91/185.71	v -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 
184.91/185.71	v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 
184.91/185.71	v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299 x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 x1291 x1290 x1289 -x1288 
184.91/185.71	v x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 x1273 -x1272 -x1271 -x1270 
184.91/185.71	v -x1269 x1268 -x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 
184.91/185.71	v -x1251 -x1250 -x1249 x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 x1234 
184.91/185.71	v x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 x1218 -x1217 x1216 -x1215 
184.91/185.71	v -x1214 -x1213 -x1212 -x1211 -x1210 x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201 -x1200 x1199 x1198 x1197 -x1196 
184.91/185.71	v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 
184.91/185.71	v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 
184.91/185.71	v -x1159 -x1158 -x1157 x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
184.91/185.71	v -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 x1126 -x1125 -x1124 
184.91/185.71	v x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107 -x1106 
184.91/185.71	v x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 
184.91/185.71	v -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 x1070 -x1069 
184.91/185.71	v x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 x1051 
184.91/185.71	v -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 
184.91/185.71	v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 
184.91/185.71	v -x1013 x1012 -x1011 x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 -x999 x998 -x997 -x996 -x995 
184.91/185.71	v -x994 -x993 -x992 x991 -x990 -x989 -x988 x987 x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 x976 -x975 -x974 
184.91/185.71	v -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 x957 -x956 -x955 x954 x953 -x952 
184.91/185.71	v -x951 -x950 -x949 -x948 x947 x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 x936 x935 x934 -x933 -x932 -x931 -x930 
184.91/185.71	v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 
184.91/185.71	v -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 
184.91/185.71	v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 x870 -x869 -x868 x867 
184.91/185.71	v -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 x845 
184.91/185.71	v -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 x824 
184.91/185.71	v -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 
184.91/185.71	v x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 x794 x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 x784 -x783 -x782 -x781 
184.91/185.71	v -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 x765 -x764 -x763 -x762 -x761 -x760 x759 
184.91/185.71	v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 x745 -x744 -x743 -x742 -x741 -x740 -x739 x738 
184.91/185.71	v -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 x729 -x728 -x727 x726 x725 -x724 x723 -x722 -x721 x720 x719 x718 -x717 -x716 
184.91/185.71	v -x715 x714 x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 
184.91/185.71	v -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 x684 -x683 -x682 x681 x680 -x679 -x678 -x677 -x676 -x675 x674 x673 -x672 
184.91/185.71	v -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 x663 x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 
184.91/185.71	v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 
184.91/185.71	v -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 
184.91/185.71	v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 
184.91/185.71	v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567 
184.91/185.71	v x566 -x565 -x564 -x563 -x562 x561 -x560 x559 x558 x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 -x546 -x545 
184.91/185.71	v -x544 -x543 x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 -x523 
184.91/185.71	v -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 x510 x509 x508 -x507 -x506 -x505 -x504 x503 -x502 
184.91/185.71	v -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 
184.91/185.71	v -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 x465 -x464 x463 -x462 -x461 -x460 -x459 
184.91/185.71	v -x458 -x457 -x456 x455 x454 x453 x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 x438 -x437 
184.91/185.71	v x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 x428 x427 -x426 -x425 x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 x416 -x415 
184.91/185.71	v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 x394 
184.91/185.71	v -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 
184.91/185.71	v -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 x352 -x351 
184.91/185.71	v -x350 -x349 -x348 -x347 x346 -x345 -x344 x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 
184.91/185.71	v -x329 -x328 x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 
184.91/185.71	v -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 
184.91/185.71	v -x286 -x285 -x284 -x283 -x282 x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 
184.91/185.71	v x265 -x264 x263 -x262 -x261 x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 x246 x245 -x244 -x243 
184.91/185.71	v -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 x226 x225 x224 -x223 -x222 
184.91/185.71	v x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 x208 x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 
184.91/185.78	v -x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 x187 x186 x185 -x184 -x183 -x182 x181 x180 x179 -x178 -x177 
184.91/185.78	v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 x157 -x156 
184.91/185.78	v -x155 -x154 -x153 x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 
184.91/185.78	v -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 
184.91/185.78	v x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 -x95 -x94 x93 -x92 x91 -x90 -x89 
184.91/185.78	v x88 -x87 -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 
184.91/185.78	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 -x35 
184.91/185.78	v -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 x23 x22 x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 x13 -x12 x11 -x10 -x9 x8 
184.91/185.78	v x7 x6 -x5 x4 -x3 x2 -x1

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (50478 MiB free)
  memory of node 1: 64510 MiB (47225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455897-1721718341/watcher-4455897-1721718341 -o /tmp/evaluation-result-4455897-1721718341/solver-4455897-1721718341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721718341-88014 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4455897-1721718341.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=88069, runsolver pid=88058

[startup+0.100151 s]*
/proc/loadavg: 1.09 1.24 1.63 8/261 88077
/proc/meminfo: memFree=99841476/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=85864 memory=73788 CPUtime=0.09 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 16225 0 0 0 8 1 0 0 20 0 1 0 8357087 87924736 18447 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 21466 18447 2590 3032 0 17866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85864 KiB
Current children cumulated memory: 73788 KiB

[startup+0.206455 s]*
/proc/loadavg: 1.09 1.24 1.63 7/261 88077
/proc/meminfo: memFree=99712444/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=112088 memory=97332 CPUtime=0.2 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 22100 0 0 0 18 2 0 0 20 0 1 0 8357087 114778112 24333 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 28022 24333 2622 3032 0 24422 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112088 KiB
Current children cumulated memory: 97332 KiB

[startup+0.306599 s]*
/proc/loadavg: 1.09 1.24 1.63 8/263 88079
/proc/meminfo: memFree=99564664/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=113516 memory=98652 CPUtime=0.29 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 22428 0 0 0 27 2 0 0 20 0 1 0 8357087 116240384 24663 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 28379 24663 2622 3032 0 24779 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 113516 KiB
Current children cumulated memory: 98652 KiB

[startup+0.700247 s]
/proc/loadavg: 1.09 1.24 1.63 8/263 88081
/proc/meminfo: memFree=99445756/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=113708 memory=98916 CPUtime=0.68 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 22476 0 0 0 66 2 0 0 20 0 1 0 8357087 116436992 24729 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 28427 24729 2622 3032 0 24827 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113708 KiB
Current children cumulated memory: 98916 KiB

[startup+1.50022 s]
/proc/loadavg: 1.32 1.29 1.65 8/263 88081
/proc/meminfo: memFree=99250640/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=113964 memory=99180 CPUtime=1.48 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 22540 0 0 0 146 2 0 0 20 0 1 0 8357087 116699136 24795 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 28491 24795 2622 3032 0 24891 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113964 KiB
Current children cumulated memory: 99180 KiB

[startup+3.10611 s]
/proc/loadavg: 1.32 1.29 1.65 7/265 88131
/proc/meminfo: memFree=98700096/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=114480 memory=99708 CPUtime=3.08 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 22668 0 0 0 306 2 0 0 20 0 1 0 8357087 117227520 24927 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 28620 24927 2622 3032 0 25020 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 114480 KiB
Current children cumulated memory: 99708 KiB

[startup+6.30023 s]
/proc/loadavg: 1.54 1.33 1.66 7/265 88179
/proc/meminfo: memFree=97834888/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=115508 memory=100764 CPUtime=6.25 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 22924 0 0 0 623 2 0 0 20 0 1 0 8357087 118280192 25191 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 28877 25191 2622 3032 0 25277 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 115508 KiB
Current children cumulated memory: 100764 KiB

[startup+12.7002 s]
/proc/loadavg: 1.81 1.39 1.68 7/267 88182
/proc/meminfo: memFree=97753012/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=116536 memory=101820 CPUtime=12.61 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 23182 0 0 0 1259 2 0 0 20 0 1 0 8357087 119332864 25455 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 29134 25455 2622 3032 0 25534 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 116536 KiB
Current children cumulated memory: 101820 KiB

[startup+25.5003 s]
/proc/loadavg: 2.15 1.48 1.70 7/267 88184
/proc/meminfo: memFree=97378268/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=119620 memory=104988 CPUtime=25.34 cores=5,7
/proc/88069/stat : 88069 (fscip) R 88058 88069 88001 0 -1 4194304 23950 0 0 0 2532 2 0 0 20 0 1 0 8357087 122490880 26247 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 29905 26247 2622 3032 0 26305 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 119620 KiB
Current children cumulated memory: 104988 KiB

[startup+51.1065 s]
/proc/loadavg: 2.93 1.74 1.78 7/267 88238
/proc/meminfo: memFree=97204220/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=430988 memory=322356 CPUtime=50.87 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 161873 0 0 0 5068 19 0 0 20 0 3 0 8357087 441331712 80589 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 107747 80589 2878 3032 0 97030 0
[pid=88069/tid=88186] ppid=88058 vsize=430988 memory=283516 CPUtime=17.51 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 127130 0 0 0 1737 14 0 0 20 0 3 0 8360437 441331712 80589 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=430988 memory=12136 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 8360442 441331712 80589 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 430988 KiB
Current children cumulated memory: 322356 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 2.15 1.92 7/266 88247
/proc/meminfo: memFree=97000956/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=562060 memory=429240 CPUtime=101.87 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 312313 0 0 0 10156 31 0 0 20 0 3 0 8357087 575549440 107310 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 140515 107310 2990 3032 0 121521 0
[pid=88069/tid=88186] ppid=88058 vsize=562060 memory=5516 CPUtime=68.5 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 273814 0 0 0 6824 26 0 0 20 0 3 0 8360437 575549440 107310 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=562060 memory=428552 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 8360442 575549440 107310 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 562060 KiB
Current children cumulated memory: 429240 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.52 2.07 6/266 88258
/proc/meminfo: memFree=96920436/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=436500 CPUtime=161.56 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 448966 0 0 0 16115 41 0 0 20 0 3 0 8357087 580075520 109125 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 109125 2990 3032 0 122626 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=431568 CPUtime=128.19 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 403864 0 0 0 12782 37 0 0 20 0 3 0 8360437 580075520 109125 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=436000 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 109125 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 436500 KiB

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

# cumulated CPU time of all completed processes:  user=184.531 s, system=0.484043 s

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

[startup+166.4 s]
/proc/loadavg: 4.00 2.54 2.08 7/266 88258
/proc/meminfo: memFree=96918712/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=436604 CPUtime=165.66 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 451310 0 0 0 16524 42 0 0 20 0 3 0 8357087 580075520 109151 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 109151 2990 3032 0 122626 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=0 CPUtime=132.27 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 406075 0 0 0 13190 37 0 0 20 0 3 0 8360437 580075520 109151 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=435768 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 109151 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 165.66 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 436604 KiB

[startup+179.2 s]
/proc/loadavg: 4.00 2.59 2.10 8/266 88259
/proc/meminfo: memFree=96889132/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=445696 CPUtime=178.42 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 483970 0 0 0 17797 45 0 0 20 0 3 0 8357087 580075520 111424 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 111424 2990 3032 0 123563 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=1896 CPUtime=145.04 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 438533 0 0 0 14463 41 0 0 20 0 3 0 8360437 580075520 111424 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=5516 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 111424 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 178.42 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 445696 KiB

[startup+182.4 s]
/proc/loadavg: 4.00 2.61 2.11 7/266 88261
/proc/meminfo: memFree=96839528/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=445696 CPUtime=181.61 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 483980 0 0 0 18116 45 0 0 20 0 3 0 8357087 580075520 111424 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 111424 2990 3032 0 123564 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=13524 CPUtime=148.23 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 438538 0 0 0 14782 41 0 0 20 0 3 0 8360437 580075520 111424 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=33852 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 111424 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 181.61 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 445696 KiB

[startup+184 s]*
/proc/loadavg: 4.00 2.61 2.11 7/266 88261
/proc/meminfo: memFree=96809688/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=449108 CPUtime=183.22 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 485297 0 0 0 18276 46 0 0 20 0 3 0 8357087 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 112277 2990 3032 0 124423 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=-7522249996642639230 CPUtime=149.83 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 439855 0 0 0 14942 41 0 0 20 0 3 0 8360437 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=2212 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 183.22 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 449108 KiB

[startup+184.8 s]
/proc/loadavg: 4.00 2.61 2.11 7/266 88261
/proc/meminfo: memFree=96809688/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=449108 CPUtime=184.02 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 485342 0 0 0 18356 46 0 0 20 0 3 0 8357087 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 112277 2990 3032 0 124439 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=32096 CPUtime=150.62 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 439896 0 0 0 15021 41 0 0 20 0 3 0 8360437 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=448332 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 184.02 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 449108 KiB

[startup+185.2 s]
/proc/loadavg: 4.00 2.61 2.11 7/266 88261
/proc/meminfo: memFree=96808972/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=449108 CPUtime=184.42 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 485344 0 0 0 18396 46 0 0 20 0 3 0 8357087 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 112277 2990 3032 0 124439 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=5480 CPUtime=151.02 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 439898 0 0 0 15061 41 0 0 20 0 3 0 8360437 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=2228 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 184.42 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 449108 KiB

[startup+185.6 s]
/proc/loadavg: 4.00 2.61 2.11 7/266 88261
/proc/meminfo: memFree=96808972/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=449108 CPUtime=184.81 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 485359 0 0 0 18435 46 0 0 20 0 3 0 8357087 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 112277 2990 3032 0 124439 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=13524 CPUtime=151.42 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 439913 0 0 0 15101 41 0 0 20 0 3 0 8360437 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=12136 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 112277 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 184.81 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 449108 KiB

[startup+185.7 s]
/proc/loadavg: 4.00 2.61 2.11 7/266 88261
/proc/meminfo: memFree=96808972/131524600 swapFree=131071996/131071996
[pid=88069] ppid=88058 vsize=566480 memory=449204 CPUtime=184.91 cores=5,7
/proc/88069/stat : 88069 (fscip) S 88058 88069 88001 0 -1 1077936128 491128 0 0 0 18445 46 0 0 20 0 3 0 8357087 580075520 112301 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
/proc/88069/statm: 141620 112301 2990 3032 0 124439 0
[pid=88069/tid=88186] ppid=88058 vsize=566480 memory=431568 CPUtime=151.52 cores=5,7
/proc/88069/task/88186/stat : 88186 (fscip) R 88058 88069 88001 0 -1 4194368 445681 0 0 0 15111 41 0 0 20 0 3 0 8360437 580075520 112301 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
[pid=88069/tid=88187] ppid=88058 vsize=566480 memory=12136 CPUtime=0 cores=5,7
/proc/88069/task/88187/stat : 88187 (fscip) S 88058 88069 88001 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 8360442 580075520 112301 134679101440 4194304 16613245 140735713852368 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39010304 140735713854484 140735713854600 140735713854600 140735713861616 0
Current children cumulated CPU time: 184.91 s
Current children cumulated vsize: 566480 KiB
Current children cumulated memory: 449204 KiB

Child status: 0

Real time (s): 185.796
CPU time (s): 185.015
CPU user time (s): 184.531
CPU system time (s): 0.484043
CPU usage (%): 99.5794
Max. virtual memory (cumulated for all children) (KiB): 566480
Max. memory (cumulated for all children) (KiB): 449204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 184.531
system time used= 0.484043
maximum resident set size= 449208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511107
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= 346
involuntary context switches= 214


# summary of solver processes directly reported to runsolver:
#   pid: 88069
#   total CPU time (s): 185.015
#   total CPU user time (s): 184.531
#   total CPU system time (s): 0.484043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.352362 second user time and 1.1357 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-23 09:05:41
IDJOB=4455897
IDBENCH=143102
IDSOLVER=3044
FILE ID=nodeC022/4455897-1721718341
RUNJOBID= nodeC022-1721718341-88014
SLURM_JOB_ID= 7770394
Free space on /tmp= 890084 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl--soft-0-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4455897-1721718341/watcher-4455897-1721718341 -o /tmp/evaluation-result-4455897-1721718341/solver-4455897-1721718341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721718341-88014 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4455897-1721718341.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 426cbf56e292cea19e974b4ecba921dc
RANDOM SEED=902590110

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		: 3719.995
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	: 6999.87
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		: 3694.864
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	: 7006.75
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		: 3615.126
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	: 6999.87
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		: 3790.818
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	: 7006.75
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		: 3747.891
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	: 6999.87
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		: 3861.345
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	: 7006.75
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		: 3665.655
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	: 6999.87
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		: 3614.086
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	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        100049712 kB
MemAvailable:   129669084 kB
Buffers:          142364 kB
Cached:         30192860 kB
SwapCached:            0 kB
Active:           958956 kB
Inactive:       29749772 kB
Active(anon):       1444 kB
Inactive(anon):   401612 kB
Active(file):     957512 kB
Inactive(file): 29348160 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            115656 kB
Writeback:            12 kB
AnonPages:        372316 kB
Mapped:            99296 kB
Shmem:             29528 kB
KReclaimable:     306692 kB
Slab:             413680 kB
SReclaimable:     306692 kB
SUnreclaim:       106988 kB
KernelStack:        3888 kB
PageTables:         9484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     640816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      285396 kB
DirectMap2M:    28848128 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC022 at 2024-07-23 09:08:48