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 | 20 | 3587.11 | 3597.12 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
| MD5SUM | beae51edba02eeda3c8007d8306fd545 |
| 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 | 18 |
| Best CPU time to get the best result obtained on this benchmark | 1.91149 |
| 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 | 4318 |
| Total number of constraints | 15120 |
| Number of constraints which are clauses | 15112 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 490 |
| Number of terms in the objective function | 490 |
| 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 | 490 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 518 |
| 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-4497709-1751403142.opb>
0.00/0.02 c original problem has 4318 variables (4318 bin, 0 int, 0 cont) and 15120 constraints
0.00/0.02 c problem read in 0.027 seconds
0.00/0.05 c presolving:
0.00/0.07 c (round 1, fast) 434 del vars, 863 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10851 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (2 rounds): 6 aggregations, 0 fixings, 0 bound changes
0.00/0.10 c (round 2, medium) 440 del vars, 863 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10839 clqs
0.00/0.10 c (round 3, fast) 440 del vars, 881 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10839 clqs
0.09/0.13 c (round 4, exhaustive) 440 del vars, 882 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10839 clqs
0.09/0.17 c (round 5, exhaustive) 440 del vars, 14685 del conss, 3393 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10839 clqs
0.09/0.19 c (round 6, exhaustive) 548 del vars, 14793 del conss, 3393 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10623 clqs
0.19/0.21 c (0.2s) probing: 51/3770 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.21 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.23 c (0.2s) no symmetry present (symcode time: 0.01)
0.19/0.24 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.19/0.24 c 548 deleted vars, 14793 deleted constraints, 3393 added constraints, 5 tightened bounds, 0 added holes, 6 changed sides, 7 changed coefficients
0.19/0.24 c 0 implications, 10623 cliques
0.19/0.24 c presolved problem has 3770 variables (3770 bin, 0 int, 0 cont) and 3720 constraints
0.19/0.24 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.19/0.24 c 1 constraints of type <knapsack>
0.19/0.24 c 429 constraints of type <setppc>
0.19/0.24 c 3285 constraints of type <and>
0.19/0.24 c 5 constraints of type <logicor>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.19
0.19/0.24 c
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c
0.19/0.24 c # SCIP version 10.0.0
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.24 c limits/time = 3596.998008
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.24 c limits/memory = 27900
0.19/0.24 c
0.19/0.24 c # belongs reading time to solving time?
0.19/0.24 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c timing/reading = TRUE
0.19/0.24 c
0.19/0.24 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.19/0.24 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.19/0.24 c reading/opbreader/maxintsize = 47
0.19/0.24 c
0.19/0.24 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.19/0.24 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.19/0.24 c propagating/genvbounds/timingmask = 0
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c
0.30/0.34 o 22
0.30/0.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.34 c p 0.3s| 1 | 0 | 0 | - | vbounds| 0 |3770 |3741 |7004 | 0 | 0 | 21 | 0 | 5.000000e+00 | 2.200000e+01 | 340.00%| unknown
0.39/0.45 c 0.4s| 1 | 0 | 339 | - | 73M | 0 |3770 |3778 |7004 | 0 | 0 | 58 | 0 | 7.428571e+00 | 2.200000e+01 | 196.15%| unknown
1.09/1.11 c 1.1s| 1 | 0 | 519 | - | 86M | 0 |3770 |3978 |7034 | 30 | 1 | 58 | 0 | 8.750000e+00 | 2.200000e+01 | 151.43%| unknown
1.19/1.29 c 1.3s| 1 | 0 | 777 | - | 94M | 0 |3770 |3978 |7064 | 60 | 2 | 58 | 0 | 9.500000e+00 | 2.200000e+01 | 131.58%| unknown
1.29/1.37 c 1.4s| 1 | 0 | 923 | - | 99M | 0 |3770 |3978 |7092 | 88 | 3 | 58 | 0 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
1.79/1.80 c 1.8s| 1 | 0 | 1132 | - | 110M | 0 |3770 |3977 |7150 | 146 | 4 | 58 | 0 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
1.99/2.07 c 2.1s| 1 | 0 | 1357 | - | 114M | 0 |3770 |3979 |7207 | 203 | 5 | 62 | 0 | 1.015278e+01 | 2.200000e+01 | 116.69%| unknown
2.28/2.33 c 2.3s| 1 | 0 | 2413 | - | 118M | 0 |3770 |3979 |7297 | 293 | 6 | 62 | 0 | 1.049002e+01 | 2.200000e+01 | 109.72%| unknown
2.48/2.54 c 2.5s| 1 | 0 | 3045 | - | 121M | 0 |3770 |3989 |7382 | 378 | 7 | 72 | 0 | 1.108559e+01 | 2.200000e+01 | 98.46%| unknown
2.68/2.77 c 2.8s| 1 | 0 | 3656 | - | 131M | 0 |3770 |3991 |7545 | 541 | 8 | 74 | 0 | 1.118214e+01 | 2.200000e+01 | 96.74%| unknown
2.98/3.02 c 3.0s| 1 | 0 | 4204 | - | 141M | 0 |3770 |4001 |7673 | 669 | 9 | 84 | 0 | 1.121903e+01 | 2.200000e+01 | 96.10%| unknown
3.18/3.28 c 3.3s| 1 | 0 | 4692 | - | 148M | 0 |3770 |4001 |7792 | 788 | 10 | 85 | 0 | 1.125241e+01 | 2.200000e+01 | 95.51%| unknown
3.37/3.42 c 3.4s| 1 | 0 | 5338 | - | 149M | 0 |3770 |4010 |7969 | 971 | 11 | 94 | 0 | 1.132403e+01 | 2.200000e+01 | 94.28%| unknown
3.47/3.58 c 3.6s| 1 | 0 | 6185 | - | 150M | 0 |3770 |4015 |8087 |1089 | 12 | 100 | 0 | 1.141155e+01 | 2.200000e+01 | 92.79%| unknown
3.67/3.73 c 3.7s| 1 | 0 | 6947 | - | 151M | 0 |3770 |4024 |8212 |1214 | 13 | 110 | 0 | 1.144602e+01 | 2.200000e+01 | 92.21%| unknown
3.77/3.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.77/3.85 c 3.8s| 1 | 0 | 7544 | - | 152M | 0 |3770 |4025 |8288 |1290 | 14 | 111 | 0 | 1.147928e+01 | 2.200000e+01 | 91.65%| unknown
3.87/3.95 c 4.0s| 1 | 0 | 7923 | - | 153M | 0 |3770 |4035 |8341 |1343 | 15 | 121 | 0 | 1.149242e+01 | 2.200000e+01 | 91.43%| unknown
3.98/4.05 c 4.0s| 1 | 0 | 8293 | - | 154M | 0 |3770 |4045 |8376 |1378 | 16 | 131 | 0 | 1.150976e+01 | 2.200000e+01 | 91.14%| unknown
4.08/4.13 c 4.1s| 1 | 0 | 8590 | - | 155M | 0 |3770 |4047 |8377 |1450 | 17 | 133 | 0 | 1.151963e+01 | 2.200000e+01 | 90.98%| unknown
4.17/4.27 c 4.3s| 1 | 0 | 9338 | - | 156M | 0 |3770 |4048 |8437 |1510 | 18 | 134 | 0 | 1.155519e+01 | 2.200000e+01 | 90.39%| unknown
4.27/4.39 c 4.4s| 1 | 0 | 9855 | - | 157M | 0 |3770 |4058 |8528 |1601 | 19 | 144 | 0 | 1.156254e+01 | 2.200000e+01 | 90.27%| unknown
4.47/4.57 c 4.6s| 1 | 0 | 10737 | - | 158M | 0 |3770 |4061 |8605 |1678 | 20 | 147 | 0 | 1.158789e+01 | 2.200000e+01 | 89.85%| unknown
4.57/4.66 c 4.7s| 1 | 0 | 11052 | - | 158M | 0 |3770 |4071 |8660 |1733 | 21 | 157 | 0 | 1.159156e+01 | 2.200000e+01 | 89.79%| unknown
4.67/4.77 c 4.8s| 1 | 0 | 11530 | - | 159M | 0 |3770 |4072 |8707 |1780 | 22 | 158 | 0 | 1.159799e+01 | 2.200000e+01 | 89.69%| unknown
4.77/4.86 c 4.9s| 1 | 0 | 11815 | - | 159M | 0 |3770 |4081 |8474 |1835 | 23 | 167 | 0 | 1.160170e+01 | 2.200000e+01 | 89.63%| unknown
4.87/4.92 c 4.9s| 1 | 0 | 11960 | - | 159M | 0 |3770 |4081 |8496 |1857 | 24 | 168 | 0 | 1.160272e+01 | 2.200000e+01 | 89.61%| unknown
4.87/4.97 c 5.0s| 1 | 0 | 12090 | - | 159M | 0 |3770 |4091 |8511 |1872 | 25 | 178 | 0 | 1.160341e+01 | 2.200000e+01 | 89.60%| unknown
4.87/5.00 c 5.0s| 1 | 0 | 12131 | - | 159M | 0 |3770 |4092 |8527 |1888 | 26 | 179 | 0 | 1.160358e+01 | 2.200000e+01 | 89.60%| unknown
4.98/5.03 c 5.0s| 1 | 0 | 12137 | - | 159M | 0 |3770 |4094 |8533 |1894 | 27 | 181 | 0 | 1.160358e+01 | 2.200000e+01 | 89.60%| unknown
8.56/8.65 o 20
8.56/8.65 c L 8.7s| 1 | 0 | 26607 | - | rens| 0 |3770 |4098 |8533 |1894 | 28 | 185 | 0 | 1.160358e+01 | 2.000000e+01 | 72.36%| unknown
8.56/8.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.56/8.69 c 8.7s| 1 | 0 | 26607 | - | 160M | 0 |3770 |4098 |8533 |1894 | 28 | 185 | 0 | 1.160358e+01 | 2.000000e+01 | 72.36%| unknown
8.66/8.74 c 8.7s| 1 | 0 | 26620 | - | 160M | 0 |3770 |4108 |8535 |1896 | 29 | 195 | 0 | 1.160358e+01 | 2.000000e+01 | 72.36%| unknown
9.96/10.10 c 10.1s| 1 | 2 | 26628 | - | 161M | 0 |3770 |4116 |8535 |1896 | 30 | 205 | 12 | 1.163208e+01 | 2.000000e+01 | 71.94%| unknown
130.57/131.04 c 131s| 100 | 101 |414141 |4060.5 | 248M | 18 |3770 |5614 |8693 | 14k| 4 |1730 | 333 | 1.197715e+01 | 2.000000e+01 | 66.98%| unknown
212.00/212.76 c 213s| 200 | 201 |690559 |3409.1 | 290M | 27 |3770 |7319 |9805 | 24k| 3 |3462 | 512 | 1.209729e+01 | 2.000000e+01 | 65.33%| unknown
416.14/417.51 c 418s| 300 | 301 | 1453k|4821.4 | 366M | 27 |3770 |9963 |9784 | 42k| 4 |6300 | 964 | 1.239781e+01 | 2.000000e+01 | 61.32%| unknown
620.68/622.76 c 623s| 400 | 401 | 2384k|5945.6 | 384M | 27 |3770 | 11k|9640 | 57k| 2 |7709 |1485 | 1.263025e+01 | 2.000000e+01 | 58.35%| unknown
785.55/788.01 c 788s| 500 | 499 | 3080k|6149.6 | 418M | 31 |3770 | 11k|9752 | 67k| 2 |8733 |1934 | 1.266116e+01 | 2.000000e+01 | 57.96%| unknown
981.33/984.33 c 984s| 600 | 599 | 3973k|6614.0 | 450M | 31 |3770 | 12k|9808 | 78k| 2 | 10k|2407 | 1.276209e+01 | 2.000000e+01 | 56.71%| unknown
1185.71/1189.21 c 1189s| 700 | 699 | 4820k|6878.7 | 484M | 31 |3770 | 13k|9941 | 91k| 2 | 11k|2949 | 1.280584e+01 | 2.000000e+01 | 56.18%| unknown
1389.89/1393.90 c 1394s| 800 | 799 | 5752k|7183.8 | 506M | 31 |3770 | 13k| 10k| 104k| 3 | 11k|3426 | 1.284324e+01 | 2.000000e+01 | 55.72%| unknown
1634.38/1639.01 c 1639s| 900 | 899 | 7032k|7808.7 | 562M | 31 |3770 | 13k| 10k| 122k| 2 | 12k|3628 | 1.286965e+01 | 2.000000e+01 | 55.40%| unknown
1862.60/1867.86 c 1868s| 1000 | 999 | 8068k|8064.7 | 602M | 31 |3770 | 13k| 10k| 135k| 2 | 14k|3974 | 1.289738e+01 | 2.000000e+01 | 55.07%| unknown
2065.69/2071.48 c 2071s| 1100 | 1099 | 9056k|8229.2 | 629M | 31 |3770 | 13k| 10k| 150k| 5 | 16k|4318 | 1.291899e+01 | 2.000000e+01 | 54.81%| unknown
2369.81/2376.30 c 2376s| 1200 | 1199 | 10544k|8784.5 | 673M | 31 |3770 | 13k| 10k| 167k| 5 | 16k|4714 | 1.298329e+01 | 2.000000e+01 | 54.04%| unknown
2560.74/2567.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2560.74/2567.76 c 2568s| 1300 | 1299 | 11437k|8795.6 | 702M | 31 |3770 | 13k| 10k| 182k| 3 | 17k|5101 | 1.300327e+01 | 2.000000e+01 | 53.81%| unknown
2745.17/2752.61 c 2753s| 1400 | 1399 | 12315k|8794.2 | 724M | 31 |3770 | 13k| 10k| 192k| 3 | 20k|5436 | 1.301518e+01 | 2.000000e+01 | 53.67%| unknown
2885.18/2893.09 c 2893s| 1500 | 1499 | 13052k|8699.6 | 740M | 31 |3770 | 13k|9954 | 202k| 4 | 23k|5672 | 1.303105e+01 | 2.000000e+01 | 53.48%| unknown
3086.25/3094.75 c 3095s| 1600 | 1599 | 14097k|8808.7 | 764M | 32 |3770 | 13k| 10k| 214k| 3 | 24k|5875 | 1.305516e+01 | 2.000000e+01 | 53.20%| unknown
3237.38/3246.31 c 3246s| 1700 | 1699 | 14971k|8804.6 | 775M | 32 |3770 | 12k| 10k| 226k| 2 | 25k|6030 | 1.307108e+01 | 2.000000e+01 | 53.01%| unknown
3386.72/3396.17 c 3396s| 1800 | 1799 | 15783k|8766.8 | 796M | 32 |3770 | 11k|9841 | 236k| 2 | 26k|6193 | 1.307829e+01 | 2.000000e+01 | 52.93%| unknown
3527.47/3537.38 c 3537s| 1900 | 1899 | 16558k|8713.3 | 805M | 32 |3770 | 11k| 10k| 244k| 2 | 28k|6339 | 1.309729e+01 | 2.000000e+01 | 52.70%| unknown
3586.88/3597.00 c
3586.88/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.88/3597.00 c Solving Time (sec) : 3597.00
3586.88/3597.00 c Solving Nodes : 1952
3586.88/3597.00 c Primal Bound : +2.00000000000000e+01 (67 solutions)
3586.88/3597.00 c Dual Bound : +1.31186938704140e+01
3586.88/3597.00 c Gap : 52.45 %
3586.99/3597.00 s SATISFIABLE
3586.99/3597.00 v x1 x362 x440 x515 x581 x741 -x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 -x1313
3586.99/3597.00 v -x26 -x1340 -x29 x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637
3586.99/3597.00 v -x59 -x1664 -x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 x82 -x1880 -x85 -x1907 -x88 -x1934 -x1961
3586.99/3597.00 v -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089
3586.99/3597.00 v -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227
3586.99/3597.00 v -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365
3586.99/3597.00 v -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493
3586.99/3597.00 v -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631
3586.99/3597.00 v -x2633 -x2645 -x2647 -x2659 -x2661 -x2673 -x2675 x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758
3586.99/3597.00 v -x2763 -x2768 -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853
3586.99/3597.00 v -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948
3586.99/3597.00 v -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 -x3028 -x3033 -x3038 -x3043
3586.99/3597.00 v -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 x3129 -x3141 -x3153 -x370 -x3165 -x3170 -x375
3586.99/3597.00 v -x3175 x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 -x393 x3210 x396 -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230
3586.99/3597.00 v -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272
3586.99/3597.00 v -x3274 -x3276 -x3278 -x3280 -x3292 x3304 -x3316 -x3328 -x3340 -x448 -x3352 -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377
3586.99/3597.00 v -x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 -x3433 -x3435
3586.99/3597.00 v -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513
3586.99/3597.00 v -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602
3586.99/3597.00 v -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 x3639 -x3666 -x3693
3586.99/3597.00 v -x3720 -x3747 -x3774 -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948
3586.99/3597.00 v -x616 -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094
3586.99/3597.00 v -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 -x4162
3586.99/3597.00 v -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 -x4225 -x4227
3586.99/3597.00 v -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279 -x4284 -x4286 -x4291 -x4293 -x4298
3586.99/3597.00 v -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 x30 -x31 -x32 -x33 -x35 -x36
3586.99/3597.00 v -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73
3586.99/3597.00 v -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102
3586.99/3597.00 v -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125
3586.99/3597.00 v -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148
3586.99/3597.00 v -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169
3586.99/3597.00 v -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 x189 -x188 -x190 -x192
3586.99/3597.00 v -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212
3586.99/3597.00 v -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235
3586.99/3597.00 v -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258
3586.99/3597.00 v -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278
3586.99/3597.00 v -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301
3586.99/3597.00 v -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324
3586.99/3597.00 v -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344
3586.99/3597.00 v -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369
3586.99/3597.00 v -x371 -x372 -x373 -x374 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 x394 -x395 -x397 -x398
3586.99/3597.00 v -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 x424
3586.99/3597.00 v -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 x366 -x367 -x368 -x447
3586.99/3597.00 v -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475
3586.99/3597.00 v -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x501
3586.99/3597.00 v -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 -x442 x443 -x444 -x445 -x446 x522 -x523
3586.99/3597.00 v -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
3586.99/3597.00 v -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571
3586.99/3597.00 v -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591 -x592 -x593 -x594 -x595
3586.99/3597.00 v -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622
3586.99/3597.00 v -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647
3586.99/3597.00 v -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668
3586.99/3597.00 v -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691
3586.99/3597.00 v -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712
3586.99/3597.00 v -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736
3586.99/3597.00 v -x735 -x737 -x739 -x738 -x740 x582 -x583 -x584 -x585 -x586 -x587 -x588 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751
3586.99/3597.00 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
3586.99/3597.00 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
3586.99/3597.00 v -x796 -x797 -x798 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
3586.99/3597.00 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
3586.99/3597.00 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863
3586.99/3597.00 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
3586.99/3597.00 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907
3586.99/3597.00 v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
3586.99/3597.00 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952
3586.99/3597.00 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x974 -x975
3586.99/3597.00 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997
3586.99/3597.00 v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016
3586.99/3597.00 v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 -x1036
3586.99/3597.00 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055
3586.99/3597.00 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
3586.99/3597.00 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1090 -x1091 -x1092 -x1093 -x1094
3586.99/3597.00 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
3586.99/3597.00 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
3586.99/3597.00 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1148 -x1149 -x1150 -x1151 -x1152
3586.99/3597.00 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171
3586.99/3597.00 v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
3586.99/3597.00 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1206 -x1207 -x1208 -x1209 -x1210
3586.99/3597.00 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
3586.99/3597.00 v -x1230 -x1231 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
3586.99/3597.00 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
3586.99/3597.00 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1289
3586.99/3597.00 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
3586.99/3597.00 v -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
3586.99/3597.00 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
3586.99/3597.00 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368
3586.99/3597.00 v x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387
3586.99/3597.00 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407
3586.99/3597.00 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427
3586.99/3597.00 v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446
3586.99/3597.00 v -x1447 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
3586.99/3597.00 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486
3586.99/3597.00 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506
3586.99/3597.00 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525
3586.99/3597.00 v -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545
3586.99/3597.00 v -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565
3586.99/3597.00 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1584 -x1585
3586.99/3597.00 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604
3586.99/3597.00 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
3586.99/3597.00 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644
3586.99/3597.00 v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663
3586.99/3597.00 v x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683
3586.99/3597.00 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
3586.99/3597.00 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1719 -x1720 -x1721 -x1722 -x1723
3586.99/3597.00 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742
3586.99/3597.00 v -x1743 -x1744 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762
3586.99/3597.00 v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782
3586.99/3597.00 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1800 -x1801 -x1802
3586.99/3597.00 v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
3586.99/3597.00 v -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841
3586.99/3597.00 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861
3586.99/3597.00 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1881
3586.99/3597.00 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
3586.99/3597.00 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
3586.99/3597.00 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
3586.99/3597.00 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
3586.99/3597.00 v -x1960 x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1976 -x1978 -x1979 -x1980 -x1981 -x1982
3586.99/3597.00 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2004
3586.99/3597.00 v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
3586.99/3597.00 v -x2027 -x2028 -x2029 -x2030 x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049
3586.99/3597.00 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
3586.99/3597.00 v -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093
3586.99/3597.00 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114
3586.99/3597.00 v -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137
3586.99/3597.00 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 x2160
3586.99/3597.00 v x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181
3586.99/3597.00 v -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2202 -x2203 -x2204
3586.99/3597.00 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225
3586.99/3597.00 v -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248
3586.99/3597.00 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2270
3586.99/3597.00 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292
3586.99/3597.00 v -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2310 x2312 -x2313 -x2314
3586.99/3597.00 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
3586.99/3597.00 v -x2336 -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358
3586.99/3597.00 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2380
3586.99/3597.00 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
3586.99/3597.00 v -x2403 -x2404 -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2422 -x2424 -x2425
3586.99/3597.00 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446
3586.99/3597.00 v -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464 -x2466 -x2467 -x2468 -x2469
3586.99/3597.00 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
3586.99/3597.00 v -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 x2508 x2509 -x2510 -x2511 -x2512 -x2513
3586.99/3597.00 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536
3586.99/3597.00 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557
3586.99/3597.00 v -x2558 -x2559 -x2560 x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580
3586.99/3597.00 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601
3586.99/3597.00 v -x2602 -x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2620 -x2621 -x2622 -x2623 -x2624
3586.99/3597.00 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646
3586.99/3597.00 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668
3586.99/3597.00 v -x2669 -x2670 -x2671 -x2672 -x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2688 -x2690 -x2691
3586.99/3597.00 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712
3586.99/3597.00 v -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2730 -x2732 -x2733 -x2734 -x2735
3586.99/3597.00 v -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757
3586.99/3597.00 v -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781
3586.99/3597.00 v -x2782 -x2784 -x2785 -x2786 -x2787 x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805
3586.99/3597.00 v -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 x2829
3586.99/3597.00 v -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852
3586.99/3597.00 v -x2854 -x2855 -x2856 -x2857 -x2859 -x2860 -x2861 -x2862 x2864 x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876
3586.99/3597.00 v -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 x2899 -x2900
3586.99/3597.00 v -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924
3586.99/3597.00 v -x2925 -x2926 -x2927 x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947
3586.99/3597.00 v -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971
3586.99/3597.00 v -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995
3586.99/3597.00 v -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 x3019
3586.99/3597.00 v x3020 -x3021 -x3022 -x3024 -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042
3586.99/3597.00 v -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066
3586.99/3597.00 v -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089 -x3090
3586.99/3597.00 v -x3091 -x3092 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111
3586.99/3597.00 v -x3112 -x3113 -x3114 -x3115 -x3116 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3130 -x3131 -x3132
3586.99/3597.00 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152
3586.99/3597.00 v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 x3171 -x3172 -x3173 -x3174
3586.99/3597.00 v x3176 -x3177 -x3178 x3179 -x3181 -x3182 -x3183 -x3184 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198
3586.99/3597.00 v -x3199 -x3201 -x3202 -x3203 -x3204 -x3206 -x3207 -x3208 -x3209 x3211 -x3212 x3213 -x3214 -x3216 -x3217 -x3218 -x3219 -x3221 -x3222
3586.99/3597.00 v -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 -x3245 x3247 x3249
3586.99/3597.00 v -x3251 x3253 x3255 -x3257 x3259 x3261 x3263 -x3265 -x3267 x3269 x3271 -x3273 x3275 x3277 -x3279 -x3281 -x3282 -x3283 -x3284 -x3285
3586.99/3597.00 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3305 -x3306
3586.99/3597.00 v x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
3586.99/3597.00 v -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347
3586.99/3597.00 v -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370
3586.99/3597.00 v -x3371 -x3373 -x3374 -x3375 -x3376 x3378 x3379 -x3380 -x3381 -x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 x3393 -x3394
3586.99/3597.00 v x3395 -x3396 x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3418
3586.99/3597.00 v -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 x3430 x3432 x3434 -x3436 -x3438 -x3440 x3442 x3444 x3446 -x3448 -x3450 -x3452
3586.99/3597.00 v x3454 -x3456 x3458 x3460 x3462 -x3464 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480
3586.99/3597.00 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
3586.99/3597.00 v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521
3586.99/3597.00 v -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3538 -x3539 -x3540 -x3541 -x3543
3586.99/3597.00 v -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566
3586.99/3597.00 v -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 x3578 x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590
3586.99/3597.00 v -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 x3608 x3610 x3612 x3614 -x3616 x3618
3586.99/3597.00 v -x3620 -x3622 -x3624 x3626 -x3628 -x3630 -x3632 x3634 x3636 -x3638 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648
3586.99/3597.00 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3667 -x3668
3586.99/3597.00 v -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687
3586.99/3597.00 v -x3688 -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707
3586.99/3597.00 v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727
3586.99/3597.00 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746
3586.99/3597.00 v -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766
3586.99/3597.00 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786
3586.99/3597.00 v -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3802 -x3803 -x3804 -x3805 -x3806
3586.99/3597.00 v -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825
3586.99/3597.00 v -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3841 -x3842 -x3843 -x3844 -x3845 -x3846
3586.99/3597.00 v -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3865 -x3866 -x3867
3586.99/3597.00 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887
3586.99/3597.00 v -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908
3586.99/3597.00 v -x3909 -x3910 -x3911 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929
3586.99/3597.00 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3949 -x3950
3586.99/3597.00 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
3586.99/3597.00 v -x3971 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991
3586.99/3597.00 v -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012
3586.99/3597.00 v -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033
3586.99/3597.00 v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053
3586.99/3597.00 v -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074
3586.99/3597.00 v -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 -x4088 -x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099
3586.99/3597.00 v -x4100 -x4102 -x4104 -x4105 -x4106 -x4107 x4109 -x4111 -x4112 -x4113 -x4114 -x4116 x4118 -x4119 -x4120 x4121 x4123 x4125 -x4126
3586.99/3597.00 v -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 -x4142 x4144 -x4145 -x4146 -x4147 -x4149 x4151 -x4152
3586.99/3597.00 v -x4153 x4154 -x4156 -x4158 -x4159 -x4160 -x4161 x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179
3586.99/3597.00 v -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 x4205
3586.99/3597.00 v -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 -x4221 -x4222 -x4223 -x4224 x4226 -x4228 -x4229 -x4230 -x4231
3586.99/3597.00 v x4233 -x4235 -x4236 -x4237 -x4238 x4240 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 x4252 x4254 -x4255 -x4256 -x4257
3586.99/3597.00 v -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 -x4273 -x4274 -x4275 -x4276 x4278 -x4280 -x4281 -x4282 -x4283
3586.99/3597.00 v -x4285 -x4287 -x4288 -x4289 -x4290 x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310
3586.99/3597.00 v -x4311 x4313 -x4315 -x4316 -x4317 -x4318
3586.99/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.99/3597.00 c Total Time : 3597.00
3586.99/3597.00 c solving : 3597.00
3586.99/3597.00 c presolving : 0.19 (included in solving)
3586.99/3597.00 c reading : 0.03 (included in solving)
3586.99/3597.00 c copying : 0.29 (15 #copies) (minimal 0.01, maximal 0.03, average 0.02)
3586.99/3597.00 c Original Problem :
3586.99/3597.00 c Problem name : HOME/instance-4497709-1751403142.opb
3586.99/3597.00 c Variables : 4318 (4318 binary, 0 integer, 0 continuous)
3586.99/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.99/3597.00 c Constraints : 15120 initial, 15120 maximal
3586.99/3597.00 c Objective : minimize, 490 non-zeros (abs.min = 1, abs.max = 1)
3586.99/3597.00 c Presolved Problem :
3586.99/3597.00 c Problem name : t_HOME/instance-4497709-1751403142.opb
3586.99/3597.00 c Variables : 3770 (3770 binary, 0 integer, 0 continuous)
3586.99/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.99/3597.00 c Constraints : 3720 initial, 13727 maximal
3586.99/3597.00 c Objective : minimize, 485 non-zeros (abs.min = 1, abs.max = 1)
3586.99/3597.00 c Nonzeros : 15105 constraint, 21248 clique table
3586.99/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.99/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c gateextraction : 0.03 0.00 3 0 0 0 0 0 13803 3393 0 0
3586.99/3597.00 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c milp : 0.02 0.00 1 0 6 0 0 0 0 0 0 0
3586.99/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c knapsack : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c setppc : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c and : 0.02 0.00 4 0 108 0 0 0 108 0 0 0
3586.99/3597.00 c linear : 0.05 0.00 5 5 429 0 5 0 882 0 6 7
3586.99/3597.00 c logicor : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.99/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.99/3597.00 c integral : 0 0 0 0 1957 0 0 1358 0 0 23 0 0 5 3900
3586.99/3597.00 c knapsack : 1 1 0 120923 0 0 0 1352 14171 1869 0 0 0 0 0
3586.99/3597.00 c setppc : 429+ 430 29 119058 0 0 0 795 21304 81 1881 0 0 0 0
3586.99/3597.00 c and : 3285 3285 6419 118992 0 0 0 82 229033 1493 49201 409079 187220 0 0
3586.99/3597.00 c linear : 0+ 201 29 114140 0 0 0 3 132 164 0 87 13 0 0
3586.99/3597.00 c logicor : 5+ 9972 29 39122 0 0 0 68 1184 116 68 198 24 0 0
3586.99/3597.00 c fixedvar : 0 0 0 0 0 0 0 69 0 0 0 0 0 0 0
3586.99/3597.00 c countsols : 0 0 0 0 0 0 0 69 0 0 0 0 0 0 0
3586.99/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.99/3597.00 c integral : 832.04 0.00 0.00 0.00 832.04 0.00 0.00 0.00 0.00 0.00
3586.99/3597.00 c knapsack : 0.83 0.00 0.00 0.75 0.00 0.00 0.00 0.01 0.05 0.02
3586.99/3597.00 c setppc : 0.29 0.00 0.00 0.21 0.00 0.00 0.00 0.04 0.01 0.03
3586.99/3597.00 c and : 11.08 0.00 5.11 3.67 0.00 0.00 0.00 0.03 0.05 2.21
3586.99/3597.00 c linear : 0.34 0.00 0.01 0.28 0.00 0.00 0.00 0.00 0.00 0.04
3586.99/3597.00 c logicor : 1.32 0.00 0.00 1.16 0.00 0.00 0.00 0.00 0.00 0.15
3586.99/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.99/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.99/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.99/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.99/3597.00 c dualfix : 3 0 0 0
3586.99/3597.00 c genvbounds : 0 0 0 0
3586.99/3597.00 c nlobbt : 0 0 0 0
3586.99/3597.00 c obbt : 0 0 0 0
3586.99/3597.00 c probing : 0 0 0 0
3586.99/3597.00 c pseudoobj : 8669 0 0 0
3586.99/3597.00 c redcost : 12200 0 0 33
3586.99/3597.00 c rootredcost : 1 0 0 0
3586.99/3597.00 c symmetry : 0 0 0 0
3586.99/3597.00 c vbounds : 80056 0 0 0
3586.99/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.99/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.00 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3586.99/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.99/3597.00 c redcost : 0.76 0.00 0.00 0.76 0.00 0.00
3586.99/3597.00 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.01
3586.99/3597.00 c symmetry : 0.05 0.00 0.02 0.01 0.00 0.01
3586.99/3597.00 c vbounds : 0.10 0.00 0.00 0.08 0.00 0.02
3586.99/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.99/3597.00 c propagation : 0.44 3680 3680 - 40335 99.4 114 52.1 - - -
3586.99/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.99/3597.00 c bound exceed. LP : 1.11 386 69 - 1994 552.1 7 30.3 43 464.1 3550
3586.99/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.99/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.99/3597.00 c applied globally : 0.20 - - 0 29319 32.9 - - 43 - -
3586.99/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.99/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.99/3597.00 c cut pool : 3.16 - 2901 55 - - 39709 172011 - - - - - (maximal pool size: 6283)
3586.99/3597.00 c aggregation : 2.97 0.00 946 29 0 0 36 597 0 69 69 0 0
3586.99/3597.00 c > cmir : - - - - - - - 554 0 64 64 0 -
3586.99/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.99/3597.00 c > knapsackcover : - - - - - - - 43 0 5 5 0 -
3586.99/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c clique : 0.15 0.00 29 29 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c gomory : 243.57 0.00 575 10 0 0 10782 40388 0 1705 1705 0 0
3586.99/3597.00 c > gomorymi : - - - - - - - 23966 0 1198 1198 0 -
3586.99/3597.00 c > strongcg : - - - - - - - 16422 0 507 507 0 -
3586.99/3597.00 c impliedbounds : 0.50 0.00 947 29 0 0 27672 90288 0 54314 54314 0 0
3586.99/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c multilinear : 0.00 0.00 361 29 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c rapidlearning : 0.18 0.00 1 1 0 0 0 0 0 0 0 0 200
3586.99/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.99/3597.00 c zerohalf : 4.16 0.00 584 20 0 0 1219 40738 0 5578 5578 0 0
3586.99/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.99/3597.00 c hybrid : 0.79 0.00 6329 28 248947 0 332428 1896 0 9712
3586.99/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.99/3597.00 c problem variables: 0.00 - 0 0
3586.99/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.99/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c relpscost : 832.04 0.00 1957 0 0 0 23 0 8 3900
3586.99/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.99/3597.00 c LP solutions : 0.00 - - 0 0
3586.99/3597.00 c relax solutions : 0.00 - - 0 0
3586.99/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.99/3597.00 c strong branching : 0.01 - - 0 0
3586.99/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.99/3597.00 c adaptivediving : 13.70 0.00 17 0 0
3586.99/3597.00 c alns : 0.22 0.00 5 0 0
3586.99/3597.00 c bound : 0.00 0.00 0 0 0
3586.99/3597.00 c clique : 0.04 0.00 1 0 0
3586.99/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.99/3597.00 c completesol : 0.00 0.00 0 0 0
3586.99/3597.00 c conflictdiving : 7.58 0.00 38 0 0
3586.99/3597.00 c crossover : 0.22 0.00 3 2 0
3586.99/3597.00 c dins : 0.00 0.00 0 0 0
3586.99/3597.00 c distributiondivin: 43.14 0.00 38 0 0
3586.99/3597.00 c dks : 0.00 0.00 0 0 0
3586.99/3597.00 c dps : 0.00 0.00 0 0 0
3586.99/3597.00 c dualval : 0.00 0.00 0 0 0
3586.99/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.99/3597.00 c feaspump : 1.99 0.00 1 0 0
3586.99/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.99/3597.00 c fracdiving : 26.33 0.00 38 0 0
3586.99/3597.00 c gins : 0.01 0.00 0 0 0
3586.99/3597.00 c guideddiving : 19.24 0.00 39 0 0
3586.99/3597.00 c indicator : 0.00 0.00 0 0 0
3586.99/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.99/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.99/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.99/3597.00 c linesearchdiving : 24.62 0.00 38 0 0
3586.99/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.99/3597.00 c locks : 0.01 0.00 1 0 0
3586.99/3597.00 c lpface : 0.00 0.00 0 0 0
3586.99/3597.00 c mpec : 0.00 0.00 0 0 0
3586.99/3597.00 c multistart : 0.00 0.00 0 0 0
3586.99/3597.00 c mutation : 0.00 0.00 0 0 0
3586.99/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.99/3597.00 c objpscostdiving : 111.08 0.00 3 0 0
3586.99/3597.00 c octane : 0.00 0.00 0 0 0
3586.99/3597.00 c ofins : 0.00 0.00 0 0 0
3586.99/3597.00 c oneopt : 0.01 0.00 2 0 0
3586.99/3597.00 c padm : 0.00 0.00 0 0 0
3586.99/3597.00 c proximity : 0.00 0.00 0 0 0
3586.99/3597.00 c pscostdiving : 100.39 0.00 39 0 0
3586.99/3597.00 c randrounding : 0.47 0.00 751 0 0
3586.99/3597.00 c rens : 1.20 0.00 1 1 1
3586.99/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.99/3597.00 c repair : 0.00 0.00 0 0 0
3586.99/3597.00 c rins : 1.37 0.00 5 2 0
3586.99/3597.00 c rootsoldiving : 15.98 0.00 19 0 0
3586.99/3597.00 c rounding : 0.54 0.00 1216 0 0
3586.99/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.99/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3586.99/3597.00 c shifting : 3.07 0.00 2195 61 0
3586.99/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.99/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.99/3597.00 c trivial : 0.00 0.00 2 0 0
3586.99/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.99/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.99/3597.00 c trysol : 0.00 0.00 0 0 0
3586.99/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.99/3597.00 c undercover : 0.05 0.00 1 0 0
3586.99/3597.00 c vbounds : 0.14 0.00 1 1 1
3586.99/3597.00 c veclendiving : 6.72 0.00 38 0 0
3586.99/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.99/3597.00 c zirounding : 0.49 0.00 1000 0 0
3586.99/3597.00 c other solutions : - - - 0 -
3586.99/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.99/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.99/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.99/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.99/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.99/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.99/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.99/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.99/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.99/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.99/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.99/3597.00 c primal LP : 1.15 690 0 0.00 0.00 1.15 690
3586.99/3597.00 c dual LP : 2107.83 8292 14055665 1696.93 6668.30 0.01 9
3586.99/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.99/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.99/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.99/3597.00 c diving/probing LP: 383.02 4537 2873237 633.29 7501.49
3586.99/3597.00 c strong branching : 786.77 6394 4620245 722.59 5872.41 - - 8200
3586.99/3597.00 c (at root node) : - 12 8729 727.42 -
3586.99/3597.00 c conflict analysis: 0.59 355 3550 10.00 6051.78
3586.99/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.99/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.99/3597.00 c B&B Tree :
3586.99/3597.00 c number of runs : 1
3586.99/3597.00 c nodes : 1952 (1950 internal, 2 leaves)
3586.99/3597.00 c feasible leaves : 0
3586.99/3597.00 c infeas. leaves : 1
3586.99/3597.00 c objective leaves : 0
3586.99/3597.00 c nodes (total) : 1952 (1950 internal, 2 leaves)
3586.99/3597.00 c nodes left : 1950
3586.99/3597.00 c max depth : 33
3586.99/3597.00 c max depth (total): 33
3586.99/3597.00 c backtracks : 488 (25.0%)
3586.99/3597.00 c early backtracks : 0 (0.0%)
3586.99/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.99/3597.00 c delayed cutoffs : 0
3586.99/3597.00 c repropagations : 1 (1 domain reductions, 0 cutoffs)
3586.99/3597.00 c avg switch length: 6.57
3586.99/3597.00 c switching time : 2.19
3586.99/3597.00 c Root Node :
3586.99/3597.00 c First LP value : +7.42857142857143e+00
3586.99/3597.00 c First LP Iters : 339 (26554.91 Iter/sec)
3586.99/3597.00 c First LP Time : 0.01
3586.99/3597.00 c Final Dual Bound : +1.16320761004166e+01
3586.99/3597.00 c Final Root Iters : 12150
3586.99/3597.00 c Root LP Estimate : +1.73152513615325e+01
3586.99/3597.00 c Solution :
3586.99/3597.00 c Solutions found : 67 (2 improvements)
3586.99/3597.00 c First Solution : +2.20000000000000e+01 (in run 1, after 1 nodes, 0.34 seconds, depth 2128, found by <vbounds>)
3586.99/3597.00 c Gap First Sol. : 340.00 %
3586.99/3597.00 c Gap Last Sol. : 72.36 %
3586.99/3597.00 c Primal Bound : +2.00000000000000e+01 (in run 1, after 1 nodes, 8.65 seconds, depth 0, found by <rens>)
3586.99/3597.00 c Dual Bound : +1.31186938704140e+01
3586.99/3597.00 c Gap : 52.45 %
3586.99/3597.00 c Integrals : Total Avg%
3586.99/3597.00 c primal-dual : 129500.16 36.00
3586.99/3597.00 c primal-ref : - - (not evaluated)
3586.99/3597.00 c dual-ref : - - (not evaluated)
3587.08/3597.11 c Time complete (sec): 3587.102
OK 20
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 (55103 MiB free)
memory of node 1: 64507 MiB (63971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497709-1751403142/watcher-4497709-1751403142 -o /tmp/evaluation-result-4497709-1751403142/solver-4497709-1751403142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62245 --watchdog 3760 pbsolver -f HOME/instance-4497709-1751403142.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62302, runsolver pid=62287
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121772508/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=59868 memory=50000 CPUtime=0.09 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 12655 0 0 0 8 1 0 0 20 0 1 0 55992058 61304832 12500 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 14967 12500 2528 2575 0 11874 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59868 KiB
Current children cumulated memory: 50000 KiB
[startup+0.205476 s]*
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121704232/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=70796 memory=60368 CPUtime=0.19 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 15202 0 0 0 18 1 0 0 20 0 1 0 55992058 72495104 15092 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 17699 15092 2592 2575 0 14606 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70796 KiB
Current children cumulated memory: 60368 KiB
[startup+0.305238 s]*
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121671392/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=94196 memory=78220 CPUtime=0.3 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 20632 0 0 0 28 2 0 0 20 0 1 0 55992058 96456704 19555 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 23549 19555 2656 2575 0 20456 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 94196 KiB
Current children cumulated memory: 78220 KiB
[startup+0.70018 s]
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121581428/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=128008 memory=110616 CPUtime=0.69 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 29229 0 0 0 65 4 0 0 20 0 1 0 55992058 131080192 27654 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 32002 27654 2688 2575 0 28909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 128008 KiB
Current children cumulated memory: 110616 KiB
[startup+1.50012 s]
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121437288/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=145664 memory=129048 CPUtime=1.49 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 33869 0 0 0 144 5 0 0 20 0 1 0 55992058 149159936 32262 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 36416 32262 2688 2575 0 33323 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 145664 KiB
Current children cumulated memory: 129048 KiB
[startup+3.1051 s]
/proc/loadavg: 0.78 1.02 1.69 5/265 62303
/proc/meminfo: memFree=121284744/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=172236 memory=151576 CPUtime=3.08 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 39516 0 0 0 303 5 0 0 20 0 1 0 55992058 176369664 37894 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 43059 37894 2688 2575 0 39966 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 172236 KiB
Current children cumulated memory: 151576 KiB
[startup+6.30015 s]
/proc/loadavg: 0.78 1.02 1.69 5/267 62305
/proc/meminfo: memFree=121188128/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=191320 memory=162840 CPUtime=6.27 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 42342 0 0 0 621 6 0 0 20 0 1 0 55992058 195911680 40710 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 47830 40710 2688 2575 0 44737 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 191320 KiB
Current children cumulated memory: 162840 KiB
[startup+12.7001 s]
/proc/loadavg: 1.27 1.12 1.71 5/267 62305
/proc/meminfo: memFree=121132548/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=223296 memory=194456 CPUtime=12.65 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 50254 0 0 0 1258 7 0 0 20 0 1 0 55992058 228655104 48614 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 55824 48614 2688 2575 0 52731 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223296 KiB
Current children cumulated memory: 194456 KiB
[startup+25.5001 s]
/proc/loadavg: 1.69 1.21 1.74 5/267 62305
/proc/meminfo: memFree=121020984/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=223296 memory=195352 CPUtime=25.41 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 50457 0 0 0 2534 7 0 0 20 0 1 0 55992058 228655104 48838 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 55824 48838 2688 2575 0 52731 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 223296 KiB
Current children cumulated memory: 195352 KiB
[startup+51.1045 s]
/proc/loadavg: 2.48 1.44 1.80 5/267 62305
/proc/meminfo: memFree=120957408/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=232740 memory=200344 CPUtime=50.92 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 51728 0 0 0 5085 7 0 0 20 0 1 0 55992058 238325760 50086 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 58185 50086 2688 2575 0 55092 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 232740 KiB
Current children cumulated memory: 200344 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.90 1.94 5/267 62308
/proc/meminfo: memFree=120907464/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=279220 memory=219928 CPUtime=101.96 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 56632 0 0 0 10186 10 0 0 20 0 1 0 55992058 285921280 54982 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 69805 54982 2688 2575 0 66712 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 279220 KiB
Current children cumulated memory: 219928 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.30 2.07 5/268 62315
/proc/meminfo: memFree=120883564/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=318412 memory=245784 CPUtime=161.76 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 63098 0 0 0 16165 11 0 0 20 0 1 0 55992058 326053888 61446 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 79603 61446 2688 2575 0 76510 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 245784 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.63 2.20 5/268 62317
/proc/meminfo: memFree=120818700/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=352204 memory=281112 CPUtime=221.57 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 71951 0 0 0 22144 13 0 0 20 0 1 0 55992058 360656896 70278 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 88051 70278 2688 2575 0 84958 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 352204 KiB
Current children cumulated memory: 281112 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.90 2.32 5/268 62319
/proc/meminfo: memFree=120794132/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=379000 memory=302536 CPUtime=281.37 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 78333 0 0 0 28123 14 0 0 20 0 1 0 55992058 388096000 75634 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 94750 75634 2688 2575 0 91657 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 379000 KiB
Current children cumulated memory: 302536 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.11 2.44 5/265 62321
/proc/meminfo: memFree=120759876/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=398912 memory=322564 CPUtime=341.19 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 83641 0 0 0 34103 16 0 0 20 0 1 0 55992058 408485888 80641 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 99728 80641 2688 2575 0 96635 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 398912 KiB
Current children cumulated memory: 322564 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.31 2.55 5/265 62323
/proc/meminfo: memFree=120744376/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=398912 memory=322564 CPUtime=400.99 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 83645 0 0 0 40083 16 0 0 20 0 1 0 55992058 408485888 80641 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 99728 80641 2688 2575 0 96635 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 398912 KiB
Current children cumulated memory: 322564 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.44 2.64 5/264 62326
/proc/meminfo: memFree=120742164/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=401676 memory=322564 CPUtime=460.8 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 83650 0 0 0 46063 17 0 0 20 0 1 0 55992058 411316224 80641 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 100419 80641 2688 2575 0 97326 0
################
# More data... #
################
/proc/loadavg: 4.11 4.18 4.10 5/264 62491
/proc/meminfo: memFree=119583200/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=799736 memory=724656 CPUtime=3213.45 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 142243 0 0 0 321314 31 0 0 20 0 1 0 55992058 818929664 181164 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 199934 181164 2688 2575 0 196841 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 799736 KiB
Current children cumulated memory: 724656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.16 4.09 5/264 62493
/proc/meminfo: memFree=119598936/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=802276 memory=726832 CPUtime=3273.26 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 142794 0 0 0 327295 31 0 0 20 0 1 0 55992058 821530624 181708 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 200569 181708 2688 2575 0 197476 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 802276 KiB
Current children cumulated memory: 726832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/264 62495
/proc/meminfo: memFree=119599404/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=809548 memory=728752 CPUtime=3333.07 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 143304 0 0 0 333276 31 0 0 20 0 1 0 55992058 828977152 182188 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 202387 182188 2688 2575 0 199294 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 809548 KiB
Current children cumulated memory: 728752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 62498
/proc/meminfo: memFree=119598396/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=820628 memory=730928 CPUtime=3392.89 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 144079 0 0 0 339257 32 0 0 20 0 1 0 55992058 840323072 182732 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 205157 182732 2688 2575 0 202064 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 820628 KiB
Current children cumulated memory: 730928 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 62500
/proc/meminfo: memFree=119590116/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=822680 memory=733104 CPUtime=3452.7 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 144621 0 0 0 345238 32 0 0 20 0 1 0 55992058 842424320 183276 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 205670 183276 2688 2575 0 202577 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 822680 KiB
Current children cumulated memory: 733104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 62503
/proc/meminfo: memFree=119581640/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=828488 memory=734768 CPUtime=3512.51 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145275 0 0 0 351219 32 0 0 20 0 1 0 55992058 848371712 183692 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207122 183692 2688 2575 0 204029 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 828488 KiB
Current children cumulated memory: 734768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 62505
/proc/meminfo: memFree=119582372/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=830328 memory=736688 CPUtime=3572.33 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145769 0 0 0 357201 32 0 0 20 0 1 0 55992058 850255872 184172 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207582 184172 2688 2575 0 204489 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 830328 KiB
Current children cumulated memory: 736688 KiB
[startup+3597.12 s]
# the end of solver process 62302 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.77 s, system=0.33686 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 62505
/proc/meminfo: memFree=119582372/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=830500 memory=736816 CPUtime=3574.02 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145793 0 0 0 357370 32 0 0 20 0 1 0 55992058 850432000 184204 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207625 184204 2688 2575 0 204532 0
Current children cumulated CPU time: 3574.02 s
Current children cumulated vsize: 830500 KiB
Current children cumulated memory: 736816 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582468/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=830500 memory=736816 CPUtime=3580.4 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145793 0 0 0 358008 32 0 0 20 0 1 0 55992058 850432000 184204 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207625 184204 2688 2575 0 204532 0
Current children cumulated CPU time: 3580.4 s
Current children cumulated vsize: 830500 KiB
Current children cumulated memory: 736816 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582236/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=830500 memory=736816 CPUtime=3583.59 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145793 0 0 0 358327 32 0 0 20 0 1 0 55992058 850432000 184204 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207625 184204 2688 2575 0 204532 0
Current children cumulated CPU time: 3583.59 s
Current children cumulated vsize: 830500 KiB
Current children cumulated memory: 736816 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=830500 memory=736816 CPUtime=3585.19 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145793 0 0 0 358487 32 0 0 20 0 1 0 55992058 850432000 184204 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207625 184204 2688 2575 0 204532 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 830500 KiB
Current children cumulated memory: 736816 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=830500 memory=736816 CPUtime=3585.99 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145899 0 0 0 358567 32 0 0 20 0 1 0 55992058 850432000 184204 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207625 184204 2688 2575 0 204532 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 830500 KiB
Current children cumulated memory: 736816 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=831456 memory=736816 CPUtime=3586.78 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145903 0 0 0 358646 32 0 0 20 0 1 0 55992058 851410944 184204 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207864 184204 2688 2575 0 204771 0
Current children cumulated CPU time: 3586.78 s
Current children cumulated vsize: 831456 KiB
Current children cumulated memory: 736816 KiB
[startup+3597 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582068/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=831456 memory=736816 CPUtime=3586.99 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145905 0 0 0 358667 32 0 0 20 0 1 0 55992058 851410944 184204 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 207864 184204 2688 2575 0 204771 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 831456 KiB
Current children cumulated memory: 736816 KiB
[startup+3597.11 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582068/131250000 swapFree=33010416/33010684
[pid=62302] ppid=62287 vsize=821440 memory=726288 CPUtime=3587.08 cores=1,3
/proc/62302/stat : 62302 (pbsolver) R 62287 62302 62230 0 -1 4194304 145912 0 0 0 358676 32 0 0 20 0 1 0 55992058 841154560 181828 18446744073709551615 4198400 14743177 140727154738464 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23666688 140727154743690 140727154743786 140727154743786 140727154749388 0
/proc/62302/statm: 205360 181661 2688 2575 0 202267 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 821440 KiB
Current children cumulated memory: 726288 KiB
Child status: 0
Real time (s): 3597.12
CPU time (s): 3587.11
CPU user time (s): 3586.77
CPU system time (s): 0.33686
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 831456
Max. memory (cumulated for all children) (KiB): 736816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.77
system time used= 0.33686
maximum resident set size= 736816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145982
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= 43
involuntary context switches= 7280
# summary of solver processes directly reported to runsolver:
# pid: 62302
# total CPU time (s): 3587.11
# total CPU user time (s): 3586.77
# total CPU system time (s): 0.33686
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20978 second user time and 11.825 second system time
The end
Begin job on nodeC018 at 2025-07-01 22:52:22 IDJOB=4497709 IDBENCH=148191 IDSOLVER=3366 FILE ID=nodeC018/4497709-1751403142 RUNJOBID= nodeC018-1751403142-62245 SLURM_JOB_ID= 9598290 Free space on /tmp= 432932 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497709-1751403142/watcher-4497709-1751403142 -o /tmp/evaluation-result-4497709-1751403142/solver-4497709-1751403142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62245 --watchdog 3760 pbsolver -f HOME/instance-4497709-1751403142.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545 RANDOM SEED=732315552 nodeC018 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.824 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.66 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.835 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.538 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.032 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.855 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.66 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 : 3604.288 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.66 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 : 3602.356 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.800 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 121949264 kB MemAvailable: 129720744 kB Buffers: 2128 kB Cached: 8538228 kB SwapCached: 32 kB Active: 403756 kB Inactive: 8201708 kB Active(anon): 82864 kB Inactive(anon): 288 kB Active(file): 320892 kB Inactive(file): 8201420 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 61236 kB Writeback: 0 kB AnonPages: 68772 kB Mapped: 103588 kB Shmem: 18044 kB KReclaimable: 176412 kB Slab: 266572 kB SReclaimable: 176412 kB SUnreclaim: 90160 kB KernelStack: 4008 kB PageTables: 2700 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 330416 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432872 MiB End job on nodeC018 at 2025-07-01 23:52:19