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