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

OK	25

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: 63665 MiB (55106 MiB free)
  memory of node 1: 64507 MiB (63983 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497801-1751403142/watcher-4497801-1751403142 -o /tmp/evaluation-result-4497801-1751403142/solver-4497801-1751403142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62246 --watchdog 3760 pbsolver -f HOME/instance-4497801-1751403142.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=62298, runsolver pid=62286

[startup+0.100063 s]*
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121774524/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=76972 memory=66720 CPUtime=0.09 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 14644 0 0 0 6 3 0 0 20 0 1 0 55992058 78819328 16680 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 19243 16680 2368 2575 0 16150 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76972 KiB
Current children cumulated memory: 66720 KiB

[startup+0.205628 s]*
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121708264/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=109440 memory=98060 CPUtime=0.19 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 23863 0 0 0 15 4 0 0 20 0 1 0 55992058 112066560 24515 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 27360 24515 2496 2575 0 24267 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109440 KiB
Current children cumulated memory: 98060 KiB

[startup+0.305619 s]*
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121679456/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=104804 memory=94384 CPUtime=0.3 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 25270 0 0 0 25 5 0 0 20 0 1 0 55992058 107319296 23596 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 26201 23596 2560 2575 0 23108 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104804 KiB
Current children cumulated memory: 94384 KiB

[startup+0.700196 s]
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121589492/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=162768 memory=139636 CPUtime=0.68 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 38912 0 0 0 60 8 0 0 20 0 1 0 55992058 166674432 34909 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 40692 34909 2656 2575 0 37599 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162768 KiB
Current children cumulated memory: 139636 KiB

[startup+1.50018 s]
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121437288/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=234348 memory=208756 CPUtime=1.48 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 56177 0 0 0 137 11 0 0 20 0 1 0 55992058 239972352 52189 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 58587 52189 2688 2575 0 55494 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 234348 KiB
Current children cumulated memory: 208756 KiB

[startup+3.10556 s]
/proc/loadavg: 0.78 1.02 1.69 5/265 62303
/proc/meminfo: memFree=121284744/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=252680 memory=226548 CPUtime=3.08 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 60693 0 0 0 297 11 0 0 20 0 1 0 55992058 258744320 56637 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 63170 56637 2688 2575 0 60077 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 252680 KiB
Current children cumulated memory: 226548 KiB

[startup+6.30017 s]
/proc/loadavg: 0.78 1.02 1.69 5/267 62305
/proc/meminfo: memFree=121188128/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=265104 memory=238324 CPUtime=6.27 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 63653 0 0 0 615 12 0 0 20 0 1 0 55992058 271466496 59581 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 66276 59581 2688 2575 0 63183 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 265104 KiB
Current children cumulated memory: 238324 KiB

[startup+12.7002 s]
/proc/loadavg: 1.27 1.12 1.71 5/267 62305
/proc/meminfo: memFree=121132548/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=313832 memory=266996 CPUtime=12.65 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 70804 0 0 0 1252 13 0 0 20 0 1 0 55992058 321363968 66749 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 78458 66749 2688 2575 0 75365 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 313832 KiB
Current children cumulated memory: 266996 KiB

[startup+25.5002 s]
/proc/loadavg: 1.69 1.21 1.74 5/267 62305
/proc/meminfo: memFree=121020984/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=321568 memory=274036 CPUtime=25.42 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 72601 0 0 0 2529 13 0 0 20 0 1 0 55992058 329285632 68509 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 80392 68509 2688 2575 0 77299 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 321568 KiB
Current children cumulated memory: 274036 KiB

[startup+51.1054 s]
/proc/loadavg: 2.48 1.44 1.80 5/267 62305
/proc/meminfo: memFree=120957408/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=383996 memory=335860 CPUtime=50.96 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 88073 0 0 0 5080 16 0 0 20 0 1 0 55992058 393211904 83965 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 95999 83965 2688 2575 0 92906 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 383996 KiB
Current children cumulated memory: 335860 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 1.90 1.94 5/267 62308
/proc/meminfo: memFree=120907464/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=383996 memory=335860 CPUtime=102.02 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 88076 0 0 0 10186 16 0 0 20 0 1 0 55992058 393211904 83965 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 95999 83965 2688 2575 0 92906 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 383996 KiB
Current children cumulated memory: 335860 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.30 2.07 5/268 62315
/proc/meminfo: memFree=120883564/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=383996 memory=335860 CPUtime=161.87 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 88080 0 0 0 16171 16 0 0 20 0 1 0 55992058 393211904 83965 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 95999 83965 2688 2575 0 92906 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 383996 KiB
Current children cumulated memory: 335860 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.63 2.20 5/268 62317
/proc/meminfo: memFree=120818700/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=383996 memory=335988 CPUtime=221.73 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 88123 0 0 0 22156 17 0 0 20 0 1 0 55992058 393211904 83997 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 95999 83997 2688 2575 0 92906 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 383996 KiB
Current children cumulated memory: 335988 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.90 2.32 5/268 62319
/proc/meminfo: memFree=120786356/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=383996 memory=335988 CPUtime=281.57 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 88124 0 0 0 28140 17 0 0 20 0 1 0 55992058 393211904 83997 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 95999 83997 2688 2575 0 92906 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 383996 KiB
Current children cumulated memory: 335988 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.11 2.44 5/265 62321
/proc/meminfo: memFree=120759876/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=383996 memory=335988 CPUtime=341.42 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 88125 0 0 0 34125 17 0 0 20 0 1 0 55992058 393211904 83997 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 95999 83997 2688 2575 0 92906 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 383996 KiB
Current children cumulated memory: 335988 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.31 2.55 5/265 62323
/proc/meminfo: memFree=120744376/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=383996 memory=336884 CPUtime=401.28 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 88130 0 0 0 40110 18 0 0 20 0 1 0 55992058 393211904 84221 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 95999 84221 2688 2575 0 92906 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 383996 KiB
Current children cumulated memory: 336884 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.44 2.64 5/264 62326
/proc/meminfo: memFree=120742164/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=383996 memory=338420 CPUtime=461.13 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 88169 0 0 0 46095 18 0 0 20 0 1 0 55992058 393211904 84605 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 95999 84605 2688 2575 0 92906 0
Current children cumulated CPU time: 461.13 s

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

/proc/loadavg: 4.11 4.18 4.10 5/264 62491
/proc/meminfo: memFree=119583200/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=557108 memory=541008 CPUtime=3213.92 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 126735 0 0 0 321368 24 0 0 20 0 1 0 55992058 570478592 135252 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 139277 135252 2688 2575 0 136184 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 557108 KiB
Current children cumulated memory: 541008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.16 4.09 5/264 62493
/proc/meminfo: memFree=119598936/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=557108 memory=541008 CPUtime=3273.78 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 126820 0 0 0 327354 24 0 0 20 0 1 0 55992058 570478592 135252 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 139277 135252 2688 2575 0 136184 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 557108 KiB
Current children cumulated memory: 541008 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/264 62495
/proc/meminfo: memFree=119599404/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=557108 memory=541008 CPUtime=3333.64 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 126936 0 0 0 333340 24 0 0 20 0 1 0 55992058 570478592 135252 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 139277 135252 2688 2575 0 136184 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 557108 KiB
Current children cumulated memory: 541008 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 62498
/proc/meminfo: memFree=119598396/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=557108 memory=541008 CPUtime=3393.5 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127124 0 0 0 339326 24 0 0 20 0 1 0 55992058 570478592 135252 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 139277 135252 2688 2575 0 136184 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 557108 KiB
Current children cumulated memory: 541008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 62500
/proc/meminfo: memFree=119590116/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=557108 memory=541008 CPUtime=3453.35 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127147 0 0 0 345311 24 0 0 20 0 1 0 55992058 570478592 135252 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 139277 135252 2688 2575 0 136184 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 557108 KiB
Current children cumulated memory: 541008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 62503
/proc/meminfo: memFree=119581640/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3513.21 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127370 0 0 0 351297 24 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 62505
/proc/meminfo: memFree=119582372/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3573.07 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127375 0 0 0 357283 24 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

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

# cumulated CPU time of all completed processes:  user=3587.64 s, system=0.256213 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 62505
/proc/meminfo: memFree=119582372/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3574.77 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127375 0 0 0 357453 24 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3574.77 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582468/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3581.15 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127376 0 0 0 358091 24 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3581.15 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582236/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3584.35 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127376 0 0 0 358411 24 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3585.94 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127376 0 0 0 358570 24 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3585.94 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3586.74 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127376 0 0 0 358650 24 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3587.54 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127376 0 0 0 358730 24 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

[startup+3597 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582068/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3587.75 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127388 0 0 0 358750 25 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3587.75 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

[startup+3597.11 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582068/131250000 swapFree=33010416/33010684
[pid=62298] ppid=62286 vsize=566924 memory=541904 CPUtime=3587.85 cores=5,7
/proc/62298/stat : 62298 (pbsolver) R 62286 62298 62230 0 -1 4194304 127389 0 0 0 358760 25 0 0 20 0 1 0 55992058 580530176 135476 18446744073709551615 4198400 14743177 140731854561856 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41213952 140731854563722 140731854563818 140731854563818 140731854569420 0
/proc/62298/statm: 141731 135476 2688 2575 0 138638 0
Current children cumulated CPU time: 3587.85 s
Current children cumulated vsize: 566924 KiB
Current children cumulated memory: 541904 KiB

Child status: 0

Real time (s): 3597.15
CPU time (s): 3587.9
CPU user time (s): 3587.64
CPU system time (s): 0.256213
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 566924
Max. memory (cumulated for all children) (KiB): 541904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.64
system time used= 0.256213
maximum resident set size= 541904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127406
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= 48
involuntary context switches= 1432


# summary of solver processes directly reported to runsolver:
#   pid: 62298
#   total CPU time (s): 3587.9
#   total CPU user time (s): 3587.64
#   total CPU system time (s): 0.256213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82369 second user time and 15.1895 second system time

The end

Begin job on nodeC018 at 2025-07-01 22:52:22
IDJOB=4497801
IDBENCH=148193
IDSOLVER=3366
FILE ID=nodeC018/4497801-1751403142
RUNJOBID= nodeC018-1751403142-62246
SLURM_JOB_ID= 9598290
Free space on /tmp= 432932 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497801-1751403142/watcher-4497801-1751403142 -o /tmp/evaluation-result-4497801-1751403142/solver-4497801-1751403142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62246 --watchdog 3760  pbsolver -f HOME/instance-4497801-1751403142.opb -t 3600 -m 31000

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

MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=732315552

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00002a
cpu MHz		: 3599.824
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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	: 0xb00002a
cpu MHz		: 3599.835
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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	: 0xb00002a
cpu MHz		: 3599.538
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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	: 0xb00002a
cpu MHz		: 3599.032
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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	: 0xb00002a
cpu MHz		: 3599.855
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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	: 0xb00002a
cpu MHz		: 3604.288
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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	: 0xb00002a
cpu MHz		: 3602.356
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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	: 0xb00002a
cpu MHz		: 3599.800
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121949264 kB
MemAvailable:   129720744 kB
Buffers:            2128 kB
Cached:          8538228 kB
SwapCached:           32 kB
Active:           403756 kB
Inactive:        8201708 kB
Active(anon):      82864 kB
Inactive(anon):      288 kB
Active(file):     320892 kB
Inactive(file):  8201420 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61236 kB
Writeback:             0 kB
AnonPages:         68772 kB
Mapped:           103588 kB
Shmem:             18044 kB
KReclaimable:     176412 kB
Slab:             266572 kB
SReclaimable:     176412 kB
SUnreclaim:        90160 kB
KernelStack:        4008 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432872 MiB
End job on nodeC018 at 2025-07-01 23:52:19