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