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