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