Trace number 4426796

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 90.3909 91.2444

General information on the benchmark

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426796-1720905530/watcher-4426796-1720905530 -o /tmp/evaluation-result-4426796-1720905530/solver-4426796-1720905530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720905543-724799 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426796-1720905530.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=724853, runsolver pid=724845
Current StackSize limit: 8192 KiB


[startup+0.100924 s]*
/proc/loadavg: 1.26 1.78 1.95 8/256 724864
/proc/meminfo: memFree=127257776/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=73256 memory=61060 CPUtime=0.09 cores=0,2
/proc/724853/stat : 724853 (fscip) R 724845 724853 722468 0 -1 4194304 12887 0 0 0 8 1 0 0 20 0 1 0 142720453 75014144 15265 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 18314 15265 2622 3032 0 14714 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73256 KiB
Current children cumulated memory: 61060 KiB

[startup+0.206302 s]*
/proc/loadavg: 1.26 1.78 1.95 5/256 724864
/proc/meminfo: memFree=127116808/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=77368 memory=64784 CPUtime=0.19 cores=0,2
/proc/724853/stat : 724853 (fscip) R 724845 724853 722468 0 -1 4194304 13866 0 0 0 18 1 0 0 20 0 1 0 142720453 79224832 16196 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 19342 16196 2670 3032 0 15742 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77368 KiB
Current children cumulated memory: 64784 KiB

[startup+0.306337 s]*
/proc/loadavg: 1.26 1.78 1.95 6/256 724864
/proc/meminfo: memFree=126954488/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=77792 memory=65312 CPUtime=0.29 cores=0,2
/proc/724853/stat : 724853 (fscip) R 724845 724853 722468 0 -1 4194304 13954 0 0 0 28 1 0 0 20 0 1 0 142720453 79659008 16328 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 19448 16328 2670 3032 0 15848 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77792 KiB
Current children cumulated memory: 65312 KiB

[startup+0.70022 s]
/proc/loadavg: 1.26 1.78 1.95 6/256 724866
/proc/meminfo: memFree=126570124/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=78980 memory=66368 CPUtime=0.68 cores=0,2
/proc/724853/stat : 724853 (fscip) R 724845 724853 722468 0 -1 4194304 14251 0 0 0 67 1 0 0 20 0 1 0 142720453 80875520 16592 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 19745 16592 2670 3032 0 16145 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78980 KiB
Current children cumulated memory: 66368 KiB

[startup+1.50023 s]
/proc/loadavg: 1.48 1.82 1.96 6/256 724866
/proc/meminfo: memFree=126072524/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=80364 memory=68216 CPUtime=1.48 cores=0,2
/proc/724853/stat : 724853 (fscip) R 724845 724853 722468 0 -1 4194304 14691 0 0 0 147 1 0 0 20 0 1 0 142720453 82292736 17054 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 20091 17054 2670 3032 0 16491 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80364 KiB
Current children cumulated memory: 68216 KiB

[startup+3.10644 s]
/proc/loadavg: 1.48 1.82 1.96 5/257 724867
/proc/meminfo: memFree=125298448/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=81392 memory=69272 CPUtime=3.09 cores=0,2
/proc/724853/stat : 724853 (fscip) R 724845 724853 722468 0 -1 4194304 14947 0 0 0 307 2 0 0 20 0 1 0 142720453 83345408 17318 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 20348 17318 2670 3032 0 16748 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81392 KiB
Current children cumulated memory: 69272 KiB

[startup+6.30024 s]
/proc/loadavg: 1.68 1.85 1.97 6/261 724871
/proc/meminfo: memFree=123458228/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=82744 memory=70592 CPUtime=6.27 cores=0,2
/proc/724853/stat : 724853 (fscip) R 724845 724853 722468 0 -1 4194304 15309 0 0 0 625 2 0 0 20 0 1 0 142720453 84729856 17648 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 20686 17648 2670 3032 0 17086 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82744 KiB
Current children cumulated memory: 70592 KiB

[startup+12.7009 s]
/proc/loadavg: 1.87 1.89 1.98 8/264 724875
/proc/meminfo: memFree=121438672/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=299864 memory=197180 CPUtime=12.61 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 73033 0 0 0 1253 8 0 0 20 0 3 0 142720453 307060736 49295 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 74966 49295 2878 3032 0 58732 0
[pid=724853/tid=724873] ppid=724845 vsize=299864 memory=197180 CPUtime=5.34 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 52337 0 0 0 529 5 0 0 20 0 3 0 142721180 307060736 49295 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=299864 memory=186004 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 142721185 307060736 49295 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 299864 KiB
Current children cumulated memory: 197180 KiB

