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