Trace number 4434763

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 NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02OPT50769 16.4722 16.5445

General information on the benchmark

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

Verifier Data 

OK	50769

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: 64059 MiB (58914 MiB free)
  memory of node 1: 64510 MiB (61145 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434763-1721102094/watcher-4434763-1721102094 -o /tmp/evaluation-result-4434763-1721102094/solver-4434763-1721102094 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434763-1721102094.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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=835072, runsolver pid=835069

[startup+0.100624 s]*
/proc/loadavg: 4.15 4.10 4.10 5/250 835073
/proc/meminfo: memFree=122919016/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=44512 memory=33424 CPUtime=0.1 cores=1,3
/proc/835072/stat : 835072 (fscip) R 835069 835072 830624 0 -1 4194304 6021 0 0 0 8 2 0 0 20 0 1 0 162368188 45580288 8356 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 11128 8356 2606 3032 0 7528 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44512 KiB
Current children cumulated memory: 33424 KiB

[startup+0.214461 s]*
/proc/loadavg: 4.15 4.10 4.10 5/250 835073
/proc/meminfo: memFree=122913360/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=49712 memory=39380 CPUtime=0.21 cores=1,3
/proc/835072/stat : 835072 (fscip) R 835069 835072 830624 0 -1 4194304 7591 0 0 0 19 2 0 0 20 0 1 0 162368188 50905088 9845 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 12428 9845 2718 3032 0 8828 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49712 KiB
Current children cumulated memory: 39380 KiB

[startup+0.314376 s]*
/proc/loadavg: 4.15 4.10 4.10 5/250 835073
/proc/meminfo: memFree=122903476/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=77720 memory=52232 CPUtime=0.31 cores=1,3
/proc/835072/stat : 835072 (fscip) R 835069 835072 830624 0 -1 4194304 10792 0 0 0 28 3 0 0 20 0 2 0 162368188 79585280 13058 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 19430 13058 2766 3032 0 15829 0
[pid=835072/tid=835074] ppid=835069 vsize=77720 memory=-8527401411864273596 CPUtime=0 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 162368220 79585280 13058 134679101440 4194304 16613245 140724007096912 0 0 0 2147221247 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 77720 KiB
Current children cumulated memory: 52232 KiB

[startup+0.700407 s]
/proc/loadavg: 4.15 4.10 4.10 5/252 835075
/proc/meminfo: memFree=122876904/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=157132 memory=79500 CPUtime=0.66 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 18305 0 0 0 61 5 0 0 20 0 3 0 162368188 160903168 19875 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 39283 19875 2894 3032 0 25066 0
[pid=835072/tid=835074] ppid=835069 vsize=157132 memory=16224 CPUtime=0.32 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 6571 0 0 0 31 1 0 0 20 0 3 0 162368220 160903168 19875 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=157132 memory=257 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162368224 160903168 19875 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 157132 KiB
Current children cumulated memory: 79500 KiB

[startup+1.50043 s]
/proc/loadavg: 4.15 4.10 4.10 5/252 835075
/proc/meminfo: memFree=122872276/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=157132 memory=81272 CPUtime=1.45 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 19814 0 0 0 140 5 0 0 20 0 3 0 162368188 160903168 20318 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 39283 20318 2910 3032 0 25467 0
[pid=835072/tid=835074] ppid=835069 vsize=157132 memory=257 CPUtime=1.12 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 8068 0 0 0 110 2 0 0 20 0 3 0 162368220 160903168 20318 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=157132 memory=0 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162368224 160903168 20318 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 157132 KiB
Current children cumulated memory: 81272 KiB

[startup+3.11408 s]
/proc/loadavg: 4.22 4.11 4.10 5/252 835075
/proc/meminfo: memFree=122862692/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=157132 memory=90080 CPUtime=3.07 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 24644 0 0 0 301 6 0 0 20 0 3 0 162368188 160903168 22520 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 39283 22520 2910 3032 0 27858 0
[pid=835072/tid=835074] ppid=835069 vsize=157132 memory=0 CPUtime=2.73 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 12895 0 0 0 271 2 0 0 20 0 3 0 162368220 160903168 22520 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=157132 memory=0 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 162368224 160903168 22520 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 157132 KiB
Current children cumulated memory: 90080 KiB

[startup+6.3004 s]
/proc/loadavg: 4.22 4.11 4.10 5/252 835076
/proc/meminfo: memFree=122804644/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=222668 memory=154004 CPUtime=6.25 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 43335 0 0 0 616 9 0 0 20 0 3 0 162368188 228012032 38501 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 55667 38501 2974 3032 0 44139 0
[pid=835072/tid=835074] ppid=835069 vsize=222668 memory=0 CPUtime=5.9 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 31167 0 0 0 585 5 0 0 20 0 3 0 162368220 228012032 38501 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=222668 memory=-6298960739526949731 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 162368224 228012032 38501 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 222668 KiB
Current children cumulated memory: 154004 KiB

[startup+12.7004 s]
/proc/loadavg: 4.20 4.11 4.10 5/251 835076
/proc/meminfo: memFree=122748776/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=288204 memory=199488 CPUtime=12.63 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 104351 0 0 0 1249 14 0 0 20 0 3 0 162368188 295120896 49872 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 72051 49872 2974 3032 0 55645 0
[pid=835072/tid=835074] ppid=835069 vsize=288204 memory=-6298960739526949731 CPUtime=12.29 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 92131 0 0 0 1219 10 0 0 20 0 3 0 162368220 295120896 49872 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=288204 memory=195880 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 162368224 295120896 49872 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 288204 KiB
Current children cumulated memory: 199488 KiB

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

# cumulated CPU time of all completed processes:  user=16.282 s, system=0.190244 s

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

[startup+12.8005 s]
/proc/loadavg: 4.20 4.11 4.10 5/251 835076
/proc/meminfo: memFree=122748776/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=288204 memory=199488 CPUtime=12.73 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 104355 0 0 0 1259 14 0 0 20 0 3 0 162368188 295120896 49872 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 72051 49872 2974 3032 0 55645 0
[pid=835072/tid=835074] ppid=835069 vsize=288204 memory=1059 CPUtime=12.39 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 92135 0 0 0 1229 10 0 0 20 0 3 0 162368220 295120896 49872 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=288204 memory=16224 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 162368224 295120896 49872 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 288204 KiB
Current children cumulated memory: 199488 KiB

[startup+14.4004 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 835078
/proc/meminfo: memFree=122742664/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=288204 memory=205584 CPUtime=14.32 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 120972 0 0 0 1417 15 0 0 20 0 3 0 162368188 295120896 51396 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 72051 51396 2974 3032 0 57169 0
[pid=835072/tid=835074] ppid=835069 vsize=288204 memory=25168 CPUtime=13.98 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 108742 0 0 0 1387 11 0 0 20 0 3 0 162368220 295120896 51396 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=288204 memory=11516 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 162368224 295120896 51396 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 14.32 s
Current children cumulated vsize: 288204 KiB
Current children cumulated memory: 205584 KiB

[startup+15.2004 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 835078
/proc/meminfo: memFree=122742620/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=288204 memory=205588 CPUtime=15.12 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 125252 0 0 0 1497 15 0 0 20 0 3 0 162368188 295120896 51397 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 72051 51397 2974 3032 0 57169 0
[pid=835072/tid=835074] ppid=835069 vsize=288204 memory=11516 CPUtime=14.78 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 112619 0 0 0 1467 11 0 0 20 0 3 0 162368220 295120896 51397 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=288204 memory=205584 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 162368224 295120896 51397 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 15.12 s
Current children cumulated vsize: 288204 KiB
Current children cumulated memory: 205588 KiB

[startup+16.0004 s]*
/proc/loadavg: 4.18 4.11 4.10 5/251 835078
/proc/meminfo: memFree=122737040/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=288204 memory=211144 CPUtime=15.93 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 127143 0 0 0 1578 15 0 0 20 0 3 0 162368188 295120896 52786 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 72051 52786 2974 3032 0 58702 0
[pid=835072/tid=835074] ppid=835069 vsize=288204 memory=2268 CPUtime=15.59 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 114510 0 0 0 1548 11 0 0 20 0 3 0 162368220 295120896 52786 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=288204 memory=1824 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 162368224 295120896 52786 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 288204 KiB
Current children cumulated memory: 211144 KiB

[startup+16.4004 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 835078
/proc/meminfo: memFree=122737040/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=288204 memory=211484 CPUtime=16.31 cores=1,3
/proc/835072/stat : 835072 (fscip) S 835069 835072 830624 0 -1 1077936128 127310 0 0 0 1616 15 0 0 20 0 3 0 162368188 295120896 52871 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 72051 52871 2974 3032 0 58702 0
[pid=835072/tid=835074] ppid=835069 vsize=288204 memory=7307178774735775840 CPUtime=15.97 cores=1,3
/proc/835072/task/835074/stat : 835074 (fscip) R 835069 835072 830624 0 -1 4194368 114677 0 0 0 1586 11 0 0 20 0 3 0 162368220 295120896 52871 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
[pid=835072/tid=835075] ppid=835069 vsize=288204 memory=7379253978104619370 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 162368224 295120896 52871 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 16.31 s
Current children cumulated vsize: 288204 KiB
Current children cumulated memory: 211484 KiB

[startup+16.5006 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 835078
/proc/meminfo: memFree=122737040/131655788 swapFree=131071996/131071996
[pid=835072] ppid=835069 vsize=213456 memory=154824 CPUtime=16.42 cores=1,3
/proc/835072/stat : 835072 (fscip) R 835069 835072 830624 0 -1 4194304 133783 0 0 0 1625 17 0 0 20 0 2 0 162368188 218578944 38706 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
/proc/835072/statm: 53364 38706 2974 3032 0 49597 0
[pid=835072/tid=835075] ppid=835069 vsize=213456 memory=205588 CPUtime=0 cores=1,3
/proc/835072/task/835075/stat : 835075 (fscip) S 835069 835072 830624 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 2 0 162368224 218578944 38706 134679101440 4194304 16613245 140724007096912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 53891072 140724007101461 140724007101577 140724007101577 140724007108592 0
Current children cumulated CPU time: 16.42 s
Current children cumulated vsize: 213456 KiB
Current children cumulated memory: 154824 KiB

Child status: 0

Real time (s): 16.5445
CPU time (s): 16.4722
CPU user time (s): 16.282
CPU system time (s): 0.190244
CPU usage (%): 99.5631
Max. virtual memory (cumulated for all children) (KiB): 288204
Max. memory (cumulated for all children) (KiB): 211484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.282
system time used= 0.190244
maximum resident set size= 211484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137146
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= 52
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 835072
#   total CPU time (s): 16.4722
#   total CPU user time (s): 16.282
#   total CPU system time (s): 0.190244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.131238 second user time and 0.236825 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-16 05:55:07
IDJOB=4434763
IDBENCH=148155
IDSOLVER=3064
FILE ID=nodeC006/4434763-1721102094
RUNJOBID= nodeC006-1721095536-830636
SLURM_JOB_ID= 7505606
Free space on /tmp= 723684 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434763-1721102094/watcher-4434763-1721102094 -o /tmp/evaluation-result-4434763-1721102094/solver-4434763-1721102094 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434763-1721102094.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=1039845683

nodeC006.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	: 0xb00001f
cpu MHz		: 3653.638
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.255
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 1197.399
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.249
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 3632.031
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 3595.451
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 1197.509
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.275
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122942584 kB
MemAvailable:   126682900 kB
Buffers:          401092 kB
Cached:          4136068 kB
SwapCached:            0 kB
Active:           708560 kB
Inactive:        7374012 kB
Active(anon):       1460 kB
Inactive(anon):  3581676 kB
Active(file):     707100 kB
Inactive(file):  3792336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28688 kB
Writeback:             0 kB
AnonPages:       3542500 kB
Mapped:           139136 kB
Shmem:             37704 kB
KReclaimable:     161820 kB
Slab:             266720 kB
SReclaimable:     161820 kB
SUnreclaim:       104900 kB
KernelStack:        4016 kB
PageTables:        16368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1682664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52160 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2168832 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:      219976 kB
DirectMap2M:    27996160 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC006 at 2024-07-16 05:55:24