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