Trace number 3447453
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo |
| MD5SUM | 55bc063057ce6e5238203b79e8fa6b9b |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.046992 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 3844 |
| Total number of constraints | 11854 |
| Number of soft constraints | 7954 |
| Number of constraints which are clauses | 11610 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 244 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 399620 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 399619 |
| Biggest number in a constraint | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 99 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3447453-1307900048.wbo>
0.05/0.09 c original problem has 11798 variables (11798 bin, 0 int, 0 impl, 0 cont) and 11855 constraints
0.05/0.09 c problem read
0.05/0.09 c presolving settings loaded
0.09/0.19 c presolving:
0.19/0.22 c (round 1) 176 del vars, 498 del conss, 0 add conss, 95 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 18992 impls, 0 clqs
0.19/0.23 c (round 2) 495 del vars, 1260 del conss, 0 add conss, 134 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 19024 impls, 0 clqs
0.19/0.23 c (round 3) 1098 del vars, 1770 del conss, 0 add conss, 150 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 19058 impls, 0 clqs
0.19/0.24 c (round 4) 1560 del vars, 1941 del conss, 0 add conss, 156 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 19058 impls, 0 clqs
0.19/0.24 c (round 5) 1710 del vars, 2003 del conss, 0 add conss, 156 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 19058 impls, 0 clqs
0.19/0.26 c (round 6) 1770 del vars, 2009 del conss, 0 add conss, 7389 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 19058 impls, 0 clqs
0.29/0.30 c (round 7) 1776 del vars, 2009 del conss, 0 add conss, 7389 chg bounds, 59 chg sides, 60 chg coeffs, 3334 upgd conss, 19058 impls, 0 clqs
2.10/2.20 c (2.2s) probing: 1000/10743 (9.3%) - 0 fixings, 0 aggregations, 1907 implications, 0 bound changes
3.79/3.88 c (3.9s) probing: 2000/10743 (18.6%) - 0 fixings, 0 aggregations, 2232 implications, 0 bound changes
3.79/3.88 c (3.9s) probing: 2001/10743 (18.6%) - 0 fixings, 0 aggregations, 2232 implications, 0 bound changes
3.79/3.88 c (3.9s) probing aborted: 2000/2000 successive useless probings
3.79/3.89 c presolving (8 rounds):
3.79/3.89 c 1776 deleted vars, 2009 deleted constraints, 0 added constraints, 7389 tightened bounds, 0 added holes, 59 changed sides, 63 changed coefficients
3.79/3.89 c 32044 implications, 132 cliques
3.79/3.89 c presolved problem has 17976 variables (10743 bin, 0 int, 7233 impl, 0 cont) and 17800 constraints
3.79/3.89 c 50 constraints of type <knapsack>
3.79/3.89 c 2781 constraints of type <setppc>
3.79/3.89 c 7233 constraints of type <linear>
3.79/3.89 c 7233 constraints of type <indicator>
3.79/3.89 c 503 constraints of type <logicor>
3.79/3.89 c transformed objective value is always integral (scale: 1)
3.79/3.89 c Presolving Time: 3.78
3.79/3.89 c - non default parameters ----------------------------------------------------------------------
3.79/3.89 c # SCIP version 2.0.1.4
3.79/3.89 c
3.79/3.89 c # frequency for displaying node information lines
3.79/3.89 c # [type: int, range: [-1,2147483647], default: 100]
3.79/3.89 c display/freq = 10000
3.79/3.89 c
3.79/3.89 c # maximal time in seconds to run
3.79/3.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.89 c limits/time = 1800
3.79/3.89 c
3.79/3.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.79/3.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.89 c limits/memory = 13950
3.79/3.89 c
3.79/3.89 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.79/3.89 c # [type: int, range: [1,2], default: 1]
3.79/3.89 c timing/clocktype = 2
3.79/3.89 c
3.79/3.89 c # belongs reading time to solving time?
3.79/3.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.79/3.89 c timing/reading = TRUE
3.79/3.89 c
3.79/3.89 c # should presolving try to simplify inequalities
3.79/3.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.79/3.89 c constraints/linear/simplifyinequalities = TRUE
3.79/3.89 c
3.79/3.89 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.79/3.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.79/3.89 c constraints/indicator/addCouplingCons = TRUE
3.79/3.89 c
3.79/3.89 c # should presolving try to simplify knapsacks
3.79/3.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.79/3.89 c constraints/knapsack/simplifyinequalities = TRUE
3.79/3.89 c
3.79/3.89 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.79/3.89 c # [type: int, range: [-1,2147483647], default: -1]
3.79/3.89 c separating/rapidlearning/freq = 0
3.79/3.89 c
3.79/3.89 c -----------------------------------------------------------------------------------------------
3.79/3.89 c start solving
3.89/3.90 c
4.59/4.68 o 363933
4.59/4.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.59/4.68 c y 4.7s| 1 | 0 | 0 | - | 65M| 0 | - | 17k| 25k| 17k| 10k| 0 | 0 | 0 | -- | 3.639330e+05 | Inf
4.79/4.80 c 4.8s| 1 | 0 | 1814 | - | 65M| 0 | 99 | 17k| 25k| 17k| 10k| 0 | 0 | 0 | 0.000000e+00 | 3.639330e+05 | Inf
5.99/6.09 c 6.1s| 1 | 0 | 3693 | - | 68M| 0 | 362 | 17k| 25k| 17k| 10k| 227 | 0 | 0 | 0.000000e+00 | 3.639330e+05 | Inf
6.99/7.00 c 7.0s| 1 | 0 | 6235 | - | 69M| 0 | 317 | 17k| 25k| 17k| 11k| 533 | 0 | 0 | 0.000000e+00 | 3.639330e+05 | Inf
8.89/8.99 c 9.0s| 1 | 0 | 13259 | - | 70M| 0 | 679 | 17k| 25k| 17k| 11k|1010 | 0 | 0 | 0.000000e+00 | 3.639330e+05 | Inf
11.09/11.19 c 11.2s| 1 | 0 | 20834 | - | 71M| 0 |1094 | 17k| 25k| 17k| 12k|1600 | 0 | 0 | 0.000000e+00 | 3.639330e+05 | Inf
14.89/14.90 c 14.9s| 1 | 0 | 29165 | - | 73M| 0 | 744 | 17k| 25k| 17k| 12k|2262 | 0 | 0 | 0.000000e+00 | 3.639330e+05 | Inf
18.09/18.12 c 18.1s| 1 | 0 | 38232 | - | 74M| 0 | 746 | 17k| 25k| 17k| 13k|2842 | 0 | 0 | 0.000000e+00 | 3.639330e+05 | Inf
21.39/21.46 c 21.5s| 1 | 0 | 45138 | - | 77M| 0 | 230 | 17k| 25k| 17k| 13k|3301 | 0 | 0 | 0.000000e+00 | 3.639330e+05 | Inf
27.79/27.84 c 27.8s| 1 | 2 | 45138 | - | 77M| 0 | 230 | 17k| 25k| 17k| 13k|3301 | 0 | 28 | 0.000000e+00 | 3.639330e+05 | Inf
937.42/937.49 c 937s| 10000 | 10001 | 1182k| 113.8 | 195M| 189 | 73 | 17k| 25k| 17k| 12k|3320 | 36 |4746 | 0.000000e+00 | 3.639330e+05 | Inf
1285.33/1285.34 c 1285s| 20000 | 20001 | 1611k| 78.3 | 278M| 203 | 39 | 17k| 25k| 17k| 12k|3384 | 52 |6627 | 0.000000e+00 | 3.639330e+05 | Inf
1636.15/1636.14 c 1636s| 30000 | 30001 | 2048k| 66.8 | 361M| 203 | 34 | 17k| 25k| 17k| 12k|3695 | 56 |8691 | 0.000000e+00 | 3.639330e+05 | Inf
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) : 1800.01
1800.05/1800.01 c Solving Nodes : 35146
1800.05/1800.01 c Primal Bound : +3.63933000000000e+05 (100 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/1800.02 v x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826
1800.05/1800.02 v -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808
1800.05/1800.02 v -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791
1800.05/1800.02 v -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773
1800.05/1800.02 v -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755
1800.05/1800.02 v -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737
1800.05/1800.02 v -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719
1800.05/1800.02 v -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701
1800.05/1800.02 v -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683
1800.05/1800.02 v -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666
1800.05/1800.02 v -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 x3648
1800.05/1800.02 v -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630
1800.05/1800.02 v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612
1800.05/1800.02 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594
1800.05/1800.02 v -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576
1800.05/1800.02 v -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558
1800.05/1800.02 v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540
1800.05/1800.02 v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523
1800.05/1800.02 v -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505
1800.05/1800.02 v -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487
1800.05/1800.02 v -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469
1800.05/1800.02 v x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451
1800.05/1800.02 v -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433
1800.05/1800.02 v -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415
1800.05/1800.02 v -x3414 -x3413 -x3412 -x3411 x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397
1800.05/1800.02 v -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379
1800.05/1800.02 v -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362
1800.05/1800.02 v -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344
1800.05/1800.02 v -x3343 -x3342 -x3341 -x3340 -x3339 x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326
1800.05/1800.02 v -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308
1800.05/1800.02 v -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290
1800.05/1800.02 v -x3289 -x3288 -x3287 -x3286 -x3285 x3284 x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272
1800.05/1800.02 v -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254
1800.05/1800.02 v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236
1800.05/1800.02 v -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 x3220 x3219 x3218
1800.05/1800.02 v x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200
1800.05/1800.02 v -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182
1800.05/1800.02 v -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164
1800.05/1800.02 v -x3163 -x3162 -x3161 x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146
1800.05/1800.02 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
1800.05/1800.02 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
1800.05/1800.02 v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093
1800.05/1800.02 v -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075
1800.05/1800.02 v -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057
1800.05/1800.02 v -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
1800.05/1800.02 v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021
1800.05/1800.02 v -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003
1800.05/1800.02 v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985
1800.05/1800.02 v -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 x2970 x2969 -x2968 -x2967
1800.05/1800.02 v -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949
1800.05/1800.02 v -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932
1800.05/1800.02 v -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914
1800.05/1800.02 v x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896
1800.05/1800.02 v -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878
1800.05/1800.02 v -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860
1800.05/1800.02 v -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842
1800.05/1800.02 v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824
1800.05/1800.02 v -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806
1800.05/1800.02 v -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789
1800.05/1800.02 v -x2788 -x2787 x2786 x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770
1800.05/1800.02 v -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753
1800.05/1800.02 v -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735
1800.05/1800.02 v -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717
1800.05/1800.02 v -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699
1800.05/1800.02 v -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681
1800.05/1800.02 v -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663
1800.05/1800.02 v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 x2653 x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645
1800.05/1800.02 v -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627
1800.05/1800.02 v -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609
1800.05/1800.02 v -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 x2596 x2595 -x2594 -x2593 -x2592 -x2591
1800.05/1800.02 v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573
1800.05/1800.02 v -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
1800.05/1800.02 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 x2540 x2539 x2538 x2537
1800.05/1800.02 v -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519
1800.05/1800.02 v -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501
1800.05/1800.02 v -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484
1800.05/1800.02 v -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 x2476 x2475 x2474 x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465
1800.05/1800.02 v -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447
1800.05/1800.02 v -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429
1800.05/1800.02 v -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412
1800.05/1800.02 v -x2411 -x2410 x2409 -x2408 -x2407 -x2406 x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393
1800.05/1800.02 v -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376
1800.05/1800.02 v -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358
1800.05/1800.02 v -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 x2345 x2344 -x2343 x2342 -x2341 -x2340 -x2339
1800.05/1800.02 v -x2338 -x2337 x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321
1800.05/1800.02 v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304
1800.05/1800.02 v -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 x2286
1800.05/1800.02 v x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 x2271 -x2270 -x2269 -x2268 -x2267
1800.05/1800.02 v -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249
1800.05/1800.02 v -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231
1800.05/1800.02 v -x2230 -x2229 -x2228 -x2227 x2226 -x2225 -x2224 -x2223 -x2222 x2221 -x2220 -x2219 x2218 -x2217 -x2216 -x2215 -x2214 -x2213
1800.05/1800.02 v -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195
1800.05/1800.02 v -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177
1800.05/1800.02 v -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159
1800.05/1800.02 v -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 x2152 x2151 -x2150 x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141
1800.05/1800.02 v -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123
1800.05/1800.02 v -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105
1800.05/1800.02 v -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087
1800.05/1800.02 v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069
1800.05/1800.02 v -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052
1800.05/1800.02 v -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034
1800.05/1800.02 v -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016
1800.05/1800.02 v -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998
1800.05/1800.02 v -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980
1800.05/1800.02 v -x1979 x1978 x1977 x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962
1800.05/1800.02 v -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944
1800.05/1800.02 v -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926
1800.05/1800.02 v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908
1800.05/1800.02 v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890
1800.05/1800.02 v -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872
1800.05/1800.02 v -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855
1800.05/1800.02 v -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837
1800.05/1800.02 v -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819
1800.05/1800.02 v -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801
1800.05/1800.02 v -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783
1800.05/1800.02 v -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765
1800.05/1800.02 v -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747
1800.05/1800.02 v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729
1800.05/1800.02 v -x1728 x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711
1800.05/1800.02 v -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694
1800.05/1800.02 v -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676
1800.05/1800.02 v -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658
1800.05/1800.02 v -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640
1800.05/1800.02 v -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622
1800.05/1800.02 v -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604
1800.05/1800.02 v -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586
1800.05/1800.02 v -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569
1800.05/1800.02 v -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 x1551
1800.05/1800.02 v -x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533
1800.05/1800.02 v -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515
1800.05/1800.02 v -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497
1800.05/1800.02 v -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479
1800.05/1800.02 v -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461
1800.05/1800.02 v -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443
1800.05/1800.02 v -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 -x1426 -x1425
1800.05/1800.02 v -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407
1800.05/1800.02 v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389
1800.05/1800.02 v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371
1800.05/1800.02 v -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353
1800.05/1800.02 v -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335
1800.05/1800.02 v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317
1800.05/1800.02 v -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300 x1299
1800.05/1800.02 v x1298 x1297 x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281
1800.05/1800.02 v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263
1800.05/1800.02 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245
1800.05/1800.02 v -x1244 -x1243 -x1242 x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227
1800.05/1800.02 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209
1800.05/1800.02 v -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191
1800.05/1800.02 v -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
1800.05/1800.02 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156
1800.05/1800.02 v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138
1800.05/1800.02 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
1800.05/1800.02 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102
1800.05/1800.02 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084
1800.05/1800.02 v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1800.05/1800.02 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 x1049 x1048
1800.05/1800.02 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030
1800.05/1800.02 v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012
1800.05/1800.02 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994
1800.05/1800.02 v x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973
1800.05/1800.02 v -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952
1800.05/1800.02 v -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931
1800.05/1800.02 v -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910
1800.05/1800.02 v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889
1800.05/1800.02 v -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868
1800.05/1800.02 v -x867 -x866 x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847
1800.05/1800.02 v -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1800.05/1800.02 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
1800.05/1800.02 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1800.05/1800.02 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
1800.05/1800.02 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 x745 -x744 -x743
1800.05/1800.02 v -x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 -x733 x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721
1800.05/1800.02 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
1800.05/1800.02 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 x683 -x682 -x681 -x680
1800.05/1800.02 v -x679 -x678 -x677 -x676 x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658
1800.05/1800.02 v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
1800.05/1800.02 v -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 x620 x619 x618 x617 x616
1800.05/1800.02 v -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595
1800.05/1800.02 v -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574
1800.05/1800.02 v -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 x555 x554 x553
1800.05/1800.02 v x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
1800.05/1800.02 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
1800.05/1800.02 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
1800.05/1800.02 v -x489 x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469
1800.05/1800.02 v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
1800.05/1800.02 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427
1800.05/1800.02 v -x426 -x425 x424 x423 x422 x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
1800.05/1800.02 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
1800.05/1800.02 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 x365 x364 -x363
1800.05/1800.02 v -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
1800.05/1800.02 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
1800.05/1800.02 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 x306 x305 -x304 -x303 -x302 -x301 x300 -x299
1800.05/1800.02 v -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278
1800.05/1800.02 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
1800.05/1800.02 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
1800.05/1800.02 v x235 -x234 -x233 -x232 x231 x230 x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
1800.05/1800.02 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1800.05/1800.02 v -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172
1800.05/1800.02 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151
1800.05/1800.02 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1800.05/1800.02 v -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.05/1800.02 v -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1800.05/1800.02 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
1800.05/1800.02 v x60 x59 x58 x57 x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
1800.05/1800.02 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9
1800.05/1800.02 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Total Time : 1800.01
1800.05/1800.02 c solving : 1800.01
1800.05/1800.02 c presolving : 3.78 (included in solving)
1800.05/1800.02 c reading : 0.09 (included in solving)
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-3447453-1307900048.wbo
1800.05/1800.02 c Variables : 11798 (11798 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.02 c Constraints : 11855 initial, 11855 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-3447453-1307900048.wbo
1800.05/1800.02 c Variables : 17976 (10743 binary, 0 integer, 7233 implicit integer, 0 continuous)
1800.05/1800.02 c Constraints : 17800 initial, 25088 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.01 1521 0 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 3.57 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c varbound : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0 3
1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.08 156 99 0 7389 0 1288 0 59 60
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 721 0 0 0
1800.05/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 0 - - 0 - - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 35563 0 1595 0 0 0 0 0 70290
1800.05/1800.02 c varbound : 0+ 7 124334 418 1 0 0 0 949 2901 0 0
1800.05/1800.02 c knapsack : 50 7 129037 0 1 1592 0 0 15929 354 0 0
1800.05/1800.02 c setppc : 2781 7 129037 0 1 1591 5 0 77255 0 0 0
1800.05/1800.02 c linear : 7233 7 129037 0 1 1590 0 0 28246 0 0 0
1800.05/1800.02 c indicator : 7233 0 129037 418 1 1588 0 0 16716 0 0 0
1800.05/1800.02 c logicor : 503+ 7 19273 0 1 100 0 0 2945 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 401 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 1 102 0 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.02 c integral : 375.21 0.00 0.00 375.16 0.00 0.05 0.00
1800.05/1800.02 c varbound : 18.01 0.01 17.98 0.02 0.00 0.00 0.00
1800.05/1800.02 c knapsack : 0.44 0.00 0.38 0.00 0.00 0.05 0.00
1800.05/1800.02 c setppc : 10.45 0.00 9.67 0.00 0.00 0.78 0.00
1800.05/1800.02 c linear : 19.15 0.01 15.93 0.00 0.00 3.21 0.00
1800.05/1800.02 c indicator : 53.57 0.00 42.14 0.55 0.00 10.88 0.00
1800.05/1800.02 c logicor : 0.08 0.00 0.06 0.00 0.00 0.01 0.00
1800.05/1800.02 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.02 c vbounds : 4492 3 0 3462
1800.05/1800.02 c rootredcost : 0 0 0 0
1800.05/1800.02 c pseudoobj : 124334 0 0 0
1800.05/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.02 c vbounds : 5.07 5.07 0.00
1800.05/1800.02 c rootredcost : 0.06 0.06 0.00
1800.05/1800.02 c pseudoobj : 24.30 24.30 0.00
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.02 c infeasible LP : 0.10 59 59 59 2.5 0 0.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.02 c applied globally : - - - 59 2.5 - - -
1800.05/1800.02 c applied locally : - - - 0 0.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 6 - - 571 - (maximal pool size: 2740)
1800.05/1800.02 c redcost : 25.47 35437 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.01 7 0 0 117 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 2.05 7 0 0 3477 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 0.84 7 0 0 3477 0
1800.05/1800.02 c cmir : 1.08 7 0 0 16 0
1800.05/1800.02 c flowcover : 2.24 7 0 0 1096 0
1800.05/1800.02 c clique : 0.01 7 0 0 42 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.01 1 0 0 0 0
1800.05/1800.02 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 375.10 35145 0 0 0 0 70290
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.00 - 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c oneopt : 0.16 1 0
1800.05/1800.02 c objpscostdiving : 20.92 4 0
1800.05/1800.02 c crossover : 1.29 7 0
1800.05/1800.02 c rootsoldiving : 11.47 12 0
1800.05/1800.02 c fracdiving : 64.15 67 0
1800.05/1800.02 c guideddiving : 64.02 67 0
1800.05/1800.02 c veclendiving : 57.51 67 0
1800.05/1800.02 c linesearchdiving : 66.41 67 0
1800.05/1800.02 c coefdiving : 59.54 68 0
1800.05/1800.02 c pscostdiving : 66.99 68 0
1800.05/1800.02 c trivial : 0.02 2 0
1800.05/1800.02 c shiftandpropagate: 0.77 1 0
1800.05/1800.02 c simplerounding : 0.22 32859 0
1800.05/1800.02 c zirounding : 0.70 1000 0
1800.05/1800.02 c rounding : 1.31 2519 0
1800.05/1800.02 c shifting : 9.64 789 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c clique : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.20 1 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c vbounds : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c subnlp : 0.01 0 0
1800.05/1800.02 c trysol : 1.14 1223 100
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.01 0 0 0.00 0.00
1800.05/1800.02 c dual LP : 752.85 33246 1849104 55.62 2456.13
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 280.35 25346 423590 16.71 1510.92
1800.05/1800.02 c strong branching : 372.29 9141 662495 72.48 1779.50
1800.05/1800.02 c (at root node) : - 28 15164 541.57 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 35146
1800.05/1800.02 c nodes (total) : 35146
1800.05/1800.02 c nodes left : 35147
1800.05/1800.02 c max depth : 203
1800.05/1800.02 c max depth (total): 203
1800.05/1800.02 c backtracks : 419 (1.2%)
1800.05/1800.02 c delayed cutoffs : 0
1800.05/1800.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.02 c avg switch length: 2.13
1800.05/1800.02 c switching time : 14.16
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 100 (1 improvements)
1800.05/1800.02 c First Solution : +3.63933000000000e+05 (in run 1, after 1 nodes, 4.62 seconds, depth 2003, found by <trysol>)
1800.05/1800.02 c Primal Bound : +3.63933000000000e+05 (in run 1, after 1 nodes, 4.62 seconds, depth 2003, found by <trysol>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 45138
1800.15/1800.17 c Time complete: 1800.23.
Verifier Data
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447453-1307900048/watcher-3447453-1307900048 -o /var/tmp/evaluation-result-3447453-1307900048/solver-3447453-1307900048 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447453-1307900048.wbo -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.98 1.75 2/174 28732
/proc/meminfo: memFree=2125256/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=9988 CPUtime=0 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 1489 0 0 0 0 0 0 0 25 0 1 0 980235308 10227712 1442 33554432000 4194304 9128323 140737256906944 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28732/statm: 2497 1442 399 1205 0 1288 0
[startup+0.065898 s]
/proc/loadavg: 2.00 1.98 1.75 2/174 28732
/proc/meminfo: memFree=2125256/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=19920 CPUtime=0.05 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 3981 0 0 0 5 0 0 0 25 0 1 0 980235308 20398080 3933 33554432000 4194304 9128323 140737256906944 18446744073709551615 4337651 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28732/statm: 4980 3933 399 1205 0 3771 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19920
[startup+0.100863 s]
/proc/loadavg: 2.00 1.98 1.75 2/174 28732
/proc/meminfo: memFree=2125256/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=36676 CPUtime=0.09 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 8038 0 0 0 8 1 0 0 25 0 1 0 980235308 37556224 7966 33554432000 4194304 9128323 140737256906944 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 9169 8001 447 1205 0 7960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36676
[startup+0.300865 s]
/proc/loadavg: 2.00 1.98 1.75 2/174 28732
/proc/meminfo: memFree=2125256/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=78660 CPUtime=0.29 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 18608 0 0 0 27 2 0 0 25 0 1 0 980235308 80547840 17910 33554432000 4194304 9128323 140737256906944 18446744073709551615 5326902 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 19665 17910 541 1205 0 18456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78660
[startup+0.700783 s]
/proc/loadavg: 2.00 1.98 1.75 2/174 28732
/proc/meminfo: memFree=2125256/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=79792 CPUtime=0.69 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 19088 0 0 0 67 2 0 0 25 0 1 0 980235308 81707008 18308 33554432000 4194304 9128323 140737256906944 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 19948 18308 600 1205 0 18739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79792
[startup+1.50063 s]
/proc/loadavg: 2.00 1.98 1.75 3/175 28733
/proc/meminfo: memFree=2053600/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=80172 CPUtime=1.49 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 19183 0 0 0 147 2 0 0 25 0 1 0 980235308 82096128 18403 33554432000 4194304 9128323 140737256906944 18446744073709551615 5976123 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 20043 18403 600 1205 0 18834 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80172
[startup+3.10033 s]
/proc/loadavg: 2.00 1.98 1.76 3/175 28733
/proc/meminfo: memFree=2053104/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=81196 CPUtime=3.09 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 19443 0 0 0 307 2 0 0 25 0 1 0 980235308 83144704 18663 33554432000 4194304 9128323 140737256906944 18446744073709551615 5488380 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 20299 18663 604 1205 0 19090 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81196
[startup+6.30072 s]
/proc/loadavg: 2.00 1.98 1.76 3/175 28733
/proc/meminfo: memFree=2007964/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=129456 CPUtime=6.29 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 31578 0 0 0 624 5 0 0 25 0 1 0 980235308 132562944 30331 33554432000 4194304 9128323 140737256906944 18446744073709551615 4559925 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 32364 30331 715 1205 0 31155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 129456
[startup+12.7005 s]
/proc/loadavg: 2.00 1.98 1.76 3/175 28733
/proc/meminfo: memFree=1994460/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=136696 CPUtime=12.69 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 33946 0 0 0 1261 8 0 0 25 0 1 0 980235308 139976704 32523 33554432000 4194304 9128323 140737256906944 18446744073709551615 6694289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 34174 32523 774 1205 0 32965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 136696
[startup+25.5011 s]
/proc/loadavg: 2.07 2.00 1.77 3/175 28733
/proc/meminfo: memFree=1919684/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=204796 CPUtime=25.49 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 50776 0 0 0 2535 14 0 0 25 0 1 0 980235308 209711104 48874 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 51199 48874 780 1205 0 49990 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 204796
[startup+51.1004 s]
/proc/loadavg: 2.05 2.00 1.77 3/175 28734
/proc/meminfo: memFree=1908248/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=204796 CPUtime=51.09 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 50852 0 0 0 5083 26 0 0 25 0 1 0 980235308 209711104 48899 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 51199 48899 742 1205 0 49990 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 204796
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 1.78 3/175 28735
/proc/meminfo: memFree=1885792/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=204796 CPUtime=102.3 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 51123 0 0 0 10189 41 0 0 25 0 1 0 980235308 209711104 49169 33554432000 4194304 9128323 140737256906944 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 51199 49169 741 1205 0 49990 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 204796
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/175 28737
/proc/meminfo: memFree=1855468/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=208420 CPUtime=162.29 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 55434 0 0 0 16170 59 0 0 25 0 1 0 980235308 213422080 50531 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 52105 50531 752 1205 0 50896 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 208420
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/175 28738
/proc/meminfo: memFree=1834440/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=204796 CPUtime=222.29 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 63560 0 0 0 22151 78 0 0 25 0 1 0 980235308 209711104 49626 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 51199 49626 752 1205 0 49990 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 204796
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.82 3/175 28740
/proc/meminfo: memFree=1810052/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=204796 CPUtime=282.3 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 63563 0 0 0 28135 95 0 0 25 0 1 0 980235308 209711104 49629 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 51199 49629 752 1205 0 49990 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 204796
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.83 3/175 28745
/proc/meminfo: memFree=1783396/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=204796 CPUtime=342.3 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 75152 0 0 0 34113 117 0 0 25 0 1 0 980235308 209711104 49629 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 51199 49629 752 1205 0 49990 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 204796
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/175 28746
/proc/meminfo: memFree=1758640/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=204796 CPUtime=402.3 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 75153 0 0 0 40095 135 0 0 25 0 1 0 980235308 209711104 49630 33554432000 4194304 9128323 140737256906944 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 51199 49630 752 1205 0 49990 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 204796
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/175 28748
/proc/meminfo: memFree=1732036/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=207764 CPUtime=462.31 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 75868 0 0 0 46078 153 0 0 25 0 1 0 980235308 212750336 50345 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 51941 50345 752 1205 0 50732 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 207764
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/175 28749
/proc/meminfo: memFree=1707700/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=212636 CPUtime=522.3 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 76960 0 0 0 52062 168 0 0 25 0 1 0 980235308 217739264 51405 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 53159 51405 752 1205 0 51950 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 212636
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/175 28751
/proc/meminfo: memFree=1674900/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=218900 CPUtime=582.31 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 90219 0 0 0 58044 187 0 0 25 0 1 0 980235308 224153600 52953 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 54725 52953 752 1205 0 53516 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 218900
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 28759
/proc/meminfo: memFree=1500356/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=259372 CPUtime=882.32 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 113121 0 0 0 87963 269 0 0 25 0 1 0 980235308 265596928 63271 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 64843 63271 752 1205 0 63634 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 259372
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 28761
/proc/meminfo: memFree=1468316/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=271440 CPUtime=942.32 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 115832 0 0 0 93949 283 0 0 25 0 1 0 980235308 277954560 65982 33554432000 4194304 9128323 140737256906944 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 67860 65982 752 1205 0 66651 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 271440
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 28762
/proc/meminfo: memFree=1436032/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=282704 CPUtime=1002.33 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 118766 0 0 0 99934 299 0 0 25 0 1 0 980235308 289488896 68901 33554432000 4194304 9128323 140737256906944 18446744073709551615 7184200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 70676 68901 753 1205 0 69467 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 282704
[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 1.90 3/175 28764
/proc/meminfo: memFree=1394208/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=298916 CPUtime=1062.32 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 135873 0 0 0 105916 316 0 0 25 0 1 0 980235308 306089984 72970 33554432000 4194304 9128323 140737256906944 18446744073709551615 7192366 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 74729 72970 752 1205 0 73520 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 298916
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/175 28765
/proc/meminfo: memFree=1355336/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=311904 CPUtime=1122.32 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 139803 0 0 0 111902 330 0 0 25 0 1 0 980235308 319389696 76410 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 77976 76410 752 1205 0 76767 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 311904
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/175 28767
/proc/meminfo: memFree=1318080/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=324972 CPUtime=1182.33 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 143242 0 0 0 117888 345 0 0 25 0 1 0 980235308 332771328 79675 33554432000 4194304 9128323 140737256906944 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 81243 79675 755 1205 0 80034 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 324972
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28808
/proc/meminfo: memFree=1998556/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=339092 CPUtime=1242.33 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 146874 0 0 0 123874 359 0 0 25 0 1 0 980235308 347230208 83036 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 84773 83036 766 1205 0 83564 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 339092
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28809
/proc/meminfo: memFree=1978080/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=353964 CPUtime=1302.34 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 150898 0 0 0 129862 372 0 0 25 0 1 0 980235308 362459136 86825 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 88491 86825 788 1205 0 87282 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 353964
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28811
/proc/meminfo: memFree=1953828/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=372612 CPUtime=1362.34 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 155983 0 0 0 135848 386 0 0 25 0 1 0 980235308 381554688 91590 33554432000 4194304 9128323 140737256906944 18446744073709551615 7184260 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 93153 91590 950 1205 0 91944 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 372612
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28812
/proc/meminfo: memFree=1928688/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=387836 CPUtime=1422.34 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 159938 0 0 0 141832 402 0 0 25 0 1 0 980235308 397144064 95444 33554432000 4194304 9128323 140737256906944 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 96959 95444 977 1205 0 95750 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 387836
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28814
/proc/meminfo: memFree=1907164/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=402848 CPUtime=1482.34 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 175794 0 0 0 147815 419 0 0 25 0 1 0 980235308 412516352 98862 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 100712 98862 757 1205 0 99503 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 402848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28816
/proc/meminfo: memFree=1867660/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=415020 CPUtime=1542.35 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 179454 0 0 0 153800 435 0 0 25 0 1 0 980235308 424980480 102059 33554432000 4194304 9128323 140737256906944 18446744073709551615 7343070 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 103755 102059 752 1205 0 102546 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 415020
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28817
/proc/meminfo: memFree=1855176/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=426156 CPUtime=1602.35 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 182747 0 0 0 159786 449 0 0 25 0 1 0 980235308 436383744 105046 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 106539 105046 766 1205 0 105330 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 426156
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28828
/proc/meminfo: memFree=1826180/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=444876 CPUtime=1662.35 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 187349 0 0 0 165772 463 0 0 25 0 1 0 980235308 455553024 109422 33554432000 4194304 9128323 140737256906944 18446744073709551615 7052098 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 111219 109422 989 1205 0 110010 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 444876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28829
/proc/meminfo: memFree=1787796/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=460012 CPUtime=1722.35 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 191731 0 0 0 171759 476 0 0 25 0 1 0 980235308 471052288 113465 33554432000 4194304 9128323 140737256906944 18446744073709551615 6712903 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 115003 113465 873 1205 0 113794 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 460012
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28831
/proc/meminfo: memFree=1769844/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=473924 CPUtime=1782.35 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 195512 0 0 0 177746 489 0 0 25 0 1 0 980235308 485298176 117021 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 118481 117021 837 1205 0 117272 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 473924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28832
/proc/meminfo: memFree=1764232/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=478944 CPUtime=1800.05 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 196589 0 0 0 179512 493 0 0 25 0 1 0 980235308 490438656 118098 33554432000 4194304 9128323 140737256906944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28732/statm: 119736 118098 843 1205 0 118527 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 478944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28832
/proc/meminfo: memFree=1764232/32951124 swapFree=67062556/67111528
[pid=28732] ppid=28730 vsize=477532 CPUtime=1800.15 cores=0,2,4,6
/proc/28732/stat : 28732 (scip-2.0.1.4.li) R 28730 28732 27812 0 -1 4202496 196593 0 0 0 179522 493 0 0 18 0 1 0 980235308 488992768 117749 33554432000 4194304 9128323 140737256906944 18446744073709551615 4243376 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28732/statm: 119383 117749 847 1205 0 118174 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 477532
Child status: 0
Real time (s): 1800.18
CPU time (s): 1800.24
CPU user time (s): 1795.28
CPU system time (s): 4.95825
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 478944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.28
system time used= 4.95825
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 2106
runsolver used 2.78058 second user time and 5.54816 second system time
The end
Launcher Data
Begin job on node111 at 2011-06-12 19:34:08
IDJOB=3447453
IDBENCH=79071
IDSOLVER=1944
FILE ID=node111/3447453-1307900048
RUNJOBID= node111-1307898654-28514
PBS_JOBID= 13559593
Free space on /var/tmp= 2872 MiB
SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j301_4-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447453-1307900048/watcher-3447453-1307900048 -o /var/tmp/evaluation-result-3447453-1307900048/solver-3447453-1307900048 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447453-1307900048.wbo -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 55bc063057ce6e5238203b79e8fa6b9b
RANDOM SEED=1301438178
node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5428.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 2125568 kB
Buffers: 50572 kB
Cached: 29551800 kB
SwapCached: 11248 kB
Active: 14924140 kB
Inactive: 14972064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 2125568 kB
SwapTotal: 67111528 kB
SwapFree: 67062556 kB
Dirty: 12484 kB
Writeback: 4 kB
AnonPages: 291356 kB
Mapped: 13044 kB
Slab: 865364 kB
PageTables: 4760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 459772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /var/tmp at the end= 2860 MiB
End job on node111 at 2011-06-12 20:04:10