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

OK	428

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=28530, runsolver pid=28523

[startup+0.100249 s]*
/proc/loadavg: 0.40 0.15 0.11 6/240 28538
/proc/meminfo: memFree=129826700/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=43844 memory=32476 CPUtime=0.1 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 6008 0 0 0 8 2 0 0 20 0 1 0 4230417 44896256 8119 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 10961 8119 2347 3035 0 7357 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43844 KiB
Current children cumulated memory: 32476 KiB

[startup+0.212833 s]*
/proc/loadavg: 0.40 0.15 0.11 5/239 28548
/proc/meminfo: memFree=129807840/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=60756 memory=49096 CPUtime=0.21 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 10169 0 0 0 18 3 0 0 20 0 1 0 4230417 62214144 12274 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 15189 12274 2347 3035 0 11585 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60756 KiB
Current children cumulated memory: 49096 KiB

[startup+0.313243 s]*
/proc/loadavg: 0.40 0.15 0.11 7/240 28553
/proc/meminfo: memFree=129759364/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=76280 memory=63992 CPUtime=0.31 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 13924 0 0 0 27 4 0 0 20 0 1 0 4230417 78110720 15998 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 19070 15998 2347 3035 0 15466 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 76280 KiB
Current children cumulated memory: 63992 KiB

[startup+0.700306 s]
/proc/loadavg: 0.40 0.15 0.11 7/239 28553
/proc/meminfo: memFree=129653736/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=129316 memory=116948 CPUtime=0.69 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 27133 0 0 0 60 9 0 0 20 0 1 0 4230417 132419584 29237 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 32329 29237 2347 3035 0 28725 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 129316 KiB
Current children cumulated memory: 116948 KiB

[startup+1.5003 s]
/proc/loadavg: 0.40 0.15 0.11 7/245 28563
/proc/meminfo: memFree=129345984/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=287928 memory=275196 CPUtime=1.48 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 64174 0 0 0 131 17 0 0 20 0 1 0 4230417 294838272 68799 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 71982 68799 2347 3035 0 68378 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 287928 KiB
Current children cumulated memory: 275196 KiB

[startup+3.11326 s]
/proc/loadavg: 0.40 0.15 0.11 7/245 28563
/proc/meminfo: memFree=127460716/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=828044 memory=814080 CPUtime=3.09 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 190990 0 0 0 270 39 0 0 20 0 1 0 4230417 847917056 203520 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 207011 203520 2614 3035 0 203407 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 828044 KiB
Current children cumulated memory: 814080 KiB

[startup+6.3003 s]
/proc/loadavg: 0.69 0.21 0.13 7/248 28624
/proc/meminfo: memFree=127227628/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=983420 memory=904692 CPUtime=6.27 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 205505 0 0 0 585 42 0 0 20 0 1 0 4230417 1007022080 226173 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 245855 226173 2614 3035 0 242251 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 983420 KiB
Current children cumulated memory: 904692 KiB

[startup+12.7003 s]
/proc/loadavg: 0.95 0.28 0.15 7/248 28624
/proc/meminfo: memFree=126126432/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=1256888 memory=1233468 CPUtime=12.66 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 288639 0 0 0 1201 65 0 0 20 0 1 0 4230417 1287053312 308367 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 314222 308367 2710 3035 0 310618 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1256888 KiB
Current children cumulated memory: 1233468 KiB

[startup+25.5003 s]
/proc/loadavg: 1.70 0.47 0.22 7/250 28629
/proc/meminfo: memFree=121687968/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=2945876 memory=2677240 CPUtime=25.41 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 297081 0 0 0 2446 95 0 0 20 0 1 0 4230417 3016577024 669310 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 736469 669310 2758 3035 0 732865 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2945876 KiB
Current children cumulated memory: 2677240 KiB

