Trace number 2666822

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)23 1801.49 1802.11

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	23

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666822-1276640943/watcher-2666822-1276640943 -o /tmp/evaluation-result-2666822-1276640943/solver-2666822-1276640943 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666822-1276640943.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: 0.99 0.97 0.99 3/106 3459
/proc/meminfo: memFree=1852728/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=7724 CPUtime=0
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 1244 0 0 0 0 0 0 0 25 0 1 0 37746163 7909376 1163 1992294400 4194304 8223781 140736969727968 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3459/statm: 1931 1174 348 984 0 944 0

[startup+0.0774141 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 3459
/proc/meminfo: memFree=1852728/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=12528 CPUtime=0.06
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 2438 0 0 0 6 0 0 0 25 0 1 0 37746163 12828672 2357 1992294400 4194304 8223781 140736969727968 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3459/statm: 3132 2357 365 984 0 2145 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12528

[startup+0.101417 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 3459
/proc/meminfo: memFree=1852728/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=13888 CPUtime=0.09
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 2779 0 0 0 8 1 0 0 25 0 1 0 37746163 14221312 2698 1992294400 4194304 8223781 140736969727968 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3459/statm: 3472 2698 365 984 0 2485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13888

[startup+0.301453 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 3459
/proc/meminfo: memFree=1852728/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=28732 CPUtime=0.29
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 6793 0 0 0 27 2 0 0 25 0 1 0 37746163 29421568 6348 1992294400 4194304 8223781 140736969727968 18446744073709551615 4907240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 7183 6348 381 984 0 6196 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28732

[startup+0.700528 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 3459
/proc/meminfo: memFree=1852728/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=47184 CPUtime=0.69
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 12526 0 0 0 61 8 0 0 25 0 1 0 37746163 48316416 10695 1992294400 4194304 8223781 140736969727968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 11796 10695 456 984 0 10809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47184

[startup+1.50067 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3460
/proc/meminfo: memFree=1809444/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=69032 CPUtime=1.49
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 19217 0 0 0 138 11 0 0 25 0 1 0 37746163 70688768 15804 1992294400 4194304 8223781 140736969727968 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 17258 15804 546 984 0 16271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69032

[startup+3.10096 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3460
/proc/meminfo: memFree=1790720/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=69472 CPUtime=3.09
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 21012 0 0 0 296 13 0 0 25 0 1 0 37746163 71139328 15923 1992294400 4194304 8223781 140736969727968 18446744073709551615 6568359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 17368 15923 546 984 0 16381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69472

[startup+6.30055 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3460
/proc/meminfo: memFree=1789728/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=70516 CPUtime=6.29
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 23877 0 0 0 614 15 0 0 25 0 1 0 37746163 72208384 16165 1992294400 4194304 8223781 140736969727968 18446744073709551615 6563163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 17629 16165 560 984 0 16642 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70516

[startup+12.7007 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3460
/proc/meminfo: memFree=1789356/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=70588 CPUtime=12.69
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 25946 0 0 0 1252 17 0 0 25 0 1 0 37746163 72282112 16241 1992294400 4194304 8223781 140736969727968 18446744073709551615 6563074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 17647 16241 560 984 0 16660 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70588

[startup+25.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3460
/proc/meminfo: memFree=1789108/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=70652 CPUtime=25.48
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 31124 0 0 0 2526 22 0 0 25 0 1 0 37746163 72347648 16323 1992294400 4194304 8223781 140736969727968 18446744073709551615 6563163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 17663 16323 560 984 0 16676 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70652

[startup+51.1017 s]
/proc/loadavg: 1.07 0.99 0.99 2/107 3460
/proc/meminfo: memFree=1779188/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=82032 CPUtime=51.06
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48434 0 0 0 5045 61 0 0 25 0 1 0 37746163 84000768 18694 1992294400 4194304 8223781 140736969727968 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 20508 18694 599 984 0 19521 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 82032

[startup+102.309 s]
/proc/loadavg: 1.11 1.00 1.00 2/107 3462
/proc/meminfo: memFree=1779932/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=102.25
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48612 0 0 0 10148 77 0 0 25 0 1 0 37746163 80441344 18525 1992294400 4194304 8223781 140736969727968 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18525 600 984 0 18652 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 78556

[startup+162.301 s]
/proc/loadavg: 1.11 1.02 1.00 2/107 3464
/proc/meminfo: memFree=1779932/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=162.23
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48626 0 0 0 16130 93 0 0 25 0 1 0 37746163 80441344 18539 1992294400 4194304 8223781 140736969727968 18446744073709551615 6567127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18539 600 984 0 18652 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 78556

[startup+222.301 s]
/proc/loadavg: 1.11 1.03 1.00 2/107 3466
/proc/meminfo: memFree=1779932/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=222.21
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48626 0 0 0 22110 111 0 0 25 0 1 0 37746163 80441344 18539 1992294400 4194304 8223781 140736969727968 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18539 600 984 0 18652 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 78556

[startup+282.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 3468
/proc/meminfo: memFree=1779932/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=282.19
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48626 0 0 0 28094 125 0 0 25 0 1 0 37746163 80441344 18539 1992294400 4194304 8223781 140736969727968 18446744073709551615 6448527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18539 600 984 0 18652 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 78556

[startup+342.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 3468
/proc/meminfo: memFree=1779932/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=342.17
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48626 0 0 0 34075 142 0 0 25 0 1 0 37746163 80441344 18539 1992294400 4194304 8223781 140736969727968 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18539 600 984 0 18652 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 78556

[startup+402.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 3470
/proc/meminfo: memFree=1779808/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=402.15
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48626 0 0 0 40056 159 0 0 25 0 1 0 37746163 80441344 18539 1992294400 4194304 8223781 140736969727968 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18539 600 984 0 18652 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 78556

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 3472
/proc/meminfo: memFree=1779808/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=462.13
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48626 0 0 0 46038 175 0 0 25 0 1 0 37746163 80441344 18539 1992294400 4194304 8223781 140736969727968 18446744073709551615 6567112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18539 600 984 0 18652 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 78556

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3474
/proc/meminfo: memFree=1779808/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=522.11
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48627 0 0 0 52020 191 0 0 25 0 1 0 37746163 80441344 18540 1992294400 4194304 8223781 140736969727968 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18540 601 984 0 18652 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 78556

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3476
/proc/meminfo: memFree=1779808/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=582.09
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48627 0 0 0 58002 207 0 0 25 0 1 0 37746163 80441344 18540 1992294400 4194304 8223781 140736969727968 18446744073709551615 6571409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18540 601 984 0 18652 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 78556

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3479
/proc/meminfo: memFree=1779188/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=642.07
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 48627 0 0 0 63983 224 0 0 25 0 1 0 37746163 80441344 18540 1992294400 4194304 8223781 140736969727968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18540 601 984 0 18652 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 78556

[startup+702.3 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3491
/proc/meminfo: memFree=1778196/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=79760 CPUtime=1061.92
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 50705 0 0 0 105840 352 0 0 25 0 1 0 37746163 81674240 18841 1992294400 4194304 8223781 140736969727968 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19940 18841 601 984 0 18953 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 79760

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3493
/proc/meminfo: memFree=1778196/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=79760 CPUtime=1121.91
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 50705 0 0 0 111822 369 0 0 25 0 1 0 37746163 81674240 18841 1992294400 4194304 8223781 140736969727968 18446744073709551615 6599072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19940 18841 601 984 0 18953 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 79760

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3495
/proc/meminfo: memFree=1778816/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=79776 CPUtime=1181.88
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 60184 0 0 0 117802 386 0 0 25 0 1 0 37746163 81690624 18640 1992294400 4194304 8223781 140736969727968 18446744073709551615 6563261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19944 18640 601 984 0 18957 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 79776

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3495
/proc/meminfo: memFree=1778816/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1241.86
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 66706 0 0 0 123786 400 0 0 25 0 1 0 37746163 80441344 18540 1992294400 4194304 8223781 140736969727968 18446744073709551615 6562879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18540 601 984 0 18652 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 78556

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3497
/proc/meminfo: memFree=1778816/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1301.85
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 66708 0 0 0 129772 413 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 78556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3499
/proc/meminfo: memFree=1778320/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=79724 CPUtime=1361.82
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 67296 0 0 0 135753 429 0 0 25 0 1 0 37746163 81637376 18833 1992294400 4194304 8223781 140736969727968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19931 18833 603 984 0 18944 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 79724

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3501
/proc/meminfo: memFree=1778816/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1421.82
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 67919 0 0 0 141733 449 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 78556

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3503
/proc/meminfo: memFree=1778816/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1481.78
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 67919 0 0 0 147712 466 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 78556

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3503
/proc/meminfo: memFree=1778196/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=79736 CPUtime=1541.76
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68210 0 0 0 153694 482 0 0 25 0 1 0 37746163 81649664 18833 1992294400 4194304 8223781 140736969727968 18446744073709551615 6561914 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19934 18833 603 984 0 18947 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 79736

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3505
/proc/meminfo: memFree=1778196/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=79744 CPUtime=1601.74
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68508 0 0 0 159674 500 0 0 25 0 1 0 37746163 81657856 18836 1992294400 4194304 8223781 140736969727968 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19936 18836 603 984 0 18949 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 79744

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3507
/proc/meminfo: memFree=1778816/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1661.72
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68510 0 0 0 165655 517 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 78556

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3509
/proc/meminfo: memFree=1778816/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1721.71
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68510 0 0 0 171636 535 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 6569760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 78556

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3511
/proc/meminfo: memFree=1778692/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1781.68
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68510 0 0 0 177613 555 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 78556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3511
/proc/meminfo: memFree=1778692/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1800.09
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68510 0 0 0 179448 561 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 78556

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3511
/proc/meminfo: memFree=1778692/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1800.78
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68510 0 0 0 179517 561 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 6323182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (KiB) 78556

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3512
/proc/meminfo: memFree=1778684/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1801.18
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68510 0 0 0 179557 561 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 6563479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1801.18
Current children cumulated vsize (KiB) 78556

[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3512
/proc/meminfo: memFree=1778684/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=78556 CPUtime=1801.38
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68510 0 0 0 179577 561 0 0 25 0 1 0 37746163 80441344 18542 1992294400 4194304 8223781 140736969727968 18446744073709551615 4561469 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3459/statm: 19639 18542 603 984 0 18652 0
Current children cumulated CPU time (s) 1801.38
Current children cumulated vsize (KiB) 78556

[startup+1802.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3512
/proc/meminfo: memFree=1778684/2059040 swapFree=4140236/4192956
[pid=3459] ppid=3457 vsize=38384 CPUtime=1801.48
/proc/3459/stat : 3459 (pbscip.linux.x8) R 3457 3459 3349 0 -1 4202496 68512 0 0 0 179586 562 0 0 25 0 1 0 37746163 39305216 9015 1992294400 4194304 8223781 140736969727968 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3459/statm: 9596 9015 605 984 0 8609 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 38384

Child status: 0
Real time (s): 1802.11
CPU time (s): 1801.49
CPU user time (s): 1795.87
CPU system time (s): 5.62315
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 109244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.87
system time used= 5.62315
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68516
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= 3393

runsolver used 3.46147 second user time and 9.66753 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-16 00:29:03
IDJOB=2666822
IDBENCH=25017
IDSOLVER=1169
FILE ID=node027/2666822-1276640943
PBS_JOBID= 11172404
Free space on /tmp= 62536 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-2666822-1276640943/watcher-2666822-1276640943 -o /tmp/evaluation-result-2666822-1276640943/solver-2666822-1276640943 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666822-1276640943.opb -t 1800 -m 1800

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=1540214519

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1853380 kB
Buffers:         18384 kB
Cached:         109732 kB
SwapCached:       5896 kB
Active:          91660 kB
Inactive:        49608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1853380 kB
SwapTotal:     4192956 kB
SwapFree:      4140236 kB
Dirty:            5000 kB
Writeback:           0 kB
AnonPages:       11648 kB
Mapped:          13020 kB
Slab:            42672 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182992 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62528 MiB
End job on node027 at 2010-06-16 00:59:06