Trace number 2705070

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.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.56 1790.51

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

Verifier Data 

OK	6915

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705070-1278574755/watcher-2705070-1278574755 -o /tmp/evaluation-result-2705070-1278574755/solver-2705070-1278574755 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705070-1278574755.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.69 1.92 1.66 3/178 21637
/proc/meminfo: memFree=29822600/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=12348 CPUtime=0
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1926 0 0 0 0 0 0 0 21 0 1 0 25690258 12644352 1844 4089446400 4194304 10345943 140734182704736 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21637/statm: 3087 1845 429 1502 0 1580 0

[startup+0.0612861 s]
/proc/loadavg: 1.69 1.92 1.66 3/178 21637
/proc/meminfo: memFree=29822600/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=25016 CPUtime=0.05
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 5109 0 0 0 5 0 0 0 21 0 1 0 25690258 25616384 5027 4089446400 4194304 10345943 140734182704736 18446744073709551615 9134653 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21637/statm: 6254 5027 430 1502 0 4747 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25016

[startup+0.100283 s]
/proc/loadavg: 1.69 1.92 1.66 3/178 21637
/proc/meminfo: memFree=29822600/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=42072 CPUtime=0.09
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 9768 0 0 0 9 0 0 0 21 0 1 0 25690258 43081728 9332 4089446400 4194304 10345943 140734182704736 18446744073709551615 4222709 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 10518 9332 478 1502 0 9011 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42072

[startup+0.30024 s]
/proc/loadavg: 1.69 1.92 1.66 3/178 21637
/proc/meminfo: memFree=29822600/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=60620 CPUtime=0.29
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 14208 0 0 0 28 1 0 0 21 0 1 0 25690258 62074880 13772 4089446400 4194304 10345943 140734182704736 18446744073709551615 4882075 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 15155 13772 580 1502 0 13648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60620

[startup+0.700171 s]
/proc/loadavg: 1.69 1.92 1.66 3/178 21637
/proc/meminfo: memFree=29822600/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=60752 CPUtime=0.69
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 14241 0 0 0 68 1 0 0 22 0 1 0 25690258 62210048 13805 4089446400 4194304 10345943 140734182704736 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 15188 13805 580 1502 0 13681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60752

[startup+1.50303 s]
/proc/loadavg: 1.69 1.92 1.66 3/179 21638
/proc/meminfo: memFree=29768528/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=61776 CPUtime=1.5
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 14502 0 0 0 149 1 0 0 25 0 1 0 25690258 63258624 14066 4089446400 4194304 10345943 140734182704736 18446744073709551615 5604439 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 15444 14066 585 1502 0 13937 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 61776

[startup+3.10074 s]
/proc/loadavg: 1.72 1.92 1.66 3/179 21638
/proc/meminfo: memFree=29712480/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=84180 CPUtime=3.09
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 19478 0 0 0 308 1 0 0 25 0 1 0 25690258 86200320 19031 4089446400 4194304 10345943 140734182704736 18446744073709551615 6689797 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 21045 19031 761 1502 0 19538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84180

[startup+6.30018 s]
/proc/loadavg: 1.72 1.92 1.66 3/179 21638
/proc/meminfo: memFree=29700236/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=101612 CPUtime=6.29
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 32928 0 0 0 623 6 0 0 25 0 1 0 25690258 104050688 21162 4089446400 4194304 10345943 140734182704736 18446744073709551615 7542801 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 25403 21162 789 1502 0 23896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101612

[startup+12.701 s]
/proc/loadavg: 1.76 1.92 1.66 3/179 21638
/proc/meminfo: memFree=29698048/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=99016 CPUtime=12.69
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 40944 0 0 0 1260 9 0 0 25 0 1 0 25690258 101392384 21245 4089446400 4194304 10345943 140734182704736 18446744073709551615 7569478 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 24754 21245 789 1502 0 23247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99016

[startup+25.5008 s]
/proc/loadavg: 1.80 1.93 1.67 3/179 21638
/proc/meminfo: memFree=29700128/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=92528 CPUtime=25.5
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 57037 0 0 0 2536 14 0 0 25 0 1 0 25690258 94748672 20932 4089446400 4194304 10345943 140734182704736 18446744073709551615 6803329 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 23132 20932 793 1502 0 21625 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 92528

[startup+51.1003 s]
/proc/loadavg: 1.87 1.93 1.67 3/179 21639
/proc/meminfo: memFree=29695888/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=93268 CPUtime=51.09
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 87689 0 0 0 5085 24 0 0 25 0 1 0 25690258 95506432 21825 4089446400 4194304 10345943 140734182704736 18446744073709551615 7518675 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 23317 21825 793 1502 0 21810 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93268

[startup+102.306 s]
/proc/loadavg: 1.94 1.94 1.69 3/179 21640
/proc/meminfo: memFree=29687792/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=99424 CPUtime=102.3
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 159422 0 0 0 10182 48 0 0 25 0 1 0 25690258 101810176 23516 4089446400 4194304 10345943 140734182704736 18446744073709551615 7523860 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 24856 23516 789 1502 0 23349 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 99424

[startup+162.301 s]
/proc/loadavg: 1.98 1.95 1.71 3/179 21642
/proc/meminfo: memFree=29658232/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=133752 CPUtime=162.3
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 239950 0 0 0 16156 74 0 0 25 0 1 0 25690258 136962048 31195 4089446400 4194304 10345943 140734182704736 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 33438 31195 791 1502 0 31931 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 133752

[startup+222.301 s]
/proc/loadavg: 1.99 1.95 1.73 3/179 21644
/proc/meminfo: memFree=29613896/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=174824 CPUtime=222.29
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 293284 0 0 0 22136 93 0 0 25 0 1 0 25690258 179019776 41466 4089446400 4194304 10345943 140734182704736 18446744073709551615 6777441 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 43706 41466 791 1502 0 42199 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 174824

[startup+282.3 s]
/proc/loadavg: 1.99 1.96 1.74 3/179 21645
/proc/meminfo: memFree=29558556/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=215404 CPUtime=282.3
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 327796 0 0 0 28122 108 0 0 25 0 1 0 25690258 220573696 51898 4089446400 4194304 10345943 140734182704736 18446744073709551615 8160777 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 53851 51898 791 1502 0 52344 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 215404

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 21647
/proc/meminfo: memFree=29509020/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=256960 CPUtime=342.3
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 372103 0 0 0 34105 125 0 0 25 0 1 0 25690258 263127040 61259 4089446400 4194304 10345943 140734182704736 18446744073709551615 6525252 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 64240 61259 791 1502 0 62733 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 256960

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 21648
/proc/meminfo: memFree=29455176/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=293936 CPUtime=402.3
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 385362 0 0 0 40095 135 0 0 25 0 1 0 25690258 300990464 70839 4089446400 4194304 10345943 140734182704736 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 73484 70839 791 1502 0 71977 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 293936

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 21650
/proc/meminfo: memFree=29398820/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=336356 CPUtime=462.3
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 412389 0 0 0 46084 146 0 0 25 0 1 0 25690258 344428544 81338 4089446400 4194304 10345943 140734182704736 18446744073709551615 6307447 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 84089 81338 791 1502 0 82582 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 336356

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 21652
/proc/meminfo: memFree=29340488/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=379224 CPUtime=522.3
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 438491 0 0 0 52072 158 0 0 25 0 1 0 25690258 388325376 92066 4089446400 4194304 10345943 140734182704736 18446744073709551615 4246736 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 94806 92066 791 1502 0 93299 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 379224

[startup+582.301 s]
/proc/loadavg: 2.03 1.99 1.80 3/179 21653
/proc/meminfo: memFree=29289360/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=412368 CPUtime=582.3
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 485557 0 0 0 58054 176 0 0 25 0 1 0 25690258 422264832 100705 4089446400 4194304 10345943 140734182704736 18446744073709551615 6520096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 103092 100705 791 1502 0 101585 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 412368

[startup+642.301 s]
/proc/loadavg: 2.01 1.99 1.81 3/179 21655
/proc/meminfo: memFree=29234268/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=453072 CPUtime=642.31
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 505190 0 0 0 64043 188 0 0 25 0 1 0 25690258 463945728 109914 4089446400 4194304 10345943 140734182704736 18446744073709551615 6518604 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 113268 109914 791 1502 0 111761 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 453072

[startup+702.301 s]

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

/proc/meminfo: memFree=28885084/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=677924 CPUtime=1002.32
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 685170 0 0 0 99957 275 0 0 25 0 1 0 25690258 694194176 166843 4089446400 4194304 10345943 140734182704736 18446744073709551615 6003166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 169481 166843 791 1502 0 167974 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 677924

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/179 21666
/proc/meminfo: memFree=28838032/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=708164 CPUtime=1062.32
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 722130 0 0 0 105938 294 0 0 25 0 1 0 25690258 725159936 173827 4089446400 4194304 10345943 140734182704736 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 177041 173827 791 1502 0 175534 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 708164

[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 1.87 3/179 21668
/proc/meminfo: memFree=28791988/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=732536 CPUtime=1122.32
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 784925 0 0 0 111915 317 0 0 25 0 1 0 25690258 750116864 180198 4089446400 4194304 10345943 140734182704736 18446744073709551615 6358285 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 183134 180198 791 1502 0 181627 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 732536

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/179 21669
/proc/meminfo: memFree=28743844/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=761300 CPUtime=1182.32
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 837565 0 0 0 117894 338 0 0 25 0 1 0 25690258 779571200 187350 4089446400 4194304 10345943 140734182704736 18446744073709551615 6702751 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 190325 187350 791 1502 0 188818 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 761300

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 21671
/proc/meminfo: memFree=28693824/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=786676 CPUtime=1242.32
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 872188 0 0 0 123870 362 0 0 25 0 1 0 25690258 805556224 193903 4089446400 4194304 10345943 140734182704736 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 196669 193903 791 1502 0 195162 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 786676

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 21672
/proc/meminfo: memFree=28649140/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=810516 CPUtime=1302.33
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 904778 0 0 0 129854 379 0 0 25 0 1 0 25690258 829968384 200288 4089446400 4194304 10345943 140734182704736 18446744073709551615 6803054 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 202629 200288 791 1502 0 201122 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 810516

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 21683
/proc/meminfo: memFree=28596068/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=848468 CPUtime=1362.33
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 936890 0 0 0 135839 394 0 0 25 0 1 0 25690258 868831232 209061 4089446400 4194304 10345943 140734182704736 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 212117 209061 791 1502 0 210610 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 848468

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 21685
/proc/meminfo: memFree=28532800/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=887744 CPUtime=1422.33
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 951218 0 0 0 141831 402 0 0 25 0 1 0 25690258 909049856 218891 4089446400 4194304 10345943 140734182704736 18446744073709551615 6119667 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 221936 218891 791 1502 0 220429 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 887744

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 21686
/proc/meminfo: memFree=28475220/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=928064 CPUtime=1482.33
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 961877 0 0 0 147821 412 0 0 25 0 1 0 25690258 950337536 228563 4089446400 4194304 10345943 140734182704736 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 232016 228563 791 1502 0 230509 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 928064

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21688
/proc/meminfo: memFree=28415160/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=968672 CPUtime=1542.33
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 976557 0 0 0 153812 421 0 0 25 0 1 0 25690258 991920128 238909 4089446400 4194304 10345943 140734182704736 18446744073709551615 8160440 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 242168 238909 791 1502 0 240661 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 968672

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21689
/proc/meminfo: memFree=28351996/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=1009752 CPUtime=1602.33
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1005223 0 0 0 159799 434 0 0 25 0 1 0 25690258 1033986048 248781 4089446400 4194304 10345943 140734182704736 18446744073709551615 6525179 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 252438 248781 791 1502 0 250931 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1009752

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/179 21691
/proc/meminfo: memFree=28286852/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=1059484 CPUtime=1662.33
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1017295 0 0 0 165789 444 0 0 25 0 1 0 25690258 1084911616 259846 4089446400 4194304 10345943 140734182704736 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 264871 259846 791 1502 0 263364 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1059484

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21693
/proc/meminfo: memFree=28225072/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=1092620 CPUtime=1722.34
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1056088 0 0 0 171771 463 0 0 25 0 1 0 25690258 1118842880 269759 4089446400 4194304 10345943 140734182704736 18446744073709551615 7522155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 273155 269759 791 1502 0 271648 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1092620

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21694
/proc/meminfo: memFree=28167852/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=1125096 CPUtime=1782.34
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1080870 0 0 0 177753 481 0 0 25 0 1 0 25690258 1152098304 277371 4089446400 4194304 10345943 140734182704736 18446744073709551615 6108013 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 281274 277371 792 1502 0 279767 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1125096

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21694
/proc/meminfo: memFree=28165124/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=1125308 CPUtime=1785.53
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1081362 0 0 0 178072 481 0 0 25 0 1 0 25690258 1152315392 277863 4089446400 4194304 10345943 140734182704736 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 281327 277863 792 1502 0 279820 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1125308

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21712
/proc/meminfo: memFree=28823816/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=1126712 CPUtime=1788.74
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1084973 0 0 0 178391 483 0 0 25 0 1 0 25690258 1153753088 278412 4089446400 4194304 10345943 140734182704736 18446744073709551615 6119446 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 281678 278412 792 1502 0 280171 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 1126712

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21712
/proc/meminfo: memFree=28823816/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=1126712 CPUtime=1789.53
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1084973 0 0 0 178470 483 0 0 25 0 1 0 25690258 1153753088 278412 4089446400 4194304 10345943 140734182704736 18446744073709551615 6307455 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21637/statm: 281678 278412 792 1502 0 280171 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 1126712

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21722
/proc/meminfo: memFree=28706596/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=1126712 CPUtime=1790.33
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1084975 0 0 0 178550 483 0 0 18 0 1 0 25690258 1153753088 278414 4089446400 4194304 10345943 140734182704736 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21637/statm: 281678 278414 793 1502 0 280171 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 1126712

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21722
/proc/meminfo: memFree=28706596/32951124 swapFree=67111528/67111528
[pid=21637] ppid=21635 vsize=432540 CPUtime=1790.54
/proc/21637/stat : 21637 (pbscip.linux.x8) R 21635 21637 21369 0 -1 4202496 1084975 0 0 0 178568 486 0 0 18 0 1 0 25690258 442920960 80167 4089446400 4194304 10345943 140734182704736 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21637/statm: 108135 80167 792 1502 0 106628 0
Current children cumulated CPU time (s) 1790.54
Current children cumulated vsize (KiB) 432540

Child status: 0
Real time (s): 1790.51
CPU time (s): 1790.56
CPU user time (s): 1785.68
CPU system time (s): 4.87526
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1132808

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

runsolver used 3.17852 second user time and 6.15406 second system time

The end

Launcher Data 

Begin job on node108 at 2010-07-08 09:39:15
IDJOB=2705070
IDBENCH=79024
IDSOLVER=1214
FILE ID=node108/2705070-1278574755
PBS_JOBID= 11240237
Free space on /tmp= 73468 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 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-2705070-1278574755/watcher-2705070-1278574755 -o /tmp/evaluation-result-2705070-1278574755/solver-2705070-1278574755 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705070-1278574755.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 80a5fa7f2bade0e6a5ccc7308f7e3b7b
RANDOM SEED=820752671

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29823376 kB
Buffers:        150780 kB
Cached:        2663528 kB
SwapCached:          0 kB
Active:        1888832 kB
Inactive:      1089584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29823376 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26340 kB
Writeback:           0 kB
AnonPages:      163952 kB
Mapped:          17528 kB
Slab:            85636 kB
PageTables:       4472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   312864 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= 73456 MiB
End job on node108 at 2010-07-08 10:09:06