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