Trace number 2703391

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT25 1789.65 1790.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
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 numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	25

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703391-1278564073/watcher-2703391-1278564073 -o /tmp/evaluation-result-2703391-1278564073/solver-2703391-1278564073 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703391-1278564073.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31290
/proc/meminfo: memFree=1534368/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=7904 CPUtime=0
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 1 0 24614473 8093696 974 1992294400 4194304 8395647 140735367617136 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31290/statm: 1976 984 365 1026 0 946 0

[startup+0.089664 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31290
/proc/meminfo: memFree=1534368/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=15164 CPUtime=0.07
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 3078 0 0 0 7 0 0 0 20 0 1 0 24614473 15527936 2989 1992294400 4194304 8395647 140735367617136 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31290/statm: 3791 2989 393 1026 0 2761 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15164

[startup+0.100664 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31290
/proc/meminfo: memFree=1534368/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=16128 CPUtime=0.09
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 3337 0 0 0 8 1 0 0 20 0 1 0 24614473 16515072 3248 1992294400 4194304 8395647 140735367617136 18446744073709551615 7370064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31290/statm: 4032 3248 393 1026 0 3002 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16128

[startup+0.300685 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31290
/proc/meminfo: memFree=1534368/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=36460 CPUtime=0.29
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 8742 0 0 0 26 3 0 0 20 0 1 0 24614473 37335040 8299 1992294400 4194304 8395647 140735367617136 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 9115 8299 430 1026 0 8085 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36460

[startup+0.700733 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31290
/proc/meminfo: memFree=1534368/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=49104 CPUtime=0.69
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 11676 0 0 0 65 4 0 0 20 0 1 0 24614473 50282496 11233 1992294400 4194304 8395647 140735367617136 18446744073709551615 4218292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 12276 11233 508 1026 0 11246 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49104

[startup+1.50081 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31291
/proc/meminfo: memFree=1490836/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=68040 CPUtime=1.49
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 16190 0 0 0 143 6 0 0 22 0 1 0 24614473 69672960 15484 1992294400 4194304 8395647 140735367617136 18446744073709551615 6696700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 17010 15484 597 1026 0 15980 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68040

[startup+3.10099 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31291
/proc/meminfo: memFree=1470500/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=71632 CPUtime=3.09
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 17213 0 0 0 302 7 0 0 25 0 1 0 24614473 73351168 16480 1992294400 4194304 8395647 140735367617136 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 17908 16480 597 1026 0 16878 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71632

[startup+6.30033 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31291
/proc/meminfo: memFree=1469384/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=71632 CPUtime=6.29
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 17449 0 0 0 621 8 0 0 25 0 1 0 24614473 73351168 16707 1992294400 4194304 8395647 140735367617136 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 17908 16707 608 1026 0 16878 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71632

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31291
/proc/meminfo: memFree=1468764/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73600 CPUtime=12.69
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 17919 0 0 0 1261 8 0 0 25 0 1 0 24614473 75366400 17177 1992294400 4194304 8395647 140735367617136 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18400 17177 613 1026 0 17370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73600

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31292
/proc/meminfo: memFree=1467524/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73600 CPUtime=25.48
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 17943 0 0 0 2538 10 0 0 25 0 1 0 24614473 75366400 17197 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18400 17197 620 1026 0 17370 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73600

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31293
/proc/meminfo: memFree=1433920/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=108048 CPUtime=51.08
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 27202 0 0 0 5086 22 0 0 25 0 1 0 24614473 110641152 25612 1992294400 4194304 8395647 140735367617136 18446744073709551615 6709389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 27012 25612 648 1026 0 25982 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 108048

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31294
/proc/meminfo: memFree=1468764/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73144 CPUtime=102.27
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 54402 0 0 0 10169 58 0 0 25 0 1 0 24614473 74899456 16896 1992294400 4194304 8395647 140735367617136 18446744073709551615 6697258 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18286 16896 659 1026 0 17256 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73144

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31295
/proc/meminfo: memFree=1468764/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73212 CPUtime=162.25
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 69309 0 0 0 16140 85 0 0 25 0 1 0 24614473 74969088 17121 1992294400 4194304 8395647 140735367617136 18446744073709551615 6697989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18303 17121 672 1026 0 17273 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 73212

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31297
/proc/meminfo: memFree=1467152/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73796 CPUtime=222.23
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 75253 0 0 0 22115 108 0 0 25 0 1 0 24614473 75567104 17286 1992294400 4194304 8395647 140735367617136 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18449 17286 667 1026 0 17419 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 73796

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31299
/proc/meminfo: memFree=1467276/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73368 CPUtime=282.21
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 81543 0 0 0 28090 131 0 0 25 0 1 0 24614473 75128832 17308 1992294400 4194304 8395647 140735367617136 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18342 17308 728 1026 0 17312 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 73368

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31301
/proc/meminfo: memFree=1467028/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73908 CPUtime=342.2
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 84115 0 0 0 34068 152 0 0 25 0 1 0 24614473 75681792 17316 1992294400 4194304 8395647 140735367617136 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18477 17316 676 1026 0 17447 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 73908

[startup+402.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 31302
/proc/meminfo: memFree=1467276/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73812 CPUtime=402.19
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 90061 0 0 0 40042 177 0 0 25 0 1 0 24614473 75583488 17282 1992294400 4194304 8395647 140735367617136 18446744073709551615 6667494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18453 17282 702 1026 0 17423 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 73812

[startup+462.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31303
/proc/meminfo: memFree=1465912/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=74408 CPUtime=462.17
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 92218 0 0 0 46018 199 0 0 25 0 1 0 24614473 76193792 17562 1992294400 4194304 8395647 140735367617136 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18602 17562 659 1026 0 17572 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 74408

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31305
/proc/meminfo: memFree=1464552/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=76048 CPUtime=522.15
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 92519 0 0 0 51997 218 0 0 25 0 1 0 24614473 77873152 17863 1992294400 4194304 8395647 140735367617136 18446744073709551615 6692864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19012 17863 661 1026 0 17982 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 76048

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31307
/proc/meminfo: memFree=1464552/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=76048 CPUtime=582.14
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 92519 0 0 0 57980 234 0 0 25 0 1 0 24614473 77873152 17863 1992294400 4194304 8395647 140735367617136 18446744073709551615 6636331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19012 17863 661 1026 0 17982 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 76048

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31309
/proc/meminfo: memFree=1466164/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=74156 CPUtime=642.13
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 92928 0 0 0 63959 254 0 0 25 0 1 0 24614473 75935744 17442 1992294400 4194304 8395647 140735367617136 18446744073709551615 6697446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 18539 17442 661 1026 0 17509 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 74156

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1462320/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1002.03
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110640 0 0 0 99829 374 0 0 25 0 1 0 24614473 80076800 18354 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18354 662 1026 0 18520 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 78200

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31319
/proc/meminfo: memFree=1462196/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1062.01
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 105818 383 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 78200

[startup+1122.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 31321
/proc/meminfo: memFree=1462196/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1122
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 111808 392 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 78200

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31323
/proc/meminfo: memFree=1462196/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1181.98
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 117796 402 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6696235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 78200

[startup+1242.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31334
/proc/meminfo: memFree=1461824/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1241.95
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 123783 412 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 78200

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31335
/proc/meminfo: memFree=1461824/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1301.94
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 129773 421 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 78200

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31336
/proc/meminfo: memFree=1461700/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1361.92
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 135761 431 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 78200

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31338
/proc/meminfo: memFree=1461700/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1421.92
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 141749 443 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6709595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 78200

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31340
/proc/meminfo: memFree=1461700/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1481.89
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 147736 453 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6504108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 78200

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31342
/proc/meminfo: memFree=1462072/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1541.88
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 153724 464 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 78200

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31343
/proc/meminfo: memFree=1461948/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1601.86
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 159714 472 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 78200

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31344
/proc/meminfo: memFree=1461948/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1661.85
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 165703 482 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 78200

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31346
/proc/meminfo: memFree=1461948/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1721.82
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 171691 491 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6709385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 78200

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31348
/proc/meminfo: memFree=1461948/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1781.81
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 177679 502 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 78200

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31348
/proc/meminfo: memFree=1461824/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1785.01
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 177998 503 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 78200

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31348
/proc/meminfo: memFree=1461824/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1788.21
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 178318 503 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6670318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1788.21
Current children cumulated vsize (KiB) 78200

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31348
/proc/meminfo: memFree=1461824/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1789.01
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 178398 503 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6708497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1789.01
Current children cumulated vsize (KiB) 78200

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31348
/proc/meminfo: memFree=1461824/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=78200 CPUtime=1789.41
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110646 0 0 0 178438 503 0 0 25 0 1 0 24614473 80076800 18360 1992294400 4194304 8395647 140735367617136 18446744073709551615 6634856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31290/statm: 19550 18360 662 1026 0 18520 0
Current children cumulated CPU time (s) 1789.41
Current children cumulated vsize (KiB) 78200

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31348
/proc/meminfo: memFree=1461824/2059040 swapFree=4165016/4192956
[pid=31290] ppid=31288 vsize=73636 CPUtime=1789.61
/proc/31290/stat : 31290 (pbscip.linux.x8) R 31288 31290 31021 0 -1 4202496 110648 0 0 0 178457 504 0 0 25 0 1 0 24614473 75403264 17429 1992294400 4194304 8395647 140735367617136 18446744073709551615 6345756 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31290/statm: 18409 17429 663 1026 0 17379 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 73636

Child status: 0
Real time (s): 1790.13
CPU time (s): 1789.65
CPU user time (s): 1784.6
CPU system time (s): 5.05023
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 108048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.6
system time used= 5.05023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110651
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= 3
involuntary context switches= 4216

runsolver used 2.96455 second user time and 8.44272 second system time

The end

Launcher Data 

Begin job on node047 at 2010-07-08 06:41:13
IDJOB=2703391
IDBENCH=25017
IDSOLVER=1213
FILE ID=node047/2703391-1278564073
PBS_JOBID= 11239566
Free space on /tmp= 62492 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703391-1278564073/watcher-2703391-1278564073 -o /tmp/evaluation-result-2703391-1278564073/solver-2703391-1278564073 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703391-1278564073.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=2028019423

node047.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1534896 kB
Buffers:         83468 kB
Cached:         317048 kB
SwapCached:       1388 kB
Active:         189224 kB
Inactive:       244632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1534896 kB
SwapTotal:     4192956 kB
SwapFree:      4165016 kB
Dirty:           10800 kB
Writeback:           0 kB
AnonPages:       31980 kB
Mapped:          13316 kB
Slab:            68424 kB
PageTables:       4260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180240 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62484 MiB
End job on node047 at 2010-07-08 07:11:03