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

OK	433

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: 63708 MiB (57302 MiB free)
  memory of node 1: 64465 MiB (60326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524535-1751613971/watcher-4524535-1751613971 -o /tmp/evaluation-result-4524535-1751613971/solver-4524535-1751613971 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751613946-86621 --watchdog 3760 pbscip -f HOME/instance-4524535-1751613971.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86723, runsolver pid=86720
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 2.76 2.25 2.14 5/264 86724
/proc/meminfo: memFree=120415020/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=85936 memory=58240 CPUtime=0.08 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 11667 0 0 0 7 1 0 0 20 0 1 0 77071677 87998464 14560 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 21484 14560 3200 3530 0 12935 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 85936 KiB
Current children cumulated memory: 58240 KiB

[startup+0.205701 s]*
/proc/loadavg: 2.76 2.25 2.14 5/264 86724
/proc/meminfo: memFree=120342948/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=152960 memory=125020 CPUtime=0.2 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 28252 0 0 0 16 4 0 0 20 0 1 0 77071677 156631040 31255 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 38240 31255 3520 3530 0 29691 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 152960 KiB
Current children cumulated memory: 125020 KiB

[startup+0.305617 s]*
/proc/loadavg: 2.76 2.25 2.14 5/264 86724
/proc/meminfo: memFree=120302628/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=192540 memory=163036 CPUtime=0.29 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 37716 0 0 0 24 5 0 0 20 0 1 0 77071677 197160960 40759 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 48135 40759 3552 3530 0 39586 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 192540 KiB
Current children cumulated memory: 163036 KiB

[startup+0.700195 s]
/proc/loadavg: 2.76 2.25 2.14 5/264 86724
/proc/meminfo: memFree=120238116/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=287272 memory=253112 CPUtime=0.68 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 61338 0 0 0 58 10 0 0 20 0 1 0 77071677 294166528 63278 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 71818 63278 3584 3530 0 63269 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 287272 KiB
Current children cumulated memory: 253112 KiB

[startup+1.50017 s]
/proc/loadavg: 2.76 2.25 2.14 5/264 86724
/proc/meminfo: memFree=120206112/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=414264 memory=289220 CPUtime=1.48 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 77641 0 0 0 134 14 0 0 20 0 1 0 77071677 424206336 72305 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 103566 72305 3616 3530 0 95017 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 414264 KiB
Current children cumulated memory: 289220 KiB

[startup+3.10572 s]
/proc/loadavg: 2.86 2.28 2.15 5/264 86724
/proc/meminfo: memFree=120133204/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=508860 memory=377512 CPUtime=3.08 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 98082 0 0 0 291 17 0 0 20 0 1 0 77071677 521072640 94378 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 127215 94378 3680 3530 0 118666 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 508860 KiB
Current children cumulated memory: 377512 KiB

[startup+6.30017 s]
/proc/loadavg: 2.86 2.28 2.15 5/264 86724
/proc/meminfo: memFree=120155976/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=508860 memory=377512 CPUtime=6.26 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 98083 0 0 0 609 17 0 0 20 0 1 0 77071677 521072640 94378 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 127215 94378 3680 3530 0 118666 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 508860 KiB
Current children cumulated memory: 377512 KiB

[startup+12.7002 s]
/proc/loadavg: 2.95 2.31 2.16 5/264 86724
/proc/meminfo: memFree=120210680/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=518104 memory=386728 CPUtime=12.64 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 100435 0 0 0 1246 18 0 0 20 0 1 0 77071677 530538496 96682 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 129526 96682 3712 3530 0 120977 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 518104 KiB
Current children cumulated memory: 386728 KiB

[startup+25.5002 s]
/proc/loadavg: 3.19 2.39 2.19 5/263 86725
/proc/meminfo: memFree=120351284/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=518104 memory=386728 CPUtime=25.4 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 100435 0 0 0 2522 18 0 0 20 0 1 0 77071677 530538496 96682 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 129526 96682 3712 3530 0 120977 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 518104 KiB
Current children cumulated memory: 386728 KiB

[startup+51.1057 s]
/proc/loadavg: 3.54 2.54 2.25 5/263 86725
/proc/meminfo: memFree=120393756/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=518104 memory=386728 CPUtime=50.92 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 100435 0 0 0 5074 18 0 0 20 0 1 0 77071677 530538496 96682 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 129526 96682 3712 3530 0 120977 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 518104 KiB
Current children cumulated memory: 386728 KiB

[startup+102.3 s]
/proc/loadavg: 3.87 2.78 2.35 5/264 86728
/proc/meminfo: memFree=120390380/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=518104 memory=386728 CPUtime=101.94 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 100435 0 0 0 10176 18 0 0 20 0 1 0 77071677 530538496 96682 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 129526 96682 3712 3530 0 120977 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 518104 KiB
Current children cumulated memory: 386728 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.02 2.46 5/264 86730
/proc/meminfo: memFree=120384884/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=518104 memory=386728 CPUtime=161.73 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 100435 0 0 0 16155 18 0 0 20 0 1 0 77071677 530538496 96682 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 129526 96682 3712 3530 0 120977 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 518104 KiB
Current children cumulated memory: 386728 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.22 2.56 5/264 86732
/proc/meminfo: memFree=120399896/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=518104 memory=386728 CPUtime=221.53 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 100435 0 0 0 22135 18 0 0 20 0 1 0 77071677 530538496 96682 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 129526 96682 3712 3530 0 120977 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 518104 KiB
Current children cumulated memory: 386728 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.38 2.66 5/263 86735
/proc/meminfo: memFree=120128292/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=760408 memory=562472 CPUtime=281.31 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 144431 0 0 0 28105 26 0 0 20 0 1 0 77071677 778657792 140618 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 190102 140618 3840 3530 0 181553 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 760408 KiB
Current children cumulated memory: 562472 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.51 2.75 5/264 86740
/proc/meminfo: memFree=119904364/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=963504 memory=770816 CPUtime=341.08 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 217829 0 0 0 34070 38 0 0 20 0 1 0 77071677 986628096 192704 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 240876 192704 3872 3530 0 232327 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 963504 KiB
Current children cumulated memory: 770816 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.63 2.84 5/263 86742
/proc/meminfo: memFree=119903748/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=963504 memory=771712 CPUtime=400.87 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 218146 0 0 0 40049 38 0 0 20 0 1 0 77071677 986628096 192928 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 240876 192928 3872 3530 0 232327 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 963504 KiB
Current children cumulated memory: 771712 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.71 2.92 5/263 86744
/proc/meminfo: memFree=119785048/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=963504 memory=771712 CPUtime=460.67 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 218146 0 0 0 46028 39 0 0 20 0 1 0 77071677 986628096 192928 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 240876 192928 3872 3530 0 232327 0

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

Current children cumulated memory: 1600924 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.18 4.10 5/263 86888
/proc/meminfo: memFree=116859072/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1801348 memory=1600924 CPUtime=3211.42 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 488409 0 0 0 321058 84 0 0 20 0 1 0 77071677 1844580352 400231 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 450337 400231 3936 3530 0 441788 0
Current children cumulated CPU time: 3211.42 s
Current children cumulated vsize: 1801348 KiB
Current children cumulated memory: 1600924 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.16 4.10 5/263 86890
/proc/meminfo: memFree=116831424/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1801348 memory=1600924 CPUtime=3271.22 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 488435 0 0 0 327038 84 0 0 20 0 1 0 77071677 1844580352 400231 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 450337 400231 3936 3530 0 441788 0
Current children cumulated CPU time: 3271.22 s
Current children cumulated vsize: 1801348 KiB
Current children cumulated memory: 1600924 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/262 86894
/proc/meminfo: memFree=116783244/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1801348 memory=1600924 CPUtime=3331.02 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 488435 0 0 0 333018 84 0 0 20 0 1 0 77071677 1844580352 400231 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 450337 400231 3936 3530 0 441788 0
Current children cumulated CPU time: 3331.02 s
Current children cumulated vsize: 1801348 KiB
Current children cumulated memory: 1600924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/263 86897
/proc/meminfo: memFree=115568228/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1801348 memory=1601180 CPUtime=3390.82 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 488474 0 0 0 338998 84 0 0 20 0 1 0 77071677 1844580352 400295 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 450337 400295 3936 3530 0 441788 0
Current children cumulated CPU time: 3390.82 s
Current children cumulated vsize: 1801348 KiB
Current children cumulated memory: 1601180 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/263 86899
/proc/meminfo: memFree=115629336/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1801348 memory=1601180 CPUtime=3450.63 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 488474 0 0 0 344979 84 0 0 20 0 1 0 77071677 1844580352 400295 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 450337 400295 3936 3530 0 441788 0
Current children cumulated CPU time: 3450.63 s
Current children cumulated vsize: 1801348 KiB
Current children cumulated memory: 1601180 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/264 86906
/proc/meminfo: memFree=115592972/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1813276 memory=1604892 CPUtime=3510.43 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 489420 0 0 0 350959 84 0 0 20 0 1 0 77071677 1856794624 401223 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 453319 401223 3936 3530 0 444770 0
Current children cumulated CPU time: 3510.43 s
Current children cumulated vsize: 1813276 KiB
Current children cumulated memory: 1604892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 87179
/proc/meminfo: memFree=125046668/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1840988 memory=1621276 CPUtime=3570.23 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 493529 0 0 0 356938 85 0 0 20 0 1 0 77071677 1885171712 405319 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 460247 405319 3936 3530 0 451698 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 1840988 KiB
Current children cumulated memory: 1621276 KiB

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

# cumulated CPU time of all completed processes:  user=3584.7 s, system=0.937896 s

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

[startup+3584 s]*
/proc/loadavg: 4.03 4.10 4.08 5/263 87193
/proc/meminfo: memFree=125015580/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1840988 memory=1621276 CPUtime=3571.93 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 493529 0 0 0 357108 85 0 0 20 0 1 0 77071677 1885171712 405319 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 460247 405319 3936 3530 0 451698 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 1840988 KiB
Current children cumulated memory: 1621276 KiB

[startup+3590.4 s]
/proc/loadavg: 4.03 4.10 4.08 4/262 87373
/proc/meminfo: memFree=124821748/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1844292 memory=1621788 CPUtime=3578.3 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 493648 0 0 0 357745 85 0 0 20 0 1 0 77071677 1888555008 405447 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 461073 405447 3936 3530 0 452524 0
Current children cumulated CPU time: 3578.3 s
Current children cumulated vsize: 1844292 KiB
Current children cumulated memory: 1621788 KiB

[startup+3593.6 s]
/proc/loadavg: 4.03 4.10 4.08 5/260 87502
/proc/meminfo: memFree=124818940/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1844292 memory=1622172 CPUtime=3581.48 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 493672 0 0 0 358063 85 0 0 20 0 1 0 77071677 1888555008 405543 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 461073 405543 3936 3530 0 452524 0
Current children cumulated CPU time: 3581.48 s
Current children cumulated vsize: 1844292 KiB
Current children cumulated memory: 1622172 KiB

[startup+3595.2 s]
/proc/loadavg: 4.03 4.09 4.08 4/261 87553
/proc/meminfo: memFree=124826368/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1844292 memory=1622172 CPUtime=3583.08 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 493672 0 0 0 358223 85 0 0 20 0 1 0 77071677 1888555008 405543 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 461073 405543 3936 3530 0 452524 0
Current children cumulated CPU time: 3583.08 s
Current children cumulated vsize: 1844292 KiB
Current children cumulated memory: 1622172 KiB

[startup+3596.8 s]
/proc/loadavg: 4.03 4.09 4.08 4/260 87592
/proc/meminfo: memFree=124821428/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1844292 memory=1622172 CPUtime=3584.67 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 493672 0 0 0 358382 85 0 0 20 0 1 0 77071677 1888555008 405543 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 461073 405543 3936 3530 0 452524 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 1844292 KiB
Current children cumulated memory: 1622172 KiB

[startup+3597.2 s]
/proc/loadavg: 4.03 4.09 4.08 5/260 87620
/proc/meminfo: memFree=124846156/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1844292 memory=1622172 CPUtime=3585.07 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 493676 0 0 0 358422 85 0 0 20 0 1 0 77071677 1888555008 405543 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 461073 405543 3936 3530 0 452524 0
Current children cumulated CPU time: 3585.07 s
Current children cumulated vsize: 1844292 KiB
Current children cumulated memory: 1622172 KiB

[startup+3597.6 s]
/proc/loadavg: 4.03 4.09 4.08 5/260 87620
/proc/meminfo: memFree=124846156/131249992 swapFree=33009392/33010684
[pid=86723] ppid=86720 vsize=1821388 memory=1599308 CPUtime=3585.47 cores=1,3
/proc/86723/stat : 86723 (pbscip) R 86720 86723 86331 0 -1 4194304 493676 0 0 0 358462 85 0 0 20 0 1 0 77071677 1865101312 399827 18446744073709551615 4235264 18693293 140732095017632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45391872 140732095019399 140732095019498 140732095019498 140732095025102 0
/proc/86723/statm: 455347 399827 3936 3530 0 446798 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 1821388 KiB
Current children cumulated memory: 1599308 KiB

[startup+3597.7 s]*
/proc/loadavg: 4.03 4.09 4.08 4/260 87637
/proc/meminfo: memFree=125147708/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3597.76
CPU time (s): 3585.64
CPU user time (s): 3584.7
CPU system time (s): 0.937896
CPU usage (%): 99.6631
Max. virtual memory (cumulated for all children) (KiB): 1844292
Max. memory (cumulated for all children) (KiB): 1622172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.7
system time used= 0.937896
maximum resident set size= 1622172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493683
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= 83
involuntary context switches= 1650


# summary of solver processes directly reported to runsolver:
#   pid: 86723
#   total CPU time (s): 3585.64
#   total CPU user time (s): 3584.7
#   total CPU system time (s): 0.937896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99057 second user time and 15.6812 second system time

The end

Begin job on nodeC035 at 2025-07-04 09:26:11
IDJOB=4524535
IDBENCH=143124
IDSOLVER=3382
FILE ID=nodeC035/4524535-1751613971
RUNJOBID= nodeC035-1751613946-86621
SLURM_JOB_ID= 9598906
Free space on /tmp= 432744 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524535-1751613971/watcher-4524535-1751613971 -o /tmp/evaluation-result-4524535-1751613971/solver-4524535-1751613971 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751613946-86621 --watchdog 3760  pbscip -f HOME/instance-4524535-1751613971.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 29a909fe8202c150694f0c306156f7e8
RANDOM SEED=683581018

nodeC035 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.750
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.51
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.987
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.51
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		: 3604.217
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.51
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		: 3597.436
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.51
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.955
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.51
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		: 3599.692
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.51
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		: 3700.000
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.51
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		: 3610.766
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        120437772 kB
MemAvailable:   123112188 kB
Buffers:             664 kB
Cached:          3424776 kB
SwapCached:          332 kB
Active:          6535216 kB
Inactive:        3122428 kB
Active(anon):    6228852 kB
Inactive(anon):    21052 kB
Active(file):     306364 kB
Inactive(file):  3101376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19456 kB
Writeback:             8 kB
AnonPages:       6233376 kB
Mapped:           136128 kB
Shmem:             17700 kB
KReclaimable:     211828 kB
Slab:             303108 kB
SReclaimable:     211828 kB
SUnreclaim:        91280 kB
KernelStack:        4304 kB
PageTables:        15636 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7133688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    940032 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432740 MiB
End job on nodeC035 at 2025-07-04 10:26:09