Trace number 2665392

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)19 1800.52 1801.04

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

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

Verifier Data 

OK	19

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665392-1276640939/watcher-2665392-1276640939 -o /tmp/evaluation-result-2665392-1276640939/solver-2665392-1276640939 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665392-1276640939.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 11488
/proc/meminfo: memFree=1438296/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=9288 CPUtime=0
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 1069 0 0 0 0 0 0 0 20 0 1 0 5386551 9510912 989 1992294400 4194304 9819077 140737377206192 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11488/statm: 2322 999 371 1374 0 943 0

[startup+0.018286 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11488
/proc/meminfo: memFree=1438296/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=11344 CPUtime=0.01
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 1780 0 0 0 1 0 0 0 20 0 1 0 5386551 11616256 1700 1992294400 4194304 9819077 140737377206192 18446744073709551615 4207135 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11488/statm: 2836 1700 388 1374 0 1457 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11344

[startup+0.101293 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11488
/proc/meminfo: memFree=1438296/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=16416 CPUtime=0.09
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 3041 0 0 0 8 1 0 0 20 0 1 0 5386551 16809984 2961 1992294400 4194304 9819077 140737377206192 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11488/statm: 4104 2961 388 1374 0 2725 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16416

[startup+0.30131 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11488
/proc/meminfo: memFree=1438296/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=33944 CPUtime=0.29
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 7795 0 0 0 27 2 0 0 20 0 1 0 5386551 34758656 7361 1992294400 4194304 9819077 140737377206192 18446744073709551615 4384358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 8486 7362 429 1374 0 7107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33944

[startup+0.701345 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11488
/proc/meminfo: memFree=1438296/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=48188 CPUtime=0.69
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 12799 0 0 0 60 9 0 0 21 0 1 0 5386551 49344512 10722 1992294400 4194304 9819077 140737377206192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 12047 10722 508 1374 0 10668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48188

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11489
/proc/meminfo: memFree=1388192/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=73584 CPUtime=1.49
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 19693 0 0 0 136 13 0 0 23 0 1 0 5386551 75350016 15336 1992294400 4194304 9819077 140737377206192 18446744073709551615 7300334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 18396 15336 645 1374 0 17017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73584

[startup+3.10055 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11489
/proc/meminfo: memFree=1379264/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=76240 CPUtime=3.09
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 23499 0 0 0 294 15 0 0 25 0 1 0 5386551 78069760 15434 1992294400 4194304 9819077 140737377206192 18446744073709551615 4331838 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 19060 15438 659 1374 0 17681 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76240

[startup+6.30083 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11489
/proc/meminfo: memFree=1378272/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=76576 CPUtime=6.29
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 27220 0 0 0 611 18 0 0 25 0 1 0 5386551 78413824 15490 1992294400 4194304 9819077 140737377206192 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 19144 15490 672 1374 0 17765 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76576

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11489
/proc/meminfo: memFree=1342560/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=114624 CPUtime=12.69
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 58458 0 0 0 1216 53 0 0 25 0 1 0 5386551 117374976 24445 1992294400 4194304 9819077 140737377206192 18446744073709551615 6372188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 28656 24445 705 1374 0 27277 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114624

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11489
/proc/meminfo: memFree=1373064/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=90040 CPUtime=25.48
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 68787 0 0 0 2484 64 0 0 25 0 1 0 5386551 92200960 16954 1992294400 4194304 9819077 140737377206192 18446744073709551615 7301610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 22510 16954 722 1374 0 21131 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 90040

[startup+51.1018 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 11489
/proc/meminfo: memFree=1372816/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=89928 CPUtime=51.08
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 100659 0 0 0 5019 89 0 0 25 0 1 0 5386551 92086272 16819 1992294400 4194304 9819077 140737377206192 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 22482 16819 722 1374 0 21103 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89928

[startup+102.308 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 11491
/proc/meminfo: memFree=1372816/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=90624 CPUtime=102.27
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 154771 0 0 0 10099 128 0 0 25 0 1 0 5386551 92798976 16856 1992294400 4194304 9819077 140737377206192 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 22656 16856 722 1374 0 21277 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 90624

[startup+162.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 11493
/proc/meminfo: memFree=1372940/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=90424 CPUtime=162.25
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 216263 0 0 0 16052 173 0 0 25 0 1 0 5386551 92594176 16634 1992294400 4194304 9819077 140737377206192 18446744073709551615 7292327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 22606 16634 722 1374 0 21227 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 90424

[startup+222.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 11496
/proc/meminfo: memFree=1372692/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=90252 CPUtime=222.23
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 290773 0 0 0 21994 229 0 0 25 0 1 0 5386551 92418048 16809 1992294400 4194304 9819077 140737377206192 18446744073709551615 7309043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 22563 16809 722 1374 0 21184 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 90252

[startup+282.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 11498
/proc/meminfo: memFree=1374056/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=78208 CPUtime=282.21
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 366632 0 0 0 27940 281 0 0 25 0 1 0 5386551 80084992 16456 1992294400 4194304 9819077 140737377206192 18446744073709551615 7296163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 19552 16456 723 1374 0 18173 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 78208

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11500
/proc/meminfo: memFree=1374304/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=78260 CPUtime=342.19
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 445408 0 0 0 33882 337 0 0 25 0 1 0 5386551 80138240 16376 1992294400 4194304 9819077 140737377206192 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 19565 16376 723 1374 0 18186 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 78260

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11502
/proc/meminfo: memFree=1374180/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=79992 CPUtime=402.18
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 523862 0 0 0 39828 390 0 0 25 0 1 0 5386551 81911808 16478 1992294400 4194304 9819077 140737377206192 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 19998 16478 723 1374 0 18619 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 79992

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11504
/proc/meminfo: memFree=1372444/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=93040 CPUtime=462.17
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 601464 0 0 0 45770 447 0 0 25 0 1 0 5386551 95272960 16961 1992294400 4194304 9819077 140737377206192 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 23260 16961 725 1374 0 21881 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 93040

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11504
/proc/meminfo: memFree=1373932/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=80284 CPUtime=522.15
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 669917 0 0 0 51714 501 0 0 25 0 1 0 5386551 82210816 16565 1992294400 4194304 9819077 140737377206192 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 20071 16565 725 1374 0 18692 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 80284

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11506
/proc/meminfo: memFree=1374056/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=80764 CPUtime=582.13
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 761855 0 0 0 57649 564 0 0 25 0 1 0 5386551 82702336 16510 1992294400 4194304 9819077 140737377206192 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 20191 16510 725 1374 0 18812 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 80764

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11508
/proc/meminfo: memFree=1373188/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=81492 CPUtime=642.12
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 875136 0 0 0 63576 636 0 0 25 0 1 0 5386551 83447808 16737 1992294400 4194304 9819077 140737377206192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 20373 16737 725 1374 0 18994 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 81492

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11514
/proc/meminfo: memFree=1369716/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=84780 CPUtime=882.05
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 1445091 0 0 0 87243 962 0 0 25 0 1 0 5386551 86814720 17502 1992294400 4194304 9819077 140737377206192 18446744073709551615 6656800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21195 17502 725 1374 0 19816 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 84780

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11516
/proc/meminfo: memFree=1369592/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=98660 CPUtime=942.02
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 1569782 0 0 0 93167 1035 0 0 25 0 1 0 5386551 101027840 18036 1992294400 4194304 9819077 140737377206192 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 24665 18036 725 1374 0 23286 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 98660

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11518
/proc/meminfo: memFree=1369840/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=85244 CPUtime=1002.01
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 1682848 0 0 0 99098 1103 0 0 25 0 1 0 5386551 87289856 17689 1992294400 4194304 9819077 140737377206192 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21311 17689 725 1374 0 19932 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 85244

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11520
/proc/meminfo: memFree=1369344/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=82436 CPUtime=1061.98
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 1821203 0 0 0 105018 1180 0 0 25 0 1 0 5386551 84414464 17582 1992294400 4194304 9819077 140737377206192 18446744073709551615 7263152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 20609 17582 725 1374 0 19230 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 82436

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11520
/proc/meminfo: memFree=1369468/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=85628 CPUtime=1121.97
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 1957826 0 0 0 110941 1256 0 0 25 0 1 0 5386551 87683072 17652 1992294400 4194304 9819077 140737377206192 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21407 17652 725 1374 0 20028 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 85628

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11522
/proc/meminfo: memFree=1369096/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=86016 CPUtime=1181.95
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 2067641 0 0 0 116873 1322 0 0 25 0 1 0 5386551 88080384 17819 1992294400 4194304 9819077 140737377206192 18446744073709551615 7311946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21504 17819 725 1374 0 20125 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 86016

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11524
/proc/meminfo: memFree=1369096/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=85832 CPUtime=1241.94
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 2230082 0 0 0 122780 1414 0 0 25 0 1 0 5386551 87891968 17785 1992294400 4194304 9819077 140737377206192 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21458 17785 725 1374 0 20079 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 85832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11526
/proc/meminfo: memFree=1368848/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=86016 CPUtime=1301.91
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 2384652 0 0 0 128694 1497 0 0 25 0 1 0 5386551 88080384 17707 1992294400 4194304 9819077 140737377206192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21504 17707 725 1374 0 20125 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 86016

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11528
/proc/meminfo: memFree=1368724/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=86180 CPUtime=1361.89
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 2528631 0 0 0 134605 1584 0 0 25 0 1 0 5386551 88248320 17741 1992294400 4194304 9819077 140737377206192 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21545 17741 725 1374 0 20166 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 86180

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11528
/proc/meminfo: memFree=1368600/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=86356 CPUtime=1421.88
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 2734004 0 0 0 140493 1695 0 0 25 0 1 0 5386551 88428544 17830 1992294400 4194304 9819077 140737377206192 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21589 17830 725 1374 0 20210 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 86356

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11530
/proc/meminfo: memFree=1368600/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=82332 CPUtime=1481.85
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 2877877 0 0 0 146409 1776 0 0 25 0 1 0 5386551 84307968 17695 1992294400 4194304 9819077 140737377206192 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 20583 17697 725 1374 0 19204 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 82332

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11532
/proc/meminfo: memFree=1368228/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=86344 CPUtime=1541.83
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 3056998 0 0 0 152311 1872 0 0 25 0 1 0 5386551 88416256 17806 1992294400 4194304 9819077 140737377206192 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 21586 17806 725 1374 0 20207 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 86344

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11534
/proc/meminfo: memFree=1365004/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=101224 CPUtime=1601.82
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 3225773 0 0 0 158220 1962 0 0 25 0 1 0 5386551 103653376 18647 1992294400 4194304 9819077 140737377206192 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 25306 18647 725 1374 0 23927 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 101224

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11536
/proc/meminfo: memFree=1364632/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=101280 CPUtime=1661.8
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 3388739 0 0 0 164129 2051 0 0 25 0 1 0 5386551 103710720 18714 1992294400 4194304 9819077 140737377206192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 25320 18714 725 1374 0 23941 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 101280

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11536
/proc/meminfo: memFree=1365996/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=88444 CPUtime=1721.79
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 3541967 0 0 0 170044 2135 0 0 25 0 1 0 5386551 90566656 18361 1992294400 4194304 9819077 140737377206192 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 22111 18361 725 1374 0 20732 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 88444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11538
/proc/meminfo: memFree=1363764/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=101416 CPUtime=1781.77
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 3687236 0 0 0 175959 2218 0 0 25 0 1 0 5386551 103849984 18841 1992294400 4194304 9819077 140737377206192 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 25354 18841 725 1374 0 23975 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 101416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11540
/proc/meminfo: memFree=1365500/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=88360 CPUtime=1800.08
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 3737342 0 0 0 177762 2246 0 0 25 0 1 0 5386551 90480640 18455 1992294400 4194304 9819077 140737377206192 18446744073709551615 7311974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11488/statm: 22090 18455 728 1374 0 20711 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 88360

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11540
/proc/meminfo: memFree=1365500/2059040 swapFree=4192956/4192956
[pid=11488] ppid=11486 vsize=83704 CPUtime=1800.46
/proc/11488/stat : 11488 (pbscip.linux.x8) R 11486 11488 10879 0 -1 4202496 3738083 0 0 0 177800 2246 0 0 25 0 1 0 5386551 85712896 17218 1992294400 4194304 9819077 140737377206192 18446744073709551615 4408845 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11488/statm: 20926 17218 729 1374 0 19547 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 83704

Child status: 0
Real time (s): 1801.04
CPU time (s): 1800.52
CPU user time (s): 1778.04
CPU system time (s): 22.4766
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 118136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.04
system time used= 22.4766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3738087
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= 1
involuntary context switches= 5480

runsolver used 3.06753 second user time and 8.41472 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-16 00:28:59
IDJOB=2665392
IDBENCH=25017
IDSOLVER=1168
FILE ID=node041/2665392-1276640939
PBS_JOBID= 11172366
Free space on /tmp= 62084 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665392-1276640939/watcher-2665392-1276640939 -o /tmp/evaluation-result-2665392-1276640939/solver-2665392-1276640939 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665392-1276640939.opb -t 1800 -m 1800

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=383884168

node041.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.251
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.50
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.251
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.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1438700 kB
Buffers:         97732 kB
Cached:         381860 kB
SwapCached:          0 kB
Active:         208032 kB
Inactive:       330972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1438700 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6672 kB
Writeback:           0 kB
AnonPages:       59384 kB
Mapped:          15364 kB
Slab:            59444 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181592 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= 62076 MiB
End job on node041 at 2010-06-16 00:59:02