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