Trace number 1869709

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
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT (TO)23 1800.31 1800.79

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

Quality of the solution as a function of time


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

Solver Data 

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

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-1869709-1245184303/watcher-1869709-1245184303 -o /tmp/evaluation-result-1869709-1245184303/solver-1869709-1245184303 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869709-1245184303.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.00 1.00 1.00 3/64 4139
/proc/meminfo: memFree=1872232/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=5812 CPUtime=0
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 186030438 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/4139/statm: 1453 516 345 1256 0 192 0

[startup+0.0559661 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4139
/proc/meminfo: memFree=1872232/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=12980 CPUtime=0.05
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 2223 0 0 0 5 0 0 0 18 0 1 0 186030438 13291520 2207 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/4139/statm: 3245 2207 378 1256 0 1984 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12980

[startup+0.102971 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4139
/proc/meminfo: memFree=1872232/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=15904 CPUtime=0.09
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 2967 0 0 0 9 0 0 0 18 0 1 0 186030438 16285696 2951 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4139/statm: 3976 2951 378 1256 0 2715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15904

[startup+0.301991 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4139
/proc/meminfo: memFree=1872232/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=36880 CPUtime=0.29
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 8344 0 0 0 27 2 0 0 19 0 1 0 186030438 37765120 7974 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 9220 7974 437 1256 0 7959 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36880

[startup+0.701034 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4139
/proc/meminfo: memFree=1872232/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=49500 CPUtime=0.69
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 11601 0 0 0 61 8 0 0 22 0 1 0 186030438 50688000 11231 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 12375 11231 498 1256 0 11114 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49500

[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1813728/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=71644 CPUtime=1.49
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 16595 0 0 0 139 10 0 0 25 0 1 0 186030438 73363456 15573 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 17911 15573 624 1256 0 16650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71644

[startup+3.10129 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1811872/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=73464 CPUtime=3.09
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 18792 0 0 0 298 11 0 0 25 0 1 0 186030438 75227136 16106 1992294400 4194304 9342243 548682068736 18446744073709551615 6146082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 18366 16106 644 1256 0 17105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73464

[startup+6.30163 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1808224/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=75340 CPUtime=6.29
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 19377 0 0 0 617 12 0 0 25 0 1 0 186030438 77148160 16691 1992294400 4194304 9342243 548682068736 18446744073709551615 6952930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 18835 16691 651 1256 0 17574 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75340

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1807720/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=76140 CPUtime=12.69
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 19496 0 0 0 1256 13 0 0 25 0 1 0 186030438 77967360 16660 1992294400 4194304 9342243 548682068736 18446744073709551615 6147970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 19035 16660 651 1256 0 17774 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76140

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1807272/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=78148 CPUtime=25.48
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 20021 0 0 0 2525 23 0 0 25 0 1 0 186030438 80023552 16958 1992294400 4194304 9342243 548682068736 18446744073709551615 6947024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 19537 16958 680 1256 0 18276 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78148

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1806056/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=88168 CPUtime=51.08
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 31262 0 0 0 5069 39 0 0 25 0 1 0 186030438 90284032 17187 1992294400 4194304 9342243 548682068736 18446744073709551615 6941102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 22042 17187 693 1256 0 20781 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88168

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1804648/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=88348 CPUtime=102.27
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 46322 0 0 0 10174 53 0 0 25 0 1 0 186030438 90468352 17517 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 22087 17517 693 1256 0 20826 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 88348

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1803816/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=88336 CPUtime=162.25
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 63911 0 0 0 16153 72 0 0 25 0 1 0 186030438 90456064 17716 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 22084 17716 693 1256 0 20823 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 88336

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1802600/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=89072 CPUtime=222.23
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 75793 0 0 0 22136 87 0 0 25 0 1 0 186030438 91209728 18013 1992294400 4194304 9342243 548682068736 18446744073709551615 6960624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 22268 18013 693 1256 0 21007 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 89072

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1803560/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=88452 CPUtime=282.22
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 94627 0 0 0 28120 102 0 0 25 0 1 0 186030438 90574848 17762 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 22113 17762 693 1256 0 20852 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 88452

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1804264/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=78496 CPUtime=342.2
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 109159 0 0 0 34103 117 0 0 25 0 1 0 186030438 80379904 17603 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 19624 17603 697 1256 0 18363 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 78496

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1804904/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=79792 CPUtime=402.18
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 122259 0 0 0 40084 134 0 0 25 0 1 0 186030438 81707008 17355 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 19948 17355 697 1256 0 18687 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 79792

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1804968/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=80988 CPUtime=462.17
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 149421 0 0 0 46054 163 0 0 25 0 1 0 186030438 82931712 17479 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20247 17479 699 1256 0 18986 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 80988

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1805160/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=80916 CPUtime=522.16
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 188381 0 0 0 52016 200 0 0 25 0 1 0 186030438 82857984 17337 1992294400 4194304 9342243 548682068736 18446744073709551615 6948982 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20229 17337 699 1256 0 18968 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 80916

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1805288/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=81136 CPUtime=582.14
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 232059 0 0 0 57972 242 0 0 25 0 1 0 186030438 83083264 17347 1992294400 4194304 9342243 548682068736 18446744073709551615 6951958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20284 17347 699 1256 0 19023 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 81136

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1804392/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=81300 CPUtime=642.12
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 270430 0 0 0 63937 275 0 0 25 0 1 0 186030438 83251200 17556 1992294400 4194304 9342243 548682068736 18446744073709551615 6944026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20325 17556 699 1256 0 19064 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 81300

[startup+702.301 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1805672/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=80696 CPUtime=942.05
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 496347 0 0 0 93735 470 0 0 25 0 1 0 186030438 82632704 17337 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20174 17337 700 1256 0 18913 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 80696

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1805224/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=80604 CPUtime=1002.03
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 538582 0 0 0 99695 508 0 0 25 0 1 0 186030438 82538496 17390 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20151 17390 700 1256 0 18890 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 80604

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1805288/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=80520 CPUtime=1062.02
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 583894 0 0 0 105656 546 0 0 25 0 1 0 186030438 82452480 17311 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20130 17311 700 1256 0 18869 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 80520

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1803560/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=91052 CPUtime=1122
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 635814 0 0 0 111608 592 0 0 25 0 1 0 186030438 93237248 17761 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 22763 17761 700 1256 0 21502 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 91052

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4140
/proc/meminfo: memFree=1805288/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=80180 CPUtime=1181.99
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 682050 0 0 0 117568 631 0 0 25 0 1 0 186030438 82104320 17310 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20045 17310 700 1256 0 18784 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 80180

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1805416/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=77540 CPUtime=1241.97
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 741693 0 0 0 123521 676 0 0 25 0 1 0 186030438 79400960 17228 1992294400 4194304 9342243 548682068736 18446744073709551615 6044104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 19385 17228 700 1256 0 18124 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 77540

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1805480/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=80420 CPUtime=1301.95
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 804841 0 0 0 129469 726 0 0 25 0 1 0 186030438 82350080 17271 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20105 17271 700 1256 0 18844 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 80420

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1805352/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=81300 CPUtime=1361.94
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 869704 0 0 0 135419 775 0 0 25 0 1 0 186030438 83251200 17299 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20325 17299 700 1256 0 19064 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 81300

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1805096/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=81440 CPUtime=1421.92
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 927524 0 0 0 141377 815 0 0 25 0 1 0 186030438 83394560 17325 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20360 17325 700 1256 0 19099 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 81440

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1804968/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=82172 CPUtime=1481.9
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 980884 0 0 0 147335 855 0 0 25 0 1 0 186030438 84144128 17350 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20543 17350 700 1256 0 19282 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 82172

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1804968/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=82368 CPUtime=1541.89
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 1037207 0 0 0 153290 899 0 0 25 0 1 0 186030438 84344832 17398 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 20592 17398 700 1256 0 19331 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 82368

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1802920/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=93188 CPUtime=1601.87
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 1106714 0 0 0 159236 951 0 0 25 0 1 0 186030438 95424512 17906 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 23297 17906 700 1256 0 22036 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 93188

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1800360/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=84988 CPUtime=1661.85
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 1148909 0 0 0 165199 986 0 0 25 0 1 0 186030438 87027712 18544 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 21247 18544 700 1256 0 19986 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 84988

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4142
/proc/meminfo: memFree=1798504/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=84956 CPUtime=1721.84
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 1151165 0 0 0 171189 995 0 0 25 0 1 0 186030438 86994944 19045 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 21239 19045 700 1256 0 19978 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 84956

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4148
/proc/meminfo: memFree=1797800/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=84884 CPUtime=1781.82
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 1152836 0 0 0 177177 1005 0 0 25 0 1 0 186030438 86921216 19180 1992294400 4194304 9342243 548682068736 18446744073709551615 6235012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 21221 19180 700 1256 0 19960 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 84884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4148
/proc/meminfo: memFree=1797608/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=94040 CPUtime=1800.02
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 1153806 0 0 0 178993 1009 0 0 25 0 1 0 186030438 96296960 19222 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 23510 19222 700 1256 0 22249 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 94040

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4149
/proc/meminfo: memFree=1797600/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=94040 CPUtime=1800.13
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 1153806 0 0 0 179004 1009 0 0 25 0 1 0 186030438 96296960 19222 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4139/statm: 23510 19222 700 1256 0 22249 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 94040

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4149
/proc/meminfo: memFree=1797600/2055920 swapFree=4181536/4192956
[pid=4139] ppid=4137 vsize=83356 CPUtime=1800.22
/proc/4139/stat : 4139 (pbscip.linux.x8) R 4137 4139 3843 0 -1 4194304 1153807 0 0 0 179013 1009 0 0 17 0 1 0 186030438 85356544 19121 1992294400 4194304 9342243 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0
/proc/4139/statm: 20839 19121 701 1256 0 19578 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 83356

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.31
CPU user time (s): 1790.21
CPU system time (s): 10.1055
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 110180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.21
system time used= 10.1055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1153810
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= 34
involuntary context switches= 2463

runsolver used 1.19982 second user time and 3.90541 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-16 22:31:43
IDJOB=1869709
IDBENCH=25017
IDSOLVER=684
FILE ID=node19/1869709-1245184303
PBS_JOBID= 9363929
Free space on /tmp= 66160 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
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.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869709-1245184303/watcher-1869709-1245184303 -o /tmp/evaluation-result-1869709-1245184303/solver-1869709-1245184303 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869709-1245184303.opb

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=217348707

node19.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.234
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.234
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:       1872712 kB
Buffers:         40340 kB
Cached:          77972 kB
SwapCached:       6060 kB
Active:          72544 kB
Inactive:        54508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1872712 kB
SwapTotal:     4192956 kB
SwapFree:      4181536 kB
Dirty:           12156 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            42064 kB
Committed_AS:   198248 kB
PageTables:       1456 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= 66148 MiB
End job on node19 at 2009-06-16 23:01:46