Trace number 3447342

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 NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.3 1800.24

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo
MD5SUM6efaaa0bcc1032ac40f1941f9de82d96
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.143977
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3939
Total number of constraints10412
Number of soft constraints3552
Number of constraints which are clauses9740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints672
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 178925
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 178924
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 258
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	1098

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447342-1307899432/watcher-3447342-1307899432 -o /var/tmp/evaluation-result-3447342-1307899432/solver-3447342-1307899432 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447342-1307899432.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.99 1.91 1.56 2/174 28677
/proc/meminfo: memFree=2323100/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=10156 CPUtime=0 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 1528 0 0 0 0 0 0 0 25 0 1 0 980173683 10399744 1481 33554432000 4194304 9128323 140734428639952 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28677/statm: 2539 1481 399 1205 0 1330 0

[startup+0.0201449 s]
/proc/loadavg: 1.99 1.91 1.56 2/174 28677
/proc/meminfo: memFree=2323100/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=12808 CPUtime=0.01 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 2213 0 0 0 1 0 0 0 25 0 1 0 980173683 13115392 2166 33554432000 4194304 9128323 140734428639952 18446744073709551615 6165207 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28677/statm: 3202 2166 399 1205 0 1993 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12808

[startup+0.101134 s]
/proc/loadavg: 1.99 1.91 1.56 2/174 28677
/proc/meminfo: memFree=2323100/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=35432 CPUtime=0.09 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 7601 0 0 0 9 0 0 0 25 0 1 0 980173683 36282368 7550 33554432000 4194304 9128323 140734428639952 18446744073709551615 5087472 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 8858 7550 474 1205 0 7649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35432

[startup+0.301098 s]
/proc/loadavg: 1.99 1.91 1.56 2/174 28677
/proc/meminfo: memFree=2323100/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=61836 CPUtime=0.29 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 14928 0 0 0 28 1 0 0 25 0 1 0 980173683 63320064 14148 33554432000 4194304 9128323 140734428639952 18446744073709551615 5973220 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 15459 14148 586 1205 0 14250 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61836

[startup+0.701024 s]
/proc/loadavg: 1.99 1.91 1.56 2/174 28677
/proc/meminfo: memFree=2323100/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=62564 CPUtime=0.69 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 15137 0 0 0 68 1 0 0 25 0 1 0 980173683 64065536 14348 33554432000 4194304 9128323 140734428639952 18446744073709551615 5234106 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 15641 14348 577 1205 0 14432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62564

[startup+1.50087 s]
/proc/loadavg: 1.99 1.91 1.56 3/175 28678
/proc/meminfo: memFree=2266952/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=64280 CPUtime=1.49 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 15558 0 0 0 148 1 0 0 25 0 1 0 980173683 65822720 14763 33554432000 4194304 9128323 140734428639952 18446744073709551615 5973121 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 16070 14763 575 1205 0 14861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64280

[startup+3.10058 s]
/proc/loadavg: 1.99 1.91 1.56 3/175 28678
/proc/meminfo: memFree=2263852/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=84012 CPUtime=3.09 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 20969 0 0 0 307 2 0 0 25 0 1 0 980173683 86028288 19715 33554432000 4194304 9128323 140734428639952 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 21003 19715 693 1205 0 19794 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84012

[startup+6.30099 s]
/proc/loadavg: 2.07 1.93 1.57 3/175 28678
/proc/meminfo: memFree=2225892/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=107240 CPUtime=6.29 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 27113 0 0 0 623 6 0 0 25 0 1 0 980173683 109813760 25465 33554432000 4194304 9128323 140734428639952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 26810 25465 713 1205 0 25601 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 107240

[startup+12.7008 s]
/proc/loadavg: 2.07 1.93 1.57 3/175 28678
/proc/meminfo: memFree=2219584/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=110016 CPUtime=12.69 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 27912 0 0 0 1256 13 0 0 25 0 1 0 980173683 112656384 26259 33554432000 4194304 9128323 140734428639952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 27504 26259 713 1205 0 26295 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110016

