Trace number 4432868

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07OPT3437313 923.183 925.695

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_4.opb
MD5SUM9e5b0b67365644613b47988ddf91495e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3437313
Best CPU time to get the best result obtained on this benchmark711.141
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 77399784670
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 77399784670
Number of bits of the biggest sum of numbers37
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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4432868-1721134230.opb>
0.09/0.13	c original problem has 9940 variables (9940 bin, 0 int, 0 impl, 0 cont) and 14846 constraints
0.09/0.13	c problem read in 0.12
0.09/0.20	c presolving:
0.19/0.30	c (round 1, fast)       4970 del vars, 9662 del conss, 0 add conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
0.27/0.38	c    (0.4s) running MILP presolver
0.36/0.43	c    (0.4s) MILP presolver found nothing
0.36/0.49	c (round 2, exhaustive) 4970 del vars, 9662 del conss, 0 add conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 5181 upgd conss, 0 impls, 71 clqs
0.62/0.79	c    (0.8s) probing: 51/4970 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.62/0.79	c    (0.8s) probing aborted: 50/50 successive totally useless probings
0.72/0.87	c    (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.82/0.90	c    (0.9s) no symmetry present (symcode time: 0.01)
0.82/0.91	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.82/0.91	c  4970 deleted vars, 9662 deleted constraints, 0 added constraints, 140 tightened bounds, 0 added holes, 2415 changed sides, 2415 changed coefficients
0.82/0.91	c  0 implications, 71 cliques
0.82/0.91	c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 5184 constraints
0.82/0.91	c    2625 constraints of type <knapsack>
0.82/0.91	c      71 constraints of type <setppc>
0.82/0.91	c       3 constraints of type <linear>
0.82/0.91	c    2485 constraints of type <logicor>
0.82/0.91	c transformed objective value is always integral (scale: 2)
0.82/0.91	c Presolving Time: 0.72
0.82/0.91	c - non default parameters ----------------------------------------------------------------------
0.82/0.91	c # SCIP version 10.0.0
0.82/0.91	c 
0.82/0.91	c # maximal time in seconds to run
0.82/0.91	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.82/0.91	c limits/time = 3596.99417
0.82/0.91	c 
0.82/0.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.82/0.91	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.82/0.91	c limits/memory = 27900
0.82/0.91	c 
0.82/0.91	c # belongs reading time to solving time?
0.82/0.91	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.82/0.91	c timing/reading = TRUE
0.82/0.91	c 
0.82/0.91	c -----------------------------------------------------------------------------------------------
0.82/0.91	c start solving
0.82/0.91	c 
0.82/0.99	o 109825189
0.82/0.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.82/0.99	c p 1.0s|     1 |     0 |    99 |     - |  clique|   0 |4970 |5184 |5184 |   0 |  0 |   0 |   0 |-3.000000e+00 | 1.098252e+08 |    Inf | unknown
3.71/3.83	c   3.8s|     1 |     0 |  8387 |     - |    97M |   0 |4970 |5184 |5184 |   0 |  0 | 129 |   0 | 1.886513e+06 | 1.098252e+08 |5721.60%| unknown
3.71/3.85	c   3.8s|     1 |     0 |  8387 |     - |    98M |   0 |4970 |5185 |5051 |   0 |  0 | 130 |   0 | 1.886513e+06 | 1.098252e+08 |5721.60%| unknown
4.21/4.33	c   4.3s|     1 |     0 |  9405 |     - |   101M |   0 |4970 |5185 |5088 |  37 |  1 | 130 |   0 | 1.971028e+06 | 1.098252e+08 |5471.98%| unknown
4.21/4.35	c   4.3s|     1 |     0 |  9405 |     - |   101M |   0 |4970 |5186 |5087 |  37 |  1 | 131 |   0 | 1.971028e+06 | 1.098252e+08 |5471.98%| unknown
4.60/4.78	c   4.8s|     1 |     0 | 10049 |     - |   102M |   0 |4970 |5186 |5111 |  61 |  2 | 131 |   0 | 2.003104e+06 | 1.098252e+08 |5382.75%| unknown
5.02/5.17	c   5.2s|     1 |     0 | 10485 |     - |   103M |   0 |4970 |5187 |5130 |  80 |  3 | 132 |   0 | 2.021651e+06 | 1.098252e+08 |5332.45%| unknown
5.40/5.52	c   5.5s|     1 |     0 | 10775 |     - |   105M |   0 |4970 |5188 |5140 |  90 |  4 | 133 |   0 | 2.031895e+06 | 1.098252e+08 |5305.06%| unknown
5.70/5.87	c   5.9s|     1 |     0 | 11025 |     - |   106M |   0 |4970 |5189 |5151 | 101 |  5 | 134 |   0 | 2.037483e+06 | 1.098252e+08 |5290.24%| unknown
6.20/6.38	c   6.4s|     1 |     0 | 11806 |     - |   107M |   0 |4970 |5190 |5157 | 107 |  6 | 135 |   0 | 2.060053e+06 | 1.098252e+08 |5231.18%| unknown
6.70/6.81	c   6.8s|     1 |     0 | 12212 |     - |   107M |   0 |4970 |5191 |5165 | 115 |  7 | 136 |   0 | 2.065968e+06 | 1.098252e+08 |5215.92%| unknown
7.01/7.19	c   7.2s|     1 |     0 | 12535 |     - |   108M |   0 |4970 |5192 |5169 | 119 |  8 | 137 |   0 | 2.071423e+06 | 1.098252e+08 |5201.92%| unknown
7.39/7.58	c   7.6s|     1 |     0 | 12809 |     - |   110M |   0 |4970 |5193 |5176 | 126 |  9 | 138 |   0 | 2.081756e+06 | 1.098252e+08 |5175.60%| unknown
7.49/7.60	c   7.6s|     1 |     0 | 12809 |     - |   110M |   0 |4970 |5196 |5175 | 126 |  9 | 141 |   0 | 2.081756e+06 | 1.098252e+08 |5175.60%| unknown
8.01/8.12	c   8.1s|     1 |     0 | 13700 |     - |   110M |   0 |4970 |5196 |5180 | 131 | 10 | 141 |   0 | 2.090086e+06 | 1.098252e+08 |5154.58%| unknown
8.01/8.14	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.01/8.14	c   8.1s|     1 |     0 | 13700 |     - |   110M |   0 |4970 |5197 |5179 | 131 | 10 | 142 |   0 | 2.090086e+06 | 1.098252e+08 |5154.58%| unknown
8.19/8.34	c   8.3s|     1 |     0 | 14135 |     - |   112M |   0 |4970 |5197 |5182 | 134 | 11 | 142 |   0 | 2.094157e+06 | 1.098252e+08 |5144.36%| unknown
8.19/8.36	c   8.4s|     1 |     0 | 14135 |     - |   112M |   0 |4970 |5198 |5181 | 134 | 11 | 143 |   0 | 2.094157e+06 | 1.098252e+08 |5144.36%| unknown
8.39/8.52	c   8.5s|     1 |     0 | 14410 |     - |   114M |   0 |4970 |5198 |5182 | 135 | 12 | 143 |   0 | 2.096389e+06 | 1.098252e+08 |5138.78%| unknown
8.49/8.69	c   8.7s|     1 |     0 | 14668 |     - |   115M |   0 |4970 |5199 |5184 | 137 | 13 | 144 |   0 | 2.098256e+06 | 1.098252e+08 |5134.12%| unknown
8.79/8.92	c   8.9s|     1 |     0 | 15147 |     - |   115M |   0 |4970 |5200 |5186 | 139 | 14 | 145 |   0 | 2.104455e+06 | 1.098252e+08 |5118.70%| unknown
9.00/9.14	c   9.1s|     1 |     0 | 15487 |     - |   118M |   0 |4970 |5201 |5190 | 143 | 15 | 146 |   0 | 2.108436e+06 | 1.098252e+08 |5108.85%| unknown
9.29/9.43	c   9.4s|     1 |     0 | 16175 |     - |   119M |   0 |4970 |5202 |5197 | 150 | 16 | 147 |   0 | 2.117102e+06 | 1.098252e+08 |5087.53%| unknown
9.59/9.73	c   9.7s|     1 |     0 | 16855 |     - |   119M |   0 |4970 |5202 |5201 | 154 | 17 | 147 |   0 | 2.123434e+06 | 1.098252e+08 |5072.06%| unknown
9.79/9.94	c   9.9s|     1 |     0 | 17222 |     - |   120M |   0 |4970 |5203 |5208 | 161 | 18 | 148 |   0 | 2.128738e+06 | 1.098252e+08 |5059.17%| unknown
10.00/10.15	c  10.1s|     1 |     0 | 17546 |     - |   120M |   0 |4970 |5204 |5214 | 167 | 19 | 149 |   0 | 2.131221e+06 | 1.098252e+08 |5053.16%| unknown
10.28/10.41	c  10.4s|     1 |     0 | 18001 |     - |   123M |   0 |4970 |5205 |5220 | 173 | 20 | 150 |   0 | 2.135974e+06 | 1.098252e+08 |5041.69%| unknown
10.38/10.50	c  10.5s|     1 |     0 | 18038 |     - |   123M |   0 |4970 |5206 |5221 | 174 | 21 | 151 |   0 | 2.136161e+06 | 1.098252e+08 |5041.24%| unknown
36.71/36.99	c  37.0s|     1 |     2 | 63289 |     - |   125M |   0 |4970 |5201 |5221 | 174 | 22 | 154 |  51 | 2.148347e+06 | 1.098252e+08 |5012.08%| unknown
36.71/36.99	c (run 1, node 1) restarting after 137 global fixings of integer variables
36.71/36.99	c 
36.71/36.99	c (restart) converted 46 cuts from the global cut pool into linear constraints
36.71/36.99	c 
36.71/37.01	c presolving:
36.82/37.01	c (round 1, fast)       137 del vars, 129 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
36.82/37.02	c (round 2, exhaustive) 137 del vars, 129 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 0 impls, 71 clqs
36.82/37.08	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
36.82/37.08	c  137 deleted vars, 129 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 4 changed coefficients
36.82/37.08	c  0 implications, 71 cliques
36.82/37.08	c presolved problem has 4833 variables (4833 bin, 0 int, 0 impl, 0 cont) and 5118 constraints
36.82/37.08	c    2533 constraints of type <knapsack>
36.82/37.08	c      71 constraints of type <setppc>
36.82/37.08	c       3 constraints of type <linear>
36.82/37.08	c    2511 constraints of type <logicor>
36.82/37.08	c transformed objective value is always integral (scale: 2)
36.82/37.08	c Presolving Time: 0.80
36.82/37.08	c transformed 1/1 original solutions to the transformed problem space
36.82/37.08	c 
39.81/40.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
39.81/40.03	c  40.0s|     1 |     0 | 74085 |     - |   130M |   0 |4833 |5118 |5093 |   0 |  0 | 154 |  51 | 2.148347e+06 | 1.098252e+08 |5012.08%| unknown
41.10/41.32	c  41.3s|     1 |     0 | 77035 |     - |   131M |   0 |4833 |5119 |5139 |  46 |  1 | 155 |  51 | 2.148347e+06 | 1.098252e+08 |5012.08%| unknown
42.00/42.28	c  42.3s|     1 |     0 | 79298 |     - |   131M |   0 |4833 |5120 |5173 |  80 |  2 | 156 |  51 | 2.148347e+06 | 1.098252e+08 |5012.08%| unknown
42.60/42.87	c  42.9s|     1 |     0 | 80116 |     - |   132M |   0 |4833 |5121 |5184 |  91 |  3 | 157 |  51 | 2.148347e+06 | 1.098252e+08 |5012.08%| unknown
43.09/43.39	c  43.4s|     1 |     0 | 80628 |     - |   133M |   0 |4833 |5122 |5197 | 104 |  4 | 158 |  51 | 2.148347e+06 | 1.098252e+08 |5012.08%| unknown
43.69/43.92	c  43.9s|     1 |     0 | 81071 |     - |   133M |   0 |4833 |5123 |5203 | 110 |  5 | 159 |  51 | 2.148722e+06 | 1.098252e+08 |5011.19%| unknown
44.29/44.51	c  44.5s|     1 |     0 | 81843 |     - |   133M |   0 |4833 |5124 |5206 | 113 |  6 | 160 |  51 | 2.152427e+06 | 1.098252e+08 |5002.39%| unknown
44.80/45.06	c  45.0s|     1 |     0 | 82458 |     - |   134M |   0 |4833 |5125 |5211 | 118 |  7 | 161 |  51 | 2.155609e+06 | 1.098252e+08 |4994.86%| unknown
45.39/45.65	c  45.6s|     1 |     0 | 83182 |     - |   134M |   0 |4833 |5126 |5215 | 122 |  8 | 162 |  51 | 2.160738e+06 | 1.098252e+08 |4982.76%| unknown
45.98/46.24	c  46.2s|     1 |     0 | 83953 |     - |   135M |   0 |4833 |5127 |5218 | 125 |  9 | 163 |  51 | 2.169597e+06 | 1.098252e+08 |4962.01%| unknown
46.48/46.75	c  46.7s|     1 |     0 | 84412 |     - |   135M |   0 |4833 |5128 |5223 | 130 | 10 | 164 |  51 | 2.173835e+06 | 1.098252e+08 |4952.14%| unknown
46.80/47.07	c  47.1s|     1 |     0 | 84943 |     - |   136M |   0 |4833 |5129 |5225 | 132 | 11 | 165 |  51 | 2.177043e+06 | 1.098252e+08 |4944.69%| unknown
47.08/47.34	c  47.3s|     1 |     0 | 85185 |     - |   137M |   0 |4833 |5129 |5231 | 138 | 12 | 166 |  51 | 2.178331e+06 | 1.098252e+08 |4941.71%| unknown
47.38/47.68	c  47.7s|     1 |     0 | 85741 |     - |   137M |   0 |4833 |5130 |5218 | 142 | 13 | 167 |  51 | 2.181336e+06 | 1.098252e+08 |4934.77%| unknown
47.68/47.95	c  47.9s|     1 |     0 | 86095 |     - |   137M |   0 |4833 |5131 |5220 | 144 | 14 | 168 |  51 | 2.182493e+06 | 1.098252e+08 |4932.10%| unknown
47.98/48.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
47.98/48.25	c  48.2s|     1 |     0 | 86534 |     - |   138M |   0 |4833 |5132 |5222 | 146 | 15 | 169 |  51 | 2.184941e+06 | 1.098252e+08 |4926.46%| unknown
48.28/48.50	c  48.5s|     1 |     0 | 86809 |     - |   139M |   0 |4833 |5133 |5226 | 150 | 16 | 170 |  51 | 2.185965e+06 | 1.098252e+08 |4924.10%| unknown
48.48/48.75	c  48.7s|     1 |     0 | 87085 |     - |   139M |   0 |4833 |5134 |5227 | 151 | 17 | 171 |  51 | 2.186967e+06 | 1.098252e+08 |4921.80%| unknown
48.68/49.00	c  49.0s|     1 |     0 | 87348 |     - |   140M |   0 |4833 |5134 |5229 | 153 | 18 | 171 |  51 | 2.188128e+06 | 1.098252e+08 |4919.14%| unknown
48.98/49.22	c  49.2s|     1 |     0 | 87480 |     - |   140M |   0 |4833 |5134 |5224 | 155 | 19 | 171 |  51 | 2.188741e+06 | 1.098252e+08 |4917.73%| unknown
49.28/49.56	c  49.6s|     1 |     0 | 88041 |     - |   141M |   0 |4833 |5135 |5225 | 156 | 20 | 172 |  51 | 2.190899e+06 | 1.098252e+08 |4912.79%| unknown
49.48/49.72	c  49.7s|     1 |     0 | 88066 |     - |   141M |   0 |4833 |5137 |5229 | 160 | 21 | 174 |  51 | 2.190920e+06 | 1.098252e+08 |4912.74%| unknown
58.35/58.65	o 80812949
58.35/58.65	c d58.6s|     1 |     0 |117640 |     - |conflict|   0 |4833 |5137 |5229 |   0 | 22 | 175 |  51 | 2.190920e+06 | 8.081295e+07 |3588.54%| unknown
58.65/58.93	c  58.9s|     1 |     0 |117640 |     - |   141M |   0 |4833 |5006 |5229 | 160 | 22 | 175 |  51 | 2.190920e+06 | 8.081295e+07 |3588.54%| unknown
58.65/58.96	c  59.0s|     1 |     0 |117640 |     - |   142M |   0 |4833 |5006 |5083 | 160 | 22 | 175 |  51 | 2.190920e+06 | 8.081295e+07 |3588.54%| unknown
68.12/68.40	c  68.4s|     1 |     2 |117640 |     - |   142M |   0 |4833 |4991 |5083 | 160 | 23 | 175 |  89 | 2.199155e+06 | 8.081295e+07 |3574.73%| unknown
116.50/116.99	o 8732771
116.50/116.99	c * 117s|    17 |     9 |157058 |6726.0 |    LP  |  10 |4833 |4991 |5074 | 189 |  1 | 181 | 320 | 2.205132e+06 | 8.732771e+06 | 296.02%|   0.29%
118.09/118.50	o 8719639
118.09/118.50	c * 118s|    27 |    13 |160988 |4380.4 |    LP  |  16 |4833 |4991 |5081 | 202 |  1 | 181 | 320 | 2.205132e+06 | 8.719639e+06 | 295.42%|   4.08%
152.81/153.30	c   153s|   100 |    10 |240390 |1976.7 |   156M |  17 |4833 |4998 |5068 | 277 |  1 | 193 | 446 | 2.205132e+06 | 8.719639e+06 | 295.42%|  22.19%
182.55/183.17	c   183s|   200 |    24 |319249 |1382.7 |   159M |  40 |4833 |5023 |5091 | 373 |  1 | 224 | 489 | 2.212204e+06 | 8.719639e+06 | 294.16%|  22.54%
185.13/185.79	o 8108625
185.13/185.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
185.13/185.79	c * 186s|   204 |    15 |323808 |1377.9 |    LP  |  40 |4833 |5010 |5084 | 373 |  2 | 225 | 505 | 2.212204e+06 | 8.108625e+06 | 266.54%|  22.84%
234.91/235.60	c   236s|   300 |    41 |490441 |1492.4 |   162M |  40 |4833 |5009 |5090 | 413 |  1 | 246 | 562 | 2.212374e+06 | 8.108625e+06 | 266.51%|  34.78%
263.73/264.59	c   265s|   400 |    81 |567899 |1313.0 |   164M |  44 |4833 |5065 |5096 | 455 |  0 | 323 | 615 | 2.212374e+06 | 8.108625e+06 | 266.51%|  34.78%
293.35/294.26	c   294s|   500 |   109 |644599 |1203.8 |   165M |  44 |4833 |5058 |5100 | 478 |  1 | 341 | 673 | 2.212374e+06 | 8.108625e+06 | 266.51%|  34.78%
336.65/337.62	o 4235265
336.65/337.62	c * 338s|   555 |    17 |747152 |1269.3 |    LP  |  44 |4833 |5007 |5082 | 595 |  1 | 389 | 777 | 2.230050e+06 | 4.235265e+06 |  89.92%|  37.47%
362.00/363.05	c   363s|   600 |    30 |807735 |1275.0 |   169M |  44 |4833 |4998 |5081 | 614 |  0 | 392 | 821 | 2.240741e+06 | 4.235265e+06 |  89.01%|  37.56%
397.91/399.03	c   399s|   700 |    64 |909288 |1238.0 |   169M |  44 |4833 |4990 |5082 | 619 |  0 | 405 | 872 | 2.289496e+06 | 4.235265e+06 |  84.99%|  47.36%
417.65/418.89	o 3929241
417.65/418.89	c * 419s|   796 |    60 |953674 |1144.4 |    LP  |  44 |4833 |4995 |5085 | 635 |  1 | 417 | 933 | 2.292069e+06 | 3.929241e+06 |  71.43%|  48.56%
417.75/419.00	c   419s|   800 |    62 |953983 |1139.1 |   169M |  44 |4833 |4994 |5085 | 635 |  1 | 417 | 933 | 2.292069e+06 | 3.929241e+06 |  71.43%|  48.57%
418.05/419.20	o 3888315
418.05/419.20	c * 419s|   802 |    61 |954687 |1137.1 |    LP  |  44 |4833 |4994 |5085 | 635 |  1 | 417 | 933 | 2.292069e+06 | 3.888315e+06 |  69.64%|  48.57%
428.13/429.38	c   429s|   900 |    75 |983640 |1045.5 |   169M |  44 |4833 |5004 |5084 | 645 |  1 | 432 | 944 | 2.297942e+06 | 3.888315e+06 |  69.21%|  48.96%
453.66/455.01	c   455s|  1000 |    95 |  1043k|1000.8 |   170M |  44 |4833 |5010 |5087 | 675 |  0 | 446 | 998 | 2.369264e+06 | 3.888315e+06 |  64.11%|  49.09%
470.62/471.98	c   472s|  1100 |   109 |  1085k| 947.9 |   171M |  46 |4833 |5014 |5086 | 707 |  0 | 458 |1022 | 2.369264e+06 | 3.888315e+06 |  64.11%|  49.22%
474.82/476.15	o 3848053
474.82/476.15	c L 476s|  1147 |   114 |  1094k| 916.8 |    alns|  46 |4833 |5014 |5089 | 712 |  0 | 459 |1042 | 2.369264e+06 | 3.848053e+06 |  62.42%|  49.22%
494.56/495.94	c   496s|  1200 |   121 |  1140k| 914.6 |   172M |  46 |4833 |5010 |   0 | 723 |  0 | 466 |1096 | 2.398301e+06 | 3.848053e+06 |  60.45%|  50.06%
520.19/521.61	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
520.19/521.61	c   522s|  1300 |   135 |  1201k| 891.1 |   175M |  46 |4833 |5064 |   0 | 788 |  0 | 593 |1214 | 2.466027e+06 | 3.848053e+06 |  56.04%|  50.09%
550.11/551.67	c   552s|  1400 |   142 |  1271k| 877.9 |   178M |  46 |4833 |5057 |5099 | 862 |  1 | 621 |1284 | 2.479243e+06 | 3.848053e+06 |  55.21%|  50.11%
576.46/578.07	c   578s|  1500 |   160 |  1333k| 860.5 |   179M |  53 |4833 |5070 |5100 | 920 |  0 | 647 |1336 | 2.479243e+06 | 3.848053e+06 |  55.21%|  50.13%
607.07/608.71	c   609s|  1600 |   180 |  1410k| 854.9 |   181M |  76 |4833 |5070 |5105 | 942 |  0 | 648 |1395 | 2.533903e+06 | 3.848053e+06 |  51.86%|  51.14%
614.55/616.25	c   616s|  1700 |   192 |  1432k| 817.3 |   181M |  84 |4833 |5071 |5105 | 951 |  0 | 663 |1427 | 2.540929e+06 | 3.848053e+06 |  51.44%|  51.14%
619.94/621.68	c   622s|  1800 |   200 |  1445k| 779.0 |   181M |  86 |4833 |5081 |5105 | 955 |  0 | 684 |1481 | 2.540929e+06 | 3.848053e+06 |  51.44%|  51.14%
640.09/641.86	c   642s|  1900 |   204 |  1492k| 763.2 |   182M |  86 |4833 |5090 |5105 | 980 |  1 | 797 |1625 | 2.548252e+06 | 3.848053e+06 |  51.01%|  51.45%
643.58/645.40	c   645s|  2000 |   208 |  1502k| 729.6 |   183M |  86 |4833 |5132 |5107 | 983 |  3 | 921 |1664 | 2.548252e+06 | 3.848053e+06 |  51.01%|  51.45%
651.66/653.47	c   653s|  2100 |   220 |  1520k| 703.9 |   183M |  87 |4833 |5134 |5105 | 994 |  1 | 978 |1685 | 2.549143e+06 | 3.848053e+06 |  50.95%|  51.47%
661.44/663.23	o 3804773
661.44/663.23	c * 663s|  2186 |   228 |  1543k| 686.5 |    LP  |  87 |4833 |5121 |5105 |1004 |  2 |1018 |1725 | 2.549143e+06 | 3.804773e+06 |  49.26%|  51.47%
661.64/663.46	c   663s|  2200 |   230 |  1544k| 682.5 |   184M |  87 |4833 |5118 |5105 |1004 |  1 |1018 |1725 | 2.549143e+06 | 3.804773e+06 |  49.26%|  51.49%
667.82/669.61	c   670s|  2300 |   230 |  1558k| 659.2 |   184M |  87 |4833 |5100 |5105 |1004 |  2 |1020 |1737 | 2.563293e+06 | 3.804773e+06 |  48.43%|  53.50%
676.80/678.64	c   679s|  2400 |   230 |  1580k| 640.8 |   184M |  87 |4833 |5099 |5106 |1014 |  2 |1042 |1749 | 2.574852e+06 | 3.804773e+06 |  47.77%|  56.55%
678.59/680.40	o 3780819
678.59/680.40	c * 680s|  2413 |   230 |  1587k| 640.3 |    LP  |  87 |4833 |5100 |5100 |1015 |  2 |1043 |1749 | 2.574852e+06 | 3.780819e+06 |  46.84%|  56.58%
679.59/681.43	o 3745773
679.59/681.43	c * 681s|  2428 |   226 |  1590k| 637.7 |    LP  |  87 |4833 |5100 |5100 |1015 |  2 |1043 |1755 | 2.574852e+06 | 3.745773e+06 |  45.48%|  56.59%
687.67/689.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
687.67/689.57	c   690s|  2500 |   228 |  1612k| 628.0 |   185M |  87 |4833 |5164 |   0 |1020 |  0 |1140 |1817 | 2.575301e+06 | 3.745773e+06 |  45.45%|  57.39%
721.47/723.46	c   723s|  2600 |   244 |  1695k| 635.5 |   185M |  87 |4833 |5132 |5074 |1041 |  2 |1162 |1898 | 2.587992e+06 | 3.745773e+06 |  44.74%|  61.65%
755.97/758.02	c   758s|  2700 |   244 |  1780k| 643.5 |   187M |  87 |4833 |5085 |5087 |1077 |  0 |1187 |1989 | 2.616389e+06 | 3.745773e+06 |  43.17%|  61.75%
784.99/787.16	c   787s|  2800 |   246 |  1852k| 646.3 |   187M |  87 |4833 |5072 |5104 |1099 |  1 |1211 |2063 | 2.659083e+06 | 3.745773e+06 |  40.87%|  62.34%
791.86/794.05	o 3727161
791.86/794.05	c * 794s|  2844 |   237 |  1870k| 642.8 |strongbr|  87 |4833 |5097 |5104 |1100 |  4 |1245 |2092 | 2.659083e+06 | 3.727161e+06 |  40.17%|  64.15%
792.45/794.63	o 3442753
792.45/794.63	c * 795s|  2862 |   132 |  1871k| 639.1 |    LP  |  87 |4833 |5063 |5104 |1100 |  2 |1261 |2100 | 2.659083e+06 | 3.442753e+06 |  29.47%|  64.54%
793.25/795.49	c   795s|  2900 |   142 |  1874k| 631.6 |   187M |  95 |4833 |5066 |5104 |1100 |  2 |1275 |2107 | 2.659083e+06 | 3.442753e+06 |  29.47%|  64.55%
821.77/824.11	c   824s|  3000 |   134 |  1934k| 630.7 |   188M |  98 |4833 |5072 |5118 |1187 |  0 |1361 |2211 | 2.696264e+06 | 3.442753e+06 |  27.69%|  66.25%
846.58/848.99	c   849s|  3100 |   122 |  1991k| 628.6 |   190M |  98 |4833 |5078 |5089 |1266 |  0 |1407 |2284 | 2.706492e+06 | 3.442753e+06 |  27.20%|  68.83%
876.10/878.55	c   879s|  3200 |   116 |  2061k| 630.8 |   190M |  98 |4833 |5084 |5099 |1350 |  0 |1441 |2404 | 2.706492e+06 | 3.442753e+06 |  27.20%|  71.91%
887.47/889.94	o 3437313
887.47/889.94	c * 890s|  3250 |   100 |  2089k| 629.8 |    LP  |  98 |4833 |5086 |5108 |1368 |  2 |1468 |2450 | 2.720539e+06 | 3.437313e+06 |  26.35%|  76.45%
900.44/902.97	c   903s|  3300 |    90 |  2121k| 630.0 |   190M |  98 |4833 |5103 |5086 |1382 |  2 |1508 |2489 | 2.720539e+06 | 3.437313e+06 |  26.35%|  78.39%
923.08/925.63	c 
923.08/925.63	c SCIP Status        : problem is solved [optimal solution found]
923.08/925.63	c Solving Time (sec) : 925.62
923.08/925.63	c Solving Nodes      : 3399 (total of 3400 nodes in 2 runs)
923.08/925.63	c Primal Bound       : +3.43731300000000e+06 (18 solutions)
923.08/925.63	c Dual Bound         : +3.43731300000000e+06
923.08/925.63	c Gap                : 0.00 %
923.08/925.64	s OPTIMUM FOUND
923.08/925.64	v -x9730 -x9589 -x9518 -x9447 -x9376 -x9305 -x9234 -x9163 -x9092 -x9021 -x8950 -x8809 -x8738 -x8667 -x8596 -x8525 -x8454 -x8383 -x8312 
923.08/925.64	v -x8241 -x8170 -x8029 -x7958 -x7887 -x7816 -x7745 -x7674 -x7603 -x7532 -x7461 -x7390 -x7249 -x7178 -x7107 -x7036 -x6965 
923.08/925.64	v -x6894 -x6823 -x6752 -x6681 -x6610 -x6469 -x6398 -x6327 -x6256 -x6185 -x6114 -x6043 -x5972 -x5901 -x5830 -x5689 -x5618 -x5547 
923.08/925.64	v -x5476 -x5405 -x5334 -x5263 -x5192 -x5121 -x5050 -x9879 -x9808 -x9737 -x9596 -x8825 -x8054 -x7283 -x6512 -x5741 -x4760 -x4619 
923.08/925.64	v -x4548 -x4477 -x4406 -x4335 -x4264 -x4193 -x4122 -x4051 -x3980 -x3839 -x3768 -x3697 -x3626 -x3555 -x3484 -x3413 -x3342 -x3271 
923.08/925.64	v -x3200 -x3059 -x2988 -x2917 -x2846 -x2775 -x2704 -x2633 -x2562 -x2491 -x2420 -x2279 -x2208 -x2137 -x2066 -x1995 -x1924 -x1853 
923.08/925.64	v -x1782 -x1711 -x1640 -x1499 -x1428 -x1357 -x1286 -x1215 -x1144 -x1073 -x1002 -x931 -x860 -x719 -x648 -x577 -x506 -x435 -x364 
923.08/925.64	v -x293 -x222 -x151 -x80 -x4909 -x4838 -x4767 -x4626 -x3855 -x3084 -x2313 -x1542 -x771 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 
923.08/925.64	v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 
923.08/925.64	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 
923.08/925.64	v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719 
923.08/925.64	v -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 x9706 -x9705 -x9704 -x9703 -x9702 -x9701 
923.08/925.64	v -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 -x9683 
923.08/925.64	v -x9682 x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666 -x9665 
923.08/925.64	v -x9664 -x9663 -x9662 -x9661 -x9590 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577 
923.08/925.64	v -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559 
923.08/925.64	v -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541 
923.08/925.64	v -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523 
923.08/925.64	v -x9522 -x9521 -x9520 -x9519 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505 -x9504 
923.08/925.64	v -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487 -x9486 
923.08/925.64	v -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469 -x9468 
923.08/925.64	v -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451 
923.08/925.64	v -x9450 -x9449 -x9448 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 
923.08/925.64	v -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414 
923.08/925.64	v -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396 
923.08/925.64	v -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379 -x9378 
923.08/925.64	v -x9377 -x9375 -x9374 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360 -x9359 
923.08/925.64	v -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342 -x9341 
923.08/925.64	v -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324 
923.08/925.64	v -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306 
923.08/925.64	v -x9304 -x9303 -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 
923.08/925.64	v -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269 
923.08/925.64	v -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252 -x9251 
923.08/925.64	v -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9233 -x9232 
923.08/925.64	v -x9231 -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215 -x9214 
923.08/925.64	v -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197 
923.08/925.64	v -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179 
923.08/925.64	v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9162 -x9161 -x9160 
923.08/925.64	v -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142 
923.08/925.64	v -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125 -x9124 
923.08/925.64	v -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107 -x9106 
923.08/925.64	v -x9105 -x9104 -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9091 -x9090 -x9089 -x9088 -x9087 
923.08/925.64	v -x9086 -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 
923.08/925.64	v -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052 
923.08/925.64	v -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 
923.08/925.64	v -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015 
923.08/925.64	v -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 -x8997 
923.08/925.64	v -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980 -x8979 
923.08/925.64	v -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 -x8961 
923.08/925.64	v -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943 
923.08/925.64	v -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925 
923.08/925.64	v -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907 
923.08/925.64	v -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8820 -x8819 
923.08/925.64	v -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 
923.08/925.64	v -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 -x8782 
923.08/925.64	v -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 
923.08/925.64	v -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 
923.08/925.64	v -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 
923.08/925.64	v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710 
923.08/925.64	v -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 
923.08/925.64	v -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 
923.08/925.64	v -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 
923.08/925.64	v -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 -x8637 
923.08/925.64	v -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 
923.08/925.64	v -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 
923.08/925.64	v -x8601 -x8600 -x8599 -x8598 -x8597 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583 
923.08/925.64	v -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 
923.08/925.64	v -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 
923.08/925.64	v -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 
923.08/925.64	v -x8528 -x8527 -x8526 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 
923.08/925.64	v -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 
923.08/925.64	v -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 
923.08/925.64	v -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457 
923.08/925.64	v -x8456 -x8455 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 
923.08/925.64	v -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 
923.08/925.64	v -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 
923.08/925.64	v -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 
923.08/925.64	v -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 
923.08/925.64	v -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 
923.08/925.64	v -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 
923.08/925.64	v -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8311 
923.08/925.64	v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 
923.08/925.64	v -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 
923.08/925.64	v -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 
923.08/925.64	v -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8240 -x8239 
923.08/925.64	v -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 
923.08/925.64	v -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 
923.08/925.64	v -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 
923.08/925.64	v -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8169 -x8168 -x8167 -x8166 
923.08/925.64	v -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 
923.08/925.64	v -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 
923.08/925.64	v -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 
923.08/925.64	v -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8028 -x8027 -x8026 -x8025 -x8024 
923.08/925.64	v -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 
923.08/925.64	v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 
923.08/925.64	v -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 
923.08/925.64	v -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 
923.08/925.64	v -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 
923.08/925.64	v -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 
923.08/925.64	v -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 
923.08/925.64	v -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 
923.08/925.64	v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 
923.08/925.64	v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 
923.08/925.64	v -x7842 -x7841 x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 
923.08/925.64	v -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 
923.08/925.64	v -x7805 -x7804 x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 x7791 -x7790 -x7789 -x7788 
923.08/925.64	v -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 
923.08/925.64	v -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 
923.08/925.64	v -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 
923.08/925.64	v -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 
923.08/925.64	v -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 
923.08/925.64	v -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 
923.08/925.64	v -x7679 -x7678 -x7677 -x7676 -x7675 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 
923.08/925.64	v -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 
923.08/925.64	v -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 
923.08/925.64	v -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 
923.08/925.64	v -x7607 -x7606 -x7605 -x7604 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 
923.08/925.64	v -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 
923.08/925.64	v -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 
923.08/925.64	v -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 
923.08/925.64	v -x7534 -x7533 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 
923.08/925.64	v -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 
923.08/925.64	v -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 
923.08/925.64	v -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 
923.08/925.64	v -x7462 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 
923.08/925.64	v -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 
923.08/925.64	v -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 
923.08/925.64	v -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7389 
923.08/925.64	v -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 
923.08/925.64	v -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 
923.08/925.64	v -x7353 -x7352 -x7351 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 
923.08/925.64	v -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7248 -x7247 
923.08/925.64	v -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 
923.08/925.64	v -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 
923.08/925.64	v -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 
923.08/925.64	v -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7177 -x7176 -x7175 -x7174 
923.08/925.64	v -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 
923.08/925.64	v -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 
923.08/925.64	v -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 
923.08/925.64	v -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7106 -x7105 -x7104 -x7103 -x7102 
923.08/925.64	v -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 
923.08/925.64	v -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 
923.08/925.64	v -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 
923.08/925.64	v -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 
923.08/925.64	v -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 
923.08/925.64	v -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 
923.08/925.64	v -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 
923.08/925.64	v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 
923.08/925.64	v -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 
923.08/925.64	v -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 
923.08/925.64	v -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 
923.08/925.64	v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 
923.08/925.64	v -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 
923.08/925.64	v -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 
923.08/925.64	v -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 x6836 -x6835 -x6834 -x6833 -x6832 -x6831 
923.08/925.64	v -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 
923.08/925.64	v -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 
923.08/925.64	v -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 
923.08/925.64	v -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 
923.08/925.64	v -x6757 -x6756 -x6755 -x6754 -x6753 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 
923.08/925.64	v -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 
923.08/925.64	v -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 
923.08/925.64	v -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 
923.08/925.64	v -x6685 -x6684 -x6683 -x6682 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 
923.08/925.64	v -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 
923.08/925.64	v -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 
923.08/925.64	v -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 
923.08/925.64	v -x6613 -x6612 -x6611 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 
923.08/925.64	v -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6510 -x6509 -x6508 -x6507 
923.08/925.64	v -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 
923.08/925.64	v -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 
923.08/925.64	v -x6470 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 
923.08/925.64	v -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 
923.08/925.64	v -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 
923.08/925.64	v -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 
923.08/925.64	v -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 
923.08/925.64	v -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 
923.08/925.64	v -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 
923.08/925.64	v -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6326 -x6325 
923.08/925.64	v -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 
923.08/925.64	v -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 
923.08/925.64	v -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 
923.08/925.64	v -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6255 -x6254 -x6253 
923.08/925.64	v -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 
923.08/925.64	v -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 
923.08/925.64	v -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 
923.08/925.64	v -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6184 -x6183 -x6182 -x6181 -x6180 
923.08/925.64	v -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 
923.08/925.64	v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 
923.08/925.64	v -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 
923.08/925.64	v -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 
923.08/925.64	v -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 
923.08/925.64	v -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 
923.08/925.64	v -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 
923.08/925.64	v -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 
923.08/925.64	v -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 
923.08/925.64	v -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 
923.08/925.64	v -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 
923.08/925.64	v -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 
923.08/925.64	v -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 x5950 -x5949 -x5948 -x5947 -x5946 -x5945 
923.08/925.64	v -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 
923.08/925.64	v x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 
923.08/925.64	v -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 
923.08/925.64	v -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 
923.08/925.64	v -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 
923.08/925.64	v -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 
923.08/925.64	v -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 
923.08/925.64	v -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 
923.08/925.64	v -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 
923.08/925.64	v -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 
923.08/925.64	v -x5693 -x5692 -x5691 -x5690 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 
923.08/925.64	v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 
923.08/925.64	v -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 
923.08/925.64	v -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 
923.08/925.64	v -x5621 -x5620 -x5619 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 
923.08/925.64	v -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 
923.08/925.64	v -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 
923.08/925.64	v -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 
923.08/925.64	v -x5549 -x5548 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 
923.08/925.64	v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 
923.08/925.64	v -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 
923.08/925.64	v -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 
923.08/925.64	v -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 
923.08/925.64	v -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 
923.08/925.64	v -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 
923.08/925.64	v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5404 
923.08/925.64	v -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 
923.08/925.64	v -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 
923.08/925.64	v -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 
923.08/925.64	v -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5333 -x5332 -x5331 
923.08/925.64	v -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 
923.08/925.64	v -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 
923.08/925.64	v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 
923.08/925.64	v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5262 -x5261 -x5260 -x5259 
923.08/925.64	v -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 
923.08/925.64	v -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 
923.08/925.64	v -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 
923.08/925.64	v -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 
923.08/925.64	v -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 
923.08/925.64	v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 
923.08/925.64	v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 
923.08/925.64	v -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 
923.08/925.64	v -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 
923.08/925.64	v -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 
923.08/925.64	v -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 
923.08/925.64	v -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 
923.08/925.64	v -x5041 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924 
923.08/925.64	v -x9923 -x9922 -x9921 -x9920 -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907 -x9906 
923.08/925.64	v -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889 -x9888 
923.08/925.64	v -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870 -x9869 
923.08/925.64	v -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852 -x9851 
923.08/925.64	v -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 -x9838 -x9837 -x9836 -x9835 -x9834 -x9833 
923.08/925.64	v -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9819 -x9818 -x9817 -x9816 
923.08/925.64	v -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 -x9807 -x9806 -x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 -x9798 -x9797 
923.08/925.64	v -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 -x9782 -x9781 -x9780 -x9779 
923.08/925.64	v -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761 
923.08/925.64	v -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 -x9743 
923.08/925.64	v -x9742 -x9741 -x9740 -x9739 -x9738 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654 
923.08/925.64	v -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636 
923.08/925.64	v -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619 
923.08/925.64	v -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601 
923.08/925.64	v -x9600 -x9599 -x9598 -x9597 -x9595 -x9594 -x9593 -x9592 -x9591 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882 
923.08/925.64	v -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 
923.08/925.64	v -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 
923.08/925.64	v -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 
923.08/925.64	v -x8827 -x8826 -x8824 -x8823 -x8822 -x8821 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 
923.08/925.64	v -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092 
923.08/925.64	v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 
923.08/925.64	v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 
923.08/925.64	v -x8055 -x8053 -x8052 -x8051 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 
923.08/925.64	v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 
923.08/925.64	v -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 
923.08/925.64	v -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7282 
923.08/925.64	v -x7281 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 
923.08/925.64	v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 
923.08/925.64	v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 
923.08/925.64	v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6511 -x5810 
923.08/925.64	v -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 
923.08/925.64	v -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 
923.08/925.64	v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 
923.08/925.64	v -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5040 -x5039 -x5038 
923.08/925.64	v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 
923.08/925.64	v -x5019 -x5018 -x5017 x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 x5003 -x5002 
923.08/925.64	v -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 
923.08/925.64	v -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4759 -x4758 -x4757 -x4756 -x4755 
923.08/925.64	v -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 
923.08/925.64	v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 
923.08/925.64	v -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 
923.08/925.64	v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4620 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 
923.08/925.64	v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 
923.08/925.64	v -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 
923.08/925.64	v -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 
923.08/925.64	v -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 
923.08/925.64	v -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 
923.08/925.64	v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 
923.08/925.64	v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 
923.08/925.64	v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 
923.08/925.64	v -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 
923.08/925.64	v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 
923.08/925.64	v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 
923.08/925.64	v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 
923.08/925.64	v -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 
923.08/925.64	v -x4376 -x4375 -x4374 x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 
923.08/925.64	v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 
923.08/925.64	v -x4340 -x4339 -x4338 -x4337 -x4336 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 
923.08/925.64	v -x4321 -x4320 -x4319 -x4318 -x4317 x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 
923.08/925.64	v -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 
923.08/925.64	v -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 
923.08/925.64	v -x4267 -x4266 -x4265 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 
923.08/925.64	v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 
923.08/925.64	v -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 
923.08/925.64	v -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 
923.08/925.64	v -x4195 -x4194 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 
923.08/925.64	v x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 
923.08/925.64	v -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 
923.08/925.64	v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 
923.08/925.64	v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 
923.08/925.64	v -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 
923.08/925.64	v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 
923.08/925.64	v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4050 
923.08/925.64	v -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 
923.08/925.64	v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 
923.08/925.64	v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 
923.08/925.64	v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 -x3978 -x3977 
923.08/925.64	v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 
923.08/925.64	v -x3958 -x3957 -x3956 -x3955 -x3954 x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 
923.08/925.64	v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 
923.08/925.64	v -x3922 -x3921 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3838 -x3837 -x3836 -x3835 -x3834 
923.08/925.64	v -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 
923.08/925.64	v -x3816 -x3815 -x3814 x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 
923.08/925.64	v -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 
923.08/925.64	v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 
923.08/925.64	v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 
923.08/925.64	v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 x3731 -x3730 -x3729 -x3728 -x3727 -x3726 
923.08/925.64	v -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 
923.08/925.64	v -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 
923.08/925.64	v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 
923.08/925.64	v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 
923.08/925.64	v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 
923.08/925.64	v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 
923.08/925.64	v -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 
923.08/925.64	v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 
923.08/925.64	v -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 
923.08/925.64	v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 
923.08/925.64	v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 
923.08/925.64	v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 
923.08/925.64	v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 
923.08/925.64	v -x3489 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 
923.08/925.64	v -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 
923.08/925.64	v -x3453 -x3452 x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 
923.08/925.64	v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 
923.08/925.64	v -x3417 -x3416 -x3415 -x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 
923.08/925.64	v -x3398 -x3397 -x3396 -x3395 -x3394 x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 
923.08/925.64	v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 
923.08/925.64	v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 
923.08/925.64	v -x3344 -x3343 -x3341 -x3340 -x3339 -x3338 -x3337 x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 
923.08/925.64	v -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 
923.08/925.64	v -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 
923.08/925.64	v -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 
923.08/925.64	v -x3272 -x3270 -x3269 -x3268 -x3267 x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 
923.08/925.64	v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 
923.08/925.64	v -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 
923.08/925.64	v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3199 
923.08/925.64	v -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 x3183 -x3182 -x3181 
923.08/925.64	v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 
923.08/925.64	v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 
923.08/925.64	v -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 
923.08/925.64	v -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 
923.08/925.64	v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 
923.08/925.64	v -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 
923.08/925.64	v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2987 x2986 -x2985 -x2984 
923.08/925.64	v -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 
923.08/925.64	v -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 
923.08/925.64	v -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 
923.08/925.64	v -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 
923.08/925.64	v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 
923.08/925.65	v -x2893 -x2892 x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 
923.08/925.65	v -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 x2867 -x2866 x2865 -x2864 x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 
923.08/925.65	v -x2856 -x2855 -x2854 -x2853 x2852 x2851 -x2850 -x2849 x2848 -x2847 x2845 -x2844 -x2843 -x2842 x2841 x2840 -x2839 -x2838 
923.08/925.65	v -x2837 x2836 -x2835 x2834 -x2833 x2832 x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 x2823 -x2822 -x2821 -x2820 x2819 
923.08/925.65	v -x2818 x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 x2810 x2809 -x2808 x2807 -x2806 -x2805 x2804 x2803 -x2802 x2801 -x2800 
923.08/925.65	v -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 
923.08/925.65	v -x2781 -x2780 -x2779 -x2778 -x2777 x2776 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 
923.08/925.65	v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 
923.08/925.65	v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 
923.08/925.65	v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 
923.08/925.65	v -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 
923.08/925.65	v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 
923.08/925.65	v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 
923.08/925.65	v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 
923.08/925.65	v -x2636 -x2635 -x2634 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 
923.08/925.65	v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 
923.08/925.65	v -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 
923.08/925.65	v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 
923.08/925.65	v -x2563 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 
923.08/925.65	v -x2545 -x2544 -x2543 -x2542 x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 
923.08/925.65	v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 
923.08/925.65	v -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 x2496 -x2495 -x2494 -x2493 -x2492 
923.08/925.65	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
923.08/925.65	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 
923.08/925.65	v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
923.08/925.65	v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2419 -x2418 
923.08/925.65	v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 
923.08/925.65	v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 
923.08/925.65	v -x2381 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 
923.08/925.65	v -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2278 -x2277 -x2276 
923.08/925.65	v -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 x2261 -x2260 -x2259 -x2258 
923.08/925.65	v -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 
923.08/925.65	v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 
923.08/925.65	v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2207 -x2206 -x2205 -x2204 -x2203 
923.08/925.65	v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
923.08/925.65	v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
923.08/925.65	v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 
923.08/925.65	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2136 -x2135 -x2134 x2133 -x2132 -x2131 -x2130 
923.08/925.65	v -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 
923.08/925.65	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 
923.08/925.65	v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 
923.08/925.65	v x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 
923.08/925.65	v -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 
923.08/925.65	v -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 
923.08/925.65	v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 
923.08/925.65	v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 
923.08/925.65	v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 
923.08/925.65	v -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 
923.08/925.65	v -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 -x1932 
923.08/925.65	v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 
923.08/925.65	v -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 
923.08/925.65	v -x1894 -x1893 -x1892 -x1891 -x1890 x1889 x1888 -x1887 x1886 -x1885 -x1884 -x1883 x1882 x1881 x1880 x1879 -x1878 -x1877 -x1876 
923.08/925.65	v x1875 -x1874 x1873 -x1872 -x1871 x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 
923.08/925.65	v x1857 -x1856 x1855 -x1854 -x1852 -x1851 x1850 x1849 -x1848 -x1847 -x1846 x1845 x1844 -x1843 -x1842 -x1841 x1840 -x1839 -x1838 
923.08/925.65	v -x1837 -x1836 x1835 x1834 x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 x1822 -x1821 -x1820 -x1819 
923.08/925.65	v -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 
923.08/925.65	v -x1800 -x1799 -x1798 -x1797 x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 
923.08/925.65	v -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 
923.08/925.65	v -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 
923.08/925.65	v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 
923.08/925.65	v -x1728 -x1727 x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1710 
923.08/925.65	v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 
923.08/925.65	v -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 
923.08/925.65	v -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 
923.08/925.65	v -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 x1643 -x1642 -x1641 -x1639 -x1638 -x1637 
923.08/925.65	v -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 
923.08/925.65	v -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 
923.08/925.65	v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
923.08/925.65	v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 x1503 -x1502 -x1501 -x1500 -x1498 -x1497 -x1496 -x1495 
923.08/925.65	v -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 
923.08/925.65	v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 
923.08/925.65	v -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 
923.08/925.65	v -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 
923.08/925.65	v x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 
923.08/925.65	v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 
923.08/925.65	v -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 
923.08/925.65	v -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1356 -x1355 -x1354 -x1353 -x1352 x1351 -x1350 
923.08/925.65	v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
923.08/925.65	v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 
923.08/925.65	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 
923.08/925.65	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 x1281 -x1280 -x1279 -x1278 -x1277 
923.08/925.65	v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 
923.08/925.65	v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 
923.08/925.65	v -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 x1223 
923.08/925.65	v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 
923.08/925.65	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 
923.08/925.65	v -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 
923.08/925.65	v -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 x1153 -x1152 -x1151 
923.08/925.65	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 
923.08/925.65	v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 
923.08/925.65	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 
923.08/925.65	v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 
923.08/925.65	v -x1077 -x1076 -x1075 -x1074 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 
923.08/925.65	v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 
923.08/925.65	v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 
923.08/925.65	v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 
923.08/925.65	v -x1005 -x1004 -x1003 x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 
923.08/925.65	v -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 x968 x967 x966 -x965 x964 -x963 
923.08/925.65	v -x962 -x961 -x960 x959 -x958 x957 -x956 -x955 x954 x953 x952 -x951 -x950 x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 
923.08/925.65	v -x940 -x939 x938 x937 x936 -x935 -x934 -x933 x932 -x930 -x929 x928 -x927 x926 -x925 -x924 -x923 x922 x921 -x920 -x919 x918 
923.08/925.65	v -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 
923.08/925.65	v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 
923.08/925.65	v -x875 -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x859 -x858 -x857 -x856 -x855 -x854 
923.08/925.65	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 
923.08/925.65	v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 
923.08/925.65	v -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 
923.08/925.65	v -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 
923.08/925.65	v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 
923.08/925.65	v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 
923.08/925.65	v -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 
923.08/925.65	v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
923.08/925.65	v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
923.08/925.65	v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x576 -x575 -x574 -x573 -x572 
923.08/925.65	v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 
923.08/925.65	v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 
923.08/925.65	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 
923.08/925.65	v -x508 -x507 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 
923.08/925.65	v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 
923.08/925.65	v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 
923.08/925.65	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 
923.08/925.65	v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 
923.08/925.65	v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 
923.08/925.65	v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x363 -x362 -x361 -x360 
923.08/925.65	v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 
923.08/925.65	v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 
923.08/925.65	v -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 
923.08/925.65	v -x296 -x295 -x294 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 
923.08/925.65	v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 
923.08/925.65	v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 
923.08/925.65	v -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 
923.08/925.65	v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 
923.08/925.65	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 
923.08/925.65	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x150 -x149 -x148 
923.08/925.65	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
923.08/925.65	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 
923.08/925.65	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 
923.08/925.65	v -x82 -x81 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 
923.08/925.65	v -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 x4946 -x4945 -x4944 -x4943 
923.08/925.65	v -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 
923.08/925.65	v -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4908 -x4907 -x4906 
923.08/925.65	v -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 
923.08/925.65	v -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 
923.08/925.65	v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 
923.08/925.65	v x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4837 -x4836 -x4835 -x4834 -x4833 
923.08/925.65	v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 
923.08/925.65	v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 
923.08/925.65	v -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 
923.08/925.65	v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
923.08/925.65	v -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 
923.08/925.65	v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 
923.08/925.65	v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 x4641 -x4640 -x4639 -x4638 -x4637 
923.08/925.65	v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4621 -x3920 -x3919 -x3918 
923.08/925.65	v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 
923.08/925.65	v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 x3883 -x3882 
923.08/925.65	v -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 
923.08/925.65	v -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3854 -x3853 -x3852 -x3851 -x3150 -x3149 -x3148 -x3147 -x3146 
923.08/925.65	v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
923.08/925.65	v -x3127 x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
923.08/925.65	v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 
923.08/925.65	v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3083 -x3082 -x3081 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 
923.08/925.65	v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 x2356 -x2355 
923.08/925.65	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
923.08/925.65	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 
923.08/925.65	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2312 -x2311 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 
923.08/925.65	v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 
923.08/925.65	v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 
923.08/925.65	v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 
923.08/925.65	v -x1546 -x1545 -x1544 -x1543 -x1541 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 
923.08/925.65	v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 
923.08/925.65	v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 
923.08/925.65	v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 
923.08/925.65	c SCIP Status        : problem is solved [optimal solution found]
923.08/925.65	c Total Time         :     925.62
923.08/925.65	c   solving          :     925.62
923.08/925.65	c   presolving       :       0.80 (included in solving)
923.08/925.65	c   reading          :       0.12 (included in solving)
923.08/925.65	c   copying          :       0.30 (21 #copies) (minimal 0.01, maximal 0.02, average 0.01)
923.08/925.65	c Original Problem   :
923.08/925.65	c   Problem name     : HOME/instance-4432868-1721134230.opb
923.08/925.65	c   Variables        : 9940 (9940 binary, 0 integer, 0 implicit integer, 0 continuous)
923.08/925.65	c   Constraints      : 14846 initial, 14846 maximal
923.08/925.65	c   Objective        : minimize, 9730 non-zeros (abs.min = 1, abs.max = 1.5313e+08)
923.08/925.65	c Presolved Problem  :
923.08/925.65	c   Problem name     : t_HOME/instance-4432868-1721134230.opb
923.08/925.65	c   Variables        : 4833 (4833 binary, 0 integer, 0 implicit integer, 0 continuous)
923.08/925.65	c   Constraints      : 5118 initial, 5167 maximal
923.08/925.65	c   Objective        : minimize, 4693 non-zeros (abs.min = 36, abs.max = 5.35826e+07)
923.08/925.65	c   Nonzeros         : 53700 constraint, 207 clique table
923.08/925.65	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
923.08/925.65	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   domcol           :       0.11       0.00      2          0          0          0          0          0          0          0          0          0
923.08/925.65	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   dualsparsify     :       0.08       0.00      1          0          0          0          0          0          0          0          0          0
923.08/925.65	c   gateextraction   :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
923.08/925.65	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
923.08/925.65	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   milp             :       0.09       0.00      1          0          0          0          0          0          0          0          0          0
923.08/925.65	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   sparsify         :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
923.08/925.65	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   trivial          :       0.00       0.00      6        137          0          0          0          0          0          0          0          0
923.08/925.65	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   dualfix          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
923.08/925.65	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   probing          :       0.11       0.00      1          0          0          0          0          0          0          0          0          0
923.08/925.65	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
923.08/925.65	c   symmetry         :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
923.08/925.65	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
923.08/925.65	c   knapsack         :       0.06       0.00     10          0          0          0          0          0        129          0          4          4
923.08/925.65	c   setppc           :       0.00       0.00     10          0          0          0          0          0          0          0          0          0
923.08/925.65	c   linear           :       0.20       0.02     10        140       4830          0        140          0       9662          0       2415       2415
923.08/925.65	c   logicor          :       0.03       0.00      9          0          0          0          0          0          0          0          0          0
923.08/925.65	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   components       :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
923.08/925.65	c   root node        :          -          -      -       3085          -          -       3085          -          -          -          -          -
923.08/925.65	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
923.08/925.65	c   benderslp        :          0          0          0          0       2163          0          0        362          0          0          0          0          0          0          0
923.08/925.65	c   integral         :          0          0          0          0       2163          0          0        362          0          0       5323          0          0        488       3648
923.08/925.65	c   knapsack         :       2533       2533         45      33957         11          0          0        355      10690        242      75858       1099        223          0          0
923.08/925.65	c   setppc           :         71         71         45      24816          2          0          0         15       1889         25      11029          0          0          0          0
923.08/925.65	c   linear           :          3+        11         45      33690         11          0          0         15       2677        368      21937          0          0          0          0
923.08/925.65	c   logicor          :       2511+      2703         45      14650         11          0          0         12       4773        110     822348          0          0          0          0
923.08/925.65	c   benders          :          0          0          0          0         11          0          0         14          0          0          0          0          0          0          0
923.08/925.65	c   fixedvar         :          0          0          0          0         11          0          0         14          0          0          0          0          0          0          0
923.08/925.65	c   countsols        :          0          0          0          0         11          0          0         14          0          0          0          0          0          0          0
923.08/925.65	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
923.08/925.65	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c   integral         :     311.73       0.00       0.00       0.00     311.73       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c   knapsack         :       3.73       0.00       1.64       1.61       0.00       0.00       0.00       0.01       0.01       0.46
923.08/925.65	c   setppc           :       0.11       0.00       0.00       0.07       0.00       0.00       0.00       0.00       0.00       0.04
923.08/925.65	c   linear           :       1.15       0.02       0.38       0.65       0.00       0.00       0.00       0.00       0.00       0.11
923.08/925.65	c   logicor          :       2.72       0.00       0.02       2.01       0.00       0.00       0.00       0.00       0.00       0.68
923.08/925.65	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c   fixedvar         :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.01       0.00       0.00
923.08/925.65	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
923.08/925.65	c   dualfix          :          7          0          0          0
923.08/925.65	c   genvbounds       :          0          0          0          0
923.08/925.65	c   nlobbt           :          0          0          0          0
923.08/925.65	c   obbt             :          0          0          0          0
923.08/925.65	c   probing          :          0          0          0          0
923.08/925.65	c   pseudoobj        :      15804          4          0        229
923.08/925.65	c   redcost          :       8596          0          0     223425
923.08/925.65	c   rootredcost      :         14          0          0       1846
923.08/925.65	c   symmetry         :          0          0          0          0
923.08/925.65	c   vbounds          :       4537          0          0          0
923.08/925.65	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
923.08/925.65	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c   genvbounds       :       0.01       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
923.08/925.65	c   probing          :       0.11       0.00       0.11       0.00       0.00       0.00
923.08/925.65	c   pseudoobj        :       0.06       0.00       0.00       0.05       0.00       0.00
923.08/925.65	c   redcost          :       1.01       0.00       0.00       1.01       0.00       0.00
923.08/925.65	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
923.08/925.65	c   symmetry         :       0.04       0.00       0.03       0.01       0.00       0.00
923.08/925.65	c   vbounds          :       0.02       0.00       0.00       0.02       0.00       0.00
923.08/925.65	c Symmetry           :
923.08/925.65	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
923.08/925.65	c   orbital reduction:          0 reductions applied,          0 cutoffs
923.08/925.65	c   lexicographic red:          0 reductions applied,          0 cutoffs
923.08/925.65	c   shadow tree time :       0.00 s
923.08/925.65	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
923.08/925.65	c   propagation      :       0.03        389        388          -       1357       99.0         22       12.4          -          -          -
923.08/925.65	c   infeasible LP    :       0.02         23         22          -         98      309.9          1       10.0         16      335.4          0
923.08/925.65	c   bound exceed. LP :       1.53       1073        188          -        556      208.9          0        0.0        129        1.0       1390
923.08/925.65	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
923.08/925.65	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
923.08/925.65	c   applied globally :       0.01          -          -        129       1404       89.7          -          -        145          -          -
923.08/925.65	c   applied locally  :          -          -          -          0          2      823.0          -          -          0          -          -
923.08/925.65	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
923.08/925.65	c   cut pool         :       0.11          -       1069         83          -          -       3904       7496          -          -          -          -          -    (maximal pool size:       1105)
923.08/925.65	c   aggregation      :      10.81       0.00        378         45          0          0        878       1977          2        769        768          1          0
923.08/925.65	c   > cmir           :          -          -          -          -          -          -          -        622          0        129        129          0          -
923.08/925.65	c   > flowcover      :          -          -          -          -          -          -          -        775          0        313        313          0          -
923.08/925.65	c   > knapsackcover  :          -          -          -          -          -          -          -        580          2        327        326          1          -
923.08/925.65	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   clique           :       0.00       0.00         45         45          0          0          0          0          0          0          0          0          0
923.08/925.65	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   gomory           :      22.85       0.00        227         20          0          0       2689       4668          0        118        118          0          0
923.08/925.65	c   > gomorymi       :          -          -          -          -          -          -          -       2111          0         52         52          0          -
923.08/925.65	c   > strongcg       :          -          -          -          -          -          -          -       2557          0         66         66          0          -
923.08/925.65	c   impliedbounds    :       0.02       0.00        378         45          0          0          0          0          0          0          0          0          0
923.08/925.65	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
923.08/925.65	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   multilinear      :       0.00       0.00        122         45          0          0          0          0          0          0          0          0          0
923.08/925.65	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   rapidlearning    :       0.02       0.00          0          0          0          0          0          0          0          0          0          0          0
923.08/925.65	c   rlt              :       0.00       0.00         81         20          0          0          0          0          0          0          0          0          0
923.08/925.65	c   zerohalf         :       4.38       0.00        247         40          0          0        357        851         18        533        516         17          0
923.08/925.65	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
923.08/925.65	c   hybrid           :       0.01       0.00        515         42       1643          0       6972        334          0       1011
923.08/925.65	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c Pricers            :   ExecTime  SetupTime      Calls       Vars
923.08/925.65	c   problem variables:       0.00          -          0          0
923.08/925.65	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
923.08/925.65	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c   relpscost        :     311.72       0.00       2152          0          0          0       5323          0        555       3648
923.08/925.65	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
923.08/925.65	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
923.08/925.65	c   LP solutions     :       0.01          -          -         11         11
923.08/925.65	c   relax solutions  :       0.00          -          -          0          0
923.08/925.65	c   pseudo solutions :       0.00          -          -          0          0
923.08/925.65	c   strong branching :       0.01          -          -          1          1
923.08/925.65	c   actconsdiving    :       0.00       0.00          0          0          0
923.08/925.65	c   adaptivediving   :       1.44       0.00          7          0          0
923.08/925.65	c   alns             :       1.79       0.00          5          1          1
923.08/925.65	c   bound            :       0.00       0.00          0          0          0
923.08/925.65	c   clique           :       0.07       0.00          1          1          1
923.08/925.65	c   coefdiving       :       0.00       0.00          0          0          0
923.08/925.65	c   completesol      :       0.00       0.00          0          0          0
923.08/925.65	c   conflictdiving   :       9.30       0.00          4          1          1
923.08/925.65	c   crossover        :       0.33       0.00          8          2          0
923.08/925.65	c   dins             :       0.00       0.00          0          0          0
923.08/925.65	c   distributiondivin:       7.53       0.00          4          0          0
923.08/925.65	c   dps              :       0.00       0.00          0          0          0
923.08/925.65	c   dualval          :       0.00       0.00          0          0          0
923.08/925.65	c   farkasdiving     :       8.22       0.00          2          0          0
923.08/925.65	c   feasjump         :       0.00       0.00          0          0          0
923.08/925.65	c   feaspump         :       3.93       0.00          1          0          0
923.08/925.65	c   fixandinfer      :       0.00       0.00          0          0          0
923.08/925.65	c   fracdiving       :       1.40       0.00          4          0          0
923.08/925.65	c   gins             :       0.01       0.00          0          0          0
923.08/925.65	c   guideddiving     :       2.77       0.00          4          0          0
923.08/925.65	c   indcoefdiving    :       0.00       0.00          0          0          0
923.08/925.65	c   indicator        :       0.00       0.00          0          0          0
923.08/925.65	c   indicatordiving  :       0.00       0.00          0          0          0
923.08/925.65	c   indoneopt        :       0.00       0.00          0          0          0
923.08/925.65	c   indrounding      :       0.00       0.00          0          0          0
923.08/925.65	c   indtwoopt        :       0.00       0.00          0          0          0
923.08/925.65	c   intdiving        :       0.00       0.00          0          0          0
923.08/925.65	c   intshifting      :       0.00       0.00          0          0          0
923.08/925.65	c   linesearchdiving :       0.61       0.00          4          0          0
923.08/925.65	c   localbranching   :       0.00       0.00          0          0          0
923.08/925.65	c   locks            :       0.04       0.00          1          0          0
923.08/925.65	c   lpface           :       0.00       0.00          0          0          0
923.08/925.65	c   mpec             :       0.00       0.00          0          0          0
923.08/925.65	c   multistart       :       0.00       0.00          0          0          0
923.08/925.65	c   mutation         :       0.00       0.00          0          0          0
923.08/925.65	c   nlpdiving        :       0.00       0.00          0          0          0
923.08/925.65	c   objpscostdiving  :       2.40       0.00          2          0          0
923.08/925.65	c   octane           :       0.00       0.00          0          0          0
923.08/925.65	c   ofins            :       0.00       0.00          0          0          0
923.08/925.65	c   oneopt           :       0.03       0.00         15          0          0
923.08/925.65	c   padm             :       0.00       0.00          0          0          0
923.08/925.65	c   proximity        :       0.00       0.00          0          0          0
923.08/925.65	c   pscostdiving     :       3.46       0.00          4          0          0
923.08/925.65	c   randrounding     :       0.26       0.00        379          0          0
923.08/925.65	c   rens             :       0.47       0.00          2          0          0
923.08/925.65	c   reoptsols        :       0.00       0.00          0          0          0
923.08/925.65	c   repair           :       0.00       0.00          0          0          0
923.08/925.65	c   rins             :       0.78       0.00          6          1          0
923.08/925.65	c   rootsoldiving    :      19.92       0.00          1          0          0
923.08/925.65	c   rounding         :       0.44       0.00        715          0          0
923.08/925.65	c   scheduler        :       0.00       0.00          0          0          0
923.08/925.65	c   shiftandpropagate:       0.00       0.00          0          0          0
923.08/925.65	c   shifting         :       3.40       0.00        311          0          0
923.08/925.65	c   simplerounding   :       0.00       0.00          0          0          0
923.08/925.65	c   smallcard        :       0.00       0.00          0          0          0
923.08/925.65	c   subnlp           :       0.00       0.00          0          0          0
923.08/925.65	c   trivial          :       0.01       0.00          4          0          0
923.08/925.65	c   trivialnegation  :       0.00       0.00          0          0          0
923.08/925.65	c   trustregion      :       0.00       0.00          0          0          0
923.08/925.65	c   trysol           :       0.00       0.00          0          0          0
923.08/925.65	c   twoopt           :       0.00       0.00          0          0          0
923.08/925.65	c   undercover       :       0.00       0.00          0          0          0
923.08/925.65	c   vbounds          :       0.00       0.00          0          0          0
923.08/925.65	c   veclendiving     :       5.60       0.00          4          0          0
923.08/925.65	c   zeroobj          :       0.00       0.00          0          0          0
923.08/925.65	c   zirounding       :       0.13       0.00       1000          0          0
923.08/925.65	c   other solutions  :          -          -          -          0          -
923.08/925.65	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
923.08/925.65	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
923.08/925.65	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
923.08/925.65	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
923.08/925.65	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
923.08/925.65	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
923.08/925.65	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
923.08/925.65	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
923.08/925.65	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
923.08/925.65	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
923.08/925.65	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
923.08/925.65	c   primal LP        :       0.70        195          0       0.00       0.00       0.70        195
923.08/925.65	c   dual LP          :     484.47       7270    1907334     444.29    3936.92       4.58       2977
923.08/925.65	c   lex dual LP      :       0.00          0          0       0.00          -
923.08/925.65	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
923.08/925.65	c   resolve instable :       0.00          0          0       0.00          -
923.08/925.65	c   diving/probing LP:      65.09        797     269649     338.33    4142.69
923.08/925.65	c   strong branching :     303.15       2608    1121325     429.96    3698.86          -          -       1513
923.08/925.65	c     (at root node) :          -         89      74326     835.12          -
923.08/925.65	c   conflict analysis:       0.53        139       1390      10.00    2637.10
923.08/925.65	c B&B Tree           :
923.08/925.65	c   number of runs   :          2
923.08/925.65	c   nodes            :       3399 (1823 internal, 1576 leaves)
923.08/925.65	c   feasible leaves  :         11
923.08/925.65	c   infeas. leaves   :        352
923.08/925.65	c   objective leaves :       1213
923.08/925.65	c   nodes (total)    :       3400 (1824 internal, 1576 leaves)
923.08/925.65	c   nodes left       :          0
923.08/925.65	c   max depth        :         98
923.08/925.65	c   max depth (total):         98
923.08/925.65	c   backtracks       :        504 (14.8%)
923.08/925.65	c   early backtracks :          0 (0.0%)
923.08/925.65	c   nodes exc. ref.  :          0 (0.0%)
923.08/925.65	c   delayed cutoffs  :          4
923.08/925.65	c   repropagations   :        839 (9313 domain reductions, 0 cutoffs)
923.08/925.65	c   avg switch length:       4.81
923.08/925.65	c   switching time   :       2.77
923.08/925.65	c Root Node          :
923.08/925.65	c   First LP value   : +1.88651274524456e+06
923.08/925.65	c   First LP Iters   :       8288 (2971.30 Iter/sec)
923.08/925.65	c   First LP Time    :       2.79
923.08/925.65	c   Final Dual Bound : +3.43731300000000e+06
923.08/925.65	c   Final Root Iters :      42716
923.08/925.65	c   Root LP Estimate : +5.97021788424840e+06
923.08/925.65	c Solution           :
923.08/925.65	c   Solutions found  :         18 (15 improvements)
923.08/925.65	c   First Solution   : +1.09825189000000e+08   (in run 1, after 1 nodes, 0.98 seconds, depth 6, found by <clique>)
923.08/925.65	c   Gap First Sol.   :   infinite
923.08/925.65	c   Gap Last Sol.    :      26.35 %
923.08/925.65	c   Primal Bound     : +3.43731300000000e+06   (in run 2, after 3250 nodes, 889.93 seconds, depth 33, found by <relaxation>)
923.08/925.65	c   Dual Bound       : +3.43731300000000e+06
923.08/925.65	c   Gap              :       0.00 %
923.08/925.65	c Integrals          :      Total       Avg%
923.08/925.65	c   primal-dual      :   47076.60      50.86
923.08/925.65	c   primal-ref       :          -          - (not evaluated)
923.08/925.65	c   dual-ref         :          -          - (not evaluated)
923.08/925.69	c Time complete: 923.177.

Verifier Data

OK	3437313

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62548 MiB free)
  memory of node 1: 64510 MiB (63143 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432868-1721134230/watcher-4432868-1721134230 -o /tmp/evaluation-result-4432868-1721134230/solver-4432868-1721134230 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844284 --watchdog 3760 pbscip -f HOME/instance-4432868-1721134230.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=846687, runsolver pid=846684

[startup+0.100811 s]*
/proc/loadavg: 4.29 4.17 4.13 5/241 846688
/proc/meminfo: memFree=128686564/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=74180 memory=33648 CPUtime=0.09 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 5500 0 0 0 8 1 0 0 20 0 1 0 165579444 75960320 8412 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 18545 8412 3242 3540 0 6802 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74180 KiB
Current children cumulated memory: 33648 KiB

[startup+0.221809 s]*
/proc/loadavg: 4.29 4.17 4.13 5/241 846688
/proc/meminfo: memFree=128658340/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=103552 memory=63116 CPUtime=0.19 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 12654 0 0 0 16 3 0 0 20 0 1 0 165579444 106037248 15779 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 25888 15779 3578 3540 0 14145 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 103552 KiB
Current children cumulated memory: 63116 KiB

[startup+0.313807 s]*
/proc/loadavg: 4.29 4.17 4.13 5/241 846688
/proc/meminfo: memFree=128656256/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=105512 memory=65144 CPUtime=0.27 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 13139 0 0 0 24 3 0 0 20 0 1 0 165579444 108044288 16286 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 26378 16286 3626 3540 0 14635 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 105512 KiB
Current children cumulated memory: 65144 KiB

[startup+0.700806 s]
/proc/loadavg: 4.29 4.17 4.13 6/241 846688
/proc/meminfo: memFree=128642816/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=120296 memory=80468 CPUtime=0.62 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 19263 0 0 0 57 5 0 0 20 0 1 0 165579444 123183104 20117 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 30074 20117 3801 3540 0 18331 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 120296 KiB
Current children cumulated memory: 80468 KiB

[startup+1.50019 s]
/proc/loadavg: 4.29 4.17 4.13 5/243 846692
/proc/meminfo: memFree=128613176/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=162116 memory=112432 CPUtime=1.42 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 27716 0 0 0 134 8 0 0 20 0 1 0 165579444 166006784 28108 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 40529 28108 3961 3540 0 28786 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 162116 KiB
Current children cumulated memory: 112432 KiB

[startup+3.11279 s]
/proc/loadavg: 4.67 4.25 4.16 5/243 846693
/proc/meminfo: memFree=128608604/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=163792 memory=113752 CPUtime=3.02 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 28048 0 0 0 294 8 0 0 20 0 1 0 165579444 167723008 28438 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 40948 28438 3961 3540 0 29205 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 163792 KiB
Current children cumulated memory: 113752 KiB

[startup+6.30031 s]
/proc/loadavg: 4.67 4.25 4.16 5/243 846693
/proc/meminfo: memFree=128599776/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=173740 memory=124300 CPUtime=6.2 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 30396 0 0 0 612 8 0 0 20 0 1 0 165579444 177909760 31075 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 43435 31075 3961 3540 0 31692 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 173740 KiB
Current children cumulated memory: 124300 KiB

[startup+12.7003 s]
/proc/loadavg: 4.72 4.28 4.17 5/243 846695
/proc/meminfo: memFree=128582232/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=190432 memory=139892 CPUtime=12.58 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 34386 0 0 0 1250 8 0 0 20 0 1 0 165579444 195002368 34973 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 47608 34973 3961 3540 0 35865 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 139892 KiB

[startup+25.5003 s]
/proc/loadavg: 4.92 4.33 4.19 5/243 846696
/proc/meminfo: memFree=128545096/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=221012 memory=171936 CPUtime=25.35 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 42835 0 0 0 2525 10 0 0 20 0 1 0 165579444 226316288 42984 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 55253 42984 3997 3540 0 43510 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 221012 KiB
Current children cumulated memory: 171936 KiB

[startup+51.113 s]
/proc/loadavg: 4.95 4.39 4.21 5/243 846699
/proc/meminfo: memFree=128541084/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=221012 memory=174376 CPUtime=50.89 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 42925 0 0 0 5079 10 0 0 20 0 1 0 165579444 226316288 43594 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 55253 43594 3997 3540 0 43510 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 221012 KiB
Current children cumulated memory: 174376 KiB

[startup+102.3 s]
/proc/loadavg: 4.44 4.34 4.20 5/243 846709
/proc/meminfo: memFree=128518856/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=236200 memory=196188 CPUtime=101.94 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 46491 0 0 0 10183 11 0 0 20 0 1 0 165579444 241868800 49047 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 59050 49047 3997 3540 0 47307 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 236200 KiB
Current children cumulated memory: 196188 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 4.30 4.20 5/243 846720
/proc/meminfo: memFree=128513752/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=236200 memory=196252 CPUtime=161.79 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 46640 0 0 0 16168 11 0 0 20 0 1 0 165579444 241868800 49063 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 59050 49063 4013 3540 0 47307 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 236200 KiB
Current children cumulated memory: 196252 KiB

[startup+222.3 s]
/proc/loadavg: 4.25 4.29 4.20 5/243 846776
/proc/meminfo: memFree=128617912/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=236200 memory=196252 CPUtime=221.64 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 46715 0 0 0 22153 11 0 0 20 0 1 0 165579444 241868800 49063 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 59050 49063 4013 3540 0 47307 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 236200 KiB
Current children cumulated memory: 196252 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.24 4.18 5/243 846787
/proc/meminfo: memFree=128532140/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=259112 memory=218020 CPUtime=281.48 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 52270 0 0 0 28137 11 0 0 20 0 1 0 165579444 265330688 54505 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 64778 54505 4013 3540 0 53035 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 259112 KiB
Current children cumulated memory: 218020 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.24 4.18 5/243 847181
/proc/meminfo: memFree=128506528/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=259112 memory=218192 CPUtime=341.34 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 52357 0 0 0 34123 11 0 0 20 0 1 0 165579444 265330688 54548 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 64778 54548 4013 3540 0 53035 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 259112 KiB
Current children cumulated memory: 218192 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/243 847191
/proc/meminfo: memFree=128466880/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=259112 memory=218524 CPUtime=401.19 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 52440 0 0 0 40108 11 0 0 20 0 1 0 165579444 265330688 54631 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 64778 54631 4096 3540 0 53035 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 259112 KiB
Current children cumulated memory: 218524 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/243 847201
/proc/meminfo: memFree=128452876/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=260240 memory=219508 CPUtime=461.04 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 52715 0 0 0 46092 12 0 0 20 0 1 0 165579444 266485760 54877 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 65060 54877 4160 3540 0 53317 0

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

/proc/loadavg: 4.18 4.18 4.17 5/245 847382
/proc/meminfo: memFree=128439968/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=271208 memory=230068 CPUtime=520.89 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 55440 0 0 0 52077 12 0 0 20 0 1 0 165579444 277716992 57517 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 67802 57517 4160 3540 0 56059 0
Current children cumulated CPU time: 520.89 s
Current children cumulated vsize: 271208 KiB
Current children cumulated memory: 230068 KiB

[startup+582.3 s]
/proc/loadavg: 4.17 4.18 4.17 5/245 847392
/proc/meminfo: memFree=128439784/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=271208 memory=230224 CPUtime=580.74 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 55543 0 0 0 58062 12 0 0 20 0 1 0 165579444 277716992 57556 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 67802 57556 4160 3540 0 56059 0
Current children cumulated CPU time: 580.74 s
Current children cumulated vsize: 271208 KiB
Current children cumulated memory: 230224 KiB

[startup+642.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/243 847415
/proc/meminfo: memFree=128435736/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=273128 memory=232144 CPUtime=640.59 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 56098 0 0 0 64046 13 0 0 20 0 1 0 165579444 279683072 58036 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 68282 58036 4160 3540 0 56539 0
Current children cumulated CPU time: 640.59 s
Current children cumulated vsize: 273128 KiB
Current children cumulated memory: 232144 KiB

[startup+702.3 s]
/proc/loadavg: 4.07 4.14 4.16 5/243 847426
/proc/meminfo: memFree=128431940/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=273688 memory=232840 CPUtime=700.44 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 56346 0 0 0 70031 13 0 0 20 0 1 0 165579444 280256512 58210 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 68422 58210 4160 3540 0 56679 0
Current children cumulated CPU time: 700.44 s
Current children cumulated vsize: 273688 KiB
Current children cumulated memory: 232840 KiB

[startup+762.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/243 847436
/proc/meminfo: memFree=128421332/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=276524 memory=235312 CPUtime=760.25 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57047 0 0 0 76012 13 0 0 20 0 1 0 165579444 283160576 58828 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69131 58828 4160 3540 0 57388 0
Current children cumulated CPU time: 760.25 s
Current children cumulated vsize: 276524 KiB
Current children cumulated memory: 235312 KiB

[startup+822.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/242 847446
/proc/meminfo: memFree=128395864/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=276524 memory=235520 CPUtime=820.06 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57174 0 0 0 81993 13 0 0 20 0 1 0 165579444 283160576 58880 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69131 58880 4160 3540 0 57388 0
Current children cumulated CPU time: 820.06 s
Current children cumulated vsize: 276524 KiB
Current children cumulated memory: 235520 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/242 847457
/proc/meminfo: memFree=128392880/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=879.89 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57627 0 0 0 87976 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 879.89 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

[startup+925.695 s]
# the end of solver process 846687 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=923.041 s, system=0.141889 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896 s]*
/proc/loadavg: 4.09 4.12 4.15 5/242 847459
/proc/meminfo: memFree=128392820/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=893.57 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57628 0 0 0 89344 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 893.57 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

[startup+908.8 s]
/proc/loadavg: 4.07 4.11 4.14 5/241 847461
/proc/meminfo: memFree=128391520/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=906.32 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57628 0 0 0 90619 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 906.32 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

[startup+915.2 s]
/proc/loadavg: 4.06 4.11 4.14 5/241 847463
/proc/meminfo: memFree=128391492/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=912.7 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57628 0 0 0 91257 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 912.7 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

[startup+921.6 s]
/proc/loadavg: 4.06 4.11 4.14 5/241 847463
/proc/meminfo: memFree=128391236/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=919.09 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57628 0 0 0 91896 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 919.09 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

[startup+923.2 s]
/proc/loadavg: 4.05 4.10 4.14 5/241 847464
/proc/meminfo: memFree=128391152/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=920.68 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57720 0 0 0 92055 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 920.68 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

[startup+924.8 s]
/proc/loadavg: 4.05 4.10 4.14 5/241 847464
/proc/meminfo: memFree=128391152/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=922.28 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57720 0 0 0 92215 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 922.28 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

[startup+925.2 s]
/proc/loadavg: 4.05 4.10 4.14 5/241 847464
/proc/meminfo: memFree=128391152/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=922.68 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57720 0 0 0 92255 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 922.68 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

[startup+925.6 s]
/proc/loadavg: 4.05 4.10 4.14 5/241 847464
/proc/meminfo: memFree=128391152/131655788 swapFree=131071996/131071996
[pid=846687] ppid=846684 vsize=277476 memory=238072 CPUtime=923.08 cores=1,3
/proc/846687/stat : 846687 (pbscip) R 846684 846687 844272 0 -1 4194304 57720 0 0 0 92295 13 0 0 20 0 1 0 165579444 284135424 59518 134679101440 4194304 18693293 140733271635696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49582080 140733271643140 140733271643239 140733271643239 140733271650254 0
/proc/846687/statm: 69369 59518 4160 3540 0 57626 0
Current children cumulated CPU time: 923.08 s
Current children cumulated vsize: 277476 KiB
Current children cumulated memory: 238072 KiB

Child status: 0

Real time (s): 925.695
CPU time (s): 923.183
CPU user time (s): 923.041
CPU system time (s): 0.141889
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 277476
Max. memory (cumulated for all children) (KiB): 238072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 923.041
system time used= 0.141889
maximum resident set size= 238072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57733
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= 56
involuntary context switches= 436


# summary of solver processes directly reported to runsolver:
#   pid: 846687
#   total CPU time (s): 923.183
#   total CPU user time (s): 923.041
#   total CPU system time (s): 0.141889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25013 second user time and 9.1731 second system time

The end

Launcher Data

Begin job on nodeC008 at 2024-07-16 14:50:42
IDJOB=4432868
IDBENCH=155624
IDSOLVER=3059
FILE ID=nodeC008/4432868-1721134230
RUNJOBID= nodeC008-1721129802-844284
SLURM_JOB_ID= 7505695
Free space on /tmp= 723712 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432868-1721134230/watcher-4432868-1721134230 -o /tmp/evaluation-result-4432868-1721134230/solver-4432868-1721134230 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844284 --watchdog 3760  pbscip -f HOME/instance-4432868-1721134230.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
RANDOM SEED=1548051137

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3669.120
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.970
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.491
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.246
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3669.134
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3658.679
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.510
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.432
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128707952 kB
MemAvailable:   129010608 kB
Buffers:          432616 kB
Cached:           713060 kB
SwapCached:            0 kB
Active:           668052 kB
Inactive:        1754920 kB
Active(anon):       1508 kB
Inactive(anon):  1313492 kB
Active(file):     666544 kB
Inactive(file):   441428 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19260 kB
Writeback:            12 kB
AnonPages:       1277024 kB
Mapped:           140476 kB
Shmem:             37704 kB
KReclaimable:      69428 kB
Slab:             163756 kB
SReclaimable:      69428 kB
SUnreclaim:        94328 kB
KernelStack:        3884 kB
PageTables:        12016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1704460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52672 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1054720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723692 MiB
End job on nodeC008 at 2024-07-16 15:06:08