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