Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | 20 | 1796.77 | 1797.07 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
| MD5SUM | a6271c60ac3da107dd19024b50d39967 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 60.8677 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| Optimality of the best value was proved | YES |
| Number of variables | 4318 |
| Total number of constraints | 15120 |
| Number of constraints which are clauses | 15112 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 490 |
| Number of terms in the objective function | 490 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 490 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 518 |
| Number of bits of the biggest sum of numbers | 10 |
| 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 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3736038-1338720736.opb>
0.00/0.09 c original problem has 4318 variables (4318 bin, 0 int, 0 impl, 0 cont) and 15120 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.18 c (round 1) 440 del vars, 863 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 114180 impls, 0 clqs
0.09/0.19 c (round 2) 440 del vars, 881 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 114180 impls, 0 clqs
0.19/0.24 c (round 3) 440 del vars, 882 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 114180 impls, 0 clqs
0.29/0.35 c (0.4s) probing: 101/3878 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.35 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.29/0.35 c presolving (4 rounds):
0.29/0.35 c 440 deleted vars, 882 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 6 changed sides, 7 changed coefficients
0.29/0.35 c 114180 implications, 0 cliques
0.29/0.35 c presolved problem has 3878 variables (3878 bin, 0 int, 0 impl, 0 cont) and 14238 constraints
0.29/0.35 c 1 constraints of type <knapsack>
0.29/0.35 c 10839 constraints of type <setppc>
0.29/0.35 c 3398 constraints of type <logicor>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.24
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 2.0.1.5
0.29/0.35 c
0.29/0.35 c # frequency for displaying node information lines
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35 c display/freq = 10000
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1797
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 13950
0.29/0.35 c
0.29/0.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.35 c # [type: int, range: [1,2], default: 1]
0.29/0.35 c timing/clocktype = 2
0.29/0.35 c
0.29/0.35 c # belongs reading time to solving time?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c timing/reading = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify inequalities
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/linear/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/indicator/addCouplingCons = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify knapsacks
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36 c separating/rapidlearning/freq = 0
0.29/0.36 c
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving
0.29/0.36 c
2.38/2.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.38/2.44 c 2.4s| 1 | 0 | 7435 | - | 30M| 0 | 857 |3878 | 14k|3878 | 14k| 0 | 58 | 0 | 1.060565e+01 | -- | Inf
14.09/14.11 c 14.1s| 1 | 0 | 22105 | - | 30M| 0 | 463 |3878 | 14k|3878 | 14k| 11 | 58 | 0 | 1.172473e+01 | -- | Inf
25.08/25.15 c 25.1s| 1 | 2 | 22105 | - | 30M| 0 | 463 |3878 | 14k|3878 | 14k| 11 | 58 | 17 | 1.172473e+01 | -- | Inf
114.46/114.58 o 25
114.46/114.58 c c 115s| 19 | 20 | 90454 |3797.2 | 31M| 18 | - |3878 | 14k|3878 | 14k| 11 | 58 | 169 | 1.172473e+01 | 2.500000e+01 | 113.22%
121.56/121.60 o 24
121.56/121.60 c p 122s| 31 | 32 |105635 |2784.3 | 31M| 18 | - |3878 | 14k|3878 | 14k| 11 | 59 | 169 | 1.172473e+01 | 2.400000e+01 | 104.70%
190.75/190.83 o 23
190.75/190.83 c l 191s| 74 | 75 |229135 |2836.0 | 31M| 22 | - |3878 | 14k|3878 | 14k| 11 | 66 | 199 | 1.172473e+01 | 2.300000e+01 | 96.17%
243.65/243.75 o 22
243.65/243.75 c l 244s| 92 | 93 |335449 |3443.3 | 32M| 22 | - |3878 | 14k|3878 | 14k| 11 | 75 | 214 | 1.214851e+01 | 2.200000e+01 | 81.09%
750.36/750.50 o 21
750.36/750.50 c g 750s| 310 | 311 | 1293k|4115.4 | 33M| 23 | - |3878 | 14k|3878 | 14k| 11 | 286 | 404 | 1.232979e+01 | 2.100000e+01 | 70.32%
808.75/808.93 o 20
808.75/808.93 c f 809s| 351 | 349 | 1405k|3951.8 | 33M| 35 | - |3878 | 14k|3878 | 14k| 11 | 325 | 443 | 1.234068e+01 | 2.000000e+01 | 62.07%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 1454
1796.70/1797.00 c Primal Bound : +2.00000000000000e+01 (10 solutions)
1796.70/1797.00 c Dual Bound : +1.26195325243258e+01
1796.70/1797.00 c Gap : 58.48 %
1796.70/1797.01 s SATISFIABLE
1796.70/1797.01 v -x4318 -x4317 -x4316 -x4315 -x4313 -x4311 -x4310 -x4309 -x4308 -x4306 -x4304 -x4303 -x4302 -x4301 -x4299 -x4297 -x4296 -x4295 -x4294
1796.70/1797.01 v -x4292 -x4290 -x4289 -x4288 -x4287 -x4285 -x4283 -x4282 -x4281 -x4280 x4278 -x4276 x4275 -x4274 x4273 -x4271 -x4270 -x4269
1796.70/1797.01 v -x4268 -x4266 -x4264 -x4263 -x4262 -x4261 -x4259 -x4257 -x4256 -x4255 -x4254 x4252 -x4250 x4249 -x4248 x4247 -x4245 -x4244
1796.70/1797.01 v -x4243 -x4242 x4240 -x4238 -x4237 -x4236 -x4235 -x4233 -x4231 -x4230 -x4229 x4228 x4226 -x4224 -x4223 -x4222 -x4221 -x4219
1796.70/1797.01 v -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 x4205 -x4203 -x4202 -x4201 -x4200 -x4198 -x4196 -x4195 -x4194
1796.70/1797.01 v -x4193 x4191 -x4189 -x4188 -x4187 -x4186 -x4184 -x4182 -x4181 -x4180 -x4179 -x4177 -x4175 -x4174 -x4173 -x4172 -x4170 -x4168
1796.70/1797.01 v -x4167 -x4166 -x4165 -x4163 -x4161 -x4160 -x4159 x4158 x4156 x4154 -x4153 -x4152 x4151 x4149 -x4147 -x4146 -x4145 -x4144 x4142
1796.70/1797.01 v -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4130 -x4128 -x4127 -x4126 -x4125 x4123 -x4121 -x4120 -x4119 -x4118
1796.70/1797.01 v x4116 -x4114 -x4113 -x4112 x4111 x4109 -x4107 -x4106 -x4105 -x4104 -x4102 -x4100 -x4099 -x4098 -x4097 -x4095 -x4093 -x4092
1796.70/1797.01 v -x4091 x4090 x4088 -x4086 -x4085 -x4084 -x4083 -x4081 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069
1796.70/1797.01 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050
1796.70/1797.01 v -x4049 -x4048 -x4047 -x4046 -x4045 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4031 -x4030
1796.70/1797.01 v -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011
1796.70/1797.01 v -x4010 -x4009 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3995 -x3994 -x3993 -x3992 -x3991
1796.70/1797.01 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3971
1796.70/1797.01 v -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
1796.70/1797.01 v x3951 -x3950 x3949 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 -x3933 -x3932
1796.70/1797.01 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913
1796.70/1797.01 v -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893
1796.70/1797.01 v -x3892 -x3891 -x3890 -x3889 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3875 -x3874
1796.70/1797.01 v -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856 -x3855
1796.70/1797.01 v -x3854 x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3838 -x3837 -x3836 -x3835
1796.70/1797.01 v -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1796.70/1797.01 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3800 -x3799 -x3798 -x3797
1796.70/1797.01 v -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779
1796.70/1797.01 v -x3778 -x3777 -x3776 -x3775 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760
1796.70/1797.01 v -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
1796.70/1797.01 v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723
1796.70/1797.01 v -x3722 x3721 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704
1796.70/1797.01 v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686
1796.70/1797.01 v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668
1796.70/1797.01 v -x3667 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649
1796.70/1797.01 v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 x3640 x3638 x3636 x3634 x3632 -x3630 -x3628 x3626 x3624 -x3622 -x3620
1796.70/1797.01 v x3618 x3616 x3614 x3612 -x3610 -x3608 -x3606 -x3605 -x3604 -x3603 -x3601 -x3600 -x3599 -x3598 -x3596 -x3595 -x3594 -x3593
1796.70/1797.01 v -x3591 -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 x3581 -x3580 -x3579 x3578 -x3576 -x3575 -x3574 -x3573 x3571 -x3570 -x3569
1796.70/1797.01 v x3568 -x3566 -x3565 -x3564 -x3563 -x3561 -x3560 -x3559 -x3558 x3556 -x3555 -x3554 x3553 -x3551 -x3550 -x3549 -x3548 -x3546
1796.70/1797.01 v -x3545 -x3544 -x3543 -x3541 -x3540 -x3539 -x3538 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526
1796.70/1797.01 v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 x3514 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506
1796.70/1797.01 v -x3505 -x3504 -x3503 -x3502 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3488 -x3487 -x3486
1796.70/1797.01 v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 x3478 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467
1796.70/1797.01 v -x3466 -x3464 x3462 x3460 x3458 -x3456 x3454 -x3452 -x3450 -x3448 x3446 x3444 x3442 -x3440 -x3438 x3436 x3434 x3432 -x3430
1796.70/1797.01 v -x3428 -x3426 -x3425 -x3424 -x3423 -x3421 -x3420 -x3419 -x3418 -x3416 -x3415 -x3414 -x3413 -x3411 -x3410 -x3409 -x3408 -x3406
1796.70/1797.01 v -x3405 -x3404 -x3403 -x3401 -x3400 -x3399 -x3398 -x3396 x3395 -x3394 x3393 -x3391 -x3390 -x3389 -x3388 -x3386 -x3385 -x3384
1796.70/1797.01 v x3383 -x3381 -x3380 -x3379 -x3378 -x3376 -x3375 -x3374 -x3373 -x3371 -x3370 -x3369 -x3368 -x3366 -x3365 -x3364 x3363 -x3361
1796.70/1797.01 v -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 x3353 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341
1796.70/1797.01 v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321
1796.70/1797.01 v -x3320 -x3319 -x3318 x3317 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3303 -x3302 -x3301
1796.70/1797.01 v -x3300 -x3299 -x3298 -x3297 -x3296 x3295 -x3294 x3293 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
1796.70/1797.01 v x3281 -x3279 x3277 x3275 x3273 x3271 x3269 -x3267 -x3265 x3263 x3261 x3259 x3257 x3255 x3253 -x3251 x3249 x3247 x3245 -x3243
1796.70/1797.01 v -x3241 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 -x3231 -x3229 -x3228 -x3227 -x3226 -x3224 -x3223 -x3222 -x3221 -x3219
1796.70/1797.01 v x3218 -x3217 x3216 -x3214 x3213 -x3212 x3211 -x3209 x3208 -x3207 x3206 -x3204 -x3203 -x3202 -x3201 -x3199 -x3198 -x3197 -x3196
1796.70/1797.01 v -x3194 -x3193 -x3192 -x3191 -x3189 -x3188 -x3187 -x3186 -x3184 -x3183 -x3182 -x3181 x3179 -x3178 -x3177 x3176 -x3174 -x3173
1796.70/1797.01 v -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3152
1796.70/1797.01 v -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 x3142 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133
1796.70/1797.01 v -x3132 -x3131 -x3130 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 x3118 -x3116 -x3115 -x3114 -x3113
1796.70/1797.01 v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094
1796.70/1797.01 v -x3092 -x3091 -x3090 -x3089 -x3087 -x3086 -x3085 -x3084 -x3082 -x3081 -x3080 -x3079 -x3077 -x3076 -x3075 -x3074 -x3072
1796.70/1797.01 v -x3071 -x3070 -x3069 -x3067 -x3066 -x3065 -x3064 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 -x3054 -x3052 -x3051 -x3050
1796.70/1797.01 v -x3049 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041 -x3040 -x3039 -x3037 -x3036 -x3035 -x3034 -x3032 -x3031 -x3030 -x3029 -x3027
1796.70/1797.01 v -x3026 -x3025 -x3024 -x3022 -x3021 -x3020 -x3019 -x3017 -x3016 -x3015 -x3014 -x3012 -x3011 -x3010 -x3009 -x3007 -x3006 -x3005
1796.70/1797.01 v -x3004 -x3002 -x3001 -x3000 -x2999 -x2997 -x2996 -x2995 -x2994 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985 x2984 -x2982
1796.70/1797.01 v -x2981 -x2980 -x2979 -x2977 -x2976 -x2975 -x2974 -x2972 -x2971 -x2970 -x2969 -x2967 -x2966 -x2965 x2964 -x2962 -x2961 -x2960
1796.70/1797.01 v -x2959 -x2957 -x2956 -x2955 -x2954 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 x2944 -x2942 -x2941 -x2940 -x2939 -x2937
1796.70/1797.01 v -x2936 -x2935 -x2934 -x2932 -x2931 -x2930 -x2929 -x2927 -x2926 -x2925 -x2924 -x2922 -x2921 -x2920 -x2919 -x2917 -x2916 -x2915
1796.70/1797.01 v x2914 -x2912 -x2911 -x2910 -x2909 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 -x2899 -x2897 -x2896 x2895 x2894 -x2892
1796.70/1797.01 v -x2891 -x2890 -x2889 -x2887 -x2886 -x2885 -x2884 -x2882 -x2881 -x2880 -x2879 -x2877 -x2876 -x2875 -x2874 -x2872 -x2871 -x2870
1796.70/1797.01 v -x2869 -x2867 -x2866 -x2865 -x2864 -x2862 -x2861 -x2860 -x2859 -x2857 -x2856 -x2855 -x2854 -x2852 -x2851 -x2850 -x2849 -x2847
1796.70/1797.01 v -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2837 -x2836 -x2835 -x2834 -x2832 -x2831 -x2830 -x2829 -x2827 -x2826 -x2825
1796.70/1797.01 v -x2824 -x2822 -x2821 -x2820 -x2819 -x2817 -x2816 -x2815 -x2814 -x2812 -x2811 -x2810 -x2809 -x2807 -x2806 -x2805 -x2804 -x2802
1796.70/1797.01 v -x2801 -x2800 -x2799 -x2797 -x2796 -x2795 -x2794 -x2792 -x2791 -x2790 -x2789 -x2787 -x2786 -x2785 -x2784 -x2782 -x2781
1796.70/1797.01 v -x2780 -x2779 -x2777 -x2776 -x2775 x2774 -x2772 -x2771 -x2770 -x2769 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761 -x2760 -x2759
1796.70/1797.01 v -x2757 -x2756 -x2755 -x2754 -x2752 -x2751 -x2750 -x2749 -x2747 -x2746 -x2745 -x2744 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737
1796.70/1797.01 v -x2736 -x2735 -x2734 -x2733 -x2732 -x2730 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2716
1796.70/1797.01 v -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695
1796.70/1797.01 v -x2694 -x2693 -x2692 -x2691 -x2690 -x2688 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2674
1796.70/1797.01 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
1796.70/1797.01 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2646 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 x2634 x2632
1796.70/1797.01 v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 x2618 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611
1796.70/1797.01 v -x2610 -x2609 -x2608 -x2607 -x2606 x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2590
1796.70/1797.01 v -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2576 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569
1796.70/1797.01 v -x2568 -x2567 -x2566 -x2565 -x2564 -x2562 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2548
1796.70/1797.01 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2534 -x2532 -x2531 -x2530 -x2529 -x2528
1796.70/1797.01 v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2520 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
1796.70/1797.01 v -x2506 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2492 -x2490 -x2489 -x2488 -x2487 -x2486
1796.70/1797.01 v -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2478 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466
1796.70/1797.01 v x2464 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2450 -x2448 -x2447 x2446 -x2445 -x2444
1796.70/1797.01 v -x2443 -x2442 -x2441 -x2440 -x2439 x2438 -x2436 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424
1796.70/1797.01 v -x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 x2410 -x2408 -x2406 -x2405 -x2404 -x2403 -x2402
1796.70/1797.01 v -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2394 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382
1796.70/1797.01 v -x2380 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 -x2366 -x2364 -x2363 -x2362 -x2361 -x2360
1796.70/1797.01 v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2352 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340
1796.70/1797.01 v -x2338 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 x2326 x2324 -x2322 -x2321 -x2320 -x2319 -x2318
1796.70/1797.01 v -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2310 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298
1796.70/1797.01 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2284 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
1796.70/1797.01 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2270 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2256
1796.70/1797.01 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2242 -x2240 -x2239 -x2238 -x2237 -x2236
1796.70/1797.01 v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2228 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
1796.70/1797.01 v -x2214 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2200 -x2198 -x2197 -x2196 -x2195 -x2194
1796.70/1797.01 v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174
1796.70/1797.01 v -x2172 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2158 -x2156 -x2155 -x2154 -x2153 -x2152
1796.70/1797.01 v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2144 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132
1796.70/1797.01 v -x2130 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 x2116 -x2114 -x2113 -x2112 -x2111 -x2110
1796.70/1797.01 v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 x2102 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
1796.70/1797.01 v x2088 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 x2074 -x2072 -x2071 -x2070 -x2069 -x2068
1796.70/1797.01 v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 x2060 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048
1796.70/1797.01 v x2046 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2032 -x2030 -x2029 -x2028 -x2027 -x2026
1796.70/1797.01 v -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006
1796.70/1797.01 v -x2004 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1990 -x1988 -x1987 -x1986 -x1985 -x1984
1796.70/1797.01 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965
1796.70/1797.01 v -x1964 x1962 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945
1796.70/1797.01 v -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926
1796.70/1797.01 v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908
1796.70/1797.01 v -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889
1796.70/1797.01 v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870
1796.70/1797.01 v -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851
1796.70/1797.01 v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
1796.70/1797.01 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815
1796.70/1797.01 v -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1798 -x1797 -x1796
1796.70/1797.01 v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778
1796.70/1797.01 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
1796.70/1797.01 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1744 -x1743 -x1742 -x1741 -x1740
1796.70/1797.01 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
1796.70/1797.01 v -x1721 -x1720 -x1719 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703
1796.70/1797.01 v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
1796.70/1797.01 v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
1796.70/1797.01 v -x1666 -x1665 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648
1796.70/1797.01 v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629
1796.70/1797.01 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611
1796.70/1797.01 v -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592
1796.70/1797.01 v -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573
1796.70/1797.01 v -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1555 -x1554
1796.70/1797.01 v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 -x1536
1796.70/1797.01 v -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517
1796.70/1797.01 v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1501 -x1500 -x1499
1796.70/1797.01 v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481
1796.70/1797.01 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
1796.70/1797.01 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 x1449 -x1447 -x1446 -x1445 -x1444 -x1443
1796.70/1797.01 v -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425
1796.70/1797.01 v -x1424 -x1423 x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406
1796.70/1797.01 v -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387
1796.70/1797.01 v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369
1796.70/1797.01 v -x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350
1796.70/1797.01 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
1796.70/1797.01 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
1796.70/1797.01 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
1796.70/1797.01 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276
1796.70/1797.01 v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1258 -x1257
1796.70/1797.01 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1796.70/1797.01 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
1796.70/1797.01 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1204 -x1203 -x1202
1796.70/1797.01 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
1796.70/1797.01 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
1796.70/1797.01 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148
1796.70/1797.01 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
1796.70/1797.01 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
1796.70/1797.01 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
1796.70/1797.01 v -x1092 -x1091 -x1090 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
1796.70/1797.01 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057
1796.70/1797.01 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039
1796.70/1797.01 v -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020
1796.70/1797.01 v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002
1796.70/1797.01 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982
1796.70/1797.01 v -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960
1796.70/1797.01 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939
1796.70/1797.01 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918
1796.70/1797.01 v -x917 x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1796.70/1797.01 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1796.70/1797.01 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x856 -x855 -x854 -x853
1796.70/1797.01 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1796.70/1797.01 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812
1796.70/1797.01 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.70/1797.01 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1796.70/1797.01 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1796.70/1797.01 v -x747 -x746 -x745 -x744 -x743 -x742 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x740 -x738 -x739 -x737 -x735 -x736 -x734 -x732
1796.70/1797.01 v -x733 -x731 -x729 -x730 -x728 -x726 -x727 -x725 -x723 -x724 -x722 -x721 -x720 -x718 -x719 -x717 -x715 -x716 -x714 -x712 -x713
1796.70/1797.01 v -x711 -x710 -x709 -x707 -x708 -x706 -x704 -x705 -x703 -x701 -x702 -x700 -x698 -x699 -x697 -x695 -x696 -x694 -x692 -x693 -x691
1796.70/1797.01 v -x689 -x690 -x688 -x686 -x687 -x685 -x683 -x684 -x682 -x680 -x681 -x679 -x677 -x678 -x676 -x674 -x675 -x673 -x671 -x672
1796.70/1797.01 v -x670 -x668 -x669 -x667 -x665 -x666 -x664 -x663 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651 -x652 -x650
1796.70/1797.01 v -x648 -x649 -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x637 -x636 -x634 -x633 -x632 -x631 -x629 -x628 -x627
1796.70/1797.01 v -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x615 -x614 -x613 -x612 -x611 -x610 -x608 -x607 -x606 -x605 -x603 -x602
1796.70/1797.01 v -x601 -x600 -x598 -x597 -x595 x594 x593 -x592 -x591 -x590 -x589 -x521 -x520 -x519 -x518 -x517 -x516 -x580 -x578 -x579 -x577
1796.70/1797.01 v -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 -x565 -x563 -x564 -x561 -x562 -x559 -x560 -x557 -x558 -x555
1796.70/1797.01 v -x556 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 x539 -x538 -x536 -x535 -x534
1796.70/1797.01 v -x533 -x532 -x531 -x529 -x528 -x526 -x525 -x523 -x522 -x446 -x445 -x444 -x443 -x442 -x441 -x514 -x512 -x513 -x511 -x509 -x510
1796.70/1797.01 v -x508 -x506 -x507 -x505 -x503 -x504 -x502 -x500 -x501 -x498 -x499 -x497 -x495 -x496 -x494 -x492 -x493 x491 -x489 -x490 -x488
1796.70/1797.01 v -x486 -x487 -x485 -x484 -x483 -x481 -x480 -x478 -x477 -x475 -x474 -x473 -x472 -x470 -x469 -x468 -x467 -x466 -x465 -x463 -x462
1796.70/1797.01 v -x460 -x459 -x457 -x456 -x454 x453 x452 -x451 -x450 -x449 -x447 -x368 -x367 -x366 -x365 -x364 -x363 -x439 -x437 -x438 -x436
1796.70/1797.01 v -x434 -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x425 -x426 -x424 -x422 -x423 -x421 -x419 -x420 -x418 -x416 -x417 -x415
1796.70/1797.01 v -x413 -x414 -x412 -x410 -x411 -x409 -x407 -x406 -x404 -x403 -x401 -x400 -x398 x397 x395 -x394 -x392 -x391 -x390 -x389 -x387
1796.70/1797.01 v -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x374 -x373 -x372 -x371 -x369 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x361
1796.70/1797.01 v -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342 -x340
1796.70/1797.01 v -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 x324 -x322 -x320 -x321 -x319
1796.70/1797.01 v -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300 -x298
1796.70/1797.01 v -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279 -x277
1796.70/1797.01 v -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 -x258 -x256
1796.70/1797.01 v -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 -x236 -x237 -x235
1796.70/1797.01 v -x233 -x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 -x215 -x216
1796.70/1797.01 v -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 -x194 -x195
1796.70/1797.01 v -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 -x175 -x173 -x174
1796.70/1797.01 v -x172 -x170 -x171 x169 -x167 -x168 -x166 -x164 -x165 -x163 -x162 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154 -x152
1796.70/1797.01 v -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133 -x131
1796.70/1797.01 v -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 x118 -x116 -x114 -x115 -x113 -x111 -x112 -x110
1796.70/1797.01 v -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91 -x89 -x87 -x86
1796.70/1797.01 v -x84 -x83 -x81 -x80 -x79 -x78 -x76 -x75 -x73 -x72 -x70 -x69 -x67 -x66 -x64 x63 x61 -x60 -x58 -x57 -x56 -x55 -x53 -x52 -x50
1796.70/1797.01 v -x49 -x47 -x46 -x44 -x43 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x31 -x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 -x18 -x16 -x15
1796.70/1797.01 v -x13 -x12 -x10 -x4314 -x4312 -x4307 -x4305 -x4300 -x4298 -x4293 -x4291 -x4286 -x4284 -x4279 -x4277 -x4272 -x4267 -x4265 -x4260
1796.70/1797.01 v -x4258 -x4253 -x4251 -x4246 -x4241 -x4239 -x4234 -x4232 -x4227 -x4225 -x4220 -x4218 -x4213 -x4211 -x4206 -x4204 -x4199 -x4197
1796.70/1797.01 v -x4192 -x4190 -x4185 -x4183 -x4178 -x4176 -x4171 -x4169 -x4164 -x4162 -x4157 -x4155 -x4150 -x4148 -x4143 -x4141 -x4136 -x4131
1796.70/1797.01 v -x4129 -x4124 -x4122 -x4117 -x4115 -x4110 -x4108 -x4103 -x4101 -x4096 -x4094 -x4089 -x4087 -x4082 -x4080 -x4068 -x4056 -x635
1796.70/1797.01 v -x4044 -x4032 -x630 -x4020 -x4008 -x625 -x3996 -x3984 -x3972 -x3960 -x616 -x3948 -x3936 -x3924 -x609 -x3912 -x3900 -x604
1796.70/1797.01 v -x3888 -x3876 -x599 -x3864 -x596 x3852 -x3840 -x3828 -x3801 -x3774 -x3747 -x3720 -x3693 -x3666 -x3639 -x3637 -x3635 -x3633 -x3631
1796.70/1797.01 v -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3602 -x3597 -x3592 -x3587 -x3582
1796.70/1797.01 v -x3577 -x3572 x3567 -x3562 -x537 -x3557 -x3552 -x3547 -x530 -x3542 -x527 -x3537 -x524 -x3525 -x3513 -x3501 -x3489 -x3477 -x3465
1796.70/1797.01 v -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 x3433 -x3431 -x3429
1796.70/1797.01 v -x3427 -x3422 -x3417 -x482 -x3412 -x479 -x3407 -x476 -x3402 -x3397 -x471 -x3392 -x3387 -x3382 -x464 -x3377 -x461 -x3372 -x458
1796.70/1797.01 v -x3367 x455 x3362 -x3357 -x3352 -x448 -x3340 -x3328 -x3316 -x3304 -x3292 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268
1796.70/1797.01 v -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3235 -x408 -x3230 -x405
1796.70/1797.01 v -x3225 -x402 -x3220 -x399 x3215 x396 -x3210 -x393 -x3205 -x3200 -x388 -x3195 -x3190 -x383 -x3185 -x3180 x378 -x3175 x375 -x3170
1796.70/1797.01 v -x3165 -x370 -x3153 -x3141 -x3129 -x3117 -x3105 -x3093 -x3088 -x3083 -x3078 -x3073 -x3068 -x3063 -x3058 -x3053 -x3048 -x3043
1796.70/1797.01 v -x3038 -x3033 -x3028 -x3023 -x3018 -x3013 -x3008 -x3003 -x2998 -x2993 -x2988 -x2983 -x2978 -x2973 -x2968 x2963 -x2958 -x2953
1796.70/1797.01 v -x2948 -x2943 -x2938 -x2933 -x2928 -x2923 -x2918 -x2913 -x2908 -x2903 -x2898 -x2893 -x2888 -x2883 -x2878 -x2873 -x2868 -x2863
1796.70/1797.01 v -x2858 -x2853 -x2848 -x2843 -x2838 -x2833 -x2828 -x2823 -x2818 -x2813 -x2808 -x2803 -x2798 -x2793 -x2788 -x2783 -x2778 -x2773
1796.70/1797.01 v -x2768 -x2763 -x2758 -x2753 -x2748 -x2743 -x2731 -x2729 -x2717 -x2715 -x2703 -x2701 -x2689 -x2687 -x2675 -x2673 -x2661 -x2659
1796.70/1797.01 v -x2647 -x2645 -x2633 -x2631 -x2619 -x2617 -x2605 -x2603 -x2591 -x2589 -x2577 -x2575 -x2563 -x2561 -x2549 -x2547 -x2535
1796.70/1797.01 v -x2533 -x2521 -x2519 -x2507 -x2505 -x2493 -x2491 -x2479 -x2477 -x2465 -x2463 -x2451 -x2449 -x2437 -x2435 -x2423 -x2421 -x2409
1796.70/1797.01 v -x2407 -x2395 -x2393 -x2381 -x2379 -x2367 -x2365 -x2353 -x2351 -x2339 -x2337 x2325 -x2323 -x2311 -x2309 -x2297 -x2285 -x2283
1796.70/1797.01 v -x2271 -x2269 -x2257 -x2255 -x2243 -x2241 -x2229 -x2227 -x2215 -x2213 -x2201 -x2199 -x2187 -x2185 -x2173 -x2171 -x2159 -x2157
1796.70/1797.01 v -x2145 -x2143 -x2131 -x2129 -x2117 -x2115 -x2103 -x2101 -x2089 x2087 -x2075 -x2073 -x2061 -x2059 -x2047 -x2045 -x2033 -x2031
1796.70/1797.01 v -x2019 -x2017 -x2005 -x2003 -x1991 -x1989 -x1977 -x1975 -x1963 -x1961 -x1934 -x88 -x1907 -x85 -x1880 -x82 -x1853 -x1826 -x77
1796.70/1797.01 v -x1799 -x74 -x1772 -x71 -x1745 -x68 -x1718 -x65 x1691 x62 -x1664 -x59 -x1637 -x1610 -x54 -x1583 -x51 -x1556 -x48 -x1529 -x45
1796.70/1797.01 v -x1502 -x1475 -x40 -x1448 -x37 -x1421 -x34 -x1394 -x1367 -x29 -x1340 -x26 -x1313 -x23 -x1286 -x20 -x1259 -x17 -x1232 x14 -x1205
1796.70/1797.01 v -x11 -x1147 -x1089 -x1031 -x973 -x915 -x857 -x799 -x741 x581 x515 x440 x362 x1
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.00
1796.70/1797.01 c solving : 1797.00
1796.70/1797.01 c presolving : 0.24 (included in solving)
1796.70/1797.01 c reading : 0.09 (included in solving)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3736038-1338720736.opb
1796.70/1797.01 c Variables : 4318 (4318 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 15120 initial, 15120 maximal
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3736038-1338720736.opb
1796.70/1797.01 c Variables : 3878 (3878 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 14238 initial, 14375 maximal
1796.70/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0 6 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.09 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c linear : 0.10 5 429 0 5 0 882 0 6 7
1796.70/1797.01 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c root node : - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 1347 0 16 0 0 74 0 0 2658
1796.70/1797.01 c knapsack : 1 2 32418 0 1 13 0 0 0 0 0 0
1796.70/1797.01 c setppc : 10839 2 32418 0 1 12 36012 16 42970 0 0 0
1796.70/1797.01 c logicor : 3398+ 2 20423 0 1 11 3483 53 878 31 0 0
1796.70/1797.01 c countsols : 0 0 0 0 1 12 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.70/1797.01 c integral : 389.06 0.00 0.00 389.06 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
1796.70/1797.01 c setppc : 6.18 0.00 6.16 0.00 0.00 0.01 0.01
1796.70/1797.01 c logicor : 0.51 0.00 0.50 0.00 0.00 0.00 0.01
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c rootredcost : 6 0 0 0
1796.70/1797.01 c pseudoobj : 32246 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.70/1797.01 c vbounds : 0.02 0.02 0.00
1796.70/1797.01 c rootredcost : 0.01 0.01 0.00
1796.70/1797.01 c pseudoobj : 0.35 0.35 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.25 69 69 1732 392.9 8 69.9 -
1796.70/1797.01 c infeasible LP : 0.02 10 10 135 223.6 0 0.0 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 564 154.6 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.70/1797.01 c redcost : 0.11 1529 0 4331 0 0
1796.70/1797.01 c impliedbounds : 0.00 2 0 0 0 0
1796.70/1797.01 c intobj : 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 2.74 2 0 0 0 0
1796.70/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.70/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 2.75 2 0 0 0 0
1796.70/1797.01 c cmir : 0.14 2 0 0 0 0
1796.70/1797.01 c flowcover : 0.15 2 0 0 0 0
1796.70/1797.01 c clique : 0.03 1 0 0 0 0
1796.70/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.04 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1796.70/1797.01 c Pricers : Time Calls Vars
1796.70/1797.01 c problem variables: 0.00 0 0
1796.70/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 389.06 1347 0 74 0 0 2658
1796.70/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.70/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : Time Calls Found
1796.70/1797.01 c LP solutions : 0.00 - 0
1796.70/1797.01 c pseudo solutions : 0.00 - 0
1796.70/1797.01 c intshifting : 0.00 0 0
1796.70/1797.01 c oneopt : 0.01 6 0
1796.70/1797.01 c feaspump : 6.50 1 0
1796.70/1797.01 c objpscostdiving : 59.35 3 0
1796.70/1797.01 c crossover : 0.36 3 2
1796.70/1797.01 c veclendiving : 53.49 10 0
1796.70/1797.01 c rootsoldiving : 37.98 7 2
1796.70/1797.01 c coefdiving : 187.45 21 1
1796.70/1797.01 c pscostdiving : 156.34 33 1
1796.70/1797.01 c guideddiving : 119.02 37 1
1796.70/1797.01 c fracdiving : 89.56 39 1
1796.70/1797.01 c trivial : 0.01 2 0
1796.70/1797.01 c shiftandpropagate: 0.09 1 0
1796.70/1797.01 c simplerounding : 0.00 0 0
1796.70/1797.01 c zirounding : 0.78 1000 0
1796.70/1797.01 c rounding : 0.25 467 0
1796.70/1797.01 c shifting : 0.32 123 0
1796.70/1797.01 c twoopt : 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0 0
1796.70/1797.01 c clique : 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0 0
1796.70/1797.01 c linesearchdiving : 70.08 38 2
1796.70/1797.01 c octane : 0.00 0 0
1796.70/1797.01 c rens : 0.30 1 0
1796.70/1797.01 c rins : 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0 0
1796.70/1797.01 c dins : 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0 0
1796.70/1797.01 c subnlp : 0.00 0 0
1796.70/1797.01 c trysol : 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.70/1797.01 c primal LP : 0.01 0 0 0.00 -
1796.70/1797.01 c dual LP : 614.30 1473 1427243 968.94 2323.37
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.70/1797.01 c diving/probing LP: 751.97 10777 1703441 158.06 2265.29
1796.70/1797.01 c strong branching : 388.74 1103 842564 763.88 2167.42
1796.70/1797.01 c (at root node) : - 17 17000 1000.00 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 1454
1796.70/1797.01 c nodes (total) : 1454
1796.70/1797.01 c nodes left : 1206
1796.70/1797.01 c max depth : 59
1796.70/1797.01 c max depth (total): 59
1796.70/1797.01 c backtracks : 235 (16.2%)
1796.70/1797.01 c delayed cutoffs : 0
1796.70/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.01 c avg switch length: 3.64
1796.70/1797.01 c switching time : 0.59
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 10 (6 improvements)
1796.70/1797.01 c First Solution : +2.50000000000000e+01 (in run 1, after 19 nodes, 114.58 seconds, depth 138, found by <coefdiving>)
1796.70/1797.01 c Primal Bound : +2.00000000000000e+01 (in run 1, after 351 nodes, 808.92 seconds, depth 43, found by <fracdiving>)
1796.70/1797.01 c Dual Bound : +1.26195325243258e+01
1796.70/1797.01 c Gap : 58.48 %
1796.70/1797.01 c Root Dual Bound : +1.17247334392015e+01
1796.70/1797.01 c Root Iterations : 22105
1796.70/1797.06 c Time complete: 1796.76.
OK 20
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736038-1338720736/watcher-3736038-1338720736 -o /tmp/evaluation-result-3736038-1338720736/solver-3736038-1338720736 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3736038-1338720736.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29106 /proc/meminfo: memFree=27435848/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=9588 CPUtime=0 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 1545 0 0 0 0 0 0 0 20 0 1 0 338199732 9818112 1499 33554432000 4194304 9016284 140735621104656 140735209790392 7801632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2398 1502 326 1178 0 1216 0 [startup+0.00699989 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29106 /proc/meminfo: memFree=27435848/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=10952 CPUtime=0 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 1772 0 0 0 0 0 0 0 20 0 1 0 338199732 11214848 1726 33554432000 4194304 9016284 140735621104656 140735209790392 7870589 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2738 1738 340 1178 0 1556 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10952 [startup+0.100272 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29106 /proc/meminfo: memFree=27435848/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=31060 CPUtime=0.09 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 6528 0 0 0 9 0 0 0 20 0 1 0 338199732 31805440 6483 33554432000 4194304 9016284 140735621104656 140735209790392 6813403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 7765 6513 406 1178 0 6583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31060 [startup+0.300312 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29106 /proc/meminfo: memFree=27435848/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=51248 CPUtime=0.29 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 12220 0 0 0 28 1 0 0 20 0 1 0 338199732 52477952 11564 33554432000 4194304 9016284 140735621104656 140735209790392 4848395 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 12812 11564 538 1178 0 11630 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 51248 [startup+0.700273 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29106 /proc/meminfo: memFree=27435848/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=81432 CPUtime=0.69 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 19787 0 0 0 66 3 0 0 20 0 1 0 338199732 83386368 18710 33554432000 4194304 9016284 140735621104656 140735621100472 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 20358 18710 651 1178 0 19176 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 81432 [startup+1.50028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27362456/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=82564 CPUtime=1.49 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 20429 0 0 0 146 3 0 0 20 0 1 0 338199732 84545536 19333 33554432000 4194304 9016284 140735621104656 140735621098520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 20641 19333 651 1178 0 19459 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 82564 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27361828/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=81892 CPUtime=3.09 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 20774 0 0 0 305 4 0 0 20 0 1 0 338199732 83857408 19395 33554432000 4194304 9016284 140735621104656 140735621098520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 20473 19395 664 1178 0 19291 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81892 [startup+6.30027 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27361432/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=81892 CPUtime=6.29 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 20828 0 0 0 624 5 0 0 20 0 1 0 338199732 83857408 19435 33554432000 4194304 9016284 140735621104656 140735621096440 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 20473 19435 664 1178 0 19291 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81892 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27361068/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=84976 CPUtime=12.69 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 21565 0 0 0 1262 7 0 0 20 0 1 0 338199732 87015424 20111 33554432000 4194304 9016284 140735621104656 140735621099816 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 21244 20111 694 1178 0 20062 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 84976 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27361448/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=82636 CPUtime=25.49 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 34684 0 0 0 2535 14 0 0 20 0 1 0 338199732 84619264 19643 33554432000 4194304 9016284 140735621104656 140735621097576 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 20659 19643 709 1178 0 19477 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82636 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27361448/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=82440 CPUtime=51.08 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 59224 0 0 0 5081 27 0 0 20 0 1 0 338199732 84418560 19589 33554432000 4194304 9016284 140735621104656 140735621098504 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 20610 19589 709 1178 0 19428 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 82440 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27358708/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=83824 CPUtime=102.28 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 68970 0 0 0 10183 45 0 0 20 0 1 0 338199732 85835776 20128 33554432000 4194304 9016284 140735621104656 140735621098568 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 20956 20128 709 1178 0 19774 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 83824 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27355060/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=87748 CPUtime=162.26 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 85690 0 0 0 16157 69 0 0 20 0 1 0 338199732 89853952 21094 33554432000 4194304 9016284 140735621104656 140735621098824 7158157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 21937 21094 709 1178 0 20755 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 87748 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29107 /proc/meminfo: memFree=27357540/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=85488 CPUtime=222.25 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 99292 0 0 0 22136 89 0 0 20 0 1 0 338199732 87539712 20612 33554432000 4194304 9016284 140735621104656 140735621098264 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 21372 20612 710 1178 0 20190 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 85488 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29108 /proc/meminfo: memFree=27355676/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=87248 CPUtime=282.23 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 124259 0 0 0 28110 113 0 0 20 0 1 0 338199732 89341952 21065 33554432000 4194304 9016284 140735621104656 140735621098360 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 21812 21065 710 1178 0 20630 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 87248 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29108 /proc/meminfo: memFree=27353816/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=88492 CPUtime=342.23 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 129352 0 0 0 34087 136 0 0 20 0 1 0 338199732 90615808 21532 33554432000 4194304 9016284 140735621104656 140735621098616 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 22123 21532 710 1178 0 20941 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 88492 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29108 /proc/meminfo: memFree=27353568/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=88352 CPUtime=402.22 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 138124 0 0 0 40066 156 0 0 20 0 1 0 338199732 90472448 21519 33554432000 4194304 9016284 140735621104656 140735621098424 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 22088 21519 710 1178 0 20906 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 88352 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29108 /proc/meminfo: memFree=27352576/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=89260 CPUtime=462.21 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 140692 0 0 0 46045 176 0 0 20 0 1 0 338199732 91402240 21750 33554432000 4194304 9016284 140735621104656 140735621098408 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 22315 21750 710 1178 0 21133 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 89260 [startup+522.3 s] /proc/loadavg: 2.06 2.01 2.00 3/178 29111 /proc/meminfo: memFree=27355544/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=87664 CPUtime=522.2 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 143015 0 0 0 52027 193 0 0 20 0 1 0 338199732 89767936 21035 33554432000 4194304 9016284 140735621104656 140735621098824 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 21916 21035 710 1178 0 20734 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 87664 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 29135 /proc/meminfo: memFree=27352564/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=90072 CPUtime=582.19 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 150883 0 0 0 58006 213 0 0 20 0 1 0 338199732 92233728 21791 33554432000 4194304 9016284 140735621104656 140735621098344 7227746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 22518 21791 710 1178 0 21336 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 90072 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26243616/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=95300 CPUtime=1122.11 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 205365 0 0 0 111803 408 0 0 20 0 1 0 338199732 97587200 23187 33554432000 4194304 9016284 140735621104656 140735621097336 7180413 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 23825 23187 714 1178 0 22643 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 95300 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 29406 /proc/meminfo: memFree=26241372/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=97484 CPUtime=1182.09 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 205798 0 0 0 117779 430 0 0 20 0 1 0 338199732 99823616 23620 33554432000 4194304 9016284 140735621104656 140735621098296 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 24371 23620 714 1178 0 23189 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 97484 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 29406 /proc/meminfo: memFree=26242760/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=95208 CPUtime=1242.09 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 220206 0 0 0 123754 455 0 0 20 0 1 0 338199732 97492992 23243 33554432000 4194304 9016284 140735621104656 140735621098376 7080778 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 23802 23243 714 1178 0 22620 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 95208 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29406 /proc/meminfo: memFree=26232496/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=95044 CPUtime=1302.08 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 225027 0 0 0 129737 471 0 0 20 0 1 0 338199732 97325056 22910 33554432000 4194304 9016284 140735621104656 140735621098824 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 23761 22910 714 1178 0 22579 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 95044 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29406 /proc/meminfo: memFree=26196036/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=96772 CPUtime=1362.07 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 226643 0 0 0 135717 490 0 0 20 0 1 0 338199732 99094528 23634 33554432000 4194304 9016284 140735621104656 140735621098408 7214059 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 24193 23634 714 1178 0 23011 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 96772 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29406 /proc/meminfo: memFree=26190856/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=96772 CPUtime=1422.06 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 226669 0 0 0 141701 505 0 0 20 0 1 0 338199732 99094528 23660 33554432000 4194304 9016284 140735621104656 140735621098280 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 24193 23660 714 1178 0 23011 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 96772 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29406 /proc/meminfo: memFree=26190768/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=97232 CPUtime=1482.05 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 238001 0 0 0 147683 522 0 0 20 0 1 0 338199732 99565568 23749 33554432000 4194304 9016284 140735621104656 140735621098296 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 24308 23749 714 1178 0 23126 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 97232 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29407 /proc/meminfo: memFree=26189796/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=97788 CPUtime=1542.04 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 240382 0 0 0 153664 540 0 0 20 0 1 0 338199732 100134912 23827 33554432000 4194304 9016284 140735621104656 140735621098520 7180440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 24447 23827 714 1178 0 23265 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 97788 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29407 /proc/meminfo: memFree=26183932/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=97768 CPUtime=1602.03 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 246498 0 0 0 159646 557 0 0 20 0 1 0 338199732 100114432 23883 33554432000 4194304 9016284 140735621104656 140735621098584 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 24442 23883 714 1178 0 23260 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 97768 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29407 /proc/meminfo: memFree=26185324/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=97108 CPUtime=1662.02 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 260000 0 0 0 165621 581 0 0 20 0 1 0 338199732 99438592 23462 33554432000 4194304 9016284 140735621104656 140735621098408 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 24277 23462 714 1178 0 23095 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 97108 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29410 /proc/meminfo: memFree=26184600/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=97172 CPUtime=1722.01 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 266945 0 0 0 171601 600 0 0 20 0 1 0 338199732 99504128 23735 33554432000 4194304 9016284 140735621104656 140735621098616 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 24293 23735 714 1178 0 23111 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 97172 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.00 3/176 29410 /proc/meminfo: memFree=26181872/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=100268 CPUtime=1782 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 268771 0 0 0 177577 623 0 0 20 0 1 0 338199732 102674432 24410 33554432000 4194304 9016284 140735621104656 140735621098328 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 25067 24410 714 1178 0 23885 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 100268 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.06 2.01 2.00 3/176 29410 /proc/meminfo: memFree=26181880/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=100268 CPUtime=1785.2 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 268771 0 0 0 177895 625 0 0 20 0 1 0 338199732 102674432 24410 33554432000 4194304 9016284 140735621104656 140735621098520 7228593 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 25067 24410 714 1178 0 23885 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 100268 [startup+1791.91 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29411 /proc/meminfo: memFree=26182244/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=100268 CPUtime=1791.61 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 268771 0 0 0 178531 630 0 0 20 0 1 0 338199732 102674432 24410 33554432000 4194304 9016284 140735621104656 140735621098600 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 25067 24410 714 1178 0 23885 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 100268 [startup+1795.1 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29411 /proc/meminfo: memFree=26181996/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=100812 CPUtime=1794.8 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 268844 0 0 0 178849 631 0 0 20 0 1 0 338199732 103231488 24483 33554432000 4194304 9016284 140735621104656 140735621098712 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 25203 24483 714 1178 0 24021 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 100812 [startup+1795.9 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29411 /proc/meminfo: memFree=26181996/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=100812 CPUtime=1795.59 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 268844 0 0 0 178928 631 0 0 20 0 1 0 338199732 103231488 24483 33554432000 4194304 9016284 140735621104656 140735621098408 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 25203 24483 714 1178 0 24021 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 100812 [startup+1796.7 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29411 /proc/meminfo: memFree=26181996/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=100812 CPUtime=1796.39 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 268844 0 0 0 179008 631 0 0 20 0 1 0 338199732 103231488 24483 33554432000 4194304 9016284 140735621104656 140735621098824 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 25203 24483 714 1178 0 24021 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 100812 [startup+1796.9 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29411 /proc/meminfo: memFree=26181996/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=100812 CPUtime=1796.6 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 268844 0 0 0 179028 632 0 0 20 0 1 0 338199732 103231488 24483 33554432000 4194304 9016284 140735621104656 140735621098824 7080773 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 25203 24483 714 1178 0 24021 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 100812 [startup+1797 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29411 /proc/meminfo: memFree=26181996/32873844 swapFree=7372/7372 [pid=29106] ppid=29104 vsize=100812 CPUtime=1796.7 cores=1,3,5,7 /proc/29106/stat : 29106 (scip-2.0.1.4b_2) R 29104 29106 26510 0 -1 4202496 268844 0 0 0 179038 632 0 0 20 0 1 0 338199732 103231488 24483 33554432000 4194304 9016284 140735621104656 140735621098824 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 25203 24483 714 1178 0 24021 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (KiB) 100812 Child status: 0 Real time (s): 1797.07 CPU time (s): 1796.77 CPU user time (s): 1790.45 CPU system time (s): 6.32704 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 128504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.45 system time used= 6.32704 maximum resident set size= 125204 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268851 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= 26 involuntary context switches= 1848 runsolver used 5.2342 second user time and 12.5101 second system time The end
Begin job on node118 at 2012-06-03 12:52:16 IDJOB=3736038 IDBENCH=25017 IDSOLVER=2329 FILE ID=node118/3736038-1338720736 RUNJOBID= node118-1338703112-26527 PBS_JOBID= 14636719 Free space on /tmp= 70952 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736038-1338720736/watcher-3736038-1338720736 -o /tmp/evaluation-result-3736038-1338720736/solver-3736038-1338720736 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3736038-1338720736.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=811250138 node118.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.42 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5320.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27436492 kB Buffers: 493208 kB Cached: 3904628 kB SwapCached: 0 kB Active: 1554084 kB Inactive: 3017360 kB Active(anon): 163668 kB Inactive(anon): 11328 kB Active(file): 1390416 kB Inactive(file): 3006032 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17324 kB Writeback: 0 kB AnonPages: 179444 kB Mapped: 14580 kB Shmem: 200 kB Slab: 725592 kB SReclaimable: 166056 kB SUnreclaim: 559536 kB KernelStack: 1456 kB PageTables: 3652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 286820 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70920 MiB End job on node118 at 2012-06-03 13:22:14