Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1792.56 | 1792.51 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo |
| MD5SUM | 65e5bfc23cfeb9f0d41691b20b2e7f01 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 2.76158 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4622 |
| Total number of constraints | 12569 |
| Number of soft constraints | 12569 |
| Number of constraints which are clauses | 11753 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 816 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 636317 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 636316 |
| Biggest number in a constraint | 36 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 130 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2705335-1278578356.wbo>
0.09/0.14 c original problem has 29760 variables (17191 bin, 0 int, 12569 impl, 0 cont) and 25139 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
1.80/1.88 o 636316
1.80/1.88 c feasible solution found by trivial heuristic, objective value 6.363160e+05
1.80/1.88 c presolving:
1.90/1.90 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 408 chg sides, 816 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.90/1.93 c (round 2) 0 del vars, 1 del conss, 12569 chg bounds, 408 chg sides, 816 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.20/2.23 c (2.1s) probing: 101/17191 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.20/2.23 c (2.1s) probing aborted: 100/100 successive totally useless probings
2.20/2.23 c presolving (3 rounds):
2.20/2.23 c 0 deleted vars, 1 deleted constraints, 12569 tightened bounds, 0 added holes, 408 changed sides, 816 changed coefficients
2.20/2.23 c 24322 implications, 0 cliques
2.20/2.23 c presolved problem has 29760 variables (17191 bin, 0 int, 12569 impl, 0 cont) and 25138 constraints
2.20/2.23 c 1 constraints of type <varbound>
2.20/2.23 c 12568 constraints of type <linear>
2.20/2.23 c 12569 constraints of type <indicator>
2.20/2.23 c transformed objective value is always integral (scale: 1)
2.20/2.23 c Presolving Time: 2.01
2.20/2.23 c - non default parameters ----------------------------------------------------------------------
2.20/2.23 c # SCIP version 1.2.1.3
2.20/2.23 c
2.20/2.23 c # frequency for displaying node information lines
2.20/2.23 c # [type: int, range: [-1,2147483647], default: 100]
2.20/2.23 c display/freq = 10000
2.20/2.23 c
2.20/2.23 c # maximal time in seconds to run
2.20/2.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.23 c limits/time = 1789.87
2.20/2.23 c
2.20/2.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.20/2.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.23 c limits/memory = 3420
2.20/2.23 c
2.20/2.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.20/2.23 c # [type: int, range: [1,2], default: 1]
2.20/2.23 c timing/clocktype = 2
2.20/2.23 c
2.20/2.23 c # should presolving try to simplify inequalities
2.20/2.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23 c constraints/linear/simplifyinequalities = TRUE
2.20/2.23 c
2.20/2.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.20/2.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23 c constraints/indicator/addCouplingCons = TRUE
2.20/2.23 c
2.20/2.23 c # should presolving try to simplify knapsacks
2.20/2.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23 c constraints/knapsack/simplifyinequalities = TRUE
2.20/2.23 c
2.20/2.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.20/2.23 c # [type: int, range: [-1,2147483647], default: -1]
2.20/2.23 c separating/rapidlearning/freq = 0
2.20/2.23 c
2.20/2.23 c -----------------------------------------------------------------------------------------------
2.20/2.23 c start solving
2.20/2.24 c
2.29/2.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.30 c t 2.2s| 1 | 0 | 0 | - | 96M| 0 | 0 | 29k| 25k| 29k| 0 | 0 | 0 | 0 | 0.000000e+00 | 6.363160e+05 | Inf
2.29/2.32 c 2.2s| 1 | 0 | 201 | - | 96M| 0 | 17 | 29k| 25k| 29k| 201 | 201 | 0 | 0 | 0.000000e+00 | 6.363160e+05 | Inf
2.39/2.41 c 2.3s| 1 | 0 | 315 | - | 96M| 0 | 18 | 29k| 25k| 29k| 418 | 418 | 0 | 0 | 0.000000e+00 | 6.363160e+05 | Inf
2.49/2.54 c 2.4s| 1 | 0 | 518 | - | 96M| 0 | 28 | 29k| 25k| 29k| 634 | 634 | 0 | 0 | 0.000000e+00 | 6.363160e+05 | Inf
2.69/2.76 c 2.6s| 1 | 0 | 771 | - | 97M| 0 | 241 | 29k| 25k| 29k| 852 | 852 | 0 | 0 | 0.000000e+00 | 6.363160e+05 | Inf
3.09/3.18 c 3.0s| 1 | 0 | 1064 | - | 97M| 0 | 488 | 29k| 25k| 29k|1114 |1114 | 0 | 0 | 0.000000e+00 | 6.363160e+05 | Inf
3.59/3.64 c 3.5s| 1 | 0 | 1519 | - | 98M| 0 | 613 | 29k| 25k| 29k|1422 |1422 | 0 | 0 | 0.000000e+00 | 6.363160e+05 | Inf
4.19/4.29 c 4.2s| 1 | 2 | 1519 | - | 98M| 0 | 613 | 29k| 25k| 29k|1422 |1422 | 0 | 33 | 0.000000e+00 | 6.363160e+05 | Inf
212.20/212.24 c 212s| 10000 | 10001 |101766 | 10.0 | 180M| 229 | 97 | 29k| 25k| 29k|1338 |2432 | 0 |6022 | 0.000000e+00 | 6.363160e+05 | Inf
337.50/337.51 c 337s| 20000 | 20001 |166042 | 8.2 | 262M| 285 | 59 | 29k| 25k| 29k|1338 | 10k| 0 |7083 | 0.000000e+00 | 6.363160e+05 | Inf
372.20/372.26 o 636291
372.20/372.26 c y 372s| 22931 | 22930 |185157 | 8.0 | 286M| 341 | - | 29k| 25k| 0 | 0 | 13k| 0 |7523 | 0.000000e+00 | 6.362910e+05 | Inf
466.30/466.38 c 466s| 30000 | 30001 |230658 | 7.6 | 357M| 365 | 18 | 29k| 25k| 29k|1513 | 26k| 0 |8634 | 0.000000e+00 | 6.362910e+05 | Inf
595.20/595.26 c 595s| 40000 | 40001 |290244 | 7.2 | 457M| 367 | 0 | 29k| 25k| 29k|1662 | 43k| 0 |9358 | 0.000000e+00 | 6.362910e+05 | Inf
718.71/718.76 c 719s| 50000 | 50001 |349386 | 7.0 | 547M| 367 | 135 | 29k| 25k| 29k|1338 | 59k| 0 |9657 | 0.000000e+00 | 6.362910e+05 | Inf
841.11/841.13 c 841s| 60000 | 60001 |405868 | 6.7 | 629M| 367 | 0 | 29k| 25k| 29k|1666 | 74k| 0 |9832 | 0.000000e+00 | 6.362910e+05 | Inf
967.32/967.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.32/967.36 c 967s| 70000 | 70001 |462875 | 6.6 | 712M| 367 | 110 | 29k| 25k| 29k|1592 | 92k| 0 |9955 | 0.000000e+00 | 6.362910e+05 | Inf
1092.82/1092.85 c 1093s| 80000 | 80001 |519378 | 6.5 | 795M| 367 | 149 | 29k| 25k| 29k|1603 | 109k| 0 | 10k| 0.000000e+00 | 6.362910e+05 | Inf
1219.02/1219.05 c 1219s| 90000 | 90001 |582028 | 6.5 | 878M| 367 | 17 | 29k| 25k| 29k|1513 | 128k| 0 | 11k| 0.000000e+00 | 6.362910e+05 | Inf
1356.33/1356.32 c 1356s|100000 |100001 |632809 | 6.3 | 961M| 411 | 27 | 29k| 25k| 29k|1661 | 146k| 0 | 11k| 0.000000e+00 | 6.362910e+05 | Inf
1495.43/1495.47 c 1495s|110000 |110001 |683775 | 6.2 |1044M| 411 | 0 | 29k| 25k| 29k|1677 | 163k| 0 | 12k| 0.000000e+00 | 6.362910e+05 | Inf
1633.63/1633.64 c 1634s|120000 |120001 |736003 | 6.1 |1127M| 411 | 57 | 29k| 25k| 29k|1338 | 181k| 0 | 13k| 0.000000e+00 | 6.362910e+05 | Inf
1772.34/1772.33 c 1772s|130000 |130001 |785086 | 6.0 |1210M| 411 | 26 | 29k| 25k| 29k|1509 | 198k| 0 | 13k| 0.000000e+00 | 6.362910e+05 | Inf
1790.03/1790.02 c
1790.03/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.02 c Solving Time (sec) : 1789.88
1790.03/1790.02 c Solving Nodes : 131166
1790.03/1790.02 c Primal Bound : +6.36291000000000e+05 (103 solutions)
1790.03/1790.02 c Dual Bound : +0.00000000000000e+00
1790.03/1790.02 c Gap : infinite
1792.13/1792.12 s SATISFIABLE
1792.13/1792.12 v -x4622 -x4621 x4620 -x4619 -x4618 -x4617 -x4616 -x4615 x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604
1792.13/1792.12 v -x4603 -x4602 -x4601 -x4600 -x4599 x4598 x4597 x4596 x4595 -x4594 x4593 -x4592 x4591 x4590 -x4589 -x4588 x4587 x4586 x4585
1792.13/1792.12 v x4584 x4583 x4582 -x4581 x4580 -x4579 -x4578 x4577 -x4576 -x4575 -x4574 x4573 x4572 -x4571 -x4570 -x4569 x4568 x4567 -x4566
1792.13/1792.12 v -x4565 -x4564 x4563 x4562 -x4561 -x4560 -x4559 x4558 x4557 -x4556 x4555 -x4554 -x4553 x4552 -x4551 -x4550 -x4549 x4548 -x4547
1792.13/1792.12 v -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 x4540 -x4539 -x4538 -x4537 -x4536 x4535 x4534 x4533 x4532 x4531 x4530 -x4529 x4528
1792.13/1792.12 v -x4527 x4526 x4525 x4524 x4523 -x4522 -x4521 x4520 x4519 x4518 x4517 -x4516 x4515 x4514 x4513 x4512 -x4511 x4510 x4509 x4508
1792.13/1792.12 v x4507 x4506 x4505 x4504 x4503 x4502 -x4501 x4500 x4499 x4498 x4497 -x4496 -x4495 x4494 -x4493 x4492 x4491 -x4490 -x4489 x4488
1792.13/1792.12 v -x4487 x4486 -x4485 x4484 -x4483 x4482 x4481 x4480 -x4479 -x4478 x4477 x4476 x4475 x4474 -x4473 -x4472 -x4471 x4470 x4469
1792.13/1792.12 v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 x4462 x4461 x4460 -x4459 x4458 x4457 -x4456 -x4455 -x4454 -x4453 -x4452 x4451 x4450
1792.13/1792.12 v x4449 x4448 -x4447 x4446 x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431
1792.13/1792.12 v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413
1792.13/1792.12 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396
1792.13/1792.12 v -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378
1792.13/1792.12 v -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360
1792.13/1792.12 v -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342
1792.13/1792.12 v -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324
1792.13/1792.12 v -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306
1792.13/1792.12 v -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288
1792.13/1792.12 v -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271
1792.13/1792.12 v -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253
1792.13/1792.12 v -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235
1792.13/1792.12 v -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217
1792.13/1792.12 v -x4216 -x4215 x4214 x4213 -x4212 -x4211 -x4210 -x4209 x4208 x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 x4200 -x4199 -x4198
1792.13/1792.12 v -x4197 -x4196 x4195 x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 x4183 -x4182 -x4181 x4180
1792.13/1792.12 v -x4179 -x4178 -x4177 -x4176 -x4175 x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 x4166 -x4165 -x4164 -x4163 -x4162
1792.13/1792.12 v -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144
1792.13/1792.12 v -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126
1792.13/1792.12 v -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108
1792.13/1792.12 v -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090
1792.13/1792.12 v -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073
1792.13/1792.12 v -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055
1792.13/1792.12 v -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037
1792.13/1792.12 v -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019
1792.13/1792.12 v -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001
1792.13/1792.12 v -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983
1792.13/1792.12 v -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965
1792.13/1792.12 v -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 x3948 -x3947
1792.13/1792.12 v -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930
1792.13/1792.12 v -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912
1792.13/1792.12 v -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894
1792.13/1792.12 v -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876
1792.13/1792.12 v -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858
1792.13/1792.12 v -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840
1792.13/1792.12 v -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822
1792.13/1792.12 v -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804
1792.13/1792.12 v -x3803 -x3802 x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 x3791 -x3790 -x3789 -x3788 -x3787 -x3786
1792.13/1792.12 v -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768
1792.13/1792.12 v -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750
1792.13/1792.12 v -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 x3735 -x3734 -x3733 x3732
1792.13/1792.12 v -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714
1792.13/1792.12 v -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696
1792.13/1792.12 v -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 x3680 -x3679 -x3678
1792.13/1792.12 v -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660
1792.13/1792.12 v -x3659 -x3658 -x3657 -x3656 -x3655 x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 x3646 -x3645 -x3644 -x3643 -x3642
1792.13/1792.12 v -x3641 -x3640 -x3639 x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624
1792.13/1792.12 v -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606
1792.13/1792.12 v -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 x3593 -x3592 -x3591 -x3590 -x3589 -x3588
1792.13/1792.12 v -x3587 -x3586 x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570
1792.13/1792.12 v -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552
1792.13/1792.12 v -x3551 -x3550 -x3549 -x3548 -x3547 x3546 -x3545 -x3544 -x3543 -x3542 x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534
1792.13/1792.12 v -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516
1792.13/1792.12 v -x3515 -x3514 x3513 -x3512 -x3511 x3510 x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 x3501 -x3500 -x3499 -x3498
1792.13/1792.12 v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 -x3481 -x3480
1792.13/1792.12 v -x3479 -x3478 -x3477 x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462
1792.13/1792.12 v -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 x3449 -x3448 -x3447 -x3446 -x3445 -x3444
1792.13/1792.12 v -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 x3428 -x3427 -x3426
1792.13/1792.12 v -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 x3411 -x3410 -x3409 -x3408
1792.13/1792.12 v -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390
1792.13/1792.12 v -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372
1792.13/1792.12 v -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 -x3360 x3359 -x3358 -x3357 -x3356 -x3355 -x3354
1792.13/1792.12 v -x3353 -x3352 -x3351 -x3350 x3349 x3348 -x3347 -x3346 x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336
1792.13/1792.12 v -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318
1792.13/1792.12 v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300
1792.13/1792.12 v -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
1792.13/1792.12 v -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264
1792.13/1792.12 v -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246
1792.13/1792.12 v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228
1792.13/1792.12 v -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210
1792.13/1792.12 v -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193
1792.13/1792.12 v x3192 -x3191 -x3190 x3189 x3188 -x3187 x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174
1792.13/1792.12 v -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156
1792.13/1792.12 v -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138
1792.13/1792.12 v -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 x3121 -x3120
1792.13/1792.12 v -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102
1792.13/1792.12 v -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084
1792.13/1792.12 v -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066
1792.13/1792.12 v -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049
1792.13/1792.12 v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 x3033 x3032 -x3031 -x3030
1792.13/1792.12 v -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012
1792.13/1792.12 v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995
1792.13/1792.12 v -x2994 -x2993 -x2992 -x2991 x2990 -x2989 -x2988 -x2987 x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976
1792.13/1792.12 v -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 x2961 -x2960 -x2959 -x2958
1792.13/1792.12 v -x2957 -x2956 x2955 -x2954 -x2953 -x2952 -x2951 -x2950 x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940
1792.13/1792.12 v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 x2932 x2931 -x2930 -x2929 -x2928 x2927 x2926 -x2925 x2924 -x2923 -x2922
1792.13/1792.12 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904
1792.13/1792.12 v -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886
1792.13/1792.12 v x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 x2869 -x2868
1792.13/1792.12 v -x2867 -x2866 -x2865 -x2864 -x2863 x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 x2855 -x2854 -x2853 -x2852 -x2851 -x2850
1792.13/1792.12 v -x2849 x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 x2841 -x2840 -x2839 -x2838 -x2837 -x2836 x2835 x2834 -x2833 -x2832 -x2831
1792.13/1792.12 v x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813
1792.13/1792.12 v -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 x2796 -x2795
1792.13/1792.12 v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777
1792.13/1792.12 v -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762 -x2761 -x2760 -x2759
1792.13/1792.12 v x2758 -x2757 -x2756 -x2755 -x2754 x2753 -x2752 -x2751 -x2750 -x2749 x2748 -x2747 -x2746 -x2745 -x2744 x2743 -x2742 -x2741
1792.13/1792.12 v -x2740 -x2739 x2738 -x2737 -x2736 -x2735 x2734 -x2733 -x2732 -x2731 -x2730 x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
1792.13/1792.12 v -x2722 -x2721 -x2720 -x2719 x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704
1792.13/1792.12 v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 x2689 -x2688 -x2687 -x2686
1792.13/1792.12 v -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668
1792.13/1792.12 v -x2667 -x2666 x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 x2654 -x2653 -x2652 -x2651 -x2650
1792.13/1792.12 v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 x2639 -x2638 -x2637 x2636 -x2635 -x2634 -x2633 -x2632
1792.13/1792.12 v -x2631 -x2630 x2629 -x2628 -x2627 -x2626 -x2625 x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 x2615 -x2614
1792.13/1792.12 v -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 x2599 -x2598 -x2597 -x2596
1792.13/1792.12 v -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 x2581 -x2580 -x2579 -x2578
1792.13/1792.12 v -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560
1792.13/1792.12 v -x2559 x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 x2548 x2547 -x2546 -x2545 -x2544 -x2543 -x2542
1792.13/1792.12 v -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524
1792.13/1792.12 v -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506
1792.13/1792.12 v -x2505 -x2504 x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488
1792.13/1792.12 v -x2487 -x2486 -x2485 -x2484 -x2483 x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470
1792.13/1792.12 v -x2469 x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452
1792.13/1792.12 v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 x2438 -x2437 -x2436 -x2435 -x2434
1792.13/1792.12 v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
1792.13/1792.12 v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398
1792.13/1792.12 v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 x2384 -x2383 -x2382 -x2381 -x2380
1792.13/1792.12 v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 x2367 -x2366 -x2365 -x2364 -x2363 -x2362
1792.13/1792.12 v -x2361 -x2360 -x2359 x2358 -x2357 x2356 x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
1792.13/1792.12 v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
1792.13/1792.12 v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308
1792.13/1792.12 v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290
1792.13/1792.12 v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272
1792.13/1792.12 v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 x2259 -x2258 -x2257 -x2256 -x2255 -x2254
1792.13/1792.12 v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236
1792.13/1792.12 v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218
1792.13/1792.12 v -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200
1792.13/1792.12 v -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 x2189 -x2188 -x2187 x2186 -x2185 -x2184 -x2183 -x2182
1792.13/1792.12 v -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 x2166 -x2165 -x2164
1792.13/1792.12 v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146
1792.13/1792.12 v -x2145 -x2144 -x2143 -x2142 -x2141 x2140 -x2139 -x2138 x2137 -x2136 -x2135 x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128
1792.13/1792.12 v -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110
1792.13/1792.12 v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092
1792.13/1792.12 v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074
1792.13/1792.12 v -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 x2057 -x2056
1792.13/1792.12 v x2055 x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038
1792.13/1792.12 v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020
1792.13/1792.12 v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003
1792.13/1792.12 v -x2002 -x2001 -x2000 -x1999 x1998 -x1997 x1996 -x1995 -x1994 x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984
1792.13/1792.12 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966
1792.13/1792.12 v -x1965 -x1964 -x1963 x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948
1792.13/1792.12 v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931
1792.13/1792.12 v -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 x1916 -x1915 x1914 -x1913 -x1912
1792.13/1792.12 v -x1911 -x1910 -x1909 x1908 -x1907 x1906 -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 -x1898 -x1897 x1896 -x1895 -x1894
1792.13/1792.12 v -x1893 -x1892 -x1891 -x1890 x1889 -x1888 x1887 -x1886 x1885 -x1884 -x1883 -x1882 -x1881 -x1880 x1879 -x1878 x1877 -x1876 -x1875
1792.13/1792.12 v -x1874 x1873 x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857
1792.13/1792.12 v -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839
1792.13/1792.12 v -x1838 -x1837 -x1836 -x1835 -x1834 x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 x1821
1792.13/1792.12 v -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803
1792.13/1792.12 v -x1802 -x1801 -x1800 -x1799 -x1798 x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 x1785
1792.13/1792.12 v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767
1792.13/1792.12 v -x1766 -x1765 -x1764 -x1763 x1762 -x1761 -x1760 -x1759 -x1758 x1757 -x1756 x1755 -x1754 -x1753 x1752 x1751 -x1750 x1749 x1748
1792.13/1792.12 v x1747 -x1746 -x1745 -x1744 x1743 -x1742 -x1741 x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730
1792.13/1792.12 v -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712
1792.13/1792.12 v x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694
1792.13/1792.12 v -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676
1792.13/1792.12 v -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658
1792.13/1792.12 v -x1657 x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640
1792.13/1792.12 v -x1639 -x1638 -x1637 x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 x1626 -x1625 -x1624 -x1623 -x1622
1792.13/1792.12 v -x1621 -x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 x1606 -x1605 -x1604
1792.13/1792.12 v -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586
1792.13/1792.12 v -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568
1792.13/1792.12 v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550
1792.13/1792.12 v -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532
1792.13/1792.12 v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514
1792.13/1792.12 v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 -x1500 x1499 -x1498 -x1497 -x1496
1792.13/1792.12 v -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 x1480 -x1479 -x1478
1792.13/1792.12 v -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460
1792.13/1792.12 v -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442
1792.13/1792.12 v -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425
1792.13/1792.12 v -x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407
1792.13/1792.12 v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 x1400 x1399 x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388
1792.13/1792.12 v x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 x1374 -x1373 x1372 -x1371 -x1370
1792.13/1792.12 v x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352
1792.13/1792.12 v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334
1792.13/1792.12 v -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316
1792.13/1792.12 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298
1792.13/1792.12 v -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 -x1282 -x1281 -x1280
1792.13/1792.12 v -x1279 -x1278 x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262
1792.13/1792.12 v x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244
1792.13/1792.12 v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226
1792.13/1792.12 v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208
1792.13/1792.12 v -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190
1792.13/1792.12 v -x1189 -x1188 x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172
1792.13/1792.12 v -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
1792.13/1792.12 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136
1792.13/1792.12 v -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 x1121 -x1120 -x1119 -x1118
1792.13/1792.12 v -x1117 -x1116 x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100
1792.13/1792.12 v -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 x1081
1792.13/1792.12 v x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
1792.13/1792.12 v x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
1792.13/1792.12 v -x1044 -x1043 -x1042 -x1041 -x1040 x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
1792.13/1792.12 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
1792.13/1792.12 v -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
1792.13/1792.12 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
1792.13/1792.12 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 x948 x947
1792.13/1792.12 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926
1792.13/1792.12 v x925 x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
1792.13/1792.12 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884
1792.13/1792.12 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863
1792.13/1792.12 v -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1792.13/1792.12 v -x840 x839 -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820
1792.13/1792.12 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798
1792.13/1792.12 v -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
1792.13/1792.12 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
1792.13/1792.12 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736
1792.13/1792.12 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715
1792.13/1792.12 v x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 x701 x700 x699 x698 -x697 -x696 -x695 -x694 -x693
1792.13/1792.12 v -x692 -x691 -x690 -x689 -x688 -x687 x686 x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 x672 -x671
1792.13/1792.12 v -x670 x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650
1792.13/1792.12 v -x649 -x648 -x647 -x646 -x645 x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 x629
1792.13/1792.12 v x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608
1792.13/1792.12 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 x597 x596 x595 -x594 -x593 -x592 -x591 x590 x589 -x588 x587 -x586
1792.13/1792.12 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565
1792.13/1792.12 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544
1792.13/1792.12 v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 x524 -x523
1792.13/1792.12 v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502
1792.13/1792.12 v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481
1792.13/1792.12 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460
1792.13/1792.12 v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439
1792.13/1792.12 v -x438 x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 x419 -x418 -x417
1792.13/1792.12 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
1792.13/1792.12 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1792.13/1792.12 v -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
1792.13/1792.12 v -x353 -x352 -x351 x350 x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 x333 -x332
1792.13/1792.12 v -x331 -x330 x329 x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
1792.13/1792.12 v -x310 x309 -x308 -x307 -x306 -x305 x304 -x303 x302 -x301 -x300 x299 x298 x297 -x296 -x295 -x294 x293 x292 -x291 x290 -x289 -x288
1792.13/1792.12 v -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267
1792.13/1792.12 v x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1792.13/1792.12 v x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 x234 x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1792.13/1792.12 v -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1792.13/1792.12 v -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1792.13/1792.12 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161
1792.13/1792.12 v x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140
1792.13/1792.12 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118
1792.13/1792.12 v -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1792.13/1792.12 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1792.13/1792.12 v -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46
1792.13/1792.12 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20
1792.13/1792.12 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1
1792.13/1792.12 c SCIP Status : solving was interrupted [time limit reached]
1792.13/1792.12 c Solving Time : 1789.88
1792.13/1792.12 c Original Problem :
1792.13/1792.12 c Problem name : HOME/instance-2705335-1278578356.wbo
1792.13/1792.12 c Variables : 29760 (17191 binary, 0 integer, 12569 implicit integer, 0 continuous)
1792.13/1792.12 c Constraints : 25139 initial, 25139 maximal
1792.13/1792.12 c Presolved Problem :
1792.13/1792.12 c Problem name : t_HOME/instance-2705335-1278578356.wbo
1792.13/1792.12 c Variables : 29760 (17191 binary, 0 integer, 12569 implicit integer, 0 continuous)
1792.13/1792.12 c Constraints : 25138 initial, 25138 maximal
1792.13/1792.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1792.13/1792.12 c trivial : 0.00 0 0 0 0 0 0 0 0
1792.13/1792.12 c dualfix : 0.00 0 0 0 0 0 0 0 0
1792.13/1792.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1792.13/1792.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1792.13/1792.12 c implics : 0.00 0 0 0 0 0 0 0 0
1792.13/1792.12 c probing : 0.26 0 0 0 0 0 0 0 0
1792.13/1792.12 c varbound : 0.00 0 0 0 0 0 0 0 0
1792.13/1792.12 c linear : 0.07 0 0 0 12569 0 1 408 816
1792.13/1792.12 c indicator : 0.01 0 0 0 0 0 0 0 0
1792.13/1792.12 c root node : - 0 - - 0 - - - -
1792.13/1792.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1792.13/1792.12 c integral : 0 0 0 135935 0 0 0 0 0 222188
1792.13/1792.12 c varbound : 1 6 200507 24841 0 0 0 1 0 0
1792.13/1792.12 c linear : 12568 6 200507 24841 0 0 100503 199691 0 0
1792.13/1792.12 c indicator : 12569 0 200507 24841 0 0 69885 0 0 0
1792.13/1792.12 c countsols : 0 0 0 20072 0 0 0 0 0 0
1792.13/1792.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1792.13/1792.12 c integral : 86.79 0.00 0.00 86.79 0.00
1792.13/1792.12 c varbound : 0.16 0.00 0.14 0.02 0.00
1792.13/1792.12 c linear : 154.81 0.02 56.91 97.88 0.00
1792.13/1792.12 c indicator : 130.82 0.01 78.78 52.02 0.00
1792.13/1792.12 c countsols : 0.01 0.00 0.00 0.01 0.00
1792.13/1792.12 c Propagators : Time Calls Cutoffs DomReds
1792.13/1792.12 c vbounds : 5.66 43292 0 0
1792.13/1792.12 c rootredcost : 0.13 1 0 0
1792.13/1792.12 c pseudoobj : 91.60 200307 0 0
1792.13/1792.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1792.13/1792.12 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1792.13/1792.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1792.13/1792.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1792.13/1792.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1792.13/1792.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1792.13/1792.12 c applied globally : - - - 0 0.0 - - -
1792.13/1792.12 c applied locally : - - - 0 0.0 - - -
1792.13/1792.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1792.13/1792.12 c cut pool : 0.00 4 - - 87 - (maximal pool size: 822)
1792.13/1792.12 c redcost : 189.84 135932 0 0 0 0
1792.13/1792.12 c impliedbounds : 0.00 5 0 0 0 0
1792.13/1792.12 c intobj : 0.00 0 0 0 0 0
1792.13/1792.12 c cgmip : 0.00 0 0 0 0 0
1792.13/1792.12 c gomory : 0.11 5 0 0 209 0
1792.13/1792.12 c strongcg : 0.10 5 0 0 770 0
1792.13/1792.12 c cmir : 0.25 5 0 0 58 0
1792.13/1792.12 c flowcover : 0.65 5 0 0 474 0
1792.13/1792.12 c clique : 0.01 1 0 0 0 0
1792.13/1792.12 c zerohalf : 0.00 0 0 0 0 0
1792.13/1792.12 c mcf : 0.00 1 0 0 0 0
1792.13/1792.12 c rapidlearning : 0.00 0 0 0 0 0
1792.13/1792.12 c Pricers : Time Calls Vars
1792.13/1792.12 c problem variables: 0.00 0 0
1792.13/1792.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1792.13/1792.12 c relpscost : 86.49 111094 0 0 0 0 222188
1792.13/1792.12 c pscost : 0.00 0 0 0 0 0 0
1792.13/1792.12 c inference : 77.73 20072 0 0 0 0 40144
1792.13/1792.12 c mostinf : 0.00 0 0 0 0 0 0
1792.13/1792.12 c leastinf : 0.00 0 0 0 0 0 0
1792.13/1792.12 c fullstrong : 0.00 0 0 0 0 0 0
1792.13/1792.12 c allfullstrong : 0.00 0 0 0 0 0 0
1792.13/1792.12 c random : 0.00 0 0 0 0 0 0
1792.13/1792.12 c Primal Heuristics : Time Calls Found
1792.13/1792.12 c LP solutions : 0.00 - 0
1792.13/1792.12 c pseudo solutions : 0.00 - 0
1792.13/1792.12 c intshifting : 0.00 0 0
1792.13/1792.12 c feaspump : 0.00 0 0
1792.13/1792.12 c oneopt : 0.16 1 0
1792.13/1792.12 c crossover : 1.76 8 0
1792.13/1792.12 c rootsoldiving : 7.09 191 0
1792.13/1792.12 c objpscostdiving : 8.15 236 0
1792.13/1792.12 c veclendiving : 26.38 543 0
1792.13/1792.12 c fracdiving : 29.59 544 0
1792.13/1792.12 c linesearchdiving : 24.23 544 0
1792.13/1792.12 c guideddiving : 13.61 544 0
1792.13/1792.12 c coefdiving : 24.16 544 0
1792.13/1792.12 c pscostdiving : 28.97 544 0
1792.13/1792.12 c trivial : 1.65 2 2
1792.13/1792.12 c simplerounding : 0.44 97888 0
1792.13/1792.12 c zirounding : 0.17 1000 0
1792.13/1792.12 c rounding : 0.65 4391 0
1792.13/1792.12 c shifting : 1.07 1320 0
1792.13/1792.12 c twoopt : 0.00 0 0
1792.13/1792.12 c fixandinfer : 0.00 0 0
1792.13/1792.12 c intdiving : 0.00 0 0
1792.13/1792.12 c actconsdiving : 0.00 0 0
1792.13/1792.12 c octane : 0.00 0 0
1792.13/1792.12 c rens : 0.18 1 0
1792.13/1792.12 c rins : 0.00 0 0
1792.13/1792.12 c localbranching : 0.00 0 0
1792.13/1792.12 c mutation : 0.00 0 0
1792.13/1792.12 c dins : 0.00 0 0
1792.13/1792.12 c undercover : 0.00 0 0
1792.13/1792.12 c nlp : 0.05 0 0
1792.13/1792.12 c trysol : 1.51 516 101
1792.13/1792.12 c LP : Time Calls Iterations Iter/call Iter/sec
1792.13/1792.12 c primal LP : 0.00 0 0 0.00 -
1792.13/1792.12 c dual LP : 483.57 103093 735591 7.14 1521.16
1792.13/1792.12 c lex dual LP : 0.00 0 0 0.00 -
1792.13/1792.12 c barrier LP : 0.00 0 0 0.00 -
1792.13/1792.12 c diving/probing LP: 48.76 12964 54633 4.21 1120.55
1792.13/1792.12 c strong branching : 81.97 13804 143152 10.37 1746.49
1792.13/1792.12 c (at root node) : - 33 2164 65.58 -
1792.13/1792.12 c conflict analysis: 0.00 0 0 0.00 -
1792.13/1792.12 c B&B Tree :
1792.13/1792.12 c number of runs : 1
1792.13/1792.12 c nodes : 131166
1792.13/1792.12 c nodes (total) : 131166
1792.13/1792.12 c nodes left : 131167
1792.13/1792.12 c max depth : 411
1792.13/1792.12 c max depth (total): 411
1792.13/1792.12 c backtracks : 773 (0.6%)
1792.13/1792.12 c delayed cutoffs : 0
1792.13/1792.12 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1792.13/1792.12 c avg switch length: 2.16
1792.13/1792.12 c switching time : 20.50
1792.13/1792.12 c Solution :
1792.13/1792.12 c Solutions found : 103 (2 improvements)
1792.13/1792.12 c First Solution : +6.36316000000000e+05 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1792.13/1792.12 c Primal Bound : +6.36291000000000e+05 (in run 1, after 22930 nodes, 372.03 seconds, depth 342, found by <trysol>)
1792.13/1792.12 c Dual Bound : +0.00000000000000e+00
1792.13/1792.12 c Gap : infinite
1792.13/1792.12 c Root Dual Bound : +0.00000000000000e+00
1792.13/1792.12 c Root Iterations : 1519
1792.54/1792.51 c Time complete: 1792.54.
OK 21790
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705335-1278578356/watcher-2705335-1278578356 -o /tmp/evaluation-result-2705335-1278578356/solver-2705335-1278578356 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705335-1278578356.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.85 1.98 1.99 3/182 21778 /proc/meminfo: memFree=30010728/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=12520 CPUtime=0 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1971 0 0 0 0 0 0 0 21 0 1 0 26048900 12820480 1890 4089446400 4194304 10345943 140734241259984 18446744073709551615 9134628 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21778/statm: 3130 1892 429 1502 0 1623 0 [startup+0.0441711 s] /proc/loadavg: 1.85 1.98 1.99 3/182 21778 /proc/meminfo: memFree=30010728/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=25724 CPUtime=0.03 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 5264 0 0 0 3 0 0 0 21 0 1 0 26048900 26341376 5183 4089446400 4194304 10345943 140734241259984 18446744073709551615 9134628 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21778/statm: 6431 5183 430 1502 0 4924 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 25724 [startup+0.10116 s] /proc/loadavg: 1.85 1.98 1.99 3/182 21778 /proc/meminfo: memFree=30010728/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=41064 CPUtime=0.09 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 9123 0 0 0 8 1 0 0 21 0 1 0 26048900 42049536 9042 4089446400 4194304 10345943 140734241259984 18446744073709551615 4327595 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21778/statm: 10266 9042 430 1502 0 8759 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 41064 [startup+0.301125 s] /proc/loadavg: 1.85 1.98 1.99 3/182 21778 /proc/meminfo: memFree=30010728/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=114020 CPUtime=0.3 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 26831 0 0 0 27 3 0 0 21 0 1 0 26048900 116756480 26360 4089446400 4194304 10345943 140734241259984 18446744073709551615 9138512 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/21778/statm: 28505 26360 509 1502 0 26998 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 114020 [startup+0.701057 s] /proc/loadavg: 1.85 1.98 1.99 3/182 21778 /proc/meminfo: memFree=30010728/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=114020 CPUtime=0.7 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 26831 0 0 0 67 3 0 0 22 0 1 0 26048900 116756480 26360 4089446400 4194304 10345943 140734241259984 18446744073709551615 9138288 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/21778/statm: 28505 26360 509 1502 0 26998 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 114020 [startup+1.50092 s] /proc/loadavg: 1.85 1.98 1.99 3/183 21779 /proc/meminfo: memFree=29907056/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=114020 CPUtime=1.5 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 26831 0 0 0 147 3 0 0 25 0 1 0 26048900 116756480 26360 4089446400 4194304 10345943 140734241259984 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/21778/statm: 28505 26360 509 1502 0 26998 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 114020 [startup+3.10063 s] /proc/loadavg: 1.85 1.98 1.99 3/183 21779 /proc/meminfo: memFree=29899244/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=149296 CPUtime=3.09 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 34961 0 0 0 306 3 0 0 25 0 1 0 26048900 152879104 34319 4089446400 4194304 10345943 140734241259984 18446744073709551615 5834426 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/21778/statm: 37324 34319 746 1502 0 35817 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 149296 [startup+6.30107 s] /proc/loadavg: 1.86 1.98 1.99 3/183 21779 /proc/meminfo: memFree=29862048/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=155420 CPUtime=6.29 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 117943 0 0 0 617 12 0 0 25 0 1 0 26048900 159150080 35615 4089446400 4194304 10345943 140734241259984 18446744073709551615 9366586 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/21778/statm: 38044 35367 764 1502 0 36537 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 155420 [startup+12.7009 s] /proc/loadavg: 1.87 1.98 1.99 3/183 21779 /proc/meminfo: memFree=29858352/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=155748 CPUtime=12.69 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 218600 0 0 0 1245 24 0 0 25 0 1 0 26048900 159485952 36236 4089446400 4194304 10345943 140734241259984 18446744073709551615 6777399 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/21778/statm: 38937 36236 765 1502 0 37430 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 155748 [startup+25.5006 s] /proc/loadavg: 1.90 1.98 1.99 3/183 21779 /proc/meminfo: memFree=29836436/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=159716 CPUtime=25.49 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 431437 0 0 0 2502 47 0 0 25 0 1 0 26048900 163549184 36668 4089446400 4194304 10345943 140734241259984 18446744073709551615 7578582 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/21778/statm: 39929 36668 765 1502 0 38422 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 159716 [startup+51.1011 s] /proc/loadavg: 1.93 1.98 1.99 3/183 21780 /proc/meminfo: memFree=29818008/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=161800 CPUtime=51.09 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1136938 0 0 0 4978 131 0 0 25 0 1 0 26048900 165683200 37287 4089446400 4194304 10345943 140734241259984 18446744073709551615 6518701 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 40450 37287 777 1502 0 38943 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 161800 [startup+102.307 s] /proc/loadavg: 1.97 1.98 1.99 3/183 21781 /proc/meminfo: memFree=29746732/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=177120 CPUtime=102.29 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1389551 0 0 0 10060 169 0 0 25 0 1 0 26048900 181370880 41355 4089446400 4194304 10345943 140734241259984 18446744073709551615 6847584 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 44280 41355 777 1502 0 42773 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 177120 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/183 21783 /proc/meminfo: memFree=29635720/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=206924 CPUtime=162.29 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1448573 0 0 0 16046 183 0 0 25 0 1 0 26048900 211890176 48860 4089446400 4194304 10345943 140734241259984 18446744073709551615 6802957 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 51731 48860 777 1502 0 50224 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 206924 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/183 21785 /proc/meminfo: memFree=29508084/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=242384 CPUtime=222.3 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1573796 0 0 0 22025 205 0 0 25 0 1 0 26048900 248201216 57939 4089446400 4194304 10345943 140734241259984 18446744073709551615 5926437 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 60596 57939 777 1502 0 59089 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 242384 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/183 21786 /proc/meminfo: memFree=29387132/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=282152 CPUtime=282.3 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1626031 0 0 0 28009 221 0 0 25 0 1 0 26048900 288923648 67822 4089446400 4194304 10345943 140734241259984 18446744073709551615 6520218 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 70538 67822 777 1502 0 69031 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 282152 [startup+342.3 s] /proc/loadavg: 2.04 2.00 1.99 3/183 21788 /proc/meminfo: memFree=29279968/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=322812 CPUtime=342.3 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1658085 0 0 0 33997 233 0 0 25 0 1 0 26048900 330559488 77991 4089446400 4194304 10345943 140734241259984 18446744073709551615 6372944 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 80703 77991 777 1502 0 79196 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 322812 [startup+402.301 s] /proc/loadavg: 2.01 2.00 1.99 3/183 21789 /proc/meminfo: memFree=29101240/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=410104 CPUtime=402.3 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1702233 0 0 0 39985 245 0 0 25 0 1 0 26048900 419946496 100078 4089446400 4194304 10345943 140734241259984 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 102526 100078 778 1502 0 101019 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 410104 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.99 3/183 21791 /proc/meminfo: memFree=28972484/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=410104 CPUtime=462.3 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1713862 0 0 0 45978 252 0 0 25 0 1 0 26048900 419946496 100157 4089446400 4194304 10345943 140734241259984 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 102526 100157 778 1502 0 101019 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 410104 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.99 3/183 21793 /proc/meminfo: memFree=28855016/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=455672 CPUtime=522.31 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1735181 0 0 0 51969 262 0 0 25 0 1 0 26048900 466608128 111238 4089446400 4194304 10345943 140734241259984 18446744073709551615 6802879 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 113918 111238 778 1502 0 112411 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 455672 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.99 3/183 21794 /proc/meminfo: memFree=28720812/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=524208 CPUtime=582.3 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1753082 0 0 0 57961 269 0 0 25 0 1 0 26048900 536788992 128014 4089446400 4194304 10345943 140734241259984 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 131052 128014 778 1502 0 129545 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 524208 [startup+642.301 s] /proc/loadavg: 2.10 2.03 2.00 3/183 21796 /proc/meminfo: memFree=28633976/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=546472 CPUtime=642.31 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1763872 0 0 0 63956 275 0 0 25 0 1 0 26048900 559587328 134167 4089446400 4194304 10345943 140734241259984 18446744073709551615 6777589 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 136618 134167 778 1502 0 135111 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 546472 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28011372/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=826416 CPUtime=1062.31 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1912811 0 0 0 105885 346 0 0 25 0 1 0 26048900 846249984 203904 4089446400 4194304 10345943 140734241259984 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 206604 203904 778 1502 0 205097 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 826416 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 21809 /proc/meminfo: memFree=27953912/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=862092 CPUtime=1122.31 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1928597 0 0 0 111878 353 0 0 25 0 1 0 26048900 882782208 212938 4089446400 4194304 10345943 140734241259984 18446744073709551615 6003033 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 215523 212938 778 1502 0 214016 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 862092 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 21810 /proc/meminfo: memFree=27887156/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=902924 CPUtime=1182.32 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 1947236 0 0 0 117869 363 0 0 25 0 1 0 26048900 924594176 223158 4089446400 4194304 10345943 140734241259984 18446744073709551615 7791931 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 225731 223158 778 1502 0 224224 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 902924 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 21812 /proc/meminfo: memFree=27826364/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=941736 CPUtime=1242.32 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2000984 0 0 0 123857 375 0 0 25 0 1 0 26048900 964337664 232535 4089446400 4194304 10345943 140734241259984 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 235434 232535 778 1502 0 233927 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 941736 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 21813 /proc/meminfo: memFree=27763460/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=976248 CPUtime=1302.33 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2015570 0 0 0 129850 383 0 0 25 0 1 0 26048900 999677952 241585 4089446400 4194304 10345943 140734241259984 18446744073709551615 6551137 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 244062 241585 778 1502 0 242555 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 976248 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 21824 /proc/meminfo: memFree=27709836/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1010704 CPUtime=1362.33 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2027587 0 0 0 135843 390 0 0 25 0 1 0 26048900 1034960896 249996 4089446400 4194304 10345943 140734241259984 18446744073709551615 6519530 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 252676 249996 778 1502 0 251169 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1010704 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 21826 /proc/meminfo: memFree=27662060/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1047088 CPUtime=1422.33 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2085720 0 0 0 141830 403 0 0 25 0 1 0 26048900 1072218112 258994 4089446400 4194304 10345943 140734241259984 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 261772 258994 778 1502 0 260265 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1047088 [startup+1482.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 21827 /proc/meminfo: memFree=27618508/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1080768 CPUtime=1482.32 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2099469 0 0 0 147823 409 0 0 25 0 1 0 26048900 1106706432 267428 4089446400 4194304 10345943 140734241259984 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 270192 267428 778 1502 0 268685 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1080768 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 21829 /proc/meminfo: memFree=27564516/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1120628 CPUtime=1542.33 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2119204 0 0 0 153815 418 0 0 25 0 1 0 26048900 1147523072 277547 4089446400 4194304 10345943 140734241259984 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 280157 277547 778 1502 0 278650 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1120628 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 21830 /proc/meminfo: memFree=27518104/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1154016 CPUtime=1602.34 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2151138 0 0 0 159806 428 0 0 25 0 1 0 26048900 1181712384 286035 4089446400 4194304 10345943 140734241259984 18446744073709551615 6119499 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 288504 286035 778 1502 0 286997 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1154016 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 21832 /proc/meminfo: memFree=27471700/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1189496 CPUtime=1662.33 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2166630 0 0 0 165799 434 0 0 25 0 1 0 26048900 1218043904 294877 4089446400 4194304 10345943 140734241259984 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 297374 294877 778 1502 0 295867 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1189496 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 21834 /proc/meminfo: memFree=27429128/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1223588 CPUtime=1722.34 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2192879 0 0 0 171791 443 0 0 25 0 1 0 26048900 1252954112 303503 4089446400 4194304 10345943 140734241259984 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 305897 303503 778 1502 0 304390 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1223588 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/183 21835 /proc/meminfo: memFree=27387420/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1257788 CPUtime=1782.33 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2222523 0 0 0 177782 451 0 0 25 0 1 0 26048900 1287974912 311681 4089446400 4194304 10345943 140734241259984 18446744073709551615 5614200 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 314447 311681 778 1502 0 312940 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1257788 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.04 2.01 2.00 3/183 21835 /proc/meminfo: memFree=27384320/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1259324 CPUtime=1785.54 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2223191 0 0 0 178102 452 0 0 25 0 1 0 26048900 1289547776 312349 4089446400 4194304 10345943 140734241259984 18446744073709551615 5926392 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21778/statm: 314831 312349 778 1502 0 313324 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 1259324 [startup+1788.7 s] /proc/loadavg: 2.04 2.01 2.00 3/183 21862 /proc/meminfo: memFree=28648668/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1259324 CPUtime=1788.73 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2223217 0 0 0 178421 452 0 0 25 0 1 0 26048900 1289547776 312375 4089446400 4194304 10345943 140734241259984 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21778/statm: 314831 312375 778 1502 0 313324 0 Current children cumulated CPU time (s) 1788.73 Current children cumulated vsize (KiB) 1259324 [startup+1790.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 21862 /proc/meminfo: memFree=28604896/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1259324 CPUtime=1790.33 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2223217 0 0 0 178581 452 0 0 25 0 1 0 26048900 1289547776 312375 4089446400 4194304 10345943 140734241259984 18446744073709551615 9137947 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21778/statm: 314831 312375 778 1502 0 313324 0 Current children cumulated CPU time (s) 1790.33 Current children cumulated vsize (KiB) 1259324 [startup+1791.91 s] /proc/loadavg: 2.03 2.01 2.00 3/183 21863 /proc/meminfo: memFree=28597968/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1259324 CPUtime=1791.94 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2223217 0 0 0 178742 452 0 0 25 0 1 0 26048900 1289547776 312375 4089446400 4194304 10345943 140734241259984 18446744073709551615 4246677 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21778/statm: 314831 312375 778 1502 0 313324 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 1259324 [startup+1792.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 21863 /proc/meminfo: memFree=28597968/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=1259324 CPUtime=1792.33 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2223221 0 0 0 178781 452 0 0 18 0 1 0 26048900 1289547776 312379 4089446400 4194304 10345943 140734241259984 18446744073709551615 4665808 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21778/statm: 314831 312379 782 1502 0 313324 0 Current children cumulated CPU time (s) 1792.33 Current children cumulated vsize (KiB) 1259324 [startup+1792.5 s] /proc/loadavg: 2.03 2.01 2.00 3/183 21863 /proc/meminfo: memFree=28597968/32951124 swapFree=67111528/67111528 [pid=21778] ppid=21776 vsize=138844 CPUtime=1792.54 /proc/21778/stat : 21778 (pbscip.linux.x8) R 21776 21778 21226 0 -1 4202496 2223221 0 0 0 178797 457 0 0 18 0 1 0 26048900 142176256 32487 4089446400 4194304 10345943 140734241259984 18446744073709551615 9198727 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21778/statm: 34711 32487 782 1502 0 33204 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (KiB) 138844 Child status: 0 Real time (s): 1792.51 CPU time (s): 1792.56 CPU user time (s): 1787.98 CPU system time (s): 4.5793 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1269068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.98 system time used= 4.5793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2223224 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1255 runsolver used 2.95955 second user time and 6.82696 second system time The end
Begin job on node132 at 2010-07-08 10:39:16 IDJOB=2705335 IDBENCH=79332 IDSOLVER=1214 FILE ID=node132/2705335-1278578356 PBS_JOBID= 11240191 Free space on /tmp= 73568 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705335-1278578356/watcher-2705335-1278578356 -o /tmp/evaluation-result-2705335-1278578356/solver-2705335-1278578356 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705335-1278578356.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65e5bfc23cfeb9f0d41691b20b2e7f01 RANDOM SEED=1478444185 node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30011008 kB Buffers: 150128 kB Cached: 2509080 kB SwapCached: 0 kB Active: 1014804 kB Inactive: 1765044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30011008 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 26224 kB Writeback: 0 kB AnonPages: 120668 kB Mapped: 17540 kB Slab: 96520 kB PageTables: 4892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 267168 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73556 MiB End job on node132 at 2010-07-08 11:09:09