0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692704-1277920188.wbo>
0.00/0.02 c original problem has 5920 variables (5710 bin, 0 int, 0 impl, 210 cont) and 421 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.04 o 10478
0.00/0.04 c feasible solution found by trivial heuristic, objective value 1.047800e+04
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 210 impls, 0 clqs
0.03/0.04 c (round 2) 0 del vars, 1 del conss, 210 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 210 impls, 0 clqs
0.03/0.07 c (0.1s) probing: 101/5710 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.07 c presolving (3 rounds):
0.03/0.07 c 0 deleted vars, 1 deleted constraints, 210 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.07 c 210 implications, 0 cliques
0.03/0.07 c presolved problem has 5920 variables (5710 bin, 0 int, 0 impl, 210 cont) and 420 constraints
0.03/0.07 c 210 constraints of type <indicator>
0.03/0.07 c 210 constraints of type <linear>
0.03/0.07 c transformed objective value is always integral (scale: 1)
0.03/0.07 c Presolving Time: 0.04
0.03/0.07 c - non default parameters ----------------------------------------------------------------------
0.03/0.07 c # SCIP version 1.2.1.2
0.03/0.07 c
0.03/0.07 c # frequency for displaying node information lines
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.07 c display/freq = 10000
0.03/0.07 c
0.03/0.07 c # maximal time in seconds to run
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/time = 1799.99
0.03/0.07 c
0.03/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/memory = 3420
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify inequalities
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/linear/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify knapsacks
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.07 c separating/rapidlearning/freq = 0
0.03/0.07 c
0.03/0.07 c -----------------------------------------------------------------------------------------------
0.03/0.07 c start solving
0.03/0.07 c
0.03/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.08 c t 0.1s| 1 | 0 | 0 | - | 12M| 0 | 0 |5920 | 420 |5920 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.047800e+04 | Inf
0.03/0.08 c 0.1s| 1 | 0 | 110 | - | 13M| 0 | 0 |5920 | 420 |5920 | 110 | 110 | 0 | 0 | 0.000000e+00 | 1.047800e+04 | Inf
0.03/0.09 c 0.1s| 1 | 0 | 207 | - | 13M| 0 | 0 |5920 | 420 |5920 | 112 | 112 | 0 | 0 | 0.000000e+00 | 1.047800e+04 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 300 | - | 13M| 0 | 0 |5920 | 420 |5920 | 114 | 114 | 0 | 0 | 0.000000e+00 | 1.047800e+04 | Inf
0.09/0.10 c 0.1s| 1 | 2 | 300 | - | 13M| 0 | 0 |5920 | 420 |5920 | 114 | 114 | 0 | 0 | 0.000000e+00 | 1.047800e+04 | Inf
0.69/0.73 o 649
0.69/0.73 c * 0.7s| 221 | 200 | 3759 | 15.7 | 13M| 210 | - |5920 | 430 |5920 | 210 | 210 | 10 | 0 | 1.000000e+00 | 6.490000e+02 | Large
2.39/2.49 o 617
2.39/2.49 c * 2.4s| 919 | 888 | 12958 | 13.8 | 15M| 210 | - |5920 | 434 |5920 | 210 | 452 | 14 | 0 | 5.000000e+00 | 6.170000e+02 | Large
3.09/3.11 o 308
3.09/3.11 c * 3.0s| 1096 | 918 | 17199 | 15.4 | 16M| 210 | - |5920 | 434 |5920 | 210 | 548 | 14 | 0 | 5.000000e+00 | 3.080000e+02 |6060.00%
3.39/3.46 o 304
3.39/3.46 c * 3.4s| 1214 | 1004 | 19182 | 15.6 | 16M| 210 | - |5920 | 444 |5920 | 210 | 596 | 24 | 0 | 5.000000e+00 | 3.040000e+02 |5980.00%
4.40/4.45 o 262
4.40/4.45 c * 4.3s| 1595 | 1316 | 23705 | 14.7 | 17M| 210 | - |5920 | 465 |5920 | 210 | 692 | 45 | 0 | 6.000000e+00 | 2.620000e+02 |4266.67%
5.00/5.02 o 89
5.00/5.02 c * 4.9s| 1753 | 1185 | 27449 | 15.5 | 17M| 210 | - |5920 | 465 |5920 | 210 | 788 | 45 | 0 | 6.000000e+00 | 8.900000e+01 |1383.33%
5.00/5.02 o 66
5.00/5.02 c * 4.9s| 1754 | 914 | 27461 | 15.5 | 16M| 210 | - |5920 | 465 |5920 | 210 | 788 | 45 | 0 | 6.000000e+00 | 6.600000e+01 |1000.00%
10.09/10.12 o 13
10.09/10.12 c * 9.9s| 4346 | 2359 | 36877 | 8.4 | 21M|1477 | - |5920 | 411 |5920 | 210 | 971 | 60 | 0 | 6.000000e+00 | 1.300000e+01 | 116.67%
10.09/10.12 o 12
10.09/10.12 c * 9.9s| 4347 | 999 | 36882 | 8.4 | 18M|1477 | - |5920 | 411 |5920 | 210 | 971 | 60 | 0 | 6.000000e+00 | 1.200000e+01 | 100.00%
10.19/10.29 o 6
10.19/10.29 c *10.1s| 4356 | 0 | 38654 | 8.8 | 16M|1477 | - |5920 | 295 |5920 | 166 |1023 | 65 | 0 | 6.000000e+00 | 6.000000e+00 | 0.00%
10.19/10.29 c
10.19/10.29 c SCIP Status : problem is solved [optimal solution found]
10.19/10.29 c Solving Time (sec) : 10.12
10.19/10.29 c Solving Nodes : 4356
10.19/10.29 c Primal Bound : +6.00000000000000e+00 (34 solutions)
10.19/10.29 c Dual Bound : +6.00000000000000e+00
10.19/10.29 c Gap : 0.00 %
10.19/10.30 s OPTIMUM FOUND
10.19/10.30 v -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482
10.19/10.30 v -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465
10.19/10.30 v -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447
10.19/10.30 v -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429
10.19/10.30 v -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411
10.19/10.30 v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393
10.19/10.30 v -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375
10.19/10.30 v -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357
10.19/10.30 v -x5356 x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339
10.19/10.30 v -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321
10.19/10.30 v -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 x5304 -x5303
10.19/10.30 v -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285
10.19/10.30 v -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267
10.19/10.30 v -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250
10.19/10.30 v -x5249 -x5248 -x5247 -x5246 -x5245 x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232
10.19/10.30 v -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214
10.19/10.30 v -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196
10.19/10.30 v -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178
10.19/10.30 v -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160
10.19/10.30 v -x5159 -x5158 -x5157 -x5156 -x5155 x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142
10.19/10.30 v -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124
10.19/10.30 v -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106
10.19/10.30 v -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088
10.19/10.30 v -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071
10.19/10.30 v -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053
10.19/10.30 v -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035
10.19/10.30 v -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017
10.19/10.30 v -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999
10.19/10.30 v -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981
10.19/10.30 v -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963
10.19/10.30 v -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945
10.19/10.30 v -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927
10.19/10.30 v -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909
10.19/10.30 v -x4908 -x4907 -x4906 -x4905 x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
10.19/10.30 v -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874
10.19/10.30 v -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856
10.19/10.30 v -x4855 x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838
10.19/10.30 v -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820
10.19/10.30 v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802
10.19/10.30 v -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784
10.19/10.30 v -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766
10.19/10.30 v -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748
10.19/10.30 v -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730
10.19/10.30 v -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712
10.19/10.30 v -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694
10.19/10.30 v -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677
10.19/10.30 v -x4676 -x4675 x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659
10.19/10.30 v -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641
10.19/10.30 v -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623
10.19/10.30 v -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605
10.19/10.30 v x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587
10.19/10.30 v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569
10.19/10.30 v -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 x4556 -x4555 -x4554 -x4553 -x4552 -x4551
10.19/10.30 v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533
10.19/10.30 v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515
10.19/10.30 v -x4514 -x4513 -x4512 -x4511 x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497
10.19/10.30 v -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480
10.19/10.30 v -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462
10.19/10.30 v -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444
10.19/10.30 v -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426
10.19/10.30 v -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408
10.19/10.30 v -x4407 -x4406 -x4405 x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390
10.19/10.30 v -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372
10.19/10.30 v -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 x4354
10.19/10.30 v -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336
10.19/10.30 v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 x4322 -x4321 -x4320 -x4319 -x4318
10.19/10.30 v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300
10.19/10.30 v -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283
10.19/10.30 v -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265
10.19/10.30 v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247
10.19/10.30 v -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 x4233 -x4232 -x4231 -x4230 -x4229
10.19/10.30 v -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211
10.19/10.30 v -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193
10.19/10.30 v -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175
10.19/10.30 v -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157
10.19/10.30 v -x4156 -x4155 x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139
10.19/10.30 v -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121
10.19/10.30 v -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 x4104 -x4103
10.19/10.30 v -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086
10.19/10.30 v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068
10.19/10.30 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 x4054 -x4053 -x4052 -x4051 -x4050
10.19/10.30 v -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032
10.19/10.30 v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
10.19/10.30 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996
10.19/10.30 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978
10.19/10.30 v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960
10.19/10.30 v -x3959 -x3958 -x3957 -x3956 -x3955 x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942
10.19/10.30 v -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924
10.19/10.30 v -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907
10.19/10.30 v -x3906 -x3905 x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889
10.19/10.30 v -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 x3871
10.19/10.30 v -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853
10.19/10.30 v -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835
10.19/10.30 v -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817
10.19/10.30 v -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 x3804 -x3803 -x3802 -x3801 -x3800 -x3799
10.19/10.30 v -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 x3786 -x3785 -x3784 -x3783 -x3782 -x3781
10.19/10.30 v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763
10.19/10.30 v -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745
10.19/10.30 v -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727
10.19/10.30 v -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710
10.19/10.30 v -x3709 -x3708 -x3707 -x3706 -x3705 x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692
10.19/10.30 v -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674
10.19/10.30 v -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656
10.19/10.30 v -x3655 -x3654 -x3653 x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638
10.19/10.30 v x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620
10.19/10.30 v -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602
10.19/10.30 v -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584
10.19/10.30 v -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 x3569 -x3568 -x3567 -x3566
10.19/10.30 v -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548
10.19/10.30 v -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530
10.19/10.30 v -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512
10.19/10.30 v -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495
10.19/10.30 v -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477
10.19/10.30 v -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459
10.19/10.30 v -x3458 -x3457 -x3456 -x3455 x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441
10.19/10.30 v -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423
10.19/10.30 v -x3422 -x3421 -x3420 -x3419 -x3418 x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405
10.19/10.30 v -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 x3390 -x3389 -x3388 -x3387
10.19/10.30 v -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369
10.19/10.30 v -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351
10.19/10.30 v -x3350 -x3349 -x3348 -x3347 -x3346 x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333
10.19/10.30 v -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315
10.19/10.30 v -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298
10.19/10.30 v -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280
10.19/10.30 v -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 x3267 -x3266 -x3265 -x3264 -x3263 -x3262
10.19/10.30 v -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244
10.19/10.30 v -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226
10.19/10.30 v -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208
10.19/10.30 v -x3207 -x3206 -x3205 x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190
10.19/10.30 v -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172
10.19/10.30 v -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 x3154
10.19/10.30 v -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136
10.19/10.30 v -x3135 -x3134 -x3133 -x3132 x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
10.19/10.30 v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101
10.19/10.30 v -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083
10.19/10.30 v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 x3066 -x3065
10.19/10.30 v -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047
10.19/10.30 v -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029
10.19/10.30 v -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011
10.19/10.30 v -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993
10.19/10.30 v -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 x2979 -x2978 -x2977 -x2976 -x2975
10.19/10.30 v -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957
10.19/10.30 v -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939
10.19/10.30 v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922
10.19/10.30 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904
10.19/10.30 v -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886
10.19/10.30 v -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868
10.19/10.30 v -x2867 -x2866 x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850
10.19/10.30 v -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832
10.19/10.30 v -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814
10.19/10.30 v x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796
10.19/10.30 v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778
10.19/10.30 v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762 -x2761 -x2760
10.19/10.30 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
10.19/10.30 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725
10.19/10.30 v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
10.19/10.30 v -x2706 -x2705 x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
10.19/10.30 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
10.19/10.30 v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 x2653
10.19/10.30 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
10.19/10.30 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
10.19/10.30 v -x2616 -x2615 -x2614 x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
10.19/10.30 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581
10.19/10.30 v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563
10.19/10.30 v -x2562 -x2561 -x2560 -x2559 -x2558 x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545
10.19/10.30 v -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528
10.19/10.30 v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510
10.19/10.30 v -x2509 -x2508 -x2507 -x2506 -x2505 x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492
10.19/10.30 v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474
10.19/10.30 v -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456
10.19/10.30 v -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438
10.19/10.30 v -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420
10.19/10.30 v -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 x2404 -x2403 -x2402
10.19/10.30 v -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384
10.19/10.30 v -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366
10.19/10.30 v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348
10.19/10.30 v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331
10.19/10.30 v -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313
10.19/10.30 v -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295
10.19/10.30 v -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
10.19/10.30 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259
10.19/10.30 v -x2258 -x2257 -x2256 -x2255 x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241
10.19/10.30 v -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223
10.19/10.30 v -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205
10.19/10.30 v -x2204 -x2203 -x2202 -x2201 -x2200 x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187
10.19/10.30 v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169
10.19/10.30 v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151
10.19/10.30 v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134
10.19/10.30 v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
10.19/10.30 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
10.19/10.30 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
10.19/10.30 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062
10.19/10.30 v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044
10.19/10.30 v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026
10.19/10.30 v -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
10.19/10.30 v -x2007 -x2006 -x2005 x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990
10.19/10.30 v -x1989 -x1988 -x1987 -x1986 -x1985 x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972
10.19/10.30 v -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954
10.19/10.30 v -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
10.19/10.30 v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
10.19/10.30 v -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901
10.19/10.30 v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
10.19/10.30 v -x1882 -x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865
10.19/10.30 v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
10.19/10.30 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
10.19/10.30 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811
10.19/10.30 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
10.19/10.30 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
10.19/10.30 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758
10.19/10.30 v -x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
10.19/10.30 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
10.19/10.30 v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 x1705 -x1704
10.19/10.30 v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
10.19/10.30 v -x1685 -x1684 -x1683 -x1682 x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668
10.19/10.30 v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650
10.19/10.30 v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632
10.19/10.30 v -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614
10.19/10.30 v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596
10.19/10.30 v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 -x1579 -x1578
10.19/10.30 v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560
10.19/10.30 v -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543
10.19/10.30 v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525
10.19/10.30 v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507
10.19/10.30 v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489
10.19/10.30 v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471
10.19/10.30 v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453
10.19/10.30 v -x1452 x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 x1438 -x1437 -x1436 -x1435
10.19/10.30 v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417
10.19/10.30 v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
10.19/10.30 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381
10.19/10.30 v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364
10.19/10.30 v -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346
10.19/10.30 v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328
10.19/10.30 v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310
10.19/10.30 v -x1309 -x1308 -x1307 -x1306 -x1305 x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292
10.19/10.30 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274
10.19/10.30 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
10.19/10.30 v -x1255 x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238
10.19/10.30 v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
10.19/10.30 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 x1204 -x1203 -x1202
10.29/10.30 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
10.29/10.30 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
10.29/10.30 v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 -x1151 -x1150 -x1149
10.29/10.30 v -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
10.29/10.30 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
10.29/10.30 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
10.29/10.30 v -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077
10.29/10.30 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
10.29/10.30 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041
10.29/10.30 v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023
10.29/10.30 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005
10.29/10.30 v x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985
10.29/10.30 v -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965
10.29/10.30 v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944
10.29/10.30 v -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923
10.29/10.30 v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902
10.29/10.30 v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
10.29/10.30 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
10.29/10.30 v -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839
10.29/10.30 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818
10.29/10.30 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797
10.29/10.30 v -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776
10.29/10.30 v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755
10.29/10.30 v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
10.29/10.30 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714
10.29/10.30 v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693
10.29/10.30 v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
10.29/10.30 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651
10.29/10.30 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630
10.29/10.30 v -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609
10.29/10.30 v -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588
10.29/10.30 v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567
10.29/10.30 v -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546
10.29/10.30 v -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
10.29/10.30 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
10.29/10.30 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
10.29/10.30 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
10.29/10.30 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
10.29/10.30 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
10.29/10.30 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400
10.29/10.30 v x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
10.29/10.30 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
10.29/10.30 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337
10.29/10.30 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
10.29/10.30 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296
10.29/10.30 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275
10.29/10.30 v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254
10.29/10.30 v -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233
10.29/10.30 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212
10.29/10.30 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
10.29/10.30 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170
10.29/10.30 v -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149
10.29/10.30 v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128
10.29/10.30 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
10.29/10.30 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84
10.29/10.30 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59
10.29/10.30 v -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
10.29/10.30 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9
10.29/10.30 v -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
10.29/10.30 c SCIP Status : problem is solved [optimal solution found]
10.29/10.30 c Solving Time : 10.12
10.29/10.30 c Original Problem :
10.29/10.30 c Problem name : HOME/instance-2692704-1277920188.wbo
10.29/10.30 c Variables : 5920 (5710 binary, 0 integer, 0 implicit integer, 210 continuous)
10.29/10.30 c Constraints : 421 initial, 421 maximal
10.29/10.30 c Presolved Problem :
10.29/10.30 c Problem name : t_HOME/instance-2692704-1277920188.wbo
10.29/10.30 c Variables : 5920 (5710 binary, 0 integer, 0 implicit integer, 210 continuous)
10.29/10.30 c Constraints : 420 initial, 465 maximal
10.29/10.30 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
10.29/10.30 c trivial : 0.00 0 0 0 0 0 0 0 0
10.29/10.30 c dualfix : 0.00 0 0 0 0 0 0 0 0
10.29/10.30 c boundshift : 0.00 0 0 0 0 0 0 0 0
10.29/10.30 c inttobinary : 0.00 0 0 0 0 0 0 0 0
10.29/10.30 c implics : 0.01 0 0 0 0 0 0 0 0
10.29/10.30 c probing : 0.02 0 0 0 0 0 0 0 0
10.29/10.30 c indicator : 0.00 0 0 0 0 0 0 0 0
10.29/10.30 c linear : 0.00 0 0 0 210 0 1 0 0
10.29/10.30 c logicor : 0.00 0 0 0 0 0 0 0 0
10.29/10.30 c root node : - 188 - - 376 - - - -
10.29/10.30 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
10.29/10.30 c integral : 0 0 0 5005 0 0 0 0 0 0
10.29/10.30 c indicator : 210 0 6021 5005 0 0 2592 0 0 0
10.29/10.30 c linear : 210 4 6019 5005 0 0 1845 1023 0 0
10.29/10.30 c logicor : 0+ 0 402 0 0 5 117 0 0 0
10.29/10.30 c countsols : 0 0 0 4301 0 0 0 0 0 0
10.29/10.30 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
10.29/10.30 c integral : 0.00 0.00 0.00 0.00 0.00
10.29/10.30 c indicator : 0.06 0.00 0.01 0.05 0.00
10.29/10.30 c linear : 0.11 0.00 0.06 0.05 0.00
10.29/10.30 c logicor : 0.00 0.00 0.00 0.00 0.00
10.29/10.30 c countsols : 0.00 0.00 0.00 0.00 0.00
10.29/10.30 c Propagators : Time Calls Cutoffs DomReds
10.29/10.30 c vbounds : 0.01 2 0 0
10.29/10.30 c rootredcost : 0.00 9 0 187
10.29/10.30 c pseudoobj : 0.03 5826 5 340
10.29/10.30 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
10.29/10.30 c propagation : 0.00 10 9 13 40.5 0 0.0 -
10.29/10.30 c infeasible LP : 0.06 49 49 56 94.4 0 0.0 0
10.29/10.30 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
10.29/10.30 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
10.29/10.30 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
10.29/10.30 c applied globally : - - - 65 87.5 - - -
10.29/10.30 c applied locally : - - - 0 0.0 - - -
10.29/10.30 c Separators : Time Calls Cutoffs DomReds Cuts Conss
10.29/10.30 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
10.29/10.30 c redcost : 0.25 4444 0 45 0 0
10.29/10.30 c impliedbounds : 0.00 0 0 0 0 0
10.29/10.30 c intobj : 0.00 0 0 0 0 0
10.29/10.30 c cgmip : 0.00 0 0 0 0 0
10.29/10.30 c gomory : 0.00 0 0 0 0 0
10.29/10.30 c strongcg : 0.00 0 0 0 0 0
10.29/10.30 c cmir : 0.00 0 0 0 0 0
10.29/10.30 c flowcover : 0.00 0 0 0 0 0
10.29/10.30 c clique : 0.00 0 0 0 0 0
10.29/10.30 c zerohalf : 0.00 0 0 0 0 0
10.29/10.30 c mcf : 0.00 0 0 0 0 0
10.29/10.30 c rapidlearning : 0.00 0 0 0 0 0
10.29/10.30 c Pricers : Time Calls Vars
10.29/10.30 c problem variables: 0.00 0 0
10.29/10.30 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
10.29/10.30 c relpscost : 0.00 0 0 0 0 0 0
10.29/10.30 c pscost : 0.00 0 0 0 0 0 0
10.29/10.30 c inference : 1.64 4291 0 0 0 0 8582
10.29/10.30 c mostinf : 0.00 0 0 0 0 0 0
10.29/10.30 c leastinf : 0.00 0 0 0 0 0 0
10.29/10.30 c fullstrong : 0.00 0 0 0 0 0 0
10.29/10.30 c allfullstrong : 0.00 0 0 0 0 0 0
10.29/10.30 c random : 0.00 0 0 0 0 0 0
10.29/10.30 c Primal Heuristics : Time Calls Found
10.29/10.30 c LP solutions : 0.00 - 10
10.29/10.30 c pseudo solutions : 0.00 - 0
10.29/10.30 c feaspump : 0.00 0 0
10.29/10.30 c intshifting : 0.00 0 0
10.29/10.30 c oneopt : 0.03 7 0
10.29/10.30 c guideddiving : 0.02 11 0
10.29/10.30 c coefdiving : 0.00 11 0
10.29/10.30 c pscostdiving : 0.00 11 0
10.29/10.30 c fracdiving : 0.01 11 0
10.29/10.30 c veclendiving : 0.01 11 0
10.29/10.30 c linesearchdiving : 0.03 11 0
10.29/10.30 c crossover : 0.11 4 1
10.29/10.30 c objpscostdiving : 0.01 11 0
10.29/10.30 c rootsoldiving : 0.01 11 0
10.29/10.30 c trivial : 0.01 2 2
10.29/10.30 c simplerounding : 0.00 0 0
10.29/10.30 c zirounding : 0.01 0 0
10.29/10.30 c rounding : 0.00 0 0
10.29/10.30 c shifting : 0.00 0 0
10.29/10.30 c twoopt : 0.00 0 0
10.29/10.30 c fixandinfer : 0.00 0 0
10.29/10.30 c intdiving : 0.00 0 0
10.29/10.30 c actconsdiving : 0.00 0 0
10.29/10.30 c octane : 0.00 0 0
10.29/10.30 c rens : 0.00 0 0
10.29/10.30 c rins : 0.00 0 0
10.29/10.30 c localbranching : 0.00 0 0
10.29/10.30 c mutation : 0.00 0 0
10.29/10.30 c dins : 0.00 0 0
10.29/10.30 c undercover : 0.00 0 0
10.29/10.30 c nlp : 0.00 0 0
10.29/10.30 c trysol : 0.02 21 21
10.29/10.30 c LP : Time Calls Iterations Iter/call Iter/sec
10.29/10.30 c primal LP : 0.00 0 0 0.00 -
10.29/10.30 c dual LP : 5.24 1003 38609 38.49 7368.13
10.29/10.30 c lex dual LP : 0.00 0 0 0.00 -
10.29/10.30 c barrier LP : 0.00 0 0 0.00 -
10.29/10.30 c diving/probing LP: 0.01 6 45 7.50 4500.00
10.29/10.30 c strong branching : 0.00 0 0 0.00 -
10.29/10.30 c (at root node) : - 0 0 0.00 -
10.29/10.30 c conflict analysis: 0.00 0 0 0.00 -
10.29/10.30 c B&B Tree :
10.29/10.30 c number of runs : 1
10.29/10.30 c nodes : 4356
10.29/10.30 c nodes (total) : 4356
10.29/10.30 c nodes left : 0
10.29/10.30 c max depth : 1477
10.29/10.30 c max depth (total): 1477
10.29/10.30 c backtracks : 35 (0.8%)
10.29/10.30 c delayed cutoffs : 27
10.29/10.30 c repropagations : 1017 (749 domain reductions, 4 cutoffs)
10.29/10.30 c avg switch length: 2.77
10.29/10.30 c switching time : 0.38
10.29/10.30 c Solution :
10.29/10.30 c Solutions found : 34 (11 improvements)
10.29/10.30 c First Solution : +1.04780000000000e+04 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
10.29/10.30 c Primal Bound : +6.00000000000000e+00 (in run 1, after 4356 nodes, 10.12 seconds, depth 94, found by <relaxation>)
10.29/10.30 c Dual Bound : +6.00000000000000e+00
10.29/10.30 c Gap : 0.00 %
10.29/10.30 c Root Dual Bound : +0.00000000000000e+00
10.29/10.30 c Root Iterations : 300
10.29/10.31 c Time complete: 10.31.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692704-1277920188/watcher-2692704-1277920188 -o /tmp/evaluation-result-2692704-1277920188/solver-2692704-1277920188 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692704-1277920188.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 4/196 15820
/proc/meminfo: memFree=30943536/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=9688 CPUtime=0
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 1715 0 0 0 0 0 0 0 21 0 1 0 133313729 9920512 1634 4089446400 4194304 8223781 140736707696944 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15820/statm: 2422 1634 369 984 0 1435 0
[startup+0.0461571 s]
/proc/loadavg: 1.92 2.00 1.99 4/196 15820
/proc/meminfo: memFree=30943536/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=25616 CPUtime=0.03
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 5943 0 0 0 3 0 0 0 18 0 1 0 133313729 26230784 5241 4089446400 4194304 8223781 140736707696944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 6404 5241 450 984 0 5417 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25616
[startup+0.101139 s]
/proc/loadavg: 1.92 2.00 1.99 4/196 15820
/proc/meminfo: memFree=30943536/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=31072 CPUtime=0.09
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 7610 0 0 0 9 0 0 0 18 0 1 0 133313729 31817728 6785 4089446400 4194304 8223781 140736707696944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 7768 6785 536 984 0 6781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31072
[startup+0.301094 s]
/proc/loadavg: 1.92 2.00 1.99 4/196 15820
/proc/meminfo: memFree=30943536/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=31580 CPUtime=0.29
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 7732 0 0 0 28 1 0 0 18 0 1 0 133313729 32337920 6907 4089446400 4194304 8223781 140736707696944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 7895 6907 541 984 0 6908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31580
[startup+0.701021 s]
/proc/loadavg: 1.92 2.00 1.99 4/196 15820
/proc/meminfo: memFree=30943536/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=39928 CPUtime=0.69
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 9788 0 0 0 68 1 0 0 18 0 1 0 133313729 40886272 8960 4089446400 4194304 8223781 140736707696944 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 9982 8960 544 984 0 8995 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39928
[startup+1.50086 s]
/proc/loadavg: 1.93 2.00 1.99 3/197 15821
/proc/meminfo: memFree=30916124/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=33144 CPUtime=1.49
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 11835 0 0 0 147 2 0 0 20 0 1 0 133313729 33939456 7299 4089446400 4194304 8223781 140736707696944 18446744073709551615 6445090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 8286 7299 559 984 0 7299 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33144
[startup+3.10054 s]
/proc/loadavg: 1.93 2.00 1.99 3/197 15821
/proc/meminfo: memFree=30915044/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=36536 CPUtime=3.09
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 14572 0 0 0 304 5 0 0 25 0 1 0 133313729 37412864 8134 4089446400 4194304 8223781 140736707696944 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 9134 8134 559 984 0 8147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36536
[startup+6.3009 s]
/proc/loadavg: 1.93 2.00 1.99 3/197 15821
/proc/meminfo: memFree=30911572/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=38380 CPUtime=6.29
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 26057 0 0 0 618 11 0 0 25 0 1 0 133313729 39301120 8542 4089446400 4194304 8223781 140736707696944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 9595 8542 566 984 0 8608 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38380
Solver just ended. Dumping a history of the last processes samples
[startup+7.90058 s]
/proc/loadavg: 1.93 2.00 1.99 3/197 15821
/proc/meminfo: memFree=30907976/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=41088 CPUtime=7.89
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 31500 0 0 0 776 13 0 0 25 0 1 0 133313729 42074112 9267 4089446400 4194304 8223781 140736707696944 18446744073709551615 6482456 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 10272 9267 566 984 0 9285 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 41088
[startup+9.50027 s]
/proc/loadavg: 1.93 2.00 1.99 3/197 15821
/proc/meminfo: memFree=30907620/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=43136 CPUtime=9.49
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 37390 0 0 0 934 15 0 0 25 0 1 0 133313729 44171264 9783 4089446400 4194304 8223781 140736707696944 18446744073709551615 6558077 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 10784 9783 566 984 0 9797 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 43136
[startup+9.90618 s]
/proc/loadavg: 1.93 2.00 1.99 3/197 15821
/proc/meminfo: memFree=30906628/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=44164 CPUtime=9.9
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 37660 0 0 0 975 15 0 0 25 0 1 0 133313729 45223936 10053 4089446400 4194304 8223781 140736707696944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15820/statm: 11041 10053 566 984 0 10054 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (KiB) 44164
[startup+10.3011 s]
/proc/loadavg: 1.93 2.00 1.99 3/197 15821
/proc/meminfo: memFree=30906628/32950928 swapFree=67111528/67111528
[pid=15820] ppid=15818 vsize=45924 CPUtime=10.29
/proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 14998 0 -1 4202496 37780 0 0 0 1014 15 0 0 25 0 1 0 133313729 47026176 10173 4089446400 4194304 8223781 140736707696944 18446744073709551615 6075491 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15820/statm: 11481 10173 569 984 0 10494 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 45924
Child status: 0
Real time (s): 10.3139
CPU time (s): 10.3134
CPU user time (s): 10.1525
CPU system time (s): 0.160975
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 45924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1525
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37784
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= 2
involuntary context switches= 147
runsolver used 0.013997 second user time and 0.039993 second system time
The end
Begin job on node149 at 2010-06-30 19:49:48
IDJOB=2692704
IDBENCH=79158
IDSOLVER=1204
FILE ID=node149/2692704-1277920188
PBS_JOBID= 11197305
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692704-1277920188/watcher-2692704-1277920188 -o /tmp/evaluation-result-2692704-1277920188/solver-2692704-1277920188 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692704-1277920188.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6f81f937ed71e1dab8ff48fcb963c1e2
RANDOM SEED=360932132
node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30944064 kB
Buffers: 205012 kB
Cached: 1274644 kB
SwapCached: 0 kB
Active: 830392 kB
Inactive: 1029368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30944064 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4736 kB
Writeback: 0 kB
AnonPages: 380108 kB
Mapped: 20280 kB
Slab: 82988 kB
PageTables: 4956 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1660216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node149 at 2010-06-30 19:49:59