Trace number 3736036

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT23 1789.77 1790.06

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 benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark60.8677
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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

Verifier Data 

OK	23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3736036-1338706196/watcher-3736036-1338706196 -o /tmp/evaluation-result-3736036-1338706196/solver-3736036-1338706196 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3736036-1338706196.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12206
/proc/meminfo: memFree=25005232/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/12206/stat : 12206 (runsolver) D 12204 12206 7869 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 336745003 12095488 51 33554432000 4194304 5436572 140734473868352 140734473864648 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/12206/statm: 2953 51 31 304 0 2645 0

[startup+0.0342109 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12206
/proc/meminfo: memFree=25005232/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=13748 CPUtime=0.02 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 2692 0 0 0 2 0 0 0 20 0 1 0 336745003 14077952 2639 33554432000 4194304 8395647 140736027910512 140734473864536 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 3437 2639 393 1026 0 2407 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13748

[startup+0.100251 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12206
/proc/meminfo: memFree=25005232/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=19800 CPUtime=0.08 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 4220 0 0 0 8 0 0 0 20 0 1 0 336745003 20275200 4167 33554432000 4194304 8395647 140736027910512 140734473864536 4423932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 4950 4167 393 1026 0 3920 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19800

[startup+0.300234 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12206
/proc/meminfo: memFree=25005232/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=49108 CPUtime=0.28 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 11641 0 0 0 27 1 0 0 20 0 1 0 336745003 50286592 11234 33554432000 4194304 8395647 140736027910512 140734473864536 5210642 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 12277 11234 508 1026 0 11247 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49108

[startup+0.700277 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12206
/proc/meminfo: memFree=25005232/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=71192 CPUtime=0.68 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 17118 0 0 0 67 1 0 0 20 0 1 0 336745003 72900608 16405 33554432000 4194304 8395647 140736027910512 140736027905640 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 17798 16405 584 1026 0 16768 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 71192

[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12207
/proc/meminfo: memFree=24941488/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=71636 CPUtime=1.49 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 17414 0 0 0 147 2 0 0 20 0 1 0 336745003 73355264 16687 33554432000 4194304 8395647 140736027910512 140736027905640 6708124 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 17909 16687 590 1026 0 16879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71636

[startup+3.10018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12207
/proc/meminfo: memFree=24940000/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=71636 CPUtime=3.08 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 17429 0 0 0 306 2 0 0 20 0 1 0 336745003 73355264 16702 33554432000 4194304 8395647 140736027910512 140736027905032 6708485 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 17909 16702 590 1026 0 16879 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71636

[startup+6.30019 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12210
/proc/meminfo: memFree=24937880/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=73604 CPUtime=6.28 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 17895 0 0 0 626 2 0 0 20 0 1 0 336745003 75370496 17161 33554432000 4194304 8395647 140736027910512 140736027905080 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 18401 17161 590 1026 0 17371 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73604

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12210
/proc/meminfo: memFree=24937624/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=71500 CPUtime=12.68 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 18023 0 0 0 1265 3 0 0 20 0 1 0 336745003 73216000 16470 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 17875 16470 600 1026 0 16845 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71500

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 12210
/proc/meminfo: memFree=24939076/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=73144 CPUtime=25.48 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 39939 0 0 0 2534 14 0 0 20 0 1 0 336745003 74899456 16884 33554432000 4194304 8395647 140736027910512 140736027905816 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 18286 16884 636 1026 0 17256 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73144

[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 12210
/proc/meminfo: memFree=24938300/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=73216 CPUtime=51.08 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 68629 0 0 0 5084 24 0 0 20 0 1 0 336745003 74973184 17241 33554432000 4194304 8395647 140736027910512 140736027904664 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 18304 17241 636 1026 0 17274 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73216

[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12210
/proc/meminfo: memFree=24893184/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=73912 CPUtime=102.28 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 84065 0 0 0 10193 35 0 0 20 0 1 0 336745003 75685888 17274 33554432000 4194304 8395647 140736027910512 140736027905384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 18478 17274 636 1026 0 17448 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73912

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12210
/proc/meminfo: memFree=24891584/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=76052 CPUtime=162.26 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 92475 0 0 0 16177 49 0 0 20 0 1 0 336745003 77877248 17843 33554432000 4194304 8395647 140736027910512 140736027906072 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 19013 17843 638 1026 0 17983 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 76052

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12211
/proc/meminfo: memFree=24891708/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=75900 CPUtime=222.25 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 105134 0 0 0 22163 62 0 0 20 0 1 0 336745003 77721600 17823 33554432000 4194304 8395647 140736027910512 140736027905976 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 18975 17823 638 1026 0 17945 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 75900

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12211
/proc/meminfo: memFree=24884792/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=75680 CPUtime=282.24 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 108947 0 0 0 28151 73 0 0 20 0 1 0 336745003 77496320 17895 33554432000 4194304 8395647 140736027910512 140736027906184 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 18920 17895 638 1026 0 17890 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 75680

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12211
/proc/meminfo: memFree=24880884/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=78204 CPUtime=342.23 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 110602 0 0 0 34144 79 0 0 20 0 1 0 336745003 80080896 18337 33554432000 4194304 8395647 140736027910512 140736027905992 6708222 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 19551 18337 638 1026 0 18521 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 78204

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 12211
/proc/meminfo: memFree=24880340/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=78204 CPUtime=402.22 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 110602 0 0 0 40136 86 0 0 20 0 1 0 336745003 80080896 18337 33554432000 4194304 8395647 140736027910512 140736027905992 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 19551 18337 638 1026 0 18521 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 78204

[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 12211
/proc/meminfo: memFree=24877308/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=78204 CPUtime=462.22 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 110602 0 0 0 46130 92 0 0 20 0 1 0 336745003 80080896 18337 33554432000 4194304 8395647 140736027910512 140736027905992 6708238 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 19551 18337 638 1026 0 18521 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 78204

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12212
/proc/meminfo: memFree=24876212/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=78204 CPUtime=522.2 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 110602 0 0 0 52122 98 0 0 20 0 1 0 336745003 80080896 18337 33554432000 4194304 8395647 140736027910512 140736027905992 6708567 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 19551 18337 638 1026 0 18521 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 78204

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12212
/proc/meminfo: memFree=24875744/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=78204 CPUtime=582.2 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 110602 0 0 0 58115 105 0 0 20 0 1 0 336745003 80080896 18337 33554432000 4194304 8395647 140736027910512 140736027905992 6708178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 19551 18337 638 1026 0 18521 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 78204

[startup+642.3 s]

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

/proc/meminfo: memFree=24852076/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=79000 CPUtime=1062.11 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 137011 0 0 0 106038 173 0 0 20 0 1 0 336745003 80896000 19273 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 19750 19273 639 1026 0 18720 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 79000

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12240
/proc/meminfo: memFree=24852820/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=78404 CPUtime=1122.1 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 138370 0 0 0 112026 184 0 0 20 0 1 0 336745003 80285696 19125 33554432000 4194304 8395647 140736027910512 140736027906056 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 19601 19125 639 1026 0 18571 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 78404

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12240
/proc/meminfo: memFree=24849596/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=80228 CPUtime=1182.1 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 139638 0 0 0 118015 195 0 0 20 0 1 0 336745003 82153472 19418 33554432000 4194304 8395647 140736027910512 140736027905384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20057 19418 639 1026 0 19027 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 80228

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12243
/proc/meminfo: memFree=24851200/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=80228 CPUtime=1242.09 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 139812 0 0 0 124005 204 0 0 20 0 1 0 336745003 82153472 19592 33554432000 4194304 8395647 140736027910512 140736027905896 6708477 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20057 19592 639 1026 0 19027 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 80228

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12243
/proc/meminfo: memFree=24810688/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=82272 CPUtime=1302.08 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 148974 0 0 0 129992 216 0 0 20 0 1 0 336745003 84246528 19791 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20568 19791 639 1026 0 19538 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 82272

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12243
/proc/meminfo: memFree=24810804/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=82384 CPUtime=1362.07 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 165960 0 0 0 135978 229 0 0 20 0 1 0 336745003 84361216 19890 33554432000 4194304 8395647 140736027910512 140736027905640 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20596 19890 639 1026 0 19566 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 82384

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12244
/proc/meminfo: memFree=24813544/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=80876 CPUtime=1422.07 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 194375 0 0 0 141962 245 0 0 20 0 1 0 336745003 82817024 19166 33554432000 4194304 8395647 140736027910512 140736027905384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20219 19166 639 1026 0 19189 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 80876

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12244
/proc/meminfo: memFree=24810940/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=81588 CPUtime=1482.05 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 211286 0 0 0 147947 258 0 0 20 0 1 0 336745003 83546112 19778 33554432000 4194304 8395647 140736027910512 140736027905928 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20397 19778 639 1026 0 19367 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 81588

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12244
/proc/meminfo: memFree=24808764/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=81108 CPUtime=1542.04 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 221162 0 0 0 153934 270 0 0 20 0 1 0 336745003 83054592 19721 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20277 19721 639 1026 0 19247 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 81108

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12244
/proc/meminfo: memFree=24806920/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=81712 CPUtime=1602.03 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 234176 0 0 0 159919 284 0 0 20 0 1 0 336745003 83673088 19613 33554432000 4194304 8395647 140736027910512 140736027905384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20428 19613 639 1026 0 19398 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 81712

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 12282
/proc/meminfo: memFree=26040004/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=83264 CPUtime=1662.02 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 257611 0 0 0 165905 297 0 0 20 0 1 0 336745003 85262336 20226 33554432000 4194304 8395647 140736027910512 140736027905720 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 20816 20226 639 1026 0 19786 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 83264

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 12283
/proc/meminfo: memFree=26032592/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=86644 CPUtime=1722.01 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 268092 0 0 0 171891 310 0 0 20 0 1 0 336745003 88723456 20967 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 21661 20967 639 1026 0 20631 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 86644

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12283
/proc/meminfo: memFree=26031736/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=84624 CPUtime=1782.01 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 272626 0 0 0 177878 323 0 0 20 0 1 0 336745003 86654976 20272 33554432000 4194304 8395647 140736027910512 140736027905816 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 21156 20272 639 1026 0 20126 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 84624

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12283
/proc/meminfo: memFree=26033956/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=84624 CPUtime=1785.2 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 272724 0 0 0 178197 323 0 0 20 0 1 0 336745003 86654976 20370 33554432000 4194304 8395647 140736027910512 140736027905640 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 21156 20370 639 1026 0 20126 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 84624

[startup+1787.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12283
/proc/meminfo: memFree=26033956/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=84624 CPUtime=1786.8 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 272776 0 0 0 178357 323 0 0 20 0 1 0 336745003 86654976 20422 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 21156 20422 639 1026 0 20126 0
Current children cumulated CPU time (s) 1786.8
Current children cumulated vsize (KiB) 84624

[startup+1788.7 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12283
/proc/meminfo: memFree=26033832/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=84624 CPUtime=1788.41 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 272776 0 0 0 178517 324 0 0 20 0 1 0 336745003 86654976 20422 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 21156 20422 639 1026 0 20126 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 84624

[startup+1789.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12283
/proc/meminfo: memFree=26033832/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=84624 CPUtime=1789.2 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 272776 0 0 0 178596 324 0 0 20 0 1 0 336745003 86654976 20422 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 21156 20422 639 1026 0 20126 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 84624

[startup+1789.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12283
/proc/meminfo: memFree=26033832/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=84624 CPUtime=1789.6 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 272776 0 0 0 178636 324 0 0 20 0 1 0 336745003 86654976 20422 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 21156 20422 639 1026 0 20126 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 84624

[startup+1790 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12283
/proc/meminfo: memFree=26033832/32873648 swapFree=6864/6864
[pid=12206] ppid=12204 vsize=84624 CPUtime=1789.7 cores=0,2,4,6
/proc/12206/stat : 12206 (pbscip.linux.x8) R 12204 12206 7869 0 -1 4202496 272776 0 0 0 178646 324 0 0 20 0 1 0 336745003 86654976 20422 33554432000 4194304 8395647 140736027910512 140736027905752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12206/statm: 21156 20422 639 1026 0 20126 0
Current children cumulated CPU time (s) 1789.7
Current children cumulated vsize (KiB) 84624

Child status: 0
Real time (s): 1790.06
CPU time (s): 1789.77
CPU user time (s): 1786.53
CPU system time (s): 3.24751
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 108052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.53
system time used= 3.24751
maximum resident set size= 102432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272781
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= 18
involuntary context switches= 1963

runsolver used 2.5986 second user time and 7.17391 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-03 08:49:56
IDJOB=3736036
IDBENCH=25017
IDSOLVER=2326
FILE ID=node125/3736036-1338706196
RUNJOBID= node125-1338678622-7888
PBS_JOBID= 14636688
Free space on /tmp= 70416 MiB

SOLVER NAME= PB10: 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-3736036-1338706196/watcher-3736036-1338706196 -o /tmp/evaluation-result-3736036-1338706196/solver-3736036-1338706196 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3736036-1338706196.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=1833917560

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25005396 kB
Buffers:          606700 kB
Cached:          5062520 kB
SwapCached:         2308 kB
Active:          3794960 kB
Inactive:        3166240 kB
Active(anon):    1282884 kB
Inactive(anon):     9240 kB
Active(file):    2512076 kB
Inactive(file):  3157000 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:             10652 kB
Writeback:             0 kB
AnonPages:       1294172 kB
Mapped:            16768 kB
Shmem:                96 kB
Slab:             767056 kB
SReclaimable:     210888 kB
SUnreclaim:       556168 kB
KernelStack:        1448 kB
PageTables:         6236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1465224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70420 MiB
End job on node125 at 2012-06-03 09:19:46