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

OK	346

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=819253, runsolver pid=819250
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.19 4.15 4.10 6/244 819254
/proc/meminfo: memFree=128257584/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=43828 memory=32364 CPUtime=0.09 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 6009 0 0 0 8 1 0 0 20 0 1 0 161011033 44879872 8091 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 10957 8091 2318 3032 0 7357 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43828 KiB
Current children cumulated memory: 32364 KiB

[startup+0.209397 s]*
/proc/loadavg: 4.19 4.15 4.10 6/244 819254
/proc/meminfo: memFree=128149672/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=57308 memory=45564 CPUtime=0.21 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 9318 0 0 0 18 3 0 0 20 0 1 0 161011033 58683392 11391 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 14327 11391 2318 3032 0 10727 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57308 KiB
Current children cumulated memory: 45564 KiB

[startup+0.309052 s]*
/proc/loadavg: 4.19 4.15 4.10 5/244 819254
/proc/meminfo: memFree=128051368/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=69580 memory=57220 CPUtime=0.3 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 12258 0 0 0 26 4 0 0 20 0 1 0 161011033 71249920 14305 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 17395 14305 2318 3032 0 13795 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69580 KiB
Current children cumulated memory: 57220 KiB

[startup+0.700347 s]
/proc/loadavg: 4.19 4.15 4.10 5/244 819254
/proc/meminfo: memFree=127856264/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=125648 memory=113528 CPUtime=0.69 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 26285 0 0 0 61 8 0 0 20 0 1 0 161011033 128663552 28382 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 31412 28382 2318 3032 0 27812 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 125648 KiB
Current children cumulated memory: 113528 KiB

[startup+1.50033 s]
/proc/loadavg: 4.19 4.15 4.10 5/244 819254
/proc/meminfo: memFree=127241448/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=281220 memory=268480 CPUtime=1.48 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 62470 0 0 0 134 14 0 0 20 0 1 0 161011033 287969280 67120 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 70305 67120 2318 3032 0 66705 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 281220 KiB
Current children cumulated memory: 268480 KiB

[startup+3.11373 s]
/proc/loadavg: 4.25 4.17 4.11 5/244 819254
/proc/meminfo: memFree=125378972/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=830328 memory=816864 CPUtime=3.1 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 191134 0 0 0 275 35 0 0 20 0 1 0 161011033 850255872 204216 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 207582 204216 2606 3032 0 203982 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 830328 KiB
Current children cumulated memory: 816864 KiB

[startup+6.3003 s]
/proc/loadavg: 4.25 4.17 4.11 5/244 819254
/proc/meminfo: memFree=124167292/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=983404 memory=920128 CPUtime=6.28 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 205786 0 0 0 589 39 0 0 20 0 1 0 161011033 1007005696 230032 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 245851 230032 2606 3032 0 242251 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 983404 KiB
Current children cumulated memory: 920128 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.16 4.11 5/244 819256
/proc/meminfo: memFree=123740080/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=1256872 memory=1233636 CPUtime=12.66 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 286738 0 0 0 1205 61 0 0 20 0 1 0 161011033 1287036928 308409 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 314218 308409 2686 3032 0 310618 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1256872 KiB
Current children cumulated memory: 1233636 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.16 4.10 5/243 819257
/proc/meminfo: memFree=117627916/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=2945860 memory=2677108 CPUtime=25.41 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 294612 0 0 0 2452 89 0 0 20 0 1 0 161011033 3016560640 669277 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 736465 669277 2734 3032 0 732865 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2945860 KiB
Current children cumulated memory: 2677108 KiB

[startup+51.1129 s]
/proc/loadavg: 4.26 4.18 4.11 5/251 819270
/proc/meminfo: memFree=107049260/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=5720468 memory=5103280 CPUtime=50.92 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 704925 0 0 0 4904 188 0 0 20 0 3 0 161011033 5857759232 1275820 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1430117 1275820 2782 3032 0 1407637 0
[pid=819253/tid=819261] ppid=819250 vsize=5720468 memory=4019732 CPUtime=23.55 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 321660 0 0 0 2272 83 0 0 20 0 3 0 161013666 5857759232 1275820 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=5720468 memory=11408 CPUtime=0 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 161013914 5857759232 1275820 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 5720468 KiB
Current children cumulated memory: 5103280 KiB

