Trace number 2705088

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.6 1790.54

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

Verifier Data 

OK	8407

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705088-1278574757/watcher-2705088-1278574757 -o /tmp/evaluation-result-2705088-1278574757/solver-2705088-1278574757 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705088-1278574757.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.77 1.94 1.66 4/178 23745
/proc/meminfo: memFree=29821012/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=12360 CPUtime=0
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 1931 0 0 0 0 0 0 0 21 0 1 0 25687955 12656640 1849 4089446400 4194304 10345943 140735720177808 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23745/statm: 3090 1849 429 1502 0 1583 0

[startup+0.0296131 s]
/proc/loadavg: 1.77 1.94 1.66 4/178 23745
/proc/meminfo: memFree=29821012/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=18932 CPUtime=0.02
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 3568 0 0 0 2 0 0 0 21 0 1 0 25687955 19386368 3486 4089446400 4194304 10345943 140735720177808 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23745/statm: 4733 3486 430 1502 0 3226 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18932

[startup+0.100589 s]
/proc/loadavg: 1.77 1.94 1.66 4/178 23745
/proc/meminfo: memFree=29821012/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=38496 CPUtime=0.09
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 8915 0 0 0 8 1 0 0 21 0 1 0 25687955 39419904 8450 4089446400 4194304 10345943 140735720177808 18446744073709551615 6013155 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 9688 8468 481 1502 0 8181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38496

[startup+0.300551 s]
/proc/loadavg: 1.77 1.94 1.66 4/178 23745
/proc/meminfo: memFree=29821012/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=67316 CPUtime=0.29
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 15931 0 0 0 28 1 0 0 21 0 1 0 25687955 68931584 15403 4089446400 4194304 10345943 140735720177808 18446744073709551615 6068885 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 16829 15403 583 1502 0 15322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67316

[startup+0.700476 s]
/proc/loadavg: 1.77 1.94 1.66 4/178 23745
/proc/meminfo: memFree=29821012/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=68572 CPUtime=0.69
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 16271 0 0 0 68 1 0 0 22 0 1 0 25687955 70217728 15743 4089446400 4194304 10345943 140735720177808 18446744073709551615 5211439 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 17143 15743 583 1502 0 15636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68572

[startup+1.50033 s]
/proc/loadavg: 1.77 1.94 1.66 3/179 23746
/proc/meminfo: memFree=29760492/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=70344 CPUtime=1.49
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 16693 0 0 0 148 1 0 0 25 0 1 0 25687955 72032256 16165 4089446400 4194304 10345943 140735720177808 18446744073709551615 5604430 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 17586 16165 588 1502 0 16079 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70344

[startup+3.10102 s]
/proc/loadavg: 1.78 1.94 1.67 3/179 23746
/proc/meminfo: memFree=29758136/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=95264 CPUtime=3.09
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 21925 0 0 0 307 2 0 0 25 0 1 0 25687955 97550336 21390 4089446400 4194304 10345943 140735720177808 18446744073709551615 7568677 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 23816 21390 758 1502 0 22309 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95264

[startup+6.30041 s]
/proc/loadavg: 1.78 1.94 1.67 3/179 23746
/proc/meminfo: memFree=29730644/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=98188 CPUtime=6.29
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 24547 0 0 0 627 2 0 0 25 0 1 0 25687955 100544512 21872 4089446400 4194304 10345943 140735720177808 18446744073709551615 5849694 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 24547 21872 759 1502 0 23040 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98188

[startup+12.7002 s]
/proc/loadavg: 1.82 1.94 1.67 3/179 23747
/proc/meminfo: memFree=29710752/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=108860 CPUtime=12.69
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 36353 0 0 0 1263 6 0 0 25 0 1 0 25687955 111472640 23092 4089446400 4194304 10345943 140735720177808 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 27215 23092 781 1502 0 25708 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108860

