Trace number 2692426

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.63 1800.56

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	7088

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13389
/proc/meminfo: memFree=30441008/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=9308 CPUtime=0
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 1622 0 0 0 0 0 0 0 21 0 1 0 132666100 9531392 1541 4089446400 4194304 8223781 140733335950272 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13389/statm: 2327 1541 369 984 0 1340 0

[startup+0.0750921 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13389
/proc/meminfo: memFree=30441008/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=23260 CPUtime=0.06
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 5109 0 0 0 6 0 0 0 21 0 1 0 132666100 23818240 5028 4089446400 4194304 8223781 140733335950272 18446744073709551615 7163865 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13389/statm: 5815 5028 369 984 0 4828 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23260

[startup+0.101086 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13389
/proc/meminfo: memFree=30441008/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=29784 CPUtime=0.09
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 7087 0 0 0 8 1 0 0 21 0 1 0 132666100 30498816 6622 4089446400 4194304 8223781 140733335950272 18446744073709551615 6207449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 7446 6622 400 984 0 6459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29784

[startup+0.301048 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13389
/proc/meminfo: memFree=30441008/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=62876 CPUtime=0.29
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 17863 0 0 0 23 6 0 0 21 0 1 0 132666100 64385024 14575 4089446400 4194304 8223781 140733335950272 18446744073709551615 5953060 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 15719 14575 495 984 0 14732 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62876

[startup+0.700977 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13389
/proc/meminfo: memFree=30441008/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=64072 CPUtime=0.69
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 18182 0 0 0 62 7 0 0 22 0 1 0 132666100 65609728 14887 4089446400 4194304 8223781 140733335950272 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 16018 14887 491 984 0 15031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64072

[startup+1.50082 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13390
/proc/meminfo: memFree=30382224/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=65816 CPUtime=1.49
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 18588 0 0 0 139 10 0 0 25 0 1 0 132666100 67395584 15293 4089446400 4194304 8223781 140733335950272 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 16454 15293 496 984 0 15467 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65816

[startup+3.10057 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13390
/proc/meminfo: memFree=30365360/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=85076 CPUtime=3.09
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 26816 0 0 0 290 19 0 0 25 0 1 0 132666100 87117824 19795 4089446400 4194304 8223781 140733335950272 18446744073709551615 5736198 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 21269 19795 598 984 0 20282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85076

[startup+6.30089 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13390
/proc/meminfo: memFree=30352368/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=92716 CPUtime=6.29
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 31649 0 0 0 605 24 0 0 25 0 1 0 132666100 94941184 21570 4089446400 4194304 8223781 140733335950272 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 23179 21570 596 984 0 22192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92716

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13390
/proc/meminfo: memFree=30347920/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=93112 CPUtime=12.7
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 62176 0 0 0 1229 41 0 0 25 0 1 0 132666100 95346688 21632 4089446400 4194304 8223781 140733335950272 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 23278 21632 608 984 0 22291 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 93112

[startup+25.5002 s]
/proc/loadavg: 1.85 1.97 1.99 2/198 13453
/proc/meminfo: memFree=31583596/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=92616 CPUtime=25.49
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 110757 0 0 0 2492 57 0 0 25 0 1 0 132666100 94838784 21562 4089446400 4194304 8223781 140733335950272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 23154 21562 608 984 0 22167 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92616

[startup+51.1003 s]
/proc/loadavg: 1.84 1.95 1.98 3/179 13548
/proc/meminfo: memFree=31710956/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=94928 CPUtime=51.09
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 325496 0 0 0 5002 107 0 0 25 0 1 0 132666100 97206272 22064 4089446400 4194304 8223781 140733335950272 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 23732 22064 611 984 0 22745 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 94928

[startup+102.307 s]
/proc/loadavg: 1.93 1.96 1.98 3/179 13549
/proc/meminfo: memFree=31705040/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=95100 CPUtime=102.3
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 656555 0 0 0 10040 190 0 0 25 0 1 0 132666100 97382400 22255 4089446400 4194304 8223781 140733335950272 18446744073709551615 6592535 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13389/statm: 23775 22255 614 984 0 22788 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 95100

[startup+162.301 s]
/proc/loadavg: 1.81 1.92 1.97 3/179 13826
/proc/meminfo: memFree=31675608/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=110640 CPUtime=162.29
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 1109152 0 0 0 15924 305 0 0 25 0 1 0 132666100 113295360 26192 4089446400 4194304 8223781 140733335950272 18446744073709551615 6440144 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 27660 26192 613 984 0 26673 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 110640

[startup+222.301 s]
/proc/loadavg: 1.93 1.93 1.97 3/179 13827
/proc/meminfo: memFree=31611924/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=135344 CPUtime=222.3
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 1612701 0 0 0 21809 421 0 0 25 0 1 0 132666100 138592256 32400 4089446400 4194304 8223781 140733335950272 18446744073709551615 6521300 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 33836 32400 613 984 0 32849 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 135344

[startup+282.301 s]
/proc/loadavg: 1.97 1.94 1.97 3/179 13829
/proc/meminfo: memFree=31534248/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=163404 CPUtime=282.3
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 2010618 0 0 0 27704 526 0 0 25 0 1 0 132666100 167325696 39424 4089446400 4194304 8223781 140733335950272 18446744073709551615 6248428 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 40851 39424 613 984 0 39864 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 163404

[startup+342.301 s]
/proc/loadavg: 1.99 1.95 1.97 3/179 13830
/proc/meminfo: memFree=31448032/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=198404 CPUtime=342.3
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 2156883 0 0 0 33631 599 0 0 25 0 1 0 132666100 203165696 48246 4089446400 4194304 8223781 140733335950272 18446744073709551615 5002094 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 49601 48246 613 984 0 48614 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 198404

[startup+402.301 s]
/proc/loadavg: 2.03 1.97 1.97 3/179 13832
/proc/meminfo: memFree=31357724/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=233856 CPUtime=402.3
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 2265632 0 0 0 39564 666 0 0 25 0 1 0 132666100 239468544 57068 4089446400 4194304 8223781 140733335950272 18446744073709551615 6567930 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 58464 57068 613 984 0 57477 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 233856

[startup+462.301 s]
/proc/loadavg: 2.01 1.97 1.97 3/179 13834
/proc/meminfo: memFree=31267028/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=273572 CPUtime=462.3
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 2335267 0 0 0 45502 728 0 0 25 0 1 0 132666100 280137728 66991 4089446400 4194304 8223781 140733335950272 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 68393 66991 613 984 0 67406 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 273572

[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 13835
/proc/meminfo: memFree=31182664/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=305428 CPUtime=522.31
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 2512241 0 0 0 51420 811 0 0 25 0 1 0 132666100 312758272 74978 4089446400 4194304 8223781 140733335950272 18446744073709551615 6514364 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 76357 74978 613 984 0 75370 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 305428

[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 13837
/proc/meminfo: memFree=31099900/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=338408 CPUtime=582.31
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 2794311 0 0 0 57329 902 0 0 25 0 1 0 132666100 346529792 83245 4089446400 4194304 8223781 140733335950272 18446744073709551615 6162446 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 84602 83245 613 984 0 83615 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 338408

[startup+642.3 s]
/proc/loadavg: 2.00 1.97 1.97 3/179 13838
/proc/meminfo: memFree=31016660/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=369272 CPUtime=642.31
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 3039719 0 0 0 63247 984 0 0 25 0 1 0 132666100 378134528 90975 4089446400 4194304 8223781 140733335950272 18446744073709551615 6483541 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 92318 90975 613 984 0 91331 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 369272

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.08 2.00 1.98 3/179 13848
/proc/meminfo: memFree=30493004/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=581736 CPUtime=1002.32
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 4193072 0 0 0 98727 1505 0 0 25 0 1 0 132666100 595697664 143535 4089446400 4194304 8223781 140733335950272 18446744073709551615 6446865 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 145434 143535 613 984 0 144447 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 581736

[startup+1062.3 s]
/proc/loadavg: 2.03 2.00 1.98 3/179 13850
/proc/meminfo: memFree=30401436/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=618424 CPUtime=1062.33
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 4359760 0 0 0 104645 1588 0 0 25 0 1 0 132666100 633266176 152737 4089446400 4194304 8223781 140733335950272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 154606 152737 613 984 0 153619 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 618424

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 13851
/proc/meminfo: memFree=30311500/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=656156 CPUtime=1122.33
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 4519169 0 0 0 110556 1677 0 0 25 0 1 0 132666100 671903744 162196 4089446400 4194304 8223781 140733335950272 18446744073709551615 6328711 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 164039 162196 613 984 0 163052 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 656156

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13853
/proc/meminfo: memFree=30225532/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=688384 CPUtime=1182.34
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 4771080 0 0 0 116461 1773 0 0 25 0 1 0 132666100 704905216 170274 4089446400 4194304 8223781 140733335950272 18446744073709551615 6444445 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 172096 170274 613 984 0 171109 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 688384

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13854
/proc/meminfo: memFree=30143536/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=719376 CPUtime=1242.34
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 5008386 0 0 0 122380 1854 0 0 25 0 1 0 132666100 736641024 178049 4089446400 4194304 8223781 140733335950272 18446744073709551615 6162909 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 179844 178049 613 984 0 178857 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 719376

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13856
/proc/meminfo: memFree=30053332/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=757828 CPUtime=1302.35
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 5084042 0 0 0 128321 1914 0 0 25 0 1 0 132666100 776015872 187683 4089446400 4194304 8223781 140733335950272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 189457 187683 613 984 0 188470 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 757828

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13858
/proc/meminfo: memFree=29964244/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=793084 CPUtime=1362.34
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 5189090 0 0 0 134247 1987 0 0 25 0 1 0 132666100 812118016 196534 4089446400 4194304 8223781 140733335950272 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 198271 196534 613 984 0 197284 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 793084

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13859
/proc/meminfo: memFree=29877152/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=827468 CPUtime=1422.35
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 5369046 0 0 0 140165 2070 0 0 25 0 1 0 132666100 847327232 205150 4089446400 4194304 8223781 140733335950272 18446744073709551615 6444460 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 206867 205150 613 984 0 205880 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 827468

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13861
/proc/meminfo: memFree=29790944/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=863520 CPUtime=1482.34
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 5528694 0 0 0 146082 2152 0 0 25 0 1 0 132666100 884244480 214191 4089446400 4194304 8223781 140733335950272 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 215880 214191 613 984 0 214893 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 863520

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13862
/proc/meminfo: memFree=29701120/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=900976 CPUtime=1542.35
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 5679876 0 0 0 151994 2241 0 0 25 0 1 0 132666100 922599424 223586 4089446400 4194304 8223781 140733335950272 18446744073709551615 6456048 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 225244 223586 613 984 0 224257 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 900976

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13864
/proc/meminfo: memFree=29611544/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=937108 CPUtime=1602.35
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 5883473 0 0 0 157911 2324 0 0 25 0 1 0 132666100 959598592 232638 4089446400 4194304 8223781 140733335950272 18446744073709551615 6448516 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 234277 232638 613 984 0 233290 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 937108

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13866
/proc/meminfo: memFree=29524056/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=971952 CPUtime=1662.36
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 6089170 0 0 0 163815 2421 0 0 25 0 1 0 132666100 995278848 241384 4089446400 4194304 8223781 140733335950272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 242988 241384 613 984 0 242001 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 971952

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13867
/proc/meminfo: memFree=29436228/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=1008620 CPUtime=1722.35
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 6247070 0 0 0 169728 2507 0 0 25 0 1 0 132666100 1032826880 250583 4089446400 4194304 8223781 140733335950272 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 252155 250583 613 984 0 251168 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1008620

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13869
/proc/meminfo: memFree=29345392/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=1047040 CPUtime=1782.36
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 6405120 0 0 0 175645 2591 0 0 25 0 1 0 132666100 1072168960 260201 4089446400 4194304 8223781 140733335950272 18446744073709551615 6003593 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 261760 260201 613 984 0 260773 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1047040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13873
/proc/meminfo: memFree=29318564/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=1057444 CPUtime=1800.07
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 6444698 0 0 0 177393 2614 0 0 25 0 1 0 132666100 1082822656 262822 4089446400 4194304 8223781 140733335950272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13389/statm: 264361 262822 613 984 0 263374 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1057444

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.00 2.00 1.98 3/179 13873
/proc/meminfo: memFree=29318564/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=1057444 CPUtime=1800.26
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 6444698 0 0 0 177412 2614 0 0 25 0 1 0 132666100 1082822656 262822 4089446400 4194304 8223781 140733335950272 18446744073709551615 4241142 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13389/statm: 264361 262822 613 984 0 263374 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 1057444

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13873
/proc/meminfo: memFree=29318564/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=767016 CPUtime=1800.46
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 6444700 0 0 0 177431 2615 0 0 25 0 1 0 132666100 785424384 189964 4089446400 4194304 8223781 140733335950272 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13389/statm: 191498 189964 615 984 0 190511 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 767016

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13873
/proc/meminfo: memFree=29318564/32950928 swapFree=67111528/67111528
[pid=13389] ppid=13387 vsize=278984 CPUtime=1800.56
/proc/13389/stat : 13389 (pbscip.linux.x8) R 13387 13389 12716 0 -1 4202496 6444700 0 0 0 177439 2617 0 0 25 0 1 0 132666100 285679616 68212 4089446400 4194304 8223781 140733335950272 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13389/statm: 69697 68163 615 984 0 68710 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 278984

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.63
CPU user time (s): 1774.45
CPU system time (s): 26.184
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1057444

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

runsolver used 2.54961 second user time and 5.80212 second system time

The end

Launcher Data 

Begin job on node127 at 2010-06-30 18:26:45
IDJOB=2692426
IDBENCH=79048
IDSOLVER=1204
FILE ID=node127/2692426-1277915204
PBS_JOBID= 11197273
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692426-1277915204/watcher-2692426-1277915204 -o /tmp/evaluation-result-2692426-1277915204/solver-2692426-1277915204 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692426-1277915204.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8b3bb15bf42f2b763120a3c01531d890
RANDOM SEED=1926394866

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30441288 kB
Buffers:        202896 kB
Cached:         717212 kB
SwapCached:          0 kB
Active:        1861844 kB
Inactive:       502112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30441288 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5240 kB
Writeback:           0 kB
AnonPages:     1443724 kB
Mapped:          16492 kB
Slab:            78004 kB
PageTables:       7972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1615800 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74196 MiB
End job on node127 at 2010-06-30 18:56:47