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