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

OK	412

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: 63968 MiB (62987 MiB free)
  memory of node 1: 64473 MiB (63401 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434669-1721086013/watcher-4434669-1721086013 -o /tmp/evaluation-result-4434669-1721086013/solver-4434669-1721086013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843390 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434669-1721086013.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=845479, runsolver pid=845474

[startup+0.10047 s]*
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=129339824/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=64848 memory=52144 CPUtime=0.09 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 10984 0 0 0 8 1 0 0 20 0 1 0 160763784 66404352 13036 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 16212 13036 2318 3032 0 12612 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64848 KiB
Current children cumulated memory: 52144 KiB

[startup+0.205892 s]*
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=129275040/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=95348 memory=83160 CPUtime=0.2 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 18686 0 0 0 17 3 0 0 20 0 1 0 160763784 97636352 20790 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 23837 20790 2318 3032 0 20237 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95348 KiB
Current children cumulated memory: 83160 KiB

[startup+0.305841 s]*
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=129218088/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=123460 memory=111148 CPUtime=0.29 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 25723 0 0 0 26 3 0 0 20 0 1 0 160763784 126423040 27787 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 30865 27787 2318 3032 0 27265 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123460 KiB
Current children cumulated memory: 111148 KiB

[startup+0.700232 s]
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=129055176/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=237312 memory=224628 CPUtime=0.69 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 53589 0 0 0 62 7 0 0 20 0 1 0 160763784 243007488 56157 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 59328 56157 2318 3032 0 55728 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 237312 KiB
Current children cumulated memory: 224628 KiB

[startup+1.50023 s]
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=128672440/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=550816 memory=539008 CPUtime=1.48 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 129935 0 0 0 131 17 0 0 20 0 1 0 160763784 564035584 134752 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 137704 134752 2558 3032 0 134104 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 550816 KiB
Current children cumulated memory: 539008 KiB

[startup+3.10575 s]
/proc/loadavg: 4.18 4.13 4.10 6/261 845484
/proc/meminfo: memFree=127516224/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=841132 memory=827644 CPUtime=3.09 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 194369 0 0 0 282 27 0 0 20 0 1 0 160763784 861319168 206911 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 210283 206911 2606 3032 0 206683 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 841132 KiB
Current children cumulated memory: 827644 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.13 4.10 6/261 845484
/proc/meminfo: memFree=126895188/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=1226720 memory=1209136 CPUtime=6.28 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 227434 0 0 0 587 41 0 0 20 0 1 0 160763784 1256161280 302284 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 306680 302284 2654 3032 0 303080 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1226720 KiB
Current children cumulated memory: 1209136 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 6/261 845485
/proc/meminfo: memFree=126696036/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=1256872 memory=1237988 CPUtime=12.65 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 289397 0 0 0 1214 51 0 0 20 0 1 0 160763784 1287036928 309497 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 314218 309497 2702 3032 0 310618 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1256872 KiB
Current children cumulated memory: 1237988 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 6/262 845489
/proc/meminfo: memFree=123453344/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=3327064 memory=2985388 CPUtime=25.4 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 359799 0 0 0 2451 89 0 0 20 0 2 0 160763784 3406913536 746347 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 831766 746347 2766 3032 0 811814 0
[pid=845479/tid=845489] ppid=845474 vsize=3327064 memory=0 CPUtime=0 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) S 845474 845479 843378 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 160766281 3406913536 746347 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3327064 KiB
Current children cumulated memory: 2985388 KiB

