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