Trace number 3691147

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 SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedOPT24 20.9308 20.9357

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

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-3691147-1338020638/watcher-3691147-1338020638 -o /tmp/evaluation-result-3691147-1338020638/solver-3691147-1338020638 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691147-1338020638.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.00 2.00 1.91 2/176 4669
/proc/meminfo: memFree=29198032/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=12480 CPUtime=0 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 1704 0 0 0 0 0 0 0 20 0 1 0 268189677 12779520 1659 33554432000 4194304 10173063 140736971872288 140736981206440 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4669/statm: 3120 1675 408 1460 0 1651 0

[startup+0.045427 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 4669
/proc/meminfo: memFree=29198032/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=19860 CPUtime=0.03 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 3734 0 0 0 3 0 0 0 20 0 1 0 268189677 20336640 3689 33554432000 4194304 10173063 140736971872288 140736981206440 8886864 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4669/statm: 4965 3689 416 1460 0 3496 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19860

[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 4669
/proc/meminfo: memFree=29198032/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=48592 CPUtime=0.09 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 10685 0 0 0 8 1 0 0 20 0 1 0 268189677 49758208 10640 33554432000 4194304 10173063 140736971872288 140736971868312 4900576 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4669/statm: 12148 10641 515 1460 0 10679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48592

[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 4669
/proc/meminfo: memFree=29198032/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=61328 CPUtime=0.29 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 14549 0 0 0 26 3 0 0 20 0 1 0 268189677 62799872 13820 33554432000 4194304 10173063 140736971872288 140736971868312 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4669/statm: 15332 13820 610 1460 0 13863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61328

[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 4669
/proc/meminfo: memFree=29198032/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=82716 CPUtime=0.69 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 20436 0 0 0 65 4 0 0 20 0 1 0 268189677 84701184 19383 33554432000 4194304 10173063 140736971872288 140736971868312 5099105 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4669/statm: 20679 19383 794 1460 0 19210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82716

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29118260/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=90256 CPUtime=1.49 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 22027 0 0 0 144 5 0 0 20 0 1 0 268189677 92422144 20940 33554432000 4194304 10173063 140736971872288 140736971867672 5099058 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4669/statm: 22564 20940 814 1460 0 21095 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90256

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29113424/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=97736 CPUtime=3.09 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 24112 0 0 0 302 7 0 0 20 0 1 0 268189677 100081664 23025 33554432000 4194304 10173063 140736971872288 140736971867208 5099741 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4669/statm: 24434 23025 815 1460 0 22965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97736

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29105992/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=99812 CPUtime=6.29 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 24725 0 0 0 620 9 0 0 20 0 1 0 268189677 102207488 23638 33554432000 4194304 10173063 140736971872288 140736971867240 5222488 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4669/statm: 24953 23638 815 1460 0 23484 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99812

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29087828/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=118036 CPUtime=12.69 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 36640 0 0 0 1251 18 0 0 20 0 1 0 268189677 120868864 28096 33554432000 4194304 10173063 140736971872288 140736971865784 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4669/statm: 29509 28096 877 1460 0 28040 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118036

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

[startup+15.9002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29088340/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=118036 CPUtime=15.89 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 36640 0 0 0 1569 20 0 0 20 0 1 0 268189677 120868864 28096 33554432000 4194304 10173063 140736971872288 140736971865784 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4669/statm: 29509 28096 877 1460 0 28040 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 118036

[startup+19.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29088340/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=118036 CPUtime=19.09 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 36640 0 0 0 1886 23 0 0 20 0 1 0 268189677 120868864 28096 33554432000 4194304 10173063 140736971872288 140736971865416 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4669/statm: 29509 28096 877 1460 0 28040 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 118036

[startup+19.9002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29088092/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=118036 CPUtime=19.88 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 36640 0 0 0 1965 23 0 0 20 0 1 0 268189677 120868864 28096 33554432000 4194304 10173063 140736971872288 140736971865416 8012598 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4669/statm: 29509 28096 877 1460 0 28040 0
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (KiB) 118036

[startup+20.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29088092/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=118036 CPUtime=20.68 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 36676 0 0 0 2044 24 0 0 20 0 1 0 268189677 120868864 28132 33554432000 4194304 10173063 140736971872288 140736971865736 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4669/statm: 29509 28132 877 1460 0 28040 0
Current children cumulated CPU time (s) 20.68
Current children cumulated vsize (KiB) 118036

[startup+20.9066 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4670
/proc/meminfo: memFree=29088216/32873648 swapFree=7112/7112
[pid=4669] ppid=4667 vsize=118036 CPUtime=20.89 cores=0,2,4,6
/proc/4669/stat : 4669 (scip-2.1.1.4fix) R 4667 4669 4305 0 -1 4202496 36679 0 0 0 2065 24 0 0 20 0 1 0 268189677 120868864 28135 33554432000 4194304 10173063 140736971872288 140736971865736 8985104 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4669/statm: 29509 28135 878 1460 0 28040 0
Current children cumulated CPU time (s) 20.89
Current children cumulated vsize (KiB) 118036

Child status: 0
Real time (s): 20.9357
CPU time (s): 20.9308
CPU user time (s): 20.6759
CPU system time (s): 0.254961
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 122988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.6759
system time used= 0.254961
maximum resident set size= 121464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36681
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= 55

runsolver used 0.035994 second user time and 0.122981 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-26 10:23:58
IDJOB=3691147
IDBENCH=24996
IDSOLVER=2270
FILE ID=node126/3691147-1338020638
RUNJOBID= node126-1338016934-4321
PBS_JOBID= 14624345
Free space on /tmp= 71424 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 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.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691147-1338020638/watcher-3691147-1338020638 -o /tmp/evaluation-result-3691147-1338020638/solver-3691147-1338020638 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691147-1338020638.opb -t 1800 -m 15500

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

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=1795860827

node126.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.456
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	: 5332.91
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.456
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.456
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.92
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.456
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.91
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.456
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.92
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.456
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.91
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.456
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.90
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.456
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29197912 kB
Buffers:          256824 kB
Cached:          2294852 kB
SwapCached:        17768 kB
Active:          1012424 kB
Inactive:        1896672 kB
Active(anon):     339892 kB
Inactive(anon):    19404 kB
Active(file):     672532 kB
Inactive(file):  1877268 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086928 kB
Dirty:             13984 kB
Writeback:             0 kB
AnonPages:        349136 kB
Mapped:            13572 kB
Shmem:                 0 kB
Slab:             629896 kB
SReclaimable:      74100 kB
SUnreclaim:       555796 kB
KernelStack:        1472 kB
PageTables:         4652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     462480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71412 MiB
End job on node126 at 2012-05-26 10:24:19