Trace number 4426916

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.234 159.681

General information on the benchmark

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

Verifier Data 

OK	2

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 (57614 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-4426916-1720907228/watcher-4426916-1720907228 -o /tmp/evaluation-result-4426916-1720907228/solver-4426916-1720907228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719765 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426916-1720907228.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
Current StackSize limit: 8192 KiB

solver pid=721491, runsolver pid=721488

[startup+0.100466 s]*
/proc/loadavg: 4.14 4.11 3.79 5/247 721492
/proc/meminfo: memFree=119813404/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=51728 memory=39804 CPUtime=0.1 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 7810 0 0 0 9 1 0 0 20 0 1 0 142882098 52969472 9885 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 12932 9885 2318 3032 0 9332 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51728 KiB
Current children cumulated memory: 39804 KiB

[startup+0.212916 s]*
/proc/loadavg: 4.14 4.11 3.79 5/247 721492
/proc/meminfo: memFree=119767856/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=95436 memory=83748 CPUtime=0.21 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 18900 0 0 0 18 3 0 0 20 0 1 0 142882098 97726464 20937 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 23859 20937 2318 3032 0 20259 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 95436 KiB
Current children cumulated memory: 83748 KiB

[startup+0.312809 s]*
/proc/loadavg: 4.14 4.11 3.79 5/247 721492
/proc/meminfo: memFree=119734452/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=128324 memory=116748 CPUtime=0.31 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 27110 0 0 0 27 4 0 0 20 0 1 0 142882098 131403776 29187 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 32081 29187 2318 3032 0 28481 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 128324 KiB
Current children cumulated memory: 116748 KiB

[startup+0.700315 s]
/proc/loadavg: 4.14 4.11 3.79 5/247 721493
/proc/meminfo: memFree=119674820/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=243200 memory=230760 CPUtime=0.69 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 55077 0 0 0 59 10 0 0 20 0 1 0 142882098 249036800 57624 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 60800 57690 2318 3032 0 57200 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 230760 KiB

[startup+1.50034 s]
/proc/loadavg: 4.14 4.11 3.79 5/247 721493
/proc/meminfo: memFree=119430928/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=693344 memory=675368 CPUtime=1.48 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 166799 0 0 0 122 26 0 0 20 0 1 0 142882098 709984256 168842 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 173336 168842 2590 3032 0 169736 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 693344 KiB
Current children cumulated memory: 675368 KiB

[startup+3.11273 s]
/proc/loadavg: 4.14 4.11 3.79 5/247 721493
/proc/meminfo: memFree=118615176/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1252396 memory=1232376 CPUtime=3.09 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 302989 0 0 0 261 48 0 0 20 0 1 0 142882098 1282453504 308094 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 313099 308094 2606 3032 0 309499 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1252396 KiB
Current children cumulated memory: 1232376 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.11 3.79 5/247 721493
/proc/meminfo: memFree=118550624/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295648 CPUtime=6.27 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319782 0 0 0 576 51 0 0 20 0 1 0 142882098 1346756608 323912 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323912 2654 3032 0 325198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295648 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 3.80 5/247 721495
/proc/meminfo: memFree=118550356/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295648 CPUtime=12.65 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319784 0 0 0 1213 52 0 0 20 0 1 0 142882098 1346756608 323912 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323912 2654 3032 0 325198 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295648 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.12 3.81 5/247 721497
/proc/meminfo: memFree=118540160/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295648 CPUtime=25.42 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319790 0 0 0 2489 53 0 0 20 0 1 0 142882098 1346756608 323912 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323912 2654 3032 0 325198 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295648 KiB

[startup+51.1126 s]
/proc/loadavg: 4.11 4.11 3.81 5/247 721501
/proc/meminfo: memFree=118534332/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295928 CPUtime=50.96 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319793 0 0 0 5042 54 0 0 20 0 1 0 142882098 1346756608 323982 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323982 2670 3032 0 325198 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295928 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 3.83 5/247 721513
/proc/meminfo: memFree=118509580/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295928 CPUtime=102.01 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319803 0 0 0 10146 55 0 0 20 0 1 0 142882098 1346756608 323982 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323982 2670 3032 0 325198 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295928 KiB

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

# cumulated CPU time of all completed processes:  user=158.037 s, system=1.19638 s

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

[startup+102.4 s]
/proc/loadavg: 4.14 4.12 3.83 5/247 721513
/proc/meminfo: memFree=118509580/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295928 CPUtime=102.11 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319803 0 0 0 10156 55 0 0 20 0 1 0 142882098 1346756608 323982 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323982 2670 3032 0 325198 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295928 KiB

[startup+128 s]*
/proc/loadavg: 4.16 4.12 3.85 5/248 721518
/proc/meminfo: memFree=118501072/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295928 CPUtime=127.66 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319806 0 0 0 12710 56 0 0 20 0 1 0 142882098 1346756608 323982 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323982 2670 3032 0 325198 0
Current children cumulated CPU time: 127.66 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295928 KiB

[startup+140.8 s]
/proc/loadavg: 4.13 4.12 3.85 5/248 721519
/proc/meminfo: memFree=118499372/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295928 CPUtime=140.41 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319810 0 0 0 13985 56 0 0 20 0 1 0 142882098 1346756608 323982 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323982 2670 3032 0 325198 0
Current children cumulated CPU time: 140.41 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295928 KiB

[startup+147.2 s]
/proc/loadavg: 4.12 4.12 3.85 5/248 721521
/proc/meminfo: memFree=118499256/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1315192 memory=1295928 CPUtime=146.79 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 319811 0 0 0 14623 56 0 0 20 0 1 0 142882098 1346756608 323982 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 328798 323982 2670 3032 0 325198 0
Current children cumulated CPU time: 146.79 s
Current children cumulated vsize: 1315192 KiB
Current children cumulated memory: 1295928 KiB

[startup+153.6 s]
/proc/loadavg: 4.11 4.11 3.85 5/249 721523
/proc/meminfo: memFree=118381120/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1511020 memory=1435792 CPUtime=153.18 cores=0,2
/proc/721491/stat : 721491 (fscip) S 721488 721491 717368 0 -1 1077936128 384566 0 0 0 15248 70 0 0 20 0 2 0 142882098 1547284480 358948 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 377755 358948 2702 3032 0 365884 0
[pid=721491/tid=721523] ppid=721488 vsize=1511020 memory=1295928 CPUtime=0.43 cores=0,2
/proc/721491/task/721523/stat : 721523 (fscip) R 721488 721491 717368 0 -1 4194368 23741 0 0 0 37 6 0 0 20 0 2 0 142897382 1547284480 358948 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
Current children cumulated CPU time: 153.18 s
Current children cumulated vsize: 1511020 KiB
Current children cumulated memory: 1435792 KiB

[startup+156.8 s]
/proc/loadavg: 4.10 4.11 3.85 5/250 721524
/proc/meminfo: memFree=118084448/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1781360 memory=1721412 CPUtime=156.35 cores=0,2
/proc/721491/stat : 721491 (fscip) S 721488 721491 717368 0 -1 1077936128 445888 0 0 0 15550 85 0 0 20 0 3 0 142882098 1824112640 430353 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 445340 430353 2798 3032 0 440282 0
[pid=721491/tid=721523] ppid=721488 vsize=1781360 memory=1718560 CPUtime=3.62 cores=0,2
/proc/721491/task/721523/stat : 721523 (fscip) R 721488 721491 717368 0 -1 4194368 85057 0 0 0 340 22 0 0 20 0 3 0 142897382 1824112640 430353 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
[pid=721491/tid=721524] ppid=721488 vsize=1781360 memory=11504 CPUtime=0 cores=0,2
/proc/721491/task/721524/stat : 721524 (fscip) S 721488 721491 717368 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 142897465 1824112640 430353 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
Current children cumulated CPU time: 156.35 s
Current children cumulated vsize: 1781360 KiB
Current children cumulated memory: 1721412 KiB

[startup+158.4 s]
/proc/loadavg: 4.10 4.11 3.85 5/250 721524
/proc/meminfo: memFree=117906724/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1850048 memory=1793668 CPUtime=157.96 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 503916 0 0 0 15702 94 0 0 20 0 2 0 142882098 1894449152 448417 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 462512 448417 2958 3032 0 458152 0
[pid=721491/tid=721524] ppid=721488 vsize=1850048 memory=1499 CPUtime=0 cores=0,2
/proc/721491/task/721524/stat : 721524 (fscip) S 721488 721491 717368 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 142897465 1894449152 448417 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
Current children cumulated CPU time: 157.96 s
Current children cumulated vsize: 1850048 KiB
Current children cumulated memory: 1793668 KiB

[startup+159.2 s]
/proc/loadavg: 4.10 4.11 3.85 5/248 721524
/proc/meminfo: memFree=118006568/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1843736 memory=1788148 CPUtime=158.74 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 663067 0 0 0 15765 109 0 0 20 0 1 0 142882098 1887985664 447037 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 460934 447037 2958 3032 0 456574 0
Current children cumulated CPU time: 158.74 s
Current children cumulated vsize: 1843736 KiB
Current children cumulated memory: 1788148 KiB

[startup+159.6 s]
/proc/loadavg: 4.10 4.11 3.85 5/248 721524
/proc/meminfo: memFree=118006568/131655788 swapFree=131071996/131071996
[pid=721491] ppid=721488 vsize=1704420 memory=1649036 CPUtime=159.14 cores=0,2
/proc/721491/stat : 721491 (fscip) R 721488 721491 717368 0 -1 4194304 683919 0 0 0 15803 111 0 0 20 0 1 0 142882098 1745326080 412515 134679101440 4194304 16613245 140737315881760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53088256 140737315886049 140737315886165 140737315886165 140737315893232 0
/proc/721491/statm: 426105 412259 2958 3032 0 421745 0
Current children cumulated CPU time: 159.14 s
Current children cumulated vsize: 1704420 KiB
Current children cumulated memory: 1649036 KiB

Child status: 0

Real time (s): 159.681
CPU time (s): 159.234
CPU user time (s): 158.037
CPU system time (s): 1.19638
CPU usage (%): 99.7196
Max. virtual memory (cumulated for all children) (KiB): 1979452
Max. memory (cumulated for all children) (KiB): 1888544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.037
system time used= 1.19638
maximum resident set size= 1897824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685433
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= 15
involuntary context switches= 1126


# summary of solver processes directly reported to runsolver:
#   pid: 721491
#   total CPU time (s): 159.234
#   total CPU user time (s): 158.037
#   total CPU system time (s): 1.19638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.805597 second user time and 1.51495 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-13 23:47:20
IDJOB=4426916
IDBENCH=144096
IDSOLVER=3044
FILE ID=nodeC010/4426916-1720907228
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-pedck350_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426916-1720907228/watcher-4426916-1720907228 -o /tmp/evaluation-result-4426916-1720907228/solver-4426916-1720907228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719765 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426916-1720907228.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 803163f8c4ec83baa6e84e90f2e866a2
RANDOM SEED=1155304670

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		: 3491.759
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		: 3506.293
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.181
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.290
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		: 3662.241
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.755
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.346
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.253
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:        119839692 kB
MemAvailable:   119944432 kB
Buffers:          337360 kB
Cached:           614104 kB
SwapCached:            0 kB
Active:           538612 kB
Inactive:       10754848 kB
Active(anon):       1440 kB
Inactive(anon): 10378276 kB
Active(file):     537172 kB
Inactive(file):   376572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             35160 kB
Writeback:             0 kB
AnonPages:      10341260 kB
Mapped:           136664 kB
Shmem:             37704 kB
KReclaimable:      62056 kB
Slab:             151864 kB
SReclaimable:      62056 kB
SUnreclaim:        89808 kB
KernelStack:        3952 kB
PageTables:        29760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4792888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46496 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3076096 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:50:00