Trace number 4443080

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-02SAT 62.1975 62.408

General information on the benchmark

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

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60763 MiB free)
  memory of node 1: 64473 MiB (61564 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=954837, runsolver pid=954834
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 954838
/proc/meminfo: memFree=125216064/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=73216 memory=59472 CPUtime=0.09 cores=4,6
/proc/954837/stat : 954837 (fscip) R 954834 954837 950155 0 -1 4194304 12422 0 0 0 8 1 0 0 20 0 1 0 182314006 74973184 14868 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 18304 14868 2718 3032 0 14704 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 59472 KiB

[startup+0.205742 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 954838
/proc/meminfo: memFree=125188992/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=98768 memory=84536 CPUtime=0.2 cores=4,6
/proc/954837/stat : 954837 (fscip) R 954834 954837 950155 0 -1 4194304 16129 0 0 0 18 2 0 0 20 0 1 0 182314006 101138432 21134 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 24692 21134 2734 3032 0 21092 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 98768 KiB
Current children cumulated memory: 84536 KiB

[startup+0.305511 s]*
/proc/loadavg: 4.07 4.10 4.09 5/260 954838
/proc/meminfo: memFree=125166032/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=134744 memory=106268 CPUtime=0.3 cores=4,6
/proc/954837/stat : 954837 (fscip) R 954834 954837 950155 0 -1 4194304 21581 0 0 0 27 3 0 0 20 0 1 0 182314006 137977856 26567 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 33686 26567 2766 3032 0 30086 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134744 KiB
Current children cumulated memory: 106268 KiB

[startup+0.700247 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 954838
/proc/meminfo: memFree=125160180/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=135748 memory=107060 CPUtime=0.69 cores=4,6
/proc/954837/stat : 954837 (fscip) R 954834 954837 950155 0 -1 4194304 21776 0 0 0 66 3 0 0 20 0 1 0 182314006 139005952 26765 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 33937 26765 2766 3032 0 30337 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 135748 KiB
Current children cumulated memory: 107060 KiB

[startup+1.50024 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 954838
/proc/meminfo: memFree=125144968/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=137712 memory=108904 CPUtime=1.48 cores=4,6
/proc/954837/stat : 954837 (fscip) R 954834 954837 950155 0 -1 4194304 22251 0 0 0 145 3 0 0 20 0 1 0 182314006 141017088 27226 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 34428 27226 2766 3032 0 30828 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 137712 KiB
Current children cumulated memory: 108904 KiB

[startup+3.10668 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 954840
/proc/meminfo: memFree=125094824/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=235104 memory=153828 CPUtime=3.09 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 33461 0 0 0 304 5 0 0 20 0 3 0 182314006 240746496 38457 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 58776 38457 2782 3032 0 46571 0
[pid=954837/tid=954839] ppid=954834 vsize=235104 memory=116820 CPUtime=0.47 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 7364 0 0 0 47 0 0 0 20 0 3 0 182314266 240746496 38457 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=235104 memory=0 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 182314268 240746496 38457 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 153828 KiB

[startup+6.30025 s]
/proc/loadavg: 3.98 4.08 4.08 5/260 954886
/proc/meminfo: memFree=124919680/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=235104 memory=171280 CPUtime=6.24 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 42591 0 0 0 619 5 0 0 20 0 3 0 182314006 240746496 42820 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 58776 42820 2910 3032 0 50984 0
[pid=954837/tid=954839] ppid=954834 vsize=235104 memory=0 CPUtime=3.64 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 16492 0 0 0 363 1 0 0 20 0 3 0 182314266 240746496 42820 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=235104 memory=109168 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 182314268 240746496 42820 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 171280 KiB

[startup+12.7003 s]
/proc/loadavg: 3.98 4.08 4.08 5/260 954887
/proc/meminfo: memFree=124877508/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=300640 memory=200792 CPUtime=12.63 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 63359 0 0 0 1256 7 0 0 20 0 3 0 182314006 307855360 50198 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 75160 50198 2926 3032 0 59139 0
[pid=954837/tid=954839] ppid=954834 vsize=300640 memory=0 CPUtime=10.02 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 37227 0 0 0 999 3 0 0 20 0 3 0 182314266 307855360 50198 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=300640 memory=6720664342016311152 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 182314268 307855360 50198 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 300640 KiB
Current children cumulated memory: 200792 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.09 4.09 5/260 954889
/proc/meminfo: memFree=124871388/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=300640 memory=204976 CPUtime=25.39 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 111251 0 0 0 2529 10 0 0 20 0 3 0 182314006 307855360 51244 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 75160 51244 2974 3032 0 60098 0
[pid=954837/tid=954839] ppid=954834 vsize=300640 memory=12088 CPUtime=22.79 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 85056 0 0 0 2273 6 0 0 20 0 3 0 182314266 307855360 51244 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=300640 memory=4476 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 182314268 307855360 51244 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 300640 KiB
Current children cumulated memory: 204976 KiB

[startup+51.1058 s]
/proc/loadavg: 4.04 4.08 4.08 5/262 954896
/proc/meminfo: memFree=124727684/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=300640 memory=213032 CPUtime=50.93 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 164650 0 0 0 5078 15 0 0 20 0 3 0 182314006 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 75160 53258 2974 3032 0 61668 0
[pid=954837/tid=954839] ppid=954834 vsize=300640 memory=213032 CPUtime=48.32 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 138381 0 0 0 4821 11 0 0 20 0 3 0 182314266 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=300640 memory=210472 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 182314268 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 300640 KiB
Current children cumulated memory: 213032 KiB

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

# cumulated CPU time of all completed processes:  user=62.0151 s, system=0.18233 s

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

[startup+51.2003 s]
/proc/loadavg: 4.04 4.08 4.08 5/262 954896
/proc/meminfo: memFree=124727684/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=300640 memory=213032 CPUtime=51.02 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 164650 0 0 0 5087 15 0 0 20 0 3 0 182314006 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 75160 53258 2974 3032 0 61668 0
[pid=954837/tid=954839] ppid=954834 vsize=300640 memory=210472 CPUtime=48.42 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 138381 0 0 0 4831 11 0 0 20 0 3 0 182314266 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=300640 memory=210228 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 182314268 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 300640 KiB
Current children cumulated memory: 213032 KiB

[startup+57.6002 s]
/proc/loadavg: 4.04 4.08 4.08 5/262 954898
/proc/meminfo: memFree=124686436/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=300640 memory=213032 CPUtime=57.4 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 174017 0 0 0 5724 16 0 0 20 0 3 0 182314006 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 75160 53258 2974 3032 0 61668 0
[pid=954837/tid=954839] ppid=954834 vsize=300640 memory=12088 CPUtime=54.79 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 147737 0 0 0 5468 11 0 0 20 0 3 0 182314266 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=300640 memory=213032 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 182314268 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 57.4 s
Current children cumulated vsize: 300640 KiB
Current children cumulated memory: 213032 KiB

[startup+60.8002 s]
/proc/loadavg: 4.03 4.08 4.08 5/262 954898
/proc/meminfo: memFree=124657540/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=300640 memory=213032 CPUtime=60.59 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 175269 0 0 0 6043 16 0 0 20 0 3 0 182314006 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 75160 53258 2974 3032 0 61668 0
[pid=954837/tid=954839] ppid=954834 vsize=300640 memory=213032 CPUtime=57.99 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 148980 0 0 0 5787 12 0 0 20 0 3 0 182314266 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=300640 memory=5500 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 182314268 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 60.59 s
Current children cumulated vsize: 300640 KiB
Current children cumulated memory: 213032 KiB

[startup+61.6002 s]
/proc/loadavg: 4.03 4.08 4.08 5/262 954898
/proc/meminfo: memFree=124655944/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=300640 memory=213032 CPUtime=61.39 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 175772 0 0 0 6123 16 0 0 20 0 3 0 182314006 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 75160 53258 2974 3032 0 61668 0
[pid=954837/tid=954839] ppid=954834 vsize=300640 memory=-6152594842542324586 CPUtime=58.78 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 149483 0 0 0 5866 12 0 0 20 0 3 0 182314266 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=300640 memory=2268 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 182314268 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 61.39 s
Current children cumulated vsize: 300640 KiB
Current children cumulated memory: 213032 KiB

[startup+62.0002 s]*
/proc/loadavg: 4.03 4.08 4.08 5/262 954898
/proc/meminfo: memFree=124655776/131524600 swapFree=131071996/131071996
[pid=954837] ppid=954834 vsize=300640 memory=213032 CPUtime=61.79 cores=4,6
/proc/954837/stat : 954837 (fscip) S 954834 954837 950155 0 -1 1077936128 175906 0 0 0 6163 16 0 0 20 0 3 0 182314006 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
/proc/954837/statm: 75160 53258 2974 3032 0 61668 0
[pid=954837/tid=954839] ppid=954834 vsize=300640 memory=-6152594842542324586 CPUtime=59.19 cores=4,6
/proc/954837/task/954839/stat : 954839 (fscip) R 954834 954837 950155 0 -1 4194368 149617 0 0 0 5907 12 0 0 20 0 3 0 182314266 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
[pid=954837/tid=954840] ppid=954834 vsize=300640 memory=4612 CPUtime=0 cores=4,6
/proc/954837/task/954840/stat : 954840 (fscip) S 954834 954837 950155 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 182314268 307855360 53258 134679101440 4194304 16613245 140720993795232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 25640960 140720993797140 140720993797256 140720993797256 140720993804272 0
Current children cumulated CPU time: 61.79 s
Current children cumulated vsize: 300640 KiB
Current children cumulated memory: 213032 KiB

[startup+62.4024 s]*
/proc/loadavg: 4.03 4.08 4.08 5/260 954898
/proc/meminfo: memFree=124855328/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 62.408
CPU time (s): 62.1975
CPU user time (s): 62.0151
CPU system time (s): 0.18233
CPU usage (%): 99.6626
Max. virtual memory (cumulated for all children) (KiB): 300640
Max. memory (cumulated for all children) (KiB): 213032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.0151
system time used= 0.18233
maximum resident set size= 213136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191564
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= 152
involuntary context switches= 111


# summary of solver processes directly reported to runsolver:
#   pid: 954837
#   total CPU time (s): 62.1975
#   total CPU user time (s): 62.0151
#   total CPU system time (s): 0.18233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136422 second user time and 0.334773 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-18 13:17:43
IDJOB=4443080
IDBENCH=147862
IDSOLVER=3064
FILE ID=nodeC032/4443080-1721301451
RUNJOBID= nodeC032-1721294255-950166
SLURM_JOB_ID= 7542614
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin12.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443080-1721301451/watcher-4443080-1721301451 -o /tmp/evaluation-result-4443080-1721301451/solver-4443080-1721301451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950166 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4443080-1721301451.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e3014e41fec9c16977639004d85b0b7a
RANDOM SEED=1656749163

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.253
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.489
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.902
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.231
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.279
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3671.484
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.274
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125263888 kB
MemAvailable:   127724460 kB
Buffers:          490956 kB
Cached:          2785352 kB
SwapCached:            0 kB
Active:           932460 kB
Inactive:        4670576 kB
Active(anon):       1556 kB
Inactive(anon):  2362896 kB
Active(file):     930904 kB
Inactive(file):  2307680 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             57164 kB
Writeback:            12 kB
AnonPages:       2325584 kB
Mapped:           141032 kB
Shmem:             37720 kB
KReclaimable:     123620 kB
Slab:             238668 kB
SReclaimable:     123620 kB
SUnreclaim:       115048 kB
KernelStack:        4128 kB
PageTables:        14100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1379504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 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:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC032 at 2024-07-18 13:18:46