Trace number 2693066

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.69 1800.63

General information on the benchmark

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

Verifier Data 

OK	9759

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693066-1277915209/watcher-2693066-1277915209 -o /tmp/evaluation-result-2693066-1277915209/solver-2693066-1277915209 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693066-1277915209.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.02 1.99 4/182 14188
/proc/meminfo: memFree=30959324/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=11008 CPUtime=0
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 132816547 11272192 1596 4089446400 4194304 9819077 140734107978080 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14188/statm: 2752 1596 392 1374 0 1373 0

[startup+0.0239291 s]
/proc/loadavg: 1.93 2.02 1.99 4/182 14188
/proc/meminfo: memFree=30959324/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=14548 CPUtime=0.02
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 2571 0 0 0 2 0 0 0 25 0 1 0 132816547 14897152 2492 4089446400 4194304 9819077 140734107978080 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14188/statm: 3637 2492 392 1374 0 2258 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14548

[startup+0.100918 s]
/proc/loadavg: 1.93 2.02 1.99 4/182 14188
/proc/meminfo: memFree=30959324/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=33636 CPUtime=0.09
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 7793 0 0 0 9 0 0 0 25 0 1 0 132816547 34443264 7334 4089446400 4194304 9819077 140734107978080 18446744073709551615 8678984 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 8409 7334 441 1374 0 7030 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33636

[startup+0.300891 s]
/proc/loadavg: 1.93 2.02 1.99 4/182 14188
/proc/meminfo: memFree=30959324/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=64232 CPUtime=0.29
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 17917 0 0 0 25 4 0 0 25 0 1 0 132816547 65773568 14635 4089446400 4194304 9819077 140734107978080 18446744073709551615 5497087 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 16058 14635 537 1374 0 14679 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64232

[startup+0.700819 s]
/proc/loadavg: 1.93 2.02 1.99 4/182 14188
/proc/meminfo: memFree=30959324/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=65272 CPUtime=0.69
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 18206 0 0 0 65 4 0 0 25 0 1 0 132816547 66838528 14924 4089446400 4194304 9819077 140734107978080 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 16318 14924 538 1374 0 14939 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65272

[startup+1.50067 s]
/proc/loadavg: 1.93 2.02 1.99 3/183 14189
/proc/meminfo: memFree=30900664/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=67016 CPUtime=1.49
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 18612 0 0 0 144 5 0 0 25 0 1 0 132816547 68624384 15330 4089446400 4194304 9819077 140734107978080 18446744073709551615 6180888 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 16754 15330 543 1374 0 15375 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67016

[startup+3.10037 s]
/proc/loadavg: 1.93 2.02 1.99 3/183 14189
/proc/meminfo: memFree=30884420/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=89120 CPUtime=3.09
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 30384 0 0 0 301 8 0 0 25 0 1 0 132816547 91258880 19575 4089446400 4194304 9819077 140734107978080 18446744073709551615 7309197 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 22280 19575 700 1374 0 20901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89120

[startup+6.30078 s]
/proc/loadavg: 1.94 2.02 1.99 3/183 14189
/proc/meminfo: memFree=30879480/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=92092 CPUtime=6.29
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 36293 0 0 0 620 9 0 0 25 0 1 0 132816547 94302208 19840 4089446400 4194304 9819077 140734107978080 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 23023 19840 700 1374 0 21644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92092

[startup+12.7006 s]
/proc/loadavg: 1.94 2.02 1.99 3/183 14189
/proc/meminfo: memFree=30871540/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=102624 CPUtime=12.7
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 78890 0 0 0 1254 16 0 0 25 0 1 0 132816547 105086976 20468 4089446400 4194304 9819077 140734107978080 18446744073709551615 7290933 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 25656 20468 727 1374 0 24277 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 102624

[startup+25.5002 s]
/proc/loadavg: 1.95 2.02 1.99 3/183 14190
/proc/meminfo: memFree=30856576/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=100672 CPUtime=25.49
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 133138 0 0 0 2525 24 0 0 25 0 1 0 132816547 103088128 22143 4089446400 4194304 9819077 140734107978080 18446744073709551615 6656758 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 25168 22143 729 1374 0 23789 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 100672

[startup+51.1005 s]
/proc/loadavg: 1.97 2.02 1.99 3/183 14191
/proc/meminfo: memFree=30840996/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=102988 CPUtime=51.09
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 264560 0 0 0 5063 46 0 0 25 0 1 0 132816547 105459712 21659 4089446400 4194304 9819077 140734107978080 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 25747 21659 732 1374 0 24368 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 102988

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14192
/proc/meminfo: memFree=30800152/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=97488 CPUtime=102.3
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 664889 0 0 0 10113 117 0 0 25 0 1 0 132816547 99827712 21777 4089446400 4194304 9819077 140734107978080 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 24372 21777 733 1374 0 22993 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 97488

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14193
/proc/meminfo: memFree=30750152/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=106568 CPUtime=162.3
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 1306362 0 0 0 16007 223 0 0 25 0 1 0 132816547 109125632 24029 4089446400 4194304 9819077 140734107978080 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 26642 24032 734 1374 0 25263 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 106568

