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