Trace number 3744155

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT 198.513 198.544

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_2_mh.opb
MD5SUMebd57823bd571ff5d4e153dfd450b6f7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5950590
Best CPU time to get the best result obtained on this benchmark113.64
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 74088000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3666159515
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 74088000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3666159515
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3744155-1338802073.opb>
0.09/0.11	c original problem has 6810 variables (6810 bin, 0 int, 0 impl, 0 cont) and 15202 constraints
0.09/0.11	c problem read
0.09/0.11	c presolving settings loaded
0.09/0.15	c presolving:
0.09/0.18	c (round 1) 900 del vars, 423 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 28380 impls, 1 clqs
0.19/0.24	c (round 2) 900 del vars, 528 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 28380 impls, 1 clqs
0.88/0.91	c    (0.8s) probing: 116/5910 (2.0%) - 0 fixings, 0 aggregations, 5880 implications, 0 bound changes
0.88/0.91	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.88/0.91	c presolving (3 rounds):
0.88/0.91	c  900 deleted vars, 528 deleted constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.88/0.91	c  788160 implications, 1 cliques
0.88/0.91	c presolved problem has 5910 variables (5910 bin, 0 int, 0 impl, 0 cont) and 14674 constraints
0.88/0.91	c    3090 constraints of type <knapsack>
0.88/0.91	c    8521 constraints of type <setppc>
0.88/0.91	c       3 constraints of type <linear>
0.88/0.91	c    3060 constraints of type <logicor>
0.88/0.91	c transformed objective value is always integral (scale: 1)
0.88/0.91	c Presolving Time: 0.77
0.88/0.91	c - non default parameters ----------------------------------------------------------------------
0.88/0.91	c # SCIP version 1.2.1.3
0.88/0.91	c 
0.88/0.91	c # frequency for displaying node information lines
0.88/0.91	c # [type: int, range: [-1,2147483647], default: 100]
0.88/0.91	c display/freq = 10000
0.88/0.91	c 
0.88/0.91	c # maximal time in seconds to run
0.88/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.88/0.91	c limits/time = 1789.9
0.88/0.91	c 
0.88/0.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.88/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.88/0.91	c limits/memory = 13950
0.88/0.91	c 
0.88/0.91	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.88/0.91	c # [type: int, range: [1,2], default: 1]
0.88/0.91	c timing/clocktype = 2
0.88/0.91	c 
0.88/0.91	c # should presolving try to simplify inequalities
0.88/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.88/0.91	c constraints/linear/simplifyinequalities = TRUE
0.88/0.91	c 
0.88/0.91	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.88/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.88/0.91	c constraints/indicator/addCouplingCons = TRUE
0.88/0.91	c 
0.88/0.91	c # should presolving try to simplify knapsacks
0.88/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.88/0.91	c constraints/knapsack/simplifyinequalities = TRUE
0.88/0.91	c 
0.88/0.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.88/0.91	c # [type: int, range: [-1,2147483647], default: -1]
0.88/0.91	c separating/rapidlearning/freq = 0
0.88/0.91	c 
0.88/0.91	c -----------------------------------------------------------------------------------------------
0.88/0.91	c start solving
0.88/0.91	c 
0.99/1.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.05	c   0.9s|     1 |     0 |   511 |     - |  56M|   0 |  47 |5910 |  14k|5910 |  14k|   0 |   0 |   0 | 2.222167e+06 |      --      |    Inf 
3.69/3.70	c   3.6s|     1 |     0 |  4919 |     - |  56M|   0 |  61 |5910 |  14k|5910 |  14k|   9 |   0 |   0 | 2.738812e+06 |      --      |    Inf 
4.30/4.36	c   4.3s|     1 |     0 |  4989 |     - |  56M|   0 |  59 |5910 |  14k|5910 |  14k|  26 |   0 |   0 | 3.114108e+06 |      --      |    Inf 
4.89/4.94	c   4.8s|     1 |     0 |  5100 |     - |  57M|   0 |  73 |5910 |  14k|5910 |  14k|  31 |   0 |   0 | 3.771613e+06 |      --      |    Inf 
6.08/6.12	c   6.0s|     1 |     0 |  5229 |     - |  57M|   0 |  67 |5910 |  14k|5910 |  14k|  47 |   0 |   0 | 3.864555e+06 |      --      |    Inf 
7.29/7.34	c   7.2s|     1 |     0 |  5332 |     - |  58M|   0 | 104 |5910 |  14k|5910 |  14k|  54 |   0 |   0 | 3.986606e+06 |      --      |    Inf 
8.59/8.68	c   8.6s|     1 |     0 |  5416 |     - |  58M|   0 |  63 |5910 |  14k|5910 |  14k|  59 |   0 |   0 | 4.078112e+06 |      --      |    Inf 
9.19/9.22	c   9.1s|     1 |     0 |  5505 |     - |  59M|   0 |  96 |5910 |  14k|5910 |  14k|  62 |   0 |   0 | 4.201399e+06 |      --      |    Inf 
10.59/10.60	c  10.5s|     1 |     0 |  5611 |     - |  59M|   0 |  69 |5910 |  14k|5910 |  14k|  64 |   0 |   0 | 4.264608e+06 |      --      |    Inf 
11.38/11.40	c  11.3s|     1 |     0 |  5715 |     - |  59M|   0 | 112 |5910 |  14k|5910 |  14k|  68 |   0 |   0 | 4.286452e+06 |      --      |    Inf 
12.89/12.91	c  12.8s|     1 |     0 |  6019 |     - |  60M|   0 | 114 |5910 |  14k|5910 |  14k|  76 |   0 |   0 | 4.567029e+06 |      --      |    Inf 
13.38/13.42	c  13.3s|     1 |     0 |  6232 |     - |  60M|   0 |  72 |5910 |  14k|5910 |  14k|  89 |   0 |   0 | 4.667200e+06 |      --      |    Inf 
13.79/13.83	c  13.7s|     1 |     0 |  6442 |     - |  61M|   0 | 124 |5910 |  14k|5910 |  14k|  92 |   0 |   0 | 4.879744e+06 |      --      |    Inf 
14.49/14.54	c  14.4s|     1 |     0 |  6540 |     - |  61M|   0 |  96 |5910 |  14k|5910 |  14k|  97 |   0 |   0 | 4.912186e+06 |      --      |    Inf 
15.99/16.09	c  16.0s|     1 |     0 |  6696 |     - |  62M|   0 | 127 |5910 |  14k|5910 |  14k|  99 |   0 |   0 | 4.942768e+06 |      --      |    Inf 
17.99/18.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.99/18.04	c  17.9s|     1 |     0 |  6820 |     - |  62M|   0 | 134 |5910 |  14k|5910 |  14k| 107 |   0 |   0 | 4.954173e+06 |      --      |    Inf 
19.69/19.79	c  19.7s|     1 |     0 |  6974 |     - |  62M|   0 | 130 |5910 |  14k|5910 |  14k| 113 |   0 |   0 | 4.986797e+06 |      --      |    Inf 
21.89/21.92	c  21.8s|     1 |     0 |  7153 |     - |  62M|   0 | 134 |5910 |  14k|5910 |  14k| 114 |   0 |   0 | 5.070117e+06 |      --      |    Inf 
22.38/22.41	c  22.3s|     1 |     0 |  7361 |     - |  63M|   0 | 146 |5910 |  14k|5910 |  14k| 119 |   0 |   0 | 5.091606e+06 |      --      |    Inf 
24.39/24.48	c  24.4s|     1 |     0 |  7378 |     - |  63M|   0 | 150 |5910 |  14k|5910 |  14k| 120 |   0 |   0 | 5.094201e+06 |      --      |    Inf 
26.48/26.55	c  26.4s|     1 |     0 |  7394 |     - |  63M|   0 | 150 |5910 |  14k|5910 |  14k| 124 |   0 |   0 | 5.094439e+06 |      --      |    Inf 
26.78/26.86	c  26.8s|     1 |     0 |  7595 |     - |  63M|   0 | 140 |5910 |  14k|5910 |  14k| 125 |   0 |   0 | 5.114826e+06 |      --      |    Inf 
27.98/28.02	c  27.9s|     1 |     0 |  7730 |     - |  63M|   0 | 150 |5910 |  14k|5910 |  14k| 128 |   0 |   0 | 5.123199e+06 |      --      |    Inf 
28.99/29.02	c  28.9s|     1 |     0 |  7844 |     - |  63M|   0 | 135 |5910 |  14k|5910 |  14k| 130 |   0 |   0 | 5.127062e+06 |      --      |    Inf 
30.18/30.28	c  30.2s|     1 |     0 |  7909 |     - |  63M|   0 | 138 |5910 |  14k|5910 |  14k| 134 |   0 |   0 | 5.130308e+06 |      --      |    Inf 
35.28/35.32	c  35.2s|     1 |     2 |  7909 |     - |  63M|   0 | 138 |5910 |  14k|5910 |  14k| 134 |   0 |  18 | 5.130308e+06 |      --      |    Inf 
56.68/56.70	o 109205223
56.68/56.70	c *56.6s|    10 |     8 |  9684 | 197.2 |  64M|   9 |   - |5910 |  14k|5910 |  14k| 134 |   0 | 192 | 5.341928e+06 | 1.092052e+08 |1944.30%
57.48/57.58	o 109117111
57.48/57.58	c *57.5s|    13 |     9 |  9832 | 160.2 |  64M|  11 |   - |5910 |  14k|5910 |  14k| 134 |   0 | 209 | 5.341928e+06 | 1.091171e+08 |1942.65%
57.58/57.62	o 109054306
57.58/57.62	c *57.5s|    14 |     8 |  9850 | 149.3 |  64M|  11 |   - |5910 |  14k|5910 |  14k| 134 |   0 | 209 | 5.341928e+06 | 1.090543e+08 |1941.48%
84.07/84.16	o 10190111
84.07/84.16	c *84.0s|    27 |    13 | 11579 | 141.2 |  64M|  13 |   - |5910 |  14k|5910 |  14k| 134 |   0 | 446 | 5.455396e+06 | 1.019011e+07 |  86.79%
91.38/91.42	o 6568063
91.38/91.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
91.38/91.42	c *91.3s|    38 |     8 | 13285 | 145.3 |  64M|  13 |   - |5910 |  14k|5910 |  14k| 134 |   2 | 534 | 5.456063e+06 | 6.568063e+06 |  20.38%
91.78/91.83	o 6417409
91.78/91.83	c *91.7s|    41 |     9 | 13311 | 135.1 |  64M|  13 |   - |5910 |  14k|5910 |  14k| 134 |   2 | 544 | 5.456063e+06 | 6.417409e+06 |  17.62%
94.48/94.57	o 6220508
94.48/94.57	c *94.5s|    53 |    12 | 13886 | 114.9 |  65M|  13 |   - |5910 |  14k|5910 |  14k| 134 |   4 | 564 | 5.456063e+06 | 6.220508e+06 |  14.01%
94.67/94.73	o 6154633
94.67/94.73	c *94.6s|    58 |    10 | 14011 | 107.1 |  64M|  13 |   - |5910 |  14k|5910 |  14k| 134 |   9 | 564 | 5.456063e+06 | 6.154633e+06 |  12.80%
94.87/94.99	o 6126077
94.87/94.99	c R94.9s|    76 |     8 | 14166 |  83.4 |  65M|  18 |   5 |5910 |  14k|5910 |  14k| 134 |  18 | 564 | 5.456063e+06 | 6.126077e+06 |  12.28%
97.78/97.85	o 6098689
97.78/97.85	c *97.7s|   193 |    17 | 16460 |  44.5 |  65M|  22 |   - |5910 |  14k|5910 |  14k| 134 |  47 | 575 | 5.483303e+06 | 6.098689e+06 |  11.22%
97.88/97.95	o 6083954
97.88/97.95	c *97.8s|   196 |    16 | 16475 |  43.9 |  65M|  22 |   - |5910 |  13k|5910 |  14k| 134 |  47 | 575 | 5.483303e+06 | 6.083954e+06 |  10.95%
99.08/99.18	o 6065837
99.08/99.18	c *99.1s|   225 |    21 | 17198 |  41.5 |  66M|  22 |   - |5910 |  13k|5910 |  14k| 134 |  57 | 584 | 5.483303e+06 | 6.065837e+06 |  10.62%
99.68/99.78	o 6061810
99.68/99.78	c *99.7s|   255 |    29 | 17672 |  38.4 |  66M|  22 |   - |5910 |  13k|5910 |  14k| 134 |  60 | 584 | 5.483303e+06 | 6.061810e+06 |  10.55%
100.88/100.97	o 6039161
100.88/100.97	c * 101s|   281 |    32 | 18420 |  37.5 |  66M|  22 |   - |5910 |  13k|5910 |  14k| 134 |  67 | 596 | 5.483303e+06 | 6.039161e+06 |  10.14%
101.38/101.49	o 6038966
101.38/101.49	c * 101s|   302 |    35 | 19071 |  37.1 |  67M|  22 |   - |5910 |  13k|5910 |  14k| 134 |  73 | 596 | 5.498744e+06 | 6.038966e+06 |   9.82%
108.88/108.92	o 6001443
108.88/108.92	c C 109s|   502 |    76 | 25005 |  34.1 |  70M|  26 |   - |5910 |  13k|5910 |  14k| 134 | 124 | 638 | 5.541871e+06 | 6.001443e+06 |   8.29%
117.37/117.48	o 5999487
117.37/117.48	c R 117s|   767 |   125 | 31309 |  30.5 |  72M|  32 |  25 |5910 |  13k|5910 |  14k| 134 | 188 | 685 | 5.581377e+06 | 5.999487e+06 |   7.49%
117.88/117.98	o 5997191
117.88/117.98	c * 118s|   784 |   132 | 31686 |  30.4 |  73M|  32 |   - |5910 |  13k|5910 |  14k| 134 | 190 | 689 | 5.581377e+06 | 5.997191e+06 |   7.45%
118.48/118.56	o 5965972
118.48/118.56	c * 118s|   798 |   114 | 32170 |  30.4 |  72M|  32 |   - |5910 |  13k|5910 |  14k| 134 | 194 | 693 | 5.581377e+06 | 5.965972e+06 |   6.89%
122.67/122.72	o 5964085
122.67/122.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
122.67/122.72	c * 123s|   906 |   119 | 35017 |  30.0 |  72M|  32 |   - |5910 |  13k|5910 |  14k| 134 | 217 | 736 | 5.581377e+06 | 5.964085e+06 |   6.86%
159.26/159.36	o 5955270
159.26/159.36	c R 159s|  1816 |   170 | 60831 |  29.2 |  76M|  40 |   6 |5910 |  14k|5910 |  14k| 134 | 318 |1158 | 5.721189e+06 | 5.955270e+06 |   4.09%
159.37/159.45	o 5951258
159.37/159.45	c * 159s|  1820 |   165 | 60901 |  29.1 |  76M|  40 |   - |5910 |  14k|5910 |  14k| 134 | 318 |1158 | 5.721189e+06 | 5.951258e+06 |   4.02%
174.87/174.93	o 5950590
174.87/174.93	c * 175s|  2169 |   172 | 71405 |  29.3 |  77M|  40 |   - |5910 |  14k|5910 |  14k| 134 | 352 |1374 | 5.729494e+06 | 5.950590e+06 |   3.86%
198.36/198.46	c 
198.36/198.46	c SCIP Status        : problem is solved [optimal solution found]
198.36/198.46	c Solving Time (sec) : 198.34
198.36/198.46	c Solving Nodes      : 2773
198.36/198.46	c Primal Bound       : +5.95059000000000e+06 (30 solutions)
198.36/198.46	c Dual Bound         : +5.95059000000000e+06
198.36/198.46	c Gap                : 0.00 %
198.36/198.47	s OPTIMUM FOUND
198.36/198.47	v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 
198.36/198.47	v -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 
198.36/198.47	v -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 
198.36/198.47	v -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 
198.36/198.47	v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 
198.36/198.47	v -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 
198.36/198.47	v -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 
198.36/198.47	v -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 
198.36/198.47	v -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 
198.36/198.47	v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 
198.36/198.47	v -x4593 -x4592 -x4591 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 
198.36/198.47	v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 
198.36/198.47	v -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 
198.36/198.47	v -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4525 -x4524 -x4523 -x4522 
198.36/198.47	v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 
198.36/198.47	v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 
198.36/198.47	v -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 
198.36/198.47	v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 
198.36/198.47	v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 
198.36/198.47	v -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 
198.36/198.47	v -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 
198.36/198.47	v -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 
198.36/198.47	v -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 
198.36/198.47	v -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 
198.36/198.47	v -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 
198.36/198.47	v -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 
198.36/198.47	v -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 
198.36/198.47	v -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 
198.36/198.47	v -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 
198.36/198.47	v -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 
198.36/198.47	v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4044 -x4043 -x4042 -x4041 -x4040 x4039 -x4038 -x4037 
198.36/198.47	v -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 
198.36/198.47	v -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 
198.36/198.47	v -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 
198.36/198.47	v -x3982 -x3981 -x3980 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 
198.36/198.47	v -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 
198.36/198.47	v -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 
198.36/198.47	v -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 
198.36/198.47	v -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 
198.36/198.47	v -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 
198.36/198.47	v -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x3862 -x3861 -x3860 -x3859 -x3858 
198.36/198.47	v -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 
198.36/198.47	v -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 
198.36/198.47	v -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 
198.36/198.47	v -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 
198.36/198.47	v -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 
198.36/198.47	v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 
198.36/198.47	v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 
198.36/198.47	v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 
198.36/198.47	v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 
198.36/198.47	v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3680 -x3679 
198.36/198.47	v -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 
198.36/198.47	v -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 
198.36/198.47	v -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 
198.36/198.47	v -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 
198.36/198.47	v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 
198.36/198.47	v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 
198.36/198.47	v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 
198.36/198.47	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 
198.36/198.47	v -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 
198.36/198.47	v -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 
198.36/198.47	v -x3682 -x3681 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 
198.36/198.47	v -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 
198.36/198.47	v -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 
198.36/198.47	v -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 
198.36/198.47	v -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 
198.36/198.47	v -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 
198.36/198.47	v -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 
198.36/198.47	v -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 
198.36/198.47	v -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 
198.36/198.47	v -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 
198.36/198.47	v -x6246 -x6245 -x6244 -x6243 -x6242 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 
198.36/198.47	v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 
198.36/198.47	v -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 
198.36/198.47	v -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 
198.36/198.47	v -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 
198.36/198.47	v -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 
198.36/198.47	v -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 
198.36/198.47	v -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 
198.36/198.47	v -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 
198.36/198.47	v -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 
198.36/198.47	v -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 
198.36/198.47	v -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 
198.36/198.47	v -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 
198.36/198.47	v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 
198.36/198.47	v -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5981 -x5980 -x5979 
198.36/198.47	v -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 
198.36/198.47	v -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 
198.36/198.47	v -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 
198.36/198.47	v -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 
198.36/198.47	v -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 
198.36/198.47	v -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 
198.36/198.47	v -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 
198.36/198.47	v -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 
198.36/198.47	v -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 
198.36/198.47	v -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 
198.36/198.47	v -x5618 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 
198.36/198.47	v -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 
198.36/198.47	v -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 
198.36/198.47	v -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 
198.36/198.47	v -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 
198.36/198.47	v -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5513 -x5512 
198.36/198.47	v -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 x5496 -x5495 -x5494 
198.36/198.47	v -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 
198.36/198.47	v -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 
198.36/198.47	v -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 
198.36/198.47	v -x5439 -x5438 -x5437 -x5436 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 
198.36/198.47	v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 x5586 
198.36/198.47	v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 
198.36/198.47	v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 
198.36/198.47	v -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 
198.36/198.47	v -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 
198.36/198.47	v -x5514 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 
198.36/198.47	v -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 
198.36/198.47	v -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 
198.36/198.47	v -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 
198.36/198.47	v -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 
198.36/198.47	v -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 
198.36/198.47	v -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 
198.36/198.47	v -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 
198.36/198.47	v -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 
198.36/198.47	v -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 
198.36/198.47	v -x5335 -x5334 -x5333 -x5332 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 
198.36/198.47	v -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 
198.36/198.47	v -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 
198.36/198.47	v -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 
198.36/198.47	v -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 
198.36/198.47	v -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 
198.36/198.47	v -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 
198.36/198.47	v -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 
198.36/198.47	v -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 
198.36/198.47	v -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 
198.36/198.47	v -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 
198.36/198.47	v -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 
198.36/198.47	v -x4939 x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 
198.36/198.47	v -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 
198.36/198.47	v -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x5071 -x5070 -x5069 -x5068 
198.36/198.47	v -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 
198.36/198.47	v -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 
198.36/198.47	v -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 
198.36/198.47	v -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 
198.36/198.47	v -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 
198.36/198.47	v -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 
198.36/198.47	v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
198.36/198.47	v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 
198.36/198.47	v -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 
198.36/198.47	v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 
198.36/198.47	v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 
198.36/198.47	v -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 
198.36/198.47	v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 
198.36/198.47	v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 
198.36/198.47	v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 
198.36/198.47	v -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x6675 -x6659 -x6643 -x6627 
198.36/198.47	v -x6611 -x6595 -x6804 -x6788 -x6772 -x6756 -x6740 -x6724 -x6708 -x6692 -x6676 -x3480 -x3464 -x3448 -x3432 -x3416 -x3400 
198.36/198.47	v -x3609 -x3593 -x3577 -x3561 -x3545 -x3529 -x3513 -x3497 -x3481 -x6435 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 
198.36/198.47	v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x6419 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 
198.36/198.47	v -x978 -x977 -x976 -x6403 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x6387 
198.36/198.47	v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x6371 -x270 -x269 -x268 -x267 -x266 
198.36/198.47	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x6355 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 
198.36/198.47	v -x19 -x18 -x17 -x16 -x6564 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 
198.36/198.47	v -x3376 -x6548 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x6532 
198.36/198.47	v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x6516 -x2670 -x2669 
198.36/198.47	v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x6500 -x2430 -x2429 -x2428 -x2427 
198.36/198.47	v -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x6484 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
198.36/198.47	v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x6468 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 
198.36/198.47	v -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x6452 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
198.36/198.47	v -x1700 -x1699 -x1698 -x1697 -x1696 -x6436 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
198.36/198.47	v -x1459 -x1458 -x1457 -x1456 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 -x6674 -x6673 -x6672 -x6671 -x6670 
198.36/198.47	v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 
198.36/198.47	v -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 
198.36/198.47	v -x6631 -x6630 -x6629 -x6628 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 
198.36/198.47	v -x6612 -x6610 -x6609 x6608 -x6607 -x6606 -x6605 x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 x6594 -x6593 
198.36/198.47	v -x6592 -x6591 -x6590 x6589 -x6588 -x6587 -x6586 -x6810 -x6809 -x6808 -x6807 -x6806 x6805 x6803 -x6802 -x6801 -x6800 x6799 
198.36/198.47	v -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 x6791 -x6790 x6789 -x6787 -x6786 -x6785 x6784 -x6783 -x6782 -x6781 -x6780 -x6779 
198.36/198.47	v -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 
198.36/198.47	v -x6760 -x6759 -x6758 -x6757 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 
198.36/198.47	v -x6741 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 x6731 x6730 x6729 x6728 -x6727 -x6726 -x6725 -x6723 -x6722 -x6721 
198.36/198.47	v -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 
198.36/198.47	v -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 
198.36/198.47	v -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6585 -x6584 -x6583 -x6582 x6581 x6580 x6579 x6578 -x6577 -x6576 -x6575 -x6574 
198.36/198.47	v -x6573 -x6572 -x6571 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 
198.36/198.47	v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 
198.36/198.47	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 
198.36/198.47	v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 
198.36/198.47	v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 
198.36/198.47	v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 
198.36/198.47	v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 
198.36/198.47	v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 
198.36/198.47	v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 
198.36/198.47	v -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 
198.36/198.47	v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 
198.36/198.47	v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1005 
198.36/198.47	v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x975 -x974 -x973 -x972 -x971 -x970 
198.36/198.47	v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 
198.36/198.47	v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 
198.36/198.47	v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
198.36/198.47	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
198.36/198.47	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 
198.36/198.47	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 
198.36/198.47	v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
198.36/198.47	v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 
198.36/198.47	v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 
198.36/198.47	v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
198.36/198.47	v -x1008 -x1007 -x1006 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 
198.36/198.47	v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 
198.36/198.47	v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
198.36/198.47	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x915 -x914 -x913 -x912 -x911 
198.36/198.47	v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 
198.36/198.47	v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 
198.36/198.47	v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 
198.36/198.47	v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 
198.36/198.47	v -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 
198.36/198.47	v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 
198.36/198.47	v -x785 -x784 -x783 -x782 -x781 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 
198.36/198.47	v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 
198.36/198.47	v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 
198.36/198.47	v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x690 -x689 -x688 -x687 
198.36/198.47	v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 
198.36/198.47	v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 
198.36/198.47	v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 
198.36/198.47	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 
198.36/198.47	v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 
198.36/198.47	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 
198.36/198.47	v -x561 -x560 -x559 -x558 -x557 -x556 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 
198.36/198.47	v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 
198.36/198.47	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 
198.36/198.47	v -x274 -x273 -x272 -x271 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x465 -x464 
198.36/198.47	v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 
198.36/198.47	v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 
198.36/198.47	v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 
198.36/198.47	v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 
198.36/198.47	v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 
198.36/198.47	v -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 
198.36/198.47	v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
198.36/198.47	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 
198.36/198.47	v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 
198.36/198.47	v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
198.36/198.47	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
198.36/198.47	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
198.36/198.47	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 
198.36/198.47	v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
198.36/198.47	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 
198.36/198.47	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x3255 -x3254 
198.36/198.47	v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 
198.36/198.47	v -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 
198.36/198.47	v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 
198.36/198.47	v -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 
198.36/198.47	v -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3375 
198.36/198.47	v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 
198.36/198.47	v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 
198.36/198.47	v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 
198.36/198.47	v -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 
198.36/198.47	v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 
198.36/198.47	v -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 
198.36/198.47	v -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 
198.36/198.47	v -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 
198.36/198.47	v -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 
198.36/198.47	v -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 
198.36/198.47	v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 
198.36/198.47	v -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 
198.36/198.47	v -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 
198.36/198.47	v -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 
198.36/198.47	v -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 
198.36/198.47	v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 
198.36/198.47	v -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 
198.36/198.47	v -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 
198.36/198.47	v -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 
198.36/198.47	v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 
198.36/198.47	v -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 
198.36/198.47	v -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 
198.36/198.47	v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 
198.36/198.47	v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 
198.36/198.47	v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 
198.36/198.47	v -x2912 -x2911 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 
198.36/198.47	v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 
198.36/198.47	v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 
198.36/198.47	v -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
198.36/198.47	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 
198.36/198.47	v -x2808 -x2807 -x2806 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 
198.36/198.47	v -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 
198.36/198.47	v -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 
198.36/198.47	v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 
198.36/198.47	v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 
198.36/198.47	v -x2493 -x2492 -x2491 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 
198.36/198.47	v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 
198.36/198.47	v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2655 -x2654 -x2653 -x2652 -x2651 
198.36/198.47	v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 
198.36/198.47	v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 
198.36/198.47	v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 
198.36/198.47	v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2355 -x2354 
198.36/198.47	v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
198.36/198.47	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 
198.36/198.47	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
198.36/198.47	v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 
198.36/198.47	v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2490 
198.36/198.47	v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 
198.36/198.47	v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 
198.36/198.47	v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
198.36/198.47	v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 
198.36/198.47	v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 
198.36/198.47	v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 
198.36/198.47	v -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 
198.36/198.47	v -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 
198.36/198.47	v -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 
198.36/198.47	v -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 
198.36/198.47	v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 
198.36/198.47	v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2265 -x2264 -x2263 -x2262 -x2261 
198.36/198.47	v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 
198.36/198.47	v -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 
198.36/198.47	v -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 
198.36/198.47	v -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2175 -x2174 
198.36/198.47	v -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 
198.36/198.47	v -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 
198.36/198.47	v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
198.36/198.47	v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 
198.36/198.47	v -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 
198.36/198.47	v -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 
198.36/198.47	v -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 
198.36/198.47	v -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 
198.36/198.47	v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 
198.36/198.47	v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 
198.36/198.47	v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 
198.36/198.47	v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 
198.36/198.47	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 
198.36/198.47	v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 
198.36/198.47	v -x1908 -x1907 -x1906 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 
198.36/198.47	v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 
198.36/198.47	v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 
198.36/198.47	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 
198.36/198.47	v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 
198.36/198.47	v -x1594 -x1593 -x1592 -x1591 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 
198.36/198.47	v -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 
198.36/198.47	v -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 
198.36/198.47	v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 
198.36/198.47	v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 
198.36/198.47	v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 
198.36/198.47	v -x1712 -x1711 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1455 
198.36/198.47	v -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 
198.36/198.47	v -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
198.36/198.47	v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 
198.36/198.47	v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 
198.36/198.47	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 
198.36/198.47	v -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 
198.36/198.47	v -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 
198.36/198.47	v -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 
198.36/198.47	v -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 
198.36/198.47	v -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 
198.36/198.47	v -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 
198.36/198.47	v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x3479 -x3478 -x3477 -x3476 -x3475 
198.36/198.47	v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 
198.36/198.47	v -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 
198.36/198.47	v -x3436 x3435 -x3434 -x3433 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 
198.36/198.47	v -x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3399 -x3398 
198.36/198.47	v -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3608 -x3607 -x3606 -x3605 -x3604 
198.36/198.47	v -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 
198.36/198.47	v -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 
198.36/198.47	v -x3566 -x3565 -x3564 -x3563 -x3562 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 
198.36/198.47	v x3547 -x3546 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3528 
198.36/198.47	v -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 -x3509 
198.36/198.47	v x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 x3498 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 
198.36/198.47	v -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 
198.36/198.47	v -x6424 -x6423 -x6422 -x6421 -x6420 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 
198.36/198.47	v -x6405 -x6404 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6386 
198.36/198.47	v -x6385 -x6384 x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6370 -x6369 -x6368 -x6367 
198.36/198.47	v -x6366 -x6365 -x6364 -x6363 x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6354 -x6353 -x6352 -x6351 x6350 -x6349 -x6348 
198.36/198.47	v -x6347 -x6346 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6563 -x6562 x6561 -x6560 -x6559 -x6558 -x6557 x6556 -x6555 -x6554 
198.36/198.47	v -x6553 x6552 -x6551 -x6550 -x6549 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 
198.36/198.47	v -x6534 -x6533 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 x6519 -x6518 -x6517 -x6515 
198.36/198.47	v -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 x6505 -x6504 -x6503 -x6502 -x6501 -x6499 -x6498 -x6497 -x6496 
198.36/198.47	v -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 
198.36/198.47	v -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 x6461 -x6460 -x6459 -x6458 
198.36/198.47	v -x6457 -x6456 -x6455 -x6454 -x6453 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 x6444 -x6443 -x6442 -x6441 -x6440 -x6439 
198.36/198.47	v -x6438 -x6437 
198.36/198.47	c SCIP Status        : problem is solved [optimal solution found]
198.36/198.47	c Solving Time       :     198.34
198.36/198.47	c Original Problem   :
198.36/198.47	c   Problem name     : HOME/instance-3744155-1338802073.opb
198.36/198.47	c   Variables        : 6810 (6810 binary, 0 integer, 0 implicit integer, 0 continuous)
198.36/198.47	c   Constraints      : 15202 initial, 15202 maximal
198.36/198.47	c Presolved Problem  :
198.36/198.47	c   Problem name     : t_HOME/instance-3744155-1338802073.opb
198.36/198.47	c   Variables        : 5910 (5910 binary, 0 integer, 0 implicit integer, 0 continuous)
198.36/198.47	c   Constraints      : 14674 initial, 14674 maximal
198.36/198.47	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
198.36/198.47	c   trivial          :       0.00          0          0          0          0          0          0          0          0
198.36/198.47	c   dualfix          :       0.00        645          0          0          0          0          0          0          0
198.36/198.47	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
198.36/198.47	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
198.36/198.47	c   implics          :       0.00          0          0          0          0          0          0          0          0
198.36/198.47	c   probing          :       0.15          0          0          0          0          0          0          0          0
198.36/198.47	c   knapsack         :       0.50          0          0          0          0          0          0          0          0
198.36/198.47	c   setppc           :       0.01          0          0          0          0          0          0          0          0
198.36/198.47	c   linear           :       0.08         45        210          0         45          0        528        105        315
198.36/198.47	c   logicor          :       0.01          0          0          0          0          0          0          0          0
198.36/198.47	c   root node        :          -        147          -          -        147          -          -          -          -
198.36/198.47	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
198.36/198.47	c   integral         :          0          0          0       1764          0         48        854          0          0       2846
198.36/198.47	c   knapsack         :       3090         25      14355         19          0         24     276113        189          0          0
198.36/198.47	c   setppc           :       8521         25      14327         18          0         20     103445          0          0          0
198.36/198.47	c   linear           :          3         25      14309         18          0          1        357          0          0          0
198.36/198.47	c   logicor          :       3060+        25       9249         19          0        168      26061          0          0          0
198.36/198.47	c   countsols        :          0          0          0         19          0          0          0          0          0          0
198.36/198.47	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
198.36/198.47	c   integral         :      83.95       0.00       0.00      83.95       0.00
198.36/198.47	c   knapsack         :       2.23       0.08       2.15       0.00       0.00
198.36/198.47	c   setppc           :       0.68       0.02       0.66       0.00       0.00
198.36/198.47	c   linear           :       0.46       0.26       0.20       0.00       0.00
198.36/198.47	c   logicor          :       0.40       0.01       0.39       0.00       0.00
198.36/198.47	c   countsols        :       0.00       0.00       0.00       0.00       0.00
198.36/198.47	c Propagators        :       Time      Calls    Cutoffs    DomReds
198.36/198.47	c   vbounds          :       0.00          2          0          0
198.36/198.47	c   rootredcost      :       0.01         23          0         80
198.36/198.47	c   pseudoobj        :       1.25      14183          6        230
198.36/198.47	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
198.36/198.47	c   propagation      :       0.01        218        215        520       18.9          6        8.7          -
198.36/198.47	c   infeasible LP    :       0.01          6          6          7        3.4          1        5.0          0
198.36/198.47	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
198.36/198.47	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
198.36/198.47	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
198.36/198.47	c   applied globally :          -          -          -        482       17.0          -          -          -
198.36/198.47	c   applied locally  :          -          -          -          0        0.0          -          -          -
198.36/198.47	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
198.36/198.47	c   cut pool         :       0.03         24          -          -        351          -    (maximal pool size: 1912)
198.36/198.47	c   redcost          :       0.98       3447          0     120774          0          0
198.36/198.47	c   impliedbounds    :       0.02         25          0          0         70          0
198.36/198.47	c   intobj           :       0.00          0          0          0          0          0
198.36/198.47	c   cgmip            :       0.00          0          0          0          0          0
198.36/198.47	c   gomory           :      16.36         25          0          0       6127          0
198.36/198.47	c   strongcg         :       6.44         20          0          0       8372          0
198.36/198.47	c   cmir             :       1.12         10          0          0         51          0
198.36/198.47	c   flowcover        :       2.20         10          0          0        106          0
198.36/198.47	c   clique           :       0.39         25          0          0         19          0
198.36/198.47	c   zerohalf         :       0.00          0          0          0          0          0
198.36/198.47	c   mcf              :       0.01          1          0          0          0          0
198.36/198.47	c   rapidlearning    :       0.00          0          0          0          0          0
198.36/198.47	c Pricers            :       Time      Calls       Vars
198.36/198.47	c   problem variables:       0.00          0          0
198.36/198.47	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
198.36/198.47	c   relpscost        :      83.94       1745         48        854          0          0       2846
198.36/198.47	c   pscost           :       0.00          0          0          0          0          0          0
198.36/198.47	c   inference        :       0.00          0          0          0          0          0          0
198.36/198.47	c   mostinf          :       0.00          0          0          0          0          0          0
198.36/198.47	c   leastinf         :       0.00          0          0          0          0          0          0
198.36/198.47	c   fullstrong       :       0.00          0          0          0          0          0          0
198.36/198.47	c   allfullstrong    :       0.00          0          0          0          0          0          0
198.36/198.47	c   random           :       0.00          0          0          0          0          0          0
198.36/198.47	c Primal Heuristics  :       Time      Calls      Found
198.36/198.47	c   LP solutions     :       0.01          -         19
198.36/198.47	c   pseudo solutions :       0.00          -          0
198.36/198.47	c   feaspump         :       1.73          1          0
198.36/198.47	c   oneopt           :       0.07         23          0
198.36/198.47	c   linesearchdiving :       0.13          4          0
198.36/198.47	c   guideddiving     :       0.17          4          0
198.36/198.47	c   coefdiving       :       0.15          5          0
198.36/198.47	c   pscostdiving     :       0.09          5          0
198.36/198.47	c   fracdiving       :       0.18          5          0
198.36/198.47	c   veclendiving     :       0.22          5          0
198.36/198.47	c   objpscostdiving  :       0.22          3          0
198.36/198.47	c   rootsoldiving    :       1.14          3          3
198.36/198.47	c   trivial          :       0.00          2          0
198.36/198.47	c   simplerounding   :       0.00          0          0
198.36/198.47	c   zirounding       :       0.55       1000          0
198.36/198.47	c   rounding         :       1.26       2325          3
198.36/198.47	c   shifting         :       0.30        232          1
198.36/198.47	c   intshifting      :       0.00          0          0
198.36/198.47	c   twoopt           :       0.00          0          0
198.36/198.47	c   fixandinfer      :       0.00          0          0
198.36/198.47	c   intdiving        :       0.00          0          0
198.36/198.47	c   actconsdiving    :       0.00          0          0
198.36/198.47	c   octane           :       0.00          0          0
198.36/198.47	c   rens             :       0.11          1          0
198.36/198.47	c   rins             :       0.00          0          0
198.36/198.47	c   localbranching   :       0.00          0          0
198.36/198.47	c   mutation         :       0.00          0          0
198.36/198.47	c   crossover        :       0.47          4          4
198.36/198.47	c   dins             :       0.00          0          0
198.36/198.47	c   undercover       :       0.00          0          0
198.36/198.47	c   nlp              :       0.00          0          0
198.36/198.47	c   trysol           :       0.00          0          0
198.36/198.47	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
198.36/198.47	c   primal LP        :       0.01          0          0       0.00       0.00
198.36/198.47	c   dual LP          :      59.38       3422      82384      24.07    1387.46
198.36/198.47	c   lex dual LP      :       0.00          0          0       0.00          -
198.36/198.47	c   barrier LP       :       0.00          0          0       0.00          -
198.36/198.47	c   diving/probing LP:       3.63        144       6519      45.27    1798.10
198.36/198.47	c   strong branching :      83.88       1638     146919      89.69    1751.62
198.36/198.47	c     (at root node) :          -         18       7093     394.06          -
198.36/198.47	c   conflict analysis:       0.00          0          0       0.00          -
198.36/198.47	c B&B Tree           :
198.36/198.47	c   number of runs   :          1
198.36/198.47	c   nodes            :       2773
198.36/198.47	c   nodes (total)    :       2773
198.36/198.47	c   nodes left       :          0
198.36/198.47	c   max depth        :         40
198.36/198.47	c   max depth (total):         40
198.36/198.47	c   backtracks       :        511 (18.4%)
198.36/198.47	c   delayed cutoffs  :          7
198.36/198.47	c   repropagations   :       1056 (8037 domain reductions, 4 cutoffs)
198.36/198.47	c   avg switch length:       5.60
198.36/198.47	c   switching time   :       4.05
198.36/198.47	c Solution           :
198.36/198.47	c   Solutions found  :         30 (23 improvements)
198.36/198.47	c   First Solution   : +1.09205223000000e+08   (in run 1, after 10 nodes, 56.59 seconds, depth 9, found by <relaxation>)
198.36/198.47	c   Primal Bound     : +5.95059000000000e+06   (in run 1, after 2169 nodes, 174.82 seconds, depth 28, found by <relaxation>)
198.36/198.47	c   Dual Bound       : +5.95059000000000e+06
198.36/198.47	c   Gap              :       0.00 %
198.36/198.47	c   Root Dual Bound  : +5.13030767083177e+06
198.36/198.47	c   Root Iterations  :       7909
198.46/198.54	c Time complete: 198.5.