[startup+25.5004 s]
/proc/loadavg: 2.05 1.94 1.57 3/175 28679
/proc/meminfo: memFree=2218956/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=112228 CPUtime=25.5 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 50887 0 0 0 2519 31 0 0 25 0 1 0 980173683 114921472 26544 33554432000 4194304 9128323 140734428639952 18446744073709551615 7315753 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 28057 26544 763 1205 0 26848 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 112228

[startup+51.1006 s]
/proc/loadavg: 2.03 1.94 1.58 3/175 28679
/proc/meminfo: memFree=2218096/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=112960 CPUtime=51.1 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 69001 0 0 0 5056 54 0 0 25 0 1 0 980173683 115671040 26617 33554432000 4194304 9128323 140734428639952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 28240 26617 750 1205 0 27031 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 112960

[startup+102.306 s]
/proc/loadavg: 2.01 1.95 1.60 3/175 28681
/proc/meminfo: memFree=2213744/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=118420 CPUtime=102.29 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 83026 0 0 0 10136 93 0 0 25 0 1 0 980173683 121262080 27767 33554432000 4194304 9128323 140734428639952 18446744073709551615 7205349 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 29605 27767 776 1205 0 28396 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 118420

[startup+162.301 s]
/proc/loadavg: 2.00 1.95 1.63 3/175 28682
/proc/meminfo: memFree=2210568/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=120412 CPUtime=162.3 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 83867 0 0 0 16101 129 0 0 25 0 1 0 980173683 123301888 28582 33554432000 4194304 9128323 140734428639952 18446744073709551615 7192366 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 30103 28582 750 1205 0 28894 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 120412

[startup+222.301 s]
/proc/loadavg: 2.00 1.96 1.65 3/175 28684
/proc/meminfo: memFree=2192536/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=139360 CPUtime=222.3 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 108838 0 0 0 22062 168 0 0 25 0 1 0 980173683 142704640 33324 33554432000 4194304 9128323 140734428639952 18446744073709551615 7346389 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 34840 33324 750 1205 0 33631 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 139360

[startup+282.301 s]
/proc/loadavg: 2.00 1.96 1.66 3/175 28686
/proc/meminfo: memFree=2166080/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=165988 CPUtime=282.3 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 135955 0 0 0 28032 198 0 0 25 0 1 0 980173683 169971712 39935 33554432000 4194304 9128323 140734428639952 18446744073709551615 7192205 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 41497 39935 751 1205 0 40288 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 165988

[startup+342.3 s]
/proc/loadavg: 2.04 1.98 1.69 3/175 28687
/proc/meminfo: memFree=2147032/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=184416 CPUtime=342.3 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 141520 0 0 0 34001 229 0 0 25 0 1 0 980173683 188841984 44606 33554432000 4194304 9128323 140734428639952 18446744073709551615 7346479 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 46104 44606 751 1205 0 44895 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 184416

[startup+402.3 s]
/proc/loadavg: 2.01 1.98 1.70 3/175 28689
/proc/meminfo: memFree=2132332/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=199980 CPUtime=402.3 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 146061 0 0 0 39969 261 0 0 25 0 1 0 980173683 204779520 48504 33554432000 4194304 9128323 140734428639952 18446744073709551615 7191238 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 49995 48504 751 1205 0 48786 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 199980

[startup+462.301 s]
/proc/loadavg: 2.00 1.98 1.72 3/175 28690
/proc/meminfo: memFree=2106112/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=223588 CPUtime=462.3 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 162399 0 0 0 45942 288 0 0 25 0 1 0 980173683 228954112 54448 33554432000 4194304 9128323 140734428639952 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 55897 54448 751 1205 0 54688 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 223588

[startup+522.301 s]
/proc/loadavg: 2.00 1.98 1.74 3/175 28692
/proc/meminfo: memFree=2078664/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=249372 CPUtime=522.3 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 169910 0 0 0 51917 313 0 0 25 0 1 0 980173683 255356928 60928 33554432000 4194304 9128323 140734428639952 18446744073709551615 7216735 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 62343 60928 824 1205 0 61134 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 249372

