Trace number 4465106

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-30OPTIMUM 214.894 216.989

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100088 s]*
/proc/loadavg: 2.04 2.18 2.82 5/261 35469
/proc/meminfo: memFree=122880968/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=88236 memory=76196 CPUtime=0.1 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 16817 0 0 0 8 2 0 0 20 0 1 0 5536556 90353664 19049 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 22059 19049 2598 3035 0 18455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 88236 KiB
Current children cumulated memory: 76196 KiB

[startup+0.205614 s]*
/proc/loadavg: 2.04 2.18 2.82 6/261 35469
/proc/meminfo: memFree=122759600/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=112104 memory=97360 CPUtime=0.2 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 22104 0 0 0 17 3 0 0 20 0 1 0 5536556 114794496 24340 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 28026 24340 2630 3035 0 24422 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112104 KiB
Current children cumulated memory: 97360 KiB

[startup+0.305612 s]*
/proc/loadavg: 2.04 2.18 2.82 5/261 35469
/proc/meminfo: memFree=122694572/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=113532 memory=98680 CPUtime=0.3 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 22433 0 0 0 27 3 0 0 20 0 1 0 5536556 116256768 24670 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 28383 24670 2630 3035 0 24779 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113532 KiB
Current children cumulated memory: 98680 KiB

[startup+0.70024 s]
/proc/loadavg: 2.04 2.18 2.82 5/261 35469
/proc/meminfo: memFree=122615136/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=113724 memory=98944 CPUtime=0.69 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 22481 0 0 0 66 3 0 0 20 0 1 0 5536556 116453376 24736 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 28431 24736 2630 3035 0 24827 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113724 KiB
Current children cumulated memory: 98944 KiB

[startup+1.50024 s]
/proc/loadavg: 2.28 2.22 2.83 5/262 35470
/proc/meminfo: memFree=122333248/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=113980 memory=99208 CPUtime=1.48 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 22545 0 0 0 145 3 0 0 20 0 1 0 5536556 116715520 24802 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 28495 24802 2630 3035 0 24891 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113980 KiB
Current children cumulated memory: 99208 KiB

[startup+3.10566 s]
/proc/loadavg: 2.28 2.22 2.83 5/262 35472
/proc/meminfo: memFree=122100008/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=114496 memory=99736 CPUtime=3.08 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 22673 0 0 0 305 3 0 0 20 0 1 0 5536556 117243904 24934 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 28624 24934 2630 3035 0 25020 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 114496 KiB
Current children cumulated memory: 99736 KiB

[startup+6.30022 s]
/proc/loadavg: 2.41 2.25 2.84 5/262 35472
/proc/meminfo: memFree=122097816/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=115524 memory=100792 CPUtime=6.26 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 22929 0 0 0 623 3 0 0 20 0 1 0 5536556 118296576 25198 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 28881 25198 2630 3035 0 25277 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 115524 KiB
Current children cumulated memory: 100792 KiB

[startup+12.7002 s]
/proc/loadavg: 2.54 2.28 2.85 5/262 35472
/proc/meminfo: memFree=122095776/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=116552 memory=101848 CPUtime=12.62 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 23187 0 0 0 1259 3 0 0 20 0 1 0 5536556 119349248 25462 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 29138 25462 2630 3035 0 25534 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 116552 KiB
Current children cumulated memory: 101848 KiB

[startup+25.5002 s]
/proc/loadavg: 2.77 2.34 2.86 5/264 35477
/proc/meminfo: memFree=121670036/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=118608 memory=103960 CPUtime=25.36 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 23699 0 0 0 2533 3 0 0 20 0 1 0 5536556 121454592 25990 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 29652 25990 2630 3035 0 26048 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 118608 KiB
Current children cumulated memory: 103960 KiB

[startup+51.1058 s]
/proc/loadavg: 3.31 2.52 2.90 5/270 35591
/proc/meminfo: memFree=121581524/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=295692 memory=229360 CPUtime=50.81 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 73033 0 0 0 5072 9 0 0 20 0 3 0 5536556 302788608 57340 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 73923 57340 2870 3035 0 68216 0
[pid=35468/tid=35590] ppid=35465 vsize=295692 memory=107920 CPUtime=2.15 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 41034 0 0 0 211 4 0 0 20 0 3 0 5541443 302788608 57340 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=295692 memory=206340 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5541450 302788608 57340 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 295692 KiB
Current children cumulated memory: 229360 KiB

[startup+102.301 s]
/proc/loadavg: 3.93 2.81 2.98 5/270 35600
/proc/meminfo: memFree=121276032/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=562124 memory=430196 CPUtime=101.46 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 258750 0 0 0 10118 28 0 0 20 0 3 0 5536556 575614976 107549 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 140531 107549 3014 3035 0 121664 0
[pid=35468/tid=35590] ppid=35465 vsize=562124 memory=434680 CPUtime=52.8 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 224554 0 0 0 5257 23 0 0 20 0 3 0 5541443 575614976 107549 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=562124 memory=434680 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5541450 575614976 107549 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 101.46 s
Current children cumulated vsize: 562124 KiB
Current children cumulated memory: 430196 KiB

