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