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