Trace number 4426804

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 108.825 109.29

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-66-100-0.wbo
MD5SUMb9e4bf4d6140c91cb266031462fadfd8
Bench CategoryPARTIAL-LIN (WBO, both soft and hard 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 benchmark0.94809
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3736
Total number of constraints10457
Number of soft constraints3516
Number of constraints which are clauses10089
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints368
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 177995
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 177994
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 = 59559936, getVmSize() = 59559936, SCIPgetMemUsed() = 31273472, SCIPgetMemTotal() = 36828048, SCIPgetMemExternEstim() = 19700226
0.00/0.06	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
13.85/13.95	c ** Estimated virtualMemUsedAtSolver = 69019106, getVmSize() = 109572096, SCIPgetMemUsed() = 52136617, SCIPgetMemTotal() = 83828433, SCIPgetMemExternEstim() = 19700226
13.85/13.95	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
13.85/13.95	c Original Problem   :
13.85/13.95	c   Problem name     : instance-4426804-1720905557
13.85/13.95	c   Variables        : 7252 (7252 binary, 0 integer, 0 implicit integer, 0 continuous)
13.85/13.95	c   Constraints      : 13974
13.85/13.95	c   Objective sense  : minimize
13.85/13.95	c Presolved Problem  :
13.85/13.95	c   Variables        : 7243 (7123 binary, 0 integer, 120 implicit integer, 0 continuous)
13.85/13.95	c   Constraints      : 8498
13.85/13.95	c Constraints        : Number
13.85/13.95	c   knapsack         : 248 
13.85/13.95	c   setppc           : 2479 
13.85/13.95	c   and              : 917 
13.85/13.95	c   linear           : 3497 
13.85/13.95	c   logicor          : 1208 
13.85/13.95	c   indicator        : 149 
13.85/13.95	c ** Instance transfer method used: 0
13.85/13.97	c ** ParaScipInstance copy increased the number of variables. **
13.94/14.00	c LC is working with racing ramp-up and with rebuilding tree after racing.
13.94/14.00	c                                Nodes    Active                                            
13.94/14.00	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
14.83/14.92	c *      15              0           1         1      176685.0000                -          -
14.83/14.92	c        15              0           1         1      176685.0000                -          -
14.93/15.03	c *      15              0           1         1       19842.0000                -          -
26.13/26.37	c *      26              0           1         1         721.0000                -          -
26.13/26.37	c        26              0           1         1         721.0000                -          -
29.02/29.25	c *      29              0           1         1         490.0000                -          -
34.21/34.41	c        34              2           1         1         490.0000           0.0000          -
39.69/39.95	c        40              5           4         1         490.0000           0.0000          -
46.78/47.00	c        47              5           6         1         490.0000           0.0000          -
53.05/53.32	c        53              9           8         1         490.0000           0.0000          -
59.43/59.78	c        60             13          12         1         490.0000           0.0000          -
61.83/62.19	c *      62             15          14         1          45.0000           0.0000          -
62.12/62.42	c *      62             15          14         1          41.0000           0.0000          -
62.63/62.96	c *      63             60          48         1          36.0000           0.0000          -
63.23/63.51	c *      64             60          48         1          31.0000           0.0000          -
63.33/63.61	c *      64             60          48         1          22.0000           0.0000          -
64.62/64.91	c        65            166          57         1          22.0000           0.0000          -
65.82/66.13	c *      66            171          62         1          21.0000           0.0000          -
67.81/68.19	c *      68            245          79         1          14.0000           0.0000          -
68.00/68.30	c *      68            245          79         1          12.0000           0.0000          -
69.40/69.71	c *      70            280          57         1           7.0000           0.0000          -
69.40/69.79	c *      70            280          57         1           1.0000           0.0000          -
69.71/70.07	c        70            319          18         1           1.0000           0.0000          -
75.87/76.21	c        76            401           8         1           1.0000           0.0000          -
80.84/81.25	c        81            481          11         1           1.0000           0.0000          -
85.92/86.31	c        86            523           9         1           1.0000           0.0000          -
91.41/91.83	c        92            618          13         1           1.0000           0.0000          -
96.98/97.49	c        98            702           8         1           1.0000           0.0000          -
103.34/103.89	c       104            789           5         1           1.0000           0.0000          -
108.63/109.12	c       109            872           0         0           1.0000           1.0000      0.00%
108.63/109.12	c       109            872           0         0           1.0000           1.0000      0.00%
108.73/109.21	c       109            872           0         0           1.0000           1.0000          -
108.73/109.21	c SCIP Status        : c problem is solved
108.73/109.21	c Total Time         : 109.2100
108.73/109.21	c   solving          : 109.2100
108.73/109.22	c   presolving       : 13.8875 (included in solving)
108.73/109.22	c B&B Tree           :
108.73/109.22	c   nodes (total)    : 872
108.73/109.22	c Solution           :
108.73/109.22	c   Solutions found  : 14
108.73/109.22	c   Primal Bound     : +1.00000000000000e+00
108.73/109.22	c   Dual Bound       : +1.00000000000000e+00
108.73/109.22	c Gap                : 0.00000 %
108.73/109.22	o 1
108.73/109.22	s OPTIMUM FOUND
108.73/109.22	v x3736 x3735 -x3734 -x3733 -x3732 x3731 x3730 x3729 -x3728 x3727 -x3726 x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 x3717 
108.73/109.22	v x3716 -x3715 x3714 x3713 -x3712 x3711 -x3710 -x3709 -x3708 x3707 x3706 x3705 x3704 x3703 -x3702 -x3701 x3700 -x3699 -x3698 
108.73/109.22	v -x3697 -x3696 x3695 -x3694 -x3693 x3692 -x3691 -x3690 x3689 -x3688 x3687 x3686 -x3685 -x3684 x3683 -x3682 -x3681 x3680 -x3679 
108.73/109.22	v x3678 x3677 -x3676 x3675 -x3674 x3673 x3672 -x3671 x3670 -x3669 x3668 -x3667 -x3666 -x3665 x3664 x3663 -x3662 x3661 -x3660 
108.73/109.22	v x3659 x3658 -x3657 x3656 -x3655 x3654 x3653 x3652 x3651 x3650 x3649 -x3648 -x3647 -x3646 x3645 -x3644 x3643 -x3642 -x3641 -x3640 
108.73/109.22	v -x3639 -x3638 x3637 -x3636 -x3635 -x3634 -x3633 x3632 -x3631 x3630 x3629 x3628 -x3627 x3626 -x3625 -x3624 -x3623 -x3622 
108.73/109.22	v -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 
108.73/109.22	v -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 
108.73/109.22	v -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 x3569 -x3568 
108.73/109.22	v -x3567 -x3566 x3565 x3564 x3563 x3562 x3561 x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 
108.73/109.22	v -x3548 x3547 x3546 x3545 x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 x3535 -x3534 -x3533 x3532 -x3531 -x3530 
108.73/109.22	v -x3529 x3528 x3527 x3526 x3525 x3524 x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 x3513 x3512 x3511 
108.73/109.22	v x3510 -x3509 -x3508 -x3507 -x3506 -x3505 x3504 -x3503 -x3502 x3501 -x3500 x3499 x3498 -x3497 -x3496 -x3495 -x3494 -x3493 
108.73/109.22	v -x3492 -x3491 -x3490 x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 
108.73/109.22	v -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 
108.73/109.22	v -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 
108.73/109.22	v -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 x3425 -x3424 -x3423 -x3422 -x3421 
108.73/109.22	v -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 
108.73/109.22	v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 x3394 -x3393 -x3392 x3391 x3390 x3389 -x3388 -x3387 -x3386 -x3385 -x3384 
108.73/109.22	v -x3383 -x3382 -x3381 x3380 x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 
108.73/109.22	v x3365 x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 x3350 -x3349 -x3348 
108.73/109.22	v -x3347 -x3346 -x3345 -x3344 -x3343 x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 x3334 -x3333 -x3332 -x3331 -x3330 
108.73/109.22	v -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 x3323 -x3322 -x3321 -x3320 x3319 -x3318 x3317 x3316 x3315 -x3314 -x3313 -x3312 -x3311 
108.73/109.22	v x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 x3294 -x3293 
108.73/109.22	v -x3292 -x3291 x3290 x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 x3281 -x3280 -x3279 -x3278 -x3277 -x3276 x3275 x3274 
108.73/109.22	v x3273 -x3272 -x3271 -x3270 -x3269 x3268 x3267 -x3266 -x3265 -x3264 -x3263 x3262 x3261 x3260 x3259 -x3258 -x3257 -x3256 -x3255 
108.73/109.22	v -x3254 -x3253 -x3252 x3251 x3250 x3249 x3248 -x3247 x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 x3238 x3237 
108.73/109.22	v -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 x3220 x3219 -x3218 
108.73/109.22	v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 x3202 -x3201 -x3200 
108.73/109.22	v -x3199 -x3198 -x3197 -x3196 -x3195 x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 x3182 
108.73/109.22	v -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 x3175 -x3174 x3173 -x3172 x3171 x3170 x3169 x3168 x3167 x3166 -x3165 x3164 -x3163 
108.73/109.22	v -x3162 -x3161 -x3160 -x3159 -x3158 x3157 x3156 -x3155 x3154 -x3153 x3152 x3151 x3150 x3149 x3148 x3147 -x3146 -x3145 -x3144 
108.73/109.22	v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 
108.73/109.22	v -x3125 -x3124 x3123 x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 x3110 x3109 -x3108 
108.73/109.22	v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 
108.73/109.22	v x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 x3073 -x3072 -x3071 
108.73/109.22	v -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 x3055 -x3054 -x3053 
108.73/109.22	v -x3052 -x3051 -x3050 x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 x3038 -x3037 -x3036 -x3035 
108.73/109.22	v x3034 x3033 x3032 x3031 -x3030 -x3029 x3028 x3027 -x3026 -x3025 x3024 x3023 x3022 x3021 -x3020 -x3019 x3018 -x3017 -x3016 
108.73/109.22	v x3015 x3014 x3013 x3012 x3011 -x3010 x3009 -x3008 -x3007 x3006 -x3005 -x3004 -x3003 x3002 x3001 -x3000 -x2999 -x2998 -x2997 -x2996 
108.73/109.22	v -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 
108.73/109.22	v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 x2962 -x2961 -x2960 
108.73/109.22	v -x2959 -x2958 -x2957 x2956 -x2955 x2954 -x2953 x2952 x2951 -x2950 x2949 -x2948 -x2947 -x2946 -x2945 x2944 -x2943 -x2942 -x2941 
108.73/109.22	v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 x2928 -x2927 x2926 -x2925 -x2924 -x2923 
108.73/109.22	v -x2922 -x2921 -x2920 x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 
108.73/109.22	v -x2904 -x2903 x2902 -x2901 x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 
108.73/109.22	v -x2886 -x2885 -x2884 x2883 x2882 x2881 -x2880 x2879 x2878 x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 
108.73/109.22	v -x2867 -x2866 -x2865 -x2864 x2863 x2862 x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 
108.73/109.22	v -x2849 x2848 x2847 x2846 x2845 x2844 x2843 -x2842 x2841 -x2840 -x2839 -x2838 x2837 x2836 x2835 x2834 -x2833 -x2832 -x2831 
108.73/109.22	v -x2830 x2829 x2828 x2827 x2826 x2825 x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 x2816 -x2815 -x2814 -x2813 -x2812 
108.73/109.22	v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 x2799 -x2798 -x2797 -x2796 -x2795 -x2794 
108.73/109.22	v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 x2779 -x2778 -x2777 -x2776 
108.73/109.22	v -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 x2762 -x2761 -x2760 -x2759 -x2758 
108.73/109.22	v -x2757 -x2756 -x2755 -x2754 -x2753 x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 
108.73/109.22	v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 
108.73/109.22	v -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
108.73/109.22	v -x2703 -x2702 -x2701 x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 
108.73/109.22	v -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 
108.73/109.22	v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 
108.73/109.22	v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 x2637 -x2636 -x2635 -x2634 -x2633 -x2632 
108.73/109.22	v -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 x2625 -x2624 x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 
108.73/109.22	v -x2613 -x2612 x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 x2597 -x2596 
108.73/109.22	v -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 x2583 -x2582 -x2581 -x2580 -x2579 -x2578 
108.73/109.22	v -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 x2569 -x2568 -x2567 x2566 x2565 x2564 -x2563 -x2562 -x2561 -x2560 -x2559 
108.73/109.22	v -x2558 -x2557 -x2556 x2555 x2554 x2553 x2552 x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 x2544 -x2543 -x2542 -x2541 
108.73/109.22	v -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 x2526 -x2525 -x2524 -x2523 
108.73/109.22	v -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 x2507 -x2506 -x2505 
108.73/109.22	v -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 x2490 -x2489 -x2488 -x2487 
108.73/109.22	v -x2486 -x2485 -x2484 -x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 
108.73/109.22	v -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 
108.73/109.22	v -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 
108.73/109.22	v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 
108.73/109.22	v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 
108.73/109.22	v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 
108.73/109.22	v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 
108.73/109.22	v -x2360 -x2359 x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
108.73/109.22	v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 
108.73/109.22	v -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 x2313 x2312 -x2311 -x2310 -x2309 -x2308 -x2307 
108.73/109.22	v -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 
108.73/109.22	v -x2288 -x2287 -x2286 x2285 x2284 x2283 x2282 x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 x2274 -x2273 -x2272 -x2271 -x2270 
108.73/109.22	v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 
108.73/109.22	v -x2251 -x2250 -x2249 -x2248 -x2247 x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 x2234 
108.73/109.22	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 
108.73/109.22	v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 
108.73/109.22	v x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 x2186 -x2185 -x2184 -x2183 -x2182 x2181 -x2180 
108.73/109.22	v -x2179 -x2178 x2177 -x2176 -x2175 -x2174 x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 x2166 -x2165 -x2164 -x2163 -x2162 
108.73/109.22	v -x2161 x2160 -x2159 -x2158 x2157 -x2156 -x2155 -x2154 x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 x2146 -x2145 -x2144 x2143 
108.73/109.22	v -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 
108.73/109.22	v x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 x2113 -x2112 -x2111 -x2110 x2109 x2108 -x2107 
108.73/109.22	v -x2106 -x2105 x2104 x2103 x2102 x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 x2093 -x2092 -x2091 -x2090 -x2089 -x2088 
108.73/109.22	v -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 
108.73/109.22	v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 
108.73/109.22	v -x2051 -x2050 -x2049 -x2048 x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 
108.73/109.22	v -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 
108.73/109.22	v -x2015 x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 
108.73/109.22	v -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 
108.73/109.22	v -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 x1963 
108.73/109.22	v -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945 -x1944 
108.73/109.22	v -x1943 -x1942 x1941 -x1940 -x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 -x1932 x1931 -x1930 -x1929 -x1928 -x1927 -x1926 
108.73/109.22	v -x1925 -x1924 -x1923 -x1922 x1921 -x1920 -x1919 -x1918 -x1917 x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 
108.73/109.22	v x1907 -x1906 -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 x1892 -x1891 x1890 -x1889 
108.73/109.22	v -x1888 x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 -x1871 
108.73/109.22	v -x1870 -x1869 -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 
108.73/109.22	v x1852 -x1851 -x1850 -x1849 -x1848 x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 
108.73/109.22	v -x1834 -x1833 x1832 -x1831 -x1830 x1829 x1828 x1827 -x1826 x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 
108.73/109.22	v -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 
108.73/109.22	v -x1798 -x1797 -x1796 -x1795 x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 
108.73/109.22	v x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 
108.73/109.22	v -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 
108.73/109.22	v -x1744 -x1743 x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 -x1732 x1731 -x1730 -x1729 -x1728 x1727 -x1726 
108.73/109.22	v -x1725 -x1724 x1723 x1722 x1721 -x1720 -x1719 -x1718 x1717 x1716 x1715 x1714 x1713 x1712 x1711 -x1710 -x1709 -x1708 -x1707 
108.73/109.22	v -x1706 -x1705 -x1704 x1703 -x1702 x1701 x1700 x1699 -x1698 x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 
108.73/109.22	v -x1688 x1687 x1686 -x1685 x1684 -x1683 -x1682 -x1681 x1680 -x1679 -x1678 -x1677 x1676 x1675 x1674 -x1673 -x1672 -x1671 x1670 
108.73/109.22	v x1669 x1668 x1667 x1666 x1665 x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 x1651 
108.73/109.22	v x1650 -x1649 x1648 x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 
108.73/109.22	v -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 
108.73/109.22	v -x1613 -x1612 -x1611 -x1610 -x1609 x1608 x1607 x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 x1599 -x1598 x1597 x1596 
108.73/109.22	v -x1595 x1594 -x1593 -x1592 x1591 x1590 x1589 x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 x1578 x1577 x1576 
108.73/109.22	v x1575 x1574 x1573 x1572 -x1571 x1570 -x1569 -x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561 x1560 -x1559 x1558 -x1557 -x1556 
108.73/109.22	v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 x1546 x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 
108.73/109.22	v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 
108.73/109.22	v -x1519 x1518 x1517 x1516 x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 
108.73/109.22	v x1501 x1500 -x1499 -x1498 x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 
108.73/109.22	v -x1482 -x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 x1474 x1473 x1472 x1471 x1470 x1469 x1468 x1467 x1466 x1465 x1464 
108.73/109.22	v -x1463 x1462 -x1461 -x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453 x1452 -x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 
108.73/109.22	v x1444 x1443 -x1442 x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 x1430 -x1429 x1428 -x1427 
108.73/109.22	v x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 
108.73/109.22	v -x1406 -x1405 -x1404 -x1403 x1402 x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 
108.73/109.22	v -x1388 -x1387 x1386 -x1385 x1384 x1383 x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 
108.73/109.22	v -x1370 -x1369 x1368 -x1367 -x1366 -x1365 -x1364 -x1363 x1362 x1361 x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 
108.73/109.22	v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 
108.73/109.22	v -x1334 -x1333 x1332 -x1331 x1330 x1329 -x1328 x1327 x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 
108.73/109.22	v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 x1299 x1298 
108.73/109.22	v x1297 x1296 x1295 x1294 x1293 x1292 x1291 x1290 x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
108.73/109.22	v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 
108.73/109.22	v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
108.73/109.22	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
108.73/109.22	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 
108.73/109.22	v -x1205 x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 x1197 x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 
108.73/109.22	v -x1187 x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 x1178 -x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 
108.73/109.22	v -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 x1155 -x1154 -x1153 x1152 x1151 
108.73/109.22	v x1150 -x1149 -x1148 x1147 x1146 x1145 -x1144 x1143 x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 
108.73/109.22	v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115 -x1114 
108.73/109.22	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 
108.73/109.22	v -x1095 x1094 -x1093 x1092 x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 
108.73/109.22	v -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 
108.73/109.22	v -x1059 -x1058 -x1057 x1056 x1055 -x1054 -x1053 x1052 x1051 x1050 -x1049 -x1048 x1047 x1046 -x1045 -x1044 -x1043 x1042 -x1041 
108.73/109.22	v -x1040 x1039 x1038 x1037 -x1036 -x1035 -x1034 -x1033 x1032 x1031 x1030 x1029 -x1028 x1027 -x1026 -x1025 x1024 x1023 -x1022 -x1021 
108.73/109.22	v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 x1010 x1009 x1008 x1007 x1006 x1005 -x1004 -x1003 
108.73/109.22	v -x1002 -x1001 x1000 -x999 x998 -x997 x996 x995 x994 x993 -x992 -x991 -x990 -x989 x988 -x987 x986 x985 x984 x983 -x982 -x981 -x980 
108.73/109.22	v x979 x978 x977 -x976 -x975 -x974 x973 x972 x971 -x970 -x969 -x968 -x967 x966 x965 -x964 -x963 x962 x961 x960 x959 x958 -x957 
108.73/109.22	v x956 -x955 -x954 x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 x943 x942 x941 -x940 -x939 -x938 -x937 -x936 x935 
108.73/109.22	v -x934 -x933 x932 x931 x930 x929 -x928 x927 x926 x925 x924 x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 x913 
108.73/109.22	v x912 x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 x895 -x894 -x893 -x892 -x891 
108.73/109.22	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 
108.73/109.22	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 x850 -x849 
108.73/109.22	v -x848 -x847 x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 x831 -x830 -x829 -x828 x827 
108.73/109.22	v -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 
108.73/109.22	v x805 -x804 -x803 -x802 -x801 x800 x799 x798 -x797 -x796 -x795 x794 x793 x792 -x791 -x790 -x789 -x788 x787 x786 x785 x784 -x783 
108.73/109.22	v x782 -x781 -x780 x779 x778 -x777 -x776 -x775 x774 -x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 -x763 -x762 -x761 -x760 
108.73/109.22	v x759 x758 -x757 x756 x755 x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 x743 -x742 -x741 x740 x739 x738 
108.73/109.22	v x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 x725 x724 -x723 -x722 -x721 x720 x719 x718 -x717 -x716 
108.73/109.22	v -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 x704 x703 x702 x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 
108.73/109.22	v -x693 -x692 x691 -x690 x689 x688 x687 x686 x685 -x684 x683 -x682 -x681 x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 
108.73/109.22	v x670 x669 x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 x659 x658 x657 x656 -x655 x654 x653 x652 x651 x650 x649 -x648 
108.73/109.22	v -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 x637 -x636 x635 x634 x633 -x632 -x631 x630 x629 -x628 -x627 -x626 
108.73/109.22	v -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 x615 x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 
108.73/109.22	v x604 x603 -x602 -x601 x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 x586 x585 -x584 -x583 
108.73/109.22	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 x574 -x573 -x572 x571 x570 -x569 -x568 x567 x566 -x565 -x564 -x563 -x562 -x561 
108.73/109.22	v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 
108.73/109.22	v -x539 x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 x519 -x518 
108.73/109.22	v -x517 x516 -x515 x514 -x513 -x512 -x511 x510 x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 
108.73/109.22	v -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 
108.73/109.22	v -x474 -x473 x472 x471 x470 -x469 x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 
108.73/109.22	v -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 
108.73/109.22	v -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 x422 -x421 x420 x419 x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 
108.73/109.22	v -x410 -x409 x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 x389 
108.73/109.22	v -x388 x387 -x386 -x385 x384 x383 x382 -x381 -x380 -x379 -x378 x377 x376 x375 x374 -x373 x372 -x371 -x370 x369 x368 -x367 -x366 
108.73/109.22	v -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 x357 x356 x355 x354 x353 -x352 -x351 -x350 x349 -x348 x347 x346 x345 x344 
108.73/109.22	v -x343 -x342 -x341 -x340 x339 x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 x327 x326 -x325 -x324 -x323 -x322 
108.73/109.22	v -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 x307 x306 x305 -x304 -x303 -x302 x301 -x300 
108.73/109.22	v -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 x291 x290 -x289 -x288 x287 x286 -x285 x284 -x283 -x282 x281 x280 -x279 -x278 
108.73/109.22	v -x277 x276 -x275 x274 x273 x272 x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 x262 x261 x260 x259 -x258 -x257 -x256 x255 
108.73/109.22	v -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 x246 x245 x244 x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 
108.73/109.22	v -x232 -x231 -x230 x229 -x228 x227 x226 x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 x214 x213 -x212 -x211 
108.73/109.22	v x210 x209 x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 x199 x198 x197 x196 x195 -x194 -x193 x192 x191 -x190 -x189 x188 
108.73/109.22	v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
108.73/109.22	v -x166 -x165 -x164 -x163 -x162 x161 x160 x159 x158 x157 x156 x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 x144 
108.73/109.22	v -x143 -x142 -x141 x140 -x139 -x138 -x137 x136 -x135 x134 x133 -x132 x131 -x130 x129 x128 x127 x126 -x125 x124 -x123 -x122 
108.73/109.22	v -x121 x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 x110 x109 x108 x107 -x106 x105 x104 x103 x102 x101 -x100 x99 
108.73/109.22	v -x98 -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 
108.73/109.22	v -x71 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 
108.73/109.27	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 -x17 
108.73/109.27	v 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: 63968 MiB (61237 MiB free)
  memory of node 1: 64473 MiB (62497 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426804-1720905557/watcher-4426804-1720905557 -o /tmp/evaluation-result-4426804-1720905557/solver-4426804-1720905557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720905528-732351 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426804-1720905557.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=732471, runsolver pid=732468

[startup+0.100306 s]*
/proc/loadavg: 2.72 2.69 2.87 5/262 732472
/proc/meminfo: memFree=126653256/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=74160 memory=62072 CPUtime=0.09 cores=5,7
/proc/732471/stat : 732471 (fscip) R 732468 732471 729170 0 -1 4194304 13162 0 0 0 7 2 0 0 20 0 1 0 142723799 75939840 15518 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 18540 15518 2606 3032 0 14940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74160 KiB
Current children cumulated memory: 62072 KiB

[startup+0.205984 s]*
/proc/loadavg: 2.72 2.69 2.87 5/262 732472
/proc/meminfo: memFree=126645384/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=82792 memory=69072 CPUtime=0.2 cores=5,7
/proc/732471/stat : 732471 (fscip) R 732468 732471 729170 0 -1 4194304 14902 0 0 0 18 2 0 0 20 0 1 0 142723799 84779008 17268 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 20698 17268 2670 3032 0 17098 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82792 KiB
Current children cumulated memory: 69072 KiB

[startup+0.305987 s]*
/proc/loadavg: 2.72 2.69 2.87 5/262 732472
/proc/meminfo: memFree=126643256/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=84432 memory=70824 CPUtime=0.29 cores=5,7
/proc/732471/stat : 732471 (fscip) R 732468 732471 729170 0 -1 4194304 15380 0 0 0 27 2 0 0 20 0 1 0 142723799 86458368 17706 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 21108 17706 2670 3032 0 17508 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84432 KiB
Current children cumulated memory: 70824 KiB

[startup+0.700247 s]
/proc/loadavg: 2.72 2.69 2.87 5/262 732472
/proc/meminfo: memFree=126643116/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=85080 memory=71616 CPUtime=0.68 cores=5,7
/proc/732471/stat : 732471 (fscip) R 732468 732471 729170 0 -1 4194304 15556 0 0 0 66 2 0 0 20 0 1 0 142723799 87121920 17904 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 21270 17904 2670 3032 0 17670 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 85080 KiB
Current children cumulated memory: 71616 KiB

[startup+1.50026 s]
/proc/loadavg: 2.72 2.69 2.87 5/262 732472
/proc/meminfo: memFree=126641812/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=86012 memory=72672 CPUtime=1.48 cores=5,7
/proc/732471/stat : 732471 (fscip) R 732468 732471 729170 0 -1 4194304 15795 0 0 0 146 2 0 0 20 0 1 0 142723799 88076288 18168 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 21503 18168 2670 3032 0 17903 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86012 KiB
Current children cumulated memory: 72672 KiB

[startup+3.10585 s]
/proc/loadavg: 2.82 2.71 2.87 5/262 732472
/proc/meminfo: memFree=126636932/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=88884 memory=75576 CPUtime=3.08 cores=5,7
/proc/732471/stat : 732471 (fscip) R 732468 732471 729170 0 -1 4194304 16573 0 0 0 306 2 0 0 20 0 1 0 142723799 91017216 18894 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 22221 18894 2670 3032 0 18621 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88884 KiB
Current children cumulated memory: 75576 KiB

[startup+6.30023 s]
/proc/loadavg: 2.82 2.71 2.87 5/262 732474
/proc/meminfo: memFree=126632284/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=89912 memory=76632 CPUtime=6.27 cores=5,7
/proc/732471/stat : 732471 (fscip) R 732468 732471 729170 0 -1 4194304 16831 0 0 0 624 3 0 0 20 0 1 0 142723799 92069888 19158 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 22478 19158 2670 3032 0 18878 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89912 KiB
Current children cumulated memory: 76632 KiB

[startup+12.7002 s]
/proc/loadavg: 2.91 2.73 2.88 5/262 732474
/proc/meminfo: memFree=126629148/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=92588 memory=79272 CPUtime=12.65 cores=5,7
/proc/732471/stat : 732471 (fscip) R 732468 732471 729170 0 -1 4194304 17494 0 0 0 1262 3 0 0 20 0 1 0 142723799 94810112 19818 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 23147 19818 2670 3032 0 19547 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 92588 KiB
Current children cumulated memory: 79272 KiB

[startup+25.5003 s]
/proc/loadavg: 3.16 2.79 2.90 5/264 732479
/proc/meminfo: memFree=126456296/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=304944 memory=247484 CPUtime=25.34 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 102621 0 0 0 2522 12 0 0 20 0 3 0 142723799 312262656 61871 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 76236 61871 2878 3032 0 72228 0
[pid=732471/tid=732476] ppid=732468 vsize=304944 memory=247476 CPUtime=11.4 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 78808 0 0 0 1132 8 0 0 20 0 3 0 142725195 312262656 61871 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=304944 memory=247476 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 142725200 312262656 61871 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 304944 KiB
Current children cumulated memory: 247484 KiB

[startup+51.1057 s]
/proc/loadavg: 3.60 2.93 2.94 5/265 732486
/proc/meminfo: memFree=126257836/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=501692 memory=389920 CPUtime=50.86 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 212971 0 0 0 5064 22 0 0 20 0 3 0 142723799 513732608 97480 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 125423 97480 2990 3032 0 109229 0
[pid=732471/tid=732476] ppid=732468 vsize=501692 memory=363912 CPUtime=36.92 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 187553 0 0 0 3674 18 0 0 20 0 3 0 142725195 513732608 97480 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=501692 memory=79272 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 142725200 513732608 97480 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 501692 KiB
Current children cumulated memory: 389920 KiB

[startup+102.3 s]
/proc/loadavg: 3.90 3.11 3.00 5/267 732546
/proc/meminfo: memFree=126195464/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=502928 memory=396020 CPUtime=101.85 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 315028 0 0 0 10157 28 0 0 20 0 3 0 142723799 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 125732 99005 2990 3032 0 109538 0
[pid=732471/tid=732476] ppid=732468 vsize=502928 memory=395728 CPUtime=87.91 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 287319 0 0 0 8767 24 0 0 20 0 3 0 142725195 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=502928 memory=11376 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 142725200 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 396020 KiB

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

# cumulated CPU time of all completed processes:  user=108.5 s, system=0.325668 s

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

[startup+102.4 s]
/proc/loadavg: 3.90 3.11 3.00 5/267 732546
/proc/meminfo: memFree=126195464/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=502928 memory=396020 CPUtime=101.95 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 315032 0 0 0 10167 28 0 0 20 0 3 0 142723799 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 125732 99005 2990 3032 0 109538 0
[pid=732471/tid=732476] ppid=732468 vsize=502928 memory=35584 CPUtime=88.01 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 287323 0 0 0 8777 24 0 0 20 0 3 0 142725195 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=502928 memory=13116 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 142725200 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 396020 KiB

[startup+105.6 s]
/proc/loadavg: 3.98 3.14 3.01 5/267 732548
/proc/meminfo: memFree=126182120/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=502928 memory=396020 CPUtime=105.14 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 326594 0 0 0 10485 29 0 0 20 0 3 0 142723799 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 125732 99005 2990 3032 0 109538 0
[pid=732471/tid=732476] ppid=732468 vsize=502928 memory=395728 CPUtime=91.19 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 298882 0 0 0 9094 25 0 0 20 0 3 0 142725195 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=502928 memory=396020 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 142725200 514998272 99005 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 105.14 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 396020 KiB

[startup+107.2 s]
/proc/loadavg: 3.98 3.14 3.01 5/267 732548
/proc/meminfo: memFree=126181920/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=502928 memory=396116 CPUtime=106.73 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 327445 0 0 0 10644 29 0 0 20 0 3 0 142723799 514998272 99029 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 125732 99029 2990 3032 0 109538 0
[pid=732471/tid=732476] ppid=732468 vsize=502928 memory=396084 CPUtime=92.78 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 299733 0 0 0 9253 25 0 0 20 0 3 0 142725195 514998272 99029 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=502928 memory=0 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 142725200 514998272 99029 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 106.73 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 396116 KiB

[startup+108 s]*
/proc/loadavg: 3.99 3.16 3.02 5/267 732548
/proc/meminfo: memFree=126180800/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=502928 memory=396208 CPUtime=107.53 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 327871 0 0 0 10724 29 0 0 20 0 3 0 142723799 514998272 99052 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 125732 99052 2990 3032 0 109538 0
[pid=732471/tid=732476] ppid=732468 vsize=502928 memory=6720664341965847918 CPUtime=93.58 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 300159 0 0 0 9333 25 0 0 20 0 3 0 142725195 514998272 99052 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=502928 memory=99 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 142725200 514998272 99052 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 107.53 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 396208 KiB

[startup+108.8 s]
/proc/loadavg: 3.99 3.16 3.02 5/267 732548
/proc/meminfo: memFree=126180800/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=502928 memory=396208 CPUtime=108.33 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 327931 0 0 0 10804 29 0 0 20 0 3 0 142723799 514998272 99052 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 125732 99052 2990 3032 0 109538 0
[pid=732471/tid=732476] ppid=732468 vsize=502928 memory=395912 CPUtime=94.38 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 300219 0 0 0 9413 25 0 0 20 0 3 0 142725195 514998272 99052 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=502928 memory=11376 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 142725200 514998272 99052 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 108.33 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 396208 KiB

[startup+109.2 s]
/proc/loadavg: 3.99 3.16 3.02 5/267 732548
/proc/meminfo: memFree=126166268/131524600 swapFree=131071996/131071996
[pid=732471] ppid=732468 vsize=492764 memory=386556 CPUtime=108.73 cores=5,7
/proc/732471/stat : 732471 (fscip) S 732468 732471 729170 0 -1 1077936128 335271 0 0 0 10843 30 0 0 20 0 3 0 142723799 504590336 96639 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
/proc/732471/statm: 123191 96639 2990 3032 0 106997 0
[pid=732471/tid=732476] ppid=732468 vsize=492764 memory=4259 CPUtime=94.77 cores=5,7
/proc/732471/task/732476/stat : 732476 (fscip) R 732468 732471 729170 0 -1 4194368 307556 0 0 0 9452 25 0 0 20 0 3 0 142725195 504590336 96639 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
[pid=732471/tid=732477] ppid=732468 vsize=492764 memory=3761405309332958688 CPUtime=0 cores=5,7
/proc/732471/task/732477/stat : 732477 (fscip) S 732468 732471 729170 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 142725200 504590336 96639 134679101440 4194304 16613245 140721023137232 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37171200 140721023140833 140721023140949 140721023140949 140721023148016 0
Current children cumulated CPU time: 108.73 s
Current children cumulated vsize: 492764 KiB
Current children cumulated memory: 386556 KiB

Child status: 0

Real time (s): 109.29
CPU time (s): 108.825
CPU user time (s): 108.5
CPU system time (s): 0.325668
CPU usage (%): 99.5746
Max. virtual memory (cumulated for all children) (KiB): 503896
Max. memory (cumulated for all children) (KiB): 396208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.5
system time used= 0.325668
maximum resident set size= 396208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351746
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= 226
involuntary context switches= 246


# summary of solver processes directly reported to runsolver:
#   pid: 732471
#   total CPU time (s): 108.825
#   total CPU user time (s): 108.5
#   total CPU system time (s): 0.325668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.212904 second user time and 0.607414 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-13 23:19:30
IDJOB=4426804
IDBENCH=143421
IDSOLVER=3044
FILE ID=nodeC030/4426804-1720905557
RUNJOBID= nodeC030-1720905528-732351
SLURM_JOB_ID= 7486089
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl--soft-66-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-4426804-1720905557/watcher-4426804-1720905557 -o /tmp/evaluation-result-4426804-1720905557/solver-4426804-1720905557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720905528-732351 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426804-1720905557.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= b9e4bf4d6140c91cb266031462fadfd8
RANDOM SEED=1096523469

nodeC030.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		: 3672.970
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.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.628
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	: 7005.11
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		: 3599.788
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.28
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		: 3672.584
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	: 7005.11
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		: 3673.032
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.28
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		: 3675.610
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	: 7005.11
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		: 3599.815
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.28
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		: 3663.763
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	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126704760 kB
MemAvailable:   127119328 kB
Buffers:          331164 kB
Cached:           924912 kB
SwapCached:            0 kB
Active:           533404 kB
Inactive:        3710244 kB
Active(anon):       1540 kB
Inactive(anon):  3023764 kB
Active(file):     531864 kB
Inactive(file):   686480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28628 kB
Writeback:             0 kB
AnonPages:       2985916 kB
Mapped:           134384 kB
Shmem:             37720 kB
KReclaimable:      72092 kB
Slab:             172008 kB
SReclaimable:      72092 kB
SUnreclaim:        99916 kB
KernelStack:        4192 kB
PageTables:        14952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2209920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56736 kB
HardwareCorrupted:     0 kB
AnonHugePages:    385024 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:      201428 kB
DirectMap2M:     7960576 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC030 at 2024-07-13 23:21:19