Trace number 4464391

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-30SAT 60.7025 60.8778

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=30798, runsolver pid=30795

[startup+0.100735 s]*
/proc/loadavg: 0.90 0.28 0.15 5/264 30799
/proc/meminfo: memFree=127772360/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=75276 memory=60780 CPUtime=0.09 cores=5,7
/proc/30798/stat : 30798 (fscip) R 30795 30798 30613 0 -1 4194304 12778 0 0 0 8 1 0 0 20 0 1 0 4465228 77082624 15195 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 18819 15195 2742 3035 0 15215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75276 KiB
Current children cumulated memory: 60780 KiB

[startup+0.205536 s]*
/proc/loadavg: 0.90 0.28 0.15 5/264 30799
/proc/meminfo: memFree=127745468/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=108668 memory=87452 CPUtime=0.19 cores=5,7
/proc/30798/stat : 30798 (fscip) R 30795 30798 30613 0 -1 4194304 16845 0 0 0 17 2 0 0 20 0 1 0 4465228 111276032 21863 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 27167 21863 2774 3035 0 23563 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108668 KiB
Current children cumulated memory: 87452 KiB

[startup+0.305549 s]*
/proc/loadavg: 0.90 0.28 0.15 5/264 30799
/proc/meminfo: memFree=127723840/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=134964 memory=106460 CPUtime=0.3 cores=5,7
/proc/30798/stat : 30798 (fscip) R 30795 30798 30613 0 -1 4194304 21588 0 0 0 27 3 0 0 20 0 1 0 4465228 138203136 26615 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 33741 26615 2774 3035 0 30137 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 106460 KiB

[startup+0.700231 s]
/proc/loadavg: 0.90 0.28 0.15 5/264 30799
/proc/meminfo: memFree=127716472/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=135952 memory=107252 CPUtime=0.68 cores=5,7
/proc/30798/stat : 30798 (fscip) R 30795 30798 30613 0 -1 4194304 21784 0 0 0 65 3 0 0 20 0 1 0 4465228 139214848 26813 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 33988 26813 2774 3035 0 30384 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135952 KiB
Current children cumulated memory: 107252 KiB

[startup+1.50023 s]
/proc/loadavg: 0.90 0.28 0.15 5/264 30799
/proc/meminfo: memFree=127715660/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=137732 memory=109092 CPUtime=1.48 cores=5,7
/proc/30798/stat : 30798 (fscip) R 30795 30798 30613 0 -1 4194304 22246 0 0 0 145 3 0 0 20 0 1 0 4465228 141037568 27273 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 34433 27273 2774 3035 0 30829 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 137732 KiB
Current children cumulated memory: 109092 KiB

[startup+3.1055 s]
/proc/loadavg: 1.15 0.34 0.17 5/266 30802
/proc/meminfo: memFree=127619180/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=235120 memory=153752 CPUtime=3.08 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 33447 0 0 0 303 5 0 0 20 0 3 0 4465228 240762880 38438 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 58780 38438 2790 3035 0 46595 0
[pid=30798/tid=30801] ppid=30795 vsize=235120 memory=151640 CPUtime=0.61 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 7377 0 0 0 60 1 0 0 20 0 3 0 4465476 240762880 38438 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=235120 memory=0 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4465478 240762880 38438 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 235120 KiB
Current children cumulated memory: 153752 KiB

[startup+6.30026 s]
/proc/loadavg: 1.15 0.34 0.17 5/263 30856
/proc/meminfo: memFree=126617856/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=235120 memory=178892 CPUtime=6.26 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 47999 0 0 0 620 6 0 0 20 0 3 0 4465228 240762880 44723 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 58780 44723 2966 3035 0 52875 0
[pid=30798/tid=30801] ppid=30795 vsize=235120 memory=17980 CPUtime=3.79 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 21932 0 0 0 377 2 0 0 20 0 3 0 4465476 240762880 44723 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=235120 memory=109352 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4465478 240762880 44723 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 235120 KiB
Current children cumulated memory: 178892 KiB

[startup+12.7003 s]
/proc/loadavg: 1.59 0.46 0.21 5/268 30900
/proc/meminfo: memFree=125851280/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=201204 CPUtime=12.65 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 69960 0 0 0 1257 8 0 0 20 0 3 0 4465228 307871744 50301 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 50301 2966 3035 0 59219 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=198448 CPUtime=10.18 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 43851 0 0 0 1014 4 0 0 20 0 3 0 4465476 307871744 50301 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=11408 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 50301 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 201204 KiB

[startup+25.5003 s]
/proc/loadavg: 1.96 0.58 0.25 5/268 31047
/proc/meminfo: memFree=125882224/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=204948 CPUtime=25.41 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 111503 0 0 0 2530 11 0 0 20 0 3 0 4465228 307871744 51237 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 51237 3014 3035 0 60097 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=204948 CPUtime=22.94 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 85342 0 0 0 2287 7 0 0 20 0 3 0 4465476 307871744 51237 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=-7164219323824824695 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 51237 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 204948 KiB

[startup+51.1055 s]
/proc/loadavg: 2.72 0.87 0.36 5/268 31053
/proc/meminfo: memFree=125589464/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=212900 CPUtime=50.95 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 159590 0 0 0 5080 15 0 0 20 0 3 0 4465228 307871744 53225 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 53225 3014 3035 0 61667 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=212888 CPUtime=48.47 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 133360 0 0 0 4837 10 0 0 20 0 3 0 4465476 307871744 53225 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=209908 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 53225 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 212900 KiB

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

# cumulated CPU time of all completed processes:  user=60.5261 s, system=0.176447 s

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

