Trace number 4426915

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 159.561 160.054

General information on the benchmark

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

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426915-1720907393/watcher-4426915-1720907393 -o /tmp/evaluation-result-4426915-1720907393/solver-4426915-1720907393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719765 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426915-1720907393.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=721619, runsolver pid=721616
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 4.08 4.11 3.85 5/248 721620
/proc/meminfo: memFree=119750156/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=61532 memory=49856 CPUtime=0.1 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 10411 0 0 0 9 1 0 0 20 0 1 0 142898653 63008768 12464 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 15383 12464 2318 3032 0 11783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61532 KiB
Current children cumulated memory: 49856 KiB

[startup+0.213532 s]*
/proc/loadavg: 4.08 4.11 3.85 5/248 721620
/proc/meminfo: memFree=119726208/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=83100 memory=71612 CPUtime=0.21 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 15833 0 0 0 19 2 0 0 20 0 1 0 142898653 85094400 17903 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 20775 17903 2318 3032 0 17175 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 83100 KiB
Current children cumulated memory: 71612 KiB

[startup+0.313216 s]*
/proc/loadavg: 4.08 4.11 3.85 5/248 721620
/proc/meminfo: memFree=119709268/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=101748 memory=90232 CPUtime=0.32 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 20470 0 0 0 28 4 0 0 20 0 1 0 142898653 104189952 22558 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 25437 22558 2318 3032 0 21837 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 101748 KiB
Current children cumulated memory: 90232 KiB

[startup+0.700337 s]
/proc/loadavg: 4.08 4.11 3.85 5/248 721620
/proc/meminfo: memFree=119670152/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=176616 memory=164956 CPUtime=0.68 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 39202 0 0 0 60 8 0 0 20 0 1 0 142898653 180854784 41239 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 44154 41239 2318 3032 0 40554 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176616 KiB
Current children cumulated memory: 164956 KiB

[startup+1.50032 s]
/proc/loadavg: 4.08 4.11 3.85 5/248 721620
/proc/meminfo: memFree=119556264/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=525752 memory=514076 CPUtime=1.48 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 127521 0 0 0 126 22 0 0 20 0 1 0 142898653 538370048 128519 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 131544 128519 2558 3032 0 127944 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 525752 KiB
Current children cumulated memory: 514076 KiB

[startup+3.11318 s]
/proc/loadavg: 4.08 4.11 3.85 5/248 721620
/proc/meminfo: memFree=118591916/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1222328 memory=1202828 CPUtime=3.09 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 298174 0 0 0 261 48 0 0 20 0 1 0 142898653 1251663872 300707 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 305582 300707 2590 3032 0 301982 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1222328 KiB
Current children cumulated memory: 1202828 KiB

[startup+6.30024 s]
/proc/loadavg: 4.07 4.11 3.85 5/248 721621
/proc/meminfo: memFree=118498928/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1315192 memory=1295712 CPUtime=6.27 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 318768 0 0 0 576 51 0 0 20 0 1 0 142898653 1346756608 323928 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 328798 323928 2654 3032 0 325198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295712 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.10 3.85 5/248 721621
/proc/meminfo: memFree=118498904/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1315192 memory=1295712 CPUtime=12.66 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 318769 0 0 0 1214 52 0 0 20 0 1 0 142898653 1346756608 323928 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 328798 323928 2654 3032 0 325198 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295712 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.10 3.86 5/251 721630
/proc/meminfo: memFree=118496824/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1315192 memory=1295712 CPUtime=25.41 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 318773 0 0 0 2489 52 0 0 20 0 1 0 142898653 1346756608 323928 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 328798 323928 2654 3032 0 325198 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295712 KiB

[startup+51.113 s]
/proc/loadavg: 4.03 4.09 3.86 5/251 721633
/proc/meminfo: memFree=118490752/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1315192 memory=1295712 CPUtime=50.97 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 318775 0 0 0 5044 53 0 0 20 0 1 0 142898653 1346756608 323928 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 328798 323928 2654 3032 0 325198 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295712 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 3.88 5/251 721641
/proc/meminfo: memFree=118488964/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1315192 memory=1295712 CPUtime=102 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 318782 0 0 0 10146 54 0 0 20 0 1 0 142898653 1346756608 323928 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 328798 323928 2654 3032 0 325198 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295712 KiB

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

