Trace number 1869708

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT22 1794.84 1795.44

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

Verifier Data 

OK	22

Watcher Data 

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

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

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.07 1.02 0.98 3/64 4201
/proc/meminfo: memFree=1903616/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=4488 CPUtime=0
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 489 0 0 0 0 0 0 0 18 0 1 0 2750718 4595712 473 1992294400 4194304 7823515 548682068736 18446744073709551615 5903552 0 0 4096 0 0 0 0 17 1 0 0
/proc/4201/statm: 1162 485 318 886 0 272 0

[startup+0.052597 s]
/proc/loadavg: 1.07 1.02 0.98 3/64 4201
/proc/meminfo: memFree=1903616/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=11464 CPUtime=0.04
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 2191 0 0 0 3 1 0 0 18 0 1 0 2750718 11739136 2173 1992294400 4194304 7823515 548682068736 18446744073709551615 5537460 0 0 4096 0 0 0 0 17 1 0 0
/proc/4201/statm: 2866 2173 354 886 0 1976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11464

[startup+0.102603 s]
/proc/loadavg: 1.07 1.02 0.98 3/64 4201
/proc/meminfo: memFree=1903616/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=14484 CPUtime=0.09
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 2944 0 0 0 8 1 0 0 18 0 1 0 2750718 14831616 2926 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4201/statm: 3621 2926 354 886 0 2731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14484

[startup+0.302643 s]
/proc/loadavg: 1.07 1.02 0.98 3/64 4201
/proc/meminfo: memFree=1903616/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=35660 CPUtime=0.29
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 8334 0 0 0 26 3 0 0 19 0 1 0 2750718 36515840 7962 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 8915 7962 427 886 0 8025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35660

[startup+0.70169 s]
/proc/loadavg: 1.07 1.02 0.98 3/64 4201
/proc/meminfo: memFree=1903616/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=48188 CPUtime=0.69
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 11529 0 0 0 61 8 0 0 22 0 1 0 2750718 49344512 11157 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 12047 11157 456 886 0 11157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48188

[startup+1.50181 s]
/proc/loadavg: 1.07 1.02 0.98 2/65 4202
/proc/meminfo: memFree=1845048/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=69600 CPUtime=1.49
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 16705 0 0 0 139 10 0 0 25 0 1 0 2750718 71270400 16015 1992294400 4194304 7823515 548682068736 18446744073709551615 6212762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 17400 16015 527 886 0 16510 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69600

[startup+3.10105 s]
/proc/loadavg: 1.06 1.02 0.98 2/65 4202
/proc/meminfo: memFree=1840952/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=70044 CPUtime=3.09
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 17049 0 0 0 298 11 0 0 25 0 1 0 2750718 71725056 16337 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 17511 16337 527 886 0 16621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70044

[startup+6.30152 s]
/proc/loadavg: 1.06 1.02 0.98 2/65 4202
/proc/meminfo: memFree=1838456/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=70920 CPUtime=6.28
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 17451 0 0 0 617 11 0 0 25 0 1 0 2750718 72622080 16706 1992294400 4194304 7823515 548682068736 18446744073709551615 6208499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 17730 16706 538 886 0 16840 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 70920

[startup+12.7015 s]
/proc/loadavg: 1.05 1.01 0.98 2/65 4202
/proc/meminfo: memFree=1836728/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=73128 CPUtime=12.68
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 17925 0 0 0 1256 12 0 0 25 0 1 0 2750718 74883072 17169 1992294400 4194304 7823515 548682068736 18446744073709551615 6208329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 18282 17169 538 886 0 17392 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73128