[startup+51.1065 s]
/proc/loadavg: 4.08 4.11 4.09 7/265 845495
/proc/meminfo: memFree=117904460/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=6310300 memory=5675224 CPUtime=50.75 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 783552 0 0 0 4891 184 0 0 20 0 3 0 160763784 6461747200 1418806 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 1577575 1418806 2782 3032 0 1550061 0
[pid=845479/tid=845489] ppid=845474 vsize=6310300 memory=5499444 CPUtime=24.77 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 397094 0 0 0 2387 90 0 0 20 0 3 0 160766281 6461747200 1418806 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=6310300 memory=12304 CPUtime=0 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 160766480 6461747200 1418806 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 6310300 KiB
Current children cumulated memory: 5675224 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.15 4.10 6/267 845675
/proc/meminfo: memFree=116714628/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=6729180 memory=6105284 CPUtime=101.41 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 993656 0 0 0 9927 214 0 0 20 0 3 0 160763784 6890680320 1526321 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 1682295 1526321 2974 3032 0 1659572 0
[pid=845479/tid=845489] ppid=845474 vsize=6729180 memory=6105284 CPUtime=75.42 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 605722 0 0 0 7423 119 0 0 20 0 3 0 160766281 6890680320 1526321 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=6729180 memory=6105284 CPUtime=0 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 160766480 6890680320 1526321 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 101.41 s
Current children cumulated vsize: 6729180 KiB
Current children cumulated memory: 6105284 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 6/267 845685
/proc/meminfo: memFree=116506636/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=6909096 memory=6164260 CPUtime=160.76 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 1185776 0 0 0 15844 232 0 0 20 0 3 0 160763784 7074914304 1541065 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 1727274 1541065 2974 3032 0 1698413 0
[pid=845479/tid=845489] ppid=845474 vsize=6909096 memory=12304 CPUtime=134.77 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 797830 0 0 0 13339 138 0 0 20 0 3 0 160766281 7074914304 1541065 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=6909096 memory=6164260 CPUtime=0 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 160766480 7074914304 1541065 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 160.76 s
Current children cumulated vsize: 6909096 KiB
Current children cumulated memory: 6164260 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 7/270 845755
/proc/meminfo: memFree=116467680/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=6973248 memory=6182740 CPUtime=220.09 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 1351495 0 0 0 21759 250 0 0 20 0 3 0 160763784 7140605952 1545685 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 1743312 1545685 2974 3032 0 1718428 0
[pid=845479/tid=845489] ppid=845474 vsize=6973248 memory=6182740 CPUtime=194.1 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 963538 0 0 0 19255 155 0 0 20 0 3 0 160766281 7140605952 1545685 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=6973248 memory=6182740 CPUtime=0 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 160766480 7140605952 1545685 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 220.09 s
Current children cumulated vsize: 6973248 KiB
Current children cumulated memory: 6182740 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.13 4.10 6/268 845765
/proc/meminfo: memFree=116424432/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=7063636 memory=6211544 CPUtime=279.43 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 1528184 0 0 0 27676 267 0 0 20 0 3 0 160763784 7233163264 1552886 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 1765909 1552886 2974 3032 0 1741025 0
[pid=845479/tid=845489] ppid=845474 vsize=7063636 memory=6182740 CPUtime=253.43 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 1140212 0 0 0 25171 172 0 0 20 0 3 0 160766281 7233163264 1552886 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=7063636 memory=8029470000448889176 CPUtime=0 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 160766480 7233163264 1552886 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 279.43 s
Current children cumulated vsize: 7063636 KiB
Current children cumulated memory: 6211544 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/267 845775
/proc/meminfo: memFree=116423088/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=7125224 memory=6211548 CPUtime=338.76 cores=1,3

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

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.10 6/264 846901
/proc/meminfo: memFree=114813680/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3378.53 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 9370239 0 0 0 336856 997 0 0 20 0 3 0 160763784 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 2381407 1737895 2974 3032 0 2355833 0
[pid=845479/tid=845489] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3352.47 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 8977786 0 0 0 334349 898 0 0 20 0 3 0 160766281 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=9525628 memory=6951580 CPUtime=0.04 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 644 0 0 0 1 3 0 0 20 0 3 0 160766480 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 3378.53 s
Current children cumulated vsize: 9525628 KiB
Current children cumulated memory: 6951580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.10 6/264 846914
/proc/meminfo: memFree=114812744/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3438.23 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 9493986 0 0 0 342806 1017 0 0 20 0 3 0 160763784 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 2381407 1737895 2974 3032 0 2355833 0
[pid=845479/tid=845489] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3412.18 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 9101521 0 0 0 340300 918 0 0 20 0 3 0 160766281 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=9525628 memory=12304 CPUtime=0.04 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 656 0 0 0 1 3 0 0 20 0 3 0 160766480 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 3438.23 s
Current children cumulated vsize: 9525628 KiB
Current children cumulated memory: 6951580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/264 847309
/proc/meminfo: memFree=114807752/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3497.93 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 9550480 0 0 0 348760 1033 0 0 20 0 3 0 160763784 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 2381407 1737895 2974 3032 0 2355833 0
[pid=845479/tid=845489] ppid=845474 vsize=9525628 memory=5628 CPUtime=3471.87 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 9158003 0 0 0 346253 934 0 0 20 0 3 0 160766281 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=9525628 memory=6951580 CPUtime=0.04 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 668 0 0 0 1 3 0 0 20 0 3 0 160766480 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 3497.93 s
Current children cumulated vsize: 9525628 KiB
Current children cumulated memory: 6951580 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/264 847319
/proc/meminfo: memFree=114805012/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3557.62 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 9665654 0 0 0 354716 1046 0 0 20 0 3 0 160763784 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 2381407 1737895 2974 3032 0 2355833 0
[pid=845479/tid=845489] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3531.57 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 9273165 0 0 0 352210 947 0 0 20 0 3 0 160766281 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=9525628 memory=12304 CPUtime=0.05 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 680 0 0 0 2 3 0 0 20 0 3 0 160766480 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 3557.62 s
Current children cumulated vsize: 9525628 KiB
Current children cumulated memory: 6951580 KiB

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

