Trace number 4464893

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-30OPTIMUM 104.341 104.659

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-66-100-0.wbo
MD5SUMb9e4bf4d6140c91cb266031462fadfd8
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.94809
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3736
Total number of constraints10457
Number of soft constraints3516
Number of constraints which are clauses10089
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints368
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 177995
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 177994
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (62058 MiB free)
  memory of node 1: 64473 MiB (57525 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464893-1722389773/watcher-4464893-1722389773 -o /tmp/evaluation-result-4464893-1722389773/solver-4464893-1722389773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722389773-34184 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464893-1722389773.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=34239, runsolver pid=34236

[startup+0.100198 s]*
/proc/loadavg: 1.14 1.98 3.10 5/242 34246
/proc/meminfo: memFree=122363344/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=49028 memory=38920 CPUtime=0.1 cores=4,6
/proc/34239/stat : 34239 (fscip) R 34236 34239 34173 0 -1 4194304 7422 0 0 0 8 2 0 0 20 0 1 0 5347424 50204672 9730 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 12257 9730 2555 3035 0 8653 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49028 KiB
Current children cumulated memory: 38920 KiB

[startup+0.213539 s]*
/proc/loadavg: 1.14 1.98 3.10 5/242 34246
/proc/meminfo: memFree=122307260/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=74828 memory=62636 CPUtime=0.21 cores=4,6
/proc/34239/stat : 34239 (fscip) R 34236 34239 34173 0 -1 4194304 13294 0 0 0 17 4 0 0 20 0 1 0 5347424 76623872 15659 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 18707 15659 2614 3035 0 15103 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74828 KiB
Current children cumulated memory: 62636 KiB

[startup+0.313312 s]*
/proc/loadavg: 1.14 1.98 3.10 5/242 34246
/proc/meminfo: memFree=122288760/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=78088 memory=65772 CPUtime=0.32 cores=4,6
/proc/34239/stat : 34239 (fscip) R 34236 34239 34173 0 -1 4194304 14089 0 0 0 27 5 0 0 20 0 1 0 5347424 79962112 16443 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 19522 16443 2630 3035 0 15918 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 78088 KiB
Current children cumulated memory: 65772 KiB

[startup+0.700357 s]
/proc/loadavg: 1.14 1.98 3.10 5/242 34246
/proc/meminfo: memFree=122273704/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=84588 memory=71128 CPUtime=0.68 cores=4,6
/proc/34239/stat : 34239 (fscip) R 34236 34239 34173 0 -1 4194304 15408 0 0 0 63 5 0 0 20 0 1 0 5347424 86618112 17782 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 21147 17782 2678 3035 0 17543 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84588 KiB
Current children cumulated memory: 71128 KiB

[startup+1.5003 s]
/proc/loadavg: 1.14 1.98 3.10 5/242 34246
/proc/meminfo: memFree=122270704/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=86036 memory=72448 CPUtime=1.48 cores=4,6
/proc/34239/stat : 34239 (fscip) R 34236 34239 34173 0 -1 4194304 15780 0 0 0 143 5 0 0 20 0 1 0 5347424 88100864 18112 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 21509 18112 2678 3035 0 17905 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86036 KiB
Current children cumulated memory: 72448 KiB

[startup+3.11312 s]
/proc/loadavg: 1.45 2.03 3.11 5/246 34250
/proc/meminfo: memFree=122180804/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=88908 memory=75616 CPUtime=3.09 cores=4,6
/proc/34239/stat : 34239 (fscip) R 34236 34239 34173 0 -1 4194304 16561 0 0 0 304 5 0 0 20 0 1 0 5347424 91041792 18904 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 22227 18904 2678 3035 0 18623 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 88908 KiB
Current children cumulated memory: 75616 KiB

[startup+6.30033 s]
/proc/loadavg: 1.45 2.03 3.11 5/246 34252
/proc/meminfo: memFree=122117328/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=89936 memory=76672 CPUtime=6.26 cores=4,6
/proc/34239/stat : 34239 (fscip) R 34236 34239 34173 0 -1 4194304 16820 0 0 0 621 5 0 0 20 0 1 0 5347424 92094464 19168 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 22484 19168 2678 3035 0 18880 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89936 KiB
Current children cumulated memory: 76672 KiB

[startup+12.7003 s]
/proc/loadavg: 1.85 2.09 3.12 5/240 34338
/proc/meminfo: memFree=122115104/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=231496 memory=145520 CPUtime=12.63 cores=4,6
/proc/34239/stat : 34239 (fscip) S 34236 34239 34173 0 -1 1077936128 41436 0 0 0 1252 11 0 0 20 0 3 0 5347424 237051904 36380 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 57874 36380 2726 3035 0 43793 0
[pid=34239/tid=34267] ppid=34236 vsize=231968 memory=143776 CPUtime=1.59 cores=4,6
/proc/34239/task/34267/stat : 34267 (fscip) R 34236 34239 34173 0 -1 4194368 18932 0 0 0 155 4 0 0 20 0 3 0 5348531 237535232 36380 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
[pid=34239/tid=34268] ppid=34236 vsize=231968 memory=140024 CPUtime=0 cores=4,6
/proc/34239/task/34268/stat : 34268 (fscip) S 34236 34239 34173 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5348537 237535232 36429 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 231496 KiB
Current children cumulated memory: 145520 KiB

[startup+25.5004 s]
/proc/loadavg: 2.18 2.16 3.12 5/250 34595
/proc/meminfo: memFree=121826216/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=370640 memory=249976 CPUtime=25.4 cores=4,6
/proc/34239/stat : 34239 (fscip) S 34236 34239 34173 0 -1 1077936128 108913 0 0 0 2521 19 0 0 20 0 3 0 5347424 379535360 62494 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 92660 62494 2918 3035 0 73084 0
[pid=34239/tid=34267] ppid=34236 vsize=370640 memory=247520 CPUtime=14.35 cores=4,6
/proc/34239/task/34267/stat : 34267 (fscip) R 34236 34239 34173 0 -1 4194368 83873 0 0 0 1423 12 0 0 20 0 3 0 5348531 379535360 62494 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
[pid=34239/tid=34268] ppid=34236 vsize=370640 memory=12736 CPUtime=0 cores=4,6
/proc/34239/task/34268/stat : 34268 (fscip) S 34236 34239 34173 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5348537 379535360 62494 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 370640 KiB
Current children cumulated memory: 249976 KiB

[startup+51.1126 s]
/proc/loadavg: 2.87 2.32 3.15 5/250 34598
/proc/meminfo: memFree=121450724/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=501712 memory=387992 CPUtime=50.94 cores=4,6
/proc/34239/stat : 34239 (fscip) S 34236 34239 34173 0 -1 1077936128 216826 0 0 0 5063 31 0 0 20 0 3 0 5347424 513753088 96998 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 125428 96998 3014 3035 0 109231 0
[pid=34239/tid=34267] ppid=34236 vsize=501712 memory=-7523381394107621501 CPUtime=39.88 cores=4,6
/proc/34239/task/34267/stat : 34267 (fscip) R 34236 34239 34173 0 -1 4194368 191378 0 0 0 3965 23 0 0 20 0 3 0 5348531 513753088 96998 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
[pid=34239/tid=34268] ppid=34236 vsize=501712 memory=345504 CPUtime=0 cores=4,6
/proc/34239/task/34268/stat : 34268 (fscip) S 34236 34239 34173 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 5348537 513753088 96998 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 501712 KiB
Current children cumulated memory: 387992 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.64 3.22 5/250 34607
/proc/meminfo: memFree=121264072/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=502928 memory=397920 CPUtime=101.98 cores=4,6
/proc/34239/stat : 34239 (fscip) S 34236 34239 34173 0 -1 1077936128 319742 0 0 0 10159 39 0 0 20 0 3 0 5347424 514998272 99480 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 125732 99480 3014 3035 0 109535 0
[pid=34239/tid=34267] ppid=34236 vsize=502928 memory=11424 CPUtime=90.9 cores=4,6
/proc/34239/task/34267/stat : 34267 (fscip) R 34236 34239 34173 0 -1 4194368 291988 0 0 0 9059 31 0 0 20 0 3 0 5348531 514998272 99480 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
[pid=34239/tid=34268] ppid=34236 vsize=502928 memory=397532 CPUtime=0 cores=4,6
/proc/34239/task/34268/stat : 34268 (fscip) S 34236 34239 34173 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5348537 514998272 99480 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 397920 KiB

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

# cumulated CPU time of all completed processes:  user=103.887 s, system=0.454103 s

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

[startup+102.4 s]
/proc/loadavg: 3.69 2.64 3.22 5/250 34607
/proc/meminfo: memFree=121264072/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=502928 memory=397920 CPUtime=102.08 cores=4,6
/proc/34239/stat : 34239 (fscip) S 34236 34239 34173 0 -1 1077936128 319742 0 0 0 10169 39 0 0 20 0 3 0 5347424 514998272 99480 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 125732 99480 3014 3035 0 109535 0
[pid=34239/tid=34267] ppid=34236 vsize=502928 memory=397532 CPUtime=91 cores=4,6
/proc/34239/task/34267/stat : 34267 (fscip) R 34236 34239 34173 0 -1 4194368 291988 0 0 0 9069 31 0 0 20 0 3 0 5348531 514998272 99480 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
[pid=34239/tid=34268] ppid=34236 vsize=502928 memory=24668 CPUtime=0 cores=4,6
/proc/34239/task/34268/stat : 34268 (fscip) S 34236 34239 34173 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5348537 514998272 99480 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 397920 KiB

[startup+104 s]*
/proc/loadavg: 3.69 2.64 3.22 5/250 34608
/proc/meminfo: memFree=121263568/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=503080 memory=397984 CPUtime=103.68 cores=4,6
/proc/34239/stat : 34239 (fscip) S 34236 34239 34173 0 -1 1077936128 327901 0 0 0 10328 40 0 0 20 0 3 0 5347424 515153920 99496 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 125770 99496 3014 3035 0 109573 0
[pid=34239/tid=34267] ppid=34236 vsize=503080 memory=-7307208611993837432 CPUtime=92.6 cores=4,6
/proc/34239/task/34267/stat : 34267 (fscip) R 34236 34239 34173 0 -1 4194368 300143 0 0 0 9228 32 0 0 20 0 3 0 5348531 515153920 99496 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
[pid=34239/tid=34268] ppid=34236 vsize=503080 memory=7681063409702499138 CPUtime=0 cores=4,6
/proc/34239/task/34268/stat : 34268 (fscip) S 34236 34239 34173 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 5348537 515153920 99496 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
Current children cumulated CPU time: 103.68 s
Current children cumulated vsize: 503080 KiB
Current children cumulated memory: 397984 KiB

[startup+104.4 s]
/proc/loadavg: 3.69 2.64 3.22 5/250 34608
/proc/meminfo: memFree=121263568/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=503080 memory=397984 CPUtime=104.07 cores=4,6
/proc/34239/stat : 34239 (fscip) S 34236 34239 34173 0 -1 1077936128 329054 0 0 0 10367 40 0 0 20 0 3 0 5347424 515153920 99496 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 125770 99496 3014 3035 0 109573 0
[pid=34239/tid=34267] ppid=34236 vsize=503080 memory=5789209449609847634 CPUtime=92.99 cores=4,6
/proc/34239/task/34267/stat : 34267 (fscip) R 34236 34239 34173 0 -1 4194368 301296 0 0 0 9267 32 0 0 20 0 3 0 5348531 515153920 99496 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
[pid=34239/tid=34268] ppid=34236 vsize=503080 memory=0 CPUtime=0 cores=4,6
/proc/34239/task/34268/stat : 34268 (fscip) S 34236 34239 34173 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 5348537 515153920 99496 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
Current children cumulated CPU time: 104.07 s
Current children cumulated vsize: 503080 KiB
Current children cumulated memory: 397984 KiB

[startup+104.601 s]
/proc/loadavg: 3.69 2.64 3.22 5/250 34608
/proc/meminfo: memFree=121263568/131655788 swapFree=131071472/131071996
[pid=34239] ppid=34236 vsize=467120 memory=363328 CPUtime=104.28 cores=4,6
/proc/34239/stat : 34239 (fscip) R 34236 34239 34173 0 -1 4194304 348353 0 0 0 10386 42 0 0 20 0 2 0 5347424 478330880 90832 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
/proc/34239/statm: 116780 90832 3014 3035 0 100583 0
[pid=34239/tid=34268] ppid=34236 vsize=467120 memory=104 CPUtime=0 cores=4,6
/proc/34239/task/34268/stat : 34268 (fscip) S 34236 34239 34173 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 2 0 5348537 478330880 90832 134679101440 4194304 16623229 140732933414720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 47042560 140732933415956 140732933416072 140732933416072 140732933423088 0
Current children cumulated CPU time: 104.28 s
Current children cumulated vsize: 467120 KiB
Current children cumulated memory: 363328 KiB

Child status: 0

Real time (s): 104.659
CPU time (s): 104.341
CPU user time (s): 103.887
CPU system time (s): 0.454103
CPU usage (%): 99.6958
Max. virtual memory (cumulated for all children) (KiB): 503916
Max. memory (cumulated for all children) (KiB): 397984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.887
system time used= 0.454103
maximum resident set size= 397984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350274
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= 228
involuntary context switches= 139


# summary of solver processes directly reported to runsolver:
#   pid: 34239
#   total CPU time (s): 104.341
#   total CPU user time (s): 103.887
#   total CPU system time (s): 0.454103

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.525594 second user time and 1.08954 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-31 03:36:13
IDJOB=4464893
IDBENCH=143421
IDSOLVER=3093
FILE ID=nodeC012/4464893-1722389773
RUNJOBID= nodeC012-1722389773-34184
SLURM_JOB_ID= 8249865
Free space on /tmp= 723756 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl--soft-66-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464893-1722389773/watcher-4464893-1722389773 -o /tmp/evaluation-result-4464893-1722389773/solver-4464893-1722389773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722389773-34184 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464893-1722389773.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= b9e4bf4d6140c91cb266031462fadfd8
RANDOM SEED=1133320972

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.222
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.37
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.207
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.70
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.207
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.37
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		: 1197.206
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.70
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		: 1197.420
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.37
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.724
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.70
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.206
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122463884 kB
MemAvailable:   129996984 kB
Buffers:          107504 kB
Cached:          8227204 kB
SwapCached:           48 kB
Active:           265484 kB
Inactive:        8423564 kB
Active(anon):       1332 kB
Inactive(anon):   374276 kB
Active(file):     264152 kB
Inactive(file):  8049288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            113636 kB
Writeback:             0 kB
AnonPages:        353648 kB
Mapped:            87288 kB
Shmem:             21248 kB
KReclaimable:     119716 kB
Slab:             202688 kB
SReclaimable:     119716 kB
SUnreclaim:        82972 kB
KernelStack:        3712 kB
PageTables:         9172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     712972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6656 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      199496 kB
DirectMap2M:    13336576 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 723672 MiB
End job on nodeC012 at 2024-07-31 03:37:58