[startup+51.1131 s]
/proc/loadavg: 2.48 0.76 0.32 8/254 28638
/proc/meminfo: memFree=113357164/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=6113708 memory=5495816 CPUtime=50.93 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 690582 0 0 0 4897 196 0 0 20 0 3 0 4230417 6260436992 1373954 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 1528427 1373954 2790 3035 0 1505941 0
[pid=28530/tid=28632] ppid=28523 vsize=6113708 memory=11648 CPUtime=23.34 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 304636 0 0 0 2249 85 0 0 20 0 3 0 4233073 6260436992 1373954 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=6113708 memory=11768 CPUtime=0 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4233297 6260436992 1373954 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 6113708 KiB
Current children cumulated memory: 5495816 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.29 0.53 7/254 28646
/proc/meminfo: memFree=111157564/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=6729196 memory=6101260 CPUtime=101.9 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 962836 0 0 0 9957 233 0 0 20 0 3 0 4230417 6890696704 1525315 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 1682299 1525315 2998 3035 0 1659531 0
[pid=28530/tid=28632] ppid=28523 vsize=6729196 memory=6101260 CPUtime=74.29 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 575467 0 0 0 7308 121 0 0 20 0 3 0 4233073 6890696704 1525315 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=6729196 memory=6101260 CPUtime=0 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4233297 6890696704 1525315 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 6729196 KiB
Current children cumulated memory: 6101260 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.82 0.76 7/254 28657
/proc/meminfo: memFree=110981084/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=6909116 memory=6166368 CPUtime=161.62 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 1132297 0 0 0 15911 251 0 0 20 0 3 0 4230417 7074934784 1541592 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 1727279 1541592 2998 3035 0 1698373 0
[pid=28530/tid=28632] ppid=28523 vsize=6909116 memory=19460 CPUtime=134.03 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 744913 0 0 0 13263 140 0 0 20 0 3 0 4233073 7074934784 1541592 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=6909116 memory=6166368 CPUtime=0 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4233297 7074934784 1541592 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 6909116 KiB
Current children cumulated memory: 6166368 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.23 0.97 7/252 28667
/proc/meminfo: memFree=110897512/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=6973268 memory=6168988 CPUtime=221.35 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 1307990 0 0 0 21865 270 0 0 20 0 3 0 4230417 7140626432 1542247 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 1743317 1542247 2998 3035 0 1716977 0
[pid=28530/tid=28632] ppid=28523 vsize=6973268 memory=6166368 CPUtime=193.74 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 920594 0 0 0 19216 158 0 0 20 0 3 0 4233073 7140626432 1542247 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=6973268 memory=11648 CPUtime=0 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4233297 7140626432 1542247 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 6973268 KiB
Current children cumulated memory: 6168988 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.59 1.17 8/252 28724
/proc/meminfo: memFree=111215424/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=7063656 memory=6197804 CPUtime=281.07 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 1469839 0 0 0 27820 287 0 0 20 0 3 0 4230417 7233183744 1549451 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 1765914 1549451 2998 3035 0 1739574 0
[pid=28530/tid=28632] ppid=28523 vsize=7063656 memory=6168988 CPUtime=253.47 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 1082431 0 0 0 25172 175 0 0 20 0 3 0 4233073 7233183744 1549451 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=7063656 memory=6197804 CPUtime=0 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4233297 7233183744 1549451 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 7063656 KiB
Current children cumulated memory: 6197804 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.86 1.36 7/246 28735
/proc/meminfo: memFree=111180548/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=7125244 memory=6197820 CPUtime=340.77 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 1638622 0 0 0 33772 305 0 0 20 0 3 0 4230417 7296249856 1549455 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 1781311 1549455 2998 3035 0 1754971 0

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

/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 8905112 0 0 0 332024 962 0 0 20 0 3 0 4230417 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2346518 1731201 2998 3035 0 2319957 0
[pid=28530/tid=28632] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3302.17 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 8514904 0 0 0 329374 843 0 0 20 0 3 0 4233073 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9386072 memory=6924804 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 616 0 0 0 1 5 0 0 20 0 3 0 4233297 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3329.86 s
Current children cumulated vsize: 9386072 KiB
Current children cumulated memory: 6924804 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.05 7/248 30297
/proc/meminfo: memFree=107418572/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3389.66 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 9055086 0 0 0 337992 974 0 0 20 0 3 0 4230417 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2346518 1731201 2998 3035 0 2319957 0
[pid=28530/tid=28632] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3361.97 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 8664831 0 0 0 335342 855 0 0 20 0 3 0 4233073 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9386072 memory=6924804 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 628 0 0 0 1 5 0 0 20 0 3 0 4233297 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3389.66 s
Current children cumulated vsize: 9386072 KiB
Current children cumulated memory: 6924804 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.06 7/248 30307
/proc/meminfo: memFree=107402560/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3449.45 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 9174088 0 0 0 343958 987 0 0 20 0 3 0 4230417 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2346518 1731201 2998 3035 0 2319957 0
[pid=28530/tid=28632] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3421.75 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 8783827 0 0 0 341307 868 0 0 20 0 3 0 4233073 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9386072 memory=6924804 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 634 0 0 0 1 5 0 0 20 0 3 0 4233297 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3449.45 s
Current children cumulated vsize: 9386072 KiB
Current children cumulated memory: 6924804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.18 4.08 7/250 30487
/proc/meminfo: memFree=107387028/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3509.22 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 9289339 0 0 0 349921 1001 0 0 20 0 3 0 4230417 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2346518 1731201 2998 3035 0 2319957 0
[pid=28530/tid=28632] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3481.54 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 8899066 0 0 0 347271 883 0 0 20 0 3 0 4233073 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9386072 memory=11648 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 646 0 0 0 1 5 0 0 20 0 3 0 4233297 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3509.22 s
Current children cumulated vsize: 9386072 KiB
Current children cumulated memory: 6924804 KiB

