Trace number 3693479

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedOPT24 19.1141 19.1173

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
MD5SUMd6135de924aeb400fc0f7d1c419e5860
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark2.67559
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6080
Total number of constraints18113
Number of constraints which are clauses18113
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint125
Number of terms in the objective function 2975
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2975
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2975
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3693479-1338035080.opb>
0.00/0.05	c original problem has 6080 variables (6080 bin, 0 int, 0 impl, 0 cont) and 18113 constraints
0.00/0.05	c problem read in 0.05
0.09/0.11	c presolving:
0.19/0.23	c (round 1) 3411 del vars, 6326 del conss, 0 add conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29002 impls, 0 clqs
0.19/0.24	c (round 2) 3411 del vars, 7395 del conss, 0 add conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29002 impls, 0 clqs
0.29/0.30	c (round 3) 3411 del vars, 7406 del conss, 0 add conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10689 upgd conss, 29002 impls, 0 clqs
0.29/0.32	c (round 4) 3411 del vars, 7406 del conss, 0 add conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10707 upgd conss, 29002 impls, 0 clqs
0.29/0.37	c    (0.4s) probing: 51/2669 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.37	c    (0.4s) probing aborted: 50/50 successive totally useless probings
0.29/0.37	c (round 5) 3411 del vars, 7418 del conss, 4 add conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10707 upgd conss, 29002 impls, 0 clqs
0.29/0.39	c presolving (6 rounds):
0.29/0.39	c  3411 deleted vars, 7418 deleted constraints, 4 added constraints, 487 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.39	c  29002 implications, 0 cliques
0.29/0.39	c presolved problem has 2669 variables (2669 bin, 0 int, 0 impl, 0 cont) and 10699 constraints
0.29/0.39	c   10500 constraints of type <setppc>
0.29/0.39	c       4 constraints of type <and>
0.29/0.39	c     195 constraints of type <logicor>
0.29/0.39	c transformed objective value is always integral (scale: 1)
0.29/0.39	c Presolving Time: 0.32
0.29/0.39	c - non default parameters ----------------------------------------------------------------------
0.29/0.39	c # SCIP version 2.1.1.4
0.29/0.39	c 
0.29/0.39	c # maximal time in seconds to run
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39	c limits/time = 1797
0.29/0.39	c 
0.29/0.39	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39	c limits/memory = 13950
0.29/0.39	c 
0.29/0.39	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.39	c # [type: int, range: [1,2], default: 1]
0.29/0.39	c timing/clocktype = 2
0.29/0.39	c 
0.29/0.39	c # belongs reading time to solving time?
0.29/0.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39	c timing/reading = TRUE
0.29/0.39	c 
0.29/0.39	c -----------------------------------------------------------------------------------------------
0.29/0.39	c start solving
0.29/0.39	c 
0.49/0.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.59	c   0.6s|     1 |     0 |   924 |     - |  27M|   0 | 180 |2669 |  10k|2669 |  10k|   0 |  24 |   0 | 2.298877e+01 |      --      |    Inf 
0.49/0.59	o 50
0.49/0.59	c R 0.6s|     1 |     0 |   924 |     - |  27M|   0 | 180 |2669 |  10k|2669 |  10k|   0 |  24 |   0 | 2.298877e+01 | 5.000000e+01 | 117.50%
0.89/0.94	c   0.9s|     1 |     0 |   984 |     - |  28M|   0 | 181 |2669 |  10k|2669 |  10k|   4 |  24 |   0 | 2.307090e+01 | 5.000000e+01 | 116.72%
0.89/0.94	o 48
0.89/0.94	c b 0.9s|     1 |     0 |   984 |     - |  28M|   0 | 181 |2669 |  10k|2669 |  10k|   4 |  24 |   0 | 2.307090e+01 | 4.800000e+01 | 108.05%
1.19/1.27	c   1.3s|     1 |     0 |  1021 |     - |  29M|   0 | 166 |2669 |  10k|2669 |  10k|   7 |  24 |   0 | 2.309427e+01 | 4.800000e+01 | 107.84%
1.69/1.73	c   1.7s|     1 |     0 |  1052 |     - |  30M|   0 | 157 |2669 |  10k|2669 |  10k|  10 |  24 |   0 | 2.311111e+01 | 4.800000e+01 | 107.69%
1.69/1.73	o 48
1.69/1.73	c s 1.7s|     1 |     0 |  1052 |     - |  30M|   0 | 157 |2669 |  10k|2669 |  10k|  10 |  24 |   0 | 2.311111e+01 | 4.800000e+01 | 107.69%
2.09/2.14	c   2.1s|     1 |     0 |  1313 |     - |  31M|   0 | 177 |2669 |  10k|2669 |  10k|  12 |  24 |   0 | 2.400000e+01 | 4.800000e+01 | 100.00%
2.49/2.51	c   2.5s|     1 |     0 |  1385 |     - |  32M|   0 | 228 |2669 |  10k|2669 |  10k|  19 |  24 |   0 | 2.400000e+01 | 4.800000e+01 | 100.00%
3.79/3.84	c   3.8s|     1 |     0 |  1443 |     - |  32M|   0 | 225 |2669 |  10k|2669 |  10k|  24 |  24 |   0 | 2.400000e+01 | 4.800000e+01 | 100.00%
5.50/5.51	c   5.5s|     1 |     0 |  1507 |     - |  33M|   0 | 204 |2669 |  10k|2669 |  10k|  28 |  24 |   0 | 2.400000e+01 | 4.800000e+01 | 100.00%
7.19/7.28	c   7.3s|     1 |     0 |  1560 |     - |  33M|   0 | 254 |2669 |  10k|2669 |  10k|  32 |  24 |   0 | 2.400000e+01 | 4.800000e+01 | 100.00%
9.09/9.16	c   9.2s|     1 |     0 |  1595 |     - |  33M|   0 | 232 |2669 |  10k|2669 |  10k|  35 |  24 |   0 | 2.400000e+01 | 4.800000e+01 | 100.00%
9.29/9.32	o 25
9.29/9.32	c E 9.3s|     1 |     0 |  1595 |     - |  33M|   0 | 232 |2669 |  10k|2669 |  10k|  35 |  24 |   0 | 2.400000e+01 | 2.500000e+01 |   4.17%
9.29/9.33	c   9.3s|     1 |     0 |  1595 |     - |  33M|   0 | 232 |2669 |  10k|2669 |  10k|  35 |  24 |   0 | 2.400000e+01 | 2.500000e+01 |   4.17%
9.29/9.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.29/9.34	c   9.3s|     1 |     0 |  1595 |     - |  32M|   0 | 232 |2669 |  10k|2669 |2528 |  35 |  24 |   0 | 2.400000e+01 | 2.500000e+01 |   4.17%
9.79/9.90	c   9.9s|     1 |     0 |  1662 |     - |  32M|   0 | 225 |2669 |2397 |2669 |2425 |  39 |  24 |   0 | 2.400000e+01 | 2.500000e+01 |   4.17%
11.99/12.00	c  12.0s|     1 |     0 |  1662 |     - |  32M|   0 |   - |2669 |2397 |2669 |2425 |  39 |  24 |  23 | 2.400000e+01 | 2.500000e+01 |   4.17%
11.99/12.00	c (run 1, node 1) restarting after 1782 global fixings of integer variables
11.99/12.00	c 
11.99/12.01	c (restart) converted 37 cuts from the global cut pool into linear constraints
11.99/12.01	c 
11.99/12.02	c presolving:
11.99/12.03	c (round 1) 1782 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 37 upgd conss, 29002 impls, 28 clqs
12.09/12.11	c presolving (2 rounds):
12.09/12.11	c  1782 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
12.09/12.11	c  29002 implications, 28 cliques
12.09/12.11	c presolved problem has 887 variables (887 bin, 0 int, 0 impl, 0 cont) and 2422 constraints
12.09/12.11	c       9 constraints of type <knapsack>
12.09/12.11	c    2288 constraints of type <setppc>
12.09/12.11	c       4 constraints of type <and>
12.09/12.11	c     121 constraints of type <logicor>
12.09/12.11	c transformed objective value is always integral (scale: 1)
12.09/12.11	c Presolving Time: 0.42
12.09/12.12	c 
12.09/12.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.09/12.17	c  12.2s|     1 |     0 |  2302 |     - |  21M|   0 | 201 | 887 |2422 | 887 |2412 |   0 |  24 |  23 | 2.400000e+01 | 2.500000e+01 |   4.17%
12.39/12.42	c  12.4s|     1 |     0 |  2371 |     - |  22M|   0 | 217 | 887 |2422 | 887 |2418 |   6 |  24 |  23 | 2.400000e+01 | 2.500000e+01 |   4.17%
13.09/13.11	c  13.1s|     1 |     0 |  2411 |     - |  22M|   0 | 212 | 887 |2403 | 887 |2418 |   6 |  24 |  40 | 2.400000e+01 | 2.500000e+01 |   4.17%
13.79/13.88	c  13.9s|     1 |     0 |  2450 |     - |  22M|   0 | 245 | 887 |2364 | 887 |2418 |   6 |  24 |  57 | 2.400000e+01 | 2.500000e+01 |   4.17%
14.69/14.75	c  14.8s|     1 |     0 |  2501 |     - |  22M|   0 | 202 | 887 |2264 | 887 |2418 |   6 |  24 |  74 | 2.400000e+01 | 2.500000e+01 |   4.17%
15.09/15.13	c  15.1s|     1 |     0 |  2518 |     - |  22M|   0 | 209 | 887 |2190 | 887 |2418 |   6 |  24 |  83 | 2.400000e+01 | 2.500000e+01 |   4.17%
15.39/15.46	c  15.5s|     1 |     0 |  2527 |     - |  22M|   0 | 182 | 887 |2160 | 887 |2418 |   6 |  24 |  91 | 2.400000e+01 | 2.500000e+01 |   4.17%
15.58/15.69	c  15.7s|     1 |     0 |  2540 |     - |  22M|   0 | 177 | 887 |2134 | 887 |2418 |   6 |  24 |  96 | 2.400000e+01 | 2.500000e+01 |   4.17%
15.88/15.92	c  15.9s|     1 |     0 |  2545 |     - |  22M|   0 | 166 | 887 |2081 | 887 |2418 |   6 |  24 | 101 | 2.400000e+01 | 2.500000e+01 |   4.17%
16.29/16.36	c  16.4s|     1 |     0 |  2578 |     - |  22M|   0 | 170 | 887 |2028 | 887 |2418 |   6 |  24 | 111 | 2.400000e+01 | 2.500000e+01 |   4.17%
16.49/16.58	c  16.6s|     1 |     0 |  2585 |     - |  22M|   0 | 166 | 887 |1927 | 887 |2418 |   6 |  24 | 117 | 2.400000e+01 | 2.500000e+01 |   4.17%
17.08/17.12	c  17.1s|     1 |     0 |  2667 |     - |  22M|   0 | 150 | 887 |1833 | 887 |2418 |   6 |  24 | 131 | 2.400000e+01 | 2.500000e+01 |   4.17%
17.19/17.26	c  17.3s|     1 |     0 |  2697 |     - |  22M|   0 | 151 | 887 |1805 | 887 |2392 |   6 |  24 | 136 | 2.400000e+01 | 2.500000e+01 |   4.17%
17.39/17.49	c  17.5s|     1 |     0 |  2718 |     - |  22M|   0 | 139 | 887 |1758 | 887 |2392 |   6 |  24 | 145 | 2.400000e+01 | 2.500000e+01 |   4.17%
17.50/17.58	c  17.6s|     1 |     0 |  2718 |     - |  22M|   0 |   - | 887 |1758 | 887 |2392 |   6 |  24 | 151 | 2.400000e+01 | 2.500000e+01 |   4.17%
17.50/17.58	c (run 2, node 1) restarting after 185 global fixings of integer variables
17.50/17.58	c 
17.50/17.58	c (restart) converted 4 cuts from the global cut pool into linear constraints
17.50/17.58	c 
17.50/17.58	c presolving:
17.60/17.63	c (round 1) 190 del vars, 27 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4 upgd conss, 29002 impls, 14 clqs
17.60/17.67	c (round 2) 190 del vars, 33 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 4 upgd conss, 29002 impls, 14 clqs
17.60/17.70	c (round 3) 190 del vars, 82 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 5 chg coeffs, 4 upgd conss, 29002 impls, 14 clqs
17.68/17.70	c (round 4) 190 del vars, 82 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 7 chg coeffs, 4 upgd conss, 29002 impls, 14 clqs
17.68/17.71	c (round 5) 190 del vars, 94 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 4 upgd conss, 29002 impls, 14 clqs
17.68/17.72	c presolving (6 rounds):
17.68/17.72	c  190 deleted vars, 94 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
17.68/17.72	c  29002 implications, 14 cliques
17.68/17.72	c presolved problem has 697 variables (697 bin, 0 int, 0 impl, 0 cont) and 1672 constraints
17.68/17.72	c      10 constraints of type <knapsack>
17.68/17.72	c    1552 constraints of type <setppc>
17.68/17.72	c       7 constraints of type <and>
17.68/17.72	c     103 constraints of type <logicor>
17.68/17.72	c transformed objective value is always integral (scale: 1)
17.68/17.72	c Presolving Time: 0.57
17.68/17.72	c 
17.68/17.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.68/17.75	c  17.7s|     1 |     0 |  3088 |     - |  21M|   0 | 109 | 697 |1672 | 697 |1669 |   0 |  24 | 151 | 2.400000e+01 | 2.500000e+01 |   4.17%
17.79/17.86	c  17.9s|     1 |     0 |  3145 |     - |  21M|   0 | 122 | 697 |1672 | 697 |1672 |   3 |  24 | 151 | 2.400000e+01 | 2.500000e+01 |   4.17%
17.99/18.09	c  18.1s|     1 |     0 |  3215 |     - |  21M|   0 | 114 | 697 |1497 | 697 |1672 |   3 |  24 | 172 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.09/18.15	c  18.2s|     1 |     0 |  3249 |     - |  21M|   0 |  92 | 697 |1316 | 697 |1672 |   3 |  24 | 177 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.19/18.20	c  18.2s|     1 |     0 |  3275 |     - |  21M|   0 |  61 | 697 |1230 | 697 |1672 |   3 |  24 | 184 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.19/18.24	c  18.2s|     1 |     0 |  3328 |     - |  21M|   0 |  86 | 697 |1209 | 697 |1672 |   3 |  24 | 192 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.19/18.27	c  18.3s|     1 |     0 |  3334 |     - |  21M|   0 |  75 | 697 |1180 | 697 |1672 |   3 |  24 | 199 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.29/18.30	c  18.3s|     1 |     0 |  3359 |     - |  21M|   0 |  47 | 697 |1155 | 697 |1672 |   3 |  24 | 206 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.29/18.33	c  18.3s|     1 |     0 |  3359 |     - |  21M|   0 |   - | 697 |1155 | 697 |1672 |   3 |  24 | 212 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.29/18.33	c (run 3, node 1) restarting after 143 global fixings of integer variables
18.29/18.33	c 
18.29/18.33	c (restart) converted 3 cuts from the global cut pool into linear constraints
18.29/18.33	c 
18.29/18.33	c presolving:
18.29/18.38	c (round 1) 144 del vars, 40 del conss, 3 add conss, 0 chg bounds, 3 chg sides, 30 chg coeffs, 0 upgd conss, 29006 impls, 5 clqs
18.38/18.48	c (round 2) 153 del vars, 96 del conss, 32 add conss, 0 chg bounds, 163 chg sides, 247 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.48/18.52	c (round 3) 153 del vars, 133 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 301 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.48/18.55	c (round 4) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 346 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.48/18.58	c (round 5) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 387 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.60/18.62	c (round 6) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 417 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.60/18.65	c (round 7) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 446 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.60/18.68	c (round 8) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 474 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.69/18.72	c (round 9) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 499 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.69/18.75	c (round 10) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 521 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.69/18.78	c (round 11) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 538 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.79/18.82	c (round 12) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 554 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.79/18.84	c (round 13) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 570 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.79/18.87	c (round 14) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 579 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.79/18.89	c (round 15) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 589 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.91	c (round 16) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 597 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.93	c (round 17) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 602 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.94	c (round 18) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 607 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.95	c (round 19) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 610 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.96	c (round 20) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 612 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.96	c (round 21) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 613 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.97	c (round 22) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 615 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.97	c (round 23) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 616 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.98	c (round 24) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 617 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.99	c (round 25) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 618 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.88/18.99	c (round 26) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 619 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.99/19.00	c (round 27) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 620 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.99/19.01	c (round 28) 153 del vars, 134 del conss, 38 add conss, 0 chg bounds, 168 chg sides, 621 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.99/19.01	c (round 29) 153 del vars, 140 del conss, 40 add conss, 0 chg bounds, 168 chg sides, 621 chg coeffs, 1 upgd conss, 29006 impls, 5 clqs
18.99/19.02	c presolving (30 rounds):
18.99/19.02	c  153 deleted vars, 140 deleted constraints, 40 added constraints, 0 tightened bounds, 0 added holes, 168 changed sides, 621 changed coefficients
18.99/19.02	c  29006 implications, 5 cliques
18.99/19.02	c presolved problem has 544 variables (544 bin, 0 int, 0 impl, 0 cont) and 1058 constraints
18.99/19.02	c       9 constraints of type <knapsack>
18.99/19.02	c     950 constraints of type <setppc>
18.99/19.02	c       6 constraints of type <and>
18.99/19.02	c      93 constraints of type <logicor>
18.99/19.02	c transformed objective value is always integral (scale: 1)
18.99/19.02	c Presolving Time: 1.25
18.99/19.02	c 
18.99/19.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.99/19.03	c  19.0s|     1 |     0 |  3571 |     - |  20M|   0 |  18 | 544 |1058 | 544 |1055 |   0 |  24 | 212 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.99/19.08	c  19.1s|     1 |     0 |  3578 |     - |  20M|   0 |   0 | 544 |1058 | 544 |1057 |   2 |  24 | 212 | 2.400000e+01 | 2.500000e+01 |   4.17%
18.99/19.08	o 24
18.99/19.08	c *19.1s|     1 |     0 |  3578 |     - |  20M|   0 |   - | 544 |1058 | 544 |1057 |   2 |  24 | 212 | 2.400000e+01 | 2.400000e+01 |   0.00%
18.99/19.08	c 
18.99/19.08	c SCIP Status        : problem is solved [optimal solution found]
18.99/19.08	c Solving Time (sec) : 19.08
18.99/19.08	c Solving Nodes      : 1 (total of 4 nodes in 4 runs)
18.99/19.08	c Primal Bound       : +2.40000000000000e+01 (6 solutions)
18.99/19.08	c Dual Bound         : +2.40000000000000e+01
18.99/19.08	c Gap                : 0.00 %
18.99/19.08	s OPTIMUM FOUND
18.99/19.08	v x190 x189 -x6077 -x188 -x6075 x187 -x6072 -x6070 -x186 -x6068 x6066 -x6064 x185 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x184 
18.99/19.08	v -x6050 -x183 -x6047 -x6045 -x182 -x6043 -x6041 -x181 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x180 -x6025 -x6023 -x6021 
18.99/19.08	v -x179 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x178 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x177 -x5991 
18.99/19.08	v -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x176 -x5965 x175 -x5962 -x5960 -x174 
18.99/19.08	v -x5958 -x5956 -x5954 -x173 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x172 -x5938 -x5936 -x5934 -x171 -x5932 -x5930 -x5928 
18.99/19.08	v -x5926 -x5924 -x5922 -x5920 -x170 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x169 -x5904 -x5902 -x5900 -x5898 -x5896 
18.99/19.08	v -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x168 -x5874 -x5872 -x5870 -x167 -x5868 -x5866 -x5864 
18.99/19.08	v -x5862 -x5860 -x5858 -x5856 -x166 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x165 -x5840 -x5838 -x5836 -x5834 -x5832 
18.99/19.08	v -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x164 -x5810 x5808 -x5806 -x5804 -x5802 -x5800 -x5798 
18.99/19.08	v -x5796 -x5794 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x163 -x5767 -x5765 -x5763 
18.99/19.08	v -x5761 -x5759 -x5757 -x5755 x5753 -x5751 -x5749 -x5747 -x5744 -x5742 -x5740 -x5738 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 
18.99/19.08	v -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 
18.99/19.08	v -x5687 -x5685 -x162 -x5683 -x161 -x5680 -x5678 -x160 -x5676 -x5674 -x5672 x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x159 -x5657 
18.99/19.08	v -x5655 -x158 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x157 -x5639 -x5637 -x5635 -x5632 -x5630 -x5628 -x156 -x5626 
18.99/19.08	v -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x155 -x5596 -x5594 -x5592 
18.99/19.08	v -x154 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x153 -x5576 -x5574 x5572 -x5570 -x5568 x152 -x5565 -x5563 -x5561 -x5559 
18.99/19.08	v -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x151 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 
18.99/19.08	v -x5523 -x150 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x149 
18.99/19.08	v -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x148 -x5463 -x5461 -x5459 
18.99/19.08	v -x5457 -x5455 -x5453 x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 
18.99/19.08	v -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x147 -x5395 -x5392 -x5390 -x5388 
18.99/19.08	v -x5386 -x5384 -x146 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x145 -x5368 -x5366 x5364 -x5362 -x5360 -x5358 -x5356 
18.99/19.08	v -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x144 -x5324 -x5322 
18.99/19.08	v -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x143 -x5294 -x5292 -x5290 -x5288 
18.99/19.08	v -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x142 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 
18.99/19.08	v -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 
18.99/19.08	v -x5213 -x5211 -x5209 -x5207 -x141 -x5205 -x140 -x5202 -x5200 -x139 -x5198 -x5196 -x5194 -x138 -x5192 -x5190 -x5188 -x5186 
18.99/19.08	v -x5184 -x5182 -x5180 -x137 -x5178 -x5176 -x5174 -x136 -x5172 -x5170 -x5168 -x5166 -x5163 -x5161 -x135 -x5159 -x5157 -x5155 -x5153 
18.99/19.08	v -x5151 -x5149 -x5147 -x134 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 
18.99/19.08	v -x5117 -x133 -x5115 -x5113 -x5111 -x132 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x131 -x5095 -x5093 -x5091 -x5089 
18.99/19.08	v -x5087 -x5085 -x5083 -x130 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 
18.99/19.08	v -x5053 -x129 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x128 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 
18.99/19.08	v -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x127 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 
18.99/19.08	v -x4987 -x4985 -x4983 -x4981 x4979 -x4977 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 
18.99/19.08	v -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x126 
18.99/19.08	v -x4916 -x4914 -x4912 -x125 -x4910 -x4908 -x4906 -x4904 -x4902 x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 
18.99/19.08	v -x124 -x4882 -x4880 -x4878 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x123 -x4853 -x4851 
18.99/19.08	v -x4849 -x4847 -x4845 -x4843 -x4841 -x122 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 
18.99/19.08	v -x4815 -x4812 -x121 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 
18.99/19.08	v -x120 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 
18.99/19.08	v -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x119 -x4718 -x4716 -x4714 
18.99/19.08	v -x4712 -x4710 -x4708 -x4706 -x118 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 
18.99/19.08	v -x4677 -x117 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x116 
18.99/19.08	v -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 
18.99/19.08	v -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x115 -x4583 -x4581 -x4579 -x4577 
18.99/19.08	v -x4575 -x4573 -x4571 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x114 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 
18.99/19.08	v -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 
18.99/19.08	v -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x113 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 
18.99/19.08	v -x4470 -x4467 -x4465 -x4463 -x4461 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x112 
18.99/19.08	v -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 
18.99/19.08	v -x4398 -x4396 -x4394 -x4392 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 
18.99/19.08	v -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 
18.99/19.08	v -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x111 -x4309 -x4307 -x4305 -x110 -x4303 -x4301 -x4299 -x4296 -x4294 
18.99/19.08	v -x4292 -x109 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x108 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 
18.99/19.08	v -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x107 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x106 -x4232 -x4230 
18.99/19.08	v -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x105 -x4202 -x4200 -x4198 -x4196 
18.99/19.08	v -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x104 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 
18.99/19.08	v -x4160 -x4158 -x4156 -x4154 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 
18.99/19.08	v -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x103 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x102 -x4097 -x4095 -x4093 
18.99/19.08	v -x4091 -x4089 -x4087 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x101 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 
18.99/19.08	v -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x100 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 
18.99/19.08	v -x4022 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 
18.99/19.08	v -x3985 -x3983 -x3981 -x3979 x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 
18.99/19.08	v -x3949 -x99 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3918 -x3916 
18.99/19.08	v -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x98 -x3886 -x3884 -x3882 
18.99/19.08	v -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 
18.99/19.08	v -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x97 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 
18.99/19.08	v -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3781 -x3779 -x3777 -x3775 
18.99/19.08	v -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 
18.99/19.08	v -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 
18.99/19.08	v -x3701 -x96 -x3699 -x95 -x3696 -x3694 -x94 -x3692 -x3690 -x3688 -x93 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x92 
18.99/19.08	v -x3672 -x3670 -x3668 -x91 -x3666 -x3664 -x90 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x89 -x3648 -x3646 -x3644 -x3641 
18.99/19.08	v -x3639 -x3637 -x88 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 
18.99/19.08	v -x87 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x86 -x3591 -x3589 -x3587 -x85 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 
18.99/19.08	v -x3573 -x84 -x3571 -x3569 -x3567 -x83 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x82 -x3551 -x3548 -x3546 -x3544 
18.99/19.08	v -x3542 -x3540 -x81 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3515 -x3513 -x3511 -x3509 -x3507 
18.99/19.08	v -x3505 -x3503 -x3501 -x3499 -x3497 -x80 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x79 -x3481 -x3479 -x3477 -x3475 
18.99/19.08	v -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x78 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 
18.99/19.08	v -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x77 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 
18.99/19.08	v -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 
18.99/19.08	v -x3368 x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x76 
18.99/19.08	v -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x75 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 
18.99/19.08	v -x3298 -x3296 -x3294 -x3292 x3290 -x3288 -x3286 -x74 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x73 -x3270 -x72 
18.99/19.08	v -x3267 -x3265 -x71 -x3263 -x3261 -x3259 -x70 -x3257 -x3255 -x3253 -x69 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x68 
18.99/19.08	v -x3237 -x3235 -x3233 -x67 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x66 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 
18.99/19.08	v -x65 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x64 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 
18.99/19.08	v -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x63 -x3159 -x3157 -x3155 -x62 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x61 
18.99/19.08	v -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x60 -x3125 -x3123 -x3120 -x3118 -x3116 -x3114 -x59 -x3112 -x3110 -x3108 
18.99/19.08	v -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x58 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 
18.99/19.08	v -x3070 -x57 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x56 
18.99/19.08	v -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x55 -x3008 -x3006 
18.99/19.08	v -x3004 -x3002 -x3000 -x2998 -x2996 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x54 -x2979 -x2977 -x2975 -x2973 -x2971 
18.99/19.08	v -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 
18.99/19.08	v -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x53 -x2918 -x2916 -x2914 -x52 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 
18.99/19.08	v -x51 -x2898 -x2896 -x2894 -x2892 -x2890 -x2887 -x50 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x49 -x2873 -x2871 -x2869 
18.99/19.08	v -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x48 -x2843 -x2841 -x2839 -x2837 -x2835 
18.99/19.08	v -x2833 -x2831 -x47 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x46 
18.99/19.08	v -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x45 -x2769 -x2767 
18.99/19.08	v -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 
18.99/19.08	v -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x44 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 
18.99/19.08	v -x2695 -x43 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x42 
18.99/19.08	v -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x41 -x2633 -x2631 -x2629 
18.99/19.08	v -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 
18.99/19.08	v -x2593 -x2591 -x2589 -x2587 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x40 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 
18.99/19.08	v -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x39 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2522 
18.99/19.08	v -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 
18.99/19.08	v -x2484 -x38 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 
18.99/19.08	v -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x37 -x2420 -x2418 
18.99/19.08	v -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 
18.99/19.08	v -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 
18.99/19.08	v -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 
18.99/19.08	v -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x36 -x2294 -x2292 x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2277 -x35 
18.99/19.08	v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x34 -x2260 -x2258 -x2256 -x2254 -x2251 -x33 -x2249 -x2247 -x2245 -x2243 
18.99/19.08	v -x2241 -x2239 -x2237 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x32 -x2220 -x2217 -x2215 -x2213 -x2211 -x2209 -x31 -x2207 
18.99/19.08	v -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x30 -x2177 -x2175 -x2173 
18.99/19.08	v -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 
18.99/19.08	v -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x29 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 
18.99/19.08	v -x2101 -x2099 -x2097 -x2095 -x2093 -x2090 -x2088 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 
18.99/19.08	v -x2063 -x2061 -x2059 -x28 -x2057 -x2055 -x2052 -x2050 -x2048 -x2046 -x27 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 
18.99/19.08	v -x2030 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x26 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 
18.99/19.08	v -x1993 -x1991 -x1989 -x1987 -x25 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 
18.99/19.08	v -x1959 -x1957 -x24 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 
18.99/19.08	v -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x23 -x1893 
18.99/19.08	v -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x22 -x1863 -x1861 -x1859 
18.99/19.08	v -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 
18.99/19.08	v -x1821 -x1819 -x1817 x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1794 -x1792 -x1790 -x1788 -x1786 
18.99/19.08	v -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 
18.99/19.08	v -x1748 -x1746 -x1744 -x21 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 
18.99/19.08	v -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x20 
18.99/19.08	v -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 
18.99/19.08	v -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 
18.99/19.08	v -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 
18.99/19.08	v -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x19 -x1554 -x1552 -x1550 -x1548 -x1545 -x1543 -x18 -x1541 
18.99/19.08	v -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x17 -x1511 -x1509 -x1507 
18.99/19.08	v -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x16 -x1481 -x1479 -x1477 -x1475 -x1473 
18.99/19.08	v -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 
18.99/19.08	v -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x15 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 
18.99/19.08	v -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x14 -x1389 -x1387 -x1385 -x1383 -x1381 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 
18.99/19.08	v -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 
18.99/19.08	v -x1330 -x13 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 
18.99/19.08	v -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x12 -x1266 -x1264 -x1262 
18.99/19.08	v -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 
18.99/19.08	v -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 
18.99/19.08	v -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 
18.99/19.08	v -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x11 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 
18.99/19.08	v -x1120 -x1118 -x1116 -x1114 -x1112 -x10 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 
18.99/19.08	v -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 
18.99/19.08	v -x1050 -x9 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 
18.99/19.08	v -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x8 -x986 -x984 -x982 -x980 
18.99/19.08	v -x978 -x976 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 
18.99/19.08	v -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 
18.99/19.08	v -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x7 -x861 -x859 -x857 -x855 
18.99/19.08	v -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 
18.99/19.08	v -x811 -x809 -x807 -x805 -x803 -x801 -x6 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 
18.99/19.08	v -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 
18.99/19.08	v -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 
18.99/19.08	v -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x5 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 
18.99/19.08	v -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 
18.99/19.08	v -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 
18.99/19.08	v -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x4 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 
18.99/19.08	v -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 x492 -x490 -x488 -x486 -x484 -x482 
18.99/19.08	v -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 
18.99/19.08	v -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 
18.99/19.08	v -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 
18.99/19.08	v -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 
18.99/19.08	v -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x3 -x292 -x290 -x288 x286 -x284 -x282 -x280 -x278 -x276 -x274 
18.99/19.08	v -x272 -x270 -x268 -x266 -x2 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x1 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 
18.99/19.08	v -x234 -x232 -x230 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 x201 -x199 -x197 -x195 -x193 
18.99/19.08	v -x191 x6080 x6079 -x6078 -x6076 x6074 -x6073 -x6071 -x6069 x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 
18.99/19.08	v -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 
18.99/19.08	v -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 
18.99/19.08	v -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 x5964 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 
18.99/19.08	v -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 
18.99/19.08	v -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 
18.99/19.08	v -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 
18.99/19.08	v -x5835 -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 x5809 -x5807 -x5805 -x5803 -x5801 
18.99/19.08	v -x5799 -x5797 -x5795 -x5793 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 
18.99/19.08	v -x5764 -x5762 -x5760 -x5758 -x5756 x5754 -x5752 -x5750 -x5748 -x5746 -x5745 -x5743 -x5741 -x5739 -x5737 -x5736 -x5734 -x5732 
18.99/19.08	v -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 
18.99/19.08	v -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5681 -x5679 -x5677 -x5675 -x5673 x5671 -x5669 -x5667 -x5665 -x5663 -x5661 
18.99/19.08	v -x5659 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5633 -x5631 -x5629 -x5627 
18.99/19.08	v -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 
18.99/19.08	v -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 x5573 -x5571 -x5569 -x5567 -x5566 -x5564 -x5562 -x5560 -x5558 
18.99/19.08	v -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 
18.99/19.08	v -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 
18.99/19.08	v -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 x5452 -x5450 
18.99/19.08	v -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 
18.99/19.08	v -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 
18.99/19.08	v -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 
18.99/19.08	v -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307 
18.99/19.08	v -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 
18.99/19.08	v -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 
18.99/19.08	v -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 
18.99/19.08	v -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 
18.99/19.08	v -x5167 -x5165 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 
18.99/19.08	v -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 
18.99/19.08	v -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 
18.99/19.08	v -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 
18.99/19.08	v -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 
18.99/19.08	v -x4990 -x4988 -x4986 -x4984 -x4982 x4980 -x4978 -x4976 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 
18.99/19.08	v -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 
18.99/19.08	v -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 
18.99/19.08	v -x4883 -x4881 -x4879 -x4877 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 
18.99/19.08	v -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 
18.99/19.08	v -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 
18.99/19.08	v -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 
18.99/19.08	v -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 
18.99/19.08	v -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 
18.99/19.08	v -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 
18.99/19.08	v -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 
18.99/19.08	v -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4569 -x4567 
18.99/19.08	v -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 
18.99/19.08	v -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 
18.99/19.08	v -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4468 -x4466 -x4464 -x4462 -x4460 
18.99/19.08	v -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 
18.99/19.08	v -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 
18.99/19.08	v -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 
18.99/19.08	v -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 
18.99/19.08	v -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 
18.99/19.08	v -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 
18.99/19.08	v -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 
18.99/19.08	v -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 
18.99/19.08	v -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4152 -x4150 -x4148 -x4146 -x4144 
18.99/19.08	v -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 
18.99/19.08	v -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 
18.99/19.08	v -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 
18.99/19.08	v -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 
18.99/19.08	v -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 
18.99/19.08	v -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 
18.99/19.08	v -x3928 -x3926 -x3924 -x3922 -x3920 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 
18.99/19.08	v -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 
18.99/19.08	v -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 
18.99/19.09	v -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 
18.99/19.09	v -x3787 -x3785 -x3783 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 
18.99/19.09	v -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 
18.99/19.09	v -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 
18.99/19.09	v -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 
18.99/19.09	v -x3647 -x3645 -x3643 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 
18.99/19.09	v -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 
18.99/19.09	v -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3549 -x3547 -x3545 -x3543 
18.99/19.09	v -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 x3517 -x3516 -x3514 -x3512 -x3510 -x3508 
18.99/19.09	v -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 
18.99/19.09	v -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 
18.99/19.09	v -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 
18.99/19.09	v -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 x3367 -x3365 
18.99/19.09	v -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 
18.99/19.09	v -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 
18.99/19.09	v -x3293 x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3268 -x3266 -x3264 -x3262 -x3260 
18.99/19.09	v -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 
18.99/19.09	v -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 
18.99/19.09	v -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 
18.99/19.09	v -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3121 -x3119 -x3117 
18.99/19.09	v -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 
18.99/19.09	v -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 
18.99/19.09	v -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 
18.99/19.09	v -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 
18.99/19.09	v -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 
18.99/19.09	v -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 
18.99/19.09	v -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 
18.99/19.09	v -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 
18.99/19.09	v -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 
18.99/19.09	v -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 
18.99/19.09	v -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 
18.99/19.09	v -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 
18.99/19.09	v -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 
18.99/19.09	v -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 
18.99/19.09	v -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2585 
18.99/19.09	v -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 
18.99/19.09	v -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2523 -x2521 -x2519 -x2517 
18.99/19.09	v -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 
18.99/19.09	v -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 
18.99/19.09	v -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 
18.99/19.09	v -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 
18.99/19.09	v -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 
18.99/19.09	v -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 
18.99/19.09	v -x2301 -x2299 -x2297 -x2295 -x2293 x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 
18.99/19.09	v -x2266 -x2264 -x2262 -x2261 -x2259 -x2257 -x2255 -x2253 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2235 
18.99/19.09	v -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 
18.99/19.09	v -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 
18.99/19.09	v -x2162 -x2160 -x2158 -x2156 x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 
18.99/19.09	v -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 
18.99/19.09	v -x2091 -x2089 -x2087 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 
18.99/19.09	v -x2056 -x2054 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2028 -x2026 -x2024 
18.99/19.09	v -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 
18.99/19.09	v -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 
18.99/19.09	v -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 
18.99/19.09	v -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 
18.99/19.09	v -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 
18.99/19.09	v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 x1816 -x1814 -x1812 -x1810 
18.99/19.09	v -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 
18.99/19.09	v -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 
18.99/19.09	v -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 
18.99/19.09	v -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 
18.99/19.09	v -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 
18.99/19.09	v -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 
18.99/19.09	v -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 
18.99/19.09	v -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 
18.99/19.09	v -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 
18.99/19.09	v -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 
18.99/19.09	v -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 
18.99/19.09	v -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 
18.99/19.09	v -x1382 -x1380 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 
18.99/19.09	v -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 
18.99/19.09	v -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 
18.99/19.09	v -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 
18.99/19.09	v -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 
18.99/19.09	v -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 
18.99/19.09	v -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 
18.99/19.09	v -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 
18.99/19.09	v -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 
18.99/19.09	v -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 
18.99/19.09	v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 
18.99/19.09	v -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 
18.99/19.09	v -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 
18.99/19.09	v -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 
18.99/19.09	v -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 
18.99/19.09	v -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 
18.99/19.09	v -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 
18.99/19.09	v -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 
18.99/19.09	v -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 
18.99/19.09	v -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x629 -x627 -x625 -x623 -x621 -x619 -x617 
18.99/19.09	v -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 
18.99/19.09	v -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 
18.99/19.09	v -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 x493 
18.99/19.09	v -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 
18.99/19.09	v -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 
18.99/19.09	v -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 
18.99/19.09	v -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 
18.99/19.09	v -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 x287 -x285 -x283 
18.99/19.09	v -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 
18.99/19.09	v -x239 -x237 -x235 -x233 -x231 x229 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 x202 -x200 
18.99/19.09	v -x198 -x196 -x194 -x192 
18.99/19.09	c SCIP Status        : problem is solved [optimal solution found]
18.99/19.09	c Total Time         :      19.08
18.99/19.09	c   solving          :      19.08
18.99/19.09	c   presolving       :       1.25 (included in solving)
18.99/19.09	c   reading          :       0.05 (included in solving)
18.99/19.09	c   copying          :       0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
18.99/19.09	c Original Problem   :
18.99/19.09	c   Problem name     : HOME/instance-3693479-1338035080.opb
18.99/19.09	c   Variables        : 6080 (6080 binary, 0 integer, 0 implicit integer, 0 continuous)
18.99/19.09	c   Constraints      : 18113 initial, 18113 maximal
18.99/19.09	c   Objective sense  : minimize
18.99/19.09	c Presolved Problem  :
18.99/19.09	c   Problem name     : t_HOME/instance-3693479-1338035080.opb
18.99/19.09	c   Variables        : 544 (544 binary, 0 integer, 0 implicit integer, 0 continuous)
18.99/19.09	c   Constraints      : 1058 initial, 1058 maximal
18.99/19.09	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
18.99/19.09	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   trivial          :       0.00       0.00       2110          0          0          0          0          0          0          0          0
18.99/19.09	c   dualfix          :       0.00       0.00          9          0          0          0          0          0          0          0          0
18.99/19.09	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   gateextraction   :       0.02       0.00          0          0          0          0          0         30         10          0          0
18.99/19.09	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   probing          :       0.02       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   knapsack         :       0.82       0.00          0          0          0          0          0          2         38        168        629
18.99/19.09	c   setppc           :       0.12       0.01          6          0          0          0          0        208          0          0          0
18.99/19.09	c   and              :       0.00       0.00          0          0          0          0          0          0          0          0          0
18.99/19.09	c   linear           :       0.18       0.00        487       2924          0        487          0       7408          0          0          0
18.99/19.09	c   logicor          :       0.01       0.00          0          0          0          0          0         16          0          0          0
18.99/19.09	c   root node        :          -          -       2110          -          -       2110          -          -          -          -          -
18.99/19.09	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
18.99/19.09	c   integral         :          0          0          0          0         22          0         14          0          0        100          0          0          0
18.99/19.09	c   knapsack         :          9          9          3         33          0          0          0          0          0          0          0          0          0
18.99/19.09	c   setppc           :        950        950         13        738          1          0          8        250          0        229          0          0          0
18.99/19.09	c   and              :          6          6         13        171          1          0          7         13          0          8          0          0          0
18.99/19.09	c   logicor          :         93         93         13        388          1          0          6        347         15         88         30          0          0
18.99/19.09	c   countsols        :          0          0          0          0          1          0          7          0          0          0          0          0          0
18.99/19.09	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
18.99/19.09	c   integral         :       7.63       0.00       0.00       0.00       7.63       0.00       0.00       0.00
18.99/19.09	c   knapsack         :       0.17       0.00       0.17       0.00       0.00       0.00       0.00       0.00
18.99/19.09	c   setppc           :       0.08       0.01       0.01       0.05       0.00       0.00       0.01       0.00
18.99/19.09	c   and              :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
18.99/19.09	c   logicor          :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00
18.99/19.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
18.99/19.09	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
18.99/19.09	c   rootredcost      :          0          0          0          0
18.99/19.09	c   pseudoobj        :        662          0          0          0
18.99/19.09	c   vbounds          :          0          0          0          0
18.99/19.09	c   redcost          :         37          0          0       1685
18.99/19.09	c   probing          :          0          0          0          0
18.99/19.09	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
18.99/19.09	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
18.99/19.09	c   pseudoobj        :       0.01       0.00       0.00       0.00       0.00
18.99/19.09	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
18.99/19.09	c   redcost          :       0.01       0.00       0.00       0.01       0.00
18.99/19.09	c   probing          :       0.02       0.00       0.02       0.00       0.00
18.99/19.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
18.99/19.09	c   propagation      :       0.00         15         15         25       31.1          0        0.0          -
18.99/19.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
18.99/19.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
18.99/19.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
18.99/19.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
18.99/19.09	c   applied globally :          -          -          -         24       30.8          -          -          -
18.99/19.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
18.99/19.09	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
18.99/19.09	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 5)
18.99/19.09	c   closecuts        :       0.00       0.00          0          0          0          0          0
18.99/19.09	c   impliedbounds    :       0.00       0.00         13          0          0          0          0
18.99/19.09	c   intobj           :       0.00       0.00          0          0          0          0          0
18.99/19.09	c   gomory           :       4.23       0.00         13          0          0        400          0
18.99/19.09	c   cgmip            :       0.00       0.00          0          0          0          0          0
18.99/19.09	c   strongcg         :       3.45       0.00         13          0          0       4637          0
18.99/19.09	c   cmir             :       0.52       0.00         13          0          0          0          0
18.99/19.09	c   flowcover        :       0.76       0.00         13          0          0          0          0
18.99/19.09	c   clique           :       0.03       0.00         13          0          0         68          0
18.99/19.09	c   zerohalf         :       0.00       0.00          0          0          0          0          0
18.99/19.09	c   mcf              :       0.01       0.00          4          0          0          0          0
18.99/19.09	c   oddcycle         :       0.00       0.00          0          0          0          0          0
18.99/19.09	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
18.99/19.09	c Pricers            :   ExecTime  SetupTime      Calls       Vars
18.99/19.09	c   problem variables:       0.00          -          0          0
18.99/19.09	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
18.99/19.09	c   relpscost        :       7.63       0.00         21          0        100          0          0          0
18.99/19.09	c   pscost           :       0.00       0.00          0          0          0          0          0          0
18.99/19.09	c   inference        :       0.00       0.00          0          0          0          0          0          0
18.99/19.09	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
18.99/19.09	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
18.99/19.09	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
18.99/19.09	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
18.99/19.09	c   random           :       0.00       0.00          0          0          0          0          0          0
18.99/19.09	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
18.99/19.09	c   LP solutions     :       0.00          -          -          1
18.99/19.09	c   pseudo solutions :       0.00          -          -          0
18.99/19.09	c   oneopt           :       0.01       0.00          4          1
18.99/19.09	c   smallcard        :       0.00       0.00          0          0
18.99/19.09	c   trivial          :       0.01       0.00          2          0
18.99/19.09	c   shiftandpropagate:       0.07       0.00          1          0
18.99/19.09	c   simplerounding   :       0.00       0.00          0          0
18.99/19.09	c   zirounding       :       0.00       0.00          1          0
18.99/19.09	c   rounding         :       0.02       0.00         34          1
18.99/19.09	c   shifting         :       0.02       0.00         34          2
18.99/19.09	c   intshifting      :       0.00       0.00          0          0
18.99/19.09	c   twoopt           :       0.00       0.00          0          0
18.99/19.09	c   indtwoopt        :       0.00       0.00          0          0
18.99/19.09	c   indoneopt        :       0.00       0.00          0          0
18.99/19.09	c   fixandinfer      :       0.00       0.00          0          0
18.99/19.09	c   feaspump         :       0.00       0.00          0          0
18.99/19.09	c   clique           :       0.00       0.00          0          0
18.99/19.09	c   coefdiving       :       0.00       0.00          0          0
18.99/19.09	c   indrounding      :       0.00       0.00          0          0
18.99/19.09	c   indcoefdiving    :       0.00       0.00          0          0
18.99/19.09	c   pscostdiving     :       0.00       0.00          0          0
18.99/19.09	c   fracdiving       :       0.00       0.00          0          0
18.99/19.09	c   nlpdiving        :       0.00       0.00          0          0
18.99/19.09	c   veclendiving     :       0.00       0.00          0          0
18.99/19.09	c   intdiving        :       0.00       0.00          0          0
18.99/19.09	c   actconsdiving    :       0.00       0.00          0          0
18.99/19.09	c   objpscostdiving  :       0.00       0.00          0          0
18.99/19.09	c   rootsoldiving    :       0.00       0.00          0          0
18.99/19.09	c   linesearchdiving :       0.00       0.00          0          0
18.99/19.09	c   guideddiving     :       0.00       0.00          0          0
18.99/19.09	c   octane           :       0.00       0.00          0          0
18.99/19.09	c   rens             :       0.17       0.00          1          1
18.99/19.09	c   rins             :       0.00       0.00          0          0
18.99/19.09	c   localbranching   :       0.00       0.00          0          0
18.99/19.09	c   mutation         :       0.00       0.00          0          0
18.99/19.09	c   crossover        :       0.00       0.00          0          0
18.99/19.09	c   dins             :       0.00       0.00          0          0
18.99/19.09	c   vbounds          :       0.00       0.00          0          0
18.99/19.09	c   undercover       :       0.00       0.00          1          0
18.99/19.09	c   subnlp           :       0.00       0.00          0          0
18.99/19.09	c   trysol           :       0.00       0.00          0          0
18.99/19.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
18.99/19.09	c   primal LP        :       0.00          1          0       0.00          -       0.00          1
18.99/19.09	c   dual LP          :       0.56         37       3578     102.23    6442.06       0.00          2
18.99/19.09	c   lex dual LP      :       0.00          0          0       0.00          -
18.99/19.09	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
18.99/19.09	c   diving/probing LP:       0.00          0          0       0.00          -
18.99/19.09	c   strong branching :       7.62        212      55698     262.73    7307.21
18.99/19.09	c     (at root node) :          -        212      55698     262.73          -
18.99/19.09	c   conflict analysis:       0.00          0          0       0.00          -
18.99/19.09	c B&B Tree           :
18.99/19.09	c   number of runs   :          4
18.99/19.09	c   nodes            :          1
18.99/19.09	c   nodes (total)    :          4
18.99/19.09	c   nodes left       :          0
18.99/19.09	c   max depth        :          0
18.99/19.09	c   max depth (total):          0
18.99/19.09	c   backtracks       :          0 (0.0%)
18.99/19.09	c   delayed cutoffs  :          0
18.99/19.09	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
18.99/19.09	c   avg switch length:       2.00
18.99/19.09	c   switching time   :       0.00
18.99/19.09	c Solution           :
18.99/19.09	c   Solutions found  :          6 (5 improvements)
18.99/19.09	c   First Solution   : +5.00000000000000e+01   (in run 1, after 1 nodes, 0.59 seconds, depth 0, found by <rounding>)
18.99/19.09	c   Primal Bound     : +2.40000000000000e+01   (in run 4, after 1 nodes, 19.08 seconds, depth 0, found by <relaxation>)
18.99/19.09	c   Dual Bound       : +2.40000000000000e+01
18.99/19.09	c   Gap              :       0.00 %
18.99/19.09	c   Root Dual Bound  : +2.40000000000001e+01
18.99/19.09	c   Root Iterations  :       3578
19.08/19.11	c Time complete: 19.11.