[startup+51.2003 s]
/proc/loadavg: 2.72 0.87 0.36 5/268 31053
/proc/meminfo: memFree=125589464/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=212900 CPUtime=51.04 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 159611 0 0 0 5089 15 0 0 20 0 3 0 4465228 307871744 53225 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 53225 3014 3035 0 61667 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=11408 CPUtime=48.56 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 133381 0 0 0 4846 10 0 0 20 0 3 0 4465476 307871744 53225 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=12860 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 53225 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 212900 KiB

[startup+57.6002 s]
/proc/loadavg: 2.92 0.98 0.40 5/268 31054
/proc/meminfo: memFree=125588888/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=212904 CPUtime=57.43 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 168365 0 0 0 5727 16 0 0 20 0 3 0 4465228 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 53226 3014 3035 0 61667 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=212904 CPUtime=54.95 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 142133 0 0 0 5484 11 0 0 20 0 3 0 4465476 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=5464 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 212904 KiB

[startup+59.2002 s]
/proc/loadavg: 2.92 0.98 0.40 6/268 31054
/proc/meminfo: memFree=125588864/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=212904 CPUtime=59.02 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 169289 0 0 0 5886 16 0 0 20 0 3 0 4465228 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 53226 3014 3035 0 61667 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=2268 CPUtime=56.54 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 143048 0 0 0 5643 11 0 0 20 0 3 0 4465476 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=279865706526560 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 59.02 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 212904 KiB

[startup+60.0002 s]*
/proc/loadavg: 2.92 0.98 0.40 5/268 31054
/proc/meminfo: memFree=125572548/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=212904 CPUtime=59.82 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 170067 0 0 0 5966 16 0 0 20 0 3 0 4465228 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 53226 3014 3035 0 61667 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=-7668341007113610620 CPUtime=57.34 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 143816 0 0 0 5723 11 0 0 20 0 3 0 4465476 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=2656 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 59.82 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 212904 KiB

[startup+60.4002 s]
/proc/loadavg: 2.92 0.98 0.40 5/268 31054
/proc/meminfo: memFree=125572548/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=212904 CPUtime=60.22 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 170249 0 0 0 6006 16 0 0 20 0 3 0 4465228 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 53226 3014 3035 0 61667 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=11408 CPUtime=57.74 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 143998 0 0 0 5763 11 0 0 20 0 3 0 4465476 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=12860 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 60.22 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 212904 KiB

[startup+60.8002 s]
/proc/loadavg: 2.92 0.98 0.40 5/268 31054
/proc/meminfo: memFree=125572548/131524600 swapFree=131071996/131071996
[pid=30798] ppid=30795 vsize=300656 memory=212904 CPUtime=60.62 cores=5,7
/proc/30798/stat : 30798 (fscip) S 30795 30798 30613 0 -1 1077936128 170390 0 0 0 6046 16 0 0 20 0 3 0 4465228 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
/proc/30798/statm: 75164 53226 3014 3035 0 61667 0
[pid=30798/tid=30801] ppid=30795 vsize=300656 memory=0 CPUtime=58.14 cores=5,7
/proc/30798/task/30801/stat : 30801 (fscip) R 30795 30798 30613 0 -1 4194368 144139 0 0 0 5803 11 0 0 20 0 3 0 4465476 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
[pid=30798/tid=30802] ppid=30795 vsize=300656 memory=5464 CPUtime=0 cores=5,7
/proc/30798/task/30802/stat : 30802 (fscip) S 30795 30798 30613 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4465478 307871744 53226 134679101440 4194304 16623229 140734390342224 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30916608 140734390350870 140734390350986 140734390350986 140734390358000 0
Current children cumulated CPU time: 60.62 s
Current children cumulated vsize: 300656 KiB
Current children cumulated memory: 212904 KiB

Child status: 0

Real time (s): 60.8778
CPU time (s): 60.7025
CPU user time (s): 60.5261
CPU system time (s): 0.176447
CPU usage (%): 99.7121
Max. virtual memory (cumulated for all children) (KiB): 300656
Max. memory (cumulated for all children) (KiB): 212904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.5261
system time used= 0.176447
maximum resident set size= 213008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186174
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= 153
involuntary context switches= 81


# summary of solver processes directly reported to runsolver:
#   pid: 30798
#   total CPU time (s): 60.7025
#   total CPU user time (s): 60.5261
#   total CPU system time (s): 0.176447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136544 second user time and 0.305762 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-31 00:30:09
IDJOB=4464391
IDBENCH=147862
IDSOLVER=3092
FILE ID=nodeC034/4464391-1722378609
RUNJOBID= nodeC034-1722378597-30626
SLURM_JOB_ID= 8249857
Free space on /tmp= 889984 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4464391-1722378609/watcher-4464391-1722378609 -o /tmp/evaluation-result-4464391-1722378609/solver-4464391-1722378609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30626 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464391-1722378609.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e3014e41fec9c16977639004d85b0b7a
RANDOM SEED=881201410

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.590
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.49
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		: 3669.087
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3604.768
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.49
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		: 3669.104
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.303
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.49
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		: 3599.802
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127822968 kB
MemAvailable:   128006996 kB
Buffers:           86124 kB
Cached:           932256 kB
SwapCached:            0 kB
Active:           271768 kB
Inactive:        2951180 kB
Active(anon):       1524 kB
Inactive(anon):  2224364 kB
Active(file):     270244 kB
Inactive(file):   726816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28928 kB
Writeback:             0 kB
AnonPages:       2202912 kB
Mapped:           124120 kB
Shmem:             21336 kB
KReclaimable:      53580 kB
Slab:             134132 kB
SReclaimable:      53580 kB
SUnreclaim:        80552 kB
KernelStack:        4176 kB
PageTables:        13604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2416264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9824 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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:      185044 kB
DirectMap2M:     5879808 kB
DirectMap1G:    130023424 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC034 at 2024-07-31 00:31:10