[startup+25.5009 s]
/proc/loadavg: 2.19 1.96 2.00 9/264 724877
/proc/meminfo: memFree=121297964/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=366188 memory=294732 CPUtime=25.29 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 142707 0 0 0 2515 14 0 0 20 0 3 0 142720453 374976512 73683 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 91547 73683 2990 3032 0 83719 0
[pid=724853/tid=724873] ppid=724845 vsize=366188 memory=71912 CPUtime=18.02 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 120729 0 0 0 1791 11 0 0 20 0 3 0 142721180 374976512 73683 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=366188 memory=11588 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 142721185 374976512 73683 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 366188 KiB
Current children cumulated memory: 294732 KiB

[startup+51.1059 s]
/proc/loadavg: 3.02 2.18 2.08 8/264 724881
/proc/meminfo: memFree=121285188/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=367660 memory=297600 CPUtime=50.63 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 223146 0 0 0 5043 20 0 0 20 0 3 0 142720453 376483840 74400 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 91915 74400 2990 3032 0 84087 0
[pid=724853/tid=724873] ppid=724845 vsize=367660 memory=296188 CPUtime=43.36 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 198336 0 0 0 4319 17 0 0 20 0 3 0 142721180 376483840 74400 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=367660 memory=295324 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142721185 376483840 74400 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 297600 KiB

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

# cumulated CPU time of all completed processes:  user=90.0596 s, system=0.331245 s

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

[startup+51.2009 s]
/proc/loadavg: 3.02 2.18 2.08 8/264 724881
/proc/meminfo: memFree=121285188/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=367660 memory=297600 CPUtime=50.73 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 223417 0 0 0 5053 20 0 0 20 0 3 0 142720453 376483840 74400 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 91915 74400 2990 3032 0 84087 0
[pid=724853/tid=724873] ppid=724845 vsize=367660 memory=197180 CPUtime=43.45 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 198607 0 0 0 4328 17 0 0 20 0 3 0 142721180 376483840 74400 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=367660 memory=35580 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142721185 376483840 74400 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 297600 KiB

[startup+76.8009 s]
/proc/loadavg: 3.36 2.33 2.13 9/266 724889
/proc/meminfo: memFree=121258536/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=363368 memory=305248 CPUtime=76.09 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 286821 0 0 0 7583 26 0 0 20 0 3 0 142720453 372088832 76312 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 90842 76312 2990 3032 0 85786 0
[pid=724853/tid=724873] ppid=724845 vsize=363368 memory=0 CPUtime=68.79 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 259334 0 0 0 6857 22 0 0 20 0 3 0 142721180 372088832 76312 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=363368 memory=3253897289670399 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 142721185 372088832 76312 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 76.09 s
Current children cumulated vsize: 363368 KiB
Current children cumulated memory: 305248 KiB

[startup+83.2009 s]
/proc/loadavg: 3.41 2.36 2.14 9/266 724891
/proc/meminfo: memFree=121239408/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=428904 memory=323896 CPUtime=82.42 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 305018 0 0 0 8213 29 0 0 20 0 3 0 142720453 439197696 80974 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 107226 80974 2990 3032 0 90369 0
[pid=724853/tid=724873] ppid=724845 vsize=428904 memory=6720665445822905450 CPUtime=75.12 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 276682 0 0 0 7487 25 0 0 20 0 3 0 142721180 439197696 80974 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=428904 memory=7594569149740313440 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 142721185 439197696 80974 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 82.42 s
Current children cumulated vsize: 428904 KiB
Current children cumulated memory: 323896 KiB

[startup+86.4009 s]
/proc/loadavg: 3.46 2.39 2.15 8/266 724891
/proc/meminfo: memFree=121236536/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=428904 memory=326940 CPUtime=85.58 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 305766 0 0 0 8529 29 0 0 20 0 3 0 142720453 439197696 81735 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 107226 81735 2990 3032 0 90956 0
[pid=724853/tid=724873] ppid=724845 vsize=428904 memory=35580 CPUtime=78.29 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 277430 0 0 0 7804 25 0 0 20 0 3 0 142721180 439197696 81735 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=428904 memory=12508 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 142721185 439197696 81735 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 85.58 s
Current children cumulated vsize: 428904 KiB
Current children cumulated memory: 326940 KiB

[startup+89.6009 s]
/proc/loadavg: 3.46 2.39 2.15 8/266 724891
/proc/meminfo: memFree=121231984/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=428904 memory=331456 CPUtime=88.75 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 323301 0 0 0 8845 30 0 0 20 0 3 0 142720453 439197696 82864 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 107226 82864 2990 3032 0 92104 0
[pid=724853/tid=724873] ppid=724845 vsize=428904 memory=11588 CPUtime=81.45 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 294949 0 0 0 8119 26 0 0 20 0 3 0 142721180 439197696 82864 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=428904 memory=326788 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 142721185 439197696 82864 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 88.75 s
Current children cumulated vsize: 428904 KiB
Current children cumulated memory: 331456 KiB

