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