# cumulated CPU time of all completed processes:  user=158.31 s, system=1.25089 s

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

[startup+102.4 s]
/proc/loadavg: 4.06 4.09 3.88 5/251 721641
/proc/meminfo: memFree=118488964/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1315192 memory=1295712 CPUtime=102.1 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 318782 0 0 0 10156 54 0 0 20 0 1 0 142898653 1346756608 323928 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 328798 323928 2654 3032 0 325198 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295712 KiB

[startup+128 s]*
/proc/loadavg: 4.20 4.11 3.89 5/251 721647
/proc/meminfo: memFree=118482544/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1315192 memory=1295712 CPUtime=127.64 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 318785 0 0 0 12709 55 0 0 20 0 1 0 142898653 1346756608 323928 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 328798 323928 2654 3032 0 325198 0
Current children cumulated CPU time: 127.64 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295712 KiB

[startup+140.8 s]
/proc/loadavg: 4.15 4.11 3.90 5/251 721650
/proc/meminfo: memFree=118481952/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1315192 memory=1295712 CPUtime=140.39 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 318787 0 0 0 13984 55 0 0 20 0 1 0 142898653 1346756608 323928 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 328798 323928 2654 3032 0 325198 0
Current children cumulated CPU time: 140.39 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295712 KiB

[startup+153.6 s]
/proc/loadavg: 4.13 4.10 3.90 5/251 721651
/proc/meminfo: memFree=118481952/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1533688 memory=1426920 CPUtime=153.15 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 354918 0 0 0 15253 62 0 0 20 0 2 0 142898653 1570496512 356730 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 383422 356730 2702 3032 0 363470 0
Current children cumulated CPU time: 153.15 s
Current children cumulated vsize: 1533688 KiB
Current children cumulated memory: 1426920 KiB

[startup+156.8 s]
/proc/loadavg: 4.12 4.10 3.90 5/253 721655
/proc/meminfo: memFree=118096308/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1781360 memory=1719556 CPUtime=156.31 cores=0,2
/proc/721619/stat : 721619 (fscip) S 721616 721619 717368 0 -1 1077936128 443630 0 0 0 15545 86 0 0 20 0 3 0 142898653 1824112640 429889 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 445340 429889 2798 3032 0 439401 0
[pid=721619/tid=721652] ppid=721616 vsize=1781360 memory=35540 CPUtime=3.02 cores=0,2
/proc/721619/task/721652/stat : 721652 (fscip) R 721616 721619 717368 0 -1 4194368 84319 0 0 0 280 22 0 0 20 0 3 0 142913994 1824112640 429889 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
[pid=721619/tid=721653] ppid=721616 vsize=1781360 memory=11948 CPUtime=0 cores=0,2
/proc/721619/task/721653/stat : 721653 (fscip) S 721616 721619 717368 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142914079 1824112640 429889 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
Current children cumulated CPU time: 156.31 s
Current children cumulated vsize: 1781360 KiB
Current children cumulated memory: 1719556 KiB

[startup+158.4 s]
/proc/loadavg: 4.12 4.10 3.90 5/253 721655
/proc/meminfo: memFree=117950408/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1979452 memory=1880236 CPUtime=157.9 cores=0,2
/proc/721619/stat : 721619 (fscip) S 721616 721619 717368 0 -1 1077936128 486259 0 0 0 15697 93 0 0 20 0 3 0 142898653 2026958848 470059 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 494863 470059 2942 3032 0 480385 0
[pid=721619/tid=721652] ppid=721616 vsize=1979452 memory=11948 CPUtime=4.62 cores=0,2
/proc/721619/task/721652/stat : 721652 (fscip) R 721616 721619 717368 0 -1 4194368 126113 0 0 0 432 30 0 0 20 0 3 0 142913994 2026958848 470059 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
[pid=721619/tid=721653] ppid=721616 vsize=1979452 memory=-6657564262214581094 CPUtime=0 cores=0,2
/proc/721619/task/721653/stat : 721653 (fscip) S 721616 721619 717368 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142914079 2026958848 470059 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
Current children cumulated CPU time: 157.9 s
Current children cumulated vsize: 1979452 KiB
Current children cumulated memory: 1880236 KiB

