Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 20 | 1800.07 | 1800.03 |
| 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.4 [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-3452471-1307101285.opb>
0.06/0.10 c original problem has 4318 variables (4318 bin, 0 int, 0 impl, 0 cont) and 15120 constraints
0.06/0.10 c problem read
0.06/0.10 c presolving settings loaded
0.09/0.14 c presolving:
0.19/0.20 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.19/0.20 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.25 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.36 c (0.4s) probing: 101/3878 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.29/0.36 c presolving (4 rounds):
0.29/0.36 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.36 c 114180 implications, 0 cliques
0.29/0.36 c presolved problem has 3878 variables (3878 bin, 0 int, 0 impl, 0 cont) and 14238 constraints
0.29/0.36 c 1 constraints of type <knapsack>
0.29/0.36 c 10839 constraints of type <setppc>
0.29/0.36 c 3398 constraints of type <logicor>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.25
0.29/0.36 c - non default parameters ----------------------------------------------------------------------
0.29/0.36 c # SCIP version 2.0.1.4
0.29/0.36 c
0.29/0.36 c # frequency for displaying node information lines
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.36 c display/freq = 10000
0.29/0.36 c
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = 1800
0.29/0.36 c
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = 13950
0.29/0.36 c
0.29/0.36 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.36 c # [type: int, range: [1,2], default: 1]
0.29/0.36 c timing/clocktype = 2
0.29/0.36 c
0.29/0.36 c # belongs reading time to solving time?
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c timing/reading = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify inequalities
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/linear/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/indicator/addCouplingCons = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify knapsacks
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 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.39/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.39/2.44 c 2.4s| 1 | 0 | 7435 | - | 29M| 0 | 857 |3878 | 14k|3878 | 14k| 0 | 58 | 0 | 1.060565e+01 | -- | Inf
14.09/14.13 c 14.1s| 1 | 0 | 22105 | - | 29M| 0 | 463 |3878 | 14k|3878 | 14k| 11 | 58 | 0 | 1.172473e+01 | -- | Inf
25.00/25.07 c 25.1s| 1 | 2 | 22105 | - | 29M| 0 | 463 |3878 | 14k|3878 | 14k| 11 | 58 | 17 | 1.172473e+01 | -- | Inf
113.50/113.59 o 25
113.50/113.59 c c 114s| 19 | 20 | 90454 |3797.2 | 30M| 18 | - |3878 | 14k|3878 | 14k| 11 | 58 | 169 | 1.172473e+01 | 2.500000e+01 | 113.22%
120.59/120.63 o 24
120.59/120.63 c p 121s| 31 | 32 |105635 |2784.3 | 30M| 18 | - |3878 | 14k|3878 | 14k| 11 | 59 | 169 | 1.172473e+01 | 2.400000e+01 | 104.70%
190.79/190.81 o 23
190.79/190.81 c l 191s| 74 | 75 |229135 |2836.0 | 30M| 22 | - |3878 | 14k|3878 | 14k| 11 | 66 | 199 | 1.172473e+01 | 2.300000e+01 | 96.17%
244.11/244.14 o 22
244.11/244.14 c l 244s| 92 | 93 |335449 |3443.3 | 30M| 22 | - |3878 | 14k|3878 | 14k| 11 | 75 | 214 | 1.214851e+01 | 2.200000e+01 | 81.09%
755.73/755.72 o 21
755.73/755.72 c g 756s| 310 | 311 | 1293k|4115.4 | 32M| 23 | - |3878 | 14k|3878 | 14k| 11 | 286 | 404 | 1.232979e+01 | 2.100000e+01 | 70.32%
814.60/814.68 o 20
814.60/814.68 c f 815s| 351 | 349 | 1405k|3951.8 | 32M| 35 | - |3878 | 14k|3878 | 14k| 11 | 325 | 443 | 1.234068e+01 | 2.000000e+01 | 62.07%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 1432
1800.03/1800.01 c Primal Bound : +2.00000000000000e+01 (9 solutions)
1800.03/1800.01 c Dual Bound : +1.26195325243258e+01
1800.03/1800.01 c Gap : 58.48 %
1800.03/1800.01 s SATISFIABLE
1800.03/1800.01 v -x4318 -x4317 -x4316 -x4315 -x4313 -x4311 -x4310 -x4309 -x4308 -x4306 -x4304 -x4303 -x4302 -x4301 -x4299 -x4297 -x4296 -x4295 -x4294
1800.03/1800.01 v -x4292 -x4290 -x4289 -x4288 -x4287 -x4285 -x4283 -x4282 -x4281 -x4280 x4278 -x4276 x4275 -x4274 x4273 -x4271 -x4270 -x4269
1800.03/1800.01 v -x4268 -x4266 -x4264 -x4263 -x4262 -x4261 -x4259 -x4257 -x4256 -x4255 -x4254 x4252 -x4250 x4249 -x4248 x4247 -x4245 -x4244
1800.03/1800.01 v -x4243 -x4242 x4240 -x4238 -x4237 -x4236 -x4235 -x4233 -x4231 -x4230 -x4229 x4228 x4226 -x4224 -x4223 -x4222 -x4221 -x4219
1800.03/1800.01 v -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 x4205 -x4203 -x4202 -x4201 -x4200 -x4198 -x4196 -x4195 -x4194
1800.03/1800.01 v -x4193 x4191 -x4189 -x4188 -x4187 -x4186 -x4184 -x4182 -x4181 -x4180 -x4179 -x4177 -x4175 -x4174 -x4173 -x4172 -x4170 -x4168
1800.03/1800.01 v -x4167 -x4166 -x4165 -x4163 -x4161 -x4160 -x4159 x4158 x4156 x4154 -x4153 -x4152 x4151 x4149 -x4147 -x4146 -x4145 -x4144 x4142
1800.03/1800.01 v -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4130 -x4128 -x4127 -x4126 -x4125 x4123 -x4121 -x4120 -x4119 -x4118
1800.03/1800.01 v x4116 -x4114 -x4113 -x4112 x4111 x4109 -x4107 -x4106 -x4105 -x4104 -x4102 -x4100 -x4099 -x4098 -x4097 -x4095 -x4093 -x4092
1800.03/1800.01 v -x4091 x4090 x4088 -x4086 -x4085 -x4084 -x4083 -x4081 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069
1800.03/1800.01 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050
1800.03/1800.01 v -x4049 -x4048 -x4047 -x4046 -x4045 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4031 -x4030
1800.03/1800.01 v -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011
1800.03/1800.01 v -x4010 -x4009 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3995 -x3994 -x3993 -x3992 -x3991
1800.03/1800.01 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3971
1800.03/1800.01 v -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
1800.03/1800.01 v x3951 -x3950 x3949 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 -x3933 -x3932
1800.03/1800.01 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913
1800.03/1800.01 v -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893
1800.03/1800.01 v -x3892 -x3891 -x3890 -x3889 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3875 -x3874
1800.03/1800.01 v -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856 -x3855
1800.03/1800.01 v -x3854 x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3838 -x3837 -x3836 -x3835
1800.03/1800.01 v -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1800.03/1800.01 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3800 -x3799 -x3798 -x3797
1800.03/1800.01 v -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779
1800.03/1800.01 v -x3778 -x3777 -x3776 -x3775 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760
1800.03/1800.01 v -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
1800.03/1800.01 v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723
1800.03/1800.01 v -x3722 x3721 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704
1800.03/1800.01 v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686
1800.03/1800.01 v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668
1800.03/1800.01 v -x3667 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649
1800.03/1800.01 v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 x3640 x3638 x3636 x3634 x3632 -x3630 -x3628 x3626 x3624 -x3622 -x3620
1800.03/1800.01 v x3618 x3616 x3614 x3612 -x3610 -x3608 -x3606 -x3605 -x3604 -x3603 -x3601 -x3600 -x3599 -x3598 -x3596 -x3595 -x3594 -x3593
1800.03/1800.01 v -x3591 -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 x3581 -x3580 -x3579 x3578 -x3576 -x3575 -x3574 -x3573 x3571 -x3570 -x3569
1800.03/1800.01 v x3568 -x3566 -x3565 -x3564 -x3563 -x3561 -x3560 -x3559 -x3558 x3556 -x3555 -x3554 x3553 -x3551 -x3550 -x3549 -x3548 -x3546
1800.03/1800.01 v -x3545 -x3544 -x3543 -x3541 -x3540 -x3539 -x3538 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526
1800.03/1800.01 v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 x3514 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506
1800.03/1800.01 v -x3505 -x3504 -x3503 -x3502 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3488 -x3487 -x3486
1800.03/1800.01 v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 x3478 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467
1800.03/1800.01 v -x3466 -x3464 x3462 x3460 x3458 -x3456 x3454 -x3452 -x3450 -x3448 x3446 x3444 x3442 -x3440 -x3438 x3436 x3434 x3432 -x3430
1800.03/1800.01 v -x3428 -x3426 -x3425 -x3424 -x3423 -x3421 -x3420 -x3419 -x3418 -x3416 -x3415 -x3414 -x3413 -x3411 -x3410 -x3409 -x3408 -x3406
1800.03/1800.01 v -x3405 -x3404 -x3403 -x3401 -x3400 -x3399 -x3398 -x3396 x3395 -x3394 x3393 -x3391 -x3390 -x3389 -x3388 -x3386 -x3385 -x3384
1800.03/1800.01 v x3383 -x3381 -x3380 -x3379 -x3378 -x3376 -x3375 -x3374 -x3373 -x3371 -x3370 -x3369 -x3368 -x3366 -x3365 -x3364 x3363 -x3361
1800.03/1800.01 v -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 x3353 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341
1800.03/1800.01 v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321
1800.03/1800.01 v -x3320 -x3319 -x3318 x3317 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3303 -x3302 -x3301
1800.03/1800.01 v -x3300 -x3299 -x3298 -x3297 -x3296 x3295 -x3294 x3293 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
1800.03/1800.01 v x3281 -x3279 x3277 x3275 x3273 x3271 x3269 -x3267 -x3265 x3263 x3261 x3259 x3257 x3255 x3253 -x3251 x3249 x3247 x3245 -x3243
1800.03/1800.01 v -x3241 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 -x3231 -x3229 -x3228 -x3227 -x3226 -x3224 -x3223 -x3222 -x3221 -x3219
1800.03/1800.01 v x3218 -x3217 x3216 -x3214 x3213 -x3212 x3211 -x3209 x3208 -x3207 x3206 -x3204 -x3203 -x3202 -x3201 -x3199 -x3198 -x3197 -x3196
1800.03/1800.01 v -x3194 -x3193 -x3192 -x3191 -x3189 -x3188 -x3187 -x3186 -x3184 -x3183 -x3182 -x3181 x3179 -x3178 -x3177 x3176 -x3174 -x3173
1800.03/1800.01 v -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3152
1800.03/1800.01 v -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 x3142 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133
1800.03/1800.01 v -x3132 -x3131 -x3130 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 x3118 -x3116 -x3115 -x3114 -x3113
1800.03/1800.01 v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094
1800.03/1800.01 v -x3092 -x3091 -x3090 -x3089 -x3087 -x3086 -x3085 -x3084 -x3082 -x3081 -x3080 -x3079 -x3077 -x3076 -x3075 -x3074 -x3072
1800.03/1800.01 v -x3071 -x3070 -x3069 -x3067 -x3066 -x3065 -x3064 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 -x3054 -x3052 -x3051 -x3050
1800.03/1800.01 v -x3049 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041 -x3040 -x3039 -x3037 -x3036 -x3035 -x3034 -x3032 -x3031 -x3030 -x3029 -x3027
1800.03/1800.01 v -x3026 -x3025 -x3024 -x3022 -x3021 -x3020 -x3019 -x3017 -x3016 -x3015 -x3014 -x3012 -x3011 -x3010 -x3009 -x3007 -x3006 -x3005
1800.03/1800.01 v -x3004 -x3002 -x3001 -x3000 -x2999 -x2997 -x2996 -x2995 -x2994 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985 x2984 -x2982
1800.03/1800.01 v -x2981 -x2980 -x2979 -x2977 -x2976 -x2975 -x2974 -x2972 -x2971 -x2970 -x2969 -x2967 -x2966 -x2965 x2964 -x2962 -x2961 -x2960
1800.03/1800.01 v -x2959 -x2957 -x2956 -x2955 -x2954 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 x2944 -x2942 -x2941 -x2940 -x2939 -x2937
1800.03/1800.01 v -x2936 -x2935 -x2934 -x2932 -x2931 -x2930 -x2929 -x2927 -x2926 -x2925 -x2924 -x2922 -x2921 -x2920 -x2919 -x2917 -x2916 -x2915
1800.03/1800.01 v x2914 -x2912 -x2911 -x2910 -x2909 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 -x2899 -x2897 -x2896 x2895 x2894 -x2892
1800.03/1800.01 v -x2891 -x2890 -x2889 -x2887 -x2886 -x2885 -x2884 -x2882 -x2881 -x2880 -x2879 -x2877 -x2876 -x2875 -x2874 -x2872 -x2871 -x2870
1800.03/1800.01 v -x2869 -x2867 -x2866 -x2865 -x2864 -x2862 -x2861 -x2860 -x2859 -x2857 -x2856 -x2855 -x2854 -x2852 -x2851 -x2850 -x2849 -x2847
1800.03/1800.01 v -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2837 -x2836 -x2835 -x2834 -x2832 -x2831 -x2830 -x2829 -x2827 -x2826 -x2825
1800.03/1800.01 v -x2824 -x2822 -x2821 -x2820 -x2819 -x2817 -x2816 -x2815 -x2814 -x2812 -x2811 -x2810 -x2809 -x2807 -x2806 -x2805 -x2804 -x2802
1800.03/1800.01 v -x2801 -x2800 -x2799 -x2797 -x2796 -x2795 -x2794 -x2792 -x2791 -x2790 -x2789 -x2787 -x2786 -x2785 -x2784 -x2782 -x2781
1800.03/1800.01 v -x2780 -x2779 -x2777 -x2776 -x2775 x2774 -x2772 -x2771 -x2770 -x2769 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761 -x2760 -x2759
1800.03/1800.01 v -x2757 -x2756 -x2755 -x2754 -x2752 -x2751 -x2750 -x2749 -x2747 -x2746 -x2745 -x2744 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737
1800.03/1800.01 v -x2736 -x2735 -x2734 -x2733 -x2732 -x2730 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2716
1800.03/1800.01 v -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695
1800.03/1800.01 v -x2694 -x2693 -x2692 -x2691 -x2690 -x2688 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2674
1800.03/1800.01 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
1800.03/1800.01 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2646 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 x2634 x2632
1800.03/1800.01 v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 x2618 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611
1800.03/1800.01 v -x2610 -x2609 -x2608 -x2607 -x2606 x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2590
1800.03/1800.01 v -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2576 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569
1800.03/1800.01 v -x2568 -x2567 -x2566 -x2565 -x2564 -x2562 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2548
1800.03/1800.01 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2534 -x2532 -x2531 -x2530 -x2529 -x2528
1800.03/1800.01 v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2520 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
1800.03/1800.01 v -x2506 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2492 -x2490 -x2489 -x2488 -x2487 -x2486
1800.03/1800.01 v -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2478 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466
1800.03/1800.01 v x2464 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2450 -x2448 -x2447 x2446 -x2445 -x2444
1800.03/1800.01 v -x2443 -x2442 -x2441 -x2440 -x2439 x2438 -x2436 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424
1800.03/1800.01 v -x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 x2410 -x2408 -x2406 -x2405 -x2404 -x2403 -x2402
1800.03/1800.01 v -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2394 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382
1800.03/1800.01 v -x2380 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 -x2366 -x2364 -x2363 -x2362 -x2361 -x2360
1800.03/1800.01 v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2352 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340
1800.03/1800.01 v -x2338 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 x2326 x2324 -x2322 -x2321 -x2320 -x2319 -x2318
1800.03/1800.01 v -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2310 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298
1800.03/1800.01 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2284 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
1800.03/1800.01 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2270 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2256
1800.03/1800.01 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2242 -x2240 -x2239 -x2238 -x2237 -x2236
1800.03/1800.01 v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2228 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
1800.03/1800.01 v -x2214 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2200 -x2198 -x2197 -x2196 -x2195 -x2194
1800.03/1800.01 v -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174
1800.03/1800.01 v -x2172 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2158 -x2156 -x2155 -x2154 -x2153 -x2152
1800.03/1800.01 v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2144 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132
1800.03/1800.01 v -x2130 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 x2116 -x2114 -x2113 -x2112 -x2111 -x2110
1800.03/1800.01 v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 x2102 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
1800.03/1800.01 v x2088 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 x2074 -x2072 -x2071 -x2070 -x2069 -x2068
1800.03/1800.01 v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 x2060 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048
1800.03/1800.01 v x2046 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2032 -x2030 -x2029 -x2028 -x2027 -x2026
1800.03/1800.01 v -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006
1800.03/1800.01 v -x2004 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1990 -x1988 -x1987 -x1986 -x1985 -x1984
1800.03/1800.01 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965
1800.03/1800.01 v -x1964 x1962 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945
1800.03/1800.01 v -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926
1800.03/1800.01 v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908
1800.03/1800.01 v -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889
1800.03/1800.01 v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870
1800.03/1800.01 v -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851
1800.03/1800.01 v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
1800.03/1800.01 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815
1800.03/1800.01 v -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1798 -x1797 -x1796
1800.03/1800.01 v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778
1800.03/1800.01 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
1800.03/1800.01 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1744 -x1743 -x1742 -x1741 -x1740
1800.03/1800.01 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
1800.03/1800.01 v -x1721 -x1720 -x1719 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703
1800.03/1800.01 v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
1800.03/1800.01 v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
1800.03/1800.01 v -x1666 -x1665 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648
1800.03/1800.01 v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629
1800.03/1800.01 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611
1800.03/1800.01 v -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592
1800.03/1800.01 v -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573
1800.03/1800.01 v -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1555 -x1554
1800.03/1800.01 v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 x1540 -x1539 -x1538 -x1537 -x1536
1800.03/1800.01 v -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517
1800.03/1800.01 v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1501 -x1500 -x1499
1800.03/1800.01 v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481
1800.03/1800.01 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
1800.03/1800.01 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 x1449 -x1447 -x1446 -x1445 -x1444 -x1443
1800.03/1800.01 v -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425
1800.03/1800.01 v -x1424 -x1423 x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406
1800.03/1800.01 v -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387
1800.03/1800.01 v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369
1800.03/1800.01 v -x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350
1800.03/1800.01 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
1800.03/1800.01 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
1800.03/1800.01 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
1800.03/1800.01 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276
1800.03/1800.01 v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1258 -x1257
1800.03/1800.01 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1800.03/1800.01 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
1800.03/1800.01 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1204 -x1203 -x1202
1800.03/1800.01 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
1800.03/1800.01 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
1800.03/1800.01 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148
1800.03/1800.01 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
1800.03/1800.01 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
1800.03/1800.01 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
1800.03/1800.01 v -x1092 -x1091 -x1090 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
1800.03/1800.01 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057
1800.03/1800.01 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039
1800.03/1800.01 v -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020
1800.03/1800.01 v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002
1800.03/1800.01 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982
1800.03/1800.01 v -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960
1800.03/1800.01 v -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939
1800.03/1800.01 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918
1800.03/1800.01 v -x917 x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1800.03/1800.01 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.03/1800.01 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x856 -x855 -x854 -x853
1800.03/1800.01 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.03/1800.01 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812
1800.03/1800.01 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.03/1800.01 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1800.03/1800.01 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1800.03/1800.01 v -x747 -x746 -x745 -x744 -x743 -x742 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x740 -x738 -x739 -x737 -x735 -x736 -x734 -x732
1800.03/1800.01 v -x733 -x731 -x729 -x730 -x728 -x726 -x727 -x725 -x723 -x724 -x722 -x721 -x720 -x718 -x719 -x717 -x715 -x716 -x714 -x712 -x713
1800.03/1800.01 v -x711 -x710 -x709 -x707 -x708 -x706 -x704 -x705 -x703 -x701 -x702 -x700 -x698 -x699 -x697 -x695 -x696 -x694 -x692 -x693 -x691
1800.03/1800.01 v -x689 -x690 -x688 -x686 -x687 -x685 -x683 -x684 -x682 -x680 -x681 -x679 -x677 -x678 -x676 -x674 -x675 -x673 -x671 -x672
1800.03/1800.01 v -x670 -x668 -x669 -x667 -x665 -x666 -x664 -x663 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651 -x652 -x650
1800.03/1800.01 v -x648 -x649 -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x637 -x636 -x634 -x633 -x632 -x631 -x629 -x628 -x627
1800.03/1800.01 v -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x615 -x614 -x613 -x612 -x611 -x610 -x608 -x607 -x606 -x605 -x603 -x602
1800.03/1800.01 v -x601 -x600 -x598 -x597 -x595 x594 x593 -x592 -x591 -x590 -x589 -x521 -x520 -x519 -x518 -x517 -x516 -x580 -x578 -x579 -x577
1800.03/1800.01 v -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 -x565 -x563 -x564 -x561 -x562 -x559 -x560 -x557 -x558 -x555
1800.03/1800.01 v -x556 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 x539 -x538 -x536 -x535 -x534
1800.03/1800.01 v -x533 -x532 -x531 -x529 -x528 -x526 -x525 -x523 -x522 -x446 -x445 -x444 -x443 -x442 -x441 -x514 -x512 -x513 -x511 -x509 -x510
1800.03/1800.01 v -x508 -x506 -x507 -x505 -x503 -x504 -x502 -x500 -x501 -x498 -x499 -x497 -x495 -x496 -x494 -x492 -x493 x491 -x489 -x490 -x488
1800.03/1800.01 v -x486 -x487 -x485 -x484 -x483 -x481 -x480 -x478 -x477 -x475 -x474 -x473 -x472 -x470 -x469 -x468 -x467 -x466 -x465 -x463 -x462
1800.03/1800.01 v -x460 -x459 -x457 -x456 -x454 x453 x452 -x451 -x450 -x449 -x447 -x368 -x367 -x366 -x365 -x364 -x363 -x439 -x437 -x438 -x436
1800.03/1800.01 v -x434 -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x425 -x426 -x424 -x422 -x423 -x421 -x419 -x420 -x418 -x416 -x417 -x415
1800.03/1800.01 v -x413 -x414 -x412 -x410 -x411 -x409 -x407 -x406 -x404 -x403 -x401 -x400 -x398 x397 x395 -x394 -x392 -x391 -x390 -x389 -x387
1800.03/1800.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
1800.03/1800.01 v -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342 -x340
1800.03/1800.01 v -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 x324 -x322 -x320 -x321 -x319
1800.03/1800.01 v -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300 -x298
1800.03/1800.01 v -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279 -x277
1800.03/1800.01 v -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 -x258 -x256
1800.03/1800.01 v -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 -x236 -x237 -x235
1800.03/1800.01 v -x233 -x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 -x215 -x216
1800.03/1800.01 v -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 -x194 -x195
1800.03/1800.01 v -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 -x175 -x173 -x174
1800.03/1800.01 v -x172 -x170 -x171 x169 -x167 -x168 -x166 -x164 -x165 -x163 -x162 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154 -x152
1800.03/1800.01 v -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133 -x131
1800.03/1800.01 v -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 x118 -x116 -x114 -x115 -x113 -x111 -x112 -x110
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.01 v -x13 -x12 -x10 -x4314 -x4312 -x4307 -x4305 -x4300 -x4298 -x4293 -x4291 -x4286 -x4284 -x4279 -x4277 -x4272 -x4267 -x4265 -x4260
1800.03/1800.01 v -x4258 -x4253 -x4251 -x4246 -x4241 -x4239 -x4234 -x4232 -x4227 -x4225 -x4220 -x4218 -x4213 -x4211 -x4206 -x4204 -x4199 -x4197
1800.03/1800.01 v -x4192 -x4190 -x4185 -x4183 -x4178 -x4176 -x4171 -x4169 -x4164 -x4162 -x4157 -x4155 -x4150 -x4148 -x4143 -x4141 -x4136 -x4131
1800.03/1800.01 v -x4129 -x4124 -x4122 -x4117 -x4115 -x4110 -x4108 -x4103 -x4101 -x4096 -x4094 -x4089 -x4087 -x4082 -x4080 -x4068 -x4056 -x635
1800.03/1800.01 v -x4044 -x4032 -x630 -x4020 -x4008 -x625 -x3996 -x3984 -x3972 -x3960 -x616 -x3948 -x3936 -x3924 -x609 -x3912 -x3900 -x604
1800.03/1800.01 v -x3888 -x3876 -x599 -x3864 -x596 x3852 -x3840 -x3828 -x3801 -x3774 -x3747 -x3720 -x3693 -x3666 -x3639 -x3637 -x3635 -x3633 -x3631
1800.03/1800.01 v -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3602 -x3597 -x3592 -x3587 -x3582
1800.03/1800.01 v -x3577 -x3572 x3567 -x3562 -x537 -x3557 -x3552 -x3547 -x530 -x3542 -x527 -x3537 -x524 -x3525 -x3513 -x3501 -x3489 -x3477 -x3465
1800.03/1800.01 v -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 x3433 -x3431 -x3429
1800.03/1800.01 v -x3427 -x3422 -x3417 -x482 -x3412 -x479 -x3407 -x476 -x3402 -x3397 -x471 -x3392 -x3387 -x3382 -x464 -x3377 -x461 -x3372 -x458
1800.03/1800.01 v -x3367 x455 x3362 -x3357 -x3352 -x448 -x3340 -x3328 -x3316 -x3304 -x3292 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268
1800.03/1800.01 v -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3235 -x408 -x3230 -x405
1800.03/1800.01 v -x3225 -x402 -x3220 -x399 x3215 x396 -x3210 -x393 -x3205 -x3200 -x388 -x3195 -x3190 -x383 -x3185 -x3180 x378 -x3175 x375 -x3170
1800.03/1800.01 v -x3165 -x370 -x3153 -x3141 -x3129 -x3117 -x3105 -x3093 -x3088 -x3083 -x3078 -x3073 -x3068 -x3063 -x3058 -x3053 -x3048 -x3043
1800.03/1800.01 v -x3038 -x3033 -x3028 -x3023 -x3018 -x3013 -x3008 -x3003 -x2998 -x2993 -x2988 -x2983 -x2978 -x2973 -x2968 x2963 -x2958 -x2953
1800.03/1800.01 v -x2948 -x2943 -x2938 -x2933 -x2928 -x2923 -x2918 -x2913 -x2908 -x2903 -x2898 -x2893 -x2888 -x2883 -x2878 -x2873 -x2868 -x2863
1800.03/1800.01 v -x2858 -x2853 -x2848 -x2843 -x2838 -x2833 -x2828 -x2823 -x2818 -x2813 -x2808 -x2803 -x2798 -x2793 -x2788 -x2783 -x2778 -x2773
1800.03/1800.01 v -x2768 -x2763 -x2758 -x2753 -x2748 -x2743 -x2731 -x2729 -x2717 -x2715 -x2703 -x2701 -x2689 -x2687 -x2675 -x2673 -x2661 -x2659
1800.03/1800.01 v -x2647 -x2645 -x2633 -x2631 -x2619 -x2617 -x2605 -x2603 -x2591 -x2589 -x2577 -x2575 -x2563 -x2561 -x2549 -x2547 -x2535
1800.03/1800.01 v -x2533 -x2521 -x2519 -x2507 -x2505 -x2493 -x2491 -x2479 -x2477 -x2465 -x2463 -x2451 -x2449 -x2437 -x2435 -x2423 -x2421 -x2409
1800.03/1800.01 v -x2407 -x2395 -x2393 -x2381 -x2379 -x2367 -x2365 -x2353 -x2351 -x2339 -x2337 x2325 -x2323 -x2311 -x2309 -x2297 -x2285 -x2283
1800.03/1800.01 v -x2271 -x2269 -x2257 -x2255 -x2243 -x2241 -x2229 -x2227 -x2215 -x2213 -x2201 -x2199 -x2187 -x2185 -x2173 -x2171 -x2159 -x2157
1800.03/1800.01 v -x2145 -x2143 -x2131 -x2129 -x2117 -x2115 -x2103 -x2101 -x2089 x2087 -x2075 -x2073 -x2061 -x2059 -x2047 -x2045 -x2033 -x2031
1800.03/1800.01 v -x2019 -x2017 -x2005 -x2003 -x1991 -x1989 -x1977 -x1975 -x1963 -x1961 -x1934 -x88 -x1907 -x85 -x1880 -x82 -x1853 -x1826 -x77
1800.03/1800.01 v -x1799 -x74 -x1772 -x71 -x1745 -x68 -x1718 -x65 x1691 x62 -x1664 -x59 -x1637 -x1610 -x54 -x1583 -x51 -x1556 -x48 -x1529 -x45
1800.03/1800.01 v -x1502 -x1475 -x40 -x1448 -x37 -x1421 -x34 -x1394 -x1367 -x29 -x1340 -x26 -x1313 -x23 -x1286 -x20 -x1259 -x17 -x1232 x14 -x1205
1800.03/1800.01 v -x11 -x1147 -x1089 -x1031 -x973 -x915 -x857 -x799 -x741 x581 x515 x440 x362 x1
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Total Time : 1800.01
1800.03/1800.01 c solving : 1800.01
1800.03/1800.01 c presolving : 0.25 (included in solving)
1800.03/1800.01 c reading : 0.10 (included in solving)
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-3452471-1307101285.opb
1800.03/1800.01 c Variables : 4318 (4318 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 15120 initial, 15120 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-3452471-1307101285.opb
1800.03/1800.01 c Variables : 3878 (3878 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 14238 initial, 14375 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 6 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.08 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.09 5 429 0 5 0 882 0 6 7
1800.03/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 1329 0 15 0 0 69 0 0 2624
1800.03/1800.01 c knapsack : 1 2 32303 0 1 12 0 0 0 0 0 0
1800.03/1800.01 c setppc : 10839 2 32303 0 1 11 36012 16 41954 0 0 0
1800.03/1800.01 c logicor : 3398+ 2 20355 0 1 10 3483 53 860 31 0 0
1800.03/1800.01 c countsols : 0 0 0 0 1 11 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.01 c integral : 386.69 0.00 0.00 386.68 0.00 0.00 0.00
1800.03/1800.01 c knapsack : 0.03 0.00 0.02 0.00 0.00 0.00 0.00
1800.03/1800.01 c setppc : 4.74 0.00 4.72 0.00 0.00 0.00 0.01
1800.03/1800.01 c logicor : 0.47 0.00 0.46 0.00 0.00 0.00 0.01
1800.03/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.01 c vbounds : 0 0 0 0
1800.03/1800.01 c rootredcost : 6 0 0 0
1800.03/1800.01 c pseudoobj : 32131 0 0 0
1800.03/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.01 c vbounds : 0.01 0.01 0.00
1800.03/1800.01 c rootredcost : 0.01 0.01 0.00
1800.03/1800.01 c pseudoobj : 0.32 0.32 0.00
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.25 69 69 1732 392.9 8 69.9 -
1800.03/1800.01 c infeasible LP : 0.02 10 10 135 223.6 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 564 154.6 - - -
1800.03/1800.01 c applied locally : - - - 0 0.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.01 c redcost : 0.10 1505 0 4280 0 0
1800.03/1800.01 c impliedbounds : 0.00 2 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 2.79 2 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.01 c strongcg : 2.79 2 0 0 0 0
1800.03/1800.01 c cmir : 0.13 2 0 0 0 0
1800.03/1800.01 c flowcover : 0.14 2 0 0 0 0
1800.03/1800.01 c clique : 0.04 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.03 1 0 0 0 0
1800.03/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 386.68 1329 0 69 0 0 2624
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c oneopt : 0.01 6 0
1800.03/1800.01 c feaspump : 6.50 1 0
1800.03/1800.01 c veclendiving : 54.70 10 0
1800.03/1800.01 c linesearchdiving : 68.73 37 2
1800.03/1800.01 c guideddiving : 117.26 37 1
1800.03/1800.01 c fracdiving : 88.28 39 1
1800.03/1800.01 c trivial : 0.01 2 0
1800.03/1800.01 c shiftandpropagate: 0.08 1 0
1800.03/1800.01 c simplerounding : 0.00 0 0
1800.03/1800.01 c zirounding : 0.69 1000 0
1800.03/1800.01 c rounding : 0.25 464 0
1800.03/1800.01 c shifting : 0.34 122 0
1800.03/1800.01 c intshifting : 0.00 0 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c clique : 0.00 0 0
1800.03/1800.01 c coefdiving : 190.07 21 1
1800.03/1800.01 c pscostdiving : 154.72 33 1
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 60.77 3 0
1800.03/1800.01 c rootsoldiving : 38.97 7 2
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.25 1 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c crossover : 0.19 2 1
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c vbounds : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c subnlp : 0.00 0 0
1800.03/1800.01 c trysol : 0.00 0 0
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 620.95 1450 1416897 977.17 2281.84
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 758.10 10762 1702123 158.16 2245.24
1800.03/1800.01 c strong branching : 386.41 1083 831190 767.49 2151.04
1800.03/1800.01 c (at root node) : - 17 17000 1000.00 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 1432
1800.03/1800.01 c nodes (total) : 1432
1800.03/1800.01 c nodes left : 1194
1800.03/1800.01 c max depth : 59
1800.03/1800.01 c max depth (total): 59
1800.03/1800.01 c backtracks : 233 (16.3%)
1800.03/1800.01 c delayed cutoffs : 0
1800.03/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.01 c avg switch length: 3.67
1800.03/1800.01 c switching time : 0.49
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 9 (6 improvements)
1800.03/1800.01 c First Solution : +2.50000000000000e+01 (in run 1, after 19 nodes, 113.59 seconds, depth 138, found by <coefdiving>)
1800.03/1800.01 c Primal Bound : +2.00000000000000e+01 (in run 1, after 351 nodes, 814.68 seconds, depth 43, found by <fracdiving>)
1800.03/1800.01 c Dual Bound : +1.26195325243258e+01
1800.03/1800.01 c Gap : 58.48 %
1800.03/1800.01 c Root Dual Bound : +1.17247334392015e+01
1800.03/1800.01 c Root Iterations : 22105
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-3452471-1307101285/watcher-3452471-1307101285 -o /tmp/evaluation-result-3452471-1307101285/solver-3452471-1307101285 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452471-1307101285.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.06 2.07 2.01 2/527 6962 /proc/meminfo: memFree=24406668/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=11528 CPUtime=0 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 1883 0 0 0 0 0 0 0 25 0 1 0 900359200 11804672 1836 33554432000 4194304 9128323 140734024786752 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/6962/statm: 2882 1836 400 1205 0 1673 0 [startup+0.0682559 s] /proc/loadavg: 2.06 2.07 2.01 2/527 6962 /proc/meminfo: memFree=24406668/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=16532 CPUtime=0.06 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 3118 0 0 0 6 0 0 0 25 0 1 0 900359200 16928768 3070 33554432000 4194304 9128323 140734024786752 18446744073709551615 7998243 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/6962/statm: 4133 3070 400 1205 0 2924 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16532 [startup+0.100282 s] /proc/loadavg: 2.06 2.07 2.01 2/527 6962 /proc/meminfo: memFree=24406668/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=19796 CPUtime=0.09 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 3962 0 0 0 9 0 0 0 25 0 1 0 900359200 20271104 3912 33554432000 4194304 9128323 140734024786752 18446744073709551615 6885248 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 4949 3912 403 1205 0 3740 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19796 [startup+0.301207 s] /proc/loadavg: 2.06 2.07 2.01 2/527 6962 /proc/meminfo: memFree=24406668/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=50212 CPUtime=0.29 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 12381 0 0 0 28 1 0 0 25 0 1 0 900359200 51417088 11296 33554432000 4194304 9128323 140734024786752 18446744073709551615 5488288 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 12553 11296 562 1205 0 11344 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50212 [startup+0.70113 s] /proc/loadavg: 2.06 2.07 2.01 2/527 6962 /proc/meminfo: memFree=24406668/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=80216 CPUtime=0.69 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 19897 0 0 0 67 2 0 0 18 0 1 0 900359200 82141184 18395 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 20054 18395 680 1205 0 18845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 80216 [startup+1.501 s] /proc/loadavg: 2.06 2.07 2.01 3/528 6963 /proc/meminfo: memFree=24333004/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=80892 CPUtime=1.49 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 20439 0 0 0 146 3 0 0 19 0 1 0 900359200 82833408 18919 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 20223 18919 682 1205 0 19014 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 80892 [startup+3.10072 s] /proc/loadavg: 2.06 2.07 2.01 3/528 6963 /proc/meminfo: memFree=24331144/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=78280 CPUtime=3.09 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 21326 0 0 0 306 3 0 0 23 0 1 0 900359200 80158720 18392 33554432000 4194304 9128323 140734024786752 18446744073709551615 7279223 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 19570 18392 738 1205 0 18361 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 78280 [startup+6.30116 s] /proc/loadavg: 2.06 2.07 2.01 3/528 6963 /proc/meminfo: memFree=24330852/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=79604 CPUtime=6.29 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 21850 0 0 0 625 4 0 0 25 0 1 0 900359200 81514496 18879 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 19901 18879 717 1205 0 18692 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 79604 [startup+12.701 s] /proc/loadavg: 2.05 2.07 2.01 3/528 6963 /proc/meminfo: memFree=24332644/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=81352 CPUtime=12.7 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 23501 0 0 0 1263 7 0 0 25 0 1 0 900359200 83304448 19349 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 20338 19349 767 1205 0 19129 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 81352 [startup+25.5008 s] /proc/loadavg: 2.04 2.06 2.00 3/528 6963 /proc/meminfo: memFree=24328544/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=80972 CPUtime=25.5 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 57015 0 0 0 2535 15 0 0 25 0 1 0 900359200 82915328 19134 33554432000 4194304 9128323 140734024786752 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 20243 19134 816 1205 0 19034 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 80972 [startup+51.1003 s] /proc/loadavg: 2.03 2.06 2.00 3/528 6964 /proc/meminfo: memFree=24329120/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=81368 CPUtime=51.09 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 85785 0 0 0 5082 27 0 0 25 0 1 0 900359200 83320832 19245 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 20342 19245 886 1205 0 19133 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 81368 [startup+102.32 s] /proc/loadavg: 2.01 2.05 2.00 3/528 6965 /proc/meminfo: memFree=24326672/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=82216 CPUtime=102.31 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 159895 0 0 0 10177 54 0 0 25 0 1 0 900359200 84189184 19423 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 20554 19423 786 1205 0 19345 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 82216 [startup+162.301 s] /proc/loadavg: 2.00 2.04 2.00 3/528 6967 /proc/meminfo: memFree=24308400/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=84176 CPUtime=162.3 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 161815 0 0 0 16153 77 0 0 25 0 1 0 900359200 86196224 20092 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 21044 20092 785 1205 0 19835 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 84176 [startup+222.3 s] /proc/loadavg: 2.00 2.03 2.00 3/528 6969 /proc/meminfo: memFree=24310724/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=83476 CPUtime=222.29 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 163116 0 0 0 22131 98 0 0 25 0 1 0 900359200 85479424 19820 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 20869 19820 788 1205 0 19660 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 83476 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/528 6970 /proc/meminfo: memFree=24308800/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=85364 CPUtime=282.3 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 172641 0 0 0 28108 122 0 0 25 0 1 0 900359200 87412736 20392 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 21341 20392 788 1205 0 20132 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 85364 [startup+342.3 s] /proc/loadavg: 2.07 2.03 2.00 3/528 6972 /proc/meminfo: memFree=24309764/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=85816 CPUtime=342.3 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 176478 0 0 0 34086 144 0 0 25 0 1 0 900359200 87875584 20307 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 21454 20307 788 1205 0 20245 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 85816 [startup+402.301 s] /proc/loadavg: 2.08 2.04 2.00 3/528 6973 /proc/meminfo: memFree=24306120/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=86304 CPUtime=402.3 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 191410 0 0 0 40061 169 0 0 25 0 1 0 900359200 88375296 20451 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 21576 20451 788 1205 0 20367 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 86304 [startup+462.3 s] /proc/loadavg: 2.16 2.06 2.01 3/528 6975 /proc/meminfo: memFree=24304836/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=87212 CPUtime=462.3 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 192638 0 0 0 46040 190 0 0 25 0 1 0 900359200 89305088 20737 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 21803 20737 788 1205 0 20594 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 87212 [startup+522.301 s] /proc/loadavg: 2.18 2.08 2.01 3/528 6977 /proc/meminfo: memFree=24303328/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=88812 CPUtime=522.3 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 199541 0 0 0 52017 213 0 0 25 0 1 0 900359200 90943488 21090 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 22203 21090 788 1205 0 20994 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 88812 [startup+582.3 s] /proc/loadavg: 2.07 2.06 2.01 3/528 6978 /proc/meminfo: memFree=24302296/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=89284 CPUtime=582.3 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 205784 0 0 0 57993 237 0 0 25 0 1 0 900359200 91426816 21306 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 22321 21306 788 1205 0 21112 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 89284 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.02 2.00 3/528 6985 /proc/meminfo: memFree=24290076/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=91064 CPUtime=822.31 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 219014 0 0 0 81898 333 0 0 25 0 1 0 900359200 93249536 21843 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 22766 21843 788 1205 0 21557 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 91064 [startup+882.301 s] /proc/loadavg: 2.00 2.02 2.00 3/528 6986 /proc/meminfo: memFree=24279244/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=91672 CPUtime=882.31 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 219150 0 0 0 87874 357 0 0 25 0 1 0 900359200 93872128 21977 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 22918 21977 787 1205 0 21709 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 91672 [startup+942.3 s] /proc/loadavg: 1.99 2.02 2.00 3/528 7744 /proc/meminfo: memFree=24889968/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=91996 CPUtime=942.31 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 228424 0 0 0 93851 380 0 0 25 0 1 0 900359200 94203904 21954 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 22999 21954 787 1205 0 21790 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 91996 [startup+1002.3 s] /proc/loadavg: 1.98 2.01 2.00 3/528 8987 /proc/meminfo: memFree=24896576/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=92032 CPUtime=1002.32 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 229572 0 0 0 99826 406 0 0 25 0 1 0 900359200 94240768 22066 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 23008 22066 787 1205 0 21799 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 92032 [startup+1062.3 s] /proc/loadavg: 2.08 2.04 2.00 3/528 9475 /proc/meminfo: memFree=24899188/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=93164 CPUtime=1062.32 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 233104 0 0 0 105802 430 0 0 25 0 1 0 900359200 95399936 22194 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 23291 22194 787 1205 0 22082 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 93164 [startup+1122.3 s] /proc/loadavg: 2.06 2.04 2.00 3/528 9666 /proc/meminfo: memFree=24886860/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=92552 CPUtime=1122.31 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 234002 0 0 0 111783 448 0 0 25 0 1 0 900359200 94773248 22009 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 23138 22009 787 1205 0 21929 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 92552 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/528 9676 /proc/meminfo: memFree=24875064/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=94212 CPUtime=1182.32 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 242279 0 0 0 117761 471 0 0 25 0 1 0 900359200 96473088 22612 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 23553 22612 787 1205 0 22344 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 94212 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/528 9678 /proc/meminfo: memFree=24864736/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=94496 CPUtime=1242.32 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 249343 0 0 0 123740 492 0 0 25 0 1 0 900359200 96763904 22683 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 23624 22683 787 1205 0 22415 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 94496 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/528 9679 /proc/meminfo: memFree=24854264/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=95216 CPUtime=1302.33 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 249525 0 0 0 129718 515 0 0 25 0 1 0 900359200 97501184 22865 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 23804 22865 787 1205 0 22595 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 95216 [startup+1362.3 s] /proc/loadavg: 2.05 2.03 2.00 3/528 9708 /proc/meminfo: memFree=24864552/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=95352 CPUtime=1362.32 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 249585 0 0 0 135696 536 0 0 25 0 1 0 900359200 97640448 22925 33554432000 4194304 9128323 140734024786752 18446744073709551615 7315568 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 23838 22925 787 1205 0 22629 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 95352 [startup+1422.32 s] /proc/loadavg: 2.08 2.05 2.01 3/528 9764 /proc/meminfo: memFree=24867748/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=96408 CPUtime=1422.34 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 249821 0 0 0 141678 556 0 0 25 0 1 0 900359200 98721792 23161 33554432000 4194304 9128323 140734024786752 18446744073709551615 7191234 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 24102 23161 787 1205 0 22893 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 96408 [startup+1482.3 s] /proc/loadavg: 2.12 2.07 2.01 3/528 9765 /proc/meminfo: memFree=24866020/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=97288 CPUtime=1482.33 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 250042 0 0 0 147655 578 0 0 25 0 1 0 900359200 99622912 23382 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 24322 23382 787 1205 0 23113 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 97288 [startup+1542.3 s] /proc/loadavg: 2.13 2.08 2.02 3/528 9767 /proc/meminfo: memFree=24867556/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=96084 CPUtime=1542.33 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 250896 0 0 0 153634 599 0 0 25 0 1 0 900359200 98390016 23053 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 24021 23053 787 1205 0 22812 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 96084 [startup+1602.3 s] /proc/loadavg: 2.05 2.06 2.01 3/528 9768 /proc/meminfo: memFree=24865896/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=97416 CPUtime=1602.33 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 251258 0 0 0 159613 620 0 0 25 0 1 0 900359200 99753984 23415 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 24354 23415 787 1205 0 23145 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 97416 [startup+1662.3 s] /proc/loadavg: 2.02 2.05 2.01 3/528 9770 /proc/meminfo: memFree=24863992/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=97152 CPUtime=1662.33 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 253751 0 0 0 165592 641 0 0 25 0 1 0 900359200 99483648 23353 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 24288 23353 803 1205 0 23079 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 97152 [startup+1722.3 s] /proc/loadavg: 2.16 2.07 2.01 3/528 9772 /proc/meminfo: memFree=24861476/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=97152 CPUtime=1722.33 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 253780 0 0 0 171572 661 0 0 25 0 1 0 900359200 99483648 23366 33554432000 4194304 9128323 140734024786752 18446744073709551615 7192414 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 24288 23366 787 1205 0 23079 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 97152 [startup+1782.3 s] /proc/loadavg: 2.13 2.07 2.01 3/528 9773 /proc/meminfo: memFree=24856336/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=98824 CPUtime=1782.34 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 255320 0 0 0 177549 685 0 0 25 0 1 0 900359200 101195776 23770 33554432000 4194304 9128323 140734024786752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 24706 23770 787 1205 0 23497 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 98824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.09 2.07 2.01 3/528 9774 /proc/meminfo: memFree=24857176/32951124 swapFree=56241860/67111528 [pid=6962] ppid=6960 vsize=97156 CPUtime=1800.04 cores=0,2,4,6 /proc/6962/stat : 6962 (scip-2.0.1.4.li) R 6960 6962 5807 0 -1 4202496 255974 0 0 0 179312 692 0 0 25 0 1 0 900359200 99487744 23304 33554432000 4194304 9128323 140734024786752 18446744073709551615 5490228 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/6962/statm: 24289 23304 787 1205 0 23080 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 97156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.07 CPU user time (s): 1793.13 CPU system time (s): 6.93394 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 124208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.13 system time used= 6.93394 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255977 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= 9 involuntary context switches= 2320 runsolver used 9.98848 second user time and 21.1348 second system time The end
Begin job on node119 at 2011-06-03 13:41:25 IDJOB=3452471 IDBENCH=25017 IDSOLVER=1949 FILE ID=node119/3452471-1307101285 RUNJOBID= node119-1307093144-5825 PBS_JOBID= 13497988 Free space on /tmp= 73612 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. 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.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452471-1307101285/watcher-3452471-1307101285 -o /tmp/evaluation-result-3452471-1307101285/solver-3452471-1307101285 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452471-1307101285.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=1747656007 node119.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.815 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.63 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 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.74 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.815 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.83 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.815 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.67 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.815 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.83 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.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24406956 kB Buffers: 189384 kB Cached: 560276 kB SwapCached: 59076 kB Active: 1286240 kB Inactive: 6961580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24406956 kB SwapTotal: 67111528 kB SwapFree: 56241860 kB Dirty: 12652 kB Writeback: 0 kB AnonPages: 7442488 kB Mapped: 36276 kB Slab: 147440 kB PageTables: 80688 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 164507820 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73608 MiB End job on node119 at 2011-06-03 14:11:27