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