Verifier Data

OK	5950590

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-3744155-1338802073/watcher-3744155-1338802073 -o /tmp/evaluation-result-3744155-1338802073/solver-3744155-1338802073 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744155-1338802073.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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.04 2.01 2.00 3/176 6184
/proc/meminfo: memFree=30454332/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 346335906 8105984 1196 33554432000 4194304 8395647 140735396107712 140736108154056 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 1979 1196 370 1026 0 949 0

[startup+0.067782 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 6184
/proc/meminfo: memFree=30454332/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=18484 CPUtime=0.06 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 3893 0 0 0 6 0 0 0 20 0 1 0 346335906 18927616 3838 33554432000 4194304 8395647 140735396107712 140736108154056 7301307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 4621 3838 393 1026 0 3591 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18484

[startup+0.100357 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 6184
/proc/meminfo: memFree=30454332/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=20908 CPUtime=0.09 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 4509 0 0 0 9 0 0 0 20 0 1 0 346335906 21409792 4454 33554432000 4194304 8395647 140735396107712 140736108154056 7385808 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 5227 4454 393 1026 0 4197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20908

[startup+0.300309 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 6184
/proc/meminfo: memFree=30454332/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=57492 CPUtime=0.29 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 13740 0 0 0 27 2 0 0 20 0 1 0 346335906 58871808 13329 33554432000 4194304 8395647 140735396107712 140736108154056 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 14373 13329 496 1026 0 13343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57492

[startup+0.700324 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 6184
/proc/meminfo: memFree=30454332/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=96732 CPUtime=0.69 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 23550 0 0 0 65 4 0 0 20 0 1 0 346335906 99053568 23139 33554432000 4194304 8395647 140735396107712 140735396103176 4684118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 24183 23139 496 1026 0 23153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96732

[startup+1.50033 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6185
/proc/meminfo: memFree=30344320/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=122240 CPUtime=1.49 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 29831 0 0 0 143 6 0 0 20 0 1 0 346335906 125173760 28977 33554432000 4194304 8395647 140735396107712 140735396103176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 30560 28977 589 1026 0 29530 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 122240

[startup+3.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6185
/proc/meminfo: memFree=30339236/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=123240 CPUtime=3.08 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 30232 0 0 0 302 6 0 0 20 0 1 0 346335906 126197760 29373 33554432000 4194304 8395647 140735396107712 140735396102536 7382041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 30810 29373 611 1026 0 29780 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 123240

[startup+6.3003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6185
/proc/meminfo: memFree=30331184/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=131612 CPUtime=6.29 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 32312 0 0 0 621 8 0 0 20 0 1 0 346335906 134770688 31387 33554432000 4194304 8395647 140735396107712 140735396103000 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 32903 31387 625 1026 0 31873 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131612

[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6185
/proc/meminfo: memFree=30322364/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=138668 CPUtime=12.69 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 34708 0 0 0 1258 11 0 0 20 0 1 0 346335906 141996032 33537 33554432000 4194304 8395647 140735396107712 140735396103000 5852511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 34667 33537 625 1026 0 33637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138668

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6185
/proc/meminfo: memFree=30306856/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=152692 CPUtime=25.48 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 38138 0 0 0 2530 18 0 0 20 0 1 0 346335906 156356608 36967 33554432000 4194304 8395647 140735396107712 140735396102904 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 38173 36967 625 1026 0 37143 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 152692

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6185
/proc/meminfo: memFree=30304328/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=154772 CPUtime=51.08 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 46603 0 0 0 5080 28 0 0 20 0 1 0 346335906 158486528 37664 33554432000 4194304 8395647 140735396107712 140735396102920 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 38693 37664 638 1026 0 37663 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154772

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6186
/proc/meminfo: memFree=30296932/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=162676 CPUtime=102.28 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 48344 0 0 0 10187 41 0 0 20 0 1 0 346335906 166580224 39405 33554432000 4194304 8395647 140735396107712 140735396102840 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 40669 39405 642 1026 0 39639 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 162676

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6189
/proc/meminfo: memFree=30274260/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=184296 CPUtime=162.27 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 78475 0 0 0 16164 63 0 0 20 0 1 0 346335906 188719104 44843 33554432000 4194304 8395647 140735396107712 140735396103272 6120558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 46074 44843 644 1026 0 45044 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 184296

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

[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6189
/proc/meminfo: memFree=30272368/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=186308 CPUtime=179.07 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 87284 0 0 0 17839 68 0 0 20 0 1 0 346335906 190779392 45349 33554432000 4194304 8395647 140735396107712 140735396103320 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 46577 45349 644 1026 0 45547 0
Current children cumulated CPU time (s) 179.07
Current children cumulated vsize (KiB) 186308

[startup+191.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6189
/proc/meminfo: memFree=30270004/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=188172 CPUtime=191.86 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 87836 0 0 0 19116 70 0 0 20 0 1 0 346335906 192688128 45901 33554432000 4194304 8395647 140735396107712 140735396103320 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 47043 45901 644 1026 0 46013 0
Current children cumulated CPU time (s) 191.86
Current children cumulated vsize (KiB) 188172

[startup+195.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6189
/proc/meminfo: memFree=30269384/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=188860 CPUtime=195.06 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 87967 0 0 0 19435 71 0 0 20 0 1 0 346335906 193392640 46032 33554432000 4194304 8395647 140735396107712 140735396103320 6723303 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 47215 46032 644 1026 0 46185 0
Current children cumulated CPU time (s) 195.06
Current children cumulated vsize (KiB) 188860

[startup+196.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6189
/proc/meminfo: memFree=30269136/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=189032 CPUtime=196.66 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 88093 0 0 0 19595 71 0 0 20 0 1 0 346335906 193568768 46158 33554432000 4194304 8395647 140735396107712 140735396103112 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 47258 46158 644 1026 0 46228 0
Current children cumulated CPU time (s) 196.66
Current children cumulated vsize (KiB) 189032

[startup+197.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6189
/proc/meminfo: memFree=30269120/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=189260 CPUtime=197.46 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 88115 0 0 0 19675 71 0 0 20 0 1 0 346335906 193802240 46180 33554432000 4194304 8395647 140735396107712 140735396103112 4715374 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 47315 46180 644 1026 0 46285 0
Current children cumulated CPU time (s) 197.46
Current children cumulated vsize (KiB) 189260

[startup+198.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6189
/proc/meminfo: memFree=30268872/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=189260 CPUtime=198.26 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 88144 0 0 0 19755 71 0 0 20 0 1 0 346335906 193802240 46209 33554432000 4194304 8395647 140735396107712 140735396103320 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 47315 46209 644 1026 0 46285 0
Current children cumulated CPU time (s) 198.26
Current children cumulated vsize (KiB) 189260

[startup+198.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6189
/proc/meminfo: memFree=30268872/32873844 swapFree=7116/7116
[pid=6184] ppid=6182 vsize=189260 CPUtime=198.46 cores=1,3,5,7
/proc/6184/stat : 6184 (pbscip.linux.x8) R 6182 6184 4984 0 -1 4202496 88148 0 0 0 19775 71 0 0 20 0 1 0 346335906 193802240 46213 33554432000 4194304 8395647 140735396107712 140735396103320 6068889 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6184/statm: 47315 46213 646 1026 0 46285 0
Current children cumulated CPU time (s) 198.46
Current children cumulated vsize (KiB) 189260

Child status: 0
Real time (s): 198.544
CPU time (s): 198.513
CPU user time (s): 197.78
CPU system time (s): 0.732888
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 216140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.78
system time used= 0.732888
maximum resident set size= 211876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88151
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= 204

runsolver used 0.321951 second user time and 0.989849 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-04 11:27:53
IDJOB=3744155
IDBENCH=92697
IDSOLVER=2326
FILE ID=node103/3744155-1338802073
RUNJOBID= node103-1338783950-5001
PBS_JOBID= 14636845
Free space on /tmp= 71112 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744155-1338802073/watcher-3744155-1338802073 -o /tmp/evaluation-result-3744155-1338802073/solver-3744155-1338802073 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744155-1338802073.opb -t 1800 -m 15500

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

MD5SUM BENCH= ebd57823bd571ff5d4e153dfd450b6f7
RANDOM SEED=529878416

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30454712 kB
Buffers:          210232 kB
Cached:           469892 kB
SwapCached:         5648 kB
Active:          1154216 kB
Inactive:         490316 kB
Active(anon):     961828 kB
Inactive(anon):     4740 kB
Active(file):     192388 kB
Inactive(file):   485576 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:             10568 kB
Writeback:             0 kB
AnonPages:        967100 kB
Mapped:            11316 kB
Shmem:                 0 kB
Slab:             634188 kB
SReclaimable:      74916 kB
SUnreclaim:       559272 kB
KernelStack:        1472 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1093456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71104 MiB
End job on node103 at 2012-06-04 11:31:12