[startup+222.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14195
/proc/meminfo: memFree=30676484/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=136428 CPUtime=222.29
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 2457283 0 0 0 21844 385 0 0 25 0 1 0 132816547 139702272 31086 4089446400 4194304 9819077 140734107978080 18446744073709551615 4675140 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 34107 31083 734 1374 0 32728 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 136428

[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14197
/proc/meminfo: memFree=30609120/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=171608 CPUtime=282.3
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 3217603 0 0 0 27729 501 0 0 25 0 1 0 132816547 175726592 38372 4089446400 4194304 9819077 140734107978080 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 42902 38372 734 1374 0 41523 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 171608

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14201
/proc/meminfo: memFree=30533488/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=195148 CPUtime=342.3
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 4394799 0 0 0 33557 673 0 0 25 0 1 0 132816547 199831552 46265 4089446400 4194304 9819077 140734107978080 18446744073709551615 7233896 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 48787 46265 734 1374 0 47408 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 195148

[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14203
/proc/meminfo: memFree=30454608/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=233224 CPUtime=402.31
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 5781037 0 0 0 39362 869 0 0 25 0 1 0 132816547 238821376 55467 4089446400 4194304 9819077 140734107978080 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 58306 55467 734 1374 0 56927 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 233224

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14204
/proc/meminfo: memFree=30372744/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=268608 CPUtime=462.31
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 7024868 0 0 0 45185 1046 0 0 25 0 1 0 132816547 275054592 64330 4089446400 4194304 9819077 140734107978080 18446744073709551615 6589128 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 67152 64296 734 1374 0 65773 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 268608

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14206
/proc/meminfo: memFree=30293852/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=306224 CPUtime=522.31
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 8235840 0 0 0 51007 1224 0 0 25 0 1 0 132816547 313573376 73750 4089446400 4194304 9819077 140734107978080 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 76556 73750 734 1374 0 75177 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 306224

[startup+582.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 14208
/proc/meminfo: memFree=30214596/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=338976 CPUtime=582.31
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 9606586 0 0 0 56808 1423 0 0 25 0 1 0 132816547 347111424 82419 4089446400 4194304 9819077 140734107978080 18446744073709551615 7226672 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 84744 82419 734 1374 0 83365 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 338976

[startup+642.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 14209
/proc/meminfo: memFree=30140040/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=373988 CPUtime=642.32
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 10288357 0 0 0 62692 1540 0 0 25 0 1 0 132816547 382963712 90866 4089446400 4194304 9819077 140734107978080 18446744073709551615 7487731 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 93497 90866 734 1374 0 92118 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 373988

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14217
/proc/meminfo: memFree=29758736/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=547564 CPUtime=942.32
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 15778444 0 0 0 91892 2340 0 0 25 0 1 0 132816547 560705536 133777 4089446400 4194304 9819077 140734107978080 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 136891 133777 734 1374 0 135512 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 547564

[startup+1002.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14219
/proc/meminfo: memFree=29683064/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=579308 CPUtime=1002.32
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 17218697 0 0 0 97699 2533 0 0 25 0 1 0 132816547 593211392 141734 4089446400 4194304 9819077 140734107978080 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 144827 141734 734 1374 0 143448 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 579308

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14220
/proc/meminfo: memFree=29603808/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=614204 CPUtime=1062.32
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 18408600 0 0 0 103533 2699 0 0 25 0 1 0 132816547 628944896 150912 4089446400 4194304 9819077 140734107978080 18446744073709551615 7222401 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 153551 150912 734 1374 0 152172 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 614204

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14222
/proc/meminfo: memFree=29525044/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=651532 CPUtime=1122.33
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 19417172 0 0 0 109382 2851 0 0 25 0 1 0 132816547 667168768 159862 4089446400 4194304 9819077 140734107978080 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 162883 159862 734 1374 0 161504 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 651532

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14328
/proc/meminfo: memFree=30737660/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=684340 CPUtime=1182.33
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 20425830 0 0 0 115232 3001 0 0 25 0 1 0 132816547 700764160 168037 4089446400 4194304 9819077 140734107978080 18446744073709551615 6360848 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14188/statm: 171085 168037 734 1374 0 169706 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 684340

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14374
/proc/meminfo: memFree=30523136/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=717360 CPUtime=1242.33
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 21299681 0 0 0 121083 3150 0 0 25 0 1 0 132816547 734576640 176345 4089446400 4194304 9819077 140734107978080 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 179340 176345 734 1374 0 177961 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 717360

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14376
/proc/meminfo: memFree=30480696/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=748624 CPUtime=1302.34
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 22276137 0 0 0 126909 3325 0 0 25 0 1 0 132816547 766590976 184155 4089446400 4194304 9819077 140734107978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 187156 184155 734 1374 0 185777 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 748624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14377
/proc/meminfo: memFree=30438508/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=782336 CPUtime=1362.34
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 23293562 0 0 0 132732 3502 0 0 25 0 1 0 132816547 801112064 192641 4089446400 4194304 9819077 140734107978080 18446744073709551615 5002109 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 195584 192641 734 1374 0 194205 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 782336

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14379
/proc/meminfo: memFree=30401904/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=809732 CPUtime=1422.34
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 24333959 0 0 0 138549 3685 0 0 25 0 1 0 132816547 829165568 199480 4089446400 4194304 9819077 140734107978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 202433 199480 734 1374 0 201054 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 809732

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14381
/proc/meminfo: memFree=30351404/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=841956 CPUtime=1482.34
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 25362578 0 0 0 144374 3860 0 0 25 0 1 0 132816547 862162944 207457 4089446400 4194304 9819077 140734107978080 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 210489 207457 734 1374 0 209110 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 841956

[startup+1542.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/201 14382
/proc/meminfo: memFree=30322096/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=867644 CPUtime=1542.35
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 26242005 0 0 0 150216 4019 0 0 25 0 1 0 132816547 888467456 213964 4089446400 4194304 9819077 140734107978080 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 216911 213964 734 1374 0 215532 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 867644

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/201 14384
/proc/meminfo: memFree=30283008/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=895756 CPUtime=1602.34
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 27061581 0 0 0 156059 4175 0 0 25 0 1 0 132816547 917254144 221042 4089446400 4194304 9819077 140734107978080 18446744073709551615 6588976 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 223939 221042 734 1374 0 222560 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 895756

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/201 14385
/proc/meminfo: memFree=30244412/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=924796 CPUtime=1662.34
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 28011149 0 0 0 161887 4347 0 0 25 0 1 0 132816547 946991104 228326 4089446400 4194304 9819077 140734107978080 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 231199 228326 734 1374 0 229820 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 924796

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 4/201 14387
/proc/meminfo: memFree=30204456/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=951840 CPUtime=1722.35
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 28989062 0 0 0 167701 4534 0 0 25 0 1 0 132816547 974684160 235101 4089446400 4194304 9819077 140734107978080 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 237960 235101 734 1374 0 236581 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 951840

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/201 14389
/proc/meminfo: memFree=30172040/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=988976 CPUtime=1782.35
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 29738368 0 0 0 173546 4689 0 0 25 0 1 0 132816547 1012711424 243274 4089446400 4194304 9819077 140734107978080 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 247244 243274 734 1374 0 245865 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 988976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 4/201 14389
/proc/meminfo: memFree=30162360/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=993192 CPUtime=1800.06
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 29929959 0 0 0 175276 4730 0 0 25 0 1 0 132816547 1017028608 245473 4089446400 4194304 9819077 140734107978080 18446744073709551615 4740310 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14188/statm: 248298 245473 734 1374 0 246919 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 993192

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

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

[startup+1800.2 s]
/proc/loadavg: 2.02 2.03 2.00 4/201 14389
/proc/meminfo: memFree=30162360/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=993192 CPUtime=1800.25
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 29929959 0 0 0 175295 4730 0 0 25 0 1 0 132816547 1017028608 245473 4089446400 4194304 9819077 140734107978080 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14188/statm: 248298 245473 734 1374 0 246919 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 993192

[startup+1800.6 s]
/proc/loadavg: 2.02 2.03 2.00 3/202 14390
/proc/meminfo: memFree=30919620/32951124 swapFree=67111528/67111528
[pid=14188] ppid=14186 vsize=231792 CPUtime=1800.65
/proc/14188/stat : 14188 (pbscip.linux.x8) R 14186 14188 13652 0 -1 4202496 29929960 0 0 0 175332 4733 0 0 25 0 1 0 132816547 237355008 55132 4089446400 4194304 9819077 140734107978080 18446744073709551615 4333616 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14188/statm: 57948 55132 735 1374 0 56569 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 231792

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.69
CPU user time (s): 1753.34
CPU system time (s): 47.3498
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 998600

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

runsolver used 2.90456 second user time and 6.92995 second system time

The end

Launcher Data 

Begin job on node135 at 2010-06-30 18:26:49
IDJOB=2693066
IDBENCH=79048
IDSOLVER=1205
FILE ID=node135/2693066-1277915209
PBS_JOBID= 11197315
Free space on /tmp= 74136 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693066-1277915209/watcher-2693066-1277915209 -o /tmp/evaluation-result-2693066-1277915209/solver-2693066-1277915209 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693066-1277915209.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8b3bb15bf42f2b763120a3c01531d890
RANDOM SEED=159087296

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.857
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.857
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:      30959852 kB
Buffers:        196036 kB
Cached:        1110044 kB
SwapCached:          0 kB
Active:        1021356 kB
Inactive:       825908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30959852 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6660 kB
Writeback:           0 kB
AnonPages:      540496 kB
Mapped:          16944 kB
Slab:            81520 kB
PageTables:       5436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   688984 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74132 MiB
End job on node135 at 2010-06-30 18:56:51