Trace number 2705353

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1791.72 1791.68

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

Verifier Data 

OK	16498

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705353-1278578357/watcher-2705353-1278578357 -o /tmp/evaluation-result-2705353-1278578357/solver-2705353-1278578357 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705353-1278578357.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 1.98 1.94 3/178 23378
/proc/meminfo: memFree=29443292/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=12336 CPUtime=0
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1930 0 0 0 0 0 0 0 21 0 1 0 26048521 12632064 1849 4089446400 4194304 10345943 140734704423984 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23378/statm: 3084 1857 429 1502 0 1577 0

[startup+0.033705 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 23378
/proc/meminfo: memFree=29443292/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=22064 CPUtime=0.02
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 4351 0 0 0 2 0 0 0 21 0 1 0 26048521 22593536 4269 4089446400 4194304 10345943 140734704423984 18446744073709551615 4428980 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23378/statm: 5516 4269 430 1502 0 4009 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22064

[startup+0.100685 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 23378
/proc/meminfo: memFree=29443292/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=41068 CPUtime=0.09
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 9124 0 0 0 9 0 0 0 21 0 1 0 26048521 42053632 9042 4089446400 4194304 10345943 140734704423984 18446744073709551615 5755186 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23378/statm: 10267 9042 430 1502 0 8760 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41068

[startup+0.300644 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 23378
/proc/meminfo: memFree=29443292/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=99576 CPUtime=0.29
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 23356 0 0 0 27 2 0 0 21 0 1 0 26048521 101965824 22884 4089446400 4194304 10345943 140734704423984 18446744073709551615 4246696 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23378/statm: 24894 22884 509 1502 0 23387 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99576

[startup+0.700586 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 23378
/proc/meminfo: memFree=29443292/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=99576 CPUtime=0.69
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 23356 0 0 0 67 2 0 0 22 0 1 0 26048521 101965824 22884 4089446400 4194304 10345943 140734704423984 18446744073709551615 4246693 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 24894 22884 509 1502 0 23387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99576

[startup+1.50045 s]
/proc/loadavg: 1.92 1.98 1.94 3/179 23379
/proc/meminfo: memFree=29351152/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=106584 CPUtime=1.49
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 25132 0 0 0 147 2 0 0 25 0 1 0 26048521 109142016 24628 4089446400 4194304 10345943 140734704423984 18446744073709551615 5608464 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 26646 24628 575 1502 0 25139 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106584

[startup+3.10116 s]
/proc/loadavg: 1.92 1.98 1.94 3/179 23379
/proc/meminfo: memFree=29322632/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=135904 CPUtime=3.09
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 45175 0 0 0 304 5 0 0 20 0 1 0 26048521 139165696 30806 4089446400 4194304 10345943 140734704423984 18446744073709551615 7539715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 33976 30806 745 1502 0 32469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 135904

[startup+6.30058 s]
/proc/loadavg: 1.93 1.98 1.94 3/179 23379
/proc/meminfo: memFree=29315696/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=135924 CPUtime=6.29
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 122646 0 0 0 614 15 0 0 25 0 1 0 26048521 139186176 30933 4089446400 4194304 10345943 140734704423984 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 33981 30933 753 1502 0 32474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 135924

[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.94 3/179 23379
/proc/meminfo: memFree=29306764/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=138244 CPUtime=12.69
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 235839 0 0 0 1241 28 0 0 25 0 1 0 26048521 141561856 31700 4089446400 4194304 10345943 140734704423984 18446744073709551615 6864649 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 34561 31700 754 1502 0 33054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138244

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.94 3/179 23380
/proc/meminfo: memFree=29287836/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=135588 CPUtime=25.49
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 578526 0 0 0 2483 66 0 0 25 0 1 0 26048521 138842112 31524 4089446400 4194304 10345943 140734704423984 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 33897 31524 754 1502 0 32390 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 135588

[startup+51.1007 s]
/proc/loadavg: 1.96 1.98 1.94 3/179 23381
/proc/meminfo: memFree=29256808/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=140888 CPUtime=51.09
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 938319 0 0 0 5002 107 0 0 25 0 1 0 26048521 144269312 32835 4089446400 4194304 10345943 140734704423984 18446744073709551615 7598588 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 35222 32835 755 1502 0 33715 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140888

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.94 3/179 23382
/proc/meminfo: memFree=29181252/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=160016 CPUtime=102.29
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1011620 0 0 0 10104 125 0 0 25 0 1 0 26048521 163856384 37546 4089446400 4194304 10345943 140734704423984 18446744073709551615 7507723 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 40004 37546 766 1502 0 38497 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 160016

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23383
/proc/meminfo: memFree=29096876/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=187556 CPUtime=162.29
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1059105 0 0 0 16089 140 0 0 25 0 1 0 26048521 192057344 44419 4089446400 4194304 10345943 140734704423984 18446744073709551615 6853993 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23378/statm: 46889 44419 766 1502 0 45382 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 187556

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23385
/proc/meminfo: memFree=28979012/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=214448 CPUtime=222.29
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1138228 0 0 0 22069 160 0 0 25 0 1 0 26048521 219594752 51154 4089446400 4194304 10345943 140734704423984 18446744073709551615 6756365 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 53612 51154 766 1502 0 52105 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 214448

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23387
/proc/meminfo: memFree=28855468/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=244664 CPUtime=282.3
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1178708 0 0 0 28057 173 0 0 25 0 1 0 26048521 250535936 58587 4089446400 4194304 10345943 140734704423984 18446744073709551615 6003033 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 61166 58587 766 1502 0 59659 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 244664

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23389
/proc/meminfo: memFree=28769240/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=277732 CPUtime=342.3
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1189461 0 0 0 34047 183 0 0 25 0 1 0 26048521 284397568 66918 4089446400 4194304 10345943 140734704423984 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 69433 66918 766 1502 0 67926 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 277732

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23390
/proc/meminfo: memFree=28699136/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=309760 CPUtime=402.3
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1210581 0 0 0 40035 195 0 0 25 0 1 0 26048521 317194240 75054 4089446400 4194304 10345943 140734704423984 18446744073709551615 6307378 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 77440 75054 766 1502 0 75933 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 309760

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23391
/proc/meminfo: memFree=28632752/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=341556 CPUtime=462.3
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1221009 0 0 0 46025 205 0 0 25 0 1 0 26048521 349753344 83013 4089446400 4194304 10345943 140734704423984 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 85389 83013 766 1502 0 83882 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 341556

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23393
/proc/meminfo: memFree=28574528/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=375728 CPUtime=522.3
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1230617 0 0 0 52014 216 0 0 25 0 1 0 26048521 384745472 91520 4089446400 4194304 10345943 140734704423984 18446744073709551615 6803086 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 93932 91520 766 1502 0 92425 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 375728

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23395
/proc/meminfo: memFree=28531700/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=413224 CPUtime=582.31
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1240946 0 0 0 58005 226 0 0 25 0 1 0 26048521 423141376 100979 4089446400 4194304 10345943 140734704423984 18446744073709551615 7519607 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 103306 100979 766 1502 0 101799 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 413224

[startup+642.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 23397
/proc/meminfo: memFree=28444864/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=496208 CPUtime=642.31
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1279249 0 0 0 63994 237 0 0 25 0 1 0 26048521 508116992 121711 4089446400 4194304 10345943 140734704423984 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 124052 121711 767 1502 0 122545 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 496208

[startup+702.301 s]

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

/proc/meminfo: memFree=28236328/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=694892 CPUtime=1062.31
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1357315 0 0 0 105963 268 0 0 25 0 1 0 26048521 711569408 171110 4089446400 4194304 10345943 140734704423984 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 173723 171110 767 1502 0 172216 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 694892

[startup+1122.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/179 23409
/proc/meminfo: memFree=28209612/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=719908 CPUtime=1122.31
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1363760 0 0 0 111960 271 0 0 25 0 1 0 26048521 737185792 177554 4089446400 4194304 10345943 140734704423984 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 179977 177554 767 1502 0 178470 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 719908

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 23411
/proc/meminfo: memFree=28181556/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=747752 CPUtime=1182.32
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1370731 0 0 0 117957 275 0 0 25 0 1 0 26048521 765698048 184524 4089446400 4194304 10345943 140734704423984 18446744073709551615 6119433 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 186938 184524 767 1502 0 185431 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 747752

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23413
/proc/meminfo: memFree=28150264/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=779740 CPUtime=1242.32
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1378401 0 0 0 123953 279 0 0 25 0 1 0 26048521 798453760 192193 4089446400 4194304 10345943 140734704423984 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 194935 192193 767 1502 0 193428 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 779740

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23414
/proc/meminfo: memFree=28122080/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=806728 CPUtime=1302.33
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1385361 0 0 0 129949 284 0 0 25 0 1 0 26048521 826089472 199153 4089446400 4194304 10345943 140734704423984 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 201682 199153 767 1502 0 200175 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 806728

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 23424
/proc/meminfo: memFree=28091872/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=835276 CPUtime=1362.33
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1404877 0 0 0 135944 289 0 0 25 0 1 0 26048521 855322624 206368 4089446400 4194304 10345943 140734704423984 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 208819 206368 767 1502 0 207312 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 835276

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 23426
/proc/meminfo: memFree=28064040/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=860460 CPUtime=1422.33
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1412627 0 0 0 141939 294 0 0 25 0 1 0 26048521 881111040 212605 4089446400 4194304 10345943 140734704423984 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 215115 212605 767 1502 0 213608 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 860460

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23428
/proc/meminfo: memFree=28035856/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=887028 CPUtime=1482.33
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1419287 0 0 0 147936 297 0 0 25 0 1 0 26048521 908316672 219265 4089446400 4194304 10345943 140734704423984 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 221757 219265 767 1502 0 220250 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 887028

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23430
/proc/meminfo: memFree=28008160/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=914012 CPUtime=1542.32
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1426131 0 0 0 153930 302 0 0 25 0 1 0 26048521 935948288 226109 4089446400 4194304 10345943 140734704423984 18446744073709551615 4454103 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 228503 226109 767 1502 0 226996 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 914012

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 23431
/proc/meminfo: memFree=27977748/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=943364 CPUtime=1602.33
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1433740 0 0 0 159926 307 0 0 25 0 1 0 26048521 966004736 233410 4089446400 4194304 10345943 140734704423984 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 235841 233410 767 1502 0 234334 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 943364

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/179 23432
/proc/meminfo: memFree=27946208/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=968820 CPUtime=1662.33
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1440081 0 0 0 165923 310 0 0 25 0 1 0 26048521 992071680 239751 4089446400 4194304 10345943 140734704423984 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 242205 239751 767 1502 0 240698 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 968820

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 23434
/proc/meminfo: memFree=27916156/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=996904 CPUtime=1722.33
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1447104 0 0 0 171919 314 0 0 25 0 1 0 26048521 1020829696 246774 4089446400 4194304 10345943 140734704423984 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 249226 246774 767 1502 0 247719 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 996904

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 23463
/proc/meminfo: memFree=28457492/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=1023452 CPUtime=1782.34
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1453567 0 0 0 177915 319 0 0 25 0 1 0 26048521 1048014848 253237 4089446400 4194304 10345943 140734704423984 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 255863 253237 767 1502 0 254356 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1023452

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 23463
/proc/meminfo: memFree=28450296/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=1023452 CPUtime=1785.54
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1453894 0 0 0 178235 319 0 0 25 0 1 0 26048521 1048014848 253564 4089446400 4194304 10345943 140734704423984 18446744073709551615 4227621 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 255863 253564 767 1502 0 254356 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1023452

[startup+1788.7 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 23463
/proc/meminfo: memFree=28439380/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=1024500 CPUtime=1788.73
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1454164 0 0 0 178554 319 0 0 25 0 1 0 26048521 1049088000 253834 4089446400 4194304 10345943 140734704423984 18446744073709551615 4696462 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23378/statm: 256125 253834 767 1502 0 254618 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 1024500

[startup+1790.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 23463
/proc/meminfo: memFree=28435784/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=1024500 CPUtime=1790.33
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1454208 0 0 0 178714 319 0 0 25 0 1 0 26048521 1049088000 253878 4089446400 4194304 10345943 140734704423984 18446744073709551615 9138254 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23378/statm: 256125 253878 767 1502 0 254618 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 1024500

[startup+1791.1 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 23463
/proc/meminfo: memFree=28424996/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=1024500 CPUtime=1791.13
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1454208 0 0 0 178794 319 0 0 25 0 1 0 26048521 1049088000 253878 4089446400 4194304 10345943 140734704423984 18446744073709551615 9138254 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23378/statm: 256125 253878 767 1502 0 254618 0
Current children cumulated CPU time (s) 1791.13
Current children cumulated vsize (KiB) 1024500

[startup+1791.5 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 23463
/proc/meminfo: memFree=28424996/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=1024500 CPUtime=1791.53
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1454212 0 0 0 178834 319 0 0 25 0 1 0 26048521 1049088000 253882 4089446400 4194304 10345943 140734704423984 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23378/statm: 256125 253882 771 1502 0 254618 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 1024500

[startup+1791.6 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 23463
/proc/meminfo: memFree=28424996/32951124 swapFree=67111528/67111528
[pid=23378] ppid=23376 vsize=1024500 CPUtime=1791.63
/proc/23378/stat : 23378 (pbscip.linux.x8) R 23376 23378 22881 0 -1 4202496 1454212 0 0 0 178844 319 0 0 25 0 1 0 26048521 1049088000 253882 4089446400 4194304 10345943 140734704423984 18446744073709551615 4751208 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23378/statm: 256125 253882 771 1502 0 254618 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (KiB) 1024500

Child status: 0
Real time (s): 1791.68
CPU time (s): 1791.72
CPU user time (s): 1788.49
CPU system time (s): 3.23151
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1024500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.49
system time used= 3.23151
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1454215
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 18573

runsolver used 2.84157 second user time and 6.92695 second system time

The end

Launcher Data 

Begin job on node140 at 2010-07-08 10:39:17
IDJOB=2705353
IDBENCH=79338
IDSOLVER=1214
FILE ID=node140/2705353-1278578357
PBS_JOBID= 11240175
Free space on /tmp= 73688 MiB

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

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

MD5SUM BENCH= a305848cf761b3c7939395660924f4d7
RANDOM SEED=764370404

node140.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.817
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.63
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.817
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	: 5261.06
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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.77
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.817
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.80
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.817
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.74
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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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:      29443448 kB
Buffers:        157948 kB
Cached:        3038016 kB
SwapCached:          0 kB
Active:        1278424 kB
Inactive:      2063224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29443448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26184 kB
Writeback:           0 kB
AnonPages:      145832 kB
Mapped:          17516 kB
Slab:           101236 kB
PageTables:       4456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   289976 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= 73676 MiB
End job on node140 at 2010-07-08 11:09:09