Trace number 2692632

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) 1802.11 1802.05

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
MD5SUMa305848cf761b3c7939395660924f4d7
Bench CategorySOFT-SMALLINT-LIN (only soft 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.174973
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 constraints10412
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 524426
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 524425
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

Quality of the solution as a function of time


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

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

Verifier Data 

OK	30653

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692632-1277932351/watcher-2692632-1277932351 -o /tmp/evaluation-result-2692632-1277932351/solver-2692632-1277932351 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692632-1277932351.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: 2.00 2.02 2.23 4/196 20410
/proc/meminfo: memFree=30885900/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=9556 CPUtime=0
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 1682 0 0 0 0 0 0 0 25 0 1 0 134530184 9785344 1602 4089446400 4194304 8223781 140734249202432 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20410/statm: 2389 1609 369 984 0 1402 0

[startup+0.0105281 s]
/proc/loadavg: 2.00 2.02 2.23 4/196 20410
/proc/meminfo: memFree=30885900/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=11376 CPUtime=0
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 2136 0 0 0 0 0 0 0 25 0 1 0 134530184 11649024 2056 4089446400 4194304 8223781 140734249202432 18446744073709551615 4457954 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20410/statm: 2844 2056 369 984 0 1857 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11376

[startup+0.100495 s]
/proc/loadavg: 2.00 2.02 2.23 4/196 20410
/proc/meminfo: memFree=30885900/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=37888 CPUtime=0.09
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 8794 0 0 0 9 0 0 0 25 0 1 0 134530184 38797312 8714 4089446400 4194304 8223781 140734249202432 18446744073709551615 4433276 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20410/statm: 9472 8714 369 984 0 8485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37888

[startup+0.300453 s]
/proc/loadavg: 2.00 2.02 2.23 4/196 20410
/proc/meminfo: memFree=30885900/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=96452 CPUtime=0.29
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 22916 0 0 0 27 2 0 0 25 0 1 0 134530184 98766848 22436 4089446400 4194304 8223781 140734249202432 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 24113 22436 422 984 0 23126 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96452

[startup+0.70039 s]
/proc/loadavg: 2.00 2.02 2.23 4/196 20410
/proc/meminfo: memFree=30885900/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=96452 CPUtime=0.69
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 22916 0 0 0 67 2 0 0 25 0 1 0 134530184 98766848 22436 4089446400 4194304 8223781 140734249202432 18446744073709551615 7257254 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 24113 22436 422 984 0 23126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96452

[startup+1.50024 s]
/proc/loadavg: 2.08 2.03 2.24 4/197 20411
/proc/meminfo: memFree=30797600/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=99948 CPUtime=1.49
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 23700 0 0 0 146 3 0 0 25 0 1 0 134530184 102346752 23220 4089446400 4194304 8223781 140734249202432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 24987 23220 446 984 0 24000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99948

[startup+3.10094 s]
/proc/loadavg: 2.08 2.03 2.24 4/197 20411
/proc/meminfo: memFree=30776892/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=124036 CPUtime=3.09
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 31675 0 0 0 304 5 0 0 25 0 1 0 134530184 127012864 28551 4089446400 4194304 8223781 140734249202432 18446744073709551615 5345451 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 31009 28551 576 984 0 30022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 124036

[startup+6.30035 s]
/proc/loadavg: 2.07 2.03 2.23 4/197 20411
/proc/meminfo: memFree=30772548/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=124184 CPUtime=6.29
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 137732 0 0 0 615 14 0 0 25 0 1 0 134530184 127164416 28775 4089446400 4194304 8223781 140734249202432 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 31046 28775 589 984 0 30059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124184

[startup+12.7001 s]
/proc/loadavg: 2.07 2.03 2.23 4/197 20411
/proc/meminfo: memFree=30771052/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=125860 CPUtime=12.69
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 323222 0 0 0 1235 34 0 0 25 0 1 0 134530184 128880640 29240 4089446400 4194304 8223781 140734249202432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 31465 29240 590 984 0 30478 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 125860

[startup+25.5008 s]
/proc/loadavg: 2.05 2.03 2.23 4/197 20411
/proc/meminfo: memFree=30759200/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=138328 CPUtime=25.49
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 650380 0 0 0 2479 70 0 0 25 0 1 0 134530184 141647872 32426 4089446400 4194304 8223781 140734249202432 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 34582 32426 593 984 0 33595 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 138328

[startup+51.1011 s]
/proc/loadavg: 2.03 2.03 2.22 4/197 20412
/proc/meminfo: memFree=30736728/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=161284 CPUtime=51.09
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 804774 0 0 0 5022 87 0 0 25 0 1 0 134530184 165154816 37973 4089446400 4194304 8223781 140734249202432 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 40321 37973 595 984 0 39334 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 161284

[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.21 4/197 20413
/proc/meminfo: memFree=30718204/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=178748 CPUtime=102.3
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 1682328 0 0 0 10037 193 0 0 25 0 1 0 134530184 183037952 42410 4089446400 4194304 8223781 140734249202432 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 44687 42410 595 984 0 43700 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 178748

[startup+162.301 s]
/proc/loadavg: 2.05 2.03 2.19 4/197 20415
/proc/meminfo: memFree=30678956/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=218048 CPUtime=162.3
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 2509467 0 0 0 15930 300 0 0 25 0 1 0 134530184 223281152 52257 4089446400 4194304 8223781 140734249202432 18446744073709551615 6505967 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20410/statm: 54512 52257 595 984 0 53525 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 218048

[startup+222.301 s]
/proc/loadavg: 2.02 2.02 2.18 3/179 20445
/proc/meminfo: memFree=30626940/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=253716 CPUtime=222.3
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 3206853 0 0 0 21817 413 0 0 25 0 1 0 134530184 259805184 61172 4089446400 4194304 8223781 140734249202432 18446744073709551615 6482769 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 63429 61172 595 984 0 62442 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 253716

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.17 3/179 20446
/proc/meminfo: memFree=30565068/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=284528 CPUtime=282.3
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 3697658 0 0 0 27721 509 0 0 25 0 1 0 134530184 291356672 68950 4089446400 4194304 8223781 140734249202432 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 71132 68950 595 984 0 70145 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 284528

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.15 3/179 20447
/proc/meminfo: memFree=30500920/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=317216 CPUtime=342.3
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 4277438 0 0 0 33602 628 0 0 25 0 1 0 134530184 324829184 77092 4089446400 4194304 8223781 140734249202432 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 79304 77092 595 984 0 78317 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 317216

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/179 20449
/proc/meminfo: memFree=30436548/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=351388 CPUtime=402.3
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 4853251 0 0 0 39487 743 0 0 25 0 1 0 134530184 359821312 85691 4089446400 4194304 8223781 140734249202432 18446744073709551615 6520529 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 87847 85691 595 984 0 86860 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 351388

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.13 4/179 20451
/proc/meminfo: memFree=30372268/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=385800 CPUtime=462.3
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 5416979 0 0 0 45374 856 0 0 25 0 1 0 134530184 395059200 94299 4089446400 4194304 8223781 140734249202432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 96450 94299 595 984 0 95463 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 385800

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.12 4/179 20453
/proc/meminfo: memFree=30311852/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=420508 CPUtime=522.31
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 5988194 0 0 0 51260 971 0 0 25 0 1 0 134530184 430600192 102976 4089446400 4194304 8223781 140734249202432 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 105127 102976 595 984 0 104140 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 420508

[startup+582.301 s]
/proc/loadavg: 2.09 2.03 2.12 4/179 20454
/proc/meminfo: memFree=30250316/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=453756 CPUtime=582.31
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 6585766 0 0 0 57144 1087 0 0 25 0 1 0 134530184 464646144 111324 4089446400 4194304 8223781 140734249202432 18446744073709551615 5814121 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 113439 111324 595 984 0 112452 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 453756

[startup+642.301 s]
/proc/loadavg: 2.03 2.02 2.11 3/179 20455
/proc/meminfo: memFree=30188032/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=486792 CPUtime=642.32
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 7173740 0 0 0 63031 1201 0 0 25 0 1 0 134530184 498475008 119619 4089446400 4194304 8223781 140734249202432 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 121698 119619 595 984 0 120711 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 486792

[startup+702.301 s]

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

/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 10822259 0 0 0 98347 1885 0 0 25 0 1 0 134530184 710045696 170839 4089446400 4194304 8223781 140734249202432 18446744073709551615 5813304 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 173351 170839 595 984 0 172364 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 693404

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 20467
/proc/meminfo: memFree=29756612/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=726620 CPUtime=1062.32
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 11448907 0 0 0 104228 2004 0 0 25 0 1 0 134530184 744058880 179117 4089446400 4194304 8223781 140734249202432 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 181655 179117 595 984 0 180668 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 726620

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.06 3/179 20469
/proc/meminfo: memFree=29691360/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=761268 CPUtime=1122.33
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 12073019 0 0 0 110111 2122 0 0 25 0 1 0 134530184 779538432 187792 4089446400 4194304 8223781 140734249202432 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 190317 187800 595 984 0 189330 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 761268

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/179 20473
/proc/meminfo: memFree=29633384/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=792580 CPUtime=1182.33
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 12705519 0 0 0 115998 2235 0 0 25 0 1 0 134530184 811601920 195705 4089446400 4194304 8223781 140734249202432 18446744073709551615 7073896 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 198145 195705 595 984 0 197158 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 792580

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.05 3/179 20474
/proc/meminfo: memFree=29574284/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=828068 CPUtime=1242.33
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 13298793 0 0 0 121882 2351 0 0 25 0 1 0 134530184 847941632 204578 4089446400 4194304 8223781 140734249202432 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 207017 204578 595 984 0 206030 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 828068

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/179 20476
/proc/meminfo: memFree=29515460/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=861820 CPUtime=1302.34
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 13929391 0 0 0 127759 2475 0 0 25 0 1 0 134530184 882503680 213032 4089446400 4194304 8223781 140734249202432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 215455 213032 595 984 0 214468 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 861820

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/179 20478
/proc/meminfo: memFree=29459636/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=895376 CPUtime=1362.34
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 14549865 0 0 0 133641 2593 0 0 25 0 1 0 134530184 916865024 221425 4089446400 4194304 8223781 140734249202432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 223844 221425 595 984 0 222857 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 895376

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 4/179 20480
/proc/meminfo: memFree=29401572/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=928100 CPUtime=1422.34
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 15166370 0 0 0 139532 2702 0 0 25 0 1 0 134530184 950374400 229618 4089446400 4194304 8223781 140734249202432 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 232025 229634 595 984 0 231038 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 928100

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 4/179 20481
/proc/meminfo: memFree=29342392/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=961720 CPUtime=1482.34
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 15780562 0 0 0 145413 2821 0 0 25 0 1 0 134530184 984801280 238102 4089446400 4194304 8223781 140734249202432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 240430 238102 595 984 0 239443 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 961720

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 4/179 20482
/proc/meminfo: memFree=29283080/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=995908 CPUtime=1542.34
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 16382291 0 0 0 151292 2942 0 0 25 0 1 0 134530184 1019809792 246662 4089446400 4194304 8223781 140734249202432 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 248977 246662 595 984 0 247990 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 995908

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 4/179 20484
/proc/meminfo: memFree=29221796/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=1031512 CPUtime=1602.34
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 16974202 0 0 0 157179 3055 0 0 25 0 1 0 134530184 1056268288 255602 4089446400 4194304 8223781 140734249202432 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 257878 255602 595 984 0 256891 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1031512

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.01 3/179 20486
/proc/meminfo: memFree=29159632/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=1066108 CPUtime=1662.34
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 17591034 0 0 0 163061 3173 0 0 25 0 1 0 134530184 1091694592 264244 4089446400 4194304 8223781 140734249202432 18446744073709551615 5813734 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 266527 264244 595 984 0 265540 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1066108

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20488
/proc/meminfo: memFree=29101320/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=1099340 CPUtime=1722.35
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 18259277 0 0 0 168938 3297 0 0 25 0 1 0 134530184 1125724160 272580 4089446400 4194304 8223781 140734249202432 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 274835 272580 595 984 0 273848 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1099340

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20489
/proc/meminfo: memFree=29042748/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=1133140 CPUtime=1782.34
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 18859415 0 0 0 174817 3417 0 0 25 0 1 0 134530184 1160335360 281061 4089446400 4194304 8223781 140734249202432 18446744073709551615 6003270 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 283285 281061 595 984 0 282298 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1133140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 20490
/proc/meminfo: memFree=29025372/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=1143260 CPUtime=1800.05
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 19034092 0 0 0 176552 3453 0 0 25 0 1 0 134530184 1170698240 283600 4089446400 4194304 8223781 140734249202432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20410/statm: 285815 283600 595 984 0 284828 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1143260

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20410

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20491
/proc/meminfo: memFree=29025356/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=1143260 CPUtime=1801.45
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 19034190 0 0 0 176692 3453 0 0 25 0 1 0 134530184 1170698240 283600 4089446400 4194304 8223781 140734249202432 18446744073709551615 4241142 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20410/statm: 285815 283600 595 984 0 284828 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 1143260

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 20491
/proc/meminfo: memFree=29025232/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=1143260 CPUtime=1801.85
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 19034190 0 0 0 176732 3453 0 0 25 0 1 0 134530184 1170698240 283600 4089446400 4194304 8223781 140734249202432 18446744073709551615 4241142 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20410/statm: 285815 283600 595 984 0 284828 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 1143260

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 20491
/proc/meminfo: memFree=29025232/32951124 swapFree=67111528/67111528
[pid=20410] ppid=20408 vsize=1142760 CPUtime=1802.05
/proc/20410/stat : 20410 (pbscip.linux.x8) R 20408 20410 19367 0 -1 4202496 19034193 0 0 0 176752 3453 0 0 18 0 1 0 134530184 1170186240 283526 4089446400 4194304 8223781 140734249202432 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20410/statm: 285690 283526 597 984 0 284703 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1142760

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.11
CPU user time (s): 1767.53
CPU system time (s): 34.5787
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1143456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.53
system time used= 34.5787
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19034193
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= 3
involuntary context switches= 1032

runsolver used 2.6116 second user time and 7.04493 second system time

The end

Launcher Data 

Begin job on node147 at 2010-06-30 23:12:31
IDJOB=2692632
IDBENCH=79338
IDSOLVER=1204
FILE ID=node147/2692632-1277932351
PBS_JOBID= 11197356
Free space on /tmp= 74196 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/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl--soft-0-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-2692632-1277932351/watcher-2692632-1277932351 -o /tmp/evaluation-result-2692632-1277932351/solver-2692632-1277932351 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692632-1277932351.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a305848cf761b3c7939395660924f4d7
RANDOM SEED=1899545072

node147.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.822
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.64
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.822
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	: 5226.15
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.822
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.822
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.84
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.822
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.74
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.822
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.822
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.822
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:      30886304 kB
Buffers:        223204 kB
Cached:        1506276 kB
SwapCached:          0 kB
Active:         675048 kB
Inactive:      1242888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30886304 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5144 kB
Writeback:           0 kB
AnonPages:      188552 kB
Mapped:          20352 kB
Slab:            82816 kB
PageTables:       5476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1658140 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= 74188 MiB
End job on node147 at 2010-06-30 23:42:33