[startup+162.301 s]
/proc/loadavg: 4.05 3.04 3.05 5/270 35611
/proc/meminfo: memFree=121254104/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=563892 memory=435228 CPUtime=160.77 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 389974 0 0 0 16041 36 0 0 20 0 3 0 5536556 577425408 108807 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 140973 108807 3014 3035 0 122106 0
[pid=35468/tid=35590] ppid=35465 vsize=563892 memory=-7378984731055055226 CPUtime=112.09 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 349403 0 0 0 11179 30 0 0 20 0 3 0 5541443 577425408 108807 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=563892 memory=435228 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5541450 577425408 108807 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 160.77 s
Current children cumulated vsize: 563892 KiB
Current children cumulated memory: 435228 KiB

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

# cumulated CPU time of all completed processes:  user=214.419 s, system=0.475158 s

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

[startup+179.201 s]
/proc/loadavg: 4.04 3.09 3.07 5/270 35614
/proc/meminfo: memFree=121241156/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=564776 memory=436468 CPUtime=177.47 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 421199 0 0 0 17709 38 0 0 20 0 3 0 5536556 578330624 109117 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141194 109117 3014 3035 0 122327 0
[pid=35468/tid=35590] ppid=35465 vsize=564776 memory=434516 CPUtime=128.78 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 379810 0 0 0 12846 32 0 0 20 0 3 0 5541443 578330624 109117 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=564776 memory=11576 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5541450 578330624 109117 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 177.47 s
Current children cumulated vsize: 564776 KiB
Current children cumulated memory: 436468 KiB

[startup+192.001 s]*
/proc/loadavg: 4.03 3.14 3.09 5/270 35615
/proc/meminfo: memFree=120570756/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=566544 memory=437876 CPUtime=190.14 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 440412 0 0 0 18974 40 0 0 20 0 3 0 5536556 580141056 109469 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141636 109469 3014 3035 0 122769 0
[pid=35468/tid=35590] ppid=35465 vsize=566544 memory=-7306927137017128574 CPUtime=141.45 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 396831 0 0 0 14111 34 0 0 20 0 3 0 5541443 580141056 109469 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=566544 memory=-7377923638443341761 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5541450 580141056 109469 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 190.14 s
Current children cumulated vsize: 566544 KiB
Current children cumulated memory: 437876 KiB

[startup+204.801 s]
/proc/loadavg: 4.10 3.18 3.10 5/270 35618
/proc/meminfo: memFree=120562440/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=566544 memory=441732 CPUtime=202.81 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 486548 0 0 0 20239 42 0 0 20 0 3 0 5536556 580141056 110433 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141636 110433 3014 3035 0 123268 0
[pid=35468/tid=35590] ppid=35465 vsize=566544 memory=15884 CPUtime=154.12 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 441380 0 0 0 15376 36 0 0 20 0 3 0 5541443 580141056 110433 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=566544 memory=0 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5541450 580141056 110433 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 202.81 s
Current children cumulated vsize: 566544 KiB
Current children cumulated memory: 441732 KiB

[startup+211.201 s]
/proc/loadavg: 4.09 3.21 3.11 5/270 35618
/proc/meminfo: memFree=120547508/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=566544 memory=454436 CPUtime=209.15 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 490099 0 0 0 20872 43 0 0 20 0 3 0 5536556 580141056 113609 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141636 113609 3014 3035 0 125474 0
[pid=35468/tid=35590] ppid=35465 vsize=566544 memory=280196688071024 CPUtime=160.46 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 444931 0 0 0 16009 37 0 0 20 0 3 0 5541443 580141056 113609 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=566544 memory=452900 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5541450 580141056 113609 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 209.15 s
Current children cumulated vsize: 566544 KiB
Current children cumulated memory: 454436 KiB

[startup+214.401 s]
/proc/loadavg: 4.09 3.21 3.11 5/270 35620
/proc/meminfo: memFree=120546088/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=566544 memory=457540 CPUtime=212.32 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 493544 0 0 0 21189 43 0 0 20 0 3 0 5536556 580141056 114385 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141636 114385 3014 3035 0 126240 0
[pid=35468/tid=35590] ppid=35465 vsize=566544 memory=11576 CPUtime=163.62 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 448376 0 0 0 16325 37 0 0 20 0 3 0 5541443 580141056 114385 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=566544 memory=13000 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5541450 580141056 114385 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 212.32 s
Current children cumulated vsize: 566544 KiB
Current children cumulated memory: 457540 KiB

[startup+216.001 s]*
/proc/loadavg: 4.08 3.22 3.12 5/269 35621
/proc/meminfo: memFree=120542248/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=566544 memory=457004 CPUtime=213.9 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 499728 0 0 0 21346 44 0 0 20 0 3 0 5536556 580141056 114251 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141636 114251 3014 3035 0 126319 0
[pid=35468/tid=35590] ppid=35465 vsize=566544 memory=-7306927137017128574 CPUtime=165.21 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 454560 0 0 0 16483 38 0 0 20 0 3 0 5541443 580141056 114251 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=566544 memory=-7377923638443341761 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5541450 580141056 114251 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 213.9 s
Current children cumulated vsize: 566544 KiB
Current children cumulated memory: 457004 KiB

