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