[startup+582.301 s]
/proc/loadavg: 2.00 1.98 1.75 3/175 28694
/proc/meminfo: memFree=2057264/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=270140 CPUtime=582.31 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 177788 0 0 0 57886 345 0 0 25 0 1 0 980173683 276623360 66030 33554432000 4194304 9128323 140734428639952 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 67535 66030 760 1205 0 66326 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 270140

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.05 2.01 1.82 3/175 28740
/proc/meminfo: memFree=1816896/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=393992 CPUtime=882.31 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 224455 0 0 0 87715 516 0 0 25 0 1 0 980173683 403447808 97127 33554432000 4194304 9128323 140734428639952 18446744073709551615 4557565 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 98498 97127 755 1205 0 97289 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 393992

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 1.82 3/175 28744
/proc/meminfo: memFree=1788168/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=422356 CPUtime=942.32 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 232320 0 0 0 93679 553 0 0 25 0 1 0 980173683 432492544 104296 33554432000 4194304 9128323 140734428639952 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 105589 104296 820 1205 0 104380 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 422356

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/175 28746
/proc/meminfo: memFree=1766096/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=442296 CPUtime=1002.32 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 249337 0 0 0 99637 595 0 0 25 0 1 0 980173683 452911104 109213 33554432000 4194304 9128323 140734428639952 18446744073709551615 7192336 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28677/statm: 110574 109213 751 1205 0 109365 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 442296

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/175 28747
/proc/meminfo: memFree=1739128/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=469324 CPUtime=1062.32 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 257927 0 0 0 105603 629 0 0 25 0 1 0 980173683 480587776 116130 33554432000 4194304 9128323 140734428639952 18446744073709551615 6732570 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 117331 116130 751 1205 0 116122 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 469324

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/175 28749
/proc/meminfo: memFree=1714156/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=492844 CPUtime=1122.32 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 266699 0 0 0 111566 666 0 0 25 0 1 0 980173683 504672256 122002 33554432000 4194304 9128323 140734428639952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 123211 122002 868 1205 0 122002 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 492844

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/175 28751
/proc/meminfo: memFree=1685944/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=516428 CPUtime=1182.33 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 275699 0 0 0 117524 709 0 0 25 0 1 0 980173683 528822272 127937 33554432000 4194304 9128323 140734428639952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 129107 127937 965 1205 0 127898 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 516428

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/175 28752
/proc/meminfo: memFree=1646080/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=546952 CPUtime=1242.33 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 284267 0 0 0 123489 744 0 0 25 0 1 0 980173683 560078848 135021 33554432000 4194304 9128323 140734428639952 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 136738 135021 756 1205 0 135529 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 546952

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/175 28754
/proc/meminfo: memFree=1610292/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=574972 CPUtime=1302.34 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 291488 0 0 0 129454 780 0 0 25 0 1 0 980173683 588771328 142097 33554432000 4194304 9128323 140734428639952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 143743 142097 752 1205 0 142534 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 574972

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/175 28755
/proc/meminfo: memFree=1576244/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=599596 CPUtime=1362.34 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 297663 0 0 0 135417 817 0 0 25 0 1 0 980173683 613986304 148038 33554432000 4194304 9128323 140734428639952 18446744073709551615 7192225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 149899 148038 753 1205 0 148690 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 599596

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 28757
/proc/meminfo: memFree=1544948/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=624148 CPUtime=1422.34 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 304388 0 0 0 141383 851 0 0 25 0 1 0 980173683 639127552 154404 33554432000 4194304 9128323 140734428639952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 156037 154404 754 1205 0 154828 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 624148

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 28759
/proc/meminfo: memFree=1509052/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=652568 CPUtime=1482.34 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 311967 0 0 0 147345 889 0 0 25 0 1 0 980173683 668229632 161478 33554432000 4194304 9128323 140734428639952 18446744073709551615 6505911 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 163142 161478 872 1205 0 161933 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 652568

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 28760
/proc/meminfo: memFree=1479736/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=671348 CPUtime=1542.33 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 316977 0 0 0 153304 929 0 0 25 0 1 0 980173683 687460352 166223 33554432000 4194304 9128323 140734428639952 18446744073709551615 7183693 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 167837 166223 751 1205 0 166628 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 671348

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 28762
/proc/meminfo: memFree=1445588/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=693956 CPUtime=1602.34 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 324220 0 0 0 159259 975 0 0 25 0 1 0 980173683 710610944 171757 33554432000 4194304 9128323 140734428639952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 173489 171757 867 1205 0 172280 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 693956

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 28763
/proc/meminfo: memFree=1403516/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=719756 CPUtime=1662.34 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 331335 0 0 0 165223 1011 0 0 25 0 1 0 980173683 737030144 178301 33554432000 4194304 9128323 140734428639952 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 179939 178301 789 1205 0 178730 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 719756

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/175 28765
/proc/meminfo: memFree=1364892/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=742416 CPUtime=1722.35 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 337080 0 0 0 171184 1051 0 0 25 0 1 0 980173683 760233984 183960 33554432000 4194304 9128323 140734428639952 18446744073709551615 6713316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 185604 183960 751 1205 0 184395 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 742416

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/175 28767
/proc/meminfo: memFree=1329752/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=766036 CPUtime=1782.35 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 354687 0 0 0 177143 1092 0 0 25 0 1 0 980173683 784420864 189871 33554432000 4194304 9128323 140734428639952 18446744073709551615 7183708 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 191509 189871 751 1205 0 190300 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 766036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.91 3/175 28767
/proc/meminfo: memFree=1315596/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=776236 CPUtime=1800.05 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 357119 0 0 0 178902 1103 0 0 25 0 1 0 980173683 794865664 192301 33554432000 4194304 9128323 140734428639952 18446744073709551615 4910527 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28677/statm: 194059 192301 752 1205 0 192850 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 776236

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

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

