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

OK	478

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62987 MiB free)
  memory of node 1: 64473 MiB (63401 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=845480, runsolver pid=845473

[startup+0.100458 s]*
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=129339824/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=64848 memory=52672 CPUtime=0.09 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 11073 0 0 0 8 1 0 0 20 0 1 0 160763784 66404352 13168 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 16212 13168 2318 3032 0 12612 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64848 KiB
Current children cumulated memory: 52672 KiB

[startup+0.205895 s]*
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=129275040/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=95348 memory=83160 CPUtime=0.2 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 18687 0 0 0 18 2 0 0 20 0 1 0 160763784 97636352 20790 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 23837 20790 2318 3032 0 20237 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95348 KiB
Current children cumulated memory: 83160 KiB

[startup+0.305814 s]*
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=129218088/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=123592 memory=111412 CPUtime=0.29 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 25758 0 0 0 26 3 0 0 20 0 1 0 160763784 126558208 27853 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 30898 27853 2318 3032 0 27298 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123592 KiB
Current children cumulated memory: 111412 KiB

[startup+0.700209 s]
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=129055176/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=238336 memory=225684 CPUtime=0.69 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 53846 0 0 0 62 7 0 0 20 0 1 0 160763784 244056064 56421 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 59584 56421 2318 3032 0 55984 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 238336 KiB
Current children cumulated memory: 225684 KiB

[startup+1.50022 s]
/proc/loadavg: 4.18 4.13 4.10 6/261 845482
/proc/meminfo: memFree=128672440/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=549792 memory=538088 CPUtime=1.48 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 130721 0 0 0 131 17 0 0 20 0 1 0 160763784 562987008 134522 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 137448 134522 2558 3032 0 133848 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 549792 KiB
Current children cumulated memory: 538088 KiB

[startup+3.10575 s]
/proc/loadavg: 4.18 4.13 4.10 6/261 845484
/proc/meminfo: memFree=127516224/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=841132 memory=827564 CPUtime=3.09 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 195343 0 0 0 282 27 0 0 20 0 1 0 160763784 861319168 206891 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 210283 206891 2606 3032 0 206683 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 841132 KiB
Current children cumulated memory: 827564 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.13 4.10 6/261 845484
/proc/meminfo: memFree=126895188/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=1226720 memory=1207008 CPUtime=6.27 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 227366 0 0 0 587 40 0 0 20 0 1 0 160763784 1256161280 301752 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 306680 301752 2654 3032 0 303080 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1226720 KiB
Current children cumulated memory: 1207008 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 6/261 845485
/proc/meminfo: memFree=126696036/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=1256872 memory=1235804 CPUtime=12.65 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 288843 0 0 0 1215 50 0 0 20 0 1 0 160763784 1287036928 308951 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 314218 308951 2702 3032 0 310618 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1256872 KiB
Current children cumulated memory: 1235804 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 6/262 845489
/proc/meminfo: memFree=123453344/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=3257344 memory=2916440 CPUtime=25.39 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 344082 0 0 0 2452 87 0 0 20 0 2 0 160763784 3335520256 729110 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 814336 729110 2766 3032 0 794384 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3257344 KiB
Current children cumulated memory: 2916440 KiB

[startup+51.1059 s]
/proc/loadavg: 4.08 4.11 4.09 6/265 845495
/proc/meminfo: memFree=117904460/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=6179228 memory=5553684 CPUtime=50.74 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 795786 0 0 0 4896 178 0 0 20 0 3 0 160763784 6327529472 1388421 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1544807 1388421 2782 3032 0 1519441 0
[pid=845480/tid=845490] ppid=845473 vsize=6179228 memory=17084 CPUtime=24.56 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 408726 0 0 0 2373 83 0 0 20 0 3 0 160766300 6327529472 1388421 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=6179228 memory=5499848 CPUtime=0 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 160766501 6327529472 1388421 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 6179228 KiB
Current children cumulated memory: 5553684 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.15 4.10 6/267 845675
/proc/meminfo: memFree=116714628/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=6729180 memory=6104476 CPUtime=101.73 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 1038362 0 0 0 9962 211 0 0 20 0 3 0 160763784 6890680320 1526119 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1682295 1526119 2974 3032 0 1659436 0
[pid=845480/tid=845490] ppid=845473 vsize=6729180 memory=6104476 CPUtime=75.54 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 649819 0 0 0 7438 116 0 0 20 0 3 0 160766300 6890680320 1526119 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=6729180 memory=43312 CPUtime=0 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 160766501 6890680320 1526119 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 6729180 KiB
Current children cumulated memory: 6104476 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 6/267 845685
/proc/meminfo: memFree=116506636/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=6874924 memory=6178412 CPUtime=161.5 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 1214446 0 0 0 15919 231 0 0 20 0 3 0 160763784 7039922176 1544603 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1718731 1544603 2974 3032 0 1698419 0
[pid=845480/tid=845490] ppid=845473 vsize=6874924 memory=6178412 CPUtime=135.32 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 825892 0 0 0 13395 137 0 0 20 0 3 0 160766300 7039922176 1544603 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=6874924 memory=6178412 CPUtime=0 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 160766501 7039922176 1544603 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 161.5 s
Current children cumulated vsize: 6874924 KiB
Current children cumulated memory: 6178412 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/270 845755
/proc/meminfo: memFree=116467680/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=7002048 memory=6188724 CPUtime=221.28 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 1393067 0 0 0 21878 250 0 0 20 0 3 0 160763784 7170097152 1547181 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1750512 1547181 2974 3032 0 1718949 0
[pid=845480/tid=845490] ppid=845473 vsize=7002048 memory=6178412 CPUtime=195.09 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 1004500 0 0 0 19354 155 0 0 20 0 3 0 160766300 7170097152 1547181 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=7002048 memory=6178412 CPUtime=0 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 160766501 7170097152 1547181 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 221.28 s
Current children cumulated vsize: 7002048 KiB
Current children cumulated memory: 6188724 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.13 4.10 6/268 845765
/proc/meminfo: memFree=116424432/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=7063636 memory=6199744 CPUtime=281.04 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 1555671 0 0 0 27836 268 0 0 20 0 3 0 160763784 7233163264 1549936 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1765909 1549936 2974 3032 0 1736912 0
[pid=845480/tid=845490] ppid=845473 vsize=7063636 memory=6188944 CPUtime=254.85 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 1167092 0 0 0 25312 173 0 0 20 0 3 0 160766300 7233163264 1549936 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=7063636 memory=6199744 CPUtime=0 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 160766501 7233163264 1549936 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 7063636 KiB
Current children cumulated memory: 6199744 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/267 845775
/proc/meminfo: memFree=116423088/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=7063636 memory=6199744 CPUtime=340.8 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 1618487 0 0 0 33797 283 0 0 20 0 3 0 160763784 7233163264 1549936 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1765909 1549936 2974 3032 0 1736912 0

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

/proc/meminfo: memFree=114813680/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=9262868 memory=6947112 CPUtime=3389.8 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 7641444 0 0 0 338215 765 0 0 20 0 3 0 160763784 9485176832 1736778 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 2315717 1736778 2974 3032 0 2291613 0
[pid=845480/tid=845490] ppid=845473 vsize=9262868 memory=6943416 CPUtime=3363.55 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 7251598 0 0 0 335689 666 0 0 20 0 3 0 160766300 9485176832 1736778 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=9262868 memory=6945240 CPUtime=0.04 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 616 0 0 0 1 3 0 0 20 0 3 0 160766501 9485176832 1736778 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3389.8 s
Current children cumulated vsize: 9262868 KiB
Current children cumulated memory: 6947112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.10 6/264 846914
/proc/meminfo: memFree=114812744/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=9262868 memory=6947632 CPUtime=3449.56 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 7693646 0 0 0 344188 768 0 0 20 0 3 0 160763784 9485176832 1736908 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 2315717 1736908 2974 3032 0 2291613 0
[pid=845480/tid=845490] ppid=845473 vsize=9262868 memory=6945240 CPUtime=3423.32 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 7303763 0 0 0 341663 669 0 0 20 0 3 0 160766300 9485176832 1736908 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=9262868 memory=6947632 CPUtime=0.04 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 627 0 0 0 1 3 0 0 20 0 3 0 160766501 9485176832 1736908 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3449.56 s
Current children cumulated vsize: 9262868 KiB
Current children cumulated memory: 6947632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/264 847309
/proc/meminfo: memFree=114807752/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=9262868 memory=6948644 CPUtime=3509.33 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 7717095 0 0 0 350164 769 0 0 20 0 3 0 160763784 9485176832 1737161 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 2315717 1737161 2974 3032 0 2291613 0
[pid=845480/tid=845490] ppid=845473 vsize=9262868 memory=6948644 CPUtime=3483.08 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 7327200 0 0 0 347638 670 0 0 20 0 3 0 160766300 9485176832 1737161 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=9262868 memory=6948644 CPUtime=0.04 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 639 0 0 0 1 3 0 0 20 0 3 0 160766501 9485176832 1737161 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3509.33 s
Current children cumulated vsize: 9262868 KiB
Current children cumulated memory: 6948644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/264 847319
/proc/meminfo: memFree=114805012/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=9262868 memory=6949576 CPUtime=3569.1 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 7740765 0 0 0 356138 772 0 0 20 0 3 0 160763784 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 2315717 1737394 2974 3032 0 2291613 0
[pid=845480/tid=845490] ppid=845473 vsize=9262868 memory=6949576 CPUtime=3542.84 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 7350828 0 0 0 353612 672 0 0 20 0 3 0 160766300 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=9262868 memory=5628 CPUtime=0.05 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 651 0 0 0 1 4 0 0 20 0 3 0 160766501 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3569.1 s
Current children cumulated vsize: 9262868 KiB
Current children cumulated memory: 6949576 KiB

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

# cumulated CPU time of all completed processes:  user=3582.35 s, system=7.88249 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 6/264 847319
/proc/meminfo: memFree=114805004/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=9262868 memory=6949576 CPUtime=3570.8 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 7740924 0 0 0 356308 772 0 0 20 0 3 0 160763784 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 2315717 1737394 2974 3032 0 2291613 0
[pid=845480/tid=845490] ppid=845473 vsize=9262868 memory=6720663259617508968 CPUtime=3544.54 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 7350987 0 0 0 353782 672 0 0 20 0 3 0 160766300 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=9262868 memory=-7233475509502830205 CPUtime=0.05 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 651 0 0 0 1 4 0 0 20 0 3 0 160766501 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 9262868 KiB
Current children cumulated memory: 6949576 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=9262868 memory=6949576 CPUtime=3583.54 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 7750040 0 0 0 357582 772 0 0 20 0 3 0 160763784 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 2315717 1737394 2974 3032 0 2291613 0
[pid=845480/tid=845490] ppid=845473 vsize=9262868 memory=6949576 CPUtime=3557.3 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 7360099 0 0 0 355057 673 0 0 20 0 3 0 160766300 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=9262868 memory=6949576 CPUtime=0.05 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 651 0 0 0 1 4 0 0 20 0 3 0 160766501 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3583.54 s
Current children cumulated vsize: 9262868 KiB
Current children cumulated memory: 6949576 KiB

[startup+3600 s]*
/proc/loadavg: 4.10 4.09 4.09 6/264 847320
/proc/meminfo: memFree=114807312/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=9262868 memory=6949576 CPUtime=3586.75 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 7753912 0 0 0 357902 773 0 0 20 0 3 0 160763784 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 2315717 1737394 2974 3032 0 2291613 0
[pid=845480/tid=845490] ppid=845473 vsize=9262868 memory=6720663259617508968 CPUtime=3560.49 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 7364038 0 0 0 355376 673 0 0 20 0 3 0 160766300 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=9262868 memory=-7233475509502830205 CPUtime=0.05 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 654 0 0 0 1 4 0 0 20 0 3 0 160766501 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 9262868 KiB
Current children cumulated memory: 6949576 KiB

[startup+3601.6 s]
/proc/loadavg: 4.10 4.09 4.09 7/260 847412
/proc/meminfo: memFree=115251852/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=9262868 memory=6949576 CPUtime=3588.33 cores=5,7
/proc/845480/stat : 845480 (fscip) S 845473 845480 843378 0 -1 1077936128 7830362 0 0 0 358056 777 0 0 20 0 3 0 160763784 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 2315717 1737394 2974 3032 0 2291613 0
[pid=845480/tid=845490] ppid=845473 vsize=9262868 memory=6949576 CPUtime=3562.09 cores=5,7
/proc/845480/task/845490/stat : 845490 (fscip) R 845473 845480 843378 0 -1 4194368 7440415 0 0 0 355531 678 0 0 20 0 3 0 160766300 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
[pid=845480/tid=845492] ppid=845473 vsize=9262868 memory=12304 CPUtime=0.05 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 654 0 0 0 1 4 0 0 20 0 3 0 160766501 9485176832 1737394 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3588.33 s
Current children cumulated vsize: 9262868 KiB
Current children cumulated memory: 6949576 KiB

[startup+3602.4 s]
/proc/loadavg: 4.10 4.09 4.09 6/260 847414
/proc/meminfo: memFree=114753064/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=5190096 memory=4831508 CPUtime=3589.13 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 7908784 0 0 0 358131 782 0 0 20 0 2 0 160763784 5314658304 1207877 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1297524 1207877 2974 3032 0 1275242 0
[pid=845480/tid=845492] ppid=845473 vsize=5190096 memory=6949576 CPUtime=0.05 cores=5,7
/proc/845480/task/845492/stat : 845492 (fscip) S 845473 845480 843378 0 -1 1077936192 654 0 0 0 1 4 0 0 20 0 2 0 160766501 5314658304 1207877 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
Current children cumulated CPU time: 3589.13 s
Current children cumulated vsize: 5190096 KiB
Current children cumulated memory: 4831508 KiB

[startup+3603.2 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 847414
/proc/meminfo: memFree=117940832/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=5178996 memory=4821036 CPUtime=3589.92 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 7912121 0 0 0 358210 782 0 0 20 0 1 0 160763784 5303291904 1205259 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1294749 1205259 2974 3032 0 1272467 0
Current children cumulated CPU time: 3589.92 s
Current children cumulated vsize: 5178996 KiB
Current children cumulated memory: 4821036 KiB

[startup+3603.4 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 847414
/proc/meminfo: memFree=117940832/131524600 swapFree=131071996/131071996
[pid=845480] ppid=845473 vsize=4967084 memory=4609124 CPUtime=3590.13 cores=5,7
/proc/845480/stat : 845480 (fscip) R 845473 845480 843378 0 -1 4194304 7912781 0 0 0 358229 784 0 0 20 0 1 0 160763784 5086294016 1152281 134679101440 4194304 16613245 140736325629648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39227392 140736325633045 140736325633161 140736325633161 140736325640176 0
/proc/845480/statm: 1241771 1152281 2974 3032 0 1219489 0
Current children cumulated CPU time: 3590.13 s
Current children cumulated vsize: 4967084 KiB
Current children cumulated memory: 4609124 KiB

[startup+3603.5 s]*
/proc/loadavg: 4.10 4.09 4.09 5/256 847414
/proc/meminfo: memFree=122374872/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3603.51
CPU time (s): 3590.23
CPU user time (s): 3582.35
CPU system time (s): 7.88249
CPU usage (%): 99.6317
Max. virtual memory (cumulated for all children) (KiB): 9262868
Max. memory (cumulated for all children) (KiB): 6957488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.35
system time used= 7.88249
maximum resident set size= 6959536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7913992
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= 4014
involuntary context switches= 1407


# summary of solver processes directly reported to runsolver:
#   pid: 845480
#   total CPU time (s): 3590.23
#   total CPU user time (s): 3582.35
#   total CPU system time (s): 7.88249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06207 second user time and 20.0401 second system time

The end

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

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

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1653812845

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

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

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

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

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

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

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

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

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

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


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

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