[startup+3582.3 s]
/proc/loadavg: 5.20 4.44 4.18 7/250 30498
/proc/meminfo: memFree=107366376/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3569.01 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 9404097 0 0 0 355886 1015 0 0 20 0 3 0 4230417 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2346518 1731201 2998 3035 0 2319957 0
[pid=28530/tid=28632] ppid=28523 vsize=9386072 memory=12800 CPUtime=3541.32 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 9013812 0 0 0 353236 896 0 0 20 0 3 0 4233073 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9386072 memory=12800 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 658 0 0 0 1 5 0 0 20 0 3 0 4233297 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3569.01 s
Current children cumulated vsize: 9386072 KiB
Current children cumulated memory: 6924804 KiB

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

# cumulated CPU time of all completed processes:  user=3578.52 s, system=10.6037 s

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

[startup+3584 s]*
/proc/loadavg: 5.20 4.44 4.18 8/250 30498
/proc/meminfo: memFree=107366436/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3570.72 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 9405335 0 0 0 356057 1015 0 0 20 0 3 0 4230417 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2346518 1731201 2998 3035 0 2319957 0
[pid=28530/tid=28632] ppid=28523 vsize=9386072 memory=-7161968623522766456 CPUtime=3543.03 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 9015050 0 0 0 353407 896 0 0 20 0 3 0 4233073 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9386072 memory=2708 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 658 0 0 0 1 5 0 0 20 0 3 0 4233297 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3570.72 s
Current children cumulated vsize: 9386072 KiB
Current children cumulated memory: 6924804 KiB

[startup+3590.4 s]
/proc/loadavg: 5.27 4.47 4.19 8/250 30500
/proc/meminfo: memFree=107364620/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3577.09 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 9411046 0 0 0 356693 1016 0 0 20 0 3 0 4230417 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2346518 1731201 2998 3035 0 2319957 0
[pid=28530/tid=28632] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3549.39 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 9020761 0 0 0 354042 897 0 0 20 0 3 0 4233073 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9386072 memory=12800 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 658 0 0 0 1 5 0 0 20 0 3 0 4233297 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3577.09 s
Current children cumulated vsize: 9386072 KiB
Current children cumulated memory: 6924804 KiB

[startup+3596.8 s]
/proc/loadavg: 5.53 4.55 4.22 7/250 30501
/proc/meminfo: memFree=107363180/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3583.46 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 9417149 0 0 0 357329 1017 0 0 20 0 3 0 4230417 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2346518 1731201 2998 3035 0 2319957 0
[pid=28530/tid=28632] ppid=28523 vsize=9386072 memory=6924804 CPUtime=3555.77 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 9026864 0 0 0 354679 898 0 0 20 0 3 0 4233073 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9386072 memory=5508 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 658 0 0 0 1 5 0 0 20 0 3 0 4233297 9611337728 1731201 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3583.46 s
Current children cumulated vsize: 9386072 KiB
Current children cumulated memory: 6924804 KiB

