Trace number 4432838

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07OPT36 317.245 318.181

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark74.5212
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
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 numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	36

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62973 MiB free)
  memory of node 1: 64510 MiB (63469 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432838-1721129790/watcher-4432838-1721129790 -o /tmp/evaluation-result-4432838-1721129790/solver-4432838-1721129790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844284 --watchdog 3760 pbscip -f HOME/instance-4432838-1721129790.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=844311, runsolver pid=844308

[startup+0.100142 s]*
/proc/loadavg: 1.09 1.12 1.34 5/225 844312
/proc/meminfo: memFree=129452688/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=65404 memory=25060 CPUtime=0.09 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 3337 0 0 0 8 1 0 0 20 0 1 0 165135466 66973696 6265 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 16351 6265 3204 3540 0 4608 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65404 KiB
Current children cumulated memory: 25060 KiB

[startup+0.21318 s]*
/proc/loadavg: 1.09 1.12 1.34 5/226 844314
/proc/meminfo: memFree=129398856/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=73632 memory=33236 CPUtime=0.21 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 5391 0 0 0 19 2 0 0 20 0 1 0 165135466 75399168 8309 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 18408 8309 3204 3540 0 6665 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 73632 KiB
Current children cumulated memory: 33236 KiB

[startup+0.313093 s]*
/proc/loadavg: 1.09 1.12 1.34 6/231 844321
/proc/meminfo: memFree=129359576/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=80152 memory=39836 CPUtime=0.3 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 7031 0 0 0 28 2 0 0 20 0 1 0 165135466 82075648 9959 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 20038 9959 3204 3540 0 8295 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80152 KiB
Current children cumulated memory: 39836 KiB

[startup+0.700336 s]
/proc/loadavg: 1.09 1.12 1.34 5/237 844334
/proc/meminfo: memFree=129258276/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=108384 memory=67716 CPUtime=0.67 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 13996 0 0 0 63 4 0 0 20 0 1 0 165135466 110985216 16929 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 27096 16929 3204 3540 0 15353 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 108384 KiB
Current children cumulated memory: 67716 KiB

[startup+1.50035 s]
/proc/loadavg: 1.32 1.17 1.35 5/237 844334
/proc/meminfo: memFree=129044768/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=358872 memory=312612 CPUtime=1.47 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 75557 0 0 0 131 16 0 0 20 0 1 0 165135466 367484928 78153 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 89718 78153 3507 3540 0 77975 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 358872 KiB
Current children cumulated memory: 312612 KiB

[startup+3.11279 s]
/proc/loadavg: 1.32 1.17 1.35 5/235 844336
/proc/meminfo: memFree=126966612/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=743184 memory=690956 CPUtime=3.08 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 117215 0 0 0 274 34 0 0 20 0 1 0 165135466 761020416 172739 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 185796 172739 3634 3540 0 174053 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 743184 KiB
Current children cumulated memory: 690956 KiB

[startup+6.30033 s]
/proc/loadavg: 1.61 1.23 1.37 5/241 844347
/proc/meminfo: memFree=124680360/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=1272756 memory=1118612 CPUtime=6.26 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 180839 0 0 0 575 51 0 0 20 0 1 0 165135466 1303302144 279653 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 318189 279653 3746 3540 0 306446 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1272756 KiB
Current children cumulated memory: 1118612 KiB

[startup+12.7003 s]
/proc/loadavg: 1.81 1.28 1.39 5/241 844348
/proc/meminfo: memFree=121398956/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2180516 memory=1993136 CPUtime=12.64 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 250182 0 0 0 1189 75 0 0 20 0 1 0 165135466 2232848384 498284 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 545129 498284 3826 3540 0 533386 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2180516 KiB
Current children cumulated memory: 1993136 KiB

[startup+25.5004 s]
/proc/loadavg: 2.14 1.37 1.42 5/241 844350
/proc/meminfo: memFree=115705376/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2180516 memory=1993676 CPUtime=25.4 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 250228 0 0 0 2465 75 0 0 20 0 1 0 165135466 2232848384 498419 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 545129 498419 3922 3540 0 533386 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2180516 KiB
Current children cumulated memory: 1993676 KiB

[startup+51.1128 s]
/proc/loadavg: 3.02 1.65 1.51 5/241 844353
/proc/meminfo: memFree=110167496/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2180516 memory=1993740 CPUtime=50.93 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 250328 0 0 0 5018 75 0 0 20 0 1 0 165135466 2232848384 498435 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 545129 498435 3938 3540 0 533386 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2180516 KiB
Current children cumulated memory: 1993740 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 2.05 1.65 5/241 844363
/proc/meminfo: memFree=106655184/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2180516 memory=1993740 CPUtime=101.96 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 250461 0 0 0 10120 76 0 0 20 0 1 0 165135466 2232848384 498435 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 545129 498435 3938 3540 0 533386 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2180516 KiB
Current children cumulated memory: 1993740 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.42 1.81 5/241 844374
/proc/meminfo: memFree=95969128/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2197264 memory=2014996 CPUtime=161.78 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 251352 0 0 0 16099 79 0 0 20 0 1 0 165135466 2249998336 503749 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 549316 503749 3954 3540 0 537573 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2197264 KiB
Current children cumulated memory: 2014996 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.74 1.96 5/241 844430
/proc/meminfo: memFree=119146940/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2197264 memory=2019900 CPUtime=221.6 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 251575 0 0 0 22081 79 0 0 20 0 1 0 165135466 2249998336 504975 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 549316 504975 3954 3540 0 537573 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 2197264 KiB
Current children cumulated memory: 2019900 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.99 2.10 5/243 844444
/proc/meminfo: memFree=119078892/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2227908 memory=2023520 CPUtime=281.44 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 252141 0 0 0 28065 79 0 0 20 0 1 0 165135466 2281377792 505880 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 556977 505880 3954 3540 0 545234 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 2227908 KiB
Current children cumulated memory: 2023520 KiB

[startup+318.181 s]
# the end of solver process 844311 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=316.425 s, system=0.820118 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+294.4 s]
/proc/loadavg: 4.08 3.02 2.12 5/243 844445
/proc/meminfo: memFree=119078220/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2234032 memory=2024076 CPUtime=293.51 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 252366 0 0 0 29272 79 0 0 20 0 1 0 165135466 2287648768 506019 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 558508 506019 3954 3540 0 546765 0
Current children cumulated CPU time: 293.51 s
Current children cumulated vsize: 2234032 KiB
Current children cumulated memory: 2024076 KiB

[startup+307.2 s]
/proc/loadavg: 4.06 3.07 2.15 5/243 844447
/proc/meminfo: memFree=119077540/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2240704 memory=2024528 CPUtime=306.28 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 252540 0 0 0 30549 79 0 0 20 0 1 0 165135466 2294480896 506132 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 560176 506132 3954 3540 0 548433 0
Current children cumulated CPU time: 306.28 s
Current children cumulated vsize: 2240704 KiB
Current children cumulated memory: 2024528 KiB

[startup+313.6 s]
/proc/loadavg: 4.14 3.10 2.16 5/243 844448
/proc/meminfo: memFree=119074552/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2259704 memory=2027788 CPUtime=312.66 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 252945 0 0 0 31187 79 0 0 20 0 1 0 165135466 2313936896 506947 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 564926 506947 3954 3540 0 553183 0
Current children cumulated CPU time: 312.66 s
Current children cumulated vsize: 2259704 KiB
Current children cumulated memory: 2027788 KiB

[startup+315.2 s]
/proc/loadavg: 4.14 3.10 2.16 5/243 844448
/proc/meminfo: memFree=119072088/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2286400 memory=2030020 CPUtime=314.26 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 253504 0 0 0 31347 79 0 0 20 0 1 0 165135466 2341273600 507505 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 571600 507505 3954 3540 0 559857 0
Current children cumulated CPU time: 314.26 s
Current children cumulated vsize: 2286400 KiB
Current children cumulated memory: 2030020 KiB

[startup+316.8 s]
/proc/loadavg: 4.13 3.12 2.17 5/243 844448
/proc/meminfo: memFree=119071724/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2293072 memory=2030548 CPUtime=315.86 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 253643 0 0 0 31507 79 0 0 20 0 1 0 165135466 2348105728 507637 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 573268 507637 3954 3540 0 561525 0
Current children cumulated CPU time: 315.86 s
Current children cumulated vsize: 2293072 KiB
Current children cumulated memory: 2030548 KiB

[startup+317.6 s]
/proc/loadavg: 4.13 3.12 2.17 5/243 844448
/proc/meminfo: memFree=119071500/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2294092 memory=2030548 CPUtime=316.65 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 253677 0 0 0 31586 79 0 0 20 0 1 0 165135466 2349150208 507637 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 573523 507637 3954 3540 0 561780 0
Current children cumulated CPU time: 316.65 s
Current children cumulated vsize: 2294092 KiB
Current children cumulated memory: 2030548 KiB

[startup+318 s]*
/proc/loadavg: 4.13 3.12 2.17 5/243 844448
/proc/meminfo: memFree=119073444/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2291020 memory=2028124 CPUtime=317.06 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 253828 0 0 0 31627 79 0 0 20 0 1 0 165135466 2346004480 507031 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 572755 507031 3954 3540 0 561012 0
Current children cumulated CPU time: 317.06 s
Current children cumulated vsize: 2291020 KiB
Current children cumulated memory: 2028124 KiB

[startup+318.113 s]
/proc/loadavg: 4.13 3.12 2.17 5/243 844448
/proc/meminfo: memFree=119073444/131655788 swapFree=131071996/131071996
[pid=844311] ppid=844308 vsize=2165552 memory=1902820 CPUtime=317.17 cores=1,3
/proc/844311/stat : 844311 (pbscip) R 844308 844311 844272 0 -1 4194304 253840 0 0 0 31637 80 0 0 20 0 1 0 165135466 2217525248 475705 134679101440 4194304 18693293 140729221916752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57851904 140729221923844 140729221923943 140729221923943 140729221930958 0
/proc/844311/statm: 541388 475705 3970 3540 0 529645 0
Current children cumulated CPU time: 317.17 s
Current children cumulated vsize: 2165552 KiB
Current children cumulated memory: 1902820 KiB

Child status: 0

Real time (s): 318.181
CPU time (s): 317.245
CPU user time (s): 316.425
CPU system time (s): 0.820118
CPU usage (%): 99.7058
Max. virtual memory (cumulated for all children) (KiB): 2294092
Max. memory (cumulated for all children) (KiB): 2031072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 316.425
system time used= 0.820118
maximum resident set size= 2060112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 160


# summary of solver processes directly reported to runsolver:
#   pid: 844311
#   total CPU time (s): 317.245
#   total CPU user time (s): 316.425
#   total CPU system time (s): 0.820118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53947 second user time and 3.14961 second system time

The end

Launcher Data

Begin job on nodeC008 at 2024-07-16 13:36:42
IDJOB=4432838
IDBENCH=155403
IDSOLVER=3059
FILE ID=nodeC008/4432838-1721129790
RUNJOBID= nodeC008-1721129802-844284
SLURM_JOB_ID= 7505695
Free space on /tmp= 723652 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432838-1721129790/watcher-4432838-1721129790 -o /tmp/evaluation-result-4432838-1721129790/solver-4432838-1721129790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844284 --watchdog 3760  pbscip -f HOME/instance-4432838-1721129790.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=392702338

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.243
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.243
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.321
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.257
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1282.911
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.242
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.259
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.298
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129489040 kB
MemAvailable:   129960372 kB
Buffers:          429028 kB
Cached:           884060 kB
SwapCached:            0 kB
Active:           660448 kB
Inactive:         980300 kB
Active(anon):       1384 kB
Inactive(anon):   363972 kB
Active(file):     659064 kB
Inactive(file):   616328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            181768 kB
Writeback:            12 kB
AnonPages:        327688 kB
Mapped:           103940 kB
Shmem:             37704 kB
KReclaimable:      71944 kB
Slab:             166096 kB
SReclaimable:      71944 kB
SUnreclaim:        94152 kB
KernelStack:        3584 kB
PageTables:         9284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     692160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723584 MiB
End job on nodeC008 at 2024-07-16 13:42:01