Trace number 3447395

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.23 1800.19

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-33-100-0.wbo
MD5SUM6c1e9c16e769af261e08d494cafa9389
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.078987
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3736
Total number of constraints10457
Number of soft constraints7065
Number of constraints which are clauses10089
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints368
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 356499
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 356498
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	2269

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-3447395-1307899722/watcher-3447395-1307899722 -o /var/tmp/evaluation-result-3447395-1307899722/solver-3447395-1307899722 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447395-1307899722.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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 2.00 1.94 3/177 9650
/proc/meminfo: memFree=1617528/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=10136 CPUtime=0 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 1526 0 0 0 0 0 0 0 19 0 1 0 980202894 10379264 1480 33554432000 4194304 9128323 140737181140288 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9650/statm: 2534 1480 399 1205 0 1325 0

[startup+0.0932049 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9650
/proc/meminfo: memFree=1617528/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=34556 CPUtime=0.08 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 7651 0 0 0 8 0 0 0 19 0 1 0 980202894 35385344 7564 33554432000 4194304 9128323 140737181140288 18446744073709551615 7980987 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 8639 7567 437 1205 0 7430 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34556

[startup+0.101205 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9650
/proc/meminfo: memFree=1617528/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=37980 CPUtime=0.09 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 8485 0 0 0 9 0 0 0 19 0 1 0 980202894 38891520 8398 33554432000 4194304 9128323 140737181140288 18446744073709551615 4815436 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 9495 8398 437 1205 0 8286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37980

[startup+0.301183 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9650
/proc/meminfo: memFree=1617528/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=74296 CPUtime=0.29 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 17783 0 0 0 28 1 0 0 20 0 1 0 980202894 76079104 17035 33554432000 4194304 9128323 140737181140288 18446744073709551615 5489930 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 18574 17035 620 1205 0 17365 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74296

[startup+0.701112 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9650
/proc/meminfo: memFree=1617528/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=99788 CPUtime=0.69 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 24207 0 0 0 67 2 0 0 21 0 1 0 980202894 102182912 23076 33554432000 4194304 9128323 140737181140288 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 24947 23076 639 1205 0 23738 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99788

[startup+1.50097 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9651
/proc/meminfo: memFree=1527464/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=117256 CPUtime=1.49 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 29086 0 0 0 146 3 0 0 23 0 1 0 980202894 120070144 27762 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 29314 27762 693 1205 0 28105 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117256

[startup+3.10069 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9651
/proc/meminfo: memFree=1503284/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=127704 CPUtime=3.09 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 31315 0 0 0 304 5 0 0 25 0 1 0 980202894 130768896 29973 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 31926 29973 712 1205 0 30717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127704

[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9651
/proc/meminfo: memFree=1490440/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=141280 CPUtime=6.29 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 35079 0 0 0 621 8 0 0 25 0 1 0 980202894 144670720 33540 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 35320 33540 727 1205 0 34111 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 141280

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9652
/proc/meminfo: memFree=1478636/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=146692 CPUtime=12.69 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 49420 0 0 0 1252 17 0 0 25 0 1 0 980202894 150212608 35040 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 36673 35040 737 1205 0 35464 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 146692

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9652
/proc/meminfo: memFree=1474176/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=152200 CPUtime=25.49 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 50796 0 0 0 2518 31 0 0 25 0 1 0 980202894 155852800 36334 33554432000 4194304 9128323 140737181140288 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 38050 36334 740 1205 0 36841 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 152200

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9653
/proc/meminfo: memFree=1474112/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=152200 CPUtime=51.09 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 50820 0 0 0 5055 54 0 0 25 0 1 0 980202894 155852800 36358 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 38050 36358 740 1205 0 36841 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 152200

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9654
/proc/meminfo: memFree=1454672/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=172288 CPUtime=102.3 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 68526 0 0 0 10145 85 0 0 25 0 1 0 980202894 176422912 41094 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 43072 41094 750 1205 0 41863 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 172288

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9694
/proc/meminfo: memFree=1317064/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=195372 CPUtime=162.29 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 87164 0 0 0 16116 113 0 0 25 0 1 0 980202894 200060928 46865 33554432000 4194304 9128323 140737181140288 18446744073709551615 7346976 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 48843 46865 967 1205 0 47634 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 195372

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9695
/proc/meminfo: memFree=1295804/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=200528 CPUtime=222.29 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 101128 0 0 0 22088 141 0 0 25 0 1 0 980202894 205340672 48394 33554432000 4194304 9128323 140737181140288 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 50132 48394 865 1205 0 48923 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 200528

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9697
/proc/meminfo: memFree=1290428/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=205632 CPUtime=282.3 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 102541 0 0 0 28064 166 0 0 25 0 1 0 980202894 210567168 49706 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 51408 49706 866 1205 0 50199 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 205632

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9698
/proc/meminfo: memFree=1280704/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=209732 CPUtime=342.3 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 116087 0 0 0 34029 201 0 0 25 0 1 0 980202894 214765568 50708 33554432000 4194304 9128323 140737181140288 18446744073709551615 7357802 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 52433 50708 1006 1205 0 51224 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 209732

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9700
/proc/meminfo: memFree=1269992/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=212140 CPUtime=402.3 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 116913 0 0 0 39996 234 0 0 25 0 1 0 980202894 217231360 51334 33554432000 4194304 9128323 140737181140288 18446744073709551615 7266855 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 53035 51334 865 1205 0 51826 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 212140

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9702
/proc/meminfo: memFree=1249848/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=224832 CPUtime=462.3 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 119941 0 0 0 45972 258 0 0 25 0 1 0 980202894 230227968 54362 33554432000 4194304 9128323 140737181140288 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 56208 54362 865 1205 0 54999 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 224832

[startup+522.301 s]
/proc/loadavg: 2.08 2.02 1.94 4/178 9703
/proc/meminfo: memFree=1231452/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=236184 CPUtime=522.3 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 135466 0 0 0 51939 291 0 0 25 0 1 0 980202894 241852416 57113 33554432000 4194304 9128323 140737181140288 18446744073709551615 6505853 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 59046 57113 865 1205 0 57837 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 236184

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 9705
/proc/meminfo: memFree=1217752/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=246200 CPUtime=582.31 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 138057 0 0 0 57912 319 0 0 25 0 1 0 980202894 252108800 59656 33554432000 4194304 9128323 140737181140288 18446744073709551615 7267371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 61550 59656 865 1205 0 60341 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 246200

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 9716
/proc/meminfo: memFree=1108704/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=326928 CPUtime=882.31 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 172065 0 0 0 87799 432 0 0 25 0 1 0 980202894 334774272 79791 33554432000 4194304 9128323 140737181140288 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 81732 79791 867 1205 0 80523 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 326928

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 9717
/proc/meminfo: memFree=1091180/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=340048 CPUtime=942.32 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 176101 0 0 0 93776 456 0 0 25 0 1 0 980202894 348209152 83267 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 85012 83267 865 1205 0 83803 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 340048

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 9719
/proc/meminfo: memFree=1069432/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=354896 CPUtime=1002.31 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 179786 0 0 0 99750 481 0 0 25 0 1 0 980202894 363413504 86877 33554432000 4194304 9128323 140737181140288 18446744073709551615 7315360 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 88724 86877 865 1205 0 87515 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 354896

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 9721
/proc/meminfo: memFree=1048168/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=373384 CPUtime=1062.32 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 185254 0 0 0 105724 508 0 0 25 0 1 0 980202894 382345216 91675 33554432000 4194304 9128323 140737181140288 18446744073709551615 7191192 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 93346 91675 951 1205 0 92137 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 373384

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 9722
/proc/meminfo: memFree=1025424/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=388484 CPUtime=1122.31 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 201436 0 0 0 111697 534 0 0 25 0 1 0 980202894 397807616 95382 33554432000 4194304 9128323 140737181140288 18446744073709551615 6713353 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 97121 95382 865 1205 0 95912 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 388484

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 9724
/proc/meminfo: memFree=1012356/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=404336 CPUtime=1182.32 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 205798 0 0 0 117674 558 0 0 25 0 1 0 980202894 414040064 99173 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 101084 99173 865 1205 0 99875 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 404336

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9725
/proc/meminfo: memFree=986520/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=422788 CPUtime=1242.32 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 211042 0 0 0 123651 581 0 0 25 0 1 0 980202894 432934912 103952 33554432000 4194304 9128323 140737181140288 18446744073709551615 6712744 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 105697 103952 865 1205 0 104488 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 422788

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9727
/proc/meminfo: memFree=970588/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=432672 CPUtime=1302.33 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 213804 0 0 0 129625 608 0 0 25 0 1 0 980202894 443056128 106559 33554432000 4194304 9128323 140737181140288 18446744073709551615 7051806 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 108168 106559 865 1205 0 106959 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 432672

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 9729
/proc/meminfo: memFree=947216/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=444644 CPUtime=1362.33 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 217188 0 0 0 135601 632 0 0 25 0 1 0 980202894 455315456 109426 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 111161 109426 865 1205 0 109952 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 444644

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 9730
/proc/meminfo: memFree=928444/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=459280 CPUtime=1422.32 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 221325 0 0 0 141573 659 0 0 25 0 1 0 980202894 470302720 112956 33554432000 4194304 9128323 140737181140288 18446744073709551615 5089359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 114820 112956 871 1205 0 113611 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 459280

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 9732
/proc/meminfo: memFree=910168/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=472368 CPUtime=1482.32 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 225184 0 0 0 147548 684 0 0 25 0 1 0 980202894 483704832 116376 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 118092 116376 865 1205 0 116883 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 472368

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=897472/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=486444 CPUtime=1542.33 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 228846 0 0 0 153522 711 0 0 25 0 1 0 980202894 498118656 119904 33554432000 4194304 9128323 140737181140288 18446744073709551615 7162928 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 121611 119904 865 1205 0 120402 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 486444

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9735
/proc/meminfo: memFree=871996/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=501812 CPUtime=1602.33 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 232840 0 0 0 159495 738 0 0 25 0 1 0 980202894 513855488 123898 33554432000 4194304 9128323 140737181140288 18446744073709551615 6505901 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 125453 123898 869 1205 0 124244 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 501812

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9737
/proc/meminfo: memFree=849128/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=517864 CPUtime=1662.32 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 236777 0 0 0 165469 763 0 0 25 0 1 0 980202894 530292736 127823 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 129466 127823 865 1205 0 128257 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 517864

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9738
/proc/meminfo: memFree=822784/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=534540 CPUtime=1722.33 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 241032 0 0 0 171444 789 0 0 25 0 1 0 980202894 547368960 131905 33554432000 4194304 9128323 140737181140288 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 133635 131905 904 1205 0 132426 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 534540

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9740
/proc/meminfo: memFree=793228/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=547416 CPUtime=1782.34 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 244460 0 0 0 177419 815 0 0 25 0 1 0 980202894 560553984 135281 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 136854 135281 865 1205 0 135645 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 547416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9740
/proc/meminfo: memFree=780316/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=553248 CPUtime=1800.04 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 245778 0 0 0 179183 821 0 0 25 0 1 0 980202894 566525952 136599 33554432000 4194304 9128323 140737181140288 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9650/statm: 138312 136599 865 1205 0 137103 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 553248

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.96 3/178 9740
/proc/meminfo: memFree=780316/32951124 swapFree=67054712/67111528
[pid=9650] ppid=9648 vsize=551836 CPUtime=1800.14 cores=1,3,5,7
/proc/9650/stat : 9650 (scip-2.0.1.4.li) R 9648 9650 9270 0 -1 4202496 245781 0 0 0 179193 821 0 0 18 0 1 0 980202894 565080064 136249 33554432000 4194304 9128323 140737181140288 18446744073709551615 5196341 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9650/statm: 137959 136249 868 1205 0 136750 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 551836

Child status: 0
Real time (s): 1800.19
CPU time (s): 1800.23
CPU user time (s): 1791.99
CPU system time (s): 8.23775
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 553248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 8.23775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245784
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= 1858

runsolver used 2.81857 second user time and 6.90595 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-12 19:28:42
IDJOB=3447395
IDBENCH=79049
IDSOLVER=1944
FILE ID=node119/3447395-1307899722
RUNJOBID= node119-1307898652-9557
PBS_JOBID= 13559587
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/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl--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-3447395-1307899722/watcher-3447395-1307899722 -o /var/tmp/evaluation-result-3447395-1307899722/solver-3447395-1307899722 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447395-1307899722.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6c1e9c16e769af261e08d494cafa9389
RANDOM SEED=603943103

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.74
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.815
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.83
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.815
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.67
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.815
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.815
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.74
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.815
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:       1618212 kB
Buffers:         51064 kB
Cached:       30218332 kB
SwapCached:      10968 kB
Active:       15448504 kB
Inactive:     14941976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1618212 kB
SwapTotal:    67111528 kB
SwapFree:     67054712 kB
Dirty:           12428 kB
Writeback:           0 kB
AnonPages:      118664 kB
Mapped:          16064 kB
Slab:           879080 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   310568 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= 2856 MiB
End job on node119 at 2011-06-12 19:58:44