[startup+102.301 s]
/proc/loadavg: 4.16 4.16 4.11 5/254 819284
/proc/meminfo: memFree=104230064/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=6729180 memory=6102536 CPUtime=101.82 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 1012174 0 0 0 9950 232 0 0 20 0 3 0 161011033 6890680320 1525634 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1682295 1525634 2974 3032 0 1659583 0
[pid=819253/tid=819261] ppid=819250 vsize=6729180 memory=11408 CPUtime=74.45 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 627421 0 0 0 7318 127 0 0 20 0 3 0 161013666 6890680320 1525634 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=6729180 memory=2677108 CPUtime=0 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 161013914 6890680320 1525634 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 6729180 KiB
Current children cumulated memory: 6102536 KiB

[startup+162.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/254 819294
/proc/meminfo: memFree=103992180/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=6911660 memory=6164088 CPUtime=161.52 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 1210676 0 0 0 15900 252 0 0 20 0 3 0 161011033 7077539840 1541022 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1727915 1541022 2974 3032 0 1699065 0
[pid=819253/tid=819261] ppid=819250 vsize=6911660 memory=11408 CPUtime=134.14 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 825908 0 0 0 13268 146 0 0 20 0 3 0 161013666 7077539840 1541022 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=6911660 memory=6164088 CPUtime=0 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 161013914 7077539840 1541022 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 6911660 KiB
Current children cumulated memory: 6164088 KiB

[startup+222.3 s]
/proc/loadavg: 4.71 4.34 4.18 5/254 819305
/proc/meminfo: memFree=103886836/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=6973248 memory=6174360 CPUtime=221.22 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 1374636 0 0 0 21853 269 0 0 20 0 3 0 161011033 7140605952 1543590 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1743312 1543590 2974 3032 0 1717028 0
[pid=819253/tid=819261] ppid=819250 vsize=6973248 memory=6164088 CPUtime=193.84 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 989856 0 0 0 19221 163 0 0 20 0 3 0 161013666 7140605952 1543590 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=6973248 memory=11408 CPUtime=0 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 161013914 7140605952 1543590 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 221.22 s
Current children cumulated vsize: 6973248 KiB
Current children cumulated memory: 6174360 KiB

[startup+282.3 s]
/proc/loadavg: 4.32 4.29 4.17 5/254 819315
/proc/meminfo: memFree=103876048/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=6973248 memory=6174360 CPUtime=280.94 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 1442304 0 0 0 27812 282 0 0 20 0 3 0 161011033 7140605952 1543590 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1743312 1543590 2974 3032 0 1717028 0
[pid=819253/tid=819261] ppid=819250 vsize=6973248 memory=41132 CPUtime=253.56 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 1057513 0 0 0 25180 176 0 0 20 0 3 0 161013666 7140605952 1543590 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=6973248 memory=41132 CPUtime=0 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 161013914 7140605952 1543590 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 280.94 s
Current children cumulated vsize: 6973248 KiB
Current children cumulated memory: 6174360 KiB

[startup+342.3 s]
/proc/loadavg: 4.45 4.32 4.19 5/253 819326
/proc/meminfo: memFree=103833860/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=7063636 memory=6203176 CPUtime=340.63 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 1608259 0 0 0 33764 299 0 0 20 0 3 0 161011033 7233163264 1550794 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1765909 1550794 2974 3032 0 1739625 0

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

[pid=819253] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3388.55 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 9765634 0 0 0 337843 1012 0 0 20 0 3 0 161011033 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 2302881 1731866 2974 3032 0 2274813 0
[pid=819253/tid=819261] ppid=819250 vsize=9211524 memory=6927460 CPUtime=3361.09 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 9377973 0 0 0 335209 900 0 0 20 0 3 0 161013666 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=9211524 memory=11408 CPUtime=0.07 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 646 0 0 0 2 5 0 0 20 0 3 0 161013914 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 3388.55 s
Current children cumulated vsize: 9211524 KiB
Current children cumulated memory: 6927464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/251 821072
/proc/meminfo: memFree=100805044/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3448.33 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 9884506 0 0 0 343808 1025 0 0 20 0 3 0 161011033 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 2302881 1731866 2974 3032 0 2274813 0
[pid=819253/tid=819261] ppid=819250 vsize=9211524 memory=6927460 CPUtime=3420.87 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 9496836 0 0 0 341174 913 0 0 20 0 3 0 161013666 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=9211524 memory=6927464 CPUtime=0.07 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 655 0 0 0 2 5 0 0 20 0 3 0 161013914 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 3448.33 s
Current children cumulated vsize: 9211524 KiB
Current children cumulated memory: 6927464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/251 821082
/proc/meminfo: memFree=100805252/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3508.11 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 10007111 0 0 0 349771 1040 0 0 20 0 3 0 161011033 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 2302881 1731866 2974 3032 0 2274813 0
[pid=819253/tid=819261] ppid=819250 vsize=9211524 memory=5620 CPUtime=3480.65 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 9619429 0 0 0 347137 928 0 0 20 0 3 0 161013666 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=9211524 memory=11408 CPUtime=0.07 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 667 0 0 0 2 5 0 0 20 0 3 0 161013914 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 3508.11 s
Current children cumulated vsize: 9211524 KiB
Current children cumulated memory: 6927464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/251 821092
/proc/meminfo: memFree=100716676/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3567.89 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 10219944 0 0 0 355732 1057 0 0 20 0 3 0 161011033 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 2302881 1731866 2974 3032 0 2274813 0
[pid=819253/tid=819261] ppid=819250 vsize=9211524 memory=5524 CPUtime=3540.42 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 9832218 0 0 0 353098 944 0 0 20 0 3 0 161013666 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=9211524 memory=12724 CPUtime=0.07 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 679 0 0 0 2 5 0 0 20 0 3 0 161013914 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 3567.89 s
Current children cumulated vsize: 9211524 KiB
Current children cumulated memory: 6927464 KiB

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

# cumulated CPU time of all completed processes:  user=3579.06 s, system=11.0217 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.11 5/251 821092
/proc/meminfo: memFree=100716664/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3569.6 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 10220216 0 0 0 355903 1057 0 0 20 0 3 0 161011033 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 2302881 1731866 2974 3032 0 2274813 0
[pid=819253/tid=819261] ppid=819250 vsize=9211524 memory=28964 CPUtime=3542.12 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 9832490 0 0 0 353268 944 0 0 20 0 3 0 161013666 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=9211524 memory=-5155634780447454526 CPUtime=0.07 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 679 0 0 0 2 5 0 0 20 0 3 0 161013914 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 3569.6 s
Current children cumulated vsize: 9211524 KiB
Current children cumulated memory: 6927464 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.11 5/251 821095
/proc/meminfo: memFree=100716816/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3582.33 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 10225651 0 0 0 357175 1058 0 0 20 0 3 0 161011033 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 2302881 1731866 2974 3032 0 2274813 0
[pid=819253/tid=819261] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3554.86 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 9837925 0 0 0 354541 945 0 0 20 0 3 0 161013666 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=9211524 memory=5620 CPUtime=0.07 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 679 0 0 0 2 5 0 0 20 0 3 0 161013914 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 3582.33 s
Current children cumulated vsize: 9211524 KiB
Current children cumulated memory: 6927464 KiB

[startup+3600 s]*
/proc/loadavg: 4.10 4.11 4.10 5/251 821096
/proc/meminfo: memFree=100716800/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3585.54 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 10235206 0 0 0 357495 1059 0 0 20 0 3 0 161011033 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 2302881 1731866 2974 3032 0 2274813 0
[pid=819253/tid=819261] ppid=819250 vsize=9211524 memory=-5155634780447454526 CPUtime=3558.06 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 9847727 0 0 0 354860 946 0 0 20 0 3 0 161013666 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=9211524 memory=7928 CPUtime=0.07 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 679 0 0 0 2 5 0 0 20 0 3 0 161013914 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 9211524 KiB
Current children cumulated memory: 6927464 KiB

[startup+3601.6 s]
/proc/loadavg: 4.10 4.11 4.10 5/251 821096
/proc/meminfo: memFree=100716784/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=9211524 memory=6927464 CPUtime=3587.12 cores=4,6
/proc/819253/stat : 819253 (fscip) S 819250 819253 814844 0 -1 1077936128 10447818 0 0 0 357643 1069 0 0 20 0 3 0 161011033 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 2302881 1731866 2974 3032 0 2274813 0
[pid=819253/tid=819261] ppid=819250 vsize=9211524 memory=12724 CPUtime=3559.65 cores=4,6
/proc/819253/task/819261/stat : 819261 (fscip) R 819250 819253 814844 0 -1 4194368 10060060 0 0 0 355009 956 0 0 20 0 3 0 161013666 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
[pid=819253/tid=819267] ppid=819250 vsize=9211524 memory=6720659952459397995 CPUtime=0.07 cores=4,6
/proc/819253/task/819267/stat : 819267 (fscip) S 819250 819253 814844 0 -1 1077936192 679 0 0 0 2 5 0 0 20 0 3 0 161013914 9432600576 1731866 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 9211524 KiB
Current children cumulated memory: 6927464 KiB

[startup+3603.2 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 821096
/proc/meminfo: memFree=107485260/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=5724652 memory=5262876 CPUtime=3588.7 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 10592222 0 0 0 357782 1088 0 0 20 0 1 0 161011033 5862043648 1315719 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1431163 1315719 2974 3032 0 1391897 0
Current children cumulated CPU time: 3588.7 s
Current children cumulated vsize: 5724652 KiB
Current children cumulated memory: 5262876 KiB

[startup+3604 s]*
/proc/loadavg: 4.09 4.11 4.10 4/238 821100
/proc/meminfo: memFree=117970588/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=5724652 memory=5262876 CPUtime=3589.5 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 10607070 0 0 0 357861 1089 0 0 20 0 1 0 161011033 5862043648 1315719 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1431163 1315719 2974 3032 0 1391897 0
Current children cumulated CPU time: 3589.5 s
Current children cumulated vsize: 5724652 KiB
Current children cumulated memory: 5262876 KiB

[startup+3604.4 s]
/proc/loadavg: 4.09 4.11 4.10 4/238 821100
/proc/meminfo: memFree=117970588/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=5534188 memory=5073040 CPUtime=3589.89 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 10629632 0 0 0 357897 1092 0 0 20 0 1 0 161011033 5667008512 1268260 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1383547 1268260 2974 3032 0 1344281 0
Current children cumulated CPU time: 3589.89 s
Current children cumulated vsize: 5534188 KiB
Current children cumulated memory: 5073040 KiB

[startup+3604.5 s]
/proc/loadavg: 4.09 4.11 4.10 4/238 821100
/proc/meminfo: memFree=117970588/131655788 swapFree=131071996/131071996
[pid=819253] ppid=819250 vsize=5384308 memory=4458992 CPUtime=3589.99 cores=4,6
/proc/819253/stat : 819253 (fscip) R 819250 819253 814844 0 -1 4194304 10631046 0 0 0 357906 1093 0 0 20 0 1 0 161011033 5513531392 1114748 134679101440 4194304 16613245 140720812342320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 42946560 140720812348437 140720812348553 140720812348553 140720812355568 0
/proc/819253/statm: 1346077 1114748 2974 3032 0 1306811 0
Current children cumulated CPU time: 3589.99 s
Current children cumulated vsize: 5384308 KiB
Current children cumulated memory: 4458992 KiB

Child status: 0

Real time (s): 3604.59
CPU time (s): 3590.08
CPU user time (s): 3579.06
CPU system time (s): 11.0217
CPU usage (%): 99.5977
Max. virtual memory (cumulated for all children) (KiB): 9211524
Max. memory (cumulated for all children) (KiB): 6927464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.06
system time used= 11.0217
maximum resident set size= 6927464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10631825
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= 3762
involuntary context switches= 1472


# summary of solver processes directly reported to runsolver:
#   pid: 819253
#   total CPU time (s): 3590.08
#   total CPU user time (s): 3579.06
#   total CPU system time (s): 11.0217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0806 second user time and 38.2622 second system time

The end

Begin job on nodeC007 at 2024-07-16 02:09:16
IDJOB=4434664
IDBENCH=147559
IDSOLVER=3064
FILE ID=nodeC007/4434664-1721088543
RUNJOBID= nodeC007-1721081354-814855
SLURM_JOB_ID= 7505557
Free space on /tmp= 723632 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.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-4434664-1721088543/watcher-4434664-1721088543 -o /tmp/evaluation-result-4434664-1721088543/solver-4434664-1721088543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814855 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434664-1721088543.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=1516671450

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128406180 kB
MemAvailable:   129699460 kB
Buffers:          390192 kB
Cached:          1734796 kB
SwapCached:            0 kB
Active:           700640 kB
Inactive:        2002464 kB
Active(anon):       1436 kB
Inactive(anon):   614384 kB
Active(file):     699204 kB
Inactive(file):  1388080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            179888 kB
Writeback:             0 kB
AnonPages:        577980 kB
Mapped:           131268 kB
Shmem:             37704 kB
KReclaimable:      92728 kB
Slab:             188664 kB
SReclaimable:      92728 kB
SUnreclaim:        95936 kB
KernelStack:        3824 kB
PageTables:        10368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     895924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723604 MiB
End job on nodeC007 at 2024-07-16 03:09:21