Trace number 4432732

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-07SAT25 3588.3 3597.14

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMa7d8f923a6cdb36d5c6f2d05cbd48ec7
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 benchmark19
Best CPU time to get the best result obtained on this benchmark263.345
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432732-1721100859.opb>
0.00/0.06	c original problem has 8901 variables (8901 bin, 0 int, 0 impl, 0 cont) and 32298 constraints
0.00/0.06	c problem read in 0.06
0.10/0.12	c presolving:
0.10/0.16	c (round 1, fast)       735 del vars, 1465 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 0 impls, 23446 clqs
0.10/0.20	c    (0.2s) running MILP presolver
0.21/0.24	c    (0.2s) MILP presolver (2 rounds): 17 aggregations, 0 fixings, 0 bound changes
0.21/0.24	c (round 2, medium)     752 del vars, 1465 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 0 impls, 23412 clqs
0.21/0.25	c (round 3, fast)       752 del vars, 1516 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 0 impls, 23412 clqs
0.21/0.32	c (round 4, exhaustive) 752 del vars, 1516 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 0 impls, 23412 clqs
0.42/0.44	c (round 5, exhaustive) 752 del vars, 31562 del conss, 7364 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 0 impls, 23412 clqs
0.42/0.48	c (round 6, exhaustive) 1000 del vars, 31810 del conss, 7364 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 0 impls, 22911 clqs
0.51/0.54	c    (0.5s) probing: 51/7901 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.51/0.54	c    (0.5s) probing aborted: 50/50 successive totally useless probings
0.51/0.54	c    (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.51/0.55	c    (0.6s) no symmetry present (symcode time: 0.00)
0.51/0.56	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.51/0.56	c  1000 deleted vars, 31810 deleted constraints, 7364 added constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 17 changed coefficients
0.51/0.56	c  0 implications, 22911 cliques
0.51/0.56	c presolved problem has 7901 variables (7901 bin, 0 int, 0 impl, 0 cont) and 7852 constraints
0.51/0.56	c       1 constraints of type <knapsack>
0.51/0.56	c     730 constraints of type <setppc>
0.51/0.56	c    7116 constraints of type <and>
0.51/0.56	c       5 constraints of type <logicor>
0.51/0.56	c transformed objective value is always integral (scale: 1)
0.51/0.56	c Presolving Time: 0.45
0.51/0.56	c - non default parameters ----------------------------------------------------------------------
0.51/0.56	c # SCIP version 10.0.0
0.51/0.56	c 
0.51/0.56	c # maximal time in seconds to run
0.51/0.56	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.51/0.56	c limits/time = 3596.99704
0.51/0.56	c 
0.51/0.56	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.51/0.56	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.51/0.56	c limits/memory = 27900
0.51/0.56	c 
0.51/0.56	c # belongs reading time to solving time?
0.51/0.56	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.51/0.56	c timing/reading = TRUE
0.51/0.56	c 
0.51/0.56	c -----------------------------------------------------------------------------------------------
0.51/0.56	c start solving
0.51/0.56	c 
1.00/1.07	o 28
1.00/1.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.00/1.07	c p 1.1s|     1 |     0 |     0 |     - |shiftand|   0 |7901 |7919 |  14k|   0 |  0 |  68 |   0 | 5.000000e+00 | 2.800000e+01 | 460.00%| unknown
1.00/1.08	o 27
1.00/1.08	c i 1.1s|     1 |     0 |     0 |     - |  oneopt|   0 |7901 |7919 |  14k|   0 |  0 |  68 |   0 | 5.000000e+00 | 2.700000e+01 | 440.00%| unknown
1.10/1.12	c   1.1s|     1 |     0 |   681 |     - |   138M |   0 |7901 |7919 |  14k|   0 |  0 |  68 |   0 | 7.750000e+00 | 2.700000e+01 | 248.39%| unknown
1.88/1.96	c   2.0s|     1 |     0 |   777 |     - |   148M |   0 |7901 |8114 |  14k|  26 |  1 |  68 |   0 | 8.381818e+00 | 2.700000e+01 | 222.13%| unknown
2.88/2.97	c   3.0s|     1 |     0 |   854 |     - |   167M |   0 |7901 |8113 |  15k|  52 |  2 |  68 |   0 | 9.166667e+00 | 2.700000e+01 | 194.55%| unknown
3.88/3.97	c   4.0s|     1 |     0 |  1461 |     - |   179M |   0 |7901 |8113 |  15k|  76 |  3 |  70 |   0 | 9.523364e+00 | 2.700000e+01 | 183.51%| unknown
4.99/5.04	c   5.0s|     1 |     0 |  1558 |     - |   196M |   0 |7901 |8103 |  15k| 160 |  4 |  70 |   0 | 1.000000e+01 | 2.700000e+01 | 170.00%| unknown
5.78/5.85	c   5.9s|     1 |     0 |  1847 |     - |   208M |   0 |7901 |8105 |  15k| 209 |  5 |  73 |   0 | 1.050000e+01 | 2.700000e+01 | 157.14%| unknown
6.47/6.55	c   6.5s|     1 |     0 |  2470 |     - |   220M |   0 |7901 |8109 |  15k| 276 |  6 |  81 |   0 | 1.066667e+01 | 2.700000e+01 | 153.12%| unknown
6.87/6.96	c   7.0s|     1 |     0 |  2812 |     - |   226M |   0 |7901 |8108 |  15k| 325 |  7 |  81 |   0 | 1.066667e+01 | 2.700000e+01 | 153.12%| unknown
7.47/7.51	c   7.5s|     1 |     0 |  3421 |     - |   241M |   0 |7901 |8108 |  15k| 392 |  8 |  81 |   0 | 1.068750e+01 | 2.700000e+01 | 152.63%| unknown
8.08/8.19	c   8.2s|     1 |     0 |  4236 |     - |   250M |   0 |7901 |8108 |  15k| 485 |  9 |  81 |   0 | 1.100000e+01 | 2.700000e+01 | 145.45%| unknown
8.67/8.76	c   8.8s|     1 |     0 |  5693 |     - |   260M |   0 |7901 |8108 |  15k| 577 | 10 |  81 |   0 | 1.103186e+01 | 2.700000e+01 | 144.75%| unknown
8.87/8.96	c   9.0s|     1 |     0 |  6304 |     - |   262M |   0 |7901 |8118 |  15k| 760 | 11 |  91 |   0 | 1.118376e+01 | 2.700000e+01 | 141.42%| unknown
9.08/9.13	c   9.1s|     1 |     0 |  6881 |     - |   264M |   0 |7901 |8123 |  15k| 885 | 12 |  96 |   0 | 1.125320e+01 | 2.700000e+01 | 139.93%| unknown
9.26/9.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.26/9.33	c   9.3s|     1 |     0 |  7829 |     - |   265M |   0 |7901 |8124 |  16k|1042 | 13 |  97 |   0 | 1.127882e+01 | 2.700000e+01 | 139.39%| unknown
9.47/9.54	c   9.5s|     1 |     0 |  8538 |     - |   267M |   0 |7901 |8125 |  16k|1248 | 14 |  98 |   0 | 1.131203e+01 | 2.700000e+01 | 138.68%| unknown
9.76/9.89	c   9.9s|     1 |     0 | 10144 |     - |   269M |   0 |7901 |8127 |  16k|1337 | 15 | 100 |   0 | 1.136057e+01 | 2.700000e+01 | 137.66%| unknown
10.26/10.31	c  10.3s|     1 |     0 | 11500 |     - |   270M |   0 |7901 |8133 |  16k|1506 | 16 | 106 |   0 | 1.139659e+01 | 2.700000e+01 | 136.91%| unknown
10.86/10.98	c  11.0s|     1 |     0 | 13950 |     - |   272M |   0 |7901 |8143 |  16k|1798 | 17 | 116 |   0 | 1.142061e+01 | 2.700000e+01 | 136.41%| unknown
11.46/11.56	c  11.6s|     1 |     0 | 15866 |     - |   274M |   0 |7901 |8150 |  16k|2061 | 18 | 123 |   0 | 1.144970e+01 | 2.700000e+01 | 135.81%| unknown
12.15/12.22	c  12.2s|     1 |     0 | 18257 |     - |   276M |   0 |7901 |8153 |  17k|2269 | 19 | 126 |   0 | 1.146735e+01 | 2.700000e+01 | 135.45%| unknown
12.85/12.93	c  12.9s|     1 |     0 | 20698 |     - |   278M |   0 |7901 |8163 |  17k|2596 | 20 | 136 |   0 | 1.148752e+01 | 2.700000e+01 | 135.04%| unknown
13.86/13.97	c  14.0s|     1 |     0 | 24337 |     - |   279M |   0 |7901 |8173 |  17k|2851 | 21 | 146 |   0 | 1.150864e+01 | 2.700000e+01 | 134.61%| unknown
15.06/15.13	c  15.1s|     1 |     0 | 28220 |     - |   279M |   0 |7901 |8175 |  18k|3165 | 22 | 149 |   0 | 1.152267e+01 | 2.700000e+01 | 134.32%| unknown
15.96/16.04	c  16.0s|     1 |     0 | 31273 |     - |   279M |   0 |7901 |8179 |  18k|3461 | 23 | 153 |   0 | 1.152814e+01 | 2.700000e+01 | 134.21%| unknown
16.75/16.84	c  16.8s|     1 |     0 | 33961 |     - |   280M |   0 |7901 |8189 |  18k|3683 | 24 | 163 |   0 | 1.153131e+01 | 2.700000e+01 | 134.15%| unknown
18.06/18.17	c  18.2s|     1 |     0 | 38189 |     - |   282M |   0 |7901 |8199 |  19k|4253 | 25 | 173 |   0 | 1.153689e+01 | 2.700000e+01 | 134.03%| unknown
18.74/18.88	c  18.9s|     1 |     0 | 40390 |     - |   282M |   0 |7901 |8202 |  19k|4504 | 26 | 176 |   0 | 1.153929e+01 | 2.700000e+01 | 133.98%| unknown
19.14/19.22	c  19.2s|     1 |     0 | 41365 |     - |   283M |   0 |7901 |8212 |  19k|4645 | 27 | 186 |   0 | 1.153973e+01 | 2.700000e+01 | 133.97%| unknown
19.34/19.44	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.34/19.44	c  19.4s|     1 |     0 | 41857 |     - |   283M |   0 |7901 |8214 |  19k|4701 | 28 | 188 |   0 | 1.153988e+01 | 2.700000e+01 | 133.97%| unknown
19.54/19.65	c  19.6s|     1 |     0 | 42240 |     - |   283M |   0 |7901 |8219 |  19k|4746 | 29 | 193 |   0 | 1.154007e+01 | 2.700000e+01 | 133.97%| unknown
19.84/20.00	c  20.0s|     1 |     0 | 43181 |     - |   283M |   0 |7901 |8221 |  19k|4835 | 30 | 203 |   0 | 1.154040e+01 | 2.700000e+01 | 133.96%| unknown
20.05/20.15	c  20.1s|     1 |     0 | 43436 |     - |   283M |   0 |7901 |8222 |  19k|4870 | 31 | 204 |   0 | 1.154041e+01 | 2.700000e+01 | 133.96%| unknown
20.34/20.42	c  20.4s|     1 |     0 | 44105 |     - |   284M |   0 |7901 |8231 |  19k|4917 | 32 | 214 |   0 | 1.154049e+01 | 2.700000e+01 | 133.96%| unknown
20.64/20.71	c  20.7s|     1 |     0 | 44766 |     - |   284M |   0 |7901 |8240 |  19k|5079 | 33 | 224 |   0 | 1.154054e+01 | 2.700000e+01 | 133.96%| unknown
20.73/20.84	c  20.8s|     1 |     0 | 44906 |     - |   284M |   0 |7901 |8250 |  19k|5101 | 34 | 234 |   0 | 1.154055e+01 | 2.700000e+01 | 133.96%| unknown
21.05/21.12	c  21.1s|     1 |     0 | 45704 |     - |   285M |   0 |7901 |8260 |  18k|5143 | 35 | 244 |   0 | 1.154063e+01 | 2.700000e+01 | 133.96%| unknown
21.43/21.57	c  21.6s|     1 |     0 | 47229 |     - |   287M |   0 |7901 |8270 |  18k|5174 | 36 | 254 |   0 | 1.154099e+01 | 2.700000e+01 | 133.95%| unknown
44.48/44.66	o 25
44.48/44.66	c L44.7s|     1 |     0 | 79591 |     - |    rens|   0 |7901 |8272 |  18k|5174 | 36 | 267 |   0 | 1.154099e+01 | 2.500000e+01 | 116.62%| unknown
44.58/44.77	c  44.8s|     1 |     0 | 79591 |     - |   288M |   0 |7901 |8272 |  18k|5174 | 36 | 267 |   0 | 1.154099e+01 | 2.500000e+01 | 116.62%| unknown
45.17/45.36	c  45.4s|     1 |     0 | 82052 |     - |   289M |   0 |7901 |8279 |  18k|5251 | 37 | 274 |   0 | 1.154147e+01 | 2.500000e+01 | 116.61%| unknown
45.27/45.44	c  45.4s|     1 |     0 | 82176 |     - |   290M |   0 |7901 |8289 |  18k|5313 | 38 | 284 |   0 | 1.154147e+01 | 2.500000e+01 | 116.61%| unknown
48.36/48.58	c  48.6s|     1 |     2 | 82486 |     - |   290M |   0 |7901 |8298 |  18k|5313 | 38 | 294 |  11 | 1.154187e+01 | 2.500000e+01 | 116.60%| unknown
981.14/983.66	c   984s|   100 |   101 |  2274k|22475.8 |   344M |  29 |7901 |8316 |  21k|  33k|  4 | 343 |1298 | 1.166528e+01 | 2.500000e+01 | 114.31%| unknown
1760.64/1765.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1760.64/1765.07	c  1765s|   200 |   201 |  4008k|19893.7 |   496M |  37 |7901 |8271 |  23k|  48k|  2 | 376 |2409 | 1.168448e+01 | 2.500000e+01 | 113.96%| unknown
2544.13/2550.49	c  2550s|   300 |   301 |  5749k|19063.0 |   515M |  37 |7901 |9662 |  23k|  64k|  2 |1829 |3352 | 1.178060e+01 | 2.500000e+01 | 112.21%| unknown
2967.58/2975.01	c  2975s|   400 |   401 |  6726k|16733.2 |   556M |  40 |7901 |9684 |  23k|  72k|  2 |1872 |4056 | 1.179460e+01 | 2.500000e+01 | 111.96%| unknown
3392.82/3401.29	c  3401s|   500 |   501 |  7710k|15352.1 |   639M |  40 |7901 |9969 |  23k|  79k|  3 |2224 |4681 | 1.181403e+01 | 2.500000e+01 | 111.61%| unknown
3588.05/3597.00	c 
3588.05/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.05/3597.00	c Solving Time (sec) : 3597.00
3588.05/3597.00	c Solving Nodes      : 533
3588.05/3597.00	c Primal Bound       : +2.50000000000000e+01 (9 solutions)
3588.05/3597.00	c Dual Bound         : +1.18140313068888e+01
3588.05/3597.00	c Gap                : 111.61 %
3588.16/3597.01	s SATISFIABLE
3588.16/3597.01	v -x8901 -x8899 x8897 x8895 -x8893 x8892 -x8891 x8890 -x8888 -x8887 -x8886 -x8885 -x8883 -x8882 -x8881 -x8880 -x8878 -x8877 -x8876 
3588.16/3597.01	v -x8875 -x8873 -x8872 -x8871 -x8870 -x8868 -x8867 -x8866 -x8865 -x8863 -x8862 -x8861 -x8860 -x8858 -x8857 -x8856 -x8855 -x8853 
3588.16/3597.01	v -x8852 -x8851 -x8850 -x8848 -x8847 -x8846 -x8845 -x8843 -x8842 -x8841 -x8840 -x8838 -x8837 -x8836 -x8835 -x8833 -x8832 -x8831 
3588.16/3597.01	v -x8830 -x8828 -x8827 -x8826 -x8825 -x8823 -x8822 -x8821 -x8820 -x8818 -x8817 -x8816 -x8815 -x8813 -x8812 -x8811 -x8810 -x8808 
3588.16/3597.01	v -x8807 -x8806 -x8805 -x8803 -x8802 -x8801 -x8800 -x8798 -x8797 -x8796 -x8795 -x8793 -x8792 -x8791 -x8790 -x8788 -x8787 -x8786 
3588.16/3597.01	v -x8785 -x8783 -x8782 -x8781 -x8780 -x8778 -x8777 -x8776 -x8775 -x8773 -x8772 -x8771 -x8770 -x8768 -x8767 -x8766 -x8765 
3588.16/3597.01	v -x8763 -x8762 -x8761 -x8760 -x8758 -x8757 -x8756 -x8755 -x8753 -x8752 -x8751 -x8750 -x8748 -x8747 -x8746 -x8745 -x8743 -x8742 
3588.16/3597.01	v -x8741 -x8740 -x8738 -x8737 -x8736 -x8735 -x8733 -x8732 -x8731 -x8730 -x8728 -x8727 -x8726 -x8725 -x8723 -x8722 -x8721 -x8720 
3588.16/3597.01	v -x8718 -x8717 -x8716 -x8715 -x8713 -x8712 -x8711 -x8710 -x8708 -x8707 -x8706 -x8705 -x8703 -x8702 -x8701 -x8700 -x8698 -x8697 
3588.16/3597.01	v -x8696 -x8695 -x8693 -x8692 -x8691 -x8690 -x8688 -x8687 -x8686 -x8685 -x8683 -x8682 -x8681 -x8680 -x8678 -x8677 -x8676 -x8675 
3588.16/3597.01	v -x8673 -x8672 -x8671 -x8670 -x8668 -x8667 -x8666 -x8665 -x8663 -x8662 -x8661 -x8660 -x8658 -x8657 -x8656 -x8655 -x8653 -x8652 
3588.16/3597.01	v -x8651 -x8650 -x8648 -x8647 -x8646 -x8645 -x8643 -x8642 -x8641 -x8640 -x8638 -x8637 -x8636 -x8635 -x8633 -x8632 -x8631 -x8630 
3588.16/3597.01	v -x8628 -x8627 -x8626 -x8625 -x8623 -x8622 -x8621 -x8620 -x8618 -x8617 -x8616 -x8615 -x8613 -x8612 -x8611 -x8610 -x8608 
3588.16/3597.01	v -x8607 -x8606 -x8605 -x8603 -x8602 -x8601 -x8600 -x8598 -x8597 -x8596 -x8595 -x8593 -x8592 -x8591 -x8590 -x8588 -x8587 -x8586 
3588.16/3597.01	v -x8585 -x8583 -x8582 -x8581 -x8580 -x8578 -x8577 -x8576 -x8575 -x8573 -x8572 -x8571 -x8570 -x8568 -x8567 -x8566 -x8565 -x8563 
3588.16/3597.01	v -x8562 -x8561 -x8560 -x8558 -x8557 -x8556 -x8555 -x8553 -x8552 -x8551 -x8550 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 
3588.16/3597.01	v -x8541 -x8540 -x8539 x8538 -x8536 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8522 -x8520 
3588.16/3597.01	v -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8508 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 
3588.16/3597.01	v -x8499 -x8498 -x8497 -x8496 -x8494 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8480 -x8478 
3588.16/3597.01	v -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8466 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 
3588.16/3597.01	v -x8457 -x8456 -x8455 -x8454 -x8452 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8438 
3588.16/3597.01	v -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8424 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 
3588.16/3597.01	v -x8416 -x8415 -x8414 -x8413 -x8412 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8398 -x8396 
3588.16/3597.01	v -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 
3588.16/3597.01	v -x8375 -x8374 -x8373 -x8372 -x8370 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 x8356 -x8354 
3588.16/3597.01	v -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 x8342 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 
3588.16/3597.01	v -x8333 -x8332 -x8331 -x8330 x8328 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8314 -x8312 
3588.16/3597.01	v -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8300 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 
3588.16/3597.01	v -x8291 -x8290 -x8289 -x8288 -x8286 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 x8272 -x8270 
3588.16/3597.01	v -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8258 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 
3588.16/3597.01	v -x8249 -x8248 -x8247 -x8246 -x8244 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8230 -x8228 
3588.16/3597.01	v -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8216 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 
3588.16/3597.01	v -x8208 -x8207 -x8206 -x8205 -x8204 -x8202 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8188 
3588.16/3597.01	v -x8186 -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 x8174 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 
3588.16/3597.01	v -x8166 -x8165 -x8164 -x8163 -x8162 x8160 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 x8146 
3588.16/3597.01	v -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 x8132 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 
3588.16/3597.01	v -x8124 -x8123 -x8122 -x8121 -x8120 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8106 -x8104 
3588.16/3597.01	v -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8092 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 
3588.16/3597.01	v -x8083 -x8082 -x8081 -x8080 x8078 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 x8064 -x8062 
3588.16/3597.01	v -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 x8052 -x8050 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 
3588.16/3597.01	v -x8041 -x8040 -x8039 x8038 -x8036 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 x8024 -x8022 -x8020 
3588.16/3597.01	v -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8008 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 
3588.16/3597.01	v -x7999 -x7998 -x7997 -x7996 -x7994 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7980 -x7979 
3588.16/3597.01	v -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7968 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 
3588.16/3597.01	v -x7958 -x7957 -x7956 -x7954 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7940 -x7939 -x7938 
3588.16/3597.01	v -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 
3588.16/3597.01	v -x7918 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 
3588.16/3597.01	v -x7898 -x7897 -x7896 -x7895 -x7894 -x7892 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 
3588.16/3597.01	v x7878 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 
3588.16/3597.01	v -x7858 -x7857 -x7856 -x7855 -x7854 -x7852 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7838 
3588.16/3597.01	v -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7824 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 
3588.16/3597.01	v -x7816 -x7815 -x7814 -x7813 -x7812 -x7810 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 x7796 
3588.16/3597.01	v -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 
3588.16/3597.01	v -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 
3588.16/3597.01	v x7757 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 
3588.16/3597.01	v -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 x7730 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 
3588.16/3597.01	v -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 x7703 -x7701 
3588.16/3597.01	v -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 
3588.16/3597.01	v -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 
3588.16/3597.01	v -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7647 -x7646 
3588.16/3597.01	v -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 
3588.16/3597.01	v -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 
3588.16/3597.01	v -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7593 -x7592 -x7591 -x7590 
3588.16/3597.01	v -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 
3588.16/3597.01	v -x7571 -x7570 -x7569 -x7568 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 
3588.16/3597.01	v -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 
3588.16/3597.01	v -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 
3588.16/3597.01	v -x7516 -x7515 -x7514 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 
3588.16/3597.01	v -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 
3588.16/3597.01	v -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 
3588.16/3597.01	v -x7460 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 
3588.16/3597.01	v -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 
3588.16/3597.01	v -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7404 
3588.16/3597.01	v -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 
3588.16/3597.01	v -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 
3588.16/3597.01	v -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7350 -x7349 
3588.16/3597.01	v -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 
3588.16/3597.01	v -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 
3588.16/3597.01	v -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7296 -x7295 -x7294 -x7293 
3588.16/3597.01	v -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 
3588.16/3597.01	v -x7274 -x7273 -x7272 -x7271 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 
3588.16/3597.01	v -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7242 -x7241 -x7240 -x7239 -x7238 
3588.16/3597.01	v -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 
3588.16/3597.01	v -x7219 -x7218 -x7217 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 
3588.16/3597.01	v -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 
3588.16/3597.01	v -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 
3588.16/3597.01	v -x7163 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 
3588.16/3597.01	v -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 
3588.16/3597.01	v -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 
3588.16/3597.01	v -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 
3588.16/3597.01	v -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 
3588.16/3597.01	v -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7053 -x7052 
3588.16/3597.01	v -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 
3588.16/3597.01	v -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 
3588.16/3597.01	v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 
3588.16/3597.01	v -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 
3588.16/3597.01	v -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 x6970 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 
3588.16/3597.01	v -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 
3588.16/3597.01	v -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 
3588.16/3597.01	v -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 x6912 -x6910 -x6909 -x6908 -x6907 -x6906 
3588.16/3597.01	v -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 
3588.16/3597.01	v -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 
3588.16/3597.01	v -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6852 -x6851 
3588.16/3597.01	v -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 
3588.16/3597.01	v -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 
3588.16/3597.01	v -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 
3588.16/3597.01	v -x6797 -x6796 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 
3588.16/3597.01	v -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 
3588.16/3597.01	v -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 
3588.16/3597.01	v -x6742 -x6741 -x6740 -x6739 -x6738 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 
3588.16/3597.01	v -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 
3588.16/3597.01	v -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 
3588.16/3597.01	v -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 
3588.16/3597.01	v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 
3588.16/3597.01	v -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 
3588.16/3597.01	v -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 
3588.16/3597.01	v -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 
3588.16/3597.01	v -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 
3588.16/3597.01	v -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6562 -x6561 
3588.16/3597.01	v -x6560 -x6559 x6557 -x6555 -x6554 -x6553 -x6552 x6550 -x6548 -x6547 -x6546 -x6545 x6543 -x6541 -x6540 -x6539 -x6538 x6536 -x6534 
3588.16/3597.01	v -x6533 -x6532 -x6531 -x6529 -x6527 -x6526 -x6525 -x6524 x6522 -x6520 -x6519 -x6518 -x6517 -x6515 -x6513 -x6512 -x6511 -x6510 
3588.16/3597.01	v -x6508 -x6506 -x6505 -x6504 -x6503 x6501 -x6499 -x6498 -x6497 -x6496 -x6494 -x6492 -x6491 -x6490 -x6489 -x6487 -x6486 -x6485 
3588.16/3597.01	v -x6484 x6482 -x6480 -x6479 -x6478 -x6477 -x6475 -x6473 -x6472 -x6471 -x6470 -x6468 -x6466 -x6465 -x6464 -x6463 x6461 -x6459 
3588.16/3597.01	v -x6458 -x6457 -x6456 -x6454 -x6452 -x6451 -x6450 -x6449 -x6447 -x6445 -x6444 -x6443 -x6442 -x6440 -x6438 -x6437 -x6436 -x6435 
3588.16/3597.01	v -x6433 -x6431 -x6430 -x6429 -x6428 -x6426 -x6424 -x6423 -x6422 -x6421 -x6419 -x6417 -x6416 -x6415 -x6414 x6412 -x6410 -x6409 
3588.16/3597.01	v -x6408 -x6407 -x6405 -x6403 -x6402 -x6401 -x6400 -x6398 -x6396 -x6395 -x6394 -x6393 x6391 -x6389 -x6388 -x6387 -x6386 -x6384 
3588.16/3597.01	v -x6382 -x6381 -x6380 -x6379 -x6377 -x6375 -x6374 -x6373 -x6372 -x6370 -x6368 -x6367 -x6366 -x6365 -x6363 -x6361 -x6360 -x6359 
3588.16/3597.01	v -x6358 -x6356 -x6354 -x6353 -x6352 -x6351 -x6349 -x6347 -x6346 -x6345 -x6344 -x6342 -x6340 -x6339 -x6338 -x6337 -x6335 
3588.16/3597.01	v -x6333 -x6332 -x6331 -x6330 -x6328 -x6326 x6325 -x6324 x6323 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 
3588.16/3597.01	v -x6311 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6297 -x6296 -x6295 -x6294 -x6293 
3588.16/3597.01	v -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6273 
3588.16/3597.01	v -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 
3588.16/3597.01	v -x6253 -x6252 -x6251 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6237 -x6236 -x6235 -x6234 
3588.16/3597.01	v -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 
3588.16/3597.01	v -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 
3588.16/3597.01	v -x6194 -x6193 -x6192 -x6191 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6177 -x6176 -x6175 
3588.16/3597.01	v -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 
3588.16/3597.01	v -x6156 -x6155 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 x6143 -x6141 -x6140 -x6139 -x6138 -x6137 
3588.16/3597.01	v -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6117 
3588.16/3597.01	v -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 
3588.16/3597.01	v -x6097 -x6096 -x6095 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 x6083 -x6081 -x6080 -x6079 -x6078 
3588.16/3597.01	v -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 x6071 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 
3588.16/3597.01	v -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040 
3588.16/3597.01	v -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 
3588.16/3597.01	v -x6021 -x6020 -x6019 -x6018 -x6017 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 
3588.16/3597.01	v -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5988 -x5987 -x5986 -x5985 -x5984 
3588.16/3597.01	v -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 
3588.16/3597.01	v -x5966 -x5965 -x5964 -x5963 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 
3588.16/3597.01	v -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 
3588.16/3597.01	v -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 
3588.16/3597.01	v -x5910 x5909 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 
3588.16/3597.01	v -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 x5882 -x5880 -x5879 -x5878 -x5877 -x5875 -x5874 -x5873 -x5872 
3588.16/3597.01	v -x5870 -x5869 -x5868 -x5867 -x5865 -x5864 -x5863 -x5862 -x5860 -x5859 -x5858 -x5857 -x5855 -x5854 -x5853 -x5852 -x5850 -x5849 
3588.16/3597.01	v -x5848 x5847 -x5845 -x5844 -x5843 -x5842 -x5840 -x5839 -x5838 -x5837 -x5835 -x5834 -x5833 -x5832 -x5830 -x5829 -x5828 -x5827 
3588.16/3597.01	v -x5825 -x5824 -x5823 -x5822 -x5820 -x5819 -x5818 -x5817 -x5815 -x5814 -x5813 -x5812 -x5810 -x5809 -x5808 -x5807 -x5805 -x5804 
3588.16/3597.01	v -x5803 -x5802 -x5800 -x5799 -x5798 -x5797 -x5795 -x5794 -x5793 -x5792 -x5790 -x5789 -x5788 -x5787 -x5785 -x5784 -x5783 -x5782 
3588.16/3597.01	v -x5780 -x5779 -x5778 -x5777 -x5775 -x5774 -x5773 -x5772 -x5770 -x5769 -x5768 -x5767 -x5765 -x5764 -x5763 -x5762 -x5760 
3588.16/3597.01	v -x5759 -x5758 x5757 -x5755 -x5754 -x5753 -x5752 -x5750 -x5749 -x5748 -x5747 -x5745 -x5744 -x5743 -x5742 -x5740 -x5739 -x5738 
3588.16/3597.01	v x5737 -x5735 -x5734 -x5733 -x5732 -x5730 -x5729 -x5728 x5727 -x5725 -x5724 -x5723 -x5722 -x5720 -x5719 -x5718 -x5717 -x5715 -x5714 
3588.16/3597.01	v -x5713 -x5712 -x5710 -x5709 -x5708 -x5707 -x5705 -x5704 -x5703 -x5702 -x5700 -x5699 -x5698 -x5697 -x5695 -x5694 -x5693 
3588.16/3597.01	v -x5692 -x5690 -x5689 -x5688 -x5687 -x5685 -x5684 -x5683 -x5682 -x5680 -x5679 -x5678 -x5677 -x5675 -x5674 -x5673 -x5672 -x5670 
3588.16/3597.01	v -x5669 -x5668 -x5667 -x5665 -x5664 -x5663 -x5662 -x5660 -x5659 -x5658 -x5657 -x5655 -x5654 -x5653 -x5652 -x5650 -x5649 -x5648 
3588.16/3597.01	v -x5647 -x5645 -x5644 -x5643 -x5642 -x5640 -x5639 -x5638 -x5637 -x5635 -x5634 -x5633 -x5632 -x5630 -x5629 -x5628 -x5627 -x5625 
3588.16/3597.01	v -x5624 -x5623 -x5622 -x5620 -x5619 -x5618 -x5617 -x5615 -x5614 -x5613 -x5612 -x5610 -x5609 -x5608 -x5607 -x5605 -x5604 -x5603 
3588.16/3597.01	v -x5602 -x5600 -x5599 -x5598 -x5597 -x5595 -x5594 -x5593 -x5592 -x5590 -x5589 -x5588 -x5587 -x5585 -x5584 -x5583 -x5582 -x5580 
3588.16/3597.01	v -x5579 -x5578 -x5577 -x5575 -x5574 -x5573 -x5572 -x5570 -x5569 -x5568 -x5567 -x5565 -x5564 -x5563 -x5562 -x5560 -x5559 -x5558 
3588.16/3597.01	v -x5557 -x5555 -x5554 -x5553 -x5552 -x5550 -x5549 -x5548 -x5547 -x5545 -x5544 -x5543 -x5542 -x5540 -x5539 -x5538 -x5537 
3588.16/3597.01	v -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5528 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 
3588.16/3597.01	v -x5516 -x5514 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5500 -x5498 -x5497 -x5496 -x5495 
3588.16/3597.01	v -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 x5488 -x5486 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 
3588.16/3597.01	v -x5474 x5472 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 x5458 -x5456 -x5455 -x5454 -x5453 
3588.16/3597.01	v -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5444 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 
3588.16/3597.01	v -x5432 x5430 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5416 -x5414 -x5413 -x5412 -x5411 
3588.16/3597.01	v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5402 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 
3588.16/3597.01	v -x5390 -x5388 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5374 -x5372 -x5371 -x5370 -x5369 
3588.16/3597.01	v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 
3588.16/3597.01	v -x5348 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 x5336 -x5334 -x5332 -x5331 -x5330 -x5329 -x5328 
3588.16/3597.01	v -x5327 -x5326 -x5325 -x5324 -x5323 x5322 -x5320 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 
3588.16/3597.01	v x5306 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5292 -x5290 -x5289 -x5288 -x5287 -x5286 
3588.16/3597.01	v -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5278 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 
3588.16/3597.01	v -x5264 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5250 -x5248 -x5247 -x5246 -x5245 -x5244 
3588.16/3597.01	v -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5236 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 
3588.16/3597.01	v -x5224 -x5222 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5208 -x5206 -x5205 -x5204 -x5203 
3588.16/3597.01	v -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 
3588.16/3597.01	v -x5182 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 
3588.16/3597.01	v -x5162 -x5161 -x5160 -x5159 -x5158 -x5156 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5142 
3588.16/3597.01	v -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5128 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 
3588.16/3597.01	v -x5120 -x5119 -x5118 -x5117 -x5116 -x5114 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5100 
3588.16/3597.01	v -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 
3588.16/3597.01	v -x5081 -x5080 -x5079 -x5078 -x5076 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5062 -x5060 
3588.16/3597.01	v -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5048 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 
3588.16/3597.01	v -x5039 -x5038 -x5037 -x5036 -x5034 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5020 -x5018 
3588.16/3597.01	v -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5006 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 
3588.16/3597.01	v -x4997 -x4996 -x4995 -x4994 -x4992 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4978 -x4976 
3588.16/3597.01	v -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 
3588.16/3597.01	v -x4956 -x4955 -x4954 -x4952 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4938 -x4936 
3588.16/3597.01	v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4924 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 
3588.16/3597.01	v -x4915 -x4914 -x4913 -x4912 -x4910 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4896 -x4894 
3588.16/3597.01	v -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 
3588.16/3597.01	v -x4874 -x4873 -x4872 -x4870 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4856 -x4854 -x4853 
3588.16/3597.01	v -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 
3588.16/3597.01	v -x4833 -x4832 -x4830 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4816 -x4815 -x4814 -x4813 
3588.16/3597.01	v -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4804 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 
3588.16/3597.01	v -x4793 -x4792 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4778 -x4777 -x4776 -x4775 -x4774 
3588.16/3597.01	v -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 
3588.16/3597.01	v -x4755 -x4754 -x4753 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 
3588.16/3597.01	v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 
3588.16/3597.01	v -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 
3588.16/3597.01	v x4699 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 
3588.16/3597.01	v -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 
3588.16/3597.01	v -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 
3588.16/3597.01	v -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 
3588.16/3597.01	v -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 
3588.16/3597.01	v -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4589 -x4588 
3588.16/3597.01	v -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 
3588.16/3597.01	v -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 
3588.16/3597.01	v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4535 -x4534 -x4533 -x4532 
3588.16/3597.01	v -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 
3588.16/3597.01	v -x4514 -x4513 -x4512 -x4511 -x4510 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 
3588.16/3597.01	v -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4481 -x4480 -x4479 -x4478 -x4477 
3588.16/3597.01	v -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 
3588.16/3597.01	v -x4458 -x4457 x4456 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 
3588.16/3597.01	v -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 x4429 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 
3588.16/3597.01	v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 
3588.16/3597.01	v -x4402 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 
3588.16/3597.01	v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 
3588.16/3597.01	v -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 
3588.16/3597.01	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 
3588.16/3597.01	v -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 
3588.16/3597.01	v -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4292 -x4291 
3588.16/3597.01	v -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 
3588.16/3597.01	v -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 
3588.16/3597.01	v -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4238 -x4237 -x4236 -x4235 
3588.16/3597.01	v -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 
3588.16/3597.01	v -x4217 -x4216 -x4215 -x4214 -x4213 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 
3588.16/3597.01	v -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4184 -x4183 -x4182 -x4181 -x4180 
3588.16/3597.01	v -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 
3588.16/3597.01	v -x4161 -x4160 -x4159 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 
3588.16/3597.01	v -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 
3588.16/3597.01	v -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 
3588.16/3597.01	v -x4105 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 
3588.16/3597.01	v -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 
3588.16/3597.01	v -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 
3588.16/3597.01	v -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 
3588.16/3597.01	v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 
3588.16/3597.01	v -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 
3588.16/3597.01	v -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 
3588.16/3597.01	v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 
3588.16/3597.01	v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 
3588.16/3597.01	v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 
3588.16/3597.01	v -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 x3908 -x3906 -x3905 -x3904 
3588.16/3597.01	v -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 
3588.16/3597.01	v -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 
3588.16/3597.01	v -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 
3588.16/3597.01	v -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 
3588.16/3597.01	v -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 
3588.16/3597.01	v -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 
3588.16/3597.01	v -x3795 -x3794 -x3793 -x3792 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 
3588.16/3597.01	v -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 
3588.16/3597.01	v -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 
3588.16/3597.01	v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 
3588.16/3597.01	v -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 
3588.16/3597.01	v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 
3588.16/3597.01	v -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 x3676 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 
3588.16/3597.01	v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 
3588.16/3597.01	v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 
3588.16/3597.01	v -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3616 -x3615 -x3614 -x3613 
3588.16/3597.01	v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 
3588.16/3597.01	v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 
3588.16/3597.01	v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3558 
3588.16/3597.01	v -x3557 -x3556 -x3555 -x3553 -x3552 -x3551 -x3550 -x3548 -x3547 -x3546 -x3545 -x3543 -x3542 -x3541 -x3540 -x3538 -x3537 
3588.16/3597.01	v -x3536 -x3535 -x3533 -x3532 -x3531 -x3530 -x3528 -x3527 -x3526 -x3525 -x3523 -x3522 -x3521 -x3520 -x3518 -x3517 -x3516 -x3515 
3588.16/3597.01	v -x3513 -x3512 -x3511 -x3510 -x3508 -x3507 -x3506 -x3505 -x3503 -x3502 -x3501 -x3500 -x3498 -x3497 -x3496 -x3495 -x3493 -x3492 
3588.16/3597.01	v -x3491 -x3490 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 x3480 -x3478 -x3477 -x3476 -x3475 -x3473 -x3472 -x3471 -x3470 
3588.16/3597.01	v -x3468 -x3467 -x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3458 -x3457 -x3456 -x3455 -x3453 -x3452 -x3451 -x3450 -x3448 -x3447 
3588.16/3597.01	v -x3446 -x3445 -x3443 -x3442 -x3441 -x3440 -x3438 -x3437 -x3436 x3435 -x3433 -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 -x3425 
3588.16/3597.01	v -x3423 -x3422 -x3421 -x3420 -x3418 -x3417 -x3416 -x3415 -x3413 -x3412 -x3411 -x3410 -x3408 -x3407 -x3406 -x3405 -x3403 -x3402 
3588.16/3597.01	v -x3401 -x3400 -x3398 -x3397 -x3396 -x3395 -x3393 -x3392 -x3391 -x3390 -x3388 -x3387 -x3386 -x3385 -x3383 -x3382 -x3381 -x3380 
3588.16/3597.01	v -x3378 -x3377 -x3376 -x3375 -x3373 -x3372 -x3371 -x3370 -x3368 -x3367 -x3366 -x3365 -x3363 -x3362 -x3361 -x3360 -x3358 -x3357 
3588.16/3597.01	v -x3356 -x3355 -x3353 -x3352 -x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3343 -x3342 -x3341 -x3340 -x3338 -x3337 -x3336 
3588.16/3597.01	v x3335 -x3333 -x3332 -x3331 -x3330 -x3328 -x3327 -x3326 -x3325 -x3323 -x3322 -x3321 -x3320 -x3318 -x3317 -x3316 -x3315 -x3313 
3588.16/3597.01	v -x3312 -x3311 -x3310 -x3308 -x3307 -x3306 -x3305 -x3303 -x3302 -x3301 -x3300 -x3298 -x3297 -x3296 -x3295 -x3293 -x3292 -x3291 
3588.16/3597.01	v -x3290 -x3288 -x3287 -x3286 -x3285 -x3283 -x3282 -x3281 -x3280 -x3278 -x3277 -x3276 -x3275 -x3273 -x3272 -x3271 -x3270 -x3268 
3588.16/3597.01	v -x3267 -x3266 -x3265 -x3263 -x3262 -x3261 -x3260 -x3258 -x3257 -x3256 -x3255 -x3253 -x3252 -x3251 -x3250 -x3248 -x3247 -x3246 
3588.16/3597.01	v x3245 -x3243 -x3242 -x3241 -x3240 -x3238 -x3237 -x3236 x3235 -x3233 -x3232 -x3231 -x3230 -x3228 -x3227 -x3226 -x3225 -x3223 
3588.16/3597.01	v -x3222 -x3221 -x3220 -x3218 x3217 -x3216 x3215 -x3213 -x3212 -x3211 -x3210 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 
3588.16/3597.01	v -x3201 -x3200 -x3199 -x3198 x3196 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 x3182 -x3180 
3588.16/3597.01	v -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 x3168 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 
3588.16/3597.01	v -x3159 -x3158 -x3157 -x3156 x3154 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3138 
3588.16/3597.01	v -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 
3588.16/3597.01	v -x3117 -x3116 -x3115 -x3114 -x3112 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 x3098 -x3096 
3588.16/3597.01	v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3084 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 
3588.16/3597.01	v -x3075 -x3074 -x3073 -x3072 -x3070 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3056 -x3054 
3588.16/3597.01	v -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 x3042 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 
3588.16/3597.01	v -x3033 -x3032 -x3031 -x3030 -x3028 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 x3014 -x3012 
3588.16/3597.01	v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 x3000 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 
3588.16/3597.01	v -x2991 -x2990 -x2989 -x2988 -x2986 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2972 -x2970 
3588.16/3597.01	v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2958 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 
3588.16/3597.01	v -x2949 -x2948 -x2947 -x2946 -x2944 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2930 -x2928 
3588.16/3597.01	v -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 
3588.16/3597.01	v -x2907 -x2906 -x2905 -x2904 x2902 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 x2890 -x2888 -x2886 
3588.16/3597.01	v -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 x2874 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 
3588.16/3597.01	v -x2865 -x2864 -x2863 -x2862 x2860 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2846 -x2844 
3588.16/3597.01	v -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2832 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 
3588.16/3597.01	v -x2823 -x2822 -x2821 -x2820 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2806 -x2804 -x2803 
3588.16/3597.01	v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2792 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 
3588.16/3597.01	v -x2783 -x2782 -x2781 -x2780 -x2778 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2764 -x2762 
3588.16/3597.01	v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2750 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 
3588.16/3597.01	v -x2741 -x2740 -x2739 -x2738 -x2736 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2722 -x2720 
3588.16/3597.01	v -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2708 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 
3588.16/3597.01	v -x2699 -x2698 -x2697 -x2696 x2694 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 x2682 -x2680 -x2678 
3588.16/3597.01	v -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 x2666 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 
3588.16/3597.01	v -x2657 -x2656 -x2655 -x2654 x2652 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2638 -x2636 
3588.16/3597.01	v -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2624 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 
3588.16/3597.01	v -x2615 -x2614 -x2613 -x2612 -x2610 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2596 -x2594 
3588.16/3597.01	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2582 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 
3588.16/3597.01	v -x2573 -x2572 -x2571 -x2570 -x2568 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2554 
3588.16/3597.01	v -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2540 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 
3588.16/3597.01	v -x2532 -x2531 -x2530 -x2529 -x2528 -x2526 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2512 
3588.16/3597.01	v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2498 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 
3588.16/3597.01	v -x2490 -x2489 -x2488 -x2487 x2486 -x2484 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 x2472 -x2470 
3588.16/3597.01	v -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2456 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 
3588.16/3597.01	v -x2448 -x2447 -x2446 -x2445 -x2444 -x2442 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2428 
3588.16/3597.01	v -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 
3588.16/3597.01	v -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 
3588.16/3597.01	v -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2372 
3588.16/3597.01	v -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 
3588.16/3597.01	v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 
3588.16/3597.01	v -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2318 -x2317 -x2316 
3588.16/3597.01	v -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 
3588.16/3597.01	v -x2297 -x2296 -x2295 -x2294 -x2293 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 
3588.16/3597.01	v -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2264 -x2263 -x2262 -x2261 -x2260 
3588.16/3597.01	v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 
3588.16/3597.01	v -x2242 -x2241 -x2240 -x2239 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 
3588.16/3597.01	v -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 
3588.16/3597.01	v -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 
3588.16/3597.01	v -x2186 -x2185 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 
3588.16/3597.01	v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 
3588.16/3597.01	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 
3588.16/3597.01	v -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 
3588.16/3597.01	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 
3588.16/3597.01	v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2075 
3588.16/3597.01	v -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 
3588.16/3597.01	v -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 
3588.16/3597.01	v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2021 -x2020 -x2019 
3588.16/3597.01	v -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 
3588.16/3597.01	v -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 
3588.16/3597.01	v -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 x1969 -x1967 -x1966 -x1965 -x1964 
3588.16/3597.01	v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 
3588.16/3597.01	v -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 
3588.16/3597.01	v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 
3588.16/3597.01	v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 
3588.16/3597.01	v -x1889 -x1888 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 
3588.16/3597.01	v -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 
3588.16/3597.01	v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 
3588.16/3597.01	v -x1834 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 
3588.16/3597.01	v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 x1807 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 
3588.16/3597.01	v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1778 
3588.16/3597.01	v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 
3588.16/3597.01	v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 
3588.16/3597.01	v -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1724 -x1723 -x1722 
3588.16/3597.01	v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
3588.16/3597.01	v -x1703 -x1702 -x1701 -x1700 -x1699 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
3588.16/3597.01	v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1670 -x1669 -x1668 -x1667 
3588.16/3597.01	v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 
3588.16/3597.01	v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 
3588.16/3597.01	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1612 
3588.16/3597.01	v -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 
3588.16/3597.01	v -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 
3588.16/3597.01	v -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 
3588.16/3597.01	v -x1557 x1556 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
3588.16/3597.01	v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 
3588.16/3597.01	v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 
3588.16/3597.01	v -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
3588.16/3597.01	v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 
3588.16/3597.01	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 
3588.16/3597.01	v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 
3588.16/3597.01	v -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 
3588.16/3597.01	v -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 
3588.16/3597.01	v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1380 -x1379 -x1378 -x1377 -x1376 
3588.16/3597.01	v -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 
3588.16/3597.01	v -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 
3588.16/3597.01	v -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1322 -x1321 
3588.16/3597.01	v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 
3588.16/3597.01	v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 
3588.16/3597.01	v -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 
3588.16/3597.01	v -x1267 -x1266 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 
3588.16/3597.01	v -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 
3588.16/3597.01	v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 
3588.16/3597.01	v -x1212 -x1211 -x1210 -x1209 x1208 -x1200 -x1199 x1198 -x1197 -x1206 -x1203 -x1201 x870 -x869 -x868 -x867 -x866 -x865 -x864 
3588.16/3597.01	v -x863 x1195 -x1193 -x1194 -x1192 -x1190 -x1191 -x1189 -x1187 -x1188 -x1186 -x1184 -x1185 -x1183 -x1181 -x1182 -x1180 -x1178 
3588.16/3597.01	v -x1179 -x1177 -x1175 -x1176 -x1174 -x1172 -x1173 -x1171 -x1169 -x1170 -x1168 -x1167 -x1166 -x1164 -x1165 -x1163 -x1161 -x1162 
3588.16/3597.01	v -x1160 -x1158 -x1159 -x1157 -x1155 -x1156 -x1154 -x1152 -x1153 -x1151 -x1149 -x1150 -x1148 -x1146 -x1147 -x1145 -x1143 -x1144 
3588.16/3597.01	v -x1142 -x1140 -x1141 -x1139 -x1137 -x1138 -x1136 -x1134 -x1135 -x1133 -x1131 -x1132 -x1130 -x1128 -x1129 -x1127 -x1125 -x1126 
3588.16/3597.01	v -x1124 -x1122 -x1123 -x1121 -x1119 -x1120 -x1118 -x1116 -x1117 -x1115 -x1113 -x1114 -x1112 -x1110 -x1111 -x1109 -x1107 -x1108 
3588.16/3597.01	v -x1106 -x1104 -x1105 -x1103 -x1101 -x1102 -x1100 -x1098 -x1099 -x1097 -x1095 -x1096 -x1094 -x1092 -x1093 x1091 -x1089 -x1090 
3588.16/3597.01	v -x1088 -x1086 -x1087 -x1085 -x1083 -x1084 -x1082 -x1080 -x1081 -x1079 -x1077 -x1078 -x1076 -x1074 -x1075 -x1073 -x1071 -x1072 
3588.16/3597.01	v -x1070 -x1068 -x1069 -x1067 -x1065 -x1066 -x1064 -x1063 -x1062 -x1060 -x1061 -x1059 -x1057 -x1058 -x1056 -x1054 -x1055 -x1053 
3588.16/3597.01	v -x1051 -x1052 -x1050 -x1048 -x1049 -x1047 -x1045 -x1046 -x1044 -x1042 -x1043 -x1041 -x1039 -x1040 -x1038 -x1036 -x1037 
3588.16/3597.01	v -x1035 -x1033 -x1034 -x1032 -x1030 -x1031 -x1029 -x1027 -x1028 -x1026 -x1024 -x1025 -x1023 -x1021 -x1022 -x1020 -x1018 -x1019 
3588.16/3597.01	v -x1017 -x1015 -x1016 -x1014 -x1012 -x1013 -x1011 -x1009 -x1010 -x1008 -x1006 -x1007 -x1005 -x1003 -x1004 -x1002 -x1001 -x1000 
3588.16/3597.01	v -x998 -x999 -x997 -x995 -x996 -x994 -x992 -x993 -x991 -x989 -x990 -x988 -x986 -x987 -x985 -x983 -x984 -x982 -x980 -x981 -x979 
3588.16/3597.01	v -x977 -x978 -x976 -x974 -x975 -x973 -x972 -x971 -x969 -x970 -x968 -x966 -x967 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
3588.16/3597.01	v -x957 -x955 -x956 -x954 -x952 -x953 -x951 -x950 -x949 -x947 -x948 -x946 -x944 -x945 -x943 -x941 -x942 -x940 -x938 -x939 -x937 
3588.16/3597.01	v -x935 -x936 -x934 -x933 x932 -x930 -x929 -x927 -x926 -x925 -x924 -x922 -x921 -x920 -x919 -x918 -x917 -x915 -x914 -x913 -x912 
3588.16/3597.01	v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x894 -x893 -x892 -x891 
3588.16/3597.01	v -x890 -x889 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x706 -x705 
3588.16/3597.01	v -x704 -x703 -x702 x701 -x700 -x861 -x859 -x860 -x858 -x856 -x857 -x855 -x853 -x854 -x852 -x850 -x851 -x849 -x847 -x848 -x846 
3588.16/3597.01	v -x844 -x845 -x843 -x841 -x842 -x840 -x838 -x839 -x837 -x835 -x836 -x834 -x832 -x833 -x831 -x830 -x829 -x827 -x828 -x826 -x824 
3588.16/3597.01	v -x825 -x823 -x821 -x822 -x820 -x818 -x819 -x817 -x815 -x816 -x814 -x812 -x813 -x811 -x809 -x810 -x808 -x806 -x807 -x805 -x803 
3588.16/3597.01	v -x804 -x802 -x800 -x801 -x799 -x797 -x798 -x796 -x794 -x795 -x793 -x791 -x792 -x790 -x788 -x789 -x787 -x785 -x786 -x784 -x782 
3588.16/3597.01	v -x783 -x781 -x779 -x780 -x778 -x776 -x777 -x775 -x773 -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x764 -x765 -x763 -x761 
3588.16/3597.01	v -x762 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x750 -x749 -x748 -x747 -x746 -x745 -x743 -x742 -x740 -x739 -x737 
3588.16/3597.01	v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x728 -x727 -x725 -x724 -x723 -x722 -x720 -x719 -x717 -x716 -x714 -x713 -x711 
3588.16/3597.01	v -x710 -x709 x708 -x707 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x698 -x696 -x697 -x695 -x693 -x694 -x692 -x690 -x691 -x689 
3588.16/3597.01	v -x687 -x688 -x686 -x684 -x685 -x683 -x681 -x682 -x680 -x678 -x679 -x677 -x675 -x676 -x674 -x672 -x673 -x671 -x669 -x670 
3588.16/3597.01	v -x668 -x666 -x667 -x665 -x663 -x664 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651 -x652 -x650 -x648 -x649 
3588.16/3597.01	v -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x636 -x637 -x635 -x633 -x634 -x632 -x630 -x631 -x629 -x627 -x628 
3588.16/3597.01	v -x626 -x624 -x625 -x623 -x621 -x622 -x620 -x619 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 -x607 -x608 -x606 
3588.16/3597.01	v -x604 -x605 -x603 -x602 -x601 -x599 -x600 -x598 -x596 -x597 -x595 -x593 -x594 -x592 -x590 -x591 -x589 -x587 -x588 -x586 -x584 
3588.16/3597.01	v -x585 -x583 -x581 -x582 -x580 -x578 -x579 -x577 -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 -x565 -x563 
3588.16/3597.01	v -x564 -x562 -x560 -x561 x559 -x558 -x557 -x555 -x556 -x554 -x552 -x553 -x551 -x549 -x550 -x548 -x546 -x547 -x545 -x543 -x544 
3588.16/3597.01	v -x542 -x540 -x541 -x539 -x537 -x538 -x536 -x534 -x535 -x533 -x531 -x532 -x530 -x528 -x529 -x527 -x525 -x526 -x524 -x523 
3588.16/3597.01	v -x522 -x520 -x521 -x519 -x518 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x506 -x507 -x505 -x504 -x503 -x502 
3588.16/3597.01	v -x501 -x499 -x500 -x498 -x496 -x497 -x495 -x493 -x494 -x492 -x490 -x491 -x489 -x487 -x488 -x486 -x484 -x485 -x483 -x481 -x482 
3588.16/3597.01	v -x480 -x478 -x479 -x477 -x476 -x475 -x473 -x474 -x472 -x470 -x471 -x469 -x467 -x468 -x466 -x464 -x465 -x463 -x461 -x462 -x460 
3588.16/3597.01	v -x459 -x458 -x456 -x457 -x455 -x453 -x454 -x452 -x451 -x450 -x448 -x449 -x447 -x446 -x445 -x443 -x444 -x442 -x441 -x440 -x439 
3588.16/3597.01	v -x438 -x436 -x435 -x433 -x432 -x431 -x430 -x428 -x427 -x426 -x425 -x423 -x422 -x421 -x420 -x418 -x417 -x415 -x414 -x412 -x411 
3588.16/3597.01	v -x409 x408 -x407 -x406 -x405 -x404 -x402 -x401 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 
3588.16/3597.01	v -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x361 
3588.16/3597.01	v -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342 -x340 
3588.16/3597.01	v -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 -x324 -x322 -x320 -x321 -x319 
3588.16/3597.01	v -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300 -x298 
3588.16/3597.01	v -x296 -x297 x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279 -x277 
3588.16/3597.01	v -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 -x258 -x256 
3588.16/3597.01	v -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 -x236 -x237 
3588.16/3597.01	v -x235 -x233 x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 -x215 -x216 
3588.16/3597.01	v -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 -x194 -x195 
3588.16/3597.01	v -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 -x175 -x174 -x173 
3588.16/3597.01	v -x171 -x172 -x170 -x168 -x169 -x167 -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154 -x152 
3588.16/3597.01	v -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133 -x131 
3588.16/3597.01	v -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 -x111 -x112 -x110 
3588.16/3597.01	v -x108 -x109 -x107 -x105 -x106 x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91 -x89 -x87 -x86 
3588.16/3597.01	v -x84 -x83 -x81 -x80 -x78 -x77 -x75 -x74 -x72 -x71 -x69 -x68 -x67 -x66 -x64 -x63 -x61 -x60 -x58 -x57 -x55 -x54 -x52 -x51 -x49 
3588.16/3597.01	v -x48 -x47 -x46 -x44 -x43 -x42 -x41 -x39 -x38 -x36 -x35 -x34 -x33 -x31 -x30 -x28 x27 -x25 -x24 -x22 -x21 -x19 -x18 -x16 -x15 
3588.16/3597.01	v -x13 -x12 -x10 -x1205 -x1204 -x1202 -x8900 -x8898 x8896 -x8894 x8889 -x8884 -x8879 -x8874 -x8869 -x8864 -x8859 -x8854 -x8849 
3588.16/3597.01	v -x8844 -x8839 -x8834 -x8829 -x8824 -x8819 -x8814 -x8809 -x8804 -x8799 -x8794 -x8789 -x8784 -x8779 -x8774 -x8769 -x8764 -x8759 
3588.16/3597.01	v -x8754 -x8749 -x8744 -x8739 -x8734 -x8729 -x8724 -x8719 -x8714 -x8709 -x8704 -x8699 -x8694 -x8689 -x8684 -x8679 -x8674 -x8669 
3588.16/3597.01	v -x8664 -x8659 -x8654 -x8649 -x8644 -x8639 -x8634 -x8629 -x8624 -x8619 -x8614 -x8609 -x8604 -x8599 -x8594 -x8589 -x8584 -x8579 
3588.16/3597.01	v -x8574 -x8569 -x8564 -x8559 -x8554 -x8549 x8537 -x8535 -x8523 -x8521 -x8509 -x8507 -x8495 -x8493 -x8481 -x8479 -x8467 -x8465 
3588.16/3597.01	v -x8453 -x8451 -x8439 -x8437 -x8425 -x8423 -x8411 -x8399 -x8397 -x8385 -x8383 -x8371 -x8369 -x8357 -x8355 -x8343 -x8341 
3588.16/3597.01	v -x8329 -x8327 -x8315 -x8313 -x8301 -x8299 -x8287 -x8285 -x8273 -x8271 -x8259 -x8257 -x8245 -x8243 -x8231 -x8229 -x8217 -x8215 
3588.16/3597.01	v -x8203 -x8201 -x8189 -x8187 -x8175 -x8173 -x8161 -x8159 -x8147 -x8145 -x8133 -x8131 -x8119 -x8107 -x8105 -x8093 -x8091 -x8079 
3588.16/3597.01	v -x8077 -x8065 -x8063 -x8051 -x8049 -x8037 -x8035 -x8023 -x8021 -x8009 -x8007 -x7995 -x7993 -x7981 -x7969 -x7967 -x7955 -x7953 
3588.16/3597.01	v -x7941 -x7929 -x7917 -x7905 -x7893 -x7891 -x7879 -x7877 -x7865 -x7853 -x7851 -x7839 -x7837 -x7825 -x7823 -x7811 -x7809 -x7797 
3588.16/3597.01	v -x7795 -x7783 x7756 -x931 -x7729 -x928 -x7702 -x7675 -x923 -x7648 -x7621 -x7594 -x916 -x7567 -x7540 -x7513 -x7486 -x7459 
3588.16/3597.01	v -x7432 -x7405 -x7378 -x7351 -x7324 -x895 -x7297 -x7270 -x7243 x888 -x7216 -x7189 -x7162 -x7135 -x7108 -x7081 -x7054 -x7027 x6969 
3588.16/3597.01	v -x6911 -x6853 -x6795 -x6737 -x6679 -x6621 -x6563 -x6558 -x6556 -x6551 -x6549 -x6544 -x6542 -x6537 -x6535 -x6530 -x6528 -x6523 
3588.16/3597.01	v -x6521 -x6516 -x6514 -x6509 -x6507 -x6502 -x6500 -x6495 -x6493 -x6488 -x6483 -x6481 -x6476 -x6474 -x6469 -x6467 -x6462 -x6460 
3588.16/3597.01	v -x6455 -x6453 -x6448 -x6446 -x6441 -x6439 -x6434 -x6432 -x6427 -x6425 -x6420 -x6418 -x6413 -x6411 -x6406 -x6404 -x6399 
3588.16/3597.01	v -x6397 -x6392 -x6390 -x6385 -x6383 -x6378 -x6376 -x6371 -x6369 -x6364 -x6362 -x6357 -x6355 -x6350 -x6348 -x6343 -x6341 -x6336 
3588.16/3597.01	v -x6334 -x6329 -x6327 x6322 -x6310 -x6298 -x6286 -x6274 -x751 -x6262 -x6250 -x6238 -x744 -x6226 -x741 -x6214 -x738 -x6202 -x6190 
3588.16/3597.01	v -x6178 -x6166 -x729 -x6154 -x726 -x6142 -x6130 -x721 -x6118 -x718 -x6106 -x715 -x6094 -x712 -x6082 x6070 -x6043 -x6016 -x5989 
3588.16/3597.01	v -x5962 -x5935 x5908 -x5881 -x5876 -x5871 -x5866 -x5861 -x5856 -x5851 -x5846 -x5841 -x5836 -x5831 -x5826 -x5821 -x5816 -x5811 
3588.16/3597.01	v -x5806 -x5801 -x5796 -x5791 -x5786 -x5781 -x5776 -x5771 -x5766 -x5761 -x5756 -x5751 -x5746 -x5741 -x5736 -x5731 -x5726 -x5721 
3588.16/3597.01	v -x5716 -x5711 -x5706 -x5701 -x5696 -x5691 -x5686 -x5681 -x5676 -x5671 -x5666 -x5661 -x5656 -x5651 -x5646 -x5641 -x5636 
3588.16/3597.01	v -x5631 -x5626 -x5621 -x5616 -x5611 -x5606 -x5601 -x5596 -x5591 -x5586 -x5581 -x5576 -x5571 -x5566 -x5561 -x5556 -x5551 -x5546 
3588.16/3597.01	v -x5541 -x5529 -x5527 -x5515 -x5513 -x5501 -x5499 -x5487 -x5485 -x5473 -x5471 -x5459 -x5457 -x5445 -x5443 -x5431 -x5429 -x5417 
3588.16/3597.01	v -x5415 -x5403 -x5401 -x5389 -x5387 -x5375 -x5373 x5361 -x5349 -x5347 -x5335 -x5333 -x5321 -x5319 -x5307 -x5305 -x5293 -x5291 
3588.16/3597.01	v -x5279 -x5277 -x5265 -x5263 -x5251 -x5249 -x5237 -x5235 -x5223 -x5221 -x5209 -x5207 -x5195 -x5183 -x5181 -x5169 -x5157 -x5155 
3588.16/3597.01	v -x5143 -x5141 -x5129 -x5127 -x5115 -x5113 -x5101 -x5089 -x5077 -x5075 -x5063 -x5061 -x5049 -x5047 -x5035 -x5033 -x5021 -x5019 
3588.16/3597.01	v -x5007 -x5005 -x4993 -x4991 -x4979 -x4977 -x4965 -x4953 -x4951 -x4939 -x4937 -x4925 -x4923 -x4911 -x4909 -x4897 -x4895 -x4883 
3588.16/3597.01	v -x4871 -x4869 -x4857 -x4855 -x4843 -x4831 -x4829 -x4817 -x4805 -x4803 -x4791 -x4779 -x4752 -x437 -x4725 -x434 -x4698 -x4671 
3588.16/3597.01	v -x429 -x4644 -x4617 -x424 -x4590 -x4563 -x419 -x4536 -x416 -x4509 -x413 -x4482 -x410 x4455 -x4428 -x4401 -x403 -x4374 -x400 
3588.16/3597.01	v -x4347 -x4320 -x4293 -x4266 -x4239 -x4212 -x4185 -x4158 -x383 -x4131 -x4104 -x378 -x4077 -x4050 -x4023 -x3965 -x3907 -x3849 
3588.16/3597.01	v -x3791 -x3733 x3675 -x3617 -x3559 -x3554 -x3549 -x3544 -x3539 -x3534 -x3529 -x3524 -x3519 -x3514 -x3509 -x3504 -x3499 -x3494 
3588.16/3597.01	v -x3489 -x3484 -x3479 -x3474 -x3469 -x3464 -x3459 -x3454 -x3449 -x3444 -x3439 -x3434 -x3429 -x3424 -x3419 -x3414 -x3409 -x3404 
3588.16/3597.01	v -x3399 -x3394 -x3389 -x3384 -x3379 -x3374 -x3369 -x3364 -x3359 -x3354 -x3349 -x3344 -x3339 x3334 -x3329 -x3324 -x3319 -x3314 
3588.16/3597.01	v -x3309 -x3304 -x3299 -x3294 -x3289 -x3284 -x3279 -x3274 -x3269 -x3264 -x3259 -x3254 -x3249 -x3244 -x3239 -x3234 -x3229 -x3224 
3588.16/3597.01	v -x3219 -x3214 -x3209 -x3197 -x3195 -x3183 -x3181 -x3169 -x3167 -x3155 -x3153 -x3141 -x3139 -x3127 -x3125 -x3113 -x3111 -x3099 
3588.16/3597.01	v x3097 -x3085 -x3083 -x3071 -x3069 -x3057 -x3055 -x3043 -x3041 -x3029 -x3027 -x3015 -x3013 -x3001 -x2999 -x2987 -x2985 -x2973 
3588.16/3597.01	v -x2971 -x2959 -x2957 -x2945 -x2943 -x2931 -x2929 -x2917 -x2915 -x2903 -x2901 -x2889 -x2887 -x2875 -x2873 -x2861 -x2859 -x2847 
3588.16/3597.01	v -x2845 -x2833 -x2831 -x2819 -x2807 -x2805 -x2793 -x2791 -x2779 -x2777 -x2765 -x2763 -x2751 -x2749 -x2737 -x2735 -x2723 
3588.16/3597.01	v -x2721 -x2709 -x2707 -x2695 -x2693 -x2681 -x2679 -x2667 -x2665 -x2653 -x2651 -x2639 -x2637 -x2625 -x2623 -x2611 -x2609 -x2597 
3588.16/3597.01	v -x2595 -x2583 -x2581 -x2569 -x2567 -x2555 -x2553 -x2541 -x2539 -x2527 -x2525 -x2513 -x2511 -x2499 -x2497 x2485 -x2483 -x2471 
3588.16/3597.01	v -x2469 -x2457 -x2455 -x2443 -x2441 -x2429 -x2427 -x2400 -x88 -x2373 x85 -x2346 -x82 -x2319 x79 -x2292 x76 -x2265 -x73 -x2238 
3588.16/3597.01	v -x70 -x2211 -x2184 -x65 -x2157 -x62 -x2130 -x59 -x2103 -x56 -x2076 -x53 -x2049 -x50 -x2022 -x1995 -x45 -x1968 -x1941 -x40 -x1914 
3588.16/3597.01	v -x37 -x1887 -x1860 -x32 -x1833 -x29 x1806 -x26 -x1779 -x23 -x1752 -x20 -x1725 -x17 -x1698 -x14 -x1671 -x11 -x1613 x1555 
3588.16/3597.01	v -x1497 -x1439 -x1381 -x1323 -x1265 -x1207 x1196 x862 x699 x362 x1 
3588.16/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3588.16/3597.01	c Total Time         :    3597.00
3588.16/3597.01	c   solving          :    3597.00
3588.16/3597.01	c   presolving       :       0.45 (included in solving)
3588.16/3597.01	c   reading          :       0.06 (included in solving)
3588.16/3597.01	c   copying          :       0.32 (14 #copies) (minimal 0.02, maximal 0.03, average 0.02)
3588.16/3597.01	c Original Problem   :
3588.16/3597.01	c   Problem name     : HOME/instance-4432732-1721100859.opb
3588.16/3597.01	c   Variables        : 8901 (8901 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.16/3597.01	c   Constraints      : 32298 initial, 32298 maximal
3588.16/3597.01	c   Objective        : minimize, 790 non-zeros (abs.min = 1, abs.max = 1)
3588.16/3597.01	c Presolved Problem  :
3588.16/3597.01	c   Problem name     : t_HOME/instance-4432732-1721100859.opb
3588.16/3597.01	c   Variables        : 7901 (7901 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.16/3597.01	c   Constraints      : 7852 initial, 9983 maximal
3588.16/3597.01	c   Objective        : minimize, 785 non-zeros (abs.min = 1, abs.max = 1)
3588.16/3597.01	c   Nonzeros         : 31993 constraint, 45822 clique table
3588.16/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.16/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   gateextraction   :       0.08       0.00      3          0          0          0          0          0      30046       7364          0          0
3588.16/3597.01	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   milp             :       0.07       0.00      1          0         17          0          0          0          0          0          0          0
3588.16/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   trivial          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   dualfix          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   probing          :       0.05       0.00      1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   knapsack         :       0.02       0.00      8          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   setppc           :       0.03       0.00      8          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   and              :       0.04       0.00      4          0        248          0          0          0        248          0          0          0
3588.16/3597.01	c   linear           :       0.11       0.01      5          5        730          0          5          0       1516          0         17         17
3588.16/3597.01	c   logicor          :       0.01       0.00      7          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.16/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.16/3597.01	c   benderslp        :          0          0          0          0        532          0          0        150          0          0          0          0          0          0          0
3588.16/3597.01	c   integral         :          0          0          0          0        532          0          0        150          0          0          0          0          0          0       1064
3588.16/3597.01	c   knapsack         :          1          1          0      45465          0          0          0        144        484        126          0          0          0          0          0
3588.16/3597.01	c   setppc           :        730        730         37      45300          0          0          0        140       4817         23       2471          0          0          0          0
3588.16/3597.01	c   and              :       7116       7116       1528      45325          0          0          0         19      45143         91      59051     295313      71196          0          0
3588.16/3597.01	c   linear           :          0+       195         37      38044          0          0          0          3          6          3          1         20         10          0          0
3588.16/3597.01	c   logicor          :          5+      1984         37       8482          0          0          0         10         62         24         30        154         25          0          0
3588.16/3597.01	c   benders          :          0          0          0          0          0          0          0         11          0          0          0          0          0          0          0
3588.16/3597.01	c   fixedvar         :          0          0          0          0          0          0          0         11          0          0          0          0          0          0          0
3588.16/3597.01	c   countsols        :          0          0          0          0          0          0          0         11          0          0          0          0          0          0          0
3588.16/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.16/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   integral         :    1199.48       0.00       0.00       0.00    1199.48       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   knapsack         :       0.07       0.00       0.00       0.05       0.00       0.00       0.00       0.00       0.00       0.01
3588.16/3597.01	c   setppc           :       0.15       0.00       0.00       0.10       0.00       0.00       0.00       0.01       0.00       0.03
3588.16/3597.01	c   and              :       6.36       0.00       2.36       1.29       0.00       0.00       0.00       0.01       0.02       2.68
3588.16/3597.01	c   linear           :       0.12       0.01       0.01       0.04       0.00       0.00       0.00       0.00       0.00       0.05
3588.16/3597.01	c   logicor          :       0.09       0.00       0.00       0.07       0.00       0.00       0.00       0.00       0.00       0.02
3588.16/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.16/3597.01	c   dualfix          :          3          0          0          0
3588.16/3597.01	c   genvbounds       :          0          0          0          0
3588.16/3597.01	c   nlobbt           :          0          0          0          0
3588.16/3597.01	c   obbt             :          0          0          0          0
3588.16/3597.01	c   probing          :          0          0          0          0
3588.16/3597.01	c   pseudoobj        :       2405          0          0          0
3588.16/3597.01	c   redcost          :        502          0          0          0
3588.16/3597.01	c   rootredcost      :          1          0          0          0
3588.16/3597.01	c   symmetry         :          0          0          0          0
3588.16/3597.01	c   vbounds          :      27678          0          0          0
3588.16/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.16/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.00       0.00       0.01
3588.16/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   probing          :       0.05       0.00       0.05       0.00       0.00       0.00
3588.16/3597.01	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
3588.16/3597.01	c   redcost          :       0.08       0.00       0.00       0.07       0.00       0.00
3588.16/3597.01	c   rootredcost      :       0.01       0.00       0.00       0.00       0.00       0.00
3588.16/3597.01	c   symmetry         :       0.03       0.00       0.01       0.00       0.00       0.01
3588.16/3597.01	c   vbounds          :       0.04       0.00       0.00       0.02       0.00       0.02
3588.16/3597.01	c Symmetry           :
3588.16/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3588.16/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3588.16/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3588.16/3597.01	c   shadow tree time :       0.00 s
3588.16/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.16/3597.01	c   propagation      :       0.11        262        262          -       3996      253.1          9       84.9          -          -          -
3588.16/3597.01	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.16/3597.01	c   bound exceed. LP :       0.16         20          3          -        158     2333.3          2      287.0          2      980.5        180
3588.16/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.16/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.16/3597.01	c   applied globally :       0.02          -          -          0       2245       74.4          -          -          2          -          -
3588.16/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3588.16/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.16/3597.01	c   cut pool         :       0.62          -        401         74          -          -      10839      30714          -          -          -          -          -    (maximal pool size:       8731)
3588.16/3597.01	c   aggregation      :       0.39       0.00         85         37          0          0         31         99          0          7          7          0          0
3588.16/3597.01	c   > cmir           :          -          -          -          -          -          -          -         92          0          7          7          0          -
3588.16/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          2          0          0          0          0          -
3588.16/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          5          0          0          0          0          -
3588.16/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   clique           :       0.72       0.00         37         37          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   gomory           :      22.42       0.00         45         10          0          0       2579       8738          0        319        319          0          0
3588.16/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -       4984          0        207        207          0          -
3588.16/3597.01	c   > strongcg       :          -          -          -          -          -          -          -       3754          0        112        112          0          -
3588.16/3597.01	c   impliedbounds    :       0.11       0.00         85         37          0          0       7952      20271          0      10370      10370          0          0
3588.16/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   multilinear      :       0.03       0.00        108         37          0          0         96        214          0         87         87          0          0
3588.16/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.16/3597.01	c   rapidlearning    :       0.39       0.00          1          1          0          0          0          0          0          0          0          0        195
3588.16/3597.01	c   rlt              :      14.34       0.00         27         10          0          0         73        362          0        155        155          0          0
3588.16/3597.01	c   zerohalf         :       0.63       0.00         55         20          0          0        108       1030          0        260        260          0          0
3588.16/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.16/3597.01	c   hybrid           :       0.72       0.00       1473         38      82432          0     243769       5313          0      14865
3588.16/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.16/3597.01	c   problem variables:       0.00          -          0          0
3588.16/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.16/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c   relpscost        :    1199.48       0.00        532          0          0          0          0          0          0       1064
3588.16/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.16/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.16/3597.01	c   LP solutions     :       0.00          -          -          0          0
3588.16/3597.01	c   relax solutions  :       0.00          -          -          0          0
3588.16/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3588.16/3597.01	c   strong branching :       0.01          -          -          0          0
3588.16/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3588.16/3597.01	c   adaptivediving   :      14.17       0.00          3          0          0
3588.16/3597.01	c   alns             :       0.43       0.00          5          0          0
3588.16/3597.01	c   bound            :       0.00       0.00          0          0          0
3588.16/3597.01	c   clique           :       0.09       0.00          1          0          0
3588.16/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3588.16/3597.01	c   completesol      :       0.00       0.00          0          0          0
3588.16/3597.01	c   conflictdiving   :       9.43       0.00          2          0          0
3588.16/3597.01	c   crossover        :       0.29       0.00          3          2          0
3588.16/3597.01	c   dins             :       0.00       0.00          0          0          0
3588.16/3597.01	c   distributiondivin:       6.88       0.00          2          0          0
3588.16/3597.01	c   dps              :       0.00       0.00          0          0          0
3588.16/3597.01	c   dualval          :       0.00       0.00          0          0          0
3588.16/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3588.16/3597.01	c   feasjump         :       0.00       0.00          0          0          0
3588.16/3597.01	c   feaspump         :       5.47       0.00          1          0          0
3588.16/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3588.16/3597.01	c   fracdiving       :       0.37       0.00          2          0          0
3588.16/3597.01	c   gins             :       0.01       0.00          0          0          0
3588.16/3597.01	c   guideddiving     :       1.81       0.00          2          0          0
3588.16/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.16/3597.01	c   indicator        :       0.00       0.00          0          0          0
3588.16/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3588.16/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3588.16/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3588.16/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3588.16/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3588.16/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3588.16/3597.01	c   linesearchdiving :       2.11       0.00          2          0          0
3588.16/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3588.16/3597.01	c   locks            :       0.03       0.00          1          0          0
3588.16/3597.01	c   lpface           :       0.00       0.00          0          0          0
3588.16/3597.01	c   mpec             :       0.00       0.00          0          0          0
3588.16/3597.01	c   multistart       :       0.00       0.00          0          0          0
3588.16/3597.01	c   mutation         :       0.00       0.00          0          0          0
3588.16/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3588.16/3597.01	c   objpscostdiving  :      74.63       0.00          2          0          0
3588.16/3597.01	c   octane           :       0.00       0.00          0          0          0
3588.16/3597.01	c   ofins            :       0.00       0.00          0          0          0
3588.16/3597.01	c   oneopt           :       0.01       0.00          2          1          1
3588.16/3597.01	c   padm             :       0.00       0.00          0          0          0
3588.16/3597.01	c   proximity        :       0.00       0.00          0          0          0
3588.16/3597.01	c   pscostdiving     :       8.61       0.00          2          0          0
3588.16/3597.01	c   randrounding     :       1.22       0.00        162          0          0
3588.16/3597.01	c   rens             :      10.19       0.00          1          1          1
3588.16/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3588.16/3597.01	c   repair           :       0.00       0.00          0          0          0
3588.16/3597.01	c   rins             :       3.80       0.00          4          3          0
3588.16/3597.01	c   rootsoldiving    :       0.87       0.00          1          0          0
3588.16/3597.01	c   rounding         :       1.02       0.00        576          0          0
3588.16/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3588.16/3597.01	c   shiftandpropagate:       0.10       0.00          1          1          1
3588.16/3597.01	c   shifting         :       1.19       0.00        314          1          0
3588.16/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3588.16/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3588.16/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3588.16/3597.01	c   trivial          :       0.01       0.00          2          0          0
3588.16/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3588.16/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3588.16/3597.01	c   trysol           :       0.00       0.00          0          0          0
3588.16/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3588.16/3597.01	c   undercover       :       0.12       0.00          1          0          0
3588.16/3597.01	c   vbounds          :       0.28       0.00          1          0          0
3588.16/3597.01	c   veclendiving     :       0.18       0.00          2          0          0
3588.16/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3588.16/3597.01	c   zirounding       :       0.76       0.00        532          0          0
3588.16/3597.01	c   other solutions  :          -          -          -          0          -
3588.16/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3588.16/3597.01	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
3588.16/3597.01	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
3588.16/3597.02	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
3588.16/3597.02	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
3588.16/3597.02	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
3588.16/3597.02	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
3588.16/3597.02	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
3588.16/3597.02	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
3588.16/3597.02	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
3588.16/3597.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.16/3597.02	c   primal LP        :       0.37         95          0       0.00       0.00       0.37         95
3588.16/3597.02	c   dual LP          :    2202.06       2006    7486266    3731.94    3399.67       0.00          0
3588.16/3597.02	c   lex dual LP      :       0.00          0          0       0.00          -
3588.16/3597.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.16/3597.02	c   resolve instable :       0.00          0          0       0.00          -
3588.16/3597.02	c   diving/probing LP:     172.38       1023     684974     669.57    3973.68
3588.16/3597.02	c   strong branching :    1128.69       4939    3850028     779.52    3411.05          -          -       7203
3588.16/3597.02	c     (at root node) :          -         11      11000    1000.00          -
3588.16/3597.02	c   conflict analysis:       0.06         18        180      10.00    3194.77
3588.16/3597.02	c B&B Tree           :
3588.16/3597.02	c   number of runs   :          1
3588.16/3597.02	c   nodes            :        533 (532 internal, 1 leaves)
3588.16/3597.02	c   feasible leaves  :          0
3588.16/3597.02	c   infeas. leaves   :          0
3588.16/3597.02	c   objective leaves :          0
3588.16/3597.02	c   nodes (total)    :        533 (532 internal, 1 leaves)
3588.16/3597.02	c   nodes left       :        533
3588.16/3597.02	c   max depth        :         40
3588.16/3597.02	c   max depth (total):         40
3588.16/3597.02	c   backtracks       :         52 (9.8%)
3588.16/3597.02	c   early backtracks :          0 (0.0%)
3588.16/3597.02	c   nodes exc. ref.  :          0 (0.0%)
3588.16/3597.02	c   delayed cutoffs  :          0
3588.16/3597.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3588.16/3597.02	c   avg switch length:       3.01
3588.16/3597.02	c   switching time   :       0.69
3588.16/3597.02	c Root Node          :
3588.16/3597.02	c   First LP value   : +7.75000000000000e+00
3588.16/3597.02	c   First LP Iters   :        681 (18568.51 Iter/sec)
3588.16/3597.02	c   First LP Time    :       0.04
3588.16/3597.02	c   Final Dual Bound : +1.15418669276859e+01
3588.16/3597.02	c   Final Root Iters :      49814
3588.16/3597.02	c   Root LP Estimate : +1.31086486943462e+01
3588.16/3597.02	c Solution           :
3588.16/3597.02	c   Solutions found  :          9 (3 improvements)
3588.16/3597.02	c   First Solution   : +2.80000000000000e+01   (in run 1, after 1 nodes, 1.07 seconds, depth 1099, found by <shiftandpropagate>)
3588.16/3597.02	c   Gap First Sol.   :     460.00 %
3588.16/3597.02	c   Gap Last Sol.    :     116.62 %
3588.16/3597.02	c   Primal Bound     : +2.50000000000000e+01   (in run 1, after 1 nodes, 44.66 seconds, depth 0, found by <rens>)
3588.16/3597.02	c   Dual Bound       : +1.18140313068888e+01
3588.16/3597.02	c   Gap              :     111.61 %
3588.16/3597.02	c Integrals          :      Total       Avg%
3588.16/3597.02	c   primal-dual      :  191572.30      53.26
3588.16/3597.02	c   primal-ref       :          -          - (not evaluated)
3588.16/3597.02	c   dual-ref         :          -          - (not evaluated)
3588.26/3597.13	c Time complete: 3588.3.

Verifier Data

OK	25

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: 64096 MiB (62888 MiB free)
  memory of node 1: 64473 MiB (61832 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432732-1721100859/watcher-4432732-1721100859 -o /tmp/evaluation-result-4432732-1721100859/solver-4432732-1721100859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830410 --watchdog 3760 pbscip -f HOME/instance-4432732-1721100859.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=834638, runsolver pid=834635

[startup+0.100108 s]*
/proc/loadavg: 4.08 4.11 4.14 5/244 834639
/proc/meminfo: memFree=127660480/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=113676 memory=73356 CPUtime=0.1 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 15256 0 0 0 8 2 0 0 20 0 1 0 162244781 116404224 18339 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 28419 18339 3506 3540 0 16676 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113676 KiB
Current children cumulated memory: 73356 KiB

[startup+0.21284 s]*
/proc/loadavg: 4.08 4.11 4.14 5/244 834639
/proc/meminfo: memFree=127628308/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=141044 memory=99424 CPUtime=0.21 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 23713 0 0 0 18 3 0 0 20 0 1 0 162244781 144429056 24856 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 35261 24856 3633 3540 0 23518 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 141044 KiB
Current children cumulated memory: 99424 KiB

[startup+0.312685 s]*
/proc/loadavg: 4.08 4.11 4.14 5/244 834639
/proc/meminfo: memFree=127626320/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=139216 memory=98804 CPUtime=0.31 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 25579 0 0 0 28 3 0 0 20 0 1 0 162244781 142557184 24701 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 34804 24701 3697 3540 0 23061 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 139216 KiB
Current children cumulated memory: 98804 KiB

[startup+0.700349 s]
/proc/loadavg: 4.08 4.11 4.14 5/244 834639
/proc/meminfo: memFree=127618704/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=195684 memory=146792 CPUtime=0.69 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 36732 0 0 0 64 5 0 0 20 0 1 0 162244781 200380416 36698 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 48921 36698 3825 3540 0 37178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 195684 KiB
Current children cumulated memory: 146792 KiB

[startup+1.50028 s]
/proc/loadavg: 4.08 4.11 4.14 5/244 834639
/proc/meminfo: memFree=127575792/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=265604 memory=214772 CPUtime=1.49 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 53632 0 0 0 141 8 0 0 20 0 1 0 162244781 271978496 53693 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 66401 53693 3953 3540 0 54658 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 265604 KiB
Current children cumulated memory: 214772 KiB

[startup+3.11258 s]
/proc/loadavg: 4.15 4.13 4.14 5/244 834639
/proc/meminfo: memFree=127492332/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=284644 memory=232808 CPUtime=3.09 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 58149 0 0 0 301 8 0 0 20 0 1 0 162244781 291475456 58202 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 71161 58202 3984 3540 0 59418 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 284644 KiB
Current children cumulated memory: 232808 KiB

[startup+6.3003 s]
/proc/loadavg: 4.15 4.13 4.14 5/244 834639
/proc/meminfo: memFree=127484856/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=293600 memory=242840 CPUtime=6.27 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 60687 0 0 0 618 9 0 0 20 0 1 0 162244781 300646400 60710 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 73400 60710 3984 3540 0 61657 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 293600 KiB
Current children cumulated memory: 242840 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 834686
/proc/meminfo: memFree=127474576/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=364756 memory=293416 CPUtime=12.65 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 73432 0 0 0 1254 11 0 0 20 0 1 0 162244781 373510144 73354 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 91189 73354 3984 3540 0 79446 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 364756 KiB
Current children cumulated memory: 293416 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.12 4.14 5/244 834688
/proc/meminfo: memFree=127427020/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=372528 memory=299612 CPUtime=25.42 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 75037 0 0 0 2530 12 0 0 20 0 1 0 162244781 381468672 74903 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 93132 74903 3984 3540 0 81389 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 372528 KiB
Current children cumulated memory: 299612 KiB

[startup+51.1124 s]
/proc/loadavg: 4.15 4.12 4.14 5/244 834692
/proc/meminfo: memFree=127303180/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=447600 memory=375008 CPUtime=50.97 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 93899 0 0 0 5081 16 0 0 20 0 1 0 162244781 458342400 93752 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 111900 93752 4000 3540 0 100157 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 447600 KiB
Current children cumulated memory: 375008 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.13 4.14 5/241 834702
/proc/meminfo: memFree=127289724/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=447600 memory=375228 CPUtime=102.02 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 93926 0 0 0 10184 18 0 0 20 0 1 0 162244781 458342400 93807 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 111900 93807 4000 3540 0 100157 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 447600 KiB
Current children cumulated memory: 375228 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.14 4.14 5/241 834712
/proc/meminfo: memFree=127282152/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=447600 memory=375228 CPUtime=161.87 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 93939 0 0 0 16167 20 0 0 20 0 1 0 162244781 458342400 93807 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 111900 93807 4000 3540 0 100157 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 447600 KiB
Current children cumulated memory: 375228 KiB

[startup+222.3 s]
/proc/loadavg: 4.67 4.30 4.20 5/241 834722
/proc/meminfo: memFree=127276100/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=447600 memory=375228 CPUtime=221.73 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 93943 0 0 0 22151 22 0 0 20 0 1 0 162244781 458342400 93807 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 111900 93807 4000 3540 0 100157 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 447600 KiB
Current children cumulated memory: 375228 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.26 4.19 5/241 834733
/proc/meminfo: memFree=127255624/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=447600 memory=375488 CPUtime=281.58 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 94002 0 0 0 28135 23 0 0 20 0 1 0 162244781 458342400 93872 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 111900 93872 4000 3540 0 100157 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 447600 KiB
Current children cumulated memory: 375488 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.24 4.18 5/241 834743
/proc/meminfo: memFree=127229884/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=447600 memory=377124 CPUtime=341.43 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 94047 0 0 0 34119 24 0 0 20 0 1 0 162244781 458342400 94281 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 111900 94281 4000 3540 0 100157 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 447600 KiB
Current children cumulated memory: 377124 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/244 834758
/proc/meminfo: memFree=127220656/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=447600 memory=379996 CPUtime=401.27 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 94126 0 0 0 40103 24 0 0 20 0 1 0 162244781 458342400 94999 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 111900 94999 4000 3540 0 100157 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 447600 KiB
Current children cumulated memory: 379996 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/244 834768
/proc/meminfo: memFree=127171464/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=447600 memory=402152 CPUtime=461.12 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 94232 0 0 0 46088 24 0 0 20 0 1 0 162244781 458342400 100538 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0

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

/proc/loadavg: 4.15 4.17 4.18 5/242 836218
/proc/meminfo: memFree=125637908/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=710628 memory=657276 CPUtime=3214.37 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 143583 0 0 0 321399 38 0 0 20 0 1 0 162244781 727683072 164319 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 177657 164319 4000 3540 0 165914 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 710628 KiB
Current children cumulated memory: 657276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/244 836399
/proc/meminfo: memFree=125578288/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700236 CPUtime=3274.21 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 144867 0 0 0 327382 39 0 0 20 0 1 0 162244781 778010624 175059 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175059 4000 3540 0 178201 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/244 836409
/proc/meminfo: memFree=125525044/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700236 CPUtime=3334.07 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145104 0 0 0 333368 39 0 0 20 0 1 0 162244781 778010624 175059 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175059 4000 3540 0 178201 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.18 4.18 5/246 836477
/proc/meminfo: memFree=125405716/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3393.92 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145312 0 0 0 339353 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3393.92 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/246 836487
/proc/meminfo: memFree=125405552/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3453.78 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145511 0 0 0 345339 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/246 836498
/proc/meminfo: memFree=125405272/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3513.63 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145715 0 0 0 351324 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.18 5/244 836508
/proc/meminfo: memFree=125377892/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3573.48 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145920 0 0 0 357309 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

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

# cumulated CPU time of all completed processes:  user=3587.9 s, system=0.402124 s

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

[startup+3584 s]*
/proc/loadavg: 4.20 4.16 4.17 5/244 836508
/proc/meminfo: memFree=125373904/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3575.19 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145920 0 0 0 357480 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3575.19 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.14 4.17 3/231 836571
/proc/meminfo: memFree=126929816/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3581.56 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145922 0 0 0 358117 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3581.56 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3593.6 s]
/proc/loadavg: 3.93 4.11 4.16 3/231 836572
/proc/meminfo: memFree=126930472/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3584.76 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145922 0 0 0 358437 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3584.76 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3595.2 s]
/proc/loadavg: 3.93 4.11 4.16 3/231 836572
/proc/meminfo: memFree=126921348/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3586.35 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145922 0 0 0 358596 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3596 s]*
/proc/loadavg: 3.93 4.11 4.16 3/231 836572
/proc/meminfo: memFree=126921348/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3587.16 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145922 0 0 0 358677 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3596.8 s]
/proc/loadavg: 3.93 4.11 4.16 3/231 836572
/proc/meminfo: memFree=126921348/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3587.95 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145922 0 0 0 358756 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3597 s]*
/proc/loadavg: 3.93 4.11 4.16 3/231 836572
/proc/meminfo: memFree=126921348/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=759776 memory=700356 CPUtime=3588.16 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145934 0 0 0 358777 39 0 0 20 0 1 0 162244781 778010624 175089 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189944 175089 4000 3540 0 178201 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 759776 KiB
Current children cumulated memory: 700356 KiB

