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