Trace number 2693004

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.62 1800.57

General information on the benchmark

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

Verifier Data 

OK	14956

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693004-1277913922/watcher-2693004-1277913922 -o /tmp/evaluation-result-2693004-1277913922/solver-2693004-1277913922 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693004-1277913922.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.89 1.99 2.12 3/178 14574
/proc/meminfo: memFree=31046664/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=10720 CPUtime=0
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 1626 0 0 0 0 0 0 0 18 0 1 0 132689027 10977280 1546 4089446400 4194304 9819077 140737318689680 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14574/statm: 2680 1546 392 1374 0 1301 0

[startup+0.048112 s]
/proc/loadavg: 1.89 1.99 2.12 3/178 14574
/proc/meminfo: memFree=31046664/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=18200 CPUtime=0.04
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 3481 0 0 0 4 0 0 0 18 0 1 0 132689027 18636800 3401 4089446400 4194304 9819077 140737318689680 18446744073709551615 4240573 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14574/statm: 4550 3401 392 1374 0 3171 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18200

[startup+0.101092 s]
/proc/loadavg: 1.89 1.99 2.12 3/178 14574
/proc/meminfo: memFree=31046664/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=36416 CPUtime=0.09
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 8442 0 0 0 9 0 0 0 18 0 1 0 132689027 37289984 8008 4089446400 4194304 9819077 140737318689680 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 9104 8023 435 1374 0 7725 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36416

[startup+0.301052 s]
/proc/loadavg: 1.89 1.99 2.12 3/178 14574
/proc/meminfo: memFree=31046664/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=58528 CPUtime=0.29
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 17762 0 0 0 26 3 0 0 18 0 1 0 132689027 59932672 13185 4089446400 4194304 9819077 140737318689680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 14632 13185 520 1374 0 13253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58528

[startup+0.70099 s]
/proc/loadavg: 1.89 1.99 2.12 3/178 14574
/proc/meminfo: memFree=31046664/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=59756 CPUtime=0.69
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 18449 0 0 0 65 4 0 0 18 0 1 0 132689027 61190144 13603 4089446400 4194304 9819077 140737318689680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 14939 13603 532 1374 0 13560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59756

[startup+1.50073 s]
/proc/loadavg: 1.89 1.99 2.12 3/179 14575
/proc/meminfo: memFree=30994512/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=61812 CPUtime=1.49
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 20326 0 0 0 142 7 0 0 20 0 1 0 132689027 63295488 13938 4089446400 4194304 9819077 140737318689680 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 15453 13963 540 1374 0 14074 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61812

[startup+3.10055 s]
/proc/loadavg: 1.89 1.99 2.12 3/179 14575
/proc/meminfo: memFree=30977524/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=84492 CPUtime=3.09
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 27988 0 0 0 298 11 0 0 25 0 1 0 132689027 86519808 18535 4089446400 4194304 9819077 140737318689680 18446744073709551615 5727768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 21123 18535 704 1374 0 19744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84492

[startup+6.30099 s]
/proc/loadavg: 1.90 1.99 2.12 3/179 14575
/proc/meminfo: memFree=30972836/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=94876 CPUtime=6.29
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 65641 0 0 0 612 17 0 0 25 0 1 0 132689027 97153024 20025 4089446400 4194304 9819077 140737318689680 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 23719 20025 730 1374 0 22340 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94876

[startup+12.7009 s]
/proc/loadavg: 1.90 1.99 2.12 3/179 14576
/proc/meminfo: memFree=30967068/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=94728 CPUtime=12.69
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 106042 0 0 0 1245 24 0 0 25 0 1 0 132689027 97001472 21798 4089446400 4194304 9819077 140737318689680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 23682 21798 730 1374 0 22303 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94728

[startup+25.5005 s]
/proc/loadavg: 1.92 1.99 2.12 3/179 14576
/proc/meminfo: memFree=30963424/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=94520 CPUtime=25.5
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 159579 0 0 0 2514 36 0 0 25 0 1 0 132689027 96788480 20599 4089446400 4194304 9819077 140737318689680 18446744073709551615 7311648 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 23630 20599 730 1374 0 22251 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 94520

[startup+51.1011 s]
/proc/loadavg: 1.95 1.99 2.11 3/179 14576
/proc/meminfo: memFree=30955584/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=96452 CPUtime=51.09
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 445679 0 0 0 5032 77 0 0 25 0 1 0 132689027 98766848 20400 4089446400 4194304 9819077 140737318689680 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 24113 20400 733 1374 0 22734 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96452

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 2.10 3/179 14578
/proc/meminfo: memFree=30944736/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=95164 CPUtime=102.29
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 1000868 0 0 0 10061 168 0 0 25 0 1 0 132689027 97447936 21097 4089446400 4194304 9819077 140737318689680 18446744073709551615 7291689 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 23791 21097 730 1374 0 22412 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 95164

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.09 3/179 14580
/proc/meminfo: memFree=30909992/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=118456 CPUtime=162.3
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 1907445 0 0 0 15914 316 0 0 25 0 1 0 132689027 121298944 27146 4089446400 4194304 9819077 140737318689680 18446744073709551615 6513088 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 29614 27146 731 1374 0 28235 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 118456