[startup+3597.11 s]
/proc/loadavg: 3.93 4.11 4.16 3/231 836572
/proc/meminfo: memFree=126921348/131655788 swapFree=131071996/131071996
[pid=834638] ppid=834635 vsize=758876 memory=699456 CPUtime=3588.26 cores=1,3
/proc/834638/stat : 834638 (pbscip) R 834635 834638 830398 0 -1 4194304 145942 0 0 0 358787 39 0 0 20 0 1 0 162244781 777089024 174864 134679101440 4194304 18693293 140734254855424 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41951232 140734254863364 140734254863463 140734254863463 140734254870478 0
/proc/834638/statm: 189719 174864 4000 3540 0 177976 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 758876 KiB
Current children cumulated memory: 699456 KiB

Child status: 0

Real time (s): 3597.14
CPU time (s): 3588.3
CPU user time (s): 3587.9
CPU system time (s): 0.402124
CPU usage (%): 99.7542
Max. virtual memory (cumulated for all children) (KiB): 759776
Max. memory (cumulated for all children) (KiB): 700356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.9
system time used= 0.402124
maximum resident set size= 700356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145965
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= 52
involuntary context switches= 1281


# summary of solver processes directly reported to runsolver:
#   pid: 834638
#   total CPU time (s): 3588.3
#   total CPU user time (s): 3587.9
#   total CPU system time (s): 0.402124

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6365 second user time and 34.0528 second system time

