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 | 24 | 3586.59 | 3597.11 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | 9def910af6a1ee27abcf25feff61a445 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 67.9647 |
| 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 | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 650 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 681 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-4497433-1751388083.opb>
0.00/0.04 c original problem has 6027 variables (6027 bin, 0 int, 0 cont) and 21278 constraints
0.00/0.04 c problem read in 0.038 seconds
0.00/0.07 c presolving:
0.09/0.11 c (round 1, fast) 589 del vars, 1173 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15305 clqs
0.09/0.13 c (0.1s) running MILP presolver
0.09/0.15 c (0.1s) MILP presolver (2 rounds): 9 aggregations, 0 fixings, 0 bound changes
0.09/0.15 c (round 2, medium) 598 del vars, 1173 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15287 clqs
0.09/0.15 c (round 3, fast) 598 del vars, 1200 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15287 clqs
0.09/0.20 c (round 4, exhaustive) 598 del vars, 1201 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15287 clqs
0.20/0.27 c (round 5, exhaustive) 598 del vars, 20688 del conss, 4784 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15287 clqs
0.20/0.29 c (round 6, exhaustive) 733 del vars, 20823 del conss, 4784 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15017 clqs
0.30/0.34 c (0.3s) probing: 51/5294 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.34 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.30/0.34 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.30/0.36 c (0.4s) no symmetry present (symcode time: 0.02)
0.30/0.37 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.30/0.37 c 733 deleted vars, 20823 deleted constraints, 4784 added constraints, 5 tightened bounds, 0 added holes, 9 changed sides, 10 changed coefficients
0.30/0.37 c 0 implications, 15017 cliques
0.30/0.37 c presolved problem has 5294 variables (5294 bin, 0 int, 0 cont) and 5239 constraints
0.30/0.37 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.30/0.37 c 1 constraints of type <knapsack>
0.30/0.37 c 584 constraints of type <setppc>
0.30/0.37 c 4649 constraints of type <and>
0.30/0.37 c 5 constraints of type <logicor>
0.30/0.37 c transformed objective value is always integral (scale: 1)
0.30/0.37 c Presolving Time: 0.30
0.30/0.37 c
0.30/0.37 c - non default parameters ----------------------------------------------------------------------
0.30/0.37 c
0.30/0.37 c # SCIP version 10.0.0
0.30/0.37 c
0.30/0.37 c # maximal time in seconds to run
0.30/0.37 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.30/0.37 c limits/time = 3596.998093
0.30/0.37 c
0.30/0.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.37 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.30/0.37 c limits/memory = 27900
0.30/0.37 c
0.30/0.37 c # belongs reading time to solving time?
0.30/0.37 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.30/0.37 c timing/reading = TRUE
0.30/0.37 c
0.30/0.37 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
0.30/0.37 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.30/0.37 c reading/opbreader/maxintsize = 47
0.30/0.37 c
0.30/0.37 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.30/0.37 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.30/0.37 c propagating/genvbounds/timingmask = 0
0.30/0.37 c
0.30/0.37 c -----------------------------------------------------------------------------------------------
0.30/0.37 c
0.78/0.86 o 27
0.78/0.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.78/0.86 c p 0.9s| 1 | 0 | 144 | - |shiftand| 0 |5294 |5370 |9887 | 0 | 0 | 130 | 0 | 5.000000e+00 | 2.700000e+01 | 440.00%| unknown
0.78/0.89 c 0.9s| 1 | 0 | 605 | - | 98M | 0 |5294 |5370 |9887 | 0 | 0 | 130 | 0 | 7.555556e+00 | 2.700000e+01 | 257.35%| unknown
0.88/0.91 o 24
0.88/0.91 c r 0.9s| 1 | 0 | 605 | - |shifting| 0 |5294 |5370 |9887 | 0 | 0 | 130 | 0 | 7.555556e+00 | 2.400000e+01 | 217.65%| unknown
1.87/1.94 c 1.9s| 1 | 0 | 712 | - | 120M | 0 |5294 |5570 |9934 | 47 | 1 | 130 | 0 | 8.000000e+00 | 2.400000e+01 | 200.00%| unknown
2.48/2.53 c 2.5s| 1 | 0 | 929 | - | 136M | 0 |5294 |5576 |9972 | 85 | 2 | 136 | 0 | 8.500000e+00 | 2.400000e+01 | 182.35%| unknown
2.58/2.66 c 2.7s| 1 | 0 | 1377 | - | 144M | 0 |5294 |5576 |9990 | 103 | 3 | 136 | 0 | 9.500000e+00 | 2.400000e+01 | 152.63%| unknown
2.88/2.93 c 2.9s| 1 | 0 | 1717 | - | 148M | 0 |5294 |5582 | 10k| 162 | 4 | 142 | 0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown
3.18/3.28 c 3.3s| 1 | 0 | 2150 | - | 158M | 0 |5294 |5582 | 10k| 220 | 5 | 142 | 0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown
3.47/3.59 c 3.6s| 1 | 0 | 3025 | - | 161M | 0 |5294 |5582 | 10k| 291 | 6 | 143 | 0 | 1.011957e+01 | 2.400000e+01 | 137.16%| unknown
3.98/4.04 c 4.0s| 1 | 0 | 3563 | - | 167M | 0 |5294 |5580 | 10k| 399 | 7 | 143 | 0 | 1.048008e+01 | 2.400000e+01 | 129.01%| unknown
4.27/4.34 c 4.3s| 1 | 0 | 4307 | - | 174M | 0 |5294 |5580 | 10k| 587 | 8 | 144 | 0 | 1.085376e+01 | 2.400000e+01 | 121.12%| unknown
4.87/4.94 c 4.9s| 1 | 0 | 4975 | - | 183M | 0 |5294 |5571 | 10k| 720 | 9 | 145 | 0 | 1.097736e+01 | 2.400000e+01 | 118.63%| unknown
5.47/5.59 c 5.6s| 1 | 0 | 5412 | - | 191M | 0 |5294 |5569 | 10k| 851 | 10 | 147 | 0 | 1.104540e+01 | 2.400000e+01 | 117.29%| unknown
5.67/5.75 c 5.7s| 1 | 0 | 6136 | - | 192M | 0 |5294 |5575 | 10k| 988 | 11 | 157 | 0 | 1.106034e+01 | 2.400000e+01 | 116.99%| unknown
5.87/5.97 c 6.0s| 1 | 0 | 7144 | - | 194M | 0 |5294 |5584 | 11k|1129 | 12 | 167 | 0 | 1.108577e+01 | 2.400000e+01 | 116.49%| unknown
6.16/6.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.16/6.20 c 6.2s| 1 | 0 | 8103 | - | 195M | 0 |5294 |5585 | 11k|1280 | 13 | 169 | 0 | 1.111906e+01 | 2.400000e+01 | 115.85%| unknown
6.46/6.51 c 6.5s| 1 | 0 | 9604 | - | 196M | 0 |5294 |5586 | 11k|1433 | 14 | 170 | 0 | 1.114887e+01 | 2.400000e+01 | 115.27%| unknown
6.66/6.78 c 6.8s| 1 | 0 | 10815 | - | 197M | 0 |5294 |5596 | 11k|1560 | 15 | 180 | 0 | 1.116434e+01 | 2.400000e+01 | 114.97%| unknown
6.97/7.04 c 7.0s| 1 | 0 | 11868 | - | 199M | 0 |5294 |5606 | 11k|1710 | 16 | 190 | 0 | 1.119389e+01 | 2.400000e+01 | 114.40%| unknown
7.16/7.27 c 7.3s| 1 | 0 | 12816 | - | 201M | 0 |5294 |5610 | 11k|1844 | 17 | 194 | 0 | 1.121293e+01 | 2.400000e+01 | 114.04%| unknown
7.36/7.44 c 7.4s| 1 | 0 | 13498 | - | 203M | 0 |5294 |5615 | 11k|1938 | 18 | 200 | 0 | 1.122187e+01 | 2.400000e+01 | 113.87%| unknown
7.56/7.63 c 7.6s| 1 | 0 | 14187 | - | 204M | 0 |5294 |5625 | 11k|2069 | 19 | 210 | 0 | 1.122849e+01 | 2.400000e+01 | 113.74%| unknown
7.76/7.86 c 7.9s| 1 | 0 | 15173 | - | 206M | 0 |5294 |5635 | 11k|2155 | 20 | 220 | 0 | 1.124247e+01 | 2.400000e+01 | 113.48%| unknown
8.16/8.20 c 8.2s| 1 | 0 | 16585 | - | 206M | 0 |5294 |5644 | 12k|2283 | 21 | 230 | 0 | 1.126595e+01 | 2.400000e+01 | 113.03%| unknown
8.36/8.45 c 8.4s| 1 | 0 | 17647 | - | 206M | 0 |5294 |5654 | 12k|2380 | 22 | 240 | 0 | 1.127582e+01 | 2.400000e+01 | 112.84%| unknown
8.56/8.64 c 8.6s| 1 | 0 | 18325 | - | 206M | 0 |5294 |5658 | 12k|2482 | 23 | 244 | 0 | 1.128483e+01 | 2.400000e+01 | 112.67%| unknown
8.86/8.93 c 8.9s| 1 | 0 | 19423 | - | 207M | 0 |5294 |5668 | 12k|2595 | 24 | 254 | 0 | 1.129546e+01 | 2.400000e+01 | 112.47%| unknown
9.07/9.16 c 9.2s| 1 | 0 | 20258 | - | 207M | 0 |5294 |5677 | 12k|2683 | 25 | 264 | 0 | 1.130354e+01 | 2.400000e+01 | 112.32%| unknown
9.26/9.32 c 9.3s| 1 | 0 | 20825 | - | 207M | 0 |5294 |5683 | 12k|2775 | 26 | 270 | 0 | 1.130530e+01 | 2.400000e+01 | 112.29%| unknown
9.36/9.48 c 9.5s| 1 | 0 | 21464 | - | 207M | 0 |5294 |5688 | 12k|2814 | 27 | 278 | 0 | 1.130671e+01 | 2.400000e+01 | 112.26%| unknown
9.56/9.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.56/9.60 c 9.6s| 1 | 0 | 21820 | - | 207M | 0 |5294 |5692 | 12k|2865 | 28 | 284 | 0 | 1.130790e+01 | 2.400000e+01 | 112.24%| unknown
9.66/9.72 c 9.7s| 1 | 0 | 22171 | - | 207M | 0 |5294 |5692 | 12k|2948 | 29 | 285 | 0 | 1.130828e+01 | 2.400000e+01 | 112.23%| unknown
9.76/9.81 c 9.8s| 1 | 0 | 22444 | - | 208M | 0 |5294 |5692 | 12k|2975 | 30 | 286 | 0 | 1.130858e+01 | 2.400000e+01 | 112.23%| unknown
9.86/9.92 c 9.9s| 1 | 0 | 22725 | - | 208M | 0 |5294 |5699 | 12k|3052 | 31 | 293 | 0 | 1.130908e+01 | 2.400000e+01 | 112.22%| unknown
9.97/10.04 c 10.0s| 1 | 0 | 23056 | - | 208M | 0 |5294 |5699 | 12k|3088 | 32 | 295 | 0 | 1.130921e+01 | 2.400000e+01 | 112.22%| unknown
9.97/10.09 c 10.1s| 1 | 0 | 23122 | - | 208M | 0 |5294 |5700 | 12k|3108 | 33 | 296 | 0 | 1.130922e+01 | 2.400000e+01 | 112.22%| unknown
10.06/10.18 c 10.2s| 1 | 0 | 23309 | - | 208M | 0 |5294 |5710 | 12k|3119 | 34 | 306 | 0 | 1.130936e+01 | 2.400000e+01 | 112.21%| unknown
10.16/10.28 c 10.3s| 1 | 0 | 23511 | - | 208M | 0 |5294 |5720 | 12k|3157 | 35 | 316 | 0 | 1.130954e+01 | 2.400000e+01 | 112.21%| unknown
10.26/10.39 c 10.4s| 1 | 0 | 23716 | - | 208M | 0 |5294 |5719 | 12k|3216 | 36 | 317 | 0 | 1.130961e+01 | 2.400000e+01 | 112.21%| unknown
10.46/10.50 c 10.5s| 1 | 0 | 23972 | - | 209M | 0 |5294 |5725 | 12k|3236 | 37 | 323 | 0 | 1.130968e+01 | 2.400000e+01 | 112.21%| unknown
10.66/10.74 c 10.7s| 1 | 0 | 24865 | - | 209M | 0 |5294 |5735 | 12k|3298 | 38 | 333 | 0 | 1.131795e+01 | 2.400000e+01 | 112.05%| unknown
10.76/10.88 c 10.9s| 1 | 0 | 25290 | - | 209M | 0 |5294 |5745 | 12k|3342 | 39 | 343 | 0 | 1.131823e+01 | 2.400000e+01 | 112.05%| unknown
10.96/11.04 c 11.0s| 1 | 0 | 25801 | - | 209M | 0 |5294 |5755 | 12k|3367 | 40 | 353 | 0 | 1.132191e+01 | 2.400000e+01 | 111.98%| unknown
11.06/11.16 c 11.2s| 1 | 0 | 26114 | - | 209M | 0 |5294 |5755 | 12k|3450 | 41 | 354 | 0 | 1.132231e+01 | 2.400000e+01 | 111.97%| unknown
11.15/11.24 c 11.2s| 1 | 0 | 26221 | - | 209M | 0 |5294 |5757 | 12k|3465 | 42 | 356 | 0 | 1.132249e+01 | 2.400000e+01 | 111.97%| unknown
11.15/11.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.15/11.29 c 11.3s| 1 | 0 | 26249 | - | 209M | 0 |5294 |5763 | 12k|3473 | 43 | 363 | 0 | 1.132249e+01 | 2.400000e+01 | 111.97%| unknown
11.25/11.34 c 11.3s| 1 | 0 | 26255 | - | 209M | 0 |5294 |5766 | 12k|3475 | 44 | 368 | 0 | 1.132249e+01 | 2.400000e+01 | 111.97%| unknown
11.25/11.39 c 11.4s| 1 | 0 | 26266 | - | 210M | 0 |5294 |5769 | 12k|3477 | 45 | 371 | 0 | 1.132249e+01 | 2.400000e+01 | 111.97%| unknown
11.35/11.45 c 11.4s| 1 | 0 | 26272 | - | 210M | 0 |5294 |5770 | 12k|3481 | 46 | 372 | 0 | 1.132249e+01 | 2.400000e+01 | 111.97%| unknown
11.35/11.50 c 11.5s| 1 | 0 | 26277 | - | 210M | 0 |5294 |5771 | 12k|3483 | 47 | 373 | 0 | 1.132249e+01 | 2.400000e+01 | 111.97%| unknown
11.45/11.58 c 11.6s| 1 | 0 | 26451 | - | 210M | 0 |5294 |5774 | 12k|3484 | 48 | 376 | 0 | 1.132259e+01 | 2.400000e+01 | 111.97%| unknown
11.55/11.67 c 11.7s| 1 | 0 | 26553 | - | 210M | 0 |5294 |5775 | 12k|3495 | 49 | 379 | 0 | 1.132266e+01 | 2.400000e+01 | 111.96%| unknown
11.65/11.75 c 11.8s| 1 | 0 | 26581 | - | 210M | 0 |5294 |5784 | 12k|3515 | 50 | 389 | 0 | 1.132266e+01 | 2.400000e+01 | 111.96%| unknown
11.75/11.84 c 11.8s| 1 | 0 | 26608 | - | 210M | 0 |5294 |5785 | 12k|3526 | 51 | 392 | 0 | 1.132266e+01 | 2.400000e+01 | 111.96%| unknown
15.05/15.12 c 15.1s| 1 | 2 | 31420 | - | 211M | 0 |5294 |5793 | 12k|3526 | 51 | 403 | 11 | 1.132891e+01 | 2.400000e+01 | 111.85%| unknown
476.62/478.05 c 478s| 100 | 101 | 1262k|12481.1 | 305M | 15 |5294 |7905 | 15k| 26k| 5 |2547 | 845 | 1.157296e+01 | 2.400000e+01 | 107.38%| unknown
973.43/976.17 c 976s| 200 | 201 | 2803k|13956.3 | 350M | 29 |5294 |9797 | 16k| 41k| 2 |4485 |1576 | 1.167990e+01 | 2.400000e+01 | 105.48%| unknown
1538.30/1542.47 c 1542s| 300 | 301 | 4358k|14487.7 | 411M | 29 |5294 | 10k| 15k| 60k| 2 |5119 |2519 | 1.176750e+01 | 2.400000e+01 | 103.95%| unknown
2169.16/2175.22 c 2175s| 400 | 401 | 6160k|15374.4 | 468M | 29 |5294 | 10k| 16k| 81k| 2 |5183 |3741 | 1.183207e+01 | 2.400000e+01 | 102.84%| unknown
2970.27/2978.94 c 2979s| 500 | 501 | 8470k|16922.2 | 530M | 31 |5294 | 10k| 16k| 102k| 2 |5321 |4860 | 1.207420e+01 | 2.400000e+01 | 98.77%| unknown
3517.16/3527.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3517.16/3527.52 c 3528s| 600 | 601 | 10403k|17324.6 | 585M | 31 |5294 | 13k| 15k| 122k| 2 |8864 |5265 | 1.209470e+01 | 2.400000e+01 | 98.43%| unknown
3586.37/3597.00 c
3586.37/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.37/3597.00 c Solving Time (sec) : 3597.00
3586.37/3597.00 c Solving Nodes : 623
3586.37/3597.00 c Primal Bound : +2.40000000000000e+01 (47 solutions)
3586.37/3597.00 c Dual Bound : +1.21018166764491e+01
3586.37/3597.00 c Gap : 98.32 %
3586.47/3597.00 s SATISFIABLE
3586.47/3597.00 v x1 x176 x346 x700 x840 -x994 -x1021 -x1048 -x1075 -x1102 -x1129 -x1156 x10 x1183 -x13 -x1195 -x16 -x1207 -x19 -x1219 -x22 -x1231
3586.47/3597.00 v -x25 -x1243 -x28 -x1255 -x31 -x1267 -x34 -x1279 -x37 -x1291 -x40 -x1303 x43 -x1315 -x46 -x1327 -x49 -x1339 -x52 -x1351 -x55 -x1363
3586.47/3597.00 v -x58 -x1375 -x1387 -x63 -x1399 -x66 -x1411 x69 -x1423 -x1435 -x1437 -x1442 -x1444 -x1449 -x1451 -x1456 -x1458 -x1463 -x1465 -x1470
3586.47/3597.00 v -x1472 -x1477 -x1479 -x1484 -x1486 -x1491 -x1493 -x1498 -x1500 -x1505 -x1507 -x1512 -x1514 -x1519 -x1521 -x1526 -x1528 -x1533 -x1535
3586.47/3597.00 v -x1540 -x1542 -x1547 -x1549 -x1554 -x1556 -x1561 -x1563 -x1568 -x1570 -x1575 -x1577 -x1582 -x1584 -x1589 -x1591 -x1596 -x1598 -x1603
3586.47/3597.00 v -x1605 -x1610 -x1612 -x1617 -x1619 -x1624 -x1626 -x1631 -x1633 -x1638 -x1640 -x1645 -x1647 -x1652 -x1654 -x1659 -x1661 -x1666 -x1668
3586.47/3597.00 v x1673 -x1675 -x1680 -x1707 -x1734 -x1761 -x1788 -x1815 -x1842 x185 x1869 -x1881 -x190 -x1893 -x193 -x1905 -x196 -x1917 -x199 -x1929
3586.47/3597.00 v -x202 -x1941 -x1953 -x207 -x1965 -x210 -x1977 -x1989 x215 -x2001 -x2013 -x220 -x2025 -x2037 -x225 -x2049 -x2061 -x230 -x2073 x233
3586.47/3597.00 v -x2085 -x236 -x2097 -x239 -x2109 -x2121 -x2123 -x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165
3586.47/3597.00 v -x2170 -x2172 -x2177 -x2179 -x2184 -x2186 -x2191 -x2193 -x2198 -x2200 -x2205 -x2207 -x2212 -x2214 -x2219 -x2221 -x2226 -x2228 -x2233
3586.47/3597.00 v -x2235 -x2240 -x2242 -x2247 -x2249 -x2254 -x2256 -x2261 -x2263 -x2268 -x2270 -x2275 -x2277 -x2282 -x2284 -x2289 -x2291 -x2296 -x2298
3586.47/3597.00 v -x2303 -x2305 -x2310 -x2312 -x2317 -x2319 -x2324 -x2326 -x2331 -x2333 -x2338 -x2340 -x2345 -x2347 -x2352 -x2354 x2359 -x2361 -x2366
3586.47/3597.00 v -x2424 -x2482 -x2540 -x2598 -x2656 -x2714 -x2772 x356 x2830 -x359 -x2857 -x362 -x2884 -x365 -x2911 -x2938 -x370 -x2965 -x373 -x2992
3586.47/3597.00 v -x376 -x3019 -x3046 -x3073 -x3100 -x385 -x3127 -x3154 -x3181 -x392 -x3208 -x395 -x3235 -x3262 -x400 -x3289 -x3316 -x405 -x3343 -x3370
3586.47/3597.00 v -x410 -x3397 x413 -x3424 -x416 -x3451 -x419 -x3478 -x3505 -x424 -x3532 x427 -x3559 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628
3586.47/3597.00 v -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756
3586.47/3597.00 v -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894
3586.47/3597.00 v -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3962 -x3964 -x3976 -x3978 -x3990 -x3992 -x4004 -x4006 -x4018 -x4020 -x4032
3586.47/3597.00 v -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4128 -x4130 -x4142 -x4144 -x4156 -x4158 -x4170
3586.47/3597.00 v -x4172 -x4184 -x4186 -x4198 -x4200 -x4212 -x4214 -x4226 -x4228 -x4240 -x4242 -x4254 -x4256 -x4268 -x4270 -x4282 -x4284 -x4296 -x4298
3586.47/3597.00 v -x4310 -x4312 -x4324 -x4326 -x4338 -x4340 -x4352 -x4354 -x4366 x4371 -x4376 -x4381 -x4386 -x4391 -x4396 -x4401 -x4406 -x4411 -x4416
3586.47/3597.00 v -x4421 -x4426 -x4431 -x4436 -x4441 -x4446 -x4451 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511
3586.47/3597.00 v -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 -x4586 -x4591 -x4596 -x4601 -x4606
3586.47/3597.00 v -x4611 -x4616 -x4621 -x4626 -x4631 -x4636 -x4641 -x4646 -x4651 -x4656 -x4661 -x4666 -x4671 -x4676 -x4681 -x4686 -x4691 -x4696 -x4701
3586.47/3597.00 v -x4706 -x4711 -x4716 -x4743 -x4770 -x4797 -x4824 -x4851 -x4878 x4905 -x4917 -x4929 -x4941 -x4953 -x4965 -x4977 -x4989 -x725 -x5001
3586.47/3597.00 v -x5013 -x5025 -x5037 -x5049 -x5061 -x5073 -x5085 -x5097 -x5109 -x5121 -x5133 -x5145 -x5157 -x5159 -x5164 -x5166 -x5168 -x5173 -x5175
3586.47/3597.00 v -x5180 -x5182 -x5187 -x5192 -x5194 -x5196 -x5201 -x5206 -x5208 -x5213 -x5215 -x5220 -x5225 -x5227 -x5232 -x5234 -x5239 -x5241 -x5246
3586.47/3597.00 v -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5284 -x5289 -x5291 -x5293 -x5298 -x5303 -x5305 -x5310 -x5312 -x5317
3586.47/3597.00 v -x5322 -x5327 -x5332 -x5337 -x5339 -x5344 -x5346 -x5351 -x5356 -x5361 -x5388 -x5415 -x5442 -x5469 -x5496 -x5523 x5550 -x5562 -x5574
3586.47/3597.00 v -x855 -x5586 -x858 -x5598 -x5610 -x863 -x5622 -x5634 -x868 -x5646 -x5658 -x5670 x875 -x5682 -x5694 -x880 -x5706 -x5718 -x5730 -x5742
3586.47/3597.00 v -x5754 -x5766 -x893 -x5778 -x5790 -x5802 -x5804 -x5809 -x5814 -x5816 -x5821 -x5823 -x5828 -x5833 -x5835 -x5840 -x5842 -x5847 -x5849
3586.47/3597.00 v -x5854 -x5859 -x5861 -x5866 -x5868 -x5873 -x5878 -x5880 -x5885 -x5887 -x5892 -x5894 -x5899 -x5901 -x5906 -x5908 -x5913 -x5915 -x5920
3586.47/3597.00 v -x5922 -x5927 -x5929 -x5934 -x5939 -x5944 -x5946 -x5951 -x5953 -x5958 -x5960 -x5965 -x5967 -x5972 -x5974 -x5979 -x5981 -x5986 -x5988
3586.47/3597.00 v -x5990 -x5995 -x5997 -x6002 -x6007 -x6009 -x6014 -x6016 x6021 -x6023 x9 x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27
3586.47/3597.00 v -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x61 -x62 -x64 -x65
3586.47/3597.00 v -x67 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 -x78 -x77 -x79 -x81 -x80 -x82 -x84 -x83 -x85 -x87 -x86 -x88 -x90 -x89 -x91 -x93 -x92
3586.47/3597.00 v -x94 -x96 -x95 -x97 -x99 -x98 -x100 -x102 -x101 -x103 -x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117
3586.47/3597.00 v -x116 -x118 -x120 -x119 -x121 -x123 -x122 -x124 -x126 -x125 -x127 -x129 -x128 -x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137
3586.47/3597.00 v -x139 -x141 -x140 -x142 -x144 -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160
3586.47/3597.00 v -x162 -x161 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 x174 -x173 -x175 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x184 x186 -x187
3586.47/3597.00 v -x188 -x189 -x191 -x192 -x194 -x195 -x197 -x198 -x200 -x201 -x203 -x204 -x205 -x206 -x208 -x209 -x211 -x212 -x213 -x214 -x216 -x217
3586.47/3597.00 v -x218 -x219 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 -x231 -x232 -x234 -x235 -x237 -x238 -x240 -x242 -x241 -x243 -x245 -x244
3586.47/3597.00 v -x246 -x248 -x247 -x249 -x251 -x250 -x252 -x254 -x253 -x255 -x257 -x256 -x258 -x260 -x259 -x261 -x263 -x262 -x264 -x266 -x265 -x267
3586.47/3597.00 v -x269 -x268 -x270 -x272 -x271 -x273 -x275 -x274 -x276 -x278 -x277 -x279 -x281 -x280 -x282 -x284 -x283 -x285 -x287 -x286 -x288 -x290
3586.47/3597.00 v -x289 -x291 -x293 -x292 -x294 -x296 -x295 -x297 -x299 -x298 -x300 -x302 -x301 -x303 -x305 -x304 -x306 -x308 -x307 -x309 -x311 -x310
3586.47/3597.00 v -x312 -x314 -x313 -x315 -x317 -x316 -x318 -x320 -x319 -x321 -x323 -x322 -x324 -x326 -x325 -x327 -x329 -x328 -x330 -x332 -x331 -x333
3586.47/3597.00 v -x335 -x334 -x336 -x338 -x337 -x339 -x341 -x340 -x342 x344 -x343 -x345 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x355 x357 -x358
3586.47/3597.00 v -x360 -x361 -x363 -x364 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x386 -x387
3586.47/3597.00 v -x388 -x389 -x390 -x391 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415
3586.47/3597.00 v -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x439 -x438 -x440 -x442
3586.47/3597.00 v -x441 -x443 -x445 -x444 -x446 -x448 -x447 -x449 -x451 -x450 -x452 -x454 -x453 -x455 -x457 -x456 -x458 -x460 -x459 -x461 -x463 -x462
3586.47/3597.00 v -x464 -x466 -x465 -x467 -x469 -x468 -x470 -x472 -x471 -x473 -x475 -x474 -x476 -x478 -x477 -x479 -x481 -x480 -x482 -x484 -x483 -x485
3586.47/3597.00 v -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x500 -x502 -x501 -x503 -x505 -x504 -x506 -x507
3586.47/3597.00 v -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529
3586.47/3597.00 v -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x540 -x539 -x541 -x542 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550
3586.47/3597.00 v -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573
3586.47/3597.00 v -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596
3586.47/3597.00 v -x595 x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616
3586.47/3597.00 v -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639
3586.47/3597.00 v -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662
3586.47/3597.00 v -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682
3586.47/3597.00 v -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x347 -x348 -x349 -x350 -x351 -x352
3586.47/3597.00 v -x353 -x354 x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x726 -x727 -x728
3586.47/3597.00 v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
3586.47/3597.00 v -x752 -x751 -x753 -x755 -x754 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x770 -x769 -x771 -x772
3586.47/3597.00 v -x773 -x775 -x774 -x776 -x778 -x777 -x779 -x780 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793
3586.47/3597.00 v -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x805 -x806 -x807 -x808 -x810 -x809 -x812 -x811 -x813 -x814 -x815 -x817
3586.47/3597.00 v -x816 -x818 -x820 -x819 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x831 -x830 -x832 -x834 -x833 -x835 -x836 -x837 -x838
3586.47/3597.00 v -x839 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x848 x849 -x850 -x851 -x852 -x853 -x854 -x856 -x857 -x859 -x860 -x861 -x862 -x864
3586.47/3597.00 v -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889
3586.47/3597.00 v -x890 -x891 -x892 -x894 -x895 -x896 -x898 -x897 -x899 -x900 -x901 -x903 -x902 -x904 -x906 -x905 -x907 -x908 -x909 -x911 -x910 -x912
3586.47/3597.00 v -x914 -x913 -x915 -x917 -x916 -x918 -x919 -x920 -x922 -x921 -x923 -x925 -x924 -x926 -x927 -x928 -x930 -x929 -x931 -x933 -x932 -x934
3586.47/3597.00 v -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x951 -x950 -x952 -x953 -x954 -x955 -x956
3586.47/3597.00 v -x958 -x957 -x959 -x961 -x960 -x962 -x964 -x963 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x973 -x972 -x974 -x976 -x975 -x978 -x977
3586.47/3597.00 v -x979 -x981 -x980 -x982 -x983 -x984 -x986 -x985 -x987 -x989 -x988 -x990 x992 -x991 -x993 -x841 -x842 -x843 -x844 -x845 -x846 -x847
3586.47/3597.00 v x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
3586.47/3597.00 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034
3586.47/3597.00 v -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054
3586.47/3597.00 v -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
3586.47/3597.00 v -x1074 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3586.47/3597.00 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
3586.47/3597.00 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1130 -x1131 -x1132 -x1133
3586.47/3597.00 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152
3586.47/3597.00 v -x1153 -x1154 -x1155 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172
3586.47/3597.00 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
3586.47/3597.00 v -x1193 -x1194 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
3586.47/3597.00 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234
3586.47/3597.00 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
3586.47/3597.00 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275
3586.47/3597.00 v -x1276 -x1277 -x1278 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296
3586.47/3597.00 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1316 x1317
3586.47/3597.00 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337
3586.47/3597.00 v -x1338 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358
3586.47/3597.00 v -x1359 -x1360 -x1361 -x1362 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1376 -x1377 -x1378 -x1379
3586.47/3597.00 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400
3586.47/3597.00 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
3586.47/3597.00 v -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1436 x1438 -x1439 -x1440 -x1441 x1443
3586.47/3597.00 v x1445 -x1446 -x1447 -x1448 x1450 x1452 x1453 -x1454 -x1455 x1457 -x1459 -x1460 -x1461 -x1462 x1464 -x1466 -x1467 -x1468 -x1469 x1471
3586.47/3597.00 v x1473 -x1474 -x1475 -x1476 -x1478 -x1480 -x1481 -x1482 -x1483 -x1485 -x1487 -x1488 -x1489 -x1490 -x1492 -x1494 -x1495 -x1496 -x1497
3586.47/3597.00 v -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 -x1508 -x1509 -x1510 -x1511 -x1513 -x1515 -x1516 -x1517 -x1518 -x1520 -x1522 -x1523 -x1524
3586.47/3597.00 v -x1525 -x1527 -x1529 -x1530 -x1531 -x1532 x1534 -x1536 -x1537 -x1538 -x1539 x1541 x1543 -x1544 -x1545 -x1546 -x1548 -x1550 -x1551
3586.47/3597.00 v -x1552 -x1553 -x1555 -x1557 -x1558 -x1559 -x1560 -x1562 -x1564 -x1565 -x1566 -x1567 -x1569 -x1571 -x1572 -x1573 -x1574 -x1576 -x1578
3586.47/3597.00 v -x1579 -x1580 -x1581 -x1583 -x1585 -x1586 -x1587 -x1588 -x1590 -x1592 -x1593 -x1594 -x1595 -x1597 -x1599 -x1600 -x1601 -x1602 x1604
3586.47/3597.00 v -x1606 -x1607 -x1608 -x1609 x1611 x1613 x1614 -x1615 -x1616 x1618 -x1620 -x1621 -x1622 -x1623 x1625 -x1627 -x1628 -x1629 -x1630
3586.47/3597.00 v -x1632 -x1634 -x1635 -x1636 -x1637 -x1639 -x1641 -x1642 -x1643 -x1644 x1646 -x1648 -x1649 -x1650 -x1651 -x1653 -x1655 -x1656 -x1657
3586.47/3597.00 v -x1658 -x1660 -x1662 -x1663 -x1664 -x1665 x1667 -x1669 -x1670 -x1671 -x1672 x1674 x1676 x1677 -x1678 -x1679 x1681 -x1682 -x1683
3586.47/3597.00 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
3586.47/3597.00 v -x1703 -x1704 -x1705 -x1706 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
3586.47/3597.00 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742
3586.47/3597.00 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1762
3586.47/3597.00 v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781
3586.47/3597.00 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801
3586.47/3597.00 v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
3586.47/3597.00 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
3586.47/3597.00 v -x1841 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
3586.47/3597.00 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
3586.47/3597.00 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901
3586.47/3597.00 v -x1902 -x1903 -x1904 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1918 -x1919 -x1920 -x1921 -x1922
3586.47/3597.00 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943
3586.47/3597.00 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963
3586.47/3597.00 v -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984
3586.47/3597.00 v -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2002 x2003 -x2004 -x2005
3586.47/3597.00 v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026
3586.47/3597.00 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046
3586.47/3597.00 v -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
3586.47/3597.00 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2086 -x2087 -x2088
3586.47/3597.00 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108
3586.47/3597.00 v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2122 x2124 -x2125 -x2126 -x2127 x2129 x2131 -x2132
3586.47/3597.00 v -x2133 -x2134 x2136 -x2138 -x2139 -x2140 -x2141 x2143 -x2145 -x2146 -x2147 -x2148 x2150 x2152 x2153 -x2154 -x2155 x2157 x2159 -x2160
3586.47/3597.00 v -x2161 -x2162 -x2164 -x2166 -x2167 -x2168 -x2169 -x2171 -x2173 -x2174 -x2175 -x2176 -x2178 -x2180 -x2181 -x2182 -x2183 -x2185 -x2187
3586.47/3597.00 v -x2188 -x2189 -x2190 -x2192 -x2194 -x2195 -x2196 -x2197 -x2199 -x2201 -x2202 -x2203 -x2204 x2206 -x2208 -x2209 -x2210 -x2211 -x2213
3586.47/3597.00 v -x2215 -x2216 -x2217 -x2218 -x2220 -x2222 -x2223 -x2224 -x2225 x2227 x2229 -x2230 -x2231 -x2232 -x2234 -x2236 -x2237 -x2238 -x2239
3586.47/3597.00 v -x2241 -x2243 -x2244 -x2245 -x2246 -x2248 -x2250 -x2251 -x2252 -x2253 -x2255 -x2257 -x2258 -x2259 -x2260 -x2262 -x2264 -x2265 -x2266
3586.47/3597.00 v -x2267 -x2269 -x2271 -x2272 -x2273 -x2274 x2276 -x2278 -x2279 -x2280 -x2281 -x2283 -x2285 -x2286 -x2287 -x2288 -x2290 -x2292 -x2293
3586.47/3597.00 v -x2294 -x2295 x2297 -x2299 -x2300 -x2301 -x2302 x2304 -x2306 -x2307 -x2308 -x2309 x2311 x2313 x2314 -x2315 -x2316 x2318 -x2320 -x2321
3586.47/3597.00 v -x2322 -x2323 -x2325 -x2327 -x2328 -x2329 -x2330 -x2332 -x2334 -x2335 -x2336 -x2337 x2339 -x2341 -x2342 -x2343 -x2344 -x2346 -x2348
3586.47/3597.00 v -x2349 -x2350 -x2351 -x2353 -x2355 -x2356 -x2357 -x2358 x2360 x2362 x2363 -x2364 -x2365 x2367 -x2368 -x2369 -x2370 -x2371 -x2372
3586.47/3597.00 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
3586.47/3597.00 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
3586.47/3597.00 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2425 -x2426 -x2427 -x2428 -x2429 -x2430
3586.47/3597.00 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449
3586.47/3597.00 v -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
3586.47/3597.00 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488
3586.47/3597.00 v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507
3586.47/3597.00 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
3586.47/3597.00 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546
3586.47/3597.00 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565
3586.47/3597.00 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
3586.47/3597.00 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604
3586.47/3597.00 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623
3586.47/3597.00 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642
3586.47/3597.00 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662
3586.47/3597.00 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681
3586.47/3597.00 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
3586.47/3597.00 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
3586.47/3597.00 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
3586.47/3597.00 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
3586.47/3597.00 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
3586.47/3597.00 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797
3586.47/3597.00 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816
3586.47/3597.00 v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2831 x2832 -x2833 -x2834 -x2835 -x2836
3586.47/3597.00 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855
3586.47/3597.00 v -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
3586.47/3597.00 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895
3586.47/3597.00 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2912 -x2913 -x2914 -x2915
3586.47/3597.00 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934
3586.47/3597.00 v -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954
3586.47/3597.00 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974
3586.47/3597.00 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2993 -x2994
3586.47/3597.00 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013
3586.47/3597.00 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033
3586.47/3597.00 v -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
3586.47/3597.00 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072
3586.47/3597.00 v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092
3586.47/3597.00 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112
3586.47/3597.00 v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 -x3132
3586.47/3597.00 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151
3586.47/3597.00 v -x3152 -x3153 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171
3586.47/3597.00 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191
3586.47/3597.00 v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3209 -x3210 -x3211
3586.47/3597.00 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
3586.47/3597.00 v -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
3586.47/3597.00 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
3586.47/3597.00 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3290
3586.47/3597.00 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309
3586.47/3597.00 v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329
3586.47/3597.00 v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349
3586.47/3597.00 v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
3586.47/3597.00 v -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388
3586.47/3597.00 v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408
3586.47/3597.00 v -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428
3586.47/3597.00 v -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447
3586.47/3597.00 v -x3448 -x3449 -x3450 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467
3586.47/3597.00 v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
3586.47/3597.00 v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3506 -x3507
3586.47/3597.00 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526
3586.47/3597.00 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546
3586.47/3597.00 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566
3586.47/3597.00 v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585
3586.47/3597.00 v x3587 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3601 x3603 -x3604 -x3605 -x3606 -x3607 -x3608
3586.47/3597.00 v -x3609 -x3610 -x3611 -x3612 -x3613 x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3629 -x3631
3586.47/3597.00 v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652
3586.47/3597.00 v -x3653 -x3654 -x3655 x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3671 x3673 -x3674 -x3675
3586.47/3597.00 v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696
3586.47/3597.00 v -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719
3586.47/3597.00 v -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3741
3586.47/3597.00 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763
3586.47/3597.00 v -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786
3586.47/3597.00 v -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807
3586.47/3597.00 v -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830
3586.47/3597.00 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851
3586.47/3597.00 v -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874
3586.47/3597.00 v -x3875 -x3876 -x3877 -x3878 -x3879 x3881 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897
3586.47/3597.00 v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918
3586.47/3597.00 v -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941
3586.47/3597.00 v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961
3586.47/3597.00 v -x3963 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3977 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984
3586.47/3597.00 v -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 x4005 -x4007
3586.47/3597.00 v -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028
3586.47/3597.00 v -x4029 -x4030 -x4031 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4049 -x4050 -x4051
3586.47/3597.00 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072
3586.47/3597.00 v -x4073 x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4089 -x4091 -x4092 -x4093 -x4094 -x4095
3586.47/3597.00 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117
3586.47/3597.00 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138
3586.47/3597.00 v -x4139 -x4140 -x4141 x4143 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4157 -x4159 -x4160 -x4161
3586.47/3597.00 v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4171 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182
3586.47/3597.00 v -x4183 -x4185 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205
3586.47/3597.00 v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4213 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 x4227
3586.47/3597.00 v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249
3586.47/3597.00 v -x4250 -x4251 -x4252 -x4253 x4255 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4271 -x4272
3586.47/3597.00 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4283 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293
3586.47/3597.00 v -x4294 -x4295 x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4311 -x4313 -x4314 -x4315 -x4316
3586.47/3597.00 v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4325 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337
3586.47/3597.00 v x4339 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4353 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360
3586.47/3597.00 v -x4361 -x4362 -x4363 -x4364 -x4365 x4367 x4368 -x4369 -x4370 x4372 x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383
3586.47/3597.00 v -x4384 -x4385 -x4387 -x4388 -x4389 -x4390 x4392 x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4407
3586.47/3597.00 v -x4408 -x4409 -x4410 -x4412 -x4413 -x4414 -x4415 x4417 x4418 -x4419 -x4420 -x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430
3586.47/3597.00 v -x4432 -x4433 -x4434 -x4435 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454
3586.47/3597.00 v -x4455 x4457 x4458 -x4459 -x4460 x4462 x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 -x4475 -x4477 -x4478
3586.47/3597.00 v -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502
3586.47/3597.00 v -x4503 -x4504 -x4505 x4507 x4508 -x4509 -x4510 x4512 x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 -x4524 -x4525
3586.47/3597.00 v -x4527 -x4528 -x4529 -x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549
3586.47/3597.00 v -x4550 -x4552 -x4553 -x4554 -x4555 -x4557 -x4558 -x4559 -x4560 -x4562 -x4563 -x4564 -x4565 -x4567 -x4568 -x4569 -x4570 -x4572 -x4573
3586.47/3597.00 v -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4582 -x4583 -x4584 -x4585 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4597
3586.47/3597.00 v -x4598 -x4599 -x4600 -x4602 -x4603 -x4604 -x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4613 -x4614 -x4615 -x4617 -x4618 -x4619 -x4620
3586.47/3597.00 v -x4622 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 -x4630 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 -x4642 -x4643 -x4644
3586.47/3597.00 v -x4645 -x4647 -x4648 -x4649 -x4650 -x4652 -x4653 -x4654 -x4655 -x4657 -x4658 -x4659 -x4660 -x4662 -x4663 -x4664 -x4665 -x4667 -x4668
3586.47/3597.00 v -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 -x4690 -x4692
3586.47/3597.00 v -x4693 -x4694 -x4695 -x4697 -x4698 -x4699 -x4700 -x4702 -x4703 -x4704 -x4705 -x4707 -x4708 -x4709 -x4710 -x4712 -x4713 -x4714 -x4715
3586.47/3597.00 v x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735
3586.47/3597.00 v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755
3586.47/3597.00 v -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4771 -x4772 -x4773 -x4774 -x4775
3586.47/3597.00 v -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794
3586.47/3597.00 v -x4795 -x4796 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814
3586.47/3597.00 v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834
3586.47/3597.00 v -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4852 -x4853 -x4854
3586.47/3597.00 v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873
3586.47/3597.00 v -x4874 -x4875 -x4876 -x4877 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893
3586.47/3597.00 v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4906 x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913
3586.47/3597.00 v -x4914 -x4915 -x4916 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934
3586.47/3597.00 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4954 -x4955
3586.47/3597.00 v -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975
3586.47/3597.00 v -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996
3586.47/3597.00 v -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017
3586.47/3597.00 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5038
3586.47/3597.00 v x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058
3586.47/3597.00 v -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079
3586.47/3597.00 v -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100
3586.47/3597.00 v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120
3586.47/3597.00 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141
3586.47/3597.00 v -x5142 -x5143 -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5158 x5160 -x5161 -x5162 -x5163
3586.47/3597.00 v x5165 x5167 -x5169 -x5170 -x5171 -x5172 x5174 -x5176 -x5177 -x5178 -x5179 x5181 x5183 x5184 -x5185 -x5186 x5188 -x5189 -x5190 -x5191
3586.47/3597.00 v -x5193 -x5195 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218
3586.47/3597.00 v -x5219 -x5221 -x5222 -x5223 -x5224 x5226 -x5228 -x5229 -x5230 -x5231 -x5233 -x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244
3586.47/3597.00 v -x5245 x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 -x5266 -x5268 -x5269 -x5270
3586.47/3597.00 v -x5271 -x5273 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5285 -x5286 -x5287 -x5288 x5290 -x5292 -x5294 -x5295 -x5296
3586.47/3597.00 v -x5297 -x5299 -x5300 -x5301 -x5302 x5304 -x5306 -x5307 -x5308 -x5309 x5311 -x5313 -x5314 -x5315 -x5316 x5318 x5319 -x5320 -x5321
3586.47/3597.00 v -x5323 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5331 -x5333 -x5334 -x5335 -x5336 x5338 -x5340 -x5341 -x5342 -x5343 -x5345 -x5347
3586.47/3597.00 v -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 x5357 x5358 -x5359 -x5360 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369
3586.47/3597.00 v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5389
3586.47/3597.00 v -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408
3586.47/3597.00 v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428
3586.47/3597.00 v -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448
3586.47/3597.00 v -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467
3586.47/3597.00 v -x5468 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487
3586.47/3597.00 v -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507
3586.47/3597.00 v -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527
3586.47/3597.00 v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546
3586.47/3597.00 v -x5547 -x5548 -x5549 x5551 x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5563 -x5564 -x5565 -x5566 -x5567
3586.47/3597.00 v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5587 -x5588
3586.47/3597.00 v -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608
3586.47/3597.00 v -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629
3586.47/3597.00 v -x5630 -x5631 -x5632 -x5633 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650
3586.47/3597.00 v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5671
3586.47/3597.00 v -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691
3586.47/3597.00 v -x5692 -x5693 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712
3586.47/3597.00 v -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733
3586.47/3597.00 v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753
3586.47/3597.00 v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774
3586.47/3597.00 v -x5775 -x5776 -x5777 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5791 -x5792 -x5793 -x5794 -x5795
3586.47/3597.00 v -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5803 x5805 x5806 -x5807 -x5808 x5810 -x5811 -x5812 -x5813 x5815 x5817 x5818 -x5819 -x5820
3586.47/3597.00 v x5822 -x5824 -x5825 -x5826 -x5827 -x5829 -x5830 -x5831 -x5832 x5834 x5836 -x5837 -x5838 -x5839 -x5841 -x5843 -x5844 -x5845 -x5846
3586.47/3597.00 v -x5848 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 x5860 -x5862 -x5863 -x5864 -x5865 -x5867 -x5869 -x5870 -x5871 -x5872
3586.47/3597.00 v -x5874 -x5875 -x5876 -x5877 -x5879 -x5881 -x5882 -x5883 -x5884 -x5886 -x5888 -x5889 -x5890 -x5891 x5893 -x5895 -x5896 -x5897 -x5898
3586.47/3597.00 v x5900 x5902 -x5903 -x5904 -x5905 -x5907 -x5909 -x5910 -x5911 -x5912 -x5914 -x5916 -x5917 -x5918 -x5919 -x5921 -x5923 -x5924 -x5925
3586.47/3597.00 v -x5926 x5928 -x5930 -x5931 -x5932 -x5933 -x5935 -x5936 -x5937 -x5938 -x5940 -x5941 -x5942 -x5943 -x5945 -x5947 -x5948 -x5949 -x5950
3586.47/3597.00 v -x5952 -x5954 -x5955 -x5956 -x5957 x5959 -x5961 -x5962 -x5963 -x5964 x5966 x5968 x5969 -x5970 -x5971 x5973 -x5975 -x5976 -x5977
3586.47/3597.00 v -x5978 x5980 -x5982 -x5983 -x5984 -x5985 -x5987 -x5989 -x5991 -x5992 -x5993 -x5994 x5996 x5998 x5999 -x6000 -x6001 -x6003 -x6004
3586.47/3597.00 v -x6005 -x6006 x6008 -x6010 -x6011 -x6012 -x6013 x6015 -x6017 -x6018 -x6019 -x6020 x6022 x6024 x6025 -x6026 -x6027
3586.47/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.47/3597.00 c Total Time : 3597.00
3586.47/3597.00 c solving : 3597.00
3586.47/3597.00 c presolving : 0.30 (included in solving)
3586.47/3597.00 c reading : 0.04 (included in solving)
3586.47/3597.00 c copying : 0.23 (11 #copies) (minimal 0.01, maximal 0.03, average 0.02)
3586.47/3597.00 c Original Problem :
3586.47/3597.00 c Problem name : HOME/instance-4497433-1751388083.opb
3586.47/3597.00 c Variables : 6027 (6027 binary, 0 integer, 0 continuous)
3586.47/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.47/3597.00 c Constraints : 21278 initial, 21278 maximal
3586.47/3597.00 c Objective : minimize, 650 non-zeros (abs.min = 1, abs.max = 1)
3586.47/3597.00 c Presolved Problem :
3586.47/3597.00 c Problem name : t_HOME/instance-4497433-1751388083.opb
3586.47/3597.00 c Variables : 5294 (5294 binary, 0 integer, 0 continuous)
3586.47/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.47/3597.00 c Constraints : 5239 initial, 13974 maximal
3586.47/3597.00 c Objective : minimize, 645 non-zeros (abs.min = 1, abs.max = 1)
3586.47/3597.00 c Nonzeros : 21274 constraint, 30036 clique table
3586.47/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.47/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c gateextraction : 0.04 0.00 3 0 0 0 0 0 19487 4784 0 0
3586.47/3597.00 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c milp : 0.04 0.00 1 0 9 0 0 0 0 0 0 0
3586.47/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c knapsack : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c setppc : 0.02 0.00 8 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c and : 0.03 0.00 4 0 135 0 0 0 135 0 0 0
3586.47/3597.00 c linear : 0.08 0.01 5 5 584 0 5 0 1201 0 9 10
3586.47/3597.00 c logicor : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.47/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.47/3597.00 c integral : 0 0 0 0 622 0 0 173 0 0 0 0 0 0 1244
3586.47/3597.00 c knapsack : 1 1 0 52447 0 0 0 167 2111 554 0 0 0 0 0
3586.47/3597.00 c setppc : 584+ 585 51 51872 0 0 0 128 8205 43 556 0 0 0 0
3586.47/3597.00 c and : 4649 4649 2122 51867 0 0 0 54 74060 392 35722 267240 92788 0 0
3586.47/3597.00 c linear : 0+ 201 51 46548 0 0 0 3 21 15 0 36 19 0 0
3586.47/3597.00 c logicor : 5+ 8568 51 15741 0 0 0 48 187 36 0 209 29 0 0
3586.47/3597.00 c fixedvar : 0 0 0 0 0 0 0 49 0 0 0 0 0 0 0
3586.47/3597.00 c countsols : 0 0 0 0 0 0 0 49 0 0 0 0 0 0 0
3586.47/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.47/3597.00 c integral : 1042.68 0.00 0.00 0.00 1042.68 0.00 0.00 0.00 0.00 0.00
3586.47/3597.00 c knapsack : 0.32 0.00 0.00 0.29 0.00 0.00 0.00 0.00 0.01 0.01
3586.47/3597.00 c setppc : 0.14 0.00 0.00 0.09 0.00 0.00 0.00 0.01 0.00 0.03
3586.47/3597.00 c and : 7.04 0.00 2.76 1.66 0.00 0.00 0.00 0.04 0.02 2.57
3586.47/3597.00 c linear : 0.21 0.01 0.10 0.06 0.00 0.00 0.00 0.00 0.00 0.04
3586.47/3597.00 c logicor : 0.26 0.00 0.01 0.21 0.00 0.00 0.00 0.00 0.00 0.05
3586.47/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.47/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.47/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.47/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.47/3597.00 c dualfix : 2 0 0 0
3586.47/3597.00 c genvbounds : 0 0 0 0
3586.47/3597.00 c nlobbt : 0 0 0 0
3586.47/3597.00 c obbt : 0 0 0 0
3586.47/3597.00 c probing : 0 0 0 0
3586.47/3597.00 c pseudoobj : 2854 0 0 0
3586.47/3597.00 c redcost : 2194 0 0 0
3586.47/3597.00 c rootredcost : 1 0 0 0
3586.47/3597.00 c symmetry : 0 0 0 0
3586.47/3597.00 c vbounds : 33759 0 0 0
3586.47/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.47/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.47/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.47/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.47/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.47/3597.00 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3586.47/3597.00 c pseudoobj : 0.02 0.00 0.00 0.01 0.00 0.00
3586.47/3597.00 c redcost : 0.21 0.00 0.00 0.20 0.00 0.00
3586.47/3597.00 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.01
3586.47/3597.00 c symmetry : 0.04 0.00 0.03 0.00 0.00 0.01
3586.47/3597.00 c vbounds : 0.05 0.00 0.00 0.03 0.00 0.02
3586.47/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.47/3597.00 c propagation : 0.14 1028 1028 - 13370 98.1 23 63.7 - - -
3586.47/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.47/3597.00 c bound exceed. LP : 0.26 53 9 - 466 1254.0 7 98.4 5 590.0 450
3586.47/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.47/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.47/3597.00 c applied globally : 0.09 - - 0 9065 34.5 - - 5 - -
3586.47/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.47/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.47/3597.00 c cut pool : 0.82 - 927 99 - - 16771 70906 - - - - - (maximal pool size: 7428)
3586.47/3597.00 c aggregation : 0.85 0.00 283 51 0 0 17 191 0 30 30 0 0
3586.47/3597.00 c > cmir : - - - - - - - 186 0 30 30 0 -
3586.47/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.47/3597.00 c > knapsackcover : - - - - - - - 5 0 0 0 0 -
3586.47/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c clique : 0.45 0.00 51 51 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c gomory : 150.73 0.00 196 10 0 0 2570 6511 0 281 281 0 0
3586.47/3597.00 c > gomorymi : - - - - - - - 3975 0 238 238 0 -
3586.47/3597.00 c > strongcg : - - - - - - - 2536 0 43 43 0 -
3586.47/3597.00 c impliedbounds : 0.23 0.00 283 51 0 0 13656 58116 0 30086 30086 0 0
3586.47/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c multilinear : 0.02 0.00 197 51 0 0 59 150 0 71 71 0 0
3586.47/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c rapidlearning : 0.28 0.00 1 1 0 0 0 0 0 0 0 0 200
3586.47/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.47/3597.00 c zerohalf : 5.17 0.00 206 20 0 0 469 5938 0 1550 1550 0 0
3586.47/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.47/3597.00 c hybrid : 0.51 0.00 2118 51 124855 0 213536 3526 0 11696
3586.47/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.47/3597.00 c problem variables: 0.00 - 0 0
3586.47/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.47/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c relpscost : 1042.68 0.00 622 0 0 0 0 0 0 1244
3586.47/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.47/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.47/3597.00 c LP solutions : 0.00 - - 0 0
3586.47/3597.00 c relax solutions : 0.00 - - 0 0
3586.47/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.47/3597.00 c strong branching : 0.01 - - 0 0
3586.47/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.47/3597.00 c adaptivediving : 12.84 0.00 8 0 0
3586.47/3597.00 c alns : 0.64 0.00 3 0 0
3586.47/3597.00 c bound : 0.00 0.00 0 0 0
3586.47/3597.00 c clique : 0.05 0.00 1 0 0
3586.47/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.47/3597.00 c completesol : 0.00 0.00 0 0 0
3586.47/3597.00 c conflictdiving : 3.65 0.00 5 0 0
3586.47/3597.00 c crossover : 0.10 0.00 1 1 0
3586.47/3597.00 c dins : 0.00 0.00 0 0 0
3586.47/3597.00 c distributiondivin: 15.65 0.00 5 0 0
3586.47/3597.00 c dks : 0.00 0.00 0 0 0
3586.47/3597.00 c dps : 0.00 0.00 0 0 0
3586.47/3597.00 c dualval : 0.00 0.00 0 0 0
3586.47/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.47/3597.00 c feaspump : 0.00 0.00 0 0 0
3586.47/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.47/3597.00 c fracdiving : 9.51 0.00 5 0 0
3586.47/3597.00 c gins : 0.00 0.00 0 0 0
3586.47/3597.00 c guideddiving : 5.76 0.00 4 0 0
3586.47/3597.00 c indicator : 0.00 0.00 0 0 0
3586.47/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.47/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.47/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.47/3597.00 c linesearchdiving : 6.66 0.00 5 0 0
3586.47/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.47/3597.00 c locks : 0.02 0.00 1 0 0
3586.47/3597.00 c lpface : 0.00 0.00 0 0 0
3586.47/3597.00 c mpec : 0.00 0.00 0 0 0
3586.47/3597.00 c multistart : 0.00 0.00 0 0 0
3586.47/3597.00 c mutation : 0.00 0.00 0 0 0
3586.47/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.47/3597.00 c objpscostdiving : 183.04 0.00 2 0 0
3586.47/3597.00 c octane : 0.00 0.00 0 0 0
3586.47/3597.00 c ofins : 0.00 0.00 0 0 0
3586.47/3597.00 c oneopt : 0.00 0.00 2 0 0
3586.47/3597.00 c padm : 0.00 0.00 0 0 0
3586.47/3597.00 c proximity : 0.00 0.00 0 0 0
3586.47/3597.00 c pscostdiving : 18.35 0.00 5 0 0
3586.47/3597.00 c randrounding : 0.87 0.00 127 0 0
3586.47/3597.00 c rens : 0.43 0.00 1 1 0
3586.47/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.47/3597.00 c repair : 0.00 0.00 0 0 0
3586.47/3597.00 c rins : 4.93 0.00 4 2 0
3586.47/3597.00 c rootsoldiving : 5.59 0.00 2 0 0
3586.47/3597.00 c rounding : 0.79 0.00 671 0 0
3586.47/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.47/3597.00 c shiftandpropagate: 0.07 0.00 1 1 1
3586.47/3597.00 c shifting : 2.19 0.00 715 42 1
3586.47/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.47/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.47/3597.00 c trivial : 0.00 0.00 2 0 0
3586.47/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.47/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.47/3597.00 c trysol : 0.00 0.00 0 0 0
3586.47/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.47/3597.00 c undercover : 0.07 0.00 1 0 0
3586.47/3597.00 c vbounds : 0.36 0.00 1 0 0
3586.47/3597.00 c veclendiving : 1.88 0.00 4 0 0
3586.47/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.47/3597.00 c zirounding : 0.63 0.00 622 0 0
3586.47/3597.00 c other solutions : - - - 0 -
3586.47/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.47/3597.00 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
3586.47/3597.00 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
3586.47/3597.00 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
3586.47/3597.00 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
3586.47/3597.00 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
3586.47/3597.00 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
3586.47/3597.00 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
3586.47/3597.00 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
3586.47/3597.00 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
3586.47/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.47/3597.00 c primal LP : 1.76 169 0 0.00 0.00 1.76 169
3586.47/3597.00 c dual LP : 2108.29 2741 9281266 3386.09 4402.27 0.00 0
3586.47/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.47/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.47/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.47/3597.01 c diving/probing LP: 291.10 1725 1411709 818.38 4849.63
3586.47/3597.01 c strong branching : 992.41 5296 4094001 773.04 4125.29 - - 7463
3586.47/3597.01 c (at root node) : - 11 8994 817.64 -
3586.47/3597.01 c conflict analysis: 0.11 45 450 10.00 4079.63
3586.47/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.47/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3586.47/3597.01 c B&B Tree :
3586.47/3597.01 c number of runs : 1
3586.47/3597.01 c nodes : 623 (622 internal, 1 leaves)
3586.47/3597.01 c feasible leaves : 0
3586.47/3597.01 c infeas. leaves : 0
3586.47/3597.01 c objective leaves : 0
3586.47/3597.01 c nodes (total) : 623 (622 internal, 1 leaves)
3586.47/3597.01 c nodes left : 623
3586.47/3597.01 c max depth : 33
3586.47/3597.01 c max depth (total): 33
3586.47/3597.01 c backtracks : 95 (15.2%)
3586.47/3597.01 c early backtracks : 0 (0.0%)
3586.47/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.47/3597.01 c delayed cutoffs : 0
3586.47/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.47/3597.01 c avg switch length: 3.81
3586.47/3597.01 c switching time : 0.81
3586.47/3597.01 c Root Node :
3586.47/3597.01 c First LP value : +7.55555555555556e+00
3586.47/3597.01 c First LP Iters : 461 (22000.57 Iter/sec)
3586.47/3597.01 c First LP Time : 0.02
3586.47/3597.01 c Final Dual Bound : +1.13289133563181e+01
3586.47/3597.01 c Final Root Iters : 26464
3586.47/3597.01 c Root LP Estimate : +1.52346910297104e+01
3586.47/3597.01 c Solution :
3586.47/3597.01 c Solutions found : 47 (2 improvements)
3586.47/3597.01 c First Solution : +2.70000000000000e+01 (in run 1, after 1 nodes, 0.86 seconds, depth 908, found by <shiftandpropagate>)
3586.47/3597.01 c Gap First Sol. : 440.00 %
3586.47/3597.01 c Gap Last Sol. : 217.65 %
3586.47/3597.01 c Primal Bound : +2.40000000000000e+01 (in run 1, after 1 nodes, 0.91 seconds, depth 0, found by <shifting>)
3586.47/3597.01 c Dual Bound : +1.21018166764491e+01
3586.47/3597.01 c Gap : 98.32 %
3586.47/3597.01 c Integrals : Total Avg%
3586.47/3597.01 c primal-dual : 182732.68 50.80
3586.47/3597.01 c primal-ref : - - (not evaluated)
3586.47/3597.01 c dual-ref : - - (not evaluated)
3586.47/3597.10 c Time complete (sec): 3586.587
OK 24
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: 63665 MiB (57635 MiB free)
memory of node 1: 64507 MiB (46736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497433-1751388083/watcher-4497433-1751388083 -o /tmp/evaluation-result-4497433-1751388083/solver-4497433-1751388083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53584 --watchdog 3760 pbsolver -f HOME/instance-4497433-1751388083.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=55544, runsolver pid=55541
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.14 4.10 5/265 55545
/proc/meminfo: memFree=106842540/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=65596 memory=55168 CPUtime=0.09 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 11628 0 0 0 8 1 0 0 20 0 1 0 54487128 67170304 13792 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 16399 13792 2432 2575 0 13306 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65596 KiB
Current children cumulated memory: 55168 KiB
[startup+0.205547 s]*
/proc/loadavg: 4.10 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106833484/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=79668 memory=70148 CPUtime=0.2 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 17858 0 0 0 17 3 0 0 20 0 1 0 54487128 81580032 17537 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 19917 17537 2592 2575 0 16824 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79668 KiB
Current children cumulated memory: 70148 KiB
[startup+0.30552 s]*
/proc/loadavg: 4.10 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106833484/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=84996 memory=74628 CPUtime=0.3 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 18969 0 0 0 27 3 0 0 20 0 1 0 54487128 87035904 18657 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 21249 18657 2624 2575 0 18156 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84996 KiB
Current children cumulated memory: 74628 KiB
[startup+0.700143 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106801964/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=161540 memory=142348 CPUtime=0.68 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 36762 0 0 0 62 6 0 0 20 0 1 0 54487128 165416960 35587 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 40385 35587 2688 2575 0 37292 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 161540 KiB
Current children cumulated memory: 142348 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106753580/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=168660 memory=152204 CPUtime=1.48 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 39255 0 0 0 142 6 0 0 20 0 1 0 54487128 172707840 38051 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 42165 38051 2688 2575 0 39072 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168660 KiB
Current children cumulated memory: 152204 KiB
[startup+3.10531 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106729396/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=196604 memory=180620 CPUtime=3.08 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 46412 0 0 0 301 7 0 0 20 0 1 0 54487128 201322496 45155 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 49151 45155 2688 2575 0 46058 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 196604 KiB
Current children cumulated memory: 180620 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106649008/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=235968 memory=209548 CPUtime=6.26 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 53652 0 0 0 618 8 0 0 20 0 1 0 54487128 241631232 52387 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 58992 52387 2688 2575 0 55899 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 235968 KiB
Current children cumulated memory: 209548 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106596536/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=286340 memory=251532 CPUtime=12.65 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 64148 0 0 0 1255 10 0 0 20 0 1 0 54487128 293212160 62883 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 71585 62883 2688 2575 0 68492 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 286340 KiB
Current children cumulated memory: 251532 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.10 5/264 55546
/proc/meminfo: memFree=106516480/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=287596 memory=254860 CPUtime=25.41 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 64992 0 0 0 2531 10 0 0 20 0 1 0 54487128 294498304 63715 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 71899 63715 2688 2575 0 68806 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 287596 KiB
Current children cumulated memory: 254860 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106463408/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=287596 memory=254988 CPUtime=50.94 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 65001 0 0 0 5084 10 0 0 20 0 1 0 54487128 294498304 63747 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 71899 63747 2688 2575 0 68806 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 287596 KiB
Current children cumulated memory: 254988 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 55548
/proc/meminfo: memFree=106359940/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=287596 memory=255116 CPUtime=102 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 65031 0 0 0 10189 11 0 0 20 0 1 0 54487128 294498304 63779 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 71899 63779 2688 2575 0 68806 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 287596 KiB
Current children cumulated memory: 255116 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 55550
/proc/meminfo: memFree=106257468/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=287596 memory=256268 CPUtime=161.82 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 65323 0 0 0 16171 11 0 0 20 0 1 0 54487128 294498304 64067 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 71899 64067 2688 2575 0 68806 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 287596 KiB
Current children cumulated memory: 256268 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 55553
/proc/meminfo: memFree=106161056/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=301752 memory=259980 CPUtime=221.65 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 66263 0 0 0 22153 12 0 0 20 0 1 0 54487128 308994048 64995 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 75438 64995 2688 2575 0 72345 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 301752 KiB
Current children cumulated memory: 259980 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 55558
/proc/meminfo: memFree=106059192/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=314824 memory=266124 CPUtime=281.48 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 67813 0 0 0 28135 13 0 0 20 0 1 0 54487128 322379776 66531 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 78706 66531 2688 2575 0 75613 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 314824 KiB
Current children cumulated memory: 266124 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 55560
/proc/meminfo: memFree=105963400/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=324264 memory=268940 CPUtime=341.31 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 68522 0 0 0 34118 13 0 0 20 0 1 0 54487128 332046336 67235 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 81066 67235 2688 2575 0 77973 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 324264 KiB
Current children cumulated memory: 268940 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 55562
/proc/meminfo: memFree=105869008/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=334972 memory=272908 CPUtime=401.14 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 69517 0 0 0 40100 14 0 0 20 0 1 0 54487128 343011328 68227 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 83743 68227 2688 2575 0 80650 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 334972 KiB
Current children cumulated memory: 272908 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 55569
/proc/meminfo: memFree=105834340/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=343472 memory=275596 CPUtime=460.96 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 70192 0 0 0 46081 15 0 0 20 0 1 0 54487128 351715328 68899 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 85868 68899 2688 2575 0 82775 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
/proc/loadavg: 4.07 4.11 4.09 5/263 55750
/proc/meminfo: memFree=104357828/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=581868 memory=531884 CPUtime=3153.08 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 119950 0 0 0 315283 25 0 0 20 0 1 0 54487128 595832832 132971 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 145467 132971 2688 2575 0 142374 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 581868 KiB
Current children cumulated memory: 531884 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 55752
/proc/meminfo: memFree=104348772/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=595256 memory=534444 CPUtime=3212.88 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 120632 0 0 0 321263 25 0 0 20 0 1 0 54487128 609542144 133611 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 148814 133611 2688 2575 0 145721 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 595256 KiB
Current children cumulated memory: 534444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 55754
/proc/meminfo: memFree=104320604/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=607272 memory=536364 CPUtime=3272.68 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 121107 0 0 0 327243 25 0 0 20 0 1 0 54487128 621846528 134091 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 151818 134091 2688 2575 0 148725 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 607272 KiB
Current children cumulated memory: 536364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 55759
/proc/meminfo: memFree=104268400/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=612896 memory=536364 CPUtime=3332.5 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 121244 0 0 0 333224 26 0 0 20 0 1 0 54487128 627605504 134091 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 153224 134091 2688 2575 0 150131 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 612896 KiB
Current children cumulated memory: 536364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 55762
/proc/meminfo: memFree=104238664/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=614544 memory=551724 CPUtime=3392.3 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 121544 0 0 0 339204 26 0 0 20 0 1 0 54487128 629293056 137931 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 153636 137931 2688 2575 0 150543 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 614544 KiB
Current children cumulated memory: 551724 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 55854
/proc/meminfo: memFree=106408960/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=616448 memory=569260 CPUtime=3452.13 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 122112 0 0 0 345187 26 0 0 20 0 1 0 54487128 631242752 142315 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 154112 142315 2688 2575 0 151019 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 616448 KiB
Current children cumulated memory: 569260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 55861
/proc/meminfo: memFree=106271120/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=618580 memory=609708 CPUtime=3511.97 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 122624 0 0 0 351171 26 0 0 20 0 1 0 54487128 633425920 152427 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 154645 152427 2688 2575 0 151552 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 618580 KiB
Current children cumulated memory: 609708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 55863
/proc/meminfo: memFree=106242020/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=654712 memory=645432 CPUtime=3571.81 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 132605 0 0 0 357154 27 0 0 20 0 1 0 54487128 670425088 161358 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 163678 161358 2688 2575 0 160585 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 654712 KiB
Current children cumulated memory: 645432 KiB
[startup+3597.11 s]
# the end of solver process 55544 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.31 s, system=0.283092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 55863
/proc/meminfo: memFree=106242044/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=654712 memory=645432 CPUtime=3573.51 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 132605 0 0 0 357324 27 0 0 20 0 1 0 54487128 670425088 161358 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 163678 161358 2688 2575 0 160585 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 654712 KiB
Current children cumulated memory: 645432 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 55863
/proc/meminfo: memFree=106242564/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=654712 memory=645432 CPUtime=3579.89 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 132605 0 0 0 357962 27 0 0 20 0 1 0 54487128 670425088 161358 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 163678 161358 2688 2575 0 160585 0
Current children cumulated CPU time: 3579.89 s
Current children cumulated vsize: 654712 KiB
Current children cumulated memory: 645432 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 55863
/proc/meminfo: memFree=106242564/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=654712 memory=645432 CPUtime=3583.08 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 132605 0 0 0 358281 27 0 0 20 0 1 0 54487128 670425088 161358 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 163678 161358 2688 2575 0 160585 0
Current children cumulated CPU time: 3583.08 s
Current children cumulated vsize: 654712 KiB
Current children cumulated memory: 645432 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 55864
/proc/meminfo: memFree=106242848/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=654712 memory=645432 CPUtime=3584.67 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 132605 0 0 0 358440 27 0 0 20 0 1 0 54487128 670425088 161358 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 163678 161358 2688 2575 0 160585 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 654712 KiB
Current children cumulated memory: 645432 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.09 5/265 55864
/proc/meminfo: memFree=106242848/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=654712 memory=645432 CPUtime=3585.48 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 132605 0 0 0 358521 27 0 0 20 0 1 0 54487128 670425088 161358 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 163678 161358 2688 2575 0 160585 0
Current children cumulated CPU time: 3585.48 s
Current children cumulated vsize: 654712 KiB
Current children cumulated memory: 645432 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 55864
/proc/meminfo: memFree=106242848/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=654712 memory=645432 CPUtime=3586.27 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 132605 0 0 0 358600 27 0 0 20 0 1 0 54487128 670425088 161358 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 163678 161358 2688 2575 0 160585 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 654712 KiB
Current children cumulated memory: 645432 KiB
[startup+3597 s]*
/proc/loadavg: 4.07 4.10 4.09 5/265 55864
/proc/meminfo: memFree=106242848/131249988 swapFree=33010160/33010684
[pid=55544] ppid=55541 vsize=654712 memory=645432 CPUtime=3586.47 cores=4,6
/proc/55544/stat : 55544 (pbsolver) R 55541 55544 53573 0 -1 4194304 132606 0 0 0 358620 27 0 0 20 0 1 0 54487128 670425088 161358 18446744073709551615 4198400 14743177 140728999124848 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 45817856 140728999127434 140728999127530 140728999127530 140728999133132 0
/proc/55544/statm: 163678 161358 2688 2575 0 160585 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 654712 KiB
Current children cumulated memory: 645432 KiB
Child status: 0
Real time (s): 3597.11
CPU time (s): 3586.59
CPU user time (s): 3586.31
CPU system time (s): 0.283092
CPU usage (%): 99.7076
Max. virtual memory (cumulated for all children) (KiB): 654712
Max. memory (cumulated for all children) (KiB): 645432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.31
system time used= 0.283092
maximum resident set size= 649260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132787
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= 39
involuntary context switches= 1843
# summary of solver processes directly reported to runsolver:
# pid: 55544
# total CPU time (s): 3586.59
# total CPU user time (s): 3586.31
# total CPU system time (s): 0.283092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55948 second user time and 15.1257 second system time
The end
Begin job on nodeC034 at 2025-07-01 18:41:23 IDJOB=4497433 IDBENCH=148185 IDSOLVER=3366 FILE ID=nodeC034/4497433-1751388083 RUNJOBID= nodeC034-1751384297-53584 SLURM_JOB_ID= 9598234 Free space on /tmp= 432992 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497433-1751388083/watcher-4497433-1751388083 -o /tmp/evaluation-result-4497433-1751388083/solver-4497433-1751388083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53584 --watchdog 3760 pbsolver -f HOME/instance-4497433-1751388083.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445 RANDOM SEED=41120376 nodeC034 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.741 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.623 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.550 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.53 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 : 3600.196 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.53 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 : 3602.458 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.53 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 : 3600.030 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.53 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.774 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.53 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 : 3601.591 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 106876308 kB MemAvailable: 127332444 kB Buffers: 2128 kB Cached: 21196892 kB SwapCached: 36 kB Active: 2782144 kB Inactive: 20756788 kB Active(anon): 2353780 kB Inactive(anon): 4208 kB Active(file): 428364 kB Inactive(file): 20752580 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48084 kB Writeback: 0 kB AnonPages: 2341112 kB Mapped: 136184 kB Shmem: 18068 kB KReclaimable: 228460 kB Slab: 319308 kB SReclaimable: 228460 kB SUnreclaim: 90848 kB KernelStack: 4288 kB PageTables: 7692 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 2819792 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 522240 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432988 MiB End job on nodeC034 at 2025-07-01 19:41:20