[startup+222.301 s]
/proc/loadavg: 1.99 1.99 2.09 3/179 14581
/proc/meminfo: memFree=30865576/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=149020 CPUtime=222.29
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 2603788 0 0 0 21785 444 0 0 25 0 1 0 132689027 152596480 34738 4089446400 4194304 9819077 140737318689680 18446744073709551615 6590692 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 37255 34738 732 1374 0 35876 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 149020

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 2.08 3/179 14582
/proc/meminfo: memFree=30824232/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=181328 CPUtime=282.3
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 3349063 0 0 0 27658 572 0 0 25 0 1 0 132689027 185679872 42917 4089446400 4194304 9819077 140737318689680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 45332 42917 732 1374 0 43953 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 181328

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 2.07 3/179 14584
/proc/meminfo: memFree=30774360/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=220796 CPUtime=342.3
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 3857597 0 0 0 33560 670 0 0 25 0 1 0 132689027 226095104 52704 4089446400 4194304 9819077 140737318689680 18446744073709551615 6510396 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 55199 52701 732 1374 0 53820 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 220796

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 2.07 3/179 14586
/proc/meminfo: memFree=30724484/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=262196 CPUtime=402.3
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 4359493 0 0 0 39457 773 0 0 25 0 1 0 132689027 268488704 63129 4089446400 4194304 9819077 140737318689680 18446744073709551615 7487731 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 65549 63129 732 1374 0 64170 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 262196

[startup+462.301 s]
/proc/loadavg: 2.05 2.00 2.07 3/179 14588
/proc/meminfo: memFree=30677588/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=299784 CPUtime=462.3
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 4951730 0 0 0 45337 893 0 0 25 0 1 0 132689027 306978816 72512 4089446400 4194304 9819077 140737318689680 18446744073709551615 5893780 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 74946 72512 732 1374 0 73567 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 299784

