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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 35352576, getVmSize() = 35352576, SCIPgetMemUsed() = 11792008, SCIPgetMemTotal() = 13655648, SCIPgetMemExternEstim() = 4168980
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.42/0.44 c ** Estimated virtualMemUsedAtSolver = 57809278, getVmSize() = 105668608, SCIPgetMemUsed() = 70634778, SCIPgetMemTotal() = 82544938, SCIPgetMemExternEstim() = 4168980
0.42/0.44 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.42/0.44 c Original Problem :
0.42/0.44 c Problem name : instance-4457680-1721865123
0.42/0.44 c Variables : 5000 (5000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.42/0.44 c Constraints : 1
0.42/0.44 c Objective sense : minimize
0.42/0.44 c Presolved Problem :
0.42/0.44 c Variables : 5000 (5000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.42/0.44 c Constraints : 986
0.42/0.44 c Constraints : Number
0.42/0.44 c knapsack : 1
0.42/0.44 c setppc : 985
0.42/0.44 c ** Instance transfer method used: 0
0.42/0.47 c ** ParaScipInstance copy does not increase the number of variables. **
0.42/0.48 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.42/0.48 c Nodes Active
0.42/0.48 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.79/0.81 c * 1 0 1 1 -246093.0000 - -
0.79/0.88 c * 1 0 1 1 -246094.0000 - -
1.00/1.03 c * 1 0 1 1 -246112.0000 - -
1.00/1.03 c 1 1 0 0 -246112.0000 -246112.0000 0.00%
1.00/1.06 c 1 1 0 0 -246112.0000 -246112.0000 -
1.00/1.06 c SCIP Status : c problem is solved
1.00/1.06 c Total Time : 1.0600
1.00/1.06 c solving : 1.0600
1.00/1.06 c presolving : 0.4119 (included in solving)
1.00/1.06 c B&B Tree :
1.00/1.06 c nodes (total) : 1
1.00/1.06 c Solution :
1.00/1.06 c Solutions found : 4
1.00/1.06 c Primal Bound : -2.46112000000000e+05
1.00/1.06 c Dual Bound : -2.46112000000000e+05
1.00/1.06 c Gap : 0.00000 %
1.00/1.06 o -246112
1.00/1.06 s OPTIMUM FOUND
1.00/1.06 v -x5000 -x4999 -x4998 -x4997 x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982
1.00/1.06 v -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964
1.00/1.06 v -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 x4953 -x4952 -x4951 -x4950 -x4949 -x4948 x4947 -x4946
1.00/1.06 v -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 x4932 -x4931 -x4930 -x4929 -x4928
1.00/1.06 v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910
1.00/1.06 v -x4909 x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892
1.00/1.06 v -x4891 x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 x4883 -x4882 -x4881 x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874
1.00/1.06 v -x4873 -x4872 -x4871 -x4870 x4869 x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856
1.00/1.06 v -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838
1.00/1.06 v -x4837 -x4836 -x4835 x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 x4820
1.00/1.06 v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 x4803 -x4802
1.00/1.06 v -x4801 -x4800 -x4799 -x4798 -x4797 x4796 -x4795 -x4794 -x4793 -x4792 -x4791 x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784
1.00/1.06 v -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 x4769 -x4768 -x4767 -x4766
1.00/1.06 v -x4765 -x4764 -x4763 -x4762 x4761 -x4760 -x4759 -x4758 -x4757 x4756 -x4755 -x4754 -x4753 -x4752 -x4751 x4750 -x4749 -x4748 x4747
1.00/1.06 v -x4746 -x4745 -x4744 x4743 -x4742 -x4741 -x4740 -x4739 x4738 -x4737 -x4736 -x4735 x4734 -x4733 -x4732 -x4731 -x4730 -x4729
1.00/1.06 v -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 x4717 -x4716 -x4715 -x4714 -x4713 x4712 -x4711
1.00/1.06 v -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693
1.00/1.06 v -x4692 -x4691 -x4690 x4689 -x4688 -x4687 x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675
1.00/1.06 v -x4674 -x4673 -x4672 -x4671 x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657
1.00/1.06 v -x4656 -x4655 -x4654 x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639
1.00/1.06 v -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621
1.00/1.06 v -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603
1.00/1.06 v -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585
1.00/1.06 v -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567
1.00/1.06 v -x4566 -x4565 -x4564 -x4563 x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 x4549
1.00/1.06 v -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531
1.00/1.06 v -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513
1.00/1.06 v -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 x4500 -x4499 -x4498 -x4497 x4496 -x4495
1.00/1.06 v x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 x4482 -x4481 -x4480 -x4479 x4478 x4477 -x4476
1.00/1.06 v -x4475 -x4474 -x4473 x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458
1.00/1.06 v -x4457 -x4456 -x4455 -x4454 x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 x4440
1.00/1.06 v -x4439 x4438 -x4437 -x4436 -x4435 -x4434 -x4433 x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422
1.00/1.06 v -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 x4414 -x4413 -x4412 -x4411 -x4410 x4409 -x4408 -x4407 -x4406 -x4405 -x4404
1.00/1.06 v -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 x4390 -x4389 -x4388 -x4387 x4386
1.00/1.06 v -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 x4373 -x4372 -x4371 -x4370 -x4369 -x4368
1.00/1.06 v -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 x4357 -x4356 -x4355 -x4354 x4353 x4352 -x4351 -x4350 -x4349
1.00/1.06 v -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331
1.00/1.06 v -x4330 x4329 -x4328 x4327 x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 x4318 -x4317 -x4316 -x4315 -x4314 -x4313
1.00/1.06 v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 x4301 -x4300 x4299 -x4298 -x4297 -x4296 -x4295
1.00/1.06 v -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
1.00/1.06 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 x4265 -x4264 -x4263 x4262 -x4261 -x4260 -x4259
1.00/1.06 v -x4258 -x4257 x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 x4246 -x4245 -x4244 -x4243 -x4242 -x4241
1.00/1.06 v x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
1.00/1.06 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 x4216 -x4215 -x4214 -x4213 x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
1.00/1.06 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
1.00/1.06 v -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 x4173 -x4172 -x4171 -x4170 x4169
1.00/1.06 v -x4168 -x4167 -x4166 -x4165 -x4164 x4163 -x4162 -x4161 -x4160 -x4159 -x4158 x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150
1.00/1.06 v -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133
1.00/1.06 v -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 x4125 x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114
1.00/1.06 v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 x4098 -x4097 -x4096
1.00/1.06 v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079
1.00/1.06 v -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 x4072 -x4071 -x4070 -x4069 -x4068 x4067 x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060
1.00/1.06 v -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 x4044 -x4043 -x4042
1.00/1.06 v -x4041 -x4040 -x4039 -x4038 -x4037 x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 x4025 -x4024
1.00/1.06 v -x4023 -x4022 -x4021 -x4020 -x4019 x4018 -x4017 -x4016 x4015 -x4014 -x4013 -x4012 x4011 -x4010 -x4009 x4008 -x4007 -x4006
1.00/1.06 v -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988
1.00/1.06 v -x3987 -x3986 -x3985 -x3984 -x3983 x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 x3973 -x3972 -x3971 -x3970
1.00/1.06 v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 x3957 -x3956 -x3955 -x3954 -x3953 -x3952
1.00/1.06 v -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934
1.00/1.06 v -x3933 -x3932 -x3931 x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916
1.00/1.06 v -x3915 x3914 -x3913 x3912 -x3911 x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 x3900 -x3899 -x3898 -x3897
1.00/1.06 v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 x3887 x3886 -x3885 -x3884 -x3883 x3882 -x3881 -x3880 -x3879
1.00/1.06 v -x3878 -x3877 -x3876 x3875 -x3874 -x3873 x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861
1.00/1.06 v -x3860 -x3859 -x3858 -x3857 x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 x3848 -x3847 -x3846 x3845 x3844 -x3843 -x3842
1.00/1.06 v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 x3831 -x3830 x3829 x3828 -x3827 -x3826 -x3825 -x3824
1.00/1.06 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 x3811 -x3810 -x3809 -x3808 -x3807 -x3806
1.00/1.06 v -x3805 -x3804 x3803 -x3802 -x3801 -x3800 x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788
1.00/1.06 v -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770
1.00/1.06 v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752
1.00/1.06 v -x3751 -x3750 x3749 -x3748 x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734
1.00/1.06 v -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 x3723 -x3722 x3721 -x3720 -x3719 -x3718 -x3717 -x3716
1.00/1.06 v -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 x3705 x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698
1.00/1.06 v -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 x3688 -x3687 -x3686 -x3685 -x3684 -x3683 x3682 -x3681 -x3680
1.00/1.06 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662
1.00/1.06 v -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 x3653 -x3652 -x3651 -x3650 -x3649 -x3648 x3647 -x3646 -x3645 -x3644
1.00/1.06 v -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626
1.00/1.06 v -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608
1.00/1.06 v -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 x3592 -x3591 -x3590
1.00/1.06 v -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572
1.00/1.06 v -x3571 -x3570 x3569 x3568 -x3567 -x3566 x3565 -x3564 -x3563 -x3562 -x3561 x3560 -x3559 x3558 -x3557 -x3556 -x3555 -x3554 x3553
1.00/1.06 v -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 x3537 -x3536 -x3535
1.00/1.06 v -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 x3524 x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517
1.00/1.06 v -x3516 -x3515 x3514 x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 x3505 -x3504 -x3503 -x3502 -x3501 -x3500 x3499
1.00/1.06 v -x3498 x3497 -x3496 -x3495 -x3494 -x3493 -x3492 x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481
1.00/1.06 v -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 x3467 -x3466 -x3465 -x3464 -x3463
1.00/1.06 v x3462 -x3461 x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444
1.00/1.06 v -x3443 x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426
1.00/1.06 v -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409
1.00/1.06 v -x3408 x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 x3396 -x3395 -x3394 -x3393 x3392 -x3391 -x3390
1.00/1.06 v -x3389 -x3388 -x3387 x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 x3373 x3372
1.00/1.06 v x3371 -x3370 -x3369 -x3368 -x3367 x3366 -x3365 -x3364 -x3363 x3362 -x3361 x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354
1.00/1.06 v -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336
1.00/1.06 v -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318
1.00/1.06 v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 x3306 x3305 x3304 -x3303 -x3302 x3301 -x3300 -x3299
1.00/1.06 v x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281
1.00/1.06 v -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264
1.00/1.06 v -x3263 -x3262 x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 x3247 -x3246 -x3245
1.00/1.06 v -x3244 -x3243 x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227
1.00/1.06 v -x3226 -x3225 x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 x3215 x3214 -x3213 -x3212 x3211 -x3210 -x3209
1.00/1.06 v -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 x3195 -x3194 x3193 -x3192 x3191
1.00/1.06 v -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 x3181 -x3180 -x3179 x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172
1.00/1.06 v -x3171 -x3170 -x3169 -x3168 -x3167 x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 x3157 -x3156 -x3155 -x3154
1.00/1.06 v x3153 -x3152 -x3151 -x3150 -x3149 -x3148 x3147 -x3146 -x3145 -x3144 -x3143 -x3142 x3141 -x3140 -x3139 -x3138 -x3137 -x3136
1.00/1.06 v -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
1.00/1.06 v -x3117 -x3116 x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
1.00/1.06 v -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082
1.00/1.06 v -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064
1.00/1.06 v -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 x3050 -x3049 -x3048 -x3047 -x3046
1.00/1.06 v -x3045 -x3044 -x3043 -x3042 x3041 -x3040 x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 x3031 x3030 x3029 -x3028
1.00/1.06 v x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010
1.00/1.06 v -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992
1.00/1.06 v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974
1.00/1.06 v -x2973 -x2972 -x2971 x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 x2963 x2962 x2961 -x2960 -x2959 -x2958 -x2957 x2956 -x2955
1.00/1.06 v -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937
1.00/1.06 v -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 x2924 -x2923 -x2922 -x2921 -x2920 -x2919
1.00/1.06 v x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901
1.00/1.06 v -x2900 -x2899 -x2898 -x2897 -x2896 x2895 -x2894 x2893 -x2892 -x2891 -x2890 -x2889 -x2888 x2887 -x2886 -x2885 -x2884 -x2883
1.00/1.06 v -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 x2870 -x2869 -x2868 -x2867 -x2866 -x2865
1.00/1.06 v -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 x2854 x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847
1.00/1.06 v -x2846 -x2845 -x2844 -x2843 -x2842 x2841 -x2840 -x2839 -x2838 x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829
1.00/1.06 v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811
1.00/1.06 v -x2810 x2809 -x2808 -x2807 -x2806 x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793
1.00/1.06 v x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 x2776 -x2775
1.00/1.06 v -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 x2760 -x2759 -x2758 -x2757
1.00/1.06 v -x2756 -x2755 x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 x2746 -x2745 -x2744 -x2743 x2742 -x2741 -x2740 -x2739 -x2738
1.00/1.06 v -x2737 -x2736 -x2735 -x2734 -x2733 x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720
1.00/1.06 v -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 x2712 x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702
1.00/1.06 v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684
1.00/1.06 v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671 x2670 -x2669 -x2668 -x2667 -x2666
1.00/1.06 v -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 x2657 -x2656 x2655 -x2654 x2653 -x2652 -x2651 -x2650 -x2649 -x2648
1.00/1.06 v -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630
1.00/1.06 v -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 x2617 -x2616 -x2615 -x2614 -x2613 -x2612
1.00/1.06 v -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 x2594
1.00/1.06 v -x2593 -x2592 -x2591 -x2590 x2589 -x2588 -x2587 x2586 -x2585 x2584 -x2583 -x2582 -x2581 x2580 -x2579 x2578 -x2577 x2576 -x2575
1.00/1.06 v x2574 -x2573 -x2572 x2571 x2570 -x2569 -x2568 -x2567 x2566 -x2565 -x2564 -x2563 x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
1.00/1.06 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538
1.00/1.06 v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 x2520
1.00/1.06 v -x2519 -x2518 -x2517 -x2516 -x2515 x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 x2506 -x2505 -x2504 -x2503 -x2502
1.00/1.06 v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484
1.00/1.06 v -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 x2470 -x2469 -x2468 -x2467 -x2466
1.00/1.06 v -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 x2452 -x2451 -x2450 -x2449 -x2448
1.00/1.06 v -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430
1.00/1.06 v -x2429 -x2428 -x2427 -x2426 x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 x2414 -x2413 x2412
1.00/1.06 v -x2411 x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394
1.00/1.06 v -x2393 -x2392 x2391 -x2390 -x2389 x2388 -x2387 -x2386 -x2385 x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376
1.00/1.06 v -x2375 -x2374 -x2373 x2372 x2371 -x2370 -x2369 -x2368 -x2367 -x2366 x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358
1.00/1.06 v -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 x2342 -x2341 -x2340
1.00/1.06 v -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323 -x2322
1.00/1.06 v -x2321 -x2320 x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 x2309 x2308 -x2307 -x2306 -x2305 -x2304 -x2303
1.00/1.06 v -x2302 -x2301 -x2300 x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285
1.00/1.06 v -x2284 -x2283 -x2282 -x2281 -x2280 x2279 -x2278 -x2277 -x2276 -x2275 -x2274 x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267
1.00/1.06 v -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2260 -x2259 -x2258 x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 x2250 -x2249
1.00/1.06 v -x2248 x2247 -x2246 x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230
1.00/1.06 v -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 x2216 -x2215 -x2214 -x2213 -x2212
1.00/1.06 v -x2211 -x2210 -x2209 -x2208 x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 x2195 -x2194
1.00/1.06 v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 x2177 -x2176
1.00/1.06 v -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 x2161 -x2160 -x2159 -x2158
1.00/1.06 v -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 x2143 -x2142 -x2141 -x2140
1.00/1.06 v -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122
1.00/1.06 v -x2121 -x2120 -x2119 -x2118 x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104
1.00/1.06 v -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086
1.00/1.06 v -x2085 -x2084 x2083 -x2082 -x2081 -x2080 x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 -x2069 -x2068
1.00/1.06 v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 x2059 x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050
1.00/1.06 v -x2049 -x2048 x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 x2036 -x2035 -x2034 -x2033 -x2032
1.00/1.06 v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 x2021 -x2020 -x2019 -x2018 x2017 -x2016 -x2015 -x2014
1.00/1.06 v -x2013 -x2012 -x2011 -x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996
1.00/1.06 v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978
1.00/1.06 v x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 x1970 x1969 x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 x1960 -x1959
1.00/1.06 v -x1958 -x1957 -x1956 x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 x1948 -x1947 -x1946 -x1945 x1944 -x1943 -x1942 -x1941
1.00/1.06 v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 x1925 -x1924 -x1923
1.00/1.06 v -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905
1.00/1.06 v -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 x1889 x1888 -x1887 -x1886
1.00/1.06 v x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
1.00/1.06 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851
1.00/1.06 v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 x1840 -x1839 x1838 -x1837 -x1836 x1835 -x1834 -x1833 -x1832
1.00/1.06 v -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814
1.00/1.06 v -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 x1799 x1798 -x1797 -x1796
1.00/1.06 v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778
1.00/1.06 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760
1.00/1.06 v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 x1746 -x1745 -x1744 -x1743 -x1742
1.00/1.06 v -x1741 x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
1.00/1.06 v -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706
1.00/1.06 v -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688
1.00/1.06 v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671
1.00/1.06 v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 x1664 -x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
1.00/1.06 v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635
1.00/1.06 v -x1634 -x1633 x1632 x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 x1618 -x1617 -x1616
1.00/1.06 v x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598
1.00/1.06 v -x1597 x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580
1.00/1.06 v -x1579 -x1578 -x1577 -x1576 -x1575 x1574 x1573 -x1572 -x1571 -x1570 x1569 -x1568 x1567 -x1566 x1565 -x1564 -x1563 -x1562
1.00/1.06 v -x1561 -x1560 -x1559 x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544
1.00/1.06 v x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 -x1536 -x1535 x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525
1.00/1.06 v -x1524 -x1523 -x1522 x1521 -x1520 x1519 -x1518 -x1517 -x1516 x1515 x1514 x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507
1.00/1.06 v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489
1.00/1.06 v -x1488 -x1487 -x1486 x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471
1.00/1.06 v -x1470 -x1469 -x1468 x1467 -x1466 -x1465 -x1464 x1463 -x1462 -x1461 -x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453
1.00/1.06 v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435
1.00/1.06 v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417
1.00/1.06 v -x1416 -x1415 x1414 x1413 -x1412 -x1411 x1410 -x1409 -x1408 -x1407 x1406 x1405 -x1404 x1403 -x1402 x1401 -x1400 x1399 -x1398
1.00/1.06 v -x1397 x1396 -x1395 -x1394 -x1393 -x1392 x1391 x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 x1381 -x1380 -x1379
1.00/1.06 v -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361
1.00/1.06 v -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 x1348 -x1347 -x1346 -x1345 -x1344 -x1343
1.00/1.06 v -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326
1.00/1.06 v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
1.00/1.06 v -x1307 -x1306 x1305 x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 x1294 -x1293 -x1292 -x1291 -x1290 -x1289
1.00/1.06 v -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271
1.00/1.06 v x1270 x1269 -x1268 -x1267 -x1266 x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253
1.00/1.06 v -x1252 -x1251 x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234
1.00/1.06 v x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216
1.00/1.06 v -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198
1.00/1.06 v -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 x1182 -x1181 -x1180
1.00/1.06 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162
1.00/1.06 v -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 x1149 -x1148 -x1147 -x1146 -x1145 -x1144
1.00/1.06 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129 x1128 x1127 -x1126
1.00/1.06 v -x1125 -x1124 -x1123 -x1122 x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107
1.00/1.06 v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090
1.00/1.06 v -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
1.00/1.06 v -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
1.00/1.06 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 x1038 -x1037 -x1036 -x1035
1.00/1.06 v -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017
1.00/1.06 v -x1016 x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 x1001 x1000 -x999
1.00/1.06 v -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978
1.00/1.06 v -x977 -x976 -x975 x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956
1.00/1.06 v -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935
1.00/1.06 v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x914
1.00/1.06 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
1.00/1.06 v -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872
1.00/1.06 v -x871 -x870 x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851
1.00/1.06 v -x850 -x849 -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829
1.00/1.06 v -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808
1.00/1.06 v -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787
1.00/1.06 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766
1.00/1.06 v -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 x748 -x747 -x746 -x745
1.00/1.06 v -x744 -x743 x742 x741 -x740 -x739 -x738 -x737 x736 x735 -x734 -x733 -x732 x731 x730 x729 -x728 -x727 -x726 -x725 -x724 -x723
1.00/1.06 v -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701
1.00/1.06 v -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680
1.00/1.06 v -x679 -x678 x677 -x676 x675 x674 -x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
1.00/1.06 v -x658 x657 -x656 -x655 -x654 -x653 x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637
1.00/1.06 v x636 x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616
1.00/1.06 v -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 x599 -x598 -x597 -x596 -x595
1.00/1.06 v -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573
1.00/1.06 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
1.00/1.06 v -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
1.00/1.06 v -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510
1.00/1.06 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489
1.00/1.06 v x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 -x473 x472 -x471 x470 -x469 -x468 -x467
1.00/1.06 v -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
1.00/1.06 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425
1.00/1.06 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
1.00/1.06 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 x394 x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
1.00/1.06 v -x382 -x381 -x380 x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362
1.00/1.06 v -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340
1.00/1.06 v -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 x320 -x319
1.00/1.06 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298
1.00/1.06 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277
1.00/1.06 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256
1.00/1.08 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235
1.00/1.08 v -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214
1.00/1.08 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
1.00/1.08 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172
1.00/1.08 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151
1.00/1.08 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
1.00/1.08 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 x111 -x110 -x109
1.00/1.08 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1.00/1.08 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60
1.00/1.08 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
1.00/1.08 v -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9
1.00/1.08 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61833 MiB free)
memory of node 1: 64473 MiB (61385 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457680-1721865123/watcher-4457680-1721865123 -o /tmp/evaluation-result-4457680-1721865123/solver-4457680-1721865123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721865122-213620 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4457680-1721865123.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=213782, runsolver pid=213779
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 0.09 0.09 0.09 6/251 213783
/proc/meminfo: memFree=126030484/131655788 swapFree=131070192/131071996
[pid=213782] ppid=213779 vsize=42232 memory=31400 CPUtime=0.1 cores=4,6
/proc/213782/stat : 213782 (fscip) R 213779 213782 213609 0 -1 4194304 5586 0 0 0 9 1 0 0 20 0 1 0 22501169 43245568 7850 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
/proc/213782/statm: 10558 7850 2734 3032 0 6958 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42232 KiB
Current children cumulated memory: 31400 KiB
[startup+0.214966 s]*
/proc/loadavg: 0.09 0.09 0.09 6/251 213783
/proc/meminfo: memFree=125853520/131655788 swapFree=131070192/131071996
[pid=213782] ppid=213779 vsize=76628 memory=57644 CPUtime=0.22 cores=4,6
/proc/213782/stat : 213782 (fscip) R 213779 213782 213609 0 -1 4194304 12498 0 0 0 17 5 0 0 20 0 1 0 22501169 78467072 14345 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
/proc/213782/statm: 19157 14411 2782 3032 0 15557 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 76628 KiB
Current children cumulated memory: 57644 KiB
[startup+0.315043 s]*
/proc/loadavg: 0.09 0.09 0.09 6/250 213783
/proc/meminfo: memFree=126063336/131655788 swapFree=131070192/131071996
[pid=213782] ppid=213779 vsize=101648 memory=82724 CPUtime=0.32 cores=4,6
/proc/213782/stat : 213782 (fscip) R 213779 213782 213609 0 -1 4194304 18792 0 0 0 25 7 0 0 20 0 1 0 22501169 104087552 20681 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
/proc/213782/statm: 25412 20681 2782 3032 0 21812 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 101648 KiB
Current children cumulated memory: 82724 KiB
[startup+0.700366 s]
/proc/loadavg: 0.09 0.09 0.09 3/244 213793
/proc/meminfo: memFree=126232680/131655788 swapFree=131070192/131071996
[pid=213782] ppid=213779 vsize=188576 memory=111176 CPUtime=0.69 cores=4,6
/proc/213782/stat : 213782 (fscip) S 213779 213782 213609 0 -1 1077936128 27140 0 0 0 60 9 0 0 20 0 3 0 22501169 193101824 27794 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
/proc/213782/statm: 47144 27794 2798 3032 0 33517 0
[pid=213782/tid=213792] ppid=213779 vsize=188576 memory=24172 CPUtime=0.22 cores=4,6
/proc/213782/task/213792/stat : 213792 (fscip) R 213779 213782 213609 0 -1 4194368 5848 0 0 0 21 1 0 0 20 0 3 0 22501214 193101824 27794 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
[pid=213782/tid=213793] ppid=213779 vsize=188576 memory=11412 CPUtime=0 cores=4,6
/proc/213782/task/213793/stat : 213793 (fscip) S 213779 213782 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22501218 193101824 27794 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 188576 KiB
Current children cumulated memory: 111176 KiB
[startup+1.09979 s]
# the end of solver process 213782 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=0.956811 s, system=0.140704 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800475 s]
/proc/loadavg: 0.09 0.09 0.09 3/244 213793
/proc/meminfo: memFree=126232680/131655788 swapFree=131070192/131071996
[pid=213782] ppid=213779 vsize=188576 memory=120136 CPUtime=0.79 cores=4,6
/proc/213782/stat : 213782 (fscip) S 213779 213782 213609 0 -1 1077936128 29329 0 0 0 69 10 0 0 20 0 3 0 22501169 193101824 30034 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
/proc/213782/statm: 47144 30034 2878 3032 0 35685 0
[pid=213782/tid=213792] ppid=213779 vsize=188576 memory=3834730987062043072 CPUtime=0.32 cores=4,6
/proc/213782/task/213792/stat : 213792 (fscip) R 213779 213782 213609 0 -1 4194368 8042 0 0 0 30 2 0 0 20 0 3 0 22501214 193101824 30034 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
[pid=213782/tid=213793] ppid=213779 vsize=188576 memory=0 CPUtime=0 cores=4,6
/proc/213782/task/213793/stat : 213793 (fscip) S 213779 213782 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22501218 193101824 30034 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 188576 KiB
Current children cumulated memory: 120136 KiB
[startup+1.00031 s]*
/proc/loadavg: 0.09 0.09 0.09 5/240 213848
/proc/meminfo: memFree=126182696/131655788 swapFree=131070192/131071996
[pid=213782] ppid=213779 vsize=188576 memory=147636 CPUtime=1 cores=4,6
/proc/213782/stat : 213782 (fscip) S 213779 213782 213609 0 -1 1077936128 36699 0 0 0 89 11 0 0 20 0 3 0 22501169 193101824 36909 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
/proc/213782/statm: 47144 36909 2910 3032 0 43151 0
[pid=213782/tid=213792] ppid=213779 vsize=188576 memory=-6224935028365900643 CPUtime=0.53 cores=4,6
/proc/213782/task/213792/stat : 213792 (fscip) R 213779 213782 213609 0 -1 4194368 15407 0 0 0 50 3 0 0 20 0 3 0 22501214 193101824 36909 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
[pid=213782/tid=213793] ppid=213779 vsize=188576 memory=0 CPUtime=0 cores=4,6
/proc/213782/task/213793/stat : 213793 (fscip) S 213779 213782 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22501218 193101824 36909 134679101440 4194304 16613245 140726854917664 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 46858240 140726854923285 140726854923401 140726854923401 140726854930416 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 188576 KiB
Current children cumulated memory: 147636 KiB
Child status: 0
Real time (s): 1.09987
CPU time (s): 1.09751
CPU user time (s): 0.956811
CPU system time (s): 0.140704
CPU usage (%): 99.7854
Max. virtual memory (cumulated for all children) (KiB): 188576
Max. memory (cumulated for all children) (KiB): 147636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.956811
system time used= 0.140704
maximum resident set size= 147636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36708
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= 11
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 213782
# total CPU time (s): 1.09751
# total CPU user time (s): 0.956811
# total CPU system time (s): 0.140704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045962 second user time and 0.07835 second system time
The end
Begin job on nodeC002 at 2024-07-25 01:52:03
IDJOB=4457680
IDBENCH=176645
IDSOLVER=3064
FILE ID=nodeC002/4457680-1721865123
RUNJOBID= nodeC002-1721865122-213620
SLURM_JOB_ID= 8089198
Free space on /tmp= 723728 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/normalized-knapPI_6_5000_10000_1_-246112.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-4457680-1721865123/watcher-4457680-1721865123 -o /tmp/evaluation-result-4457680-1721865123/solver-4457680-1721865123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721865122-213620 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4457680-1721865123.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7697ce5e116a18335df4b2d8fc6cc5ea
RANDOM SEED=1850190692
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1593.816
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1595.904
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.264
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.279
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126203092 kB
MemAvailable: 129644020 kB
Buffers: 293884 kB
Cached: 3960012 kB
SwapCached: 72 kB
Active: 2291428 kB
Inactive: 2574664 kB
Active(anon): 1520 kB
Inactive(anon): 664524 kB
Active(file): 2289908 kB
Inactive(file): 1910140 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070192 kB
Dirty: 113556 kB
Writeback: 8 kB
AnonPages: 611124 kB
Mapped: 126508 kB
Shmem: 53844 kB
KReclaimable: 162828 kB
Slab: 274100 kB
SReclaimable: 162828 kB
SUnreclaim: 111272 kB
KernelStack: 3872 kB
PageTables: 10348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1062904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 11872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 316232 kB
DirectMap2M: 36288512 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC002 at 2024-07-25 01:52:05