# cumulated CPU time of all completed processes:  user=3568.37 s, system=10.8389 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 6/264 847319
/proc/meminfo: memFree=114805004/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3559.33 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 9667720 0 0 0 354886 1047 0 0 20 0 3 0 160763784 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 2381407 1737895 2974 3032 0 2355833 0
[pid=845479/tid=845489] ppid=845474 vsize=9525628 memory=11532 CPUtime=3533.27 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 9275231 0 0 0 352379 948 0 0 20 0 3 0 160766281 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=9525628 memory=13124 CPUtime=0.05 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 680 0 0 0 2 3 0 0 20 0 3 0 160766480 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 3559.33 s
Current children cumulated vsize: 9525628 KiB
Current children cumulated memory: 6951580 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3572.06 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 9783256 0 0 0 356153 1053 0 0 20 0 3 0 160763784 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 2381407 1737895 2974 3032 0 2355833 0
[pid=845479/tid=845489] ppid=845474 vsize=9525628 memory=43432 CPUtime=3546 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 9390730 0 0 0 353646 954 0 0 20 0 3 0 160766281 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=9525628 memory=6951580 CPUtime=0.05 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 680 0 0 0 2 3 0 0 20 0 3 0 160766480 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 9525628 KiB
Current children cumulated memory: 6951580 KiB

[startup+3600 s]*
/proc/loadavg: 4.10 4.09 4.09 6/264 847320
/proc/meminfo: memFree=114807312/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3575.25 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 9783325 0 0 0 356472 1053 0 0 20 0 3 0 160763784 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 2381407 1737895 2974 3032 0 2355833 0
[pid=845479/tid=845489] ppid=845474 vsize=9525628 memory=6720663259617508968 CPUtime=3549.19 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 9390799 0 0 0 353965 954 0 0 20 0 3 0 160766281 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=9525628 memory=-7233475509502830205 CPUtime=0.05 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 680 0 0 0 2 3 0 0 20 0 3 0 160766480 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 3575.25 s
Current children cumulated vsize: 9525628 KiB
Current children cumulated memory: 6951580 KiB

[startup+3601.6 s]
/proc/loadavg: 4.10 4.09 4.09 7/260 847412
/proc/meminfo: memFree=115251852/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=9525628 memory=6951580 CPUtime=3576.84 cores=1,3
/proc/845479/stat : 845479 (fscip) S 845474 845479 843378 0 -1 1077936128 9946249 0 0 0 356622 1062 0 0 20 0 3 0 160763784 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 2381407 1737895 2974 3032 0 2355833 0
[pid=845479/tid=845489] ppid=845474 vsize=9525628 memory=12304 CPUtime=3550.78 cores=1,3
/proc/845479/task/845489/stat : 845489 (fscip) R 845474 845479 843378 0 -1 4194368 9553714 0 0 0 354115 963 0 0 20 0 3 0 160766281 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
[pid=845479/tid=845491] ppid=845474 vsize=9525628 memory=13124 CPUtime=0.05 cores=1,3
/proc/845479/task/845491/stat : 845491 (fscip) S 845474 845479 843378 0 -1 1077936192 680 0 0 0 2 3 0 0 20 0 3 0 160766480 9754243072 1737895 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
Current children cumulated CPU time: 3576.84 s
Current children cumulated vsize: 9525628 KiB
Current children cumulated memory: 6951580 KiB