[startup+25.5024 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 4202
/proc/meminfo: memFree=1836792/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=73128 CPUtime=25.48
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 17943 0 0 0 2534 14 0 0 25 0 1 0 2750718 74883072 17176 1992294400 4194304 7823515 548682068736 18446744073709551615 6208537 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 18282 17176 538 886 0 17392 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73128

[startup+51.1012 s]
/proc/loadavg: 1.03 1.01 0.98 2/65 4202
/proc/meminfo: memFree=1804344/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=51.07
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26862 0 0 0 5069 38 0 0 25 0 1 0 2750718 108793856 25323 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25323 568 886 0 25671 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 106244

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 0.98 2/65 4202
/proc/meminfo: memFree=1804152/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=102.25
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26893 0 0 0 10176 49 0 0 25 0 1 0 2750718 108793856 25348 1992294400 4194304 7823515 548682068736 18446744073709551615 6109358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25348 569 886 0 25671 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 106244

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1804152/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=162.23
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26893 0 0 0 16164 59 0 0 25 0 1 0 2750718 108793856 25348 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25348 569 886 0 25671 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 106244

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1804088/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=222.21
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26893 0 0 0 22150 71 0 0 25 0 1 0 2750718 108793856 25348 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25348 569 886 0 25671 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 106244

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1804088/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=282.2
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26893 0 0 0 28138 82 0 0 25 0 1 0 2750718 108793856 25348 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25348 569 886 0 25671 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 106244

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1804024/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=342.18
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26893 0 0 0 34124 94 0 0 25 0 1 0 2750718 108793856 25348 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25348 569 886 0 25671 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 106244

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1803960/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=402.16
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26893 0 0 0 40111 105 0 0 25 0 1 0 2750718 108793856 25348 1992294400 4194304 7823515 548682068736 18446744073709551615 6211707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25348 569 886 0 25671 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 106244

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 4202
/proc/meminfo: memFree=1803960/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=462.13
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26893 0 0 0 46097 116 0 0 25 0 1 0 2750718 108793856 25348 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25348 569 886 0 25671 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 106244

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1803960/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=522.11
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26897 0 0 0 52082 129 0 0 25 0 1 0 2750718 108793856 25352 1992294400 4194304 7823515 548682068736 18446744073709551615 6211701 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25352 573 886 0 25671 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 106244

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1803896/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=582.1
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26897 0 0 0 58071 139 0 0 25 0 1 0 2750718 108793856 25352 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25352 573 886 0 25671 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 106244

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1803896/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=642.09
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26897 0 0 0 64058 151 0 0 25 0 1 0 2750718 108793856 25352 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25352 573 886 0 25671 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 106244

[startup+702.302 s]

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

/proc/meminfo: memFree=1803768/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1121.92
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26898 0 0 0 111949 243 0 0 25 0 1 0 2750718 108793856 25353 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25353 573 886 0 25671 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 106244

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1803768/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1181.9
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26898 0 0 0 117941 249 0 0 25 0 1 0 2750718 108793856 25353 1992294400 4194304 7823515 548682068736 18446744073709551615 6208526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25353 573 886 0 25671 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 106244

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1803640/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1241.88
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26898 0 0 0 123932 256 0 0 25 0 1 0 2750718 108793856 25353 1992294400 4194304 7823515 548682068736 18446744073709551615 6208526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25353 573 886 0 25671 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 106244

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4202
/proc/meminfo: memFree=1803640/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1301.86
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26900 0 0 0 129922 264 0 0 25 0 1 0 2750718 108793856 25355 1992294400 4194304 7823515 548682068736 18446744073709551615 6212430 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25355 575 886 0 25671 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 106244

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4204
/proc/meminfo: memFree=1803256/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1361.84
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26900 0 0 0 135909 275 0 0 25 0 1 0 2750718 108793856 25355 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25355 575 886 0 25671 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 106244

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4204
/proc/meminfo: memFree=1803256/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1421.82
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26900 0 0 0 141898 284 0 0 25 0 1 0 2750718 108793856 25355 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25355 575 886 0 25671 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 106244

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 0.98 2/65 4204
/proc/meminfo: memFree=1803256/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1481.8
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26900 0 0 0 147885 295 0 0 25 0 1 0 2750718 108793856 25355 1992294400 4194304 7823515 548682068736 18446744073709551615 6211354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25355 575 886 0 25671 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 106244

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 0.98 2/65 4204
/proc/meminfo: memFree=1803256/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1541.78
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26900 0 0 0 153870 308 0 0 25 0 1 0 2750718 108793856 25355 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25355 575 886 0 25671 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 106244

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 4204
/proc/meminfo: memFree=1803320/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1601.76
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26900 0 0 0 159862 314 0 0 25 0 1 0 2750718 108793856 25355 1992294400 4194304 7823515 548682068736 18446744073709551615 6180642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25355 575 886 0 25671 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 106244

[startup+1662.3 s]
/proc/loadavg: 1.08 1.02 0.99 2/65 4204
/proc/meminfo: memFree=1803320/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1661.74
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26901 0 0 0 165851 323 0 0 25 0 1 0 2750718 108793856 25356 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25356 575 886 0 25671 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 106244

[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 0.99 2/65 4204
/proc/meminfo: memFree=1803256/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1721.73
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26902 0 0 0 171838 335 0 0 25 0 1 0 2750718 108793856 25357 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25357 575 886 0 25671 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 106244

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4204
/proc/meminfo: memFree=1803384/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1781.71
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26902 0 0 0 177824 347 0 0 25 0 1 0 2750718 108793856 25357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25357 575 886 0 25671 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 106244

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

[startup+1785.5 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4204
/proc/meminfo: memFree=1803384/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1784.91
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26902 0 0 0 178143 348 0 0 25 0 1 0 2750718 108793856 25357 1992294400 4194304 7823515 548682068736 18446744073709551615 6236677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25357 575 886 0 25671 0
Current children cumulated CPU time (s) 1784.91
Current children cumulated vsize (KiB) 106244

[startup+1791.91 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4204
/proc/meminfo: memFree=1803384/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1791.3
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26902 0 0 0 178781 349 0 0 25 0 1 0 2750718 108793856 25357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25357 575 886 0 25671 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 106244

[startup+1793.5 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4204
/proc/meminfo: memFree=1803384/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1792.9
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26902 0 0 0 178941 349 0 0 25 0 1 0 2750718 108793856 25357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25357 575 886 0 25671 0
Current children cumulated CPU time (s) 1792.9
Current children cumulated vsize (KiB) 106244

[startup+1794.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4204
/proc/meminfo: memFree=1803384/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1793.7
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26902 0 0 0 179020 350 0 0 25 0 1 0 2750718 108793856 25357 1992294400 4194304 7823515 548682068736 18446744073709551615 6211142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25357 575 886 0 25671 0
Current children cumulated CPU time (s) 1793.7
Current children cumulated vsize (KiB) 106244

[startup+1795.1 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4204
/proc/meminfo: memFree=1803384/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1794.51
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26902 0 0 0 179101 350 0 0 25 0 1 0 2750718 108793856 25357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25357 575 886 0 25671 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 106244

[startup+1795.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4204
/proc/meminfo: memFree=1803384/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1794.7
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26902 0 0 0 179120 350 0 0 25 0 1 0 2750718 108793856 25357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25357 575 886 0 25671 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 106244

[startup+1795.4 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4204
/proc/meminfo: memFree=1803384/2055920 swapFree=4192956/4192956
[pid=4201] ppid=4199 vsize=106244 CPUtime=1794.8
/proc/4201/stat : 4201 (pbscip.linux.x8) R 4199 4201 3836 0 -1 4194304 26904 0 0 0 179130 350 0 0 17 0 1 0 2750718 108793856 25359 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/4201/statm: 26561 25359 577 886 0 25671 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 106244

Child status: 0
Real time (s): 1795.44
CPU time (s): 1794.84
CPU user time (s): 1791.32
CPU system time (s): 3.51946
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 106244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.32
system time used= 3.51946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26907
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= 33
involuntary context switches= 1841

runsolver used 1.16682 second user time and 3.87041 second system time

The end

Launcher Data 

Begin job on node30 at 2009-06-16 22:30:13
IDJOB=1869708
IDBENCH=25017
IDSOLVER=683
FILE ID=node30/1869708-1245184212
PBS_JOBID= 9363935
Free space on /tmp= 66220 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
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-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869708-1245184212/watcher-1869708-1245184212 -o /tmp/evaluation-result-1869708-1245184212/solver-1869708-1245184212 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869708-1245184212.opb

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=2012115928

node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.273
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.273
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1904032 kB
Buffers:         28364 kB
Cached:          80572 kB
SwapCached:          0 kB
Active:          79892 kB
Inactive:        41908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1904032 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10260 kB
Writeback:           0 kB
Mapped:          22616 kB
Slab:            16104 kB
Committed_AS:    61660 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66208 MiB
End job on node30 at 2009-06-16 23:00:08