[startup+216.401 s]
/proc/loadavg: 4.08 3.22 3.12 5/269 35621
/proc/meminfo: memFree=120542248/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=566544 memory=457004 CPUtime=214.3 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 499730 0 0 0 21386 44 0 0 20 0 3 0 5536556 580141056 114251 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141636 114251 3014 3035 0 126319 0
[pid=35468/tid=35590] ppid=35465 vsize=566544 memory=13000 CPUtime=165.6 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 454562 0 0 0 16522 38 0 0 20 0 3 0 5541443 580141056 114251 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=566544 memory=12408 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5541450 580141056 114251 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 214.3 s
Current children cumulated vsize: 566544 KiB
Current children cumulated memory: 457004 KiB

[startup+216.801 s]
/proc/loadavg: 4.08 3.22 3.12 5/269 35621
/proc/meminfo: memFree=120542248/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=566544 memory=457224 CPUtime=214.69 cores=0,2
/proc/35468/stat : 35468 (fscip) S 35465 35468 35345 0 -1 1077936128 499767 0 0 0 21425 44 0 0 20 0 3 0 5536556 580141056 114306 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141636 114306 3014 3035 0 126319 0
[pid=35468/tid=35590] ppid=35465 vsize=566544 memory=15884 CPUtime=166 cores=0,2
/proc/35468/task/35590/stat : 35590 (fscip) R 35465 35468 35345 0 -1 4194368 454599 0 0 0 16562 38 0 0 20 0 3 0 5541443 580141056 114306 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
[pid=35468/tid=35591] ppid=35465 vsize=566544 memory=2268 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5541450 580141056 114306 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 214.69 s
Current children cumulated vsize: 566544 KiB
Current children cumulated memory: 457224 KiB

[startup+216.9 s]
/proc/loadavg: 4.08 3.22 3.12 5/269 35621
/proc/meminfo: memFree=120542248/131524592 swapFree=131071996/131071996
[pid=35468] ppid=35465 vsize=566544 memory=457208 CPUtime=214.8 cores=0,2
/proc/35468/stat : 35468 (fscip) R 35465 35468 35345 0 -1 4194304 507996 0 0 0 21435 45 0 0 20 0 2 0 5536556 580141056 114302 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
/proc/35468/statm: 141636 114302 3014 3035 0 126319 0
[pid=35468/tid=35591] ppid=35465 vsize=566544 memory=5448 CPUtime=0 cores=0,2
/proc/35468/task/35591/stat : 35591 (fscip) S 35465 35468 35345 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 2 0 5541450 580141056 114302 134679101440 4194304 16623229 140733135040208 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56786944 140733135041556 140733135041672 140733135041672 140733135048688 0
Current children cumulated CPU time: 214.8 s
Current children cumulated vsize: 566544 KiB
Current children cumulated memory: 457208 KiB

Child status: 0

Real time (s): 216.989
CPU time (s): 214.894
CPU user time (s): 214.419
CPU system time (s): 0.475158
CPU usage (%): 99.0345
Max. virtual memory (cumulated for all children) (KiB): 566544
Max. memory (cumulated for all children) (KiB): 457800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.419
system time used= 0.475158
maximum resident set size= 457800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525343
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= 382
involuntary context switches= 2408


# summary of solver processes directly reported to runsolver:
#   pid: 35468
#   total CPU time (s): 214.894
#   total CPU user time (s): 214.419
#   total CPU system time (s): 0.475158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.444833 second user time and 1.06474 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-31 03:29:54
IDJOB=4465106
IDBENCH=143102
IDSOLVER=3093
FILE ID=nodeC016/4465106-1722389394
RUNJOBID= nodeC016-1722389391-35355
SLURM_JOB_ID= 8249859
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4465106-1722389394/watcher-4465106-1722389394 -o /tmp/evaluation-result-4465106-1722389394/solver-4465106-1722389394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722389391-35355 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4465106-1722389394.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 426cbf56e292cea19e974b4ecba921dc
RANDOM SEED=331003659

nodeC016.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		: 3641.701
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.92
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		: 3678.615
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.47
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		: 3674.817
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.008
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.47
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		: 3666.154
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.92
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		: 3681.228
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.47
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.016
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.92
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		: 3662.689
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        122998300 kB
MemAvailable:   128400156 kB
Buffers:          114040 kB
Cached:          6093452 kB
SwapCached:            0 kB
Active:           286660 kB
Inactive:        7695600 kB
Active(anon):       1560 kB
Inactive(anon):  1794552 kB
Active(file):     285100 kB
Inactive(file):  5901048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            116120 kB
Writeback:             4 kB
AnonPages:       1774668 kB
Mapped:           120840 kB
Shmem:             21336 kB
KReclaimable:     111024 kB
Slab:             198152 kB
SReclaimable:     111024 kB
SUnreclaim:        87128 kB
KernelStack:        4160 kB
PageTables:        12556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    1908612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10144 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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:      275156 kB
DirectMap2M:     7886848 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC016 at 2024-07-31 03:33:32