[startup+1800.2 s]
/proc/loadavg: 2.01 2.00 1.91 3/175 28767
/proc/meminfo: memFree=1315596/32951124 swapFree=67062556/67111528
[pid=28677] ppid=28675 vsize=766968 CPUtime=1800.24 cores=1,3,5,7
/proc/28677/stat : 28677 (scip-2.0.1.4.li) R 28675 28677 27812 0 -1 4202496 357123 0 0 0 178921 1103 0 0 18 0 1 0 980173683 785375232 190343 33554432000 4194304 9128323 140734428639952 18446744073709551615 4347078 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28677/statm: 191742 190343 756 1205 0 190533 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 766968

Child status: 0
Real time (s): 1800.24
CPU time (s): 1800.3
CPU user time (s): 1789.23
CPU system time (s): 11.0683
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 782288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.23
system time used= 11.0683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357125
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= 6
involuntary context switches= 2835

runsolver used 2.74558 second user time and 6.65799 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-12 19:23:52
IDJOB=3447342
IDBENCH=79033
IDSOLVER=1944
FILE ID=node111/3447342-1307899432
RUNJOBID= node111-1307898654-28515
PBS_JOBID= 13559593
Free space on /var/tmp= 2872 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447342-1307899432/watcher-3447342-1307899432 -o /var/tmp/evaluation-result-3447342-1307899432/solver-3447342-1307899432 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447342-1307899432.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 6efaaa0bcc1032ac40f1941f9de82d96
RANDOM SEED=1743572591

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2323504 kB
Buffers:         50020 kB
Cached:       29551404 kB
SwapCached:      11248 kB
Active:       14726944 kB
Inactive:     14971532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2323504 kB
SwapTotal:    67111528 kB
SwapFree:     67062556 kB
Dirty:           12332 kB
Writeback:           0 kB
AnonPages:       94596 kB
Mapped:          13212 kB
Slab:           865428 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   258984 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2860 MiB
End job on node111 at 2011-06-12 19:53:54