[startup+90.4009 s]
/proc/loadavg: 3.46 2.39 2.15 9/266 724891
/proc/meminfo: memFree=121231640/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=428904 memory=331236 CPUtime=89.55 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 328987 0 0 0 8924 31 0 0 20 0 3 0 142720453 439197696 82809 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 107226 82809 2990 3032 0 92247 0
[pid=724853/tid=724873] ppid=724845 vsize=428904 memory=330048 CPUtime=82.25 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 300629 0 0 0 8198 27 0 0 20 0 3 0 142721180 439197696 82809 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=428904 memory=331000 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 142721185 439197696 82809 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 89.55 s
Current children cumulated vsize: 428904 KiB
Current children cumulated memory: 331236 KiB

[startup+90.8009 s]
/proc/loadavg: 3.46 2.39 2.15 9/266 724891
/proc/meminfo: memFree=121231640/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=428904 memory=332472 CPUtime=89.94 cores=0,2
/proc/724853/stat : 724853 (fscip) S 724845 724853 722468 0 -1 1077936128 329303 0 0 0 8963 31 0 0 20 0 3 0 142720453 439197696 83118 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 107226 83118 2990 3032 0 92358 0
[pid=724853/tid=724873] ppid=724845 vsize=428904 memory=327308 CPUtime=82.65 cores=0,2
/proc/724853/task/724873/stat : 724873 (fscip) R 724845 724853 722468 0 -1 4194368 300945 0 0 0 8238 27 0 0 20 0 3 0 142721180 439197696 83118 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
[pid=724853/tid=724874] ppid=724845 vsize=428904 memory=32688 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 142721185 439197696 83118 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 89.94 s
Current children cumulated vsize: 428904 KiB
Current children cumulated memory: 332472 KiB

[startup+91.2002 s]
/proc/loadavg: 3.50 2.41 2.16 9/266 724892
/proc/meminfo: memFree=121231196/131524600 swapFree=131071996/131071996
[pid=724853] ppid=724845 vsize=330228 memory=270244 CPUtime=90.33 cores=0,2
/proc/724853/stat : 724853 (fscip) R 724845 724853 722468 0 -1 4194304 341191 0 0 0 9002 31 0 0 20 0 2 0 142720453 338153472 67561 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
/proc/724853/statm: 82557 67561 2990 3032 0 78852 0
[pid=724853/tid=724874] ppid=724845 vsize=330228 memory=2340 CPUtime=0 cores=0,2
/proc/724853/task/724874/stat : 724874 (fscip) S 724845 724853 722468 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 2 0 142721185 338153472 67561 134679101440 4194304 16613245 140733439803712 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47042560 140733439812577 140733439812693 140733439812693 140733439819760 0
Current children cumulated CPU time: 90.33 s
Current children cumulated vsize: 330228 KiB
Current children cumulated memory: 270244 KiB

Child status: 0

Real time (s): 91.2444
CPU time (s): 90.3909
CPU user time (s): 90.0596
CPU system time (s): 0.331245
CPU usage (%): 99.0645
Max. virtual memory (cumulated for all children) (KiB): 428904
Max. memory (cumulated for all children) (KiB): 332564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.0596
system time used= 0.331245
maximum resident set size= 332580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348061
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= 240
involuntary context switches= 1143


# summary of solver processes directly reported to runsolver:
#   pid: 724853
#   total CPU time (s): 90.3909
#   total CPU user time (s): 90.0596
#   total CPU system time (s): 0.331245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.164217 second user time and 0.490367 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-13 23:19:03
IDJOB=4426796
IDBENCH=143372
IDSOLVER=3044
FILE ID=nodeC029/4426796-1720905530
RUNJOBID= nodeC029-1720905543-724799
SLURM_JOB_ID= 7486088
Free space on /tmp= 890040 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-43s.smv--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-4426796-1720905530/watcher-4426796-1720905530 -o /tmp/evaluation-result-4426796-1720905530/solver-4426796-1720905530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720905543-724799 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426796-1720905530.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 0360e68254327c2795750db3df3216c7
RANDOM SEED=969488785

nodeC029.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		: 3717.245
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3774.919
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.98
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		: 3751.380
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3632.565
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.98
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		: 3619.051
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3790.959
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.98
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		: 3753.401
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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.039
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127492384 kB
MemAvailable:   129749372 kB
Buffers:          329248 kB
Cached:          2744400 kB
SwapCached:            0 kB
Active:           528328 kB
Inactive:        2881204 kB
Active(anon):       1360 kB
Inactive(anon):   372272 kB
Active(file):     526968 kB
Inactive(file):  2508932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            120448 kB
Writeback:             0 kB
AnonPages:        335936 kB
Mapped:           101440 kB
Shmem:             37720 kB
KReclaimable:     121472 kB
Slab:             225652 kB
SReclaimable:     121472 kB
SUnreclaim:       104180 kB
KernelStack:        3828 kB
PageTables:         9364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     689608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54528 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      213716 kB
DirectMap2M:    21579776 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC029 at 2024-07-13 23:20:35