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