The end

Launcher Data

Begin job on nodeC005 at 2024-07-16 05:34:32
IDJOB=4432732
IDBENCH=148193
IDSOLVER=3059
FILE ID=nodeC005/4432732-1721100859
RUNJOBID= nodeC005-1721093664-830410
SLURM_JOB_ID= 7505597
Free space on /tmp= 723724 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.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-4432732-1721100859/watcher-4432732-1721100859 -o /tmp/evaluation-result-4432732-1721100859/solver-4432732-1721100859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830410 --watchdog 3760  pbscip -f HOME/instance-4432732-1721100859.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=215479143

nodeC005.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		: 3671.155
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.53
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		: 3532.045
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.35
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.397
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.53
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.189
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.35
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		: 3672.712
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.53
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		: 3656.293
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.35
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.376
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.53
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.288
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127715112 kB
MemAvailable:   129327128 kB
Buffers:          378836 kB
Cached:          2058804 kB
SwapCached:            0 kB
Active:           687716 kB
Inactive:        2685648 kB
Active(anon):       3448 kB
Inactive(anon):   970024 kB
Active(file):     684268 kB
Inactive(file):  1715624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             39012 kB
Writeback:             0 kB
AnonPages:        935164 kB
Mapped:           139968 kB
Shmem:             37704 kB
KReclaimable:     104644 kB
Slab:             206032 kB
SReclaimable:     104644 kB
SUnreclaim:       101388 kB
KernelStack:        3936 kB
PageTables:        11536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1351352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52736 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC005 at 2024-07-16 06:34:29