Trace number 4434907

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 NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02OPT3608846 80.3437 80.5785

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_4_mh.opb
MD5SUM686c663e5ba65a1fad9d6294fae8a8ab
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3608846
Best CPU time to get the best result obtained on this benchmark14.2238
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 77854483
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3842291271
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 77854483
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3842291271
Number of bits of the biggest sum of numbers32
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.06	c Default LC presolving (default).
0.00/0.06	c ** Before presolving: virtualMemUsedAtLc = 61394944, getVmSize() = 61394944, SCIPgetMemUsed() = 32055570, SCIPgetMemTotal() = 38410090, SCIPgetMemExternEstim() = 20674694
0.00/0.06	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
1.59/1.63	c ** Estimated virtualMemUsedAtSolver = 67766049, getVmSize() = 107573248, SCIPgetMemUsed() = 46008436, SCIPgetMemTotal() = 80974380, SCIPgetMemExternEstim() = 20674694
1.59/1.63	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.59/1.63	c Original Problem   :
1.59/1.63	c   Problem name     : instance-4434907-1721139293
1.59/1.63	c   Variables        : 6810 (6810 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.63	c   Constraints      : 15202
1.59/1.63	c   Objective sense  : minimize
1.59/1.63	c Presolved Problem  :
1.59/1.63	c   Variables        : 5910 (5910 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.63	c   Constraints      : 11734
1.59/1.63	c Constraints        : Number
1.59/1.63	c   knapsack         : 150 
1.59/1.63	c   setppc           : 8521 
1.59/1.63	c   and              : 2940 
1.59/1.63	c   linear           : 3 
1.59/1.63	c   logicor          : 120 
1.59/1.63	c ** Instance transfer method used: 0
1.59/1.66	c ** ParaScipInstance copy does not increase the number of variables. **
1.59/1.69	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.59/1.69	c                                Nodes    Active                                            
1.59/1.69	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
3.38/3.45	c *       3              0           1         1    97100778.0000                -          -
10.95/11.01	c *      11              0           1         1    16327119.0000                -          -
10.95/11.01	c        11              0           1         1    16327119.0000                -          -
11.15/11.24	c *      11              0           1         1    16177470.0000                -          -
11.15/11.24	c *      11              0           1         1    16141286.0000                -          -
11.15/11.26	c *      11              0           1         1     7726620.0000                -          -
19.83/19.97	c *      20              2           0         1     7611981.0000     3351799.9916    127.10%
19.83/19.97	c        20              2           0         1     7611981.0000     3351799.9916    127.10%
31.09/31.21	c        31              3           0         1     7611981.0000     3399063.1728    123.94%
31.09/31.22	c *      31              3           0         1     4322430.0000     3399063.1728     27.17%
40.07/40.24	c *      40              3           0         1     3681812.0000     3399063.1728      8.32%
40.07/40.24	c        40              3           0         1     3681812.0000     3399063.1728      8.32%
48.75/48.95	c        49              5           0         1     3681812.0000     3428676.7387      7.38%
49.64/49.86	c *      50              5           0         1     3611798.0000     3428676.7387      5.34%
58.92/59.11	c *      59              6           0         1     3608846.0000     3432207.2534      5.15%
58.92/59.11	c        59              6           0         1     3608846.0000     3432207.2534      5.15%
67.90/68.16	c        68              8           0         1     3608846.0000     3480144.9428      3.70%
72.98/73.27	c        73              9           0         1     3608846.0000     3514772.3138      2.68%
79.77/80.10	c        80             10           0         1     3608846.0000     3549343.9081      1.68%
80.16/80.47	c        80             10           0         0     3608846.0000     3608846.0000      0.00%
80.26/80.52	c        81             10           0         0     3608846.0000     3608846.0000          -
80.26/80.52	c SCIP Status        : c problem is solved
80.26/80.52	c Total Time         : 80.5100
80.26/80.52	c   solving          : 80.5100
80.26/80.52	c   presolving       : 1.5696 (included in solving)
80.26/80.52	c B&B Tree           :
80.26/80.52	c   nodes (total)    : 10
80.26/80.52	c Solution           :
80.26/80.52	c   Solutions found  : 10
80.26/80.52	c   Primal Bound     : +3.60884600000000e+06
80.26/80.52	c   Dual Bound       : +3.60884600000000e+06
80.26/80.52	c Gap                : 0.00000 %
80.26/80.52	o 3608846
80.26/80.52	s OPTIMUM FOUND
80.26/80.52	v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 
80.26/80.52	v -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 
80.26/80.52	v -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 
80.26/80.52	v -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 
80.26/80.52	v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 
80.26/80.52	v -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 
80.26/80.52	v -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 
80.26/80.52	v -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 
80.26/80.52	v -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 
80.26/80.52	v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 x4596 -x4595 -x4594 
80.26/80.52	v -x4593 -x4592 -x4591 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 
80.26/80.52	v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 
80.26/80.52	v -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 
80.26/80.52	v -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4525 -x4524 -x4523 -x4522 
80.26/80.52	v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 
80.26/80.52	v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 
80.26/80.52	v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 
80.26/80.52	v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 
80.26/80.52	v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 
80.26/80.52	v -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 
80.26/80.52	v -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 
80.26/80.52	v -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 
80.26/80.52	v -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 
80.26/80.52	v -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 
80.26/80.52	v -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 
80.26/80.52	v -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 
80.26/80.52	v -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 
80.26/80.52	v -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 
80.26/80.52	v -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 
80.26/80.52	v -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 
80.26/80.52	v -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 
80.26/80.52	v -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 
80.26/80.52	v -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 
80.26/80.52	v -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 
80.26/80.52	v -x3982 -x3981 -x3980 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 
80.26/80.52	v -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 
80.26/80.52	v -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 
80.26/80.52	v -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 
80.26/80.52	v -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 
80.26/80.52	v -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 
80.26/80.52	v -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x3862 -x3861 -x3860 -x3859 -x3858 
80.26/80.52	v -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 
80.26/80.52	v -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 
80.26/80.52	v -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 
80.26/80.52	v -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 
80.26/80.52	v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 
80.26/80.52	v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 
80.26/80.52	v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 
80.26/80.52	v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 
80.26/80.52	v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 x3884 -x3883 -x3882 -x3881 -x3880 -x3879 
80.26/80.52	v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3680 -x3679 
80.26/80.52	v -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 
80.26/80.52	v -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 
80.26/80.52	v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 
80.26/80.52	v -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 
80.26/80.52	v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 
80.26/80.52	v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 
80.26/80.52	v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 
80.26/80.52	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 
80.26/80.52	v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 
80.26/80.52	v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 
80.26/80.52	v -x3682 -x3681 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 
80.26/80.52	v -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 
80.26/80.52	v -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 
80.26/80.52	v -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 
80.26/80.52	v -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 
80.26/80.52	v -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 
80.26/80.52	v -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 
80.26/80.52	v -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 
80.26/80.52	v -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 
80.26/80.52	v -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 
80.26/80.52	v -x6246 -x6245 -x6244 -x6243 -x6242 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 
80.26/80.52	v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 
80.26/80.52	v -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 
80.26/80.52	v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 
80.26/80.52	v -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 
80.26/80.52	v -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 
80.26/80.52	v -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 
80.26/80.52	v -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 
80.26/80.52	v -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 
80.26/80.52	v -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 
80.26/80.52	v -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 
80.26/80.52	v -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 
80.26/80.52	v -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 
80.26/80.52	v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 
80.26/80.52	v -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5981 -x5980 -x5979 
80.26/80.52	v -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 
80.26/80.52	v -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 
80.26/80.52	v -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 
80.26/80.52	v -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 
80.26/80.52	v -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 
80.26/80.52	v -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 
80.26/80.52	v -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 
80.26/80.52	v -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 
80.26/80.52	v -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 
80.26/80.52	v -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 
80.26/80.52	v -x5618 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 
80.26/80.52	v -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 
80.26/80.52	v -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 
80.26/80.52	v -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 
80.26/80.52	v -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 
80.26/80.52	v -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5513 -x5512 -x5511 
80.26/80.52	v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 
80.26/80.52	v -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 
80.26/80.52	v -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 
80.26/80.52	v -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 
80.26/80.52	v -x5439 -x5438 -x5437 -x5436 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 
80.26/80.52	v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 
80.26/80.52	v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 
80.26/80.52	v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 
80.26/80.52	v -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 
80.26/80.52	v -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 
80.26/80.52	v -x5514 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 
80.26/80.52	v -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 
80.26/80.52	v -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 
80.26/80.52	v -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 
80.26/80.52	v -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 
80.26/80.52	v -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 
80.26/80.52	v -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 
80.26/80.52	v -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 
80.26/80.52	v -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 
80.26/80.52	v -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 
80.26/80.52	v -x5335 -x5334 -x5333 -x5332 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 
80.26/80.52	v -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 
80.26/80.52	v -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 
80.26/80.52	v -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 
80.26/80.52	v -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 
80.26/80.52	v -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 
80.26/80.52	v -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 
80.26/80.52	v -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 
80.26/80.52	v -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 
80.26/80.52	v -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 
80.26/80.52	v -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 
80.26/80.52	v -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 
80.26/80.52	v -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 
80.26/80.52	v -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 
80.26/80.52	v -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x5071 -x5070 -x5069 -x5068 
80.26/80.52	v -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 
80.26/80.52	v -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 
80.26/80.52	v -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 
80.26/80.52	v -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 
80.26/80.52	v -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 
80.26/80.52	v -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 
80.26/80.52	v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
80.26/80.52	v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 
80.26/80.52	v -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 
80.26/80.52	v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 
80.26/80.52	v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 
80.26/80.52	v -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 
80.26/80.52	v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 
80.26/80.52	v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 
80.26/80.52	v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 
80.26/80.52	v -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x6675 -x6659 -x6643 
80.26/80.52	v -x6627 -x6611 -x6595 -x6804 -x6788 -x6772 -x6756 -x6740 -x6724 -x6708 -x6692 -x6676 -x3480 -x3464 -x3448 -x3432 -x3416 -x3400 
80.26/80.52	v -x3609 -x3593 -x3577 -x3561 -x3545 -x3529 -x3513 -x3497 -x3481 -x6435 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 
80.26/80.52	v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x6419 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 
80.26/80.52	v -x979 -x978 -x977 -x976 -x6403 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x6387 
80.26/80.52	v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x6371 -x270 -x269 -x268 -x267 -x266 
80.26/80.52	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x6355 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 
80.26/80.52	v -x19 -x18 -x17 -x16 -x6564 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 
80.26/80.52	v -x3376 -x6548 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x6532 
80.26/80.52	v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x6516 -x2670 -x2669 
80.26/80.52	v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x6500 -x2430 -x2429 -x2428 -x2427 
80.26/80.52	v -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x6484 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
80.26/80.52	v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x6468 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 
80.26/80.52	v -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x6452 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 
80.26/80.52	v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x6436 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
80.26/80.52	v -x1459 -x1458 -x1457 -x1456 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 -x6674 -x6673 -x6672 -x6671 -x6670 
80.26/80.52	v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6658 -x6657 -x6656 x6655 -x6654 -x6653 -x6652 x6651 
80.26/80.52	v -x6650 -x6649 x6648 -x6647 -x6646 -x6645 -x6644 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 
80.26/80.52	v -x6631 -x6630 -x6629 -x6628 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 
80.26/80.52	v -x6612 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 x6599 -x6598 -x6597 -x6596 -x6594 -x6593 
80.26/80.52	v x6592 x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6803 -x6802 -x6801 -x6800 -x6799 
80.26/80.52	v -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 
80.26/80.52	v -x6779 -x6778 -x6777 -x6776 x6775 -x6774 -x6773 x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 x6764 -x6763 -x6762 -x6761 
80.26/80.52	v x6760 -x6759 -x6758 x6757 -x6755 -x6754 x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 
80.26/80.52	v -x6741 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6723 -x6722 
80.26/80.52	v -x6721 -x6720 x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 x6711 -x6710 -x6709 -x6707 -x6706 -x6705 -x6704 -x6703 
80.26/80.52	v -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 
80.26/80.52	v -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6585 x6584 -x6583 -x6582 -x6581 x6580 -x6579 -x6578 x6577 -x6576 -x6575 
80.26/80.52	v -x6574 x6573 -x6572 -x6571 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 
80.26/80.52	v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 
80.26/80.52	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 
80.26/80.52	v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 
80.26/80.52	v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 
80.26/80.52	v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 
80.26/80.52	v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 
80.26/80.52	v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 
80.26/80.52	v -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 
80.26/80.52	v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 
80.26/80.52	v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 
80.26/80.52	v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1005 
80.26/80.52	v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x975 -x974 -x973 -x972 -x971 -x970 
80.26/80.52	v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 
80.26/80.52	v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 
80.26/80.52	v -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
80.26/80.52	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
80.26/80.52	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 
80.26/80.52	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 
80.26/80.52	v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
80.26/80.52	v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 
80.26/80.52	v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 
80.26/80.52	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
80.26/80.52	v -x1008 -x1007 -x1006 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 
80.26/80.52	v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
80.26/80.52	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
80.26/80.52	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x915 -x914 -x913 -x912 -x911 
80.26/80.52	v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 
80.26/80.52	v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 
80.26/80.52	v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 
80.26/80.52	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 
80.26/80.52	v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 
80.26/80.52	v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 
80.26/80.52	v -x785 -x784 -x783 -x782 -x781 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 
80.26/80.52	v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 
80.26/80.52	v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 
80.26/80.52	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x690 -x689 -x688 
80.26/80.52	v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 
80.26/80.52	v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 
80.26/80.52	v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 
80.26/80.52	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 
80.26/80.52	v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 
80.26/80.52	v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 
80.26/80.52	v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 
80.26/80.52	v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 
80.26/80.52	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 
80.26/80.52	v -x274 -x273 -x272 -x271 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x465 -x464 
80.26/80.52	v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 
80.26/80.52	v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 
80.26/80.52	v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 
80.26/80.52	v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 
80.26/80.52	v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 
80.26/80.52	v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 
80.26/80.52	v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
80.26/80.52	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 
80.26/80.52	v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 
80.26/80.52	v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
80.26/80.52	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
80.26/80.52	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
80.26/80.52	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
80.26/80.52	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
80.26/80.52	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
80.26/80.52	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x3255 -x3254 
80.26/80.52	v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 
80.26/80.52	v -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 
80.26/80.52	v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 
80.26/80.52	v -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 
80.26/80.52	v -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3375 
80.26/80.52	v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 
80.26/80.52	v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 
80.26/80.52	v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 
80.26/80.52	v -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 
80.26/80.52	v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 
80.26/80.52	v -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 
80.26/80.52	v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 
80.26/80.52	v -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 
80.26/80.52	v -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 
80.26/80.52	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 
80.26/80.52	v -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 
80.26/80.52	v -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x3165 -x3164 -x3163 -x3162 -x3161 
80.26/80.52	v -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
80.26/80.52	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
80.26/80.52	v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 
80.26/80.52	v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 
80.26/80.52	v -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 
80.26/80.52	v -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 
80.26/80.52	v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 
80.26/80.52	v -x2795 -x2794 -x2793 -x2792 x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 
80.26/80.52	v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 
80.26/80.52	v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 
80.26/80.52	v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 
80.26/80.52	v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 
80.26/80.52	v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 
80.26/80.52	v -x2913 -x2912 -x2911 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 
80.26/80.52	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 
80.26/80.52	v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 
80.26/80.52	v -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
80.26/80.52	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 
80.26/80.52	v -x2808 -x2807 -x2806 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 
80.26/80.52	v -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 
80.26/80.52	v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 
80.26/80.52	v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 
80.26/80.52	v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 
80.26/80.52	v -x2494 -x2493 -x2492 -x2491 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 
80.26/80.52	v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 
80.26/80.52	v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2655 -x2654 -x2653 -x2652 -x2651 
80.26/80.52	v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 
80.26/80.52	v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 
80.26/80.52	v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 
80.26/80.52	v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2355 
80.26/80.52	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
80.26/80.52	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 
80.26/80.52	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
80.26/80.52	v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 
80.26/80.52	v -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 
80.26/80.52	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
80.26/80.52	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 
80.26/80.52	v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
80.26/80.52	v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 
80.26/80.52	v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 
80.26/80.52	v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 
80.26/80.52	v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2130 -x2129 -x2128 -x2127 -x2126 
80.26/80.52	v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 
80.26/80.52	v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 
80.26/80.52	v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 
80.26/80.52	v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 
80.26/80.52	v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2265 -x2264 -x2263 -x2262 -x2261 
80.26/80.52	v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 
80.26/80.52	v -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 
80.26/80.52	v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 
80.26/80.52	v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2175 
80.26/80.52	v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 
80.26/80.52	v -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 
80.26/80.52	v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
80.26/80.52	v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 
80.26/80.52	v -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 
80.26/80.52	v -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 
80.26/80.52	v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 
80.26/80.52	v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 
80.26/80.52	v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 
80.26/80.52	v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 
80.26/80.52	v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 
80.26/80.52	v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 
80.26/80.52	v -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 
80.26/80.52	v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 
80.26/80.52	v -x1909 -x1908 -x1907 -x1906 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 
80.26/80.52	v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 
80.26/80.52	v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 
80.26/80.52	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 
80.26/80.52	v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 
80.26/80.52	v -x1595 -x1594 -x1593 -x1592 -x1591 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 
80.26/80.52	v -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 
80.26/80.52	v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 
80.26/80.52	v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 
80.26/80.52	v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 
80.26/80.52	v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 
80.26/80.52	v -x1713 -x1712 -x1711 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 
80.26/80.52	v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 
80.26/80.52	v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 
80.26/80.52	v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 
80.26/80.52	v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 
80.26/80.52	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 
80.26/80.52	v -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 
80.26/80.52	v -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 
80.26/80.52	v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 
80.26/80.52	v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 
80.26/80.52	v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 
80.26/80.52	v -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 
80.26/80.52	v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x3479 -x3478 -x3477 -x3476 -x3475 
80.26/80.52	v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 
80.26/80.52	v -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 
80.26/80.52	v -x3437 -x3436 -x3435 -x3434 -x3433 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 
80.26/80.56	v x3418 -x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3399 
80.26/80.56	v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3608 -x3607 -x3606 -x3605 
80.26/80.56	v -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 
80.26/80.56	v -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 
80.26/80.56	v -x3566 -x3565 -x3564 -x3563 -x3562 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 
80.26/80.56	v -x3547 -x3546 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3528 
80.26/80.56	v -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 -x3509 
80.26/80.56	v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 
80.26/80.56	v -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 x6427 -x6426 
80.26/80.56	v -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 x6409 -x6408 -x6407 
80.26/80.56	v -x6406 -x6405 -x6404 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 
80.26/80.56	v -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 x6370 -x6369 -x6368 
80.26/80.56	v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 x6356 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 
80.26/80.56	v -x6348 -x6347 -x6346 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6563 x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 
80.26/80.56	v -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6547 -x6546 -x6545 -x6544 x6543 -x6542 -x6541 x6540 -x6539 -x6538 -x6537 -x6536 -x6535 
80.26/80.56	v x6534 -x6533 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6515 
80.26/80.56	v -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6499 x6498 -x6497 -x6496 
80.26/80.56	v -x6495 x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 x6477 
80.26/80.56	v -x6476 -x6475 -x6474 x6473 -x6472 -x6471 x6470 -x6469 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 
80.26/80.56	v -x6457 -x6456 -x6455 -x6454 -x6453 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 
80.26/80.56	v -x6438 -x6437

Verifier Data 

OK	3608846

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=857510, runsolver pid=857507
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 4.10 4.16 4.16 5/261 857511
/proc/meminfo: memFree=105155708/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=68768 memory=57000 CPUtime=0.1 cores=1,3
/proc/857510/stat : 857510 (fscip) R 857507 857510 853275 0 -1 4194304 11962 0 0 0 8 2 0 0 20 0 1 0 166094254 70418432 14250 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 17192 14250 2638 3032 0 13592 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68768 KiB
Current children cumulated memory: 57000 KiB

[startup+0.20591 s]*
/proc/loadavg: 4.10 4.16 4.16 6/261 857511
/proc/meminfo: memFree=105141020/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=81796 memory=70964 CPUtime=0.2 cores=1,3
/proc/857510/stat : 857510 (fscip) R 857507 857510 853275 0 -1 4194304 17373 0 0 0 18 2 0 0 20 0 1 0 166094254 83759104 17741 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 20449 17741 2734 3032 0 16849 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81796 KiB
Current children cumulated memory: 70964 KiB

[startup+0.30576 s]*
/proc/loadavg: 4.10 4.16 4.16 5/261 857511
/proc/meminfo: memFree=105135896/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=87488 memory=76012 CPUtime=0.3 cores=1,3
/proc/857510/stat : 857510 (fscip) R 857507 857510 853275 0 -1 4194304 18591 0 0 0 28 2 0 0 20 0 1 0 166094254 89587712 19003 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 21872 19003 2750 3032 0 18272 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87488 KiB
Current children cumulated memory: 76012 KiB

[startup+0.700262 s]
/proc/loadavg: 4.10 4.16 4.16 5/261 857511
/proc/meminfo: memFree=105132620/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=91392 memory=79972 CPUtime=0.68 cores=1,3
/proc/857510/stat : 857510 (fscip) R 857507 857510 853275 0 -1 4194304 19562 0 0 0 66 2 0 0 20 0 1 0 166094254 93585408 19993 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 22848 19993 2750 3032 0 19248 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91392 KiB
Current children cumulated memory: 79972 KiB

[startup+1.50026 s]
/proc/loadavg: 4.10 4.16 4.16 5/261 857511
/proc/meminfo: memFree=105129940/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=92968 memory=81292 CPUtime=1.49 cores=1,3
/proc/857510/stat : 857510 (fscip) R 857507 857510 853275 0 -1 4194304 19952 0 0 0 146 3 0 0 20 0 1 0 166094254 95199232 20323 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 23242 20323 2750 3032 0 19642 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 92968 KiB
Current children cumulated memory: 81292 KiB

[startup+3.10586 s]
/proc/loadavg: 4.10 4.16 4.16 5/263 857513
/proc/meminfo: memFree=105067048/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=192220 memory=144236 CPUtime=3.08 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 44362 0 0 0 302 6 0 0 20 0 3 0 166094254 196833280 36059 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 48055 36059 2798 3032 0 42355 0
[pid=857510/tid=857512] ppid=857507 vsize=192220 memory=198340509722 CPUtime=1.42 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 18668 0 0 0 140 2 0 0 20 0 3 0 166094418 196833280 36059 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=192220 memory=0 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 166094423 196833280 36059 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192220 KiB
Current children cumulated memory: 144236 KiB

[startup+6.30028 s]
/proc/loadavg: 4.17 4.17 4.16 5/263 857513
/proc/meminfo: memFree=105003152/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=257756 memory=208548 CPUtime=6.26 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 66371 0 0 0 618 8 0 0 20 0 3 0 166094254 263942144 52137 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 64439 52137 2974 3032 0 58772 0
[pid=857510/tid=857512] ppid=857507 vsize=257756 memory=0 CPUtime=4.61 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 39814 0 0 0 456 5 0 0 20 0 3 0 166094418 263942144 52137 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=257756 memory=0 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 166094423 263942144 52137 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 257756 KiB
Current children cumulated memory: 208548 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.18 4.17 5/263 857515
/proc/meminfo: memFree=104949424/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=323292 memory=260084 CPUtime=12.65 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 119133 0 0 0 1252 13 0 0 20 0 3 0 166094254 331051008 65021 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 80823 65021 2974 3032 0 76457 0
[pid=857510/tid=857512] ppid=857507 vsize=323292 memory=0 CPUtime=10.99 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 91606 0 0 0 1090 9 0 0 20 0 3 0 166094418 331051008 65021 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=323292 memory=260072 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 166094423 331051008 65021 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 323292 KiB
Current children cumulated memory: 260084 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.17 4.16 5/263 857516
/proc/meminfo: memFree=104907268/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=388828 memory=298892 CPUtime=25.41 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 177384 0 0 0 2524 17 0 0 20 0 3 0 166094254 398159872 74723 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 97207 74723 2974 3032 0 88882 0
[pid=857510/tid=857512] ppid=857507 vsize=388828 memory=11444 CPUtime=23.74 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 148967 0 0 0 2361 13 0 0 20 0 3 0 166094418 398159872 74723 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=388828 memory=11444 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 166094423 398159872 74723 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 388828 KiB
Current children cumulated memory: 298892 KiB

[startup+51.1059 s]
/proc/loadavg: 4.20 4.18 4.17 5/263 857521
/proc/meminfo: memFree=104820152/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=379992 CPUtime=50.95 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 281774 0 0 0 5067 28 0 0 20 0 3 0 166094254 532377600 94998 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 94998 2974 3032 0 115304 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=11444 CPUtime=49.27 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 250670 0 0 0 4904 23 0 0 20 0 3 0 166094418 532377600 94998 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=363072 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 94998 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 379992 KiB

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

# cumulated CPU time of all completed processes:  user=79.9719 s, system=0.371788 s

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

[startup+51.2003 s]
/proc/loadavg: 4.20 4.18 4.17 5/263 857521
/proc/meminfo: memFree=104820152/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=379992 CPUtime=51.05 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 281776 0 0 0 5077 28 0 0 20 0 3 0 166094254 532377600 94998 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 94998 2974 3032 0 115304 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=260084 CPUtime=49.37 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 250672 0 0 0 4914 23 0 0 20 0 3 0 166094418 532377600 94998 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=341552 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 94998 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 379992 KiB

[startup+64.0003 s]*
/proc/loadavg: 4.17 4.17 4.16 5/263 857523
/proc/meminfo: memFree=104812332/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=384560 CPUtime=63.81 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 316007 0 0 0 6350 31 0 0 20 0 3 0 166094254 532377600 96140 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 96140 2974 3032 0 116187 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=6720667627616157544 CPUtime=62.13 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 284111 0 0 0 6187 26 0 0 20 0 3 0 166094418 532377600 96140 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=33140 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 96140 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 63.81 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 384560 KiB

[startup+70.4003 s]
/proc/loadavg: 4.14 4.16 4.16 5/263 857525
/proc/meminfo: memFree=104808252/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=389580 CPUtime=70.19 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 332457 0 0 0 6987 32 0 0 20 0 3 0 166094254 532377600 97395 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 97395 2974 3032 0 118022 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=164 CPUtime=68.51 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 300539 0 0 0 6823 28 0 0 20 0 3 0 166094418 532377600 97395 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=41700 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 97395 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 70.19 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 389580 KiB

[startup+76.8003 s]
/proc/loadavg: 4.13 4.16 4.16 5/263 857525
/proc/meminfo: memFree=104793288/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=403792 CPUtime=76.56 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 353428 0 0 0 7623 33 0 0 20 0 3 0 166094254 532377600 100948 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 100948 2974 3032 0 123305 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=267860 CPUtime=74.89 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 321506 0 0 0 7460 29 0 0 20 0 3 0 166094418 532377600 100948 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=341964 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 100948 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 76.56 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 403792 KiB

[startup+78.4003 s]
/proc/loadavg: 4.13 4.16 4.16 5/263 857526
/proc/meminfo: memFree=104788460/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=405040 CPUtime=78.16 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 353808 0 0 0 7783 33 0 0 20 0 3 0 166094254 532377600 101260 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 101260 2974 3032 0 124349 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=32188 CPUtime=76.49 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 321886 0 0 0 7620 29 0 0 20 0 3 0 166094418 532377600 101260 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=1816 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 101260 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 78.16 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 405040 KiB

[startup+79.2003 s]
/proc/loadavg: 4.13 4.16 4.16 5/263 857526
/proc/meminfo: memFree=104788092/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=405604 CPUtime=78.96 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 354008 0 0 0 7863 33 0 0 20 0 3 0 166094254 532377600 101401 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 101401 2974 3032 0 124438 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=41700 CPUtime=77.28 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 322086 0 0 0 7699 29 0 0 20 0 3 0 166094418 532377600 101401 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=13072 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 101401 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 78.96 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 405604 KiB

[startup+80.0003 s]*
/proc/loadavg: 4.12 4.16 4.16 5/263 857526
/proc/meminfo: memFree=104786496/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=406056 CPUtime=79.77 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 354187 0 0 0 7943 34 0 0 20 0 3 0 166094254 532377600 101514 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 101514 2974 3032 0 124567 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=6720667627616157544 CPUtime=78.08 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 322265 0 0 0 7779 29 0 0 20 0 3 0 166094418 532377600 101514 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=705 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 101514 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 79.77 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 406056 KiB

[startup+80.4003 s]
/proc/loadavg: 4.12 4.16 4.16 5/263 857526
/proc/meminfo: memFree=104786496/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=408740 CPUtime=80.16 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 355088 0 0 0 7982 34 0 0 20 0 3 0 166094254 532377600 102185 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 102185 2974 3032 0 125341 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=41700 CPUtime=78.49 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 323166 0 0 0 7819 30 0 0 20 0 3 0 166094418 532377600 102185 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=13072 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 102185 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 80.16 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 408740 KiB

[startup+80.5003 s]
/proc/loadavg: 4.12 4.16 4.16 5/263 857526
/proc/meminfo: memFree=104786496/131524600 swapFree=131071996/131071996
[pid=857510] ppid=857507 vsize=519900 memory=409248 CPUtime=80.26 cores=1,3
/proc/857510/stat : 857510 (fscip) S 857507 857510 853275 0 -1 1077936128 358685 0 0 0 7992 34 0 0 20 0 3 0 166094254 532377600 102312 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
/proc/857510/statm: 129975 102312 2974 3032 0 125468 0
[pid=857510/tid=857512] ppid=857507 vsize=519900 memory=384560 CPUtime=78.59 cores=1,3
/proc/857510/task/857512/stat : 857512 (fscip) R 857507 857510 853275 0 -1 4194368 326760 0 0 0 7829 30 0 0 20 0 3 0 166094418 532377600 102312 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
[pid=857510/tid=857513] ppid=857507 vsize=519900 memory=384560 CPUtime=0 cores=1,3
/proc/857510/task/857513/stat : 857513 (fscip) S 857507 857510 853275 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 166094423 532377600 102312 134679101440 4194304 16613245 140726787572688 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42373120 140726787576853 140726787576969 140726787576969 140726787583984 0
Current children cumulated CPU time: 80.26 s
Current children cumulated vsize: 519900 KiB
Current children cumulated memory: 409248 KiB

Child status: 0

Real time (s): 80.5785
CPU time (s): 80.3437
CPU user time (s): 79.9719
CPU system time (s): 0.371788
CPU usage (%): 99.7086
Max. virtual memory (cumulated for all children) (KiB): 519900
Max. memory (cumulated for all children) (KiB): 409248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.9719
system time used= 0.371788
maximum resident set size= 409248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375513
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= 120
involuntary context switches= 112


# summary of solver processes directly reported to runsolver:
#   pid: 857510
#   total CPU time (s): 80.3437
#   total CPU user time (s): 79.9719
#   total CPU system time (s): 0.371788

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.162641 second user time and 0.456499 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-16 16:15:06
IDJOB=4434907
IDBENCH=155667
IDSOLVER=3064
FILE ID=nodeC024/4434907-1721139293
RUNJOBID= nodeC024-1721132097-853287
SLURM_JOB_ID= 7505702
Free space on /tmp= 889924 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_4_mh.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-4434907-1721139293/watcher-4434907-1721139293 -o /tmp/evaluation-result-4434907-1721139293/solver-4434907-1721139293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721132097-853287 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434907-1721139293.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 686c663e5ba65a1fad9d6294fae8a8ab
RANDOM SEED=2072534467

nodeC024.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.005
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.60
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		: 3665.271
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	: 7007.08
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		: 3676.321
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.60
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		: 3677.543
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	: 7007.08
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		: 3676.339
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.60
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		: 3683.706
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	: 7007.08
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.846
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.60
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		: 3628.170
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        105201660 kB
MemAvailable:   109735160 kB
Buffers:          420976 kB
Cached:          4897448 kB
SwapCached:            0 kB
Active:           814304 kB
Inactive:       24763540 kB
Active(anon):       1548 kB
Inactive(anon): 20295260 kB
Active(file):     812756 kB
Inactive(file):  4468280 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29184 kB
Writeback:            24 kB
AnonPages:      20257088 kB
Mapped:           139600 kB
Shmem:             37720 kB
KReclaimable:     184224 kB
Slab:             300516 kB
SReclaimable:     184224 kB
SUnreclaim:       116292 kB
KernelStack:        4220 kB
PageTables:        49940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9771712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61760 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2740224 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:      240340 kB
DirectMap2M:    23650304 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 889896 MiB
End job on nodeC024 at 2024-07-16 16:16:27