[startup+3603.2 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 847414
/proc/meminfo: memFree=117940832/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=5599700 memory=5206260 CPUtime=3578.43 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 10103631 0 0 0 356772 1071 0 0 20 0 1 0 160763784 5734092800 1301565 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 1399925 1301565 2974 3032 0 1375794 0
Current children cumulated CPU time: 3578.43 s
Current children cumulated vsize: 5599700 KiB
Current children cumulated memory: 5206260 KiB

[startup+3603.6 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 847414
/proc/meminfo: memFree=117940832/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=5594252 memory=5201124 CPUtime=3578.83 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 10119045 0 0 0 356811 1072 0 0 20 0 1 0 160763784 5728514048 1300281 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 1398563 1300281 2974 3032 0 1374432 0
Current children cumulated CPU time: 3578.83 s
Current children cumulated vsize: 5594252 KiB
Current children cumulated memory: 5201124 KiB

[startup+3603.8 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 847414
/proc/meminfo: memFree=117940832/131524600 swapFree=131071996/131071996
[pid=845479] ppid=845474 vsize=5401748 memory=5008936 CPUtime=3579.03 cores=1,3
/proc/845479/stat : 845479 (fscip) R 845474 845479 843378 0 -1 4194304 10130181 0 0 0 356829 1074 0 0 20 0 1 0 160763784 5531389952 1252234 134679101440 4194304 16613245 140723124260176 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 48934912 140723124261909 140723124262025 140723124262025 140723124269040 0
/proc/845479/statm: 1350437 1252234 2974 3032 0 1326306 0
Current children cumulated CPU time: 3579.03 s
Current children cumulated vsize: 5401748 KiB
Current children cumulated memory: 5008936 KiB

[startup+3603.9 s]*
/proc/loadavg: 4.10 4.09 4.09 5/254 847428
/proc/meminfo: memFree=124143252/131524600 swapFree=131071996/131071996
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): 3603.98
CPU time (s): 3579.21
CPU user time (s): 3568.37
CPU system time (s): 10.8389
CPU usage (%): 99.3127
Max. virtual memory (cumulated for all children) (KiB): 9525628
Max. memory (cumulated for all children) (KiB): 6951580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.37
system time used= 10.8389
maximum resident set size= 6953432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10132338
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= 3766
involuntary context switches= 19455


# summary of solver processes directly reported to runsolver:
#   pid: 845479
#   total CPU time (s): 3579.21
#   total CPU user time (s): 3568.37
#   total CPU system time (s): 10.8389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12267 second user time and 19.1162 second system time

The end

Begin job on nodeC018 at 2024-07-16 01:27:06
IDJOB=4434669
IDBENCH=147553
IDSOLVER=3064
FILE ID=nodeC018/4434669-1721086013
RUNJOBID= nodeC018-1721082425-843390
SLURM_JOB_ID= 7505562
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434669-1721086013/watcher-4434669-1721086013 -o /tmp/evaluation-result-4434669-1721086013/solver-4434669-1721086013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843390 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434669-1721086013.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e
RANDOM SEED=1653812845

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129422856 kB
MemAvailable:   129743288 kB
Buffers:          372692 kB
Cached:           789504 kB
SwapCached:            0 kB
Active:           667144 kB
Inactive:         851488 kB
Active(anon):       1520 kB
Inactive(anon):   392628 kB
Active(file):     665624 kB
Inactive(file):   458860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            146712 kB
Writeback:             0 kB
AnonPages:        354672 kB
Mapped:           129200 kB
Shmem:             37720 kB
KReclaimable:      71544 kB
Slab:             177324 kB
SReclaimable:      71544 kB
SUnreclaim:       105780 kB
KernelStack:        4064 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     692672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    16318464 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889844 MiB
End job on nodeC018 at 2024-07-16 02:27:10