[startup+3600 s]*
/proc/loadavg: 5.53 4.55 4.22 7/248 30501
/proc/meminfo: memFree=109107972/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=9287984 memory=6847180 CPUtime=3586.66 cores=4,6
/proc/28530/stat : 28530 (fscip) S 28523 28530 28297 0 -1 1077936128 9621821 0 0 0 357638 1028 0 0 20 0 3 0 4230417 9510895616 1711795 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 2321996 1711795 2998 3035 0 2295435 0
[pid=28530/tid=28632] ppid=28523 vsize=9287984 memory=-7161968623522766456 CPUtime=3558.98 cores=4,6
/proc/28530/task/28632/stat : 28632 (fscip) R 28523 28530 28297 0 -1 4194368 9231504 0 0 0 354988 910 0 0 20 0 3 0 4233073 9510895616 1711795 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
[pid=28530/tid=28635] ppid=28523 vsize=9287984 memory=4714869259141541529 CPUtime=0.06 cores=4,6
/proc/28530/task/28635/stat : 28635 (fscip) S 28523 28530 28297 0 -1 1077936192 661 0 0 0 1 5 0 0 20 0 3 0 4233297 9510895616 1711795 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 9287984 KiB
Current children cumulated memory: 6847180 KiB

[startup+3601.6 s]
/proc/loadavg: 5.73 4.61 4.24 6/244 30501
/proc/meminfo: memFree=112638964/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=5321188 memory=4928096 CPUtime=3588.25 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 9763461 0 0 0 357779 1046 0 0 20 0 1 0 4230417 5448896512 1232024 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 1330297 1232024 2998 3035 0 1306674 0
Current children cumulated CPU time: 3588.25 s
Current children cumulated vsize: 5321188 KiB
Current children cumulated memory: 4928096 KiB

[startup+3602 s]*
/proc/loadavg: 5.73 4.61 4.24 7/244 30501
/proc/meminfo: memFree=112945840/131655788 swapFree=131071472/131071996
[pid=28530] ppid=28523 vsize=5315740 memory=4922960 CPUtime=3588.65 cores=4,6
/proc/28530/stat : 28530 (fscip) R 28523 28530 28297 0 -1 4194304 9772507 0 0 0 357818 1047 0 0 20 0 1 0 4230417 5443317760 1230740 134679101440 4194304 16623229 140734160786032 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 40554496 140734160794650 140734160794766 140734160794766 140734160801776 0
/proc/28530/statm: 1328935 1230740 2998 3035 0 1305312 0
Current children cumulated CPU time: 3588.65 s
Current children cumulated vsize: 5315740 KiB
Current children cumulated memory: 4922960 KiB

[startup+3602.4 s]*
/proc/loadavg: 5.73 4.61 4.24 6/242 30515
/proc/meminfo: memFree=125278544/131655788 swapFree=131071472/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): 3602.47
CPU time (s): 3589.12
CPU user time (s): 3578.52
CPU system time (s): 10.6037
CPU usage (%): 99.6295
Max. virtual memory (cumulated for all children) (KiB): 9386072
Max. memory (cumulated for all children) (KiB): 6924804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.52
system time used= 10.6037
maximum resident set size= 6924804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9791311
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= 3787
involuntary context switches= 1172


# summary of solver processes directly reported to runsolver:
#   pid: 28530
#   total CPU time (s): 3589.12
#   total CPU user time (s): 3578.52
#   total CPU system time (s): 10.6037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5714 second user time and 36.4703 second system time

The end

Begin job on nodeC008 at 2024-07-31 00:29:57
IDJOB=4463994
IDBENCH=147558
IDSOLVER=3092
FILE ID=nodeC008/4463994-1722378596
RUNJOBID= nodeC008-1722378594-28308
SLURM_JOB_ID= 8249838
Free space on /tmp= 723704 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.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-4463994-1722378596/watcher-4463994-1722378596 -o /tmp/evaluation-result-4463994-1722378596/solver-4463994-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28308 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463994-1722378596.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=1453536771

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129897308 kB
MemAvailable:   130125588 kB
Buffers:           77228 kB
Cached:           990864 kB
SwapCached:           72 kB
Active:           251380 kB
Inactive:        1086648 kB
Active(anon):       1424 kB
Inactive(anon):   289644 kB
Active(file):     249956 kB
Inactive(file):   797004 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            163296 kB
Writeback:             0 kB
AnonPages:        270224 kB
Mapped:            88084 kB
Shmem:             21104 kB
KReclaimable:      42704 kB
Slab:             117332 kB
SReclaimable:      42704 kB
SUnreclaim:        74628 kB
KernelStack:        3664 kB
PageTables:         9128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     657652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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:      146248 kB
DirectMap2M:    10244096 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 723624 MiB
End job on nodeC008 at 2024-07-31 01:30:00