[startup+159.2 s]
/proc/loadavg: 4.12 4.10 3.90 5/252 721655
/proc/meminfo: memFree=118113284/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1712664 memory=1659312 CPUtime=158.7 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 585515 0 0 0 15766 104 0 0 20 0 2 0 142898653 1753767936 414828 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 428166 414828 2942 3032 0 423895 0
[pid=721619/tid=721653] ppid=721616 vsize=1712664 memory=1664832 CPUtime=0 cores=0,2
/proc/721619/task/721653/stat : 721653 (fscip) S 721616 721619 717368 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 2 0 142914079 1753767936 414828 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
Current children cumulated CPU time: 158.7 s
Current children cumulated vsize: 1712664 KiB
Current children cumulated memory: 1659312 KiB

[startup+159.6 s]
/proc/loadavg: 4.12 4.10 3.90 5/252 721655
/proc/meminfo: memFree=118113284/131655788 swapFree=131071996/131071996
[pid=721619] ppid=721616 vsize=1712664 memory=1659312 CPUtime=159.1 cores=0,2
/proc/721619/stat : 721619 (fscip) R 721616 721619 717368 0 -1 4194304 671432 0 0 0 15796 114 0 0 20 0 1 0 142898653 1753767936 414828 134679101440 4194304 16613245 140721380905376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49975296 140721380910049 140721380910165 140721380910165 140721380917232 0
/proc/721619/statm: 428166 414828 2942 3032 0 423895 0
Current children cumulated CPU time: 159.1 s
Current children cumulated vsize: 1712664 KiB
Current children cumulated memory: 1659312 KiB

[startup+160 s]*
/proc/loadavg: 4.11 4.10 3.90 5/251 721655
/proc/meminfo: memFree=118640032/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 160.054
CPU time (s): 159.561
CPU user time (s): 158.31
CPU system time (s): 1.25089
CPU usage (%): 99.6923
Max. virtual memory (cumulated for all children) (KiB): 1979452
Max. memory (cumulated for all children) (KiB): 1880236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.31
system time used= 1.25089
maximum resident set size= 1898952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688995
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= 19
involuntary context switches= 1134


# summary of solver processes directly reported to runsolver:
#   pid: 721619
#   total CPU time (s): 159.561
#   total CPU user time (s): 158.31
#   total CPU system time (s): 1.25089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.820165 second user time and 1.59516 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-13 23:50:05
IDJOB=4426915
IDBENCH=144105
IDSOLVER=3044
FILE ID=nodeC010/4426915-1720907393
RUNJOBID= nodeC010-1720905417-719765
SLURM_JOB_ID= 7486076
Free space on /tmp= 723680 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-pedck350l3_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426915-1720907393/watcher-4426915-1720907393 -o /tmp/evaluation-result-4426915-1720907393/solver-4426915-1720907393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719765 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426915-1720907393.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= d12ee730ee94518733bc962a9378f976
RANDOM SEED=1374869270

nodeC010.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		: 2194.838
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.51
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		: 3518.343
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.31
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.173
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.51
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.208
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.31
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		: 3665.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.51
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		: 3491.754
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.31
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.197
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.51
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.199
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119788024 kB
MemAvailable:   119893920 kB
Buffers:          337532 kB
Cached:           615032 kB
SwapCached:            0 kB
Active:           538808 kB
Inactive:       10806104 kB
Active(anon):       1464 kB
Inactive(anon): 10428576 kB
Active(file):     537344 kB
Inactive(file):   377528 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             35208 kB
Writeback:             0 kB
AnonPages:      10391556 kB
Mapped:           136720 kB
Shmem:             37704 kB
KReclaimable:      62108 kB
Slab:             151848 kB
SReclaimable:      62108 kB
SUnreclaim:        89740 kB
KernelStack:        3920 kB
PageTables:        29888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4786684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46496 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3325952 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:      162632 kB
DirectMap2M:     9179136 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723652 MiB
End job on nodeC010 at 2024-07-13 23:52:46