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