[startup+25.5008 s]
/proc/loadavg: 1.84 1.94 1.67 3/179 23775
/proc/meminfo: memFree=29658952/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=108380 CPUtime=25.49
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 44251 0 0 0 2540 9 0 0 25 0 1 0 25687955 110981120 23592 4089446400 4194304 10345943 140735720177808 18446744073709551615 7569824 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 27095 23592 781 1502 0 25588 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108380

[startup+51.1009 s]
/proc/loadavg: 1.90 1.94 1.68 3/179 23775
/proc/meminfo: memFree=29616944/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=102892 CPUtime=51.1
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 64505 0 0 0 5092 18 0 0 25 0 1 0 25687955 105361408 23683 4089446400 4194304 10345943 140735720177808 18446744073709551615 7523217 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23745/statm: 25723 23683 786 1502 0 24216 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 102892

[startup+102.306 s]
/proc/loadavg: 1.96 1.95 1.70 3/179 23777
/proc/meminfo: memFree=29609504/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=104792 CPUtime=102.3
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 80532 0 0 0 10202 28 0 0 25 0 1 0 25687955 107307008 24297 4089446400 4194304 10345943 140735720177808 18446744073709551615 6520127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 26198 24297 787 1502 0 24691 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 104792

[startup+162.301 s]
/proc/loadavg: 1.98 1.95 1.71 3/179 23778
/proc/meminfo: memFree=29600916/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=111432 CPUtime=162.3
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 110580 0 0 0 16188 42 0 0 25 0 1 0 25687955 114106368 25945 4089446400 4194304 10345943 140735720177808 18446744073709551615 6120293 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 27858 25945 787 1502 0 26351 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 111432

[startup+222.3 s]
/proc/loadavg: 1.99 1.96 1.73 3/179 23779
/proc/meminfo: memFree=29574192/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=137080 CPUtime=222.3
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 179241 0 0 0 22168 62 0 0 25 0 1 0 25687955 140369920 31742 4089446400 4194304 10345943 140735720177808 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 34270 31742 787 1502 0 32763 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 137080

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 23781
/proc/meminfo: memFree=29532220/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=162240 CPUtime=282.3
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 259594 0 0 0 28148 82 0 0 25 0 1 0 25687955 166133760 39145 4089446400 4194304 10345943 140735720177808 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 40560 39145 789 1502 0 39053 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 162240

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 23783
/proc/meminfo: memFree=29473276/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=200072 CPUtime=342.3
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 326192 0 0 0 34131 99 0 0 25 0 1 0 25687955 204873728 47318 4089446400 4194304 10345943 140735720177808 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 50018 47318 790 1502 0 48511 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 200072

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 23785
/proc/meminfo: memFree=29406016/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=231240 CPUtime=402.3
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 364410 0 0 0 40121 109 0 0 25 0 1 0 25687955 236789760 56255 4089446400 4194304 10345943 140735720177808 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 57810 56255 790 1502 0 56303 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 231240

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 23786
/proc/meminfo: memFree=29334064/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=270424 CPUtime=462.3
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 394531 0 0 0 46114 116 0 0 25 0 1 0 25687955 276914176 65870 4089446400 4194304 10345943 140735720177808 18446744073709551615 8160400 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 67606 65870 790 1502 0 66099 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 270424

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/179 23787
/proc/meminfo: memFree=29273512/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=305324 CPUtime=522.3
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 426611 0 0 0 52107 123 0 0 25 0 1 0 25687955 312651776 74545 4089446400 4194304 10345943 140735720177808 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 76331 74545 790 1502 0 74824 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 305324

[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.80 3/179 23789
/proc/meminfo: memFree=29211960/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=343520 CPUtime=582.31
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 439550 0 0 0 58103 128 0 0 25 0 1 0 25687955 351764480 83957 4089446400 4194304 10345943 140735720177808 18446744073709551615 6803331 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 85880 83957 790 1502 0 84373 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 343520

[startup+642.301 s]
/proc/loadavg: 2.03 1.99 1.82 3/179 23791
/proc/meminfo: memFree=29141116/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=384164 CPUtime=642.31
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 450430 0 0 0 64099 132 0 0 25 0 1 0 25687955 393383936 93452 4089446400 4194304 10345943 140735720177808 18446744073709551615 6865923 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 96041 93452 790 1502 0 94534 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 384164

[startup+702.301 s]

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

/proc/meminfo: memFree=28749384/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=603748 CPUtime=1002.33
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 536133 0 0 0 100071 162 0 0 25 0 1 0 25687955 618237952 148112 4089446400 4194304 10345943 140735720177808 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 150937 148112 790 1502 0 149430 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 603748

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 23802
/proc/meminfo: memFree=28681516/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=642580 CPUtime=1062.32
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 547846 0 0 0 106065 167 0 0 25 0 1 0 25687955 658001920 158053 4089446400 4194304 10345943 140735720177808 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 160645 158053 790 1502 0 159138 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 642580

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 23803
/proc/meminfo: memFree=28616736/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=683960 CPUtime=1122.33
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 558879 0 0 0 112061 172 0 0 25 0 1 0 25687955 700375040 167604 4089446400 4194304 10345943 140735720177808 18446744073709551615 5614829 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 170990 167604 790 1502 0 169483 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 683960

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 23805
/proc/meminfo: memFree=28555544/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=719972 CPUtime=1182.33
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 572078 0 0 0 118054 179 0 0 25 0 1 0 25687955 737251328 176522 4089446400 4194304 10345943 140735720177808 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 179993 176522 790 1502 0 178486 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 719972

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 23807
/proc/meminfo: memFree=28497216/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=741892 CPUtime=1242.33
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 655252 0 0 0 124037 196 0 0 25 0 1 0 25687955 759697408 182848 4089446400 4194304 10345943 140735720177808 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 185473 182848 790 1502 0 183966 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 741892

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 23809
/proc/meminfo: memFree=28432568/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=781076 CPUtime=1302.34
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 664092 0 0 0 130034 200 0 0 25 0 1 0 25687955 799821824 191600 4089446400 4194304 10345943 140735720177808 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 195269 191600 790 1502 0 193762 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 781076

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.90 3/179 23819
/proc/meminfo: memFree=28362604/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=814912 CPUtime=1362.34
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 677953 0 0 0 136027 207 0 0 25 0 1 0 25687955 834469888 200556 4089446400 4194304 10345943 140735720177808 18446744073709551615 6785438 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 203728 200556 790 1502 0 202221 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 814912

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.90 3/179 23820
/proc/meminfo: memFree=28294980/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=851156 CPUtime=1422.34
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 697989 0 0 0 142019 215 0 0 25 0 1 0 25687955 871583744 209606 4089446400 4194304 10345943 140735720177808 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 212789 209606 790 1502 0 211282 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 851156

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23822
/proc/meminfo: memFree=28226104/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=884340 CPUtime=1482.34
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 712942 0 0 0 148013 221 0 0 25 0 1 0 25687955 905564160 218548 4089446400 4194304 10345943 140735720177808 18446744073709551615 4696487 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 221085 218548 790 1502 0 219578 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 884340

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23824
/proc/meminfo: memFree=28150924/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=922544 CPUtime=1542.35
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 728375 0 0 0 154009 226 0 0 25 0 1 0 25687955 944685056 227738 4089446400 4194304 10345943 140735720177808 18446744073709551615 8160371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 230636 227738 790 1502 0 229129 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 922544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23826
/proc/meminfo: memFree=28087396/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=955928 CPUtime=1602.34
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 736922 0 0 0 160005 229 0 0 25 0 1 0 25687955 978870272 235963 4089446400 4194304 10345943 140735720177808 18446744073709551615 8160390 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 238982 235963 790 1502 0 237475 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 955928

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 23827
/proc/meminfo: memFree=28016292/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=993132 CPUtime=1662.35
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 750627 0 0 0 166001 234 0 0 25 0 1 0 25687955 1016967168 244991 4089446400 4194304 10345943 140735720177808 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 248283 244991 790 1502 0 246776 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 993132

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 23828
/proc/meminfo: memFree=27947432/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=1032740 CPUtime=1722.36
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 770749 0 0 0 171994 242 0 0 25 0 1 0 25687955 1057525760 254368 4089446400 4194304 10345943 140735720177808 18446744073709551615 6120631 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 258185 254368 790 1502 0 256678 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1032740

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23830
/proc/meminfo: memFree=27877080/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=1064640 CPUtime=1782.35
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 786085 0 0 0 177988 247 0 0 25 0 1 0 25687955 1090191360 263262 4089446400 4194304 10345943 140735720177808 18446744073709551615 4999669 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 266160 263262 790 1502 0 264653 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1064640

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23830
/proc/meminfo: memFree=27875096/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=1070816 CPUtime=1785.56
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 787058 0 0 0 178308 248 0 0 25 0 1 0 25687955 1096515584 263582 4089446400 4194304 10345943 140735720177808 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 267704 263582 790 1502 0 266197 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 1070816

[startup+1788.7 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23830
/proc/meminfo: memFree=27871624/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=1071552 CPUtime=1788.75
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 788010 0 0 0 178627 248 0 0 25 0 1 0 25687955 1097269248 264130 4089446400 4194304 10345943 140735720177808 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 267888 264130 790 1502 0 266381 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 1071552

[startup+1789.5 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23830
/proc/meminfo: memFree=27871624/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=1073024 CPUtime=1789.55
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 788265 0 0 0 178707 248 0 0 25 0 1 0 25687955 1098776576 264210 4089446400 4194304 10345943 140735720177808 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23745/statm: 268256 264210 790 1502 0 266749 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 1073024

[startup+1790.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23830
/proc/meminfo: memFree=27871128/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=1074048 CPUtime=1790.35
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 788525 0 0 0 178787 248 0 0 18 0 1 0 25687955 1099825152 264470 4089446400 4194304 10345943 140735720177808 18446744073709551615 4664167 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23745/statm: 268512 264470 794 1502 0 267005 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 1074048

[startup+1790.5 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23830
/proc/meminfo: memFree=27871128/32951124 swapFree=67111528/67111528
[pid=23745] ppid=23743 vsize=1018900 CPUtime=1790.56
/proc/23745/stat : 23745 (pbscip.linux.x8) R 23743 23745 23451 0 -1 4202496 788525 0 0 0 178807 249 0 0 18 0 1 0 25687955 1043353600 218930 4089446400 4194304 10345943 140735720177808 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23745/statm: 254725 218930 794 1502 0 253218 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (KiB) 1018900

Child status: 0
Real time (s): 1790.54
CPU time (s): 1790.6
CPU user time (s): 1788.08
CPU system time (s): 2.52362
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1075972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.08
system time used= 2.52362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 788528
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= 2
involuntary context switches= 1389

runsolver used 2.82157 second user time and 5.96209 second system time

The end

Launcher Data 

Begin job on node141 at 2010-07-08 09:39:17
IDJOB=2705088
IDBENCH=79033
IDSOLVER=1214
FILE ID=node141/2705088-1278574757
PBS_JOBID= 11240172
Free space on /tmp= 73632 MiB

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

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

MD5SUM BENCH= 6efaaa0bcc1032ac40f1941f9de82d96
RANDOM SEED=982638039

node141.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.839
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.67
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.839
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	: 5265.34
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.839
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.82
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.839
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.74
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.839
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.76
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.839
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.75
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.839
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.82
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.839
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29822780 kB
Buffers:        162036 kB
Cached:        2718788 kB
SwapCached:          0 kB
Active:        1316228 kB
Inactive:      1646460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29822780 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26108 kB
Writeback:           0 kB
AnonPages:       82192 kB
Mapped:          17516 kB
Slab:           101356 kB
PageTables:       4912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   228416 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 /tmp at the end= 73620 MiB
End job on node141 at 2010-07-08 10:09:08