[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.07 3/179 14589
/proc/meminfo: memFree=30625856/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=337340 CPUtime=522.3
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 5648051 0 0 0 51207 1023 0 0 25 0 1 0 132689027 345436160 82007 4089446400 4194304 9819077 140737318689680 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 84335 82007 732 1374 0 82956 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 337340

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.06 3/179 14590
/proc/meminfo: memFree=30574992/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=374388 CPUtime=582.31
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 6316444 0 0 0 57088 1143 0 0 25 0 1 0 132689027 383373312 91304 4089446400 4194304 9819077 140737318689680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 93597 91304 732 1374 0 92218 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 374388

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 14592
/proc/meminfo: memFree=30527600/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=410960 CPUtime=642.31
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 6873214 0 0 0 62975 1256 0 0 25 0 1 0 132689027 420823040 99941 4089446400 4194304 9819077 140737318689680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 102740 99941 732 1374 0 101361 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 410960

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.03 3/179 14602
/proc/meminfo: memFree=30212936/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=654872 CPUtime=1002.32
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 10686505 0 0 0 98247 1985 0 0 25 0 1 0 132689027 670588928 161078 4089446400 4194304 9819077 140737318689680 18446744073709551615 4965945 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 163718 161078 732 1374 0 162339 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 654872

[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 2.02 3/179 14632
/proc/meminfo: memFree=30607016/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=692688 CPUtime=1062.31
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 11330944 0 0 0 104122 2109 0 0 25 0 1 0 132689027 709312512 170557 4089446400 4194304 9819077 140737318689680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 173172 170557 732 1374 0 171793 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 692688

[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.02 3/179 14633
/proc/meminfo: memFree=30561496/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=730304 CPUtime=1122.32
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 12063557 0 0 0 109989 2243 0 0 25 0 1 0 132689027 747831296 180079 4089446400 4194304 9819077 140737318689680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 182576 180079 732 1374 0 181197 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 730304

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/179 14634
/proc/meminfo: memFree=30516200/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=777460 CPUtime=1182.32
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 12689041 0 0 0 115869 2363 0 0 25 0 1 0 132689027 796119040 190669 4089446400 4194304 9819077 140737318689680 18446744073709551615 7334126 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 194365 190673 732 1374 0 192986 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 777460

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/179 14636
/proc/meminfo: memFree=30469180/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=809780 CPUtime=1242.32
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 13380423 0 0 0 121739 2493 0 0 25 0 1 0 132689027 829214720 199972 4089446400 4194304 9819077 140737318689680 18446744073709551615 6360803 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 202445 199972 732 1374 0 201066 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 809780

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14638
/proc/meminfo: memFree=30395620/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=850680 CPUtime=1302.33
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 14041028 0 0 0 127614 2619 0 0 25 0 1 0 132689027 871096320 210235 4089446400 4194304 9819077 140737318689680 18446744073709551615 7487724 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 212670 210235 732 1374 0 211291 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 850680

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14640
/proc/meminfo: memFree=30335448/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=896356 CPUtime=1362.32
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 14580210 0 0 0 133505 2727 0 0 25 0 1 0 132689027 917868544 221691 4089446400 4194304 9819077 140737318689680 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 224089 221691 732 1374 0 222710 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 896356

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14641
/proc/meminfo: memFree=30285332/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=939308 CPUtime=1422.33
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 15207625 0 0 0 139392 2841 0 0 25 0 1 0 132689027 961851392 232466 4089446400 4194304 9819077 140737318689680 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 234827 232466 732 1374 0 233448 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 939308

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14642
/proc/meminfo: memFree=30219704/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=979736 CPUtime=1482.33
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 15912234 0 0 0 145266 2967 0 0 25 0 1 0 132689027 1003249664 242951 4089446400 4194304 9819077 140737318689680 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 245088 242956 732 1374 0 243709 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 979736

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14644
/proc/meminfo: memFree=30154440/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=1025020 CPUtime=1542.33
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 16505867 0 0 0 151150 3083 0 0 25 0 1 0 132689027 1049620480 252943 4089446400 4194304 9819077 140737318689680 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 256255 252943 732 1374 0 254876 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1025020

[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 14649
/proc/meminfo: memFree=30078040/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=1068232 CPUtime=1602.34
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 17179530 0 0 0 157029 3205 0 0 25 0 1 0 132689027 1093869568 263783 4089446400 4194304 9819077 140737318689680 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 267058 263783 732 1374 0 265679 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1068232

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14651
/proc/meminfo: memFree=29998408/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=1110856 CPUtime=1662.34
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 17776516 0 0 0 162915 3319 0 0 25 0 1 0 132689027 1137516544 274476 4089446400 4194304 9819077 140737318689680 18446744073709551615 6670376 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 277714 274476 732 1374 0 276335 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1110856

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14652
/proc/meminfo: memFree=29920876/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=1158084 CPUtime=1722.34
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 18330503 0 0 0 168802 3432 0 0 25 0 1 0 132689027 1185878016 286320 4089446400 4194304 9819077 140737318689680 18446744073709551615 5002109 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 289521 286320 732 1374 0 288142 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1158084

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14653
/proc/meminfo: memFree=29842100/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=1199692 CPUtime=1782.34
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 18946491 0 0 0 174693 3541 0 0 25 0 1 0 132689027 1228484608 296759 4089446400 4194304 9819077 140737318689680 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 299923 296759 732 1374 0 298544 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1199692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14654
/proc/meminfo: memFree=29822008/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=1211472 CPUtime=1800.04
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 19155961 0 0 0 176426 3578 0 0 25 0 1 0 132689027 1240547328 299717 4089446400 4194304 9819077 140737318689680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14574/statm: 302868 299717 732 1374 0 301489 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1211472

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.01 2.00 3/179 14654
/proc/meminfo: memFree=29822008/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=1211336 CPUtime=1800.24
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 19156027 0 0 0 176446 3578 0 0 25 0 1 0 132689027 1240408064 299684 4089446400 4194304 9819077 140737318689680 18446744073709551615 6180700 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14574/statm: 302834 299684 733 1374 0 301455 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 1211336

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14654
/proc/meminfo: memFree=29822008/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=758944 CPUtime=1800.44
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 19156027 0 0 0 176464 3580 0 0 25 0 1 0 132689027 777158656 186586 4089446400 4194304 9819077 140737318689680 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14574/statm: 189736 186586 733 1374 0 188357 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 758944

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14654
/proc/meminfo: memFree=29822008/32950928 swapFree=67111528/67111528
[pid=14574] ppid=14572 vsize=308860 CPUtime=1800.54
/proc/14574/stat : 14574 (pbscip.linux.x8) R 14572 14574 14326 0 -1 4202496 19156027 0 0 0 176472 3582 0 0 25 0 1 0 132689027 316272640 74065 4089446400 4194304 9819077 140737318689680 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14574/statm: 77134 73984 733 1374 0 75755 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 308860

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.62
CPU user time (s): 1764.78
CPU system time (s): 35.8356
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1213000

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

runsolver used 2.90056 second user time and 5.69513 second system time

The end

Launcher Data 

Begin job on node123 at 2010-06-30 18:05:22
IDJOB=2693004
IDBENCH=79024
IDSOLVER=1205
FILE ID=node123/2693004-1277913922
PBS_JOBID= 11197326
Free space on /tmp= 74204 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-43s.smv--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-2693004-1277913922/watcher-2693004-1277913922 -o /tmp/evaluation-result-2693004-1277913922/solver-2693004-1277913922 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693004-1277913922.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 80a5fa7f2bade0e6a5ccc7308f7e3b7b
RANDOM SEED=43541984

node123.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.804
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.60
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.804
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	: 5294.59
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.804
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.804
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.75
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.804
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.804
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.71
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.804
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.804
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:     32950928 kB
MemFree:      31047068 kB
Buffers:        202224 kB
Cached:        1115256 kB
SwapCached:          0 kB
Active:         960592 kB
Inactive:       797448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31047068 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6904 kB
Writeback:           0 kB
AnonPages:      441292 kB
Mapped:          16912 kB
Slab:            79872 kB
PageTables:       5708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   601608 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= 74200 MiB
End job on node123 at 2010-06-30 18:35:24