Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | 20 | 1800.29 | 1800.39 |
| 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 | SAT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 1800.22 |
| 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.4]
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-3450811-1307100016.opb>
0.09/0.10 c original problem has 4318 variables (4318 bin, 0 int, 0 impl, 0 cont) and 15120 constraints
0.09/0.10 c problem read
0.09/0.10 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.18 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.23 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.34 c (0.3s) probing: 101/3878 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.34 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.34 c presolving (4 rounds):
0.29/0.34 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.34 c 114180 implications, 0 cliques
0.29/0.34 c presolved problem has 3878 variables (3878 bin, 0 int, 0 impl, 0 cont) and 14238 constraints
0.29/0.34 c 1 constraints of type <knapsack>
0.29/0.34 c 10839 constraints of type <setppc>
0.29/0.34 c 3398 constraints of type <logicor>
0.29/0.34 c transformed objective value is always integral (scale: 1)
0.29/0.34 c Presolving Time: 0.22
0.29/0.34 c - non default parameters ----------------------------------------------------------------------
0.29/0.34 c # SCIP version 2.0.1.5
0.29/0.34 c
0.29/0.34 c # frequency for displaying node information lines
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.34 c display/freq = 10000
0.29/0.34 c
0.29/0.34 c # maximal time in seconds to run
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/time = 1800
0.29/0.34 c
0.29/0.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/memory = 13950
0.29/0.34 c
0.29/0.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.34 c # [type: int, range: [1,2], default: 1]
0.29/0.34 c timing/clocktype = 2
0.29/0.34 c
0.29/0.34 c # belongs reading time to solving time?
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c timing/reading = TRUE
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify inequalities
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/linear/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/indicator/addCouplingCons = TRUE
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify knapsacks
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.34 c separating/rapidlearning/freq = 0
0.29/0.34 c
0.29/0.34 c -----------------------------------------------------------------------------------------------
0.29/0.34 c start solving
0.29/0.34 c
2.37/2.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.37/2.46 c 2.5s| 1 | 0 | 7435 | - | 30M| 0 | 857 |3878 | 14k|3878 | 14k| 0 | 58 | 0 | 1.060565e+01 | -- | Inf
15.35/15.55 c 15.6s| 1 | 0 | 22105 | - | 30M| 0 | 463 |3878 | 14k|3878 | 14k| 11 | 58 | 0 | 1.172473e+01 | -- | Inf
27.55/27.74 c 27.7s| 1 | 2 | 22105 | - | 30M| 0 | 463 |3878 | 14k|3878 | 14k| 11 | 58 | 17 | 1.172473e+01 | -- | Inf
126.06/126.25 o 25
126.06/126.25 c c 126s| 19 | 20 | 90454 |3797.2 | 31M| 18 | - |3878 | 14k|3878 | 14k| 11 | 58 | 169 | 1.172473e+01 | 2.500000e+01 | 113.22%
133.86/134.10 o 24
133.86/134.10 c p 134s| 31 | 32 |105635 |2784.3 | 31M| 18 | - |3878 | 14k|3878 | 14k| 11 | 59 | 169 | 1.172473e+01 | 2.400000e+01 | 104.70%
212.26/212.43 o 23
212.26/212.43 c l 212s| 74 | 75 |229135 |2836.0 | 31M| 22 | - |3878 | 14k|3878 | 14k| 11 | 66 | 199 | 1.172473e+01 | 2.300000e+01 | 96.17%
271.66/271.83 o 22
271.66/271.83 c l 272s| 92 | 93 |335449 |3443.3 | 32M| 22 | - |3878 | 14k|3878 | 14k| 11 | 75 | 214 | 1.214851e+01 | 2.200000e+01 | 81.09%
840.97/841.19 o 21
840.97/841.19 c g 841s| 310 | 311 | 1293k|4115.4 | 33M| 23 | - |3878 | 14k|3878 | 14k| 11 | 286 | 404 | 1.232979e+01 | 2.100000e+01 | 70.32%
906.29/906.47 o 20
906.29/906.47 c f 906s| 351 | 349 | 1405k|3951.8 | 33M| 35 | - |3878 | 14k|3878 | 14k| 11 | 325 | 443 | 1.234068e+01 | 2.000000e+01 | 62.07%
1800.21/1800.33 c
1800.21/1800.33 c SCIP Status : solving was interrupted [user interrupt]
1800.21/1800.33 c Solving Time (sec) : 1800.33
1800.21/1800.33 c Solving Nodes : 1127
1800.21/1800.33 c Primal Bound : +2.00000000000000e+01 (9 solutions)
1800.21/1800.33 c Dual Bound : +1.25858348258525e+01
1800.21/1800.33 c Gap : 58.91 %
1800.21/1800.34 s SATISFIABLE
1800.21/1800.34 v -x4318 -x4317 -x4316 -x4315 -x4313 -x4311 -x4310 -x4309 -x4308 -x4306 -x4304 -x4303 -x4302 -x4301 -x4299 -x4297 -x4296 -x4295 -x4294
1800.21/1800.34 v -x4292 -x4290 -x4289 -x4288 -x4287 -x4285 -x4283 -x4282 -x4281 -x4280 x4278 -x4276 x4275 -x4274 x4273 -x4271 -x4270 -x4269
1800.21/1800.34 v -x4268 -x4266 -x4264 -x4263 -x4262 -x4261 -x4259 -x4257 -x4256 -x4255 -x4254 x4252 -x4250 x4249 -x4248 x4247 -x4245 -x4244
1800.21/1800.34 v -x4243 -x4242 x4240 -x4238 -x4237 -x4236 -x4235 -x4233 -x4231 -x4230 -x4229 x4228 x4226 -x4224 -x4223 -x4222 -x4221 -x4219
1800.21/1800.34 v -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 x4205 -x4203 -x4202 -x4201 -x4200 -x4198 -x4196 -x4195 -x4194
1800.21/1800.34 v -x4193 x4191 -x4189 -x4188 -x4187 -x4186 -x4184 -x4182 -x4181 -x4180 -x4179 -x4177 -x4175 -x4174 -x4173 -x4172 -x4170 -x4168
1800.21/1800.34 v -x4167 -x4166 -x4165 -x4163 -x4161 -x4160 -x4159 x4158 x4156 x4154 -x4153 -x4152 x4151 x4149 -x4147 -x4146 -x4145 -x4144 x4142
1800.21/1800.34 v -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4130 -x4128 -x4127 -x4126 -x4125 x4123 -x4121 -x4120 -x4119 -x4118
1800.21/1800.34 v x4116 -x4114 -x4113 -x4112 x4111 x4109 -x4107 -x4106 -x4105 -x4104 -x4102 -x4100 -x4099 -x4098 -x4097 -x4095 -x4093 -x4092
1800.21/1800.34 v -x4091 x4090 x4088 -x4086 -x4085 -x4084 -x4083 -x4081 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069
1800.21/1800.34 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050
1800.21/1800.34 v -x4049 -x4048 -x4047 -x4046 -x4045 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4031 -x4030
1800.21/1800.34 v -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011
1800.21/1800.34 v -x4010 -x4009 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3995 -x3994 -x3993 -x3992 -x3991
1800.21/1800.34 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3971
1800.21/1800.34 v -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
1800.21/1800.34 v x3951 -x3950 x3949 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 -x3933 -x3932
1800.21/1800.34 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913
1800.21/1800.34 v -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893
1800.21/1800.34 v -x3892 -x3891 -x3890 -x3889 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3875 -x3874
1800.21/1800.34 v -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856 -x3855
1800.21/1800.34 v -x3854 x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3838 -x3837 -x3836 -x3835
1800.21/1800.34 v -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1800.21/1800.34 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3800 -x3799 -x3798 -x3797
1800.21/1800.34 v -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779
1800.21/1800.34 v -x3778 -x3777 -x3776 -x3775 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760
1800.21/1800.34 v -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
1800.21/1800.34 v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723
1800.21/1800.34 v -x3722 x3721 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704
1800.21/1800.34 v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686
1800.21/1800.34 v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668
1800.21/1800.34 v -x3667 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649
1800.21/1800.34 v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 x3640 x3638 x3636 x3634 x3632 -x3630 -x3628 x3626 x3624 -x3622 -x3620
1800.21/1800.34 v x3618 x3616 x3614 x3612 -x3610 -x3608 -x3606 -x3605 -x3604 -x3603 -x3601 -x3600 -x3599 -x3598 -x3596 -x3595 -x3594 -x3593
1800.21/1800.34 v -x3591 -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 x3581 -x3580 -x3579 x3578 -x3576 -x3575 -x3574 -x3573 x3571 -x3570 -x3569
1800.21/1800.34 v x3568 -x3566 -x3565 -x3564 -x3563 -x3561 -x3560 -x3559 -x3558 x3556 -x3555 -x3554 x3553 -x3551 -x3550 -x3549 -x3548 -x3546
1800.21/1800.34 v -x3545 -x3544 -x3543 -x3541 -x3540 -x3539 -x3538 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526
1800.21/1800.34 v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 x3514 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506
1800.21/1800.34 v -x3505 -x3504 -x3503 -x3502 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3488 -x3487 -x3486
1800.21/1800.34 v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 x3478 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467
1800.21/1800.34 v -x3466 -x3464 x3462 x3460 x3458 -x3456 x3454 -x3452 -x3450 -x3448 x3446 x3444 x3442 -x3440 -x3438 x3436 x3434 x3432 -x3430
1800.21/1800.34 v -x3428 -x3426 -x3425 -x3424 -x3423 -x3421 -x3420 -x3419 -x3418 -x3416 -x3415 -x3414 -x3413 -x3411 -x3410 -x3409 -x3408 -x3406
1800.21/1800.34 v -x3405 -x3404 -x3403 -x3401 -x3400 -x3399 -x3398 -x3396 x3395 -x3394 x3393 -x3391 -x3390 -x3389 -x3388 -x3386 -x3385 -x3384
1800.21/1800.34 v x3383 -x3381 -x3380 -x3379 -x3378 -x3376 -x3375 -x3374 -x3373 -x3371 -x3370 -x3369 -x3368 -x3366 -x3365 -x3364 x3363 -x3361
1800.21/1800.34 v -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 x3353 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341
1800.21/1800.34 v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321
1800.21/1800.34 v -x3320 -x3319 -x3318 x3317 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3303 -x3302 -x3301
1800.21/1800.34 v -x3300 -x3299 -x3298 -x3297 -x3296 x3295 -x3294 x3293 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
1800.21/1800.34 v x3281 -x3279 x3277 x3275 x3273 x3271 x3269 -x3267 -x3265 x3263 x3261 x3259 x3257 x3255 x3253 -x3251 x3249 x3247 x3245 -x3243
1800.21/1800.34 v -x3241 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 -x3231 -x3229 -x3228 -x3227 -x3226 -x3224 -x3223 -x3222 -x3221 -x3219
1800.21/1800.34 v x3218 -x3217 x3216 -x3214 x3213 -x3212 x3211 -x3209 x3208 -x3207 x3206 -x3204 -x3203 -x3202 -x3201 -x3199 -x3198 -x3197 -x3196
1800.21/1800.34 v -x3194 -x3193 -x3192 -x3191 -x3189 -x3188 -x3187 -x3186 -x3184 -x3183 -x3182 -x3181 x3179 -x3178 -x3177 x3176 -x3174 -x3173
1800.21/1800.34 v -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3152
1800.21/1800.34 v -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 x3142 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133
1800.21/1800.34 v -x3132 -x3131 -x3130 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 x3118 -x3116 -x3115 -x3114 -x3113
1800.21/1800.34 v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094
1800.21/1800.34 v -x3092 -x3091 -x3090 -x3089 -x3087 -x3086 -x3085 -x3084 -x3082 -x3081 -x3080 -x3079 -x3077 -x3076 -x3075 -x3074 -x3072
1800.21/1800.34 v -x3071 -x3070 -x3069 -x3067 -x3066 -x3065 -x3064 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 -x3054 -x3052 -x3051 -x3050
1800.21/1800.34 v -x3049 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041 -x3040 -x3039 -x3037 -x3036 -x3035 -x3034 -x3032 -x3031 -x3030 -x3029 -x3027
1800.21/1800.34 v -x3026 -x3025 -x3024 -x3022 -x3021 -x3020 -x3019 -x3017 -x3016 -x3015 -x3014 -x3012 -x3011 -x3010 -x3009 -x3007 -x3006 -x3005
1800.21/1800.34 v -x3004 -x3002 -x3001 -x3000 -x2999 -x2997 -x2996 -x2995 -x2994 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985 x2984 -x2982
1800.21/1800.34 v -x2981 -x2980 -x2979 -x2977 -x2976 -x2975 -x2974 -x2972 -x2971 -x2970 -x2969 -x2967 -x2966 -x2965 x2964 -x2962 -x2961 -x2960
1800.21/1800.34 v -x2959 -x2957 -x2956 -x2955 -x2954 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 x2944 -x2942 -x2941 -x2940 -x2939 -x2937
1800.21/1800.34 v -x2936 -x2935 -x2934 -x2932 -x2931 -x2930 -x2929 -x2927 -x2926 -x2925 -x2924 -x2922 -x2921 -x2920 -x2919 -x2917 -x2916 -x2915
1800.21/1800.34 v x2914 -x2912 -x2911 -x2910 -x2909 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 -x2899 -x2897 -x2896 x2895 x2894 -x2892
1800.21/1800.34 v -x2891 -x2890 -x2889 -x2887 -x2886 -x2885 -x2884 -x2882 -x2881 -x2880 -x2879 -x2877 -x2876 -x2875 -x2874 -x2872 -x2871 -x2870
1800.21/1800.34 v -x2869 -x2867 -x2866 -x2865 -x2864 -x2862 -x2861 -x2860 -x2859 -x2857 -x2856 -x2855 -x2854 -x2852 -x2851 -x2850 -x2849 -x2847
1800.21/1800.34 v -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2837 -x2836 -x2835 -x2834 -x2832 -x2831 -x2830 -x2829 -x2827 -x2826 -x2825
1800.21/1800.34 v -x2824 -x2822 -x2821 -x2820 -x2819 -x2817 -x2816 -x2815 -x2814 -x2812 -x2811 -x2810 -x2809 -x2807 -x2806 -x2805 -x2804 -x2802
1800.21/1800.34 v -x2801 -x2800 -x2799 -x2797 -x2796 -x2795 -x2794 -x2792 -x2791 -x2790 -x2789 -x2787 -x2786 -x2785 -x2784 -x2782 -x2781
1800.21/1800.34 v -x2780 -x2779 -x2777 -x2776 -x2775 x2774 -x2772 -x2771 -x2770 -x2769 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761 -x2760 -x2759
1800.21/1800.34 v -x2757 -x2756 -x2755 -x2754 -x2752 -x2751 -x2750 -x2749 -x2747 -x2746 -x2745 -x2744 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737
1800.21/1800.34 v -x2736 -x2735 -x2734 -x2733 -x2732 -x2730 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2716
1800.21/1800.34 v -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695
1800.21/1800.34 v -x2694 -x2693 -x2692 -x2691 -x2690 -x2688 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2674
1800.21/1800.34 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
1800.21/1800.34 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2646 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 x2634 x2632
1800.21/1800.34 v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 x2618 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611
1800.21/1800.34 v -x2610 -x2609 -x2608 -x2607 -x2606 x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2590
1800.21/1800.34 v -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2576 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569
1800.21/1800.34 v -x2568 -x2567 -x2566 -x2565 -x2564 -x2562 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2548
1800.21/1800.34 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2534 -x2532 -x2531 -x2530 -x2529 -x2528
1800.21/1800.34 v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2520 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
1800.21/1800.34 v -x2506 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2492 -x2490 -x2489 -x2488 -x2487 -x2486
1800.21/1800.34 v -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2478 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466
1800.21/1800.34 v x2464 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2450 -x2448 -x2447 x2446 -x2445 -x2444
1800.21/1800.34 v -x2443 -x2442 -x2441 -x2440 -x2439 x2438 -x2436 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424
1800.21/1800.34 v -x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 x2410 -x2408 -x2406 -x2405 -x2404 -x2403 -x2402
1800.21/1800.34 v -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2394 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382
1800.21/1800.34 v -x2380 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 -x2366 -x2364 -x2363 -x2362 -x2361 -x2360
1800.21/1800.34 v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2352 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340
1800.21/1800.34 v -x2338 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 x2326 x2324 -x2322 -x2321 -x2320 -x2319 -x2318
1800.21/1800.34 v -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2310 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298
1800.21/1800.34 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2284 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
1800.21/1800.34 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2270 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2256
1800.21/1800.34 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2242 -x2240 -x2239 -x2238 -x2237 -x2236
1800.21/1800.34 v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2228 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
1800.21/1800.34 v -x2214 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2200 -x2198 -x2197 -x2196 -x2195 -x2194
1800.21/1800.34 v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174
1800.21/1800.34 v -x2172 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2158 -x2156 -x2155 -x2154 -x2153 -x2152
1800.21/1800.34 v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2144 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132
1800.21/1800.34 v -x2130 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 x2116 -x2114 -x2113 -x2112 -x2111 -x2110
1800.21/1800.34 v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 x2102 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
1800.21/1800.34 v x2088 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 x2074 -x2072 -x2071 -x2070 -x2069 -x2068
1800.21/1800.34 v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 x2060 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048
1800.21/1800.34 v x2046 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2032 -x2030 -x2029 -x2028 -x2027 -x2026
1800.21/1800.34 v -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006
1800.21/1800.34 v -x2004 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1990 -x1988 -x1987 -x1986 -x1985 -x1984
1800.21/1800.34 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965
1800.21/1800.34 v -x1964 x1962 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945
1800.21/1800.34 v -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926
1800.21/1800.34 v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908
1800.21/1800.34 v -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889
1800.21/1800.34 v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870
1800.21/1800.34 v -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851
1800.21/1800.34 v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
1800.21/1800.34 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815
1800.21/1800.34 v -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1798 -x1797 -x1796
1800.21/1800.34 v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778
1800.21/1800.34 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
1800.21/1800.34 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1744 -x1743 -x1742 -x1741 -x1740
1800.21/1800.34 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
1800.21/1800.34 v -x1721 -x1720 -x1719 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703
1800.21/1800.34 v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
1800.21/1800.34 v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
1800.21/1800.34 v -x1666 -x1665 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648
1800.21/1800.34 v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629
1800.21/1800.34 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611
1800.21/1800.34 v -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592
1800.21/1800.34 v -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573
1800.21/1800.34 v -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1555 -x1554
1800.21/1800.34 v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 -x1536
1800.21/1800.34 v -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517
1800.21/1800.34 v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1501 -x1500 -x1499
1800.21/1800.34 v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481
1800.21/1800.34 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
1800.21/1800.34 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 x1449 -x1447 -x1446 -x1445 -x1444 -x1443
1800.21/1800.34 v -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425
1800.21/1800.34 v -x1424 -x1423 x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406
1800.21/1800.34 v -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387
1800.21/1800.34 v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369
1800.21/1800.34 v -x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350
1800.21/1800.34 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
1800.21/1800.34 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
1800.21/1800.34 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
1800.21/1800.34 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276
1800.21/1800.34 v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1258 -x1257
1800.21/1800.34 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1800.21/1800.34 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
1800.21/1800.34 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1204 -x1203 -x1202
1800.21/1800.34 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
1800.21/1800.34 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
1800.21/1800.34 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148
1800.21/1800.34 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
1800.21/1800.34 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
1800.21/1800.34 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
1800.21/1800.34 v -x1092 -x1091 -x1090 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
1800.21/1800.34 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057
1800.21/1800.34 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039
1800.21/1800.34 v -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020
1800.21/1800.34 v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002
1800.21/1800.34 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982
1800.21/1800.34 v -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960
1800.21/1800.34 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939
1800.21/1800.34 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918
1800.21/1800.34 v -x917 x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1800.21/1800.34 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.21/1800.34 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x856 -x855 -x854 -x853
1800.21/1800.34 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.21/1800.34 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812
1800.21/1800.34 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.21/1800.34 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1800.21/1800.34 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1800.21/1800.34 v -x747 -x746 -x745 -x744 -x743 -x742 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x740 -x738 -x739 -x737 -x735 -x736 -x734 -x732
1800.21/1800.34 v -x733 -x731 -x729 -x730 -x728 -x726 -x727 -x725 -x723 -x724 -x722 -x721 -x720 -x718 -x719 -x717 -x715 -x716 -x714 -x712 -x713
1800.21/1800.34 v -x711 -x710 -x709 -x707 -x708 -x706 -x704 -x705 -x703 -x701 -x702 -x700 -x698 -x699 -x697 -x695 -x696 -x694 -x692 -x693 -x691
1800.21/1800.34 v -x689 -x690 -x688 -x686 -x687 -x685 -x683 -x684 -x682 -x680 -x681 -x679 -x677 -x678 -x676 -x674 -x675 -x673 -x671 -x672
1800.21/1800.34 v -x670 -x668 -x669 -x667 -x665 -x666 -x664 -x663 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651 -x652 -x650
1800.21/1800.34 v -x648 -x649 -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x637 -x636 -x634 -x633 -x632 -x631 -x629 -x628 -x627
1800.21/1800.34 v -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x615 -x614 -x613 -x612 -x611 -x610 -x608 -x607 -x606 -x605 -x603 -x602
1800.21/1800.34 v -x601 -x600 -x598 -x597 -x595 x594 x593 -x592 -x591 -x590 -x589 -x521 -x520 -x519 -x518 -x517 -x516 -x580 -x578 -x579 -x577
1800.21/1800.34 v -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 -x565 -x563 -x564 -x561 -x562 -x559 -x560 -x557 -x558 -x555
1800.21/1800.34 v -x556 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 x539 -x538 -x536 -x535 -x534
1800.21/1800.34 v -x533 -x532 -x531 -x529 -x528 -x526 -x525 -x523 -x522 -x446 -x445 -x444 -x443 -x442 -x441 -x514 -x512 -x513 -x511 -x509 -x510
1800.21/1800.34 v -x508 -x506 -x507 -x505 -x503 -x504 -x502 -x500 -x501 -x498 -x499 -x497 -x495 -x496 -x494 -x492 -x493 x491 -x489 -x490 -x488
1800.21/1800.34 v -x486 -x487 -x485 -x484 -x483 -x481 -x480 -x478 -x477 -x475 -x474 -x473 -x472 -x470 -x469 -x468 -x467 -x466 -x465 -x463 -x462
1800.21/1800.34 v -x460 -x459 -x457 -x456 -x454 x453 x452 -x451 -x450 -x449 -x447 -x368 -x367 -x366 -x365 -x364 -x363 -x439 -x437 -x438 -x436
1800.21/1800.34 v -x434 -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x425 -x426 -x424 -x422 -x423 -x421 -x419 -x420 -x418 -x416 -x417 -x415
1800.21/1800.34 v -x413 -x414 -x412 -x410 -x411 -x409 -x407 -x406 -x404 -x403 -x401 -x400 -x398 x397 x395 -x394 -x392 -x391 -x390 -x389 -x387
1800.21/1800.34 v -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x374 -x373 -x372 -x371 -x369 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x361
1800.21/1800.34 v -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342 -x340
1800.21/1800.34 v -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 x324 -x322 -x320 -x321 -x319
1800.21/1800.34 v -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300 -x298
1800.21/1800.34 v -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279 -x277
1800.21/1800.34 v -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 -x258 -x256
1800.21/1800.34 v -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 -x236 -x237 -x235
1800.21/1800.34 v -x233 -x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 -x215 -x216
1800.21/1800.34 v -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 -x194 -x195
1800.21/1800.34 v -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 -x175 -x173 -x174
1800.21/1800.34 v -x172 -x170 -x171 x169 -x167 -x168 -x166 -x164 -x165 -x163 -x162 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154 -x152
1800.21/1800.34 v -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133 -x131
1800.21/1800.34 v -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 x118 -x116 -x114 -x115 -x113 -x111 -x112 -x110
1800.21/1800.34 v -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91 -x89 -x87 -x86
1800.21/1800.34 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
1800.21/1800.34 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
1800.21/1800.34 v -x13 -x12 -x10 -x4314 -x4312 -x4307 -x4305 -x4300 -x4298 -x4293 -x4291 -x4286 -x4284 -x4279 -x4277 -x4272 -x4267 -x4265 -x4260
1800.21/1800.34 v -x4258 -x4253 -x4251 -x4246 -x4241 -x4239 -x4234 -x4232 -x4227 -x4225 -x4220 -x4218 -x4213 -x4211 -x4206 -x4204 -x4199 -x4197
1800.21/1800.34 v -x4192 -x4190 -x4185 -x4183 -x4178 -x4176 -x4171 -x4169 -x4164 -x4162 -x4157 -x4155 -x4150 -x4148 -x4143 -x4141 -x4136 -x4131
1800.21/1800.34 v -x4129 -x4124 -x4122 -x4117 -x4115 -x4110 -x4108 -x4103 -x4101 -x4096 -x4094 -x4089 -x4087 -x4082 -x4080 -x4068 -x4056 -x635
1800.21/1800.34 v -x4044 -x4032 -x630 -x4020 -x4008 -x625 -x3996 -x3984 -x3972 -x3960 -x616 -x3948 -x3936 -x3924 -x609 -x3912 -x3900 -x604
1800.21/1800.34 v -x3888 -x3876 -x599 -x3864 -x596 x3852 -x3840 -x3828 -x3801 -x3774 -x3747 -x3720 -x3693 -x3666 -x3639 -x3637 -x3635 -x3633 -x3631
1800.21/1800.34 v -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3602 -x3597 -x3592 -x3587 -x3582
1800.21/1800.34 v -x3577 -x3572 x3567 -x3562 -x537 -x3557 -x3552 -x3547 -x530 -x3542 -x527 -x3537 -x524 -x3525 -x3513 -x3501 -x3489 -x3477 -x3465
1800.21/1800.34 v -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 x3433 -x3431 -x3429
1800.21/1800.34 v -x3427 -x3422 -x3417 -x482 -x3412 -x479 -x3407 -x476 -x3402 -x3397 -x471 -x3392 -x3387 -x3382 -x464 -x3377 -x461 -x3372 -x458
1800.21/1800.34 v -x3367 x455 x3362 -x3357 -x3352 -x448 -x3340 -x3328 -x3316 -x3304 -x3292 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268
1800.21/1800.34 v -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3235 -x408 -x3230 -x405
1800.21/1800.34 v -x3225 -x402 -x3220 -x399 x3215 x396 -x3210 -x393 -x3205 -x3200 -x388 -x3195 -x3190 -x383 -x3185 -x3180 x378 -x3175 x375 -x3170
1800.21/1800.34 v -x3165 -x370 -x3153 -x3141 -x3129 -x3117 -x3105 -x3093 -x3088 -x3083 -x3078 -x3073 -x3068 -x3063 -x3058 -x3053 -x3048 -x3043
1800.21/1800.34 v -x3038 -x3033 -x3028 -x3023 -x3018 -x3013 -x3008 -x3003 -x2998 -x2993 -x2988 -x2983 -x2978 -x2973 -x2968 x2963 -x2958 -x2953
1800.21/1800.34 v -x2948 -x2943 -x2938 -x2933 -x2928 -x2923 -x2918 -x2913 -x2908 -x2903 -x2898 -x2893 -x2888 -x2883 -x2878 -x2873 -x2868 -x2863
1800.21/1800.34 v -x2858 -x2853 -x2848 -x2843 -x2838 -x2833 -x2828 -x2823 -x2818 -x2813 -x2808 -x2803 -x2798 -x2793 -x2788 -x2783 -x2778 -x2773
1800.21/1800.34 v -x2768 -x2763 -x2758 -x2753 -x2748 -x2743 -x2731 -x2729 -x2717 -x2715 -x2703 -x2701 -x2689 -x2687 -x2675 -x2673 -x2661 -x2659
1800.21/1800.34 v -x2647 -x2645 -x2633 -x2631 -x2619 -x2617 -x2605 -x2603 -x2591 -x2589 -x2577 -x2575 -x2563 -x2561 -x2549 -x2547 -x2535
1800.21/1800.34 v -x2533 -x2521 -x2519 -x2507 -x2505 -x2493 -x2491 -x2479 -x2477 -x2465 -x2463 -x2451 -x2449 -x2437 -x2435 -x2423 -x2421 -x2409
1800.21/1800.34 v -x2407 -x2395 -x2393 -x2381 -x2379 -x2367 -x2365 -x2353 -x2351 -x2339 -x2337 x2325 -x2323 -x2311 -x2309 -x2297 -x2285 -x2283
1800.21/1800.34 v -x2271 -x2269 -x2257 -x2255 -x2243 -x2241 -x2229 -x2227 -x2215 -x2213 -x2201 -x2199 -x2187 -x2185 -x2173 -x2171 -x2159 -x2157
1800.21/1800.34 v -x2145 -x2143 -x2131 -x2129 -x2117 -x2115 -x2103 -x2101 -x2089 x2087 -x2075 -x2073 -x2061 -x2059 -x2047 -x2045 -x2033 -x2031
1800.21/1800.34 v -x2019 -x2017 -x2005 -x2003 -x1991 -x1989 -x1977 -x1975 -x1963 -x1961 -x1934 -x88 -x1907 -x85 -x1880 -x82 -x1853 -x1826 -x77
1800.21/1800.34 v -x1799 -x74 -x1772 -x71 -x1745 -x68 -x1718 -x65 x1691 x62 -x1664 -x59 -x1637 -x1610 -x54 -x1583 -x51 -x1556 -x48 -x1529 -x45
1800.21/1800.34 v -x1502 -x1475 -x40 -x1448 -x37 -x1421 -x34 -x1394 -x1367 -x29 -x1340 -x26 -x1313 -x23 -x1286 -x20 -x1259 -x17 -x1232 x14 -x1205
1800.21/1800.34 v -x11 -x1147 -x1089 -x1031 -x973 -x915 -x857 -x799 -x741 x581 x515 x440 x362 x1
1800.21/1800.34 c SCIP Status : solving was interrupted [user interrupt]
1800.21/1800.34 c Total Time : 1800.33
1800.21/1800.34 c solving : 1800.33
1800.21/1800.34 c presolving : 0.22 (included in solving)
1800.21/1800.34 c reading : 0.10 (included in solving)
1800.21/1800.34 c Original Problem :
1800.21/1800.34 c Problem name : HOME/instance-3450811-1307100016.opb
1800.21/1800.34 c Variables : 4318 (4318 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.21/1800.34 c Constraints : 15120 initial, 15120 maximal
1800.21/1800.34 c Presolved Problem :
1800.21/1800.34 c Problem name : t_HOME/instance-3450811-1307100016.opb
1800.21/1800.34 c Variables : 3878 (3878 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.21/1800.34 c Constraints : 14238 initial, 14375 maximal
1800.21/1800.34 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.21/1800.34 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c implics : 0.00 0 6 0 0 0 0 0 0 0
1800.21/1800.34 c probing : 0.08 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c linear : 0.09 5 429 0 5 0 882 0 6 7
1800.21/1800.34 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.21/1800.34 c root node : - 0 - - 0 - - - - -
1800.21/1800.34 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.21/1800.34 c integral : 0 0 0 1082 0 15 0 0 33 0 0 2146
1800.21/1800.34 c knapsack : 1 2 29307 0 0 12 0 0 0 0 0 0
1800.21/1800.34 c setppc : 10839 2 29307 0 0 11 36012 16 34566 0 0 0
1800.21/1800.34 c logicor : 3398+ 2 18610 0 0 10 3483 53 604 31 0 0
1800.21/1800.34 c countsols : 0 0 0 0 0 11 0 0 0 0 0 0
1800.21/1800.34 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.21/1800.34 c integral : 381.54 0.00 0.00 381.54 0.00 0.00 0.00
1800.21/1800.34 c knapsack : 0.03 0.00 0.02 0.00 0.00 0.00 0.00
1800.21/1800.34 c setppc : 4.69 0.00 4.67 0.00 0.00 0.00 0.01
1800.21/1800.34 c logicor : 0.50 0.00 0.49 0.00 0.00 0.00 0.01
1800.21/1800.34 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.21/1800.34 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.21/1800.34 c vbounds : 0 0 0 0
1800.21/1800.34 c rootredcost : 6 0 0 0
1800.21/1800.34 c pseudoobj : 29131 0 0 0
1800.21/1800.34 c Propagator Timings : TotalTime Propagate Resprop
1800.21/1800.34 c vbounds : 0.01 0.01 0.00
1800.21/1800.34 c rootredcost : 0.01 0.01 0.00
1800.21/1800.34 c pseudoobj : 0.33 0.33 0.00
1800.21/1800.34 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.21/1800.34 c propagation : 0.30 69 69 1732 392.9 8 69.9 -
1800.21/1800.34 c infeasible LP : 0.02 10 10 135 223.6 0 0.0 0
1800.21/1800.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.21/1800.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.21/1800.34 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.21/1800.34 c applied globally : - - - 564 154.6 - - -
1800.21/1800.34 c applied locally : - - - 0 0.0 - - -
1800.21/1800.34 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.21/1800.34 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.21/1800.34 c redcost : 0.09 1200 0 3106 0 0
1800.21/1800.34 c impliedbounds : 0.00 2 0 0 0 0
1800.21/1800.34 c intobj : 0.00 0 0 0 0 0
1800.21/1800.34 c gomory : 3.10 2 0 0 0 0
1800.21/1800.34 c cgmip : 0.00 0 0 0 0 0
1800.21/1800.34 c closecuts : 0.00 0 0 0 0 0
1800.21/1800.34 c strongcg : 3.10 2 0 0 0 0
1800.21/1800.34 c cmir : 0.15 2 0 0 0 0
1800.21/1800.34 c flowcover : 0.16 2 0 0 0 0
1800.21/1800.34 c clique : 0.04 1 0 0 0 0
1800.21/1800.34 c zerohalf : 0.00 0 0 0 0 0
1800.21/1800.34 c mcf : 0.04 1 0 0 0 0
1800.21/1800.34 c oddcycle : 0.00 0 0 0 0 0
1800.21/1800.34 c rapidlearning : 0.00 0 0 0 0 0
1800.21/1800.34 c Pricers : Time Calls Vars
1800.21/1800.34 c problem variables: 0.00 0 0
1800.21/1800.34 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.21/1800.34 c relpscost : 381.53 1082 0 33 0 0 2146
1800.21/1800.34 c pscost : 0.00 0 0 0 0 0 0
1800.21/1800.34 c inference : 0.00 0 0 0 0 0 0
1800.21/1800.34 c mostinf : 0.00 0 0 0 0 0 0
1800.21/1800.34 c leastinf : 0.00 0 0 0 0 0 0
1800.21/1800.34 c fullstrong : 0.00 0 0 0 0 0 0
1800.21/1800.34 c allfullstrong : 0.00 0 0 0 0 0 0
1800.21/1800.34 c random : 0.00 0 0 0 0 0 0
1800.21/1800.34 c Primal Heuristics : Time Calls Found
1800.21/1800.34 c LP solutions : 0.00 - 0
1800.21/1800.34 c pseudo solutions : 0.00 - 0
1800.21/1800.34 c oneopt : 0.01 6 0
1800.21/1800.34 c objpscostdiving : 67.80 3 0
1800.21/1800.34 c veclendiving : 53.74 8 0
1800.21/1800.34 c rootsoldiving : 43.53 7 2
1800.21/1800.34 c fracdiving : 84.58 33 1
1800.21/1800.34 c linesearchdiving : 71.99 33 2
1800.21/1800.34 c trivial : 0.01 2 0
1800.21/1800.34 c shiftandpropagate: 0.08 1 0
1800.21/1800.34 c simplerounding : 0.00 0 0
1800.21/1800.34 c zirounding : 0.78 1000 0
1800.21/1800.34 c rounding : 0.26 416 0
1800.21/1800.34 c shifting : 0.34 110 0
1800.21/1800.34 c intshifting : 0.00 0 0
1800.21/1800.34 c twoopt : 0.00 0 0
1800.21/1800.34 c fixandinfer : 0.00 0 0
1800.21/1800.34 c feaspump : 7.34 1 0
1800.21/1800.34 c clique : 0.00 0 0
1800.21/1800.34 c coefdiving : 205.57 18 1
1800.21/1800.34 c pscostdiving : 161.26 29 1
1800.21/1800.34 c intdiving : 0.00 0 0
1800.21/1800.34 c actconsdiving : 0.00 0 0
1800.21/1800.34 c guideddiving : 116.73 33 1
1800.21/1800.34 c octane : 0.00 0 0
1800.21/1800.34 c rens : 0.31 1 0
1800.21/1800.34 c rins : 0.00 0 0
1800.21/1800.34 c localbranching : 0.00 0 0
1800.21/1800.34 c mutation : 0.00 0 0
1800.21/1800.34 c crossover : 0.22 2 1
1800.21/1800.34 c dins : 0.00 0 0
1800.21/1800.34 c vbounds : 0.00 0 0
1800.21/1800.34 c undercover : 0.00 0 0
1800.21/1800.34 c subnlp : 0.00 0 0
1800.21/1800.34 c trysol : 0.00 0 0
1800.21/1800.34 c LP : Time Calls Iterations Iter/call Iter/sec
1800.21/1800.34 c primal LP : 0.00 0 0 0.00 -
1800.21/1800.34 c dual LP : 593.47 1137 1197861 1053.53 2018.40
1800.21/1800.34 c lex dual LP : 0.00 0 0 0.00 -
1800.21/1800.34 c barrier LP : 0.00 0 0 0.00 -
1800.21/1800.34 c diving/probing LP: 789.54 9899 1587790 160.40 2011.03
1800.21/1800.34 c strong branching : 381.29 920 730609 794.14 1916.17
1800.21/1800.34 c (at root node) : - 17 17000 1000.00 -
1800.21/1800.34 c conflict analysis: 0.00 0 0 0.00 -
1800.21/1800.34 c B&B Tree :
1800.21/1800.34 c number of runs : 1
1800.21/1800.34 c nodes : 1127
1800.21/1800.34 c nodes (total) : 1127
1800.21/1800.34 c nodes left : 1019
1800.21/1800.34 c max depth : 56
1800.21/1800.34 c max depth (total): 56
1800.21/1800.34 c backtracks : 196 (17.4%)
1800.21/1800.34 c delayed cutoffs : 0
1800.21/1800.34 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.21/1800.34 c avg switch length: 3.47
1800.21/1800.34 c switching time : 0.44
1800.21/1800.34 c Solution :
1800.21/1800.34 c Solutions found : 9 (6 improvements)
1800.21/1800.34 c First Solution : +2.50000000000000e+01 (in run 1, after 19 nodes, 126.25 seconds, depth 138, found by <coefdiving>)
1800.21/1800.34 c Primal Bound : +2.00000000000000e+01 (in run 1, after 351 nodes, 906.47 seconds, depth 43, found by <fracdiving>)
1800.21/1800.34 c Dual Bound : +1.25858348258525e+01
1800.21/1800.34 c Gap : 58.91 %
1800.21/1800.34 c Root Dual Bound : +1.17247334392015e+01
1800.21/1800.34 c Root Iterations : 22105
1800.21/1800.39 c Time complete: 1800.28.
OK 20
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3450811-1307100016/watcher-3450811-1307100016 -o /tmp/evaluation-result-3450811-1307100016/solver-3450811-1307100016 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450811-1307100016.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.02 2.07 2.06 2/434 28145 /proc/meminfo: memFree=11897940/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=14564 CPUtime=0.01 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 2632 0 0 0 1 0 0 0 25 0 1 0 821601286 14913536 2586 33554432000 4194304 9163163 140735703641968 18446744073709551615 6136256 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28145/statm: 3641 2586 395 1214 0 2423 0 [startup+0.0263859 s] /proc/loadavg: 2.02 2.07 2.06 2/434 28145 /proc/meminfo: memFree=11897940/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=15856 CPUtime=0.02 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 2961 0 0 0 2 0 0 0 25 0 1 0 821601286 16236544 2915 33554432000 4194304 9163163 140735703641968 18446744073709551615 4214503 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28145/statm: 3964 2915 395 1214 0 2746 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15856 [startup+0.100383 s] /proc/loadavg: 2.02 2.07 2.06 2/434 28145 /proc/meminfo: memFree=11897940/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=23724 CPUtime=0.09 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 4931 0 0 0 9 0 0 0 25 0 1 0 821601286 24293376 4885 33554432000 4194304 9163163 140735703641968 18446744073709551615 7480092 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28145/statm: 5931 4885 395 1214 0 4713 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23724 [startup+0.300343 s] /proc/loadavg: 2.02 2.07 2.06 2/434 28145 /proc/meminfo: memFree=11897940/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=51412 CPUtime=0.29 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 12249 0 0 0 29 0 0 0 25 0 1 0 821601286 52645888 11592 33554432000 4194304 9163163 140735703641968 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/28145/statm: 12853 11592 559 1214 0 11635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 51412 [startup+0.700279 s] /proc/loadavg: 2.02 2.07 2.06 2/434 28145 /proc/meminfo: memFree=11897940/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=81748 CPUtime=0.69 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 19894 0 0 0 67 2 0 0 25 0 1 0 821601286 83709952 18839 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/28145/statm: 20437 18839 693 1214 0 19219 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 81748 [startup+1.50116 s] /proc/loadavg: 2.02 2.07 2.06 3/435 28146 /proc/meminfo: memFree=11823160/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=82452 CPUtime=1.49 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 20370 0 0 0 147 2 0 0 25 0 1 0 821601286 84430848 19282 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/28145/statm: 20613 19282 682 1214 0 19395 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 82452 [startup+3.10089 s] /proc/loadavg: 2.02 2.07 2.06 3/435 28146 /proc/meminfo: memFree=11821856/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=82204 CPUtime=2.95 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 20708 0 0 0 291 4 0 0 25 0 1 0 821601286 84176896 19418 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 20551 19418 740 1214 0 19333 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 82204 [startup+6.3003 s] /proc/loadavg: 2.02 2.07 2.06 3/435 28146 /proc/meminfo: memFree=11821108/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=82204 CPUtime=6.15 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 20744 0 0 0 610 5 0 0 25 0 1 0 821601286 84176896 19440 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 20551 19440 741 1214 0 19333 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 82204 [startup+12.7002 s] /proc/loadavg: 2.02 2.07 2.06 3/435 28146 /proc/meminfo: memFree=11820344/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=82204 CPUtime=12.56 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 20802 0 0 0 1249 7 0 0 25 0 1 0 821601286 84176896 19489 33554432000 4194304 9163163 140735703641968 18446744073709551615 6677594 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 20551 19489 743 1214 0 19333 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 82204 [startup+25.501 s] /proc/loadavg: 2.01 2.06 2.05 3/435 28147 /proc/meminfo: memFree=11818924/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=83300 CPUtime=25.35 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 29918 0 0 0 2524 11 0 0 25 0 1 0 821601286 85299200 19929 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 20825 19929 757 1214 0 19607 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 83300 [startup+51.1006 s] /proc/loadavg: 2.01 2.06 2.05 3/435 28148 /proc/meminfo: memFree=11819824/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=83192 CPUtime=50.96 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 32558 0 0 0 5078 18 0 0 25 0 1 0 821601286 85188608 19704 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 20798 19704 757 1214 0 19580 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 83192 [startup+102.317 s] /proc/loadavg: 2.00 2.05 2.05 3/435 28149 /proc/meminfo: memFree=11818944/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=83776 CPUtime=102.18 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 42922 0 0 0 10184 34 0 0 25 0 1 0 821601286 85786624 19847 33554432000 4194304 9163163 140735703641968 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 20944 19847 757 1214 0 19726 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 83776 [startup+162.3 s] /proc/loadavg: 2.00 2.04 2.04 3/435 28150 /proc/meminfo: memFree=11816460/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=85488 CPUtime=162.15 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 59757 0 0 0 16161 54 0 0 25 0 1 0 821601286 87539712 20227 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 21372 20227 757 1214 0 20154 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 85488 [startup+222.301 s] /proc/loadavg: 2.00 2.03 2.03 3/435 28152 /proc/meminfo: memFree=11814460/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=84872 CPUtime=222.16 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 80550 0 0 0 22143 73 0 0 25 0 1 0 821601286 86908928 20323 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 21218 20323 782 1214 0 20000 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 84872 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.03 3/435 28154 /proc/meminfo: memFree=11814320/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=86720 CPUtime=282.17 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 89689 0 0 0 28129 88 0 0 25 0 1 0 821601286 88801280 20548 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 21680 20548 760 1214 0 20462 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 86720 [startup+342.301 s] /proc/loadavg: 2.09 2.04 2.03 3/435 28155 /proc/meminfo: memFree=11813316/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=86792 CPUtime=342.17 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 102072 0 0 0 34111 106 0 0 25 0 1 0 821601286 88875008 20822 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 21698 20822 760 1214 0 20480 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 86792 [startup+402.301 s] /proc/loadavg: 2.08 2.05 2.03 3/435 28157 /proc/meminfo: memFree=11810828/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=88700 CPUtime=402.17 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 113072 0 0 0 40095 122 0 0 25 0 1 0 821601286 90828800 21234 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 22175 21234 760 1214 0 20957 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 88700 [startup+462.3 s] /proc/loadavg: 2.02 2.04 2.03 3/435 28158 /proc/meminfo: memFree=11812804/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=86596 CPUtime=462.16 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 119170 0 0 0 46078 138 0 0 25 0 1 0 821601286 88674304 20592 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 21649 20592 760 1214 0 20431 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 86596 [startup+522.301 s] /proc/loadavg: 2.06 2.04 2.03 3/435 28160 /proc/meminfo: memFree=11810560/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=88888 CPUtime=522.17 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 130444 0 0 0 52059 158 0 0 25 0 1 0 821601286 91021312 21196 33554432000 4194304 9163163 140735703641968 18446744073709551615 6974848 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 22222 21196 760 1214 0 21004 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 88888 [startup+582.3 s] /proc/loadavg: 2.06 2.05 2.03 3/435 28162 /proc/meminfo: memFree=11807948/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=90032 CPUtime=582.17 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 131693 0 0 0 58043 174 0 0 25 0 1 0 821601286 92192768 21622 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 22508 21622 760 1214 0 21290 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 90032 [startup+642.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.50 2.25 2.09 3/435 30747 /proc/meminfo: memFree=12385016/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=90924 CPUtime=882.17 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 208719 0 0 0 87956 261 0 0 25 0 1 0 821601286 93106176 21856 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 22731 21856 760 1214 0 21513 0 Current children cumulated CPU time (s) 882.17 Current children cumulated vsize (KiB) 90924 [startup+942.301 s] /proc/loadavg: 2.70 2.34 2.13 3/435 31666 /proc/meminfo: memFree=12387400/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=92340 CPUtime=942.17 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 223276 0 0 0 93937 280 0 0 25 0 1 0 821601286 94556160 22210 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 23085 22210 760 1214 0 21867 0 Current children cumulated CPU time (s) 942.17 Current children cumulated vsize (KiB) 92340 [startup+1002.3 s] /proc/loadavg: 2.29 2.30 2.13 3/435 31695 /proc/meminfo: memFree=12364728/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=92640 CPUtime=1002.18 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 224238 0 0 0 99918 300 0 0 25 0 1 0 821601286 94863360 22253 33554432000 4194304 9163163 140735703641968 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 23160 22253 760 1214 0 21942 0 Current children cumulated CPU time (s) 1002.18 Current children cumulated vsize (KiB) 92640 [startup+1062.3 s] /proc/loadavg: 2.60 2.40 2.18 3/435 32290 /proc/meminfo: memFree=12391168/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=91468 CPUtime=1062.17 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 234313 0 0 0 105896 321 0 0 25 0 1 0 821601286 93663232 21834 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 22867 21834 760 1214 0 21649 0 Current children cumulated CPU time (s) 1062.17 Current children cumulated vsize (KiB) 91468 [startup+1122.3 s] /proc/loadavg: 2.54 2.41 2.19 3/435 32292 /proc/meminfo: memFree=12387172/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=92988 CPUtime=1122.18 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 242642 0 0 0 111881 337 0 0 25 0 1 0 821601286 95219712 22210 33554432000 4194304 9163163 140735703641968 18446744073709551615 7346477 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 23247 22210 760 1214 0 22029 0 Current children cumulated CPU time (s) 1122.18 Current children cumulated vsize (KiB) 92988 [startup+1182.3 s] /proc/loadavg: 2.18 2.33 2.18 3/435 32294 /proc/meminfo: memFree=12381216/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=96168 CPUtime=1182.18 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 263794 0 0 0 117860 358 0 0 25 0 1 0 821601286 98476032 22990 33554432000 4194304 9163163 140735703641968 18446744073709551615 7225105 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 24042 22990 760 1214 0 22824 0 Current children cumulated CPU time (s) 1182.18 Current children cumulated vsize (KiB) 96168 [startup+1242.3 s] /proc/loadavg: 2.07 2.27 2.16 3/435 32295 /proc/meminfo: memFree=12379096/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=95480 CPUtime=1242.18 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 264543 0 0 0 123846 372 0 0 25 0 1 0 821601286 97771520 22847 33554432000 4194304 9163163 140735703641968 18446744073709551615 7116153 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 23870 22847 760 1214 0 22652 0 Current children cumulated CPU time (s) 1242.18 Current children cumulated vsize (KiB) 95480 [startup+1302.3 s] /proc/loadavg: 2.02 2.22 2.15 3/435 32297 /proc/meminfo: memFree=12376488/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=95480 CPUtime=1302.19 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 264674 0 0 0 129831 388 0 0 25 0 1 0 821601286 97771520 22978 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 23870 22978 760 1214 0 22652 0 Current children cumulated CPU time (s) 1302.19 Current children cumulated vsize (KiB) 95480 [startup+1362.3 s] /proc/loadavg: 2.01 2.18 2.14 3/435 32298 /proc/meminfo: memFree=12373140/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=95244 CPUtime=1362.18 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 276481 0 0 0 135812 406 0 0 25 0 1 0 821601286 97529856 22939 33554432000 4194304 9163163 140735703641968 18446744073709551615 7348657 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 23811 22939 760 1214 0 22593 0 Current children cumulated CPU time (s) 1362.18 Current children cumulated vsize (KiB) 95244 [startup+1422.3 s] /proc/loadavg: 2.00 2.14 2.13 3/435 32300 /proc/meminfo: memFree=12370652/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=95484 CPUtime=1422.19 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 292054 0 0 0 141793 426 0 0 25 0 1 0 821601286 97775616 22953 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 23871 22953 760 1214 0 22653 0 Current children cumulated CPU time (s) 1422.19 Current children cumulated vsize (KiB) 95484 [startup+1482.3 s] /proc/loadavg: 2.11 2.14 2.13 3/435 32302 /proc/meminfo: memFree=12368040/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=95128 CPUtime=1482.19 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 302185 0 0 0 147778 441 0 0 25 0 1 0 821601286 97411072 22575 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 23782 22575 760 1214 0 22564 0 Current children cumulated CPU time (s) 1482.19 Current children cumulated vsize (KiB) 95128 [startup+1542.3 s] /proc/loadavg: 2.13 2.14 2.13 3/435 32303 /proc/meminfo: memFree=12363448/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=96108 CPUtime=1542.18 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 315647 0 0 0 153762 456 0 0 25 0 1 0 821601286 98414592 22838 33554432000 4194304 9163163 140735703641968 18446744073709551615 7348610 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 24027 22838 760 1214 0 22809 0 Current children cumulated CPU time (s) 1542.18 Current children cumulated vsize (KiB) 96108 [startup+1602.32 s] /proc/loadavg: 2.05 2.11 2.11 3/435 32305 /proc/meminfo: memFree=12358732/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=96268 CPUtime=1602.2 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 320759 0 0 0 159746 474 0 0 25 0 1 0 821601286 98578432 22884 33554432000 4194304 9163163 140735703641968 18446744073709551615 7224150 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 24067 22884 760 1214 0 22849 0 Current children cumulated CPU time (s) 1602.2 Current children cumulated vsize (KiB) 96268 [startup+1662.3 s] /proc/loadavg: 2.02 2.09 2.10 3/435 32306 /proc/meminfo: memFree=12352028/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=97780 CPUtime=1662.19 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 327352 0 0 0 165729 490 0 0 25 0 1 0 821601286 100126720 23574 33554432000 4194304 9163163 140735703641968 18446744073709551615 7359888 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 24445 23574 760 1214 0 23227 0 Current children cumulated CPU time (s) 1662.19 Current children cumulated vsize (KiB) 97780 [startup+1722.3 s] /proc/loadavg: 2.00 2.07 2.09 3/435 32308 /proc/meminfo: memFree=12349168/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=96288 CPUtime=1722.19 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 334142 0 0 0 171712 507 0 0 25 0 1 0 821601286 98598912 23233 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 24072 23233 760 1214 0 22854 0 Current children cumulated CPU time (s) 1722.19 Current children cumulated vsize (KiB) 96288 [startup+1782.3 s] /proc/loadavg: 2.00 2.06 2.09 3/435 32310 /proc/meminfo: memFree=12343948/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=97112 CPUtime=1782.19 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 336330 0 0 0 177696 523 0 0 25 0 1 0 821601286 99442688 23274 33554432000 4194304 9163163 140735703641968 18446744073709551615 7379350 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 24278 23274 760 1214 0 23060 0 Current children cumulated CPU time (s) 1782.19 Current children cumulated vsize (KiB) 97112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.05 2.08 3/435 32310 /proc/meminfo: memFree=12342956/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=97112 CPUtime=1800.01 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 336332 0 0 0 179473 528 0 0 25 0 1 0 821601286 99442688 23276 33554432000 4194304 9163163 140735703641968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 24278 23276 760 1214 0 23060 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 97112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.32 s] /proc/loadavg: 2.00 2.05 2.08 3/436 32311 /proc/meminfo: memFree=12342948/32951132 swapFree=67093840/67111528 [pid=28145] ppid=28143 vsize=97112 CPUtime=1800.21 cores=0,2,4,6 /proc/28145/stat : 28145 (scip-2.0.1.4b.l) R 28143 28145 27022 0 -1 4202496 336332 0 0 0 179493 528 0 0 25 0 1 0 821601286 99442688 23276 33554432000 4194304 9163163 140735703641968 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28145/statm: 24278 23276 760 1214 0 23060 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 97112 Child status: 0 Real time (s): 1800.39 CPU time (s): 1800.29 CPU user time (s): 1795.01 CPU system time (s): 5.2882 CPU usage (%): 99.9944 Max. virtual memory (cumulated for all children) (KiB): 123360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.01 system time used= 5.2882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 336337 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= 6 involuntary context switches= 3054 runsolver used 9.14761 second user time and 19.893 second system time The end
Begin job on node131 at 2011-06-03 13:20:16 IDJOB=3450811 IDBENCH=25017 IDSOLVER=1948 FILE ID=node131/3450811-1307100016 RUNJOBID= node131-1307092006-27041 PBS_JOBID= 13497965 Free space on /tmp= 73884 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450811-1307100016/watcher-3450811-1307100016 -o /tmp/evaluation-result-3450811-1307100016/solver-3450811-1307100016 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450811-1307100016.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=988722498 node131.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.75 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.83 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.75 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.77 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 11898228 kB Buffers: 342808 kB Cached: 5666064 kB SwapCached: 948 kB Active: 16580428 kB Inactive: 4153196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 11898228 kB SwapTotal: 67111528 kB SwapFree: 67093840 kB Dirty: 12856 kB Writeback: 0 kB AnonPages: 14723888 kB Mapped: 41220 kB Slab: 196024 kB PageTables: 57484 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 95986208 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73876 MiB End job on node131 at 2011-06-03 13:50:19