Verifier Data 

OK	24

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693479-1338035080/watcher-3693479-1338035080 -o /tmp/evaluation-result-3693479-1338035080/solver-3693479-1338035080 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693479-1338035080.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 1.99 3/176 7190
/proc/meminfo: memFree=28943760/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=12476 CPUtime=0 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 1699 0 0 0 0 0 0 0 20 0 1 0 269633597 12775424 1655 33554432000 4194304 10169799 140736513104016 140737435178456 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 3119 1669 403 1459 0 1651 0

[startup+0.093863 s]
/proc/loadavg: 2.02 2.01 1.99 3/176 7190
/proc/meminfo: memFree=28943760/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=46272 CPUtime=0.08 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 10061 0 0 0 7 1 0 0 20 0 1 0 269633597 47382528 10017 33554432000 4194304 10169799 140736513104016 140737435178456 7543003 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 11568 10042 500 1459 0 10100 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46272

[startup+0.100336 s]
/proc/loadavg: 2.02 2.01 1.99 3/176 7190
/proc/meminfo: memFree=28943760/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=49064 CPUtime=0.09 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 10800 0 0 0 8 1 0 0 20 0 1 0 269633597 50241536 10732 33554432000 4194304 10169799 140736513104016 140737435178456 4906656 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 12266 10732 500 1459 0 10798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49064

[startup+0.300286 s]
/proc/loadavg: 2.02 2.01 1.99 3/176 7190
/proc/meminfo: memFree=28943760/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=56728 CPUtime=0.29 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 13289 0 0 0 21 8 0 0 20 0 1 0 269633597 58089472 12611 33554432000 4194304 10169799 140736513104016 140737435178456 4901097 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 14182 12611 572 1459 0 12714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56728

[startup+0.700283 s]
/proc/loadavg: 2.02 2.01 1.99 3/176 7190
/proc/meminfo: memFree=28943760/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=79644 CPUtime=0.69 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 19642 0 0 0 56 13 0 0 20 0 1 0 269633597 81555456 18605 33554432000 4194304 10169799 140736513104016 140737435178456 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 19911 18605 791 1459 0 18443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79644

[startup+1.50024 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28868104/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=90252 CPUtime=1.49 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 22024 0 0 0 132 17 0 0 20 0 1 0 269633597 92418048 20937 33554432000 4194304 10169799 140736513104016 140736513100008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 22563 20937 811 1459 0 21095 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90252

[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28861904/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=97732 CPUtime=3.09 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 24110 0 0 0 288 21 0 0 20 0 1 0 269633597 100077568 23023 33554432000 4194304 10169799 140736513104016 140736513100088 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 24433 23023 813 1459 0 22965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97732

[startup+6.30024 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28853720/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=99808 CPUtime=6.29 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 24723 0 0 0 604 25 0 0 20 0 1 0 269633597 102203392 23636 33554432000 4194304 10169799 140736513104016 140736513100088 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 24952 23636 813 1459 0 23484 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99808

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28851636/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=97064 CPUtime=12.69 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 31786 0 0 0 1232 37 0 0 20 0 1 0 269633597 99393536 23241 33554432000 4194304 10169799 140736513104016 140736513098616 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 24266 23241 869 1459 0 22798 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97064

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

[startup+15.9002 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28852636/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=97064 CPUtime=15.88 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 31786 0 0 0 1549 39 0 0 20 0 1 0 269633597 99393536 23241 33554432000 4194304 10169799 140736513104016 140736513098664 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 24266 23241 869 1459 0 22798 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 97064

[startup+17.5002 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28852652/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=97064 CPUtime=17.5 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 31786 0 0 0 1709 41 0 0 20 0 1 0 269633597 99393536 23241 33554432000 4194304 10169799 140736513104016 140736513098616 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 24266 23241 869 1459 0 22798 0
Current children cumulated CPU time (s) 17.5
Current children cumulated vsize (KiB) 97064

[startup+18.3002 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28852652/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=97064 CPUtime=18.29 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 31824 0 0 0 1786 43 0 0 20 0 1 0 269633597 99393536 23279 33554432000 4194304 10169799 140736513104016 140736513101880 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 24266 23279 869 1459 0 22798 0
Current children cumulated CPU time (s) 18.29
Current children cumulated vsize (KiB) 97064

[startup+18.7063 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28852652/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=97064 CPUtime=18.69 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 31824 0 0 0 1825 44 0 0 20 0 1 0 269633597 99393536 23279 33554432000 4194304 10169799 140736513104016 140736513101880 5295824 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 24266 23279 869 1459 0 22798 0
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (KiB) 97064

[startup+19.1002 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 7191
/proc/meminfo: memFree=28852652/32873844 swapFree=7616/7616
[pid=7190] ppid=7188 vsize=95324 CPUtime=19.08 cores=0,2,4,6
/proc/7190/stat : 7190 (scip-2.1.1.4sfi) R 7188 7190 5654 0 -1 4202496 31826 0 0 0 1862 46 0 0 20 0 1 0 269633597 97611776 22846 33554432000 4194304 10169799 140736513104016 140736513101880 7542334 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7190/statm: 23831 22846 870 1459 0 22363 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 95324

Child status: 0
Real time (s): 19.1173
CPU time (s): 19.1141
CPU user time (s): 18.6402
CPU system time (s): 0.473927
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 127588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6402
system time used= 0.473927
maximum resident set size= 121468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31828
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= 3
involuntary context switches= 20

runsolver used 0.029995 second user time and 0.079987 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-26 14:24:40
IDJOB=3693479
IDBENCH=24996
IDSOLVER=2272
FILE ID=node130/3693479-1338035080
RUNJOBID= node130-1338029673-6802
PBS_JOBID= 14624341
Free space on /tmp= 71372 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693479-1338035080/watcher-3693479-1338035080 -o /tmp/evaluation-result-3693479-1338035080/solver-3693479-1338035080 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693479-1338035080.opb -t 1800 -m 15500

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

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=94953330

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28944472 kB
Buffers:          238924 kB
Cached:          2725800 kB
SwapCached:            0 kB
Active:          1010048 kB
Inactive:        2140552 kB
Active(anon):     188716 kB
Inactive(anon):        0 kB
Active(file):     821332 kB
Inactive(file):  2140552 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14320 kB
Writeback:             4 kB
AnonPages:        193788 kB
Mapped:            17776 kB
Shmem:               200 kB
Slab:             640172 kB
SReclaimable:      81636 kB
SUnreclaim:       558536 kB
KernelStack:        1448 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     300900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71360 MiB
End job on node130 at 2012-05-26 14:24:59