Trace number 2692323

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1801.11 1801.06

General information on the benchmark

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

Verifier Data 

OK	15069

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692323-1277912902/watcher-2692323-1277912902 -o /tmp/evaluation-result-2692323-1277912902/solver-2692323-1277912902 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692323-1277912902.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.92 2.04 2.08 4/178 15173
/proc/meminfo: memFree=31275680/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=9304 CPUtime=0
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 1648 0 0 0 0 0 0 0 23 0 1 0 132584785 9527296 1568 4089446400 4194304 8223781 140737241278896 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15173/statm: 2326 1569 369 984 0 1339 0

[startup+0.0994241 s]
/proc/loadavg: 1.92 2.04 2.08 4/178 15173
/proc/meminfo: memFree=31275680/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=31732 CPUtime=0.09
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 7229 0 0 0 8 1 0 0 23 0 1 0 132584785 32493568 7149 4089446400 4194304 8223781 140737241278896 18446744073709551615 7210682 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15173/statm: 7933 7149 369 984 0 6946 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31732

[startup+0.100424 s]
/proc/loadavg: 1.92 2.04 2.08 4/178 15173
/proc/meminfo: memFree=31275680/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=31732 CPUtime=0.09
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 7229 0 0 0 8 1 0 0 23 0 1 0 132584785 32493568 7149 4089446400 4194304 8223781 140737241278896 18446744073709551615 4680177 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15173/statm: 7933 7149 369 984 0 6946 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31732

[startup+0.300388 s]
/proc/loadavg: 1.92 2.04 2.08 4/178 15173
/proc/meminfo: memFree=31275680/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=80272 CPUtime=0.29
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 20225 0 0 0 23 6 0 0 24 0 1 0 132584785 82198528 18794 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 20068 18794 470 984 0 19081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80272

[startup+0.700322 s]
/proc/loadavg: 1.92 2.04 2.08 4/178 15173
/proc/meminfo: memFree=31275680/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=97604 CPUtime=0.69
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 26187 0 0 0 61 8 0 0 25 0 1 0 132584785 99946496 22906 4089446400 4194304 8223781 140737241278896 18446744073709551615 4561124 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 24401 22906 572 984 0 23414 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97604

[startup+1.50018 s]
/proc/loadavg: 1.92 2.04 2.08 3/179 15174
/proc/meminfo: memFree=31184284/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=102140 CPUtime=1.49
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 28697 0 0 0 138 11 0 0 25 0 1 0 132584785 104591360 23763 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 25535 23763 611 984 0 24548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102140

[startup+3.1009 s]
/proc/loadavg: 1.92 2.04 2.08 3/179 15174
/proc/meminfo: memFree=31180812/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=107324 CPUtime=3.09
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 30623 0 0 0 294 15 0 0 25 0 1 0 132584785 109899776 24757 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 26831 24757 603 984 0 25844 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107324

[startup+6.30033 s]
/proc/loadavg: 1.93 2.04 2.08 3/179 15174
/proc/meminfo: memFree=31174180/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=116396 CPUtime=6.29
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 54227 0 0 0 605 24 0 0 25 0 1 0 132584785 119189504 27076 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 29099 27076 618 984 0 28112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 116396

[startup+12.7002 s]
/proc/loadavg: 1.93 2.04 2.08 3/179 15174
/proc/meminfo: memFree=31169064/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=116372 CPUtime=12.69
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 54228 0 0 0 1239 30 0 0 25 0 1 0 132584785 119164928 27071 4089446400 4194304 8223781 140737241278896 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 29093 27071 618 984 0 28106 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116372

[startup+25.501 s]
/proc/loadavg: 1.95 2.03 2.08 3/179 15174
/proc/meminfo: memFree=31169736/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=116372 CPUtime=25.49
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 54228 0 0 0 2505 44 0 0 25 0 1 0 132584785 119164928 27071 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 29093 27071 618 984 0 28106 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116372

[startup+51.1005 s]
/proc/loadavg: 1.97 2.03 2.08 3/179 15176
/proc/meminfo: memFree=31169692/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=116372 CPUtime=51.09
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 55919 0 0 0 5040 69 0 0 25 0 1 0 132584785 119164928 27074 4089446400 4194304 8223781 140737241278896 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 29093 27074 621 984 0 28106 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 116372

[startup+102.306 s]
/proc/loadavg: 1.98 2.02 2.07 3/179 15176
/proc/meminfo: memFree=31169420/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=116372 CPUtime=102.3
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 56420 0 0 0 10111 119 0 0 25 0 1 0 132584785 119164928 27108 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 29093 27108 621 984 0 28106 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 116372

[startup+162.301 s]
/proc/loadavg: 1.99 2.02 2.07 3/179 15205
/proc/meminfo: memFree=31104868/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=122516 CPUtime=162.3
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 116361 0 0 0 16037 193 0 0 25 0 1 0 132584785 125456384 28637 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 30629 28637 622 984 0 29642 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 122516

[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.06 3/179 15207
/proc/meminfo: memFree=31047276/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=143300 CPUtime=222.3
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 240354 0 0 0 21962 268 0 0 25 0 1 0 132584785 146739200 33778 4089446400 4194304 8223781 140737241278896 18446744073709551615 6162453 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 35825 33778 622 984 0 34838 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 143300

[startup+282.301 s]
/proc/loadavg: 1.99 2.01 2.06 3/179 15209
/proc/meminfo: memFree=30976304/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=179112 CPUtime=282.3
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 669831 0 0 0 27846 384 0 0 25 0 1 0 132584785 183410688 42741 4089446400 4194304 8223781 140737241278896 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 44778 42741 623 984 0 43791 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 179112

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 15210
/proc/meminfo: memFree=30912756/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=205832 CPUtime=342.3
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 1133076 0 0 0 33731 499 0 0 25 0 1 0 132584785 210771968 49541 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 51458 49541 623 984 0 50471 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 205832

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 15211
/proc/meminfo: memFree=30848092/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=234100 CPUtime=402.3
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 1562662 0 0 0 39618 612 0 0 25 0 1 0 132584785 239718400 56550 4089446400 4194304 8223781 140737241278896 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 58525 56550 623 984 0 57538 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 234100

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 15213
/proc/meminfo: memFree=30779840/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=266928 CPUtime=462.3
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 2278704 0 0 0 45468 762 0 0 25 0 1 0 132584785 273334272 64793 4089446400 4194304 8223781 140737241278896 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 66732 64793 623 984 0 65745 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 266928

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.03 3/179 15215
/proc/meminfo: memFree=30708732/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=303356 CPUtime=522.3
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 2875658 0 0 0 51329 901 0 0 25 0 1 0 132584785 310636544 73960 4089446400 4194304 8223781 140737241278896 18446744073709551615 4561079 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 75839 73960 631 984 0 74852 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 303356

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/179 15217
/proc/meminfo: memFree=30638236/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=338860 CPUtime=582.31
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 3532477 0 0 0 57197 1034 0 0 25 0 1 0 132584785 346992640 82809 4089446400 4194304 8223781 140737241278896 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 84715 82809 623 984 0 83728 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 338860

[startup+642.301 s]
/proc/loadavg: 1.99 2.00 2.02 3/179 15218
/proc/meminfo: memFree=30563532/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=376140 CPUtime=642.31
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 4141096 0 0 0 63064 1167 0 0 25 0 1 0 132584785 385167360 92150 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 94035 92150 623 984 0 93048 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 376140

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15235
/proc/meminfo: memFree=30201340/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=562556 CPUtime=942.31
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 7445143 0 0 0 92377 1854 0 0 25 0 1 0 132584785 576057344 138367 4089446400 4194304 8223781 140737241278896 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 140639 138367 623 984 0 139652 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 562556

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15236
/proc/meminfo: memFree=30128000/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=600812 CPUtime=1002.31
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 8073934 0 0 0 98252 1979 0 0 25 0 1 0 132584785 615231488 147940 4089446400 4194304 8223781 140737241278896 18446744073709551615 6557694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 150203 147940 623 984 0 149216 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 600812

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15238
/proc/meminfo: memFree=30050584/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=641640 CPUtime=1062.31
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 8617483 0 0 0 104129 2102 0 0 25 0 1 0 132584785 657039360 158159 4089446400 4194304 8223781 140737241278896 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 160410 158159 623 984 0 159423 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 641640

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15240
/proc/meminfo: memFree=29979228/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=675772 CPUtime=1122.32
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 9316535 0 0 0 109995 2237 0 0 25 0 1 0 132584785 691990528 166707 4089446400 4194304 8223781 140737241278896 18446744073709551615 6328791 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 168943 166707 623 984 0 167956 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 675772

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15242
/proc/meminfo: memFree=29905268/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=714508 CPUtime=1182.32
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 9929967 0 0 0 115866 2366 0 0 25 0 1 0 132584785 731656192 176345 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 178627 176345 623 984 0 177640 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 714508

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15243
/proc/meminfo: memFree=29828324/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=754504 CPUtime=1242.32
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 10482032 0 0 0 121747 2485 0 0 25 0 1 0 132584785 772612096 186359 4089446400 4194304 8223781 140737241278896 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 188626 186359 623 984 0 187639 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 754504

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15244
/proc/meminfo: memFree=29752492/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=792776 CPUtime=1302.33
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 11101829 0 0 0 127611 2622 0 0 25 0 1 0 132584785 811802624 195903 4089446400 4194304 8223781 140737241278896 18446744073709551615 6445315 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 198194 195903 623 984 0 197207 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 792776

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15246
/proc/meminfo: memFree=29680404/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=829568 CPUtime=1362.33
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 11717334 0 0 0 133480 2753 0 0 25 0 1 0 132584785 849477632 205150 4089446400 4194304 8223781 140737241278896 18446744073709551615 6439539 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 207392 205150 623 984 0 206405 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 829568

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15248
/proc/meminfo: memFree=29605812/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=867136 CPUtime=1422.33
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 12341686 0 0 0 139342 2891 0 0 25 0 1 0 132584785 887947264 214602 4089446400 4194304 8223781 140737241278896 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 216784 214602 623 984 0 215797 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 867136

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15250
/proc/meminfo: memFree=29528756/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=907584 CPUtime=1482.32
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 12918722 0 0 0 145210 3022 0 0 25 0 1 0 132584785 929366016 224719 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 226896 224719 623 984 0 225909 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 907584

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15251
/proc/meminfo: memFree=29457768/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=942112 CPUtime=1542.33
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 13413638 0 0 0 151103 3130 0 0 25 0 1 0 132584785 964722688 233404 4089446400 4194304 8223781 140737241278896 18446744073709551615 6020551 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 235528 233404 623 984 0 234541 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 942112

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15252
/proc/meminfo: memFree=29386540/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=976240 CPUtime=1602.33
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 13836500 0 0 0 156997 3236 0 0 25 0 1 0 132584785 999669760 242010 4089446400 4194304 8223781 140737241278896 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 244060 242010 623 984 0 243073 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 976240

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15254
/proc/meminfo: memFree=29309092/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=1015548 CPUtime=1662.33
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 14217738 0 0 0 162905 3328 0 0 25 0 1 0 132584785 1039921152 251793 4089446400 4194304 8223781 140737241278896 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 253887 251793 623 984 0 252900 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1015548

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15256
/proc/meminfo: memFree=29238112/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=1049000 CPUtime=1722.33
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 14725263 0 0 0 168792 3441 0 0 25 0 1 0 132584785 1074176000 260195 4089446400 4194304 8223781 140737241278896 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 262250 260195 623 984 0 261263 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1049000

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15258
/proc/meminfo: memFree=29163032/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=1088796 CPUtime=1782.33
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 15218769 0 0 0 174682 3551 0 0 25 0 1 0 132584785 1114927104 270165 4089446400 4194304 8223781 140737241278896 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 272199 270165 623 984 0 271212 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1088796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15258
/proc/meminfo: memFree=29141192/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=1098384 CPUtime=1800.04
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 15398832 0 0 0 176418 3586 0 0 25 0 1 0 132584785 1124745216 272580 4089446400 4194304 8223781 140737241278896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15173/statm: 274596 272580 625 984 0 273609 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1098384

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

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 15259
/proc/meminfo: memFree=29140564/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=1098384 CPUtime=1800.64
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 15398832 0 0 0 176478 3586 0 0 25 0 1 0 132584785 1124745216 272580 4089446400 4194304 8223781 140737241278896 18446744073709551615 7256940 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15173/statm: 274596 272580 625 984 0 273609 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 1098384

[startup+1801 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 15259
/proc/meminfo: memFree=29140564/32951124 swapFree=67111528/67111528
[pid=15173] ppid=15171 vsize=222968 CPUtime=1801.03
/proc/15173/stat : 15173 (pbscip.linux.x8) R 15171 15173 14947 0 -1 4202496 15398834 0 0 0 176513 3590 0 0 25 0 1 0 132584785 228319232 53772 4089446400 4194304 8223781 140737241278896 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15173/statm: 55742 53772 627 984 0 54755 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 222968

Child status: 0
Real time (s): 1801.06
CPU time (s): 1801.11
CPU user time (s): 1765.19
CPU system time (s): 35.9145
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1098552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.19
system time used= 35.9145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15398838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 2827

runsolver used 3.19451 second user time and 6.546 second system time

The end

Launcher Data 

Begin job on node144 at 2010-06-30 17:48:22
IDJOB=2692323
IDBENCH=79003
IDSOLVER=1204
FILE ID=node144/2692323-1277912902
PBS_JOBID= 11197267
Free space on /tmp= 74176 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692323-1277912902/watcher-2692323-1277912902 -o /tmp/evaluation-result-2692323-1277912902/solver-2692323-1277912902 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692323-1277912902.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 68c125c2e3e966fc6e8a8bc50cef96ab
RANDOM SEED=1710679008

node144.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.848
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.848
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	: 5332.83
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.848
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.848
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.82
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.848
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.848
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.848
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.75
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.848
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	: 5230.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31275960 kB
Buffers:        198460 kB
Cached:        1256176 kB
SwapCached:          0 kB
Active:         592772 kB
Inactive:       938568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31275960 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4680 kB
Writeback:           0 kB
AnonPages:       76828 kB
Mapped:          15436 kB
Slab:            80748 kB
PageTables:       4824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   219880 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= 74172 MiB
End job on node144 at 2010-06-30 18:18:24