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-4504307-1751486217.opb>
0.00/0.03	c original problem has 6810 variables (6810 bin, 0 int, 0 cont) and 15202 constraints
0.00/0.03	c problem read in 0.030 seconds
0.00/0.05	c presolving:
0.00/0.07	c (round 1, fast)       900 del vars, 423 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 0 impls, 8521 clqs
0.00/0.09	c    (0.1s) running MILP presolver
0.09/0.10	c    (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.09/0.12	c (round 2, exhaustive) 900 del vars, 528 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 0 impls, 8521 clqs
0.09/0.15	c (round 3, exhaustive) 900 del vars, 528 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 0 impls, 8521 clqs
0.09/0.19	c (round 4, medium)     900 del vars, 3468 del conss, 8190 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 0 impls, 16711 clqs
0.19/0.22	c (round 5, exhaustive) 900 del vars, 14598 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 0 impls, 16711 clqs
1.38/1.44	c    (1.4s) probing: 1000/5910 (16.9%) - 0 fixings, 0 aggregations, 108421 implications, 0 bound changes
1.38/1.44	c    (1.4s) probing: 1001/5910 (16.9%) - 0 fixings, 0 aggregations, 108548 implications, 0 bound changes
1.38/1.44	c    (1.4s) probing aborted: 1000/1000 successive useless probings
1.38/1.44	c    (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.46	c    (1.5s) no symmetry present (symcode time: 0.01)
1.38/1.47	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1.38/1.47	c  900 deleted vars, 14598 deleted constraints, 11130 added constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
1.38/1.47	c  0 implications, 46268 cliques
1.38/1.47	c presolved problem has 5910 variables (5910 bin, 0 int, 0 cont) and 11734 constraints
1.38/1.47	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.38/1.47	c     150 constraints of type <knapsack>
1.38/1.47	c    8521 constraints of type <setppc>
1.38/1.47	c    2940 constraints of type <and>
1.38/1.47	c       3 constraints of type <linear>
1.38/1.47	c     120 constraints of type <logicor>
1.38/1.47	c transformed objective value is always integral (scale: 1)
1.38/1.47	c Presolving Time: 1.41
1.38/1.47	c 
1.38/1.47	c - non default parameters ----------------------------------------------------------------------
1.38/1.47	c 
1.38/1.47	c # SCIP version 10.0.0
1.38/1.47	c 
1.38/1.47	c # maximal time in seconds to run
1.38/1.47	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.47	c limits/time = 3596.998008
1.38/1.47	c 
1.38/1.47	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.47	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.47	c limits/memory = 27900
1.38/1.47	c 
1.38/1.47	c # belongs reading time to solving time?
1.38/1.47	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.47	c timing/reading = TRUE
1.38/1.47	c 
1.38/1.47	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
1.38/1.47	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.38/1.47	c reading/opbreader/maxintsize = 47
1.38/1.47	c 
1.38/1.47	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.38/1.47	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.38/1.47	c propagating/genvbounds/timingmask = 0
1.38/1.47	c 
1.38/1.47	c -----------------------------------------------------------------------------------------------
1.38/1.47	c 
1.79/1.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.79/1.80	c   1.8s|     1 |     0 |   542 |     - |   104M |   0 |5910 |  11k|  14k|   0 |  0 | 117 |   0 | 2.222167e+06 |      --      |    Inf | unknown
2.09/2.11	o 59429907
2.09/2.11	c o 2.1s|     1 |     0 |  2643 |     - |feaspump|   0 |5910 |  11k|  14k|   0 |  0 | 117 |   0 | 2.222167e+06 | 5.942991e+07 |2574.41%| unknown
2.68/2.70	c   2.7s|     1 |     0 |  2902 |     - |   109M |   0 |5910 |  11k|  14k|  12 |  1 | 127 |   0 | 2.588719e+06 | 5.942991e+07 |2195.73%| unknown
2.68/2.72	c   2.7s|     1 |     0 |  2902 |     - |   109M |   0 |5910 |  11k|  14k|  12 |  1 | 128 |   0 | 2.588719e+06 | 5.942991e+07 |2195.73%| unknown
2.99/3.08	c   3.1s|     1 |     0 |  3103 |     - |   112M |   0 |5910 |  11k|  14k|  24 |  2 | 128 |   0 | 2.958089e+06 | 5.942991e+07 |1909.06%| unknown
3.38/3.43	c   3.4s|     1 |     0 |  3346 |     - |   117M |   0 |5910 |  11k|  14k|  30 |  3 | 128 |   0 | 3.545730e+06 | 5.942991e+07 |1576.10%| unknown
3.68/3.76	c   3.8s|     1 |     0 |  3517 |     - |   122M |   0 |5910 |  11k|  14k|  38 |  4 | 131 |   0 | 3.967619e+06 | 5.942991e+07 |1397.87%| unknown
4.18/4.26	c   4.3s|     1 |     0 |  3858 |     - |   128M |   0 |5910 |  11k|  14k|  51 |  5 | 136 |   0 | 4.006256e+06 | 5.942991e+07 |1383.43%| unknown
4.58/4.63	c   4.6s|     1 |     0 |  4323 |     - |   133M |   0 |5910 |  11k|  14k|  58 |  6 | 144 |   0 | 4.142183e+06 | 5.942991e+07 |1334.75%| unknown
5.47/5.53	c   5.5s|     1 |     0 |  4901 |     - |   141M |   0 |5910 |  11k|  14k|  67 |  7 | 144 |   0 | 4.251501e+06 | 5.942991e+07 |1297.86%| unknown
6.07/6.19	c   6.2s|     1 |     0 |  5252 |     - |   146M |   0 |5910 |  11k|  14k|  73 |  8 | 146 |   0 | 4.478852e+06 | 5.942991e+07 |1226.90%| unknown
6.67/6.78	c   6.8s|     1 |     0 |  5367 |     - |   150M |   0 |5910 |  11k|  14k|  77 |  9 | 146 |   0 | 4.509368e+06 | 5.942991e+07 |1217.92%| unknown
7.27/7.30	c   7.3s|     1 |     0 |  5434 |     - |   159M |   0 |5910 |  11k|  14k|  84 | 10 | 155 |   0 | 4.515813e+06 | 5.942991e+07 |1216.04%| unknown
7.37/7.44	c   7.4s|     1 |     0 |  6150 |     - |   160M |   0 |5910 |  11k|  14k|  91 | 11 | 155 |   0 | 4.806303e+06 | 5.942991e+07 |1136.50%| unknown
7.47/7.53	c   7.5s|     1 |     0 |  6606 |     - |   162M |   0 |5910 |  11k|  14k|  97 | 12 | 157 |   0 | 4.904172e+06 | 5.942991e+07 |1111.82%| unknown
7.47/7.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
7.47/7.58	c   7.6s|     1 |     0 |  6753 |     - |   163M |   0 |5910 |  11k|  14k| 103 | 13 | 159 |   0 | 4.927410e+06 | 5.942991e+07 |1106.11%| unknown
7.57/7.65	c   7.7s|     1 |     0 |  6903 |     - |   165M |   0 |5910 |  11k|  14k| 110 | 14 | 166 |   0 | 4.966824e+06 | 5.942991e+07 |1096.54%| unknown
7.67/7.75	c   7.7s|     1 |     0 |  7305 |     - |   166M |   0 |5910 |  11k|  14k| 116 | 15 | 166 |   0 | 5.029598e+06 | 5.942991e+07 |1081.60%| unknown
7.77/7.81	c   7.8s|     1 |     0 |  7481 |     - |   168M |   0 |5910 |  11k|  14k| 119 | 16 | 166 |   0 | 5.040841e+06 | 5.942991e+07 |1078.97%| unknown
7.77/7.88	c   7.9s|     1 |     0 |  7783 |     - |   169M |   0 |5910 |  11k|  14k| 122 | 17 | 168 |   0 | 5.088076e+06 | 5.942991e+07 |1068.02%| unknown
7.87/7.95	c   8.0s|     1 |     0 |  8046 |     - |   171M |   0 |5910 |  11k|  14k| 125 | 18 | 169 |   0 | 5.116360e+06 | 5.942991e+07 |1061.57%| unknown
7.97/8.01	c   8.0s|     1 |     0 |  8142 |     - |   173M |   0 |5910 |  11k|  14k| 130 | 19 | 172 |   0 | 5.130350e+06 | 5.942991e+07 |1058.40%| unknown
7.97/8.07	c   8.1s|     1 |     0 |  8206 |     - |   174M |   0 |5910 |  11k|  14k| 134 | 20 | 173 |   0 | 5.140342e+06 | 5.942991e+07 |1056.15%| unknown
8.07/8.11	c   8.1s|     1 |     0 |  8217 |     - |   174M |   0 |5910 |  11k|  14k| 137 | 21 | 175 |   0 | 5.140917e+06 | 5.942991e+07 |1056.02%| unknown
8.07/8.15	c   8.2s|     1 |     0 |  8233 |     - |   174M |   0 |5910 |  11k|  14k| 138 | 22 | 176 |   0 | 5.142450e+06 | 5.942991e+07 |1055.67%| unknown
8.17/8.20	c   8.2s|     1 |     0 |  8257 |     - |   175M |   0 |5910 |  11k|  14k| 139 | 23 | 180 |   0 | 5.148360e+06 | 5.942991e+07 |1054.35%| unknown
8.17/8.24	c   8.2s|     1 |     0 |  8281 |     - |   175M |   0 |5910 |  11k|  14k| 141 | 24 | 182 |   0 | 5.148735e+06 | 5.942991e+07 |1054.26%| unknown
8.17/8.28	c   8.3s|     1 |     0 |  8305 |     - |   175M |   0 |5910 |  11k|  14k| 144 | 25 | 184 |   0 | 5.149726e+06 | 5.942991e+07 |1054.04%| unknown
8.26/8.33	c   8.3s|     1 |     0 |  8388 |     - |   175M |   0 |5910 |  11k|  14k| 145 | 26 | 186 |   0 | 5.152857e+06 | 5.942991e+07 |1053.34%| unknown
8.26/8.37	c   8.4s|     1 |     0 |  8398 |     - |   175M |   0 |5910 |  11k|  14k| 147 | 27 | 188 |   0 | 5.152900e+06 | 5.942991e+07 |1053.33%| unknown
8.36/8.41	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.36/8.41	c   8.4s|     1 |     0 |  8399 |     - |   175M |   0 |5910 |  11k|  14k| 148 | 28 | 191 |   0 | 5.152971e+06 | 5.942991e+07 |1053.31%| unknown
8.36/8.44	c   8.4s|     1 |     0 |  8405 |     - |   175M |   0 |5910 |  11k|  14k| 149 | 29 | 192 |   0 | 5.153046e+06 | 5.942991e+07 |1053.30%| unknown
9.56/9.61	o 6565436
9.56/9.61	c d 9.6s|     1 |     0 | 13528 |     - |farkasdi|   0 |5910 |  11k|  14k|   0 | 30 | 215 |   0 | 5.153046e+06 | 6.565436e+06 |  27.41%| unknown
9.86/9.96	c  10.0s|     1 |     0 | 14519 |     - |   178M |   0 |5910 |  11k|  14k| 149 | 30 | 264 |   0 | 5.153046e+06 | 6.565436e+06 |  27.41%| unknown
9.86/9.98	c  10.0s|     1 |     0 | 14519 |     - |   178M |   0 |5910 |  11k|  14k| 149 | 30 | 264 |   0 | 5.153046e+06 | 6.565436e+06 |  27.41%| unknown
9.97/10.00	c  10.0s|     1 |     0 | 14519 |     - |   178M |   0 |5910 |  10k|  14k| 149 | 31 | 264 |   0 | 5.153046e+06 | 6.565436e+06 |  27.41%| unknown
10.07/10.10	c  10.1s|     1 |     0 | 14519 |     - |   178M |   0 |5910 |  10k|  14k| 149 | 32 | 264 |   1 | 5.176313e+06 | 6.565436e+06 |  26.84%| unknown
10.16/10.20	c  10.2s|     1 |     0 | 14519 |     - |   178M |   0 |5910 |  10k|  14k| 149 | 33 | 264 |   2 | 5.197026e+06 | 6.565436e+06 |  26.33%| unknown
10.66/10.76	c  10.8s|     1 |     0 | 14740 |     - |   180M |   0 |5910 |  10k|  14k| 149 | 34 | 269 |   8 | 5.209214e+06 | 6.565436e+06 |  26.04%| unknown
10.76/10.80	c  10.8s|     1 |     0 | 14744 |     - |   180M |   0 |5910 |  10k|  14k| 152 | 35 | 274 |   8 | 5.209214e+06 | 6.565436e+06 |  26.04%| unknown
10.76/10.82	c  10.8s|     1 |     0 | 14765 |     - |   180M |   0 |5910 |  10k|  14k| 153 | 36 | 275 |   8 | 5.209214e+06 | 6.565436e+06 |  26.04%| unknown
10.96/11.01	c  11.0s|     1 |     0 | 15049 |     - |   181M |   0 |5910 |  10k|  14k| 153 | 36 | 276 |  11 | 5.324966e+06 | 6.565436e+06 |  23.30%| unknown
10.96/11.03	c  11.0s|     1 |     0 | 15049 |     - |   181M |   0 |5910 |  10k|  12k| 153 | 36 | 276 |  11 | 5.324966e+06 | 6.565436e+06 |  23.30%| unknown
10.96/11.06	c  11.1s|     1 |     0 | 15088 |     - |   181M |   0 |5910 |  10k|  12k| 156 | 37 | 276 |  11 | 5.327079e+06 | 6.565436e+06 |  23.25%| unknown
10.96/11.08	c  11.1s|     1 |     0 | 15109 |     - |   181M |   0 |5910 |  10k|  12k| 158 | 38 | 280 |  11 | 5.328114e+06 | 6.565436e+06 |  23.22%| unknown
11.06/11.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
11.06/11.10	c  11.1s|     1 |     0 | 15109 |     - |   181M |   0 |5910 |  10k|  12k| 158 | 38 | 280 |  11 | 5.328114e+06 | 6.565436e+06 |  23.22%| unknown
11.06/11.11	c  11.1s|     1 |     0 | 15109 |     - |   181M |   0 |5910 |  10k|  12k| 158 | 38 | 280 |  11 | 5.328114e+06 | 6.565436e+06 |  23.22%| unknown
11.06/11.13	c  11.1s|     1 |     0 | 15112 |     - |   181M |   0 |5910 |  10k|  12k| 160 | 39 | 280 |  11 | 5.328142e+06 | 6.565436e+06 |  23.22%| unknown
11.16/11.27	c  11.3s|     1 |     0 | 15153 |     - |   181M |   0 |5910 |  10k|  13k| 160 | 40 | 281 |  14 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.26/11.31	c  11.3s|     1 |     0 | 15156 |     - |   181M |   0 |5910 |  10k|  13k| 161 | 41 | 284 |  14 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.26/11.32	c  11.3s|     1 |     0 | 15156 |     - |   182M |   0 |5910 |  10k|  12k| 161 | 41 | 286 |  14 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.26/11.33	c  11.3s|     1 |     0 | 15156 |     - |   182M |   0 |5910 |  10k|  12k| 161 | 42 | 286 |  14 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.26/11.35	c  11.4s|     1 |     0 | 15167 |     - |   182M |   0 |5910 |  10k|  12k| 162 | 43 | 286 |  14 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.46/11.51	c  11.5s|     1 |     0 | 15280 |     - |   182M |   0 |5910 |9951 |  12k| 162 | 44 | 288 |  17 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.46/11.53	c  11.5s|     1 |     0 | 15280 |     - |   182M |   0 |5910 |9953 |  12k| 162 | 44 | 290 |  17 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.46/11.55	c  11.5s|     1 |     0 | 15280 |     - |   182M |   0 |5910 |9949 |  12k| 162 | 45 | 290 |  17 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.56/11.66	c  11.7s|     1 |     0 | 15436 |     - |   182M |   0 |5910 |9949 |  12k| 162 | 46 | 292 |  20 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.56/11.66	c (run 1, node 1) restarting after 729 global fixings of integer variables
11.56/11.66	c 
11.56/11.66	c (restart) converted 57 cuts from the global cut pool into linear constraints
11.56/11.66	c 
11.56/11.69	c presolving:
11.66/11.70	c (round 1, fast)       947 del vars, 893 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 1865 chg coeffs, 0 upgd conss, 0 impls, 36124 clqs
11.66/11.71	c (round 2, fast)       1420 del vars, 1424 del conss, 2 add conss, 1 chg bounds, 0 chg sides, 2054 chg coeffs, 0 upgd conss, 0 impls, 33416 clqs
11.66/11.71	c (round 3, fast)       1680 del vars, 1656 del conss, 2 add conss, 1 chg bounds, 0 chg sides, 2355 chg coeffs, 0 upgd conss, 0 impls, 33416 clqs
11.66/11.72	c (round 4, medium)     1680 del vars, 1679 del conss, 32 add conss, 1 chg bounds, 0 chg sides, 2355 chg coeffs, 0 upgd conss, 0 impls, 33416 clqs
11.66/11.74	c (round 5, exhaustive) 1680 del vars, 1679 del conss, 32 add conss, 1 chg bounds, 0 chg sides, 2355 chg coeffs, 48 upgd conss, 0 impls, 33416 clqs
11.66/11.76	c (round 6, exhaustive) 2263 del vars, 1680 del conss, 32 add conss, 1 chg bounds, 1 chg sides, 2926 chg coeffs, 48 upgd conss, 0 impls, 28328 clqs
11.66/11.76	c (round 7, fast)       2846 del vars, 3207 del conss, 32 add conss, 1 chg bounds, 1 chg sides, 3575 chg coeffs, 48 upgd conss, 0 impls, 28328 clqs
11.66/11.78	c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
11.66/11.78	c  2846 deleted vars, 3207 deleted constraints, 32 added constraints, 1 tightened bounds, 0 added holes, 1 changed sides, 3576 changed coefficients
11.66/11.78	c  0 implications, 28328 cliques
11.66/11.78	c presolved problem has 4112 variables (4112 bin, 0 int, 0 cont) and 6519 constraints
11.66/11.78	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
11.66/11.78	c      56 constraints of type <knapsack>
11.66/11.78	c    3867 constraints of type <setppc>
11.66/11.78	c    2399 constraints of type <and>
11.66/11.78	c      14 constraints of type <linear>
11.66/11.78	c     183 constraints of type <logicor>
11.66/11.78	c transformed objective value is always integral (scale: 1)
11.66/11.78	c Presolving Time: 1.50
11.66/11.78	c transformed 1/2 original solutions to the transformed problem space
11.66/11.78	c 
11.76/11.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
11.76/11.84	c  11.8s|     1 |     0 | 15809 |     - |   182M |   0 |4112 |6519 |8833 |   0 |  0 | 292 |  20 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
11.76/11.85	c  11.9s|     1 |     0 | 15809 |     - |   182M |   0 |4112 |6521 |8827 |   0 |  0 | 294 |  20 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
12.16/12.21	c  12.2s|     1 |     0 | 15903 |     - |   183M |   0 |4112 |6521 |8829 |   2 |  1 | 294 |  20 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
12.16/12.22	c  12.2s|     1 |     0 | 15903 |     - |   183M |   0 |4112 |6522 |8826 |   2 |  1 | 295 |  20 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
12.45/12.53	c  12.5s|     1 |     0 | 15932 |     - |   185M |   0 |4112 |6522 |8829 |   5 |  2 | 295 |  20 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
12.75/12.83	c  12.8s|     1 |     0 | 15995 |     - |   186M |   0 |4112 |6524 |8832 |   8 |  3 | 297 |  20 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
12.96/13.07	c  13.1s|     1 |     0 | 16030 |     - |   188M |   0 |4112 |6524 |8836 |  12 |  4 | 297 |  20 | 5.465431e+06 | 6.565436e+06 |  20.13%| unknown
13.35/13.44	c  13.4s|     1 |     0 | 16079 |     - |   190M |   0 |4112 |6526 |8839 |  15 |  5 | 299 |  20 | 5.467849e+06 | 6.565436e+06 |  20.07%| unknown
13.75/13.83	c  13.8s|     1 |     0 | 16138 |     - |   192M |   0 |4112 |6533 |8843 |  19 |  6 | 306 |  20 | 5.472008e+06 | 6.565436e+06 |  19.98%| unknown
14.15/14.20	c  14.2s|     1 |     0 | 16194 |     - |   196M |   0 |4112 |6533 |8848 |  24 |  7 | 306 |  20 | 5.474862e+06 | 6.565436e+06 |  19.92%| unknown
14.65/14.74	c  14.7s|     1 |     0 | 16247 |     - |   199M |   0 |4112 |6533 |8851 |  27 |  8 | 306 |  20 | 5.477700e+06 | 6.565436e+06 |  19.86%| unknown
15.05/15.13	c  15.1s|     1 |     0 | 16280 |     - |   205M |   0 |4112 |6533 |8853 |  29 |  9 | 306 |  20 | 5.478450e+06 | 6.565436e+06 |  19.84%| unknown
15.44/15.55	c  15.6s|     1 |     0 | 16313 |     - |   212M |   0 |4112 |6534 |8856 |  32 | 10 | 307 |  20 | 5.480610e+06 | 6.565436e+06 |  19.79%| unknown
15.44/15.58	c  15.6s|     1 |     0 | 16368 |     - |   213M |   0 |4112 |6536 |8858 |  34 | 11 | 309 |  20 | 5.480822e+06 | 6.565436e+06 |  19.79%| unknown
15.54/15.62	c  15.6s|     1 |     0 | 16379 |     - |   214M |   0 |4112 |6546 |8861 |  37 | 12 | 319 |  20 | 5.480841e+06 | 6.565436e+06 |  19.79%| unknown
15.54/15.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.54/15.66	c  15.7s|     1 |     0 | 16452 |     - |   215M |   0 |4112 |6547 |8828 |  39 | 13 | 320 |  20 | 5.481541e+06 | 6.565436e+06 |  19.77%| unknown
15.54/15.69	c  15.7s|     1 |     0 | 16497 |     - |   216M |   0 |4112 |6549 |8833 |  44 | 14 | 322 |  20 | 5.483537e+06 | 6.565436e+06 |  19.73%| unknown
15.64/15.72	c  15.7s|     1 |     0 | 16546 |     - |   217M |   0 |4112 |6551 |8837 |  48 | 15 | 324 |  20 | 5.484357e+06 | 6.565436e+06 |  19.71%| unknown
15.64/15.76	c  15.8s|     1 |     0 | 16577 |     - |   218M |   0 |4112 |6559 |8838 |  49 | 16 | 332 |  20 | 5.484682e+06 | 6.565436e+06 |  19.70%| unknown
15.64/15.79	c  15.8s|     1 |     0 | 16590 |     - |   219M |   0 |4112 |6560 |8844 |  55 | 17 | 333 |  20 | 5.484873e+06 | 6.565436e+06 |  19.70%| unknown
15.74/15.83	c  15.8s|     1 |     0 | 16643 |     - |   220M |   0 |4112 |6560 |8847 |  58 | 18 | 333 |  20 | 5.485449e+06 | 6.565436e+06 |  19.69%| unknown
15.74/15.87	c  15.9s|     1 |     0 | 16663 |     - |   221M |   0 |4112 |6561 |8836 |  60 | 19 | 334 |  20 | 5.485675e+06 | 6.565436e+06 |  19.68%| unknown
15.84/15.91	c  15.9s|     1 |     0 | 16688 |     - |   221M |   0 |4112 |6562 |8838 |  62 | 20 | 335 |  20 | 5.485784e+06 | 6.565436e+06 |  19.68%| unknown
15.84/15.95	c  15.9s|     1 |     0 | 16702 |     - |   221M |   0 |4112 |6563 |8841 |  65 | 21 | 336 |  20 | 5.485837e+06 | 6.565436e+06 |  19.68%| unknown
15.84/15.98	c  16.0s|     1 |     0 | 16709 |     - |   221M |   0 |4112 |6565 |8843 |  67 | 22 | 338 |  20 | 5.485848e+06 | 6.565436e+06 |  19.68%| unknown
15.95/16.03	c  16.0s|     1 |     0 | 16748 |     - |   221M |   0 |4112 |6567 |8845 |  69 | 23 | 340 |  20 | 5.486253e+06 | 6.565436e+06 |  19.67%| unknown
15.95/16.07	c  16.1s|     1 |     0 | 16780 |     - |   221M |   0 |4112 |6567 |8846 |  70 | 24 | 340 |  20 | 5.486454e+06 | 6.565436e+06 |  19.67%| unknown
16.05/16.11	c  16.1s|     1 |     0 | 16801 |     - |   221M |   0 |4112 |6569 |8836 |  72 | 25 | 342 |  20 | 5.486478e+06 | 6.565436e+06 |  19.67%| unknown
16.05/16.15	c  16.2s|     1 |     0 | 16811 |     - |   221M |   0 |4112 |6569 |8837 |  73 | 26 | 342 |  20 | 5.486489e+06 | 6.565436e+06 |  19.67%| unknown
16.05/16.19	c  16.2s|     1 |     0 | 16836 |     - |   221M |   0 |4112 |6569 |8838 |  74 | 27 | 342 |  20 | 5.486540e+06 | 6.565436e+06 |  19.66%| unknown
16.14/16.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.14/16.23	c  16.2s|     1 |     0 | 16837 |     - |   221M |   0 |4112 |6568 |8839 |  75 | 28 | 342 |  20 | 5.486540e+06 | 6.565436e+06 |  19.66%| unknown
16.14/16.25	c  16.2s|     1 |     0 | 16837 |     - |   221M |   0 |4112 |6569 |8848 |  75 | 28 | 343 |  20 | 5.486540e+06 | 6.565436e+06 |  19.66%| unknown
16.14/16.27	c  16.3s|     1 |     0 | 16839 |     - |   221M |   0 |4112 |6569 |8849 |  76 | 29 | 343 |  20 | 5.486541e+06 | 6.565436e+06 |  19.66%| unknown
16.44/16.58	o 6296284
16.44/16.58	c d16.6s|     1 |     0 | 18152 |     - |farkasdi|   0 |4112 |6560 |8849 |   0 | 30 | 344 |  20 | 5.486541e+06 | 6.296284e+06 |  14.76%| unknown
16.64/16.71	c  16.7s|     1 |     0 | 18436 |     - |   222M |   0 |4112 |6571 |8849 |  76 | 30 | 362 |  20 | 5.486541e+06 | 6.296284e+06 |  14.76%| unknown
16.64/16.74	c  16.7s|     1 |     0 | 18436 |     - |   222M |   0 |4112 |6571 |8751 |  76 | 30 | 362 |  20 | 5.486541e+06 | 6.296284e+06 |  14.76%| unknown
16.64/16.76	c  16.8s|     1 |     0 | 18437 |     - |   222M |   0 |4112 |6551 |8753 |  78 | 31 | 362 |  20 | 5.486541e+06 | 6.296284e+06 |  14.76%| unknown
16.64/16.79	c  16.8s|     1 |     0 | 18437 |     - |   222M |   0 |4112 |6535 |8825 |  78 | 32 | 362 |  20 | 5.486541e+06 | 6.296284e+06 |  14.76%| unknown
16.84/16.95	c  16.9s|     1 |     0 | 18468 |     - |   222M |   0 |4112 |6057 |8838 |  78 | 33 | 362 |  24 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
16.84/16.99	c  17.0s|     1 |     0 | 18508 |     - |   222M |   0 |4112 |6059 |8839 |  79 | 34 | 366 |  24 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
16.95/17.00	c  17.0s|     1 |     0 | 18512 |     - |   222M |   0 |4112 |6060 |8817 |  80 | 35 | 367 |  24 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
16.95/17.06	c  17.1s|     1 |     0 | 18528 |     - |   222M |   0 |4112 |6059 |8830 |  80 | 35 | 367 |  25 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
16.95/17.09	c  17.1s|     1 |     0 | 18535 |     - |   222M |   0 |4112 |6060 |8833 |  83 | 36 | 368 |  25 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
17.05/17.11	c  17.1s|     1 |     0 | 18541 |     - |   222M |   0 |4112 |6067 |8834 |  84 | 37 | 375 |  25 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
17.44/17.54	c  17.5s|     1 |     0 | 18543 |     - |   222M |   0 |4112 |6036 |8912 |  84 | 37 | 377 |  37 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
17.64/17.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.64/17.71	c  17.7s|     1 |     0 | 18543 |     - |   222M |   0 |4112 |6030 |8920 |  84 | 38 | 377 |  41 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
17.74/17.83	c  17.8s|     1 |     0 | 18543 |     - |   222M |   0 |4112 |6030 |8920 |  84 | 39 | 377 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
17.74/17.83	c (run 2, node 1) restarting after 413 global fixings of integer variables
17.74/17.83	c 
17.74/17.83	c (restart) converted 33 cuts from the global cut pool into linear constraints
17.74/17.83	c 
17.74/17.89	c presolving:
17.84/17.90	c (round 1, fast)       413 del vars, 19 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 181 chg coeffs, 8 upgd conss, 0 impls, 24065 clqs
17.84/17.92	c (round 2, medium)     413 del vars, 21 del conss, 4 add conss, 0 chg bounds, 1 chg sides, 181 chg coeffs, 8 upgd conss, 0 impls, 24065 clqs
17.84/17.93	c (round 3, exhaustive) 413 del vars, 21 del conss, 4 add conss, 0 chg bounds, 1 chg sides, 182 chg coeffs, 27 upgd conss, 0 impls, 24065 clqs
17.84/17.96	c (round 4, exhaustive) 499 del vars, 24 del conss, 4 add conss, 0 chg bounds, 1 chg sides, 217 chg coeffs, 27 upgd conss, 0 impls, 23345 clqs
17.84/17.96	c (round 5, fast)       585 del vars, 242 del conss, 4 add conss, 0 chg bounds, 1 chg sides, 315 chg coeffs, 27 upgd conss, 0 impls, 23345 clqs
17.84/17.98	c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
17.84/17.98	c  585 deleted vars, 243 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 316 changed coefficients
17.84/17.98	c  0 implications, 23345 cliques
17.84/17.98	c presolved problem has 3613 variables (3613 bin, 0 int, 0 cont) and 5824 constraints
17.84/17.98	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
17.84/17.98	c      67 constraints of type <knapsack>
17.84/17.98	c    3432 constraints of type <setppc>
17.84/17.98	c    2086 constraints of type <and>
17.84/17.98	c      28 constraints of type <linear>
17.84/17.98	c     211 constraints of type <logicor>
17.84/17.98	c transformed objective value is always integral (scale: 1)
17.84/17.98	c Presolving Time: 1.60
17.84/17.99	c transformed 2/3 original solutions to the transformed problem space
17.84/17.99	c 
17.94/18.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.94/18.08	c  18.1s|     1 |     0 | 19235 |     - |   218M |   0 |3613 |5824 |7786 |   0 |  0 | 377 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
18.04/18.11	c  18.1s|     1 |     0 | 19235 |     - |   218M |   0 |3613 |5824 |7781 |   0 |  0 | 377 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
18.54/18.60	c  18.6s|     1 |     0 | 19289 |     - |   220M |   0 |3613 |5819 |7785 |   4 |  1 | 377 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
18.54/18.61	c  18.6s|     1 |     0 | 19289 |     - |   220M |   0 |3613 |5820 |7784 |   4 |  1 | 378 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
18.83/19.00	c  19.0s|     1 |     0 | 19309 |     - |   224M |   0 |3613 |5820 |7787 |   7 |  2 | 378 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
19.23/19.38	c  19.4s|     1 |     0 | 19370 |     - |   232M |   0 |3613 |5829 |7790 |  10 |  3 | 387 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
19.83/19.92	c  19.9s|     1 |     0 | 19407 |     - |   241M |   0 |3613 |5830 |7793 |  13 |  4 | 388 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
20.23/20.30	c  20.3s|     1 |     0 | 19440 |     - |   247M |   0 |3613 |5832 |7794 |  14 |  5 | 390 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
20.72/20.87	c  20.9s|     1 |     0 | 19463 |     - |   254M |   0 |3613 |5834 |7796 |  16 |  6 | 392 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
21.33/21.48	c  21.5s|     1 |     0 | 19482 |     - |   260M |   0 |3613 |5840 |7798 |  18 |  7 | 398 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
21.82/21.95	c  21.9s|     1 |     0 | 19491 |     - |   264M |   0 |3613 |5846 |7802 |  22 |  8 | 404 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.22/22.30	c  22.3s|     1 |     0 | 19516 |     - |   272M |   0 |3613 |5855 |7804 |  24 |  9 | 413 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.52/22.66	c  22.7s|     1 |     0 | 19569 |     - |   285M |   0 |3613 |5856 |7806 |  26 | 10 | 414 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.62/22.72	c  22.7s|     1 |     0 | 19626 |     - |   285M |   0 |3613 |5859 |7809 |  29 | 11 | 417 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.62/22.74	c  22.7s|     1 |     0 | 19626 |     - |   285M |   0 |3613 |5861 |7810 |  29 | 11 | 419 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.62/22.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
22.62/22.78	c  22.8s|     1 |     0 | 19650 |     - |   287M |   0 |3613 |5861 |7812 |  31 | 12 | 419 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.72/22.84	c  22.8s|     1 |     0 | 19684 |     - |   288M |   0 |3613 |5862 |7764 |  33 | 13 | 420 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.72/22.88	c  22.9s|     1 |     0 | 19697 |     - |   289M |   0 |3613 |5864 |7765 |  34 | 14 | 422 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.82/22.94	c  22.9s|     1 |     0 | 19737 |     - |   290M |   0 |3613 |5870 |7768 |  37 | 15 | 428 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.82/23.00	c  23.0s|     1 |     0 | 19806 |     - |   291M |   0 |3613 |5872 |7772 |  41 | 16 | 430 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
22.92/23.06	c  23.1s|     1 |     0 | 19850 |     - |   291M |   0 |3613 |5873 |7775 |  44 | 17 | 431 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.02/23.11	c  23.1s|     1 |     0 | 19872 |     - |   292M |   0 |3613 |5874 |7776 |  45 | 18 | 432 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.02/23.17	c  23.2s|     1 |     0 | 19884 |     - |   293M |   0 |3613 |5874 |7766 |  47 | 19 | 432 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.12/23.23	c  23.2s|     1 |     0 | 19920 |     - |   294M |   0 |3613 |5874 |7767 |  48 | 20 | 432 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.12/23.28	c  23.3s|     1 |     0 | 19929 |     - |   294M |   0 |3613 |5876 |7768 |  49 | 21 | 434 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.22/23.33	c  23.3s|     1 |     0 | 19932 |     - |   294M |   0 |3613 |5882 |7769 |  50 | 22 | 440 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.22/23.38	c  23.4s|     1 |     0 | 19944 |     - |   294M |   0 |3613 |5884 |7770 |  51 | 23 | 442 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.32/23.44	c  23.4s|     1 |     0 | 19966 |     - |   294M |   0 |3613 |5884 |7771 |  52 | 24 | 442 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.32/23.49	c  23.5s|     1 |     0 | 19970 |     - |   294M |   0 |3613 |5886 |7760 |  53 | 25 | 444 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.42/23.54	c  23.5s|     1 |     0 | 19973 |     - |   294M |   0 |3613 |5886 |7761 |  54 | 26 | 444 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.42/23.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.42/23.59	c  23.6s|     1 |     0 | 20004 |     - |   294M |   0 |3613 |5887 |7763 |  56 | 27 | 445 |  44 | 5.492024e+06 | 6.296284e+06 |  14.64%| unknown
23.82/23.94	o 6264620
23.82/23.94	c d23.9s|     1 |     0 | 21545 |     - |conflict|   0 |3613 |5890 |7763 |   0 | 27 | 452 |  44 | 5.492024e+06 | 6.264620e+06 |  14.07%| unknown
23.92/24.02	c  24.0s|     1 |     0 | 21545 |     - |   295M |   0 |3613 |5887 |7763 |  56 | 27 | 452 |  44 | 5.492024e+06 | 6.264620e+06 |  14.07%| unknown
23.92/24.04	c  24.0s|     1 |     0 | 21545 |     - |   295M |   0 |3613 |5889 |7738 |  56 | 27 | 454 |  44 | 5.492024e+06 | 6.264620e+06 |  14.07%| unknown
23.92/24.07	c  24.1s|     1 |     0 | 21551 |     - |   295M |   0 |3613 |5874 |7739 |  57 | 28 | 454 |  44 | 5.492090e+06 | 6.264620e+06 |  14.07%| unknown
23.92/24.10	c  24.1s|     1 |     0 | 21556 |     - |   295M |   0 |3613 |5880 |7729 |  58 | 29 | 460 |  44 | 5.492107e+06 | 6.264620e+06 |  14.07%| unknown
24.02/24.12	c  24.1s|     1 |     0 | 21556 |     - |   295M |   0 |3613 |5876 |7740 |  58 | 29 | 466 |  44 | 5.492107e+06 | 6.264620e+06 |  14.07%| unknown
24.02/24.15	c  24.2s|     1 |     0 | 21562 |     - |   295M |   0 |3613 |5876 |7741 |  59 | 30 | 466 |  44 | 5.492120e+06 | 6.264620e+06 |  14.07%| unknown
24.02/24.17	c  24.2s|     1 |     0 | 21567 |     - |   295M |   0 |3613 |5883 |7742 |  60 | 31 | 473 |  44 | 5.492194e+06 | 6.264620e+06 |  14.06%| unknown
24.12/24.20	c  24.2s|     1 |     0 | 21674 |     - |   295M |   0 |3613 |5881 |7742 |  60 | 31 | 475 |  45 | 5.494517e+06 | 6.264620e+06 |  14.02%| unknown
24.12/24.20	c (run 3, node 1) restarting after 490 global fixings of integer variables
24.12/24.20	c 
24.12/24.21	c (restart) converted 25 cuts from the global cut pool into linear constraints
24.12/24.21	c 
24.12/24.29	c presolving:
24.22/24.30	c (round 1, fast)       490 del vars, 579 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 90 chg coeffs, 0 upgd conss, 0 impls, 18929 clqs
24.22/24.32	c (round 2, exhaustive) 490 del vars, 585 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 90 chg coeffs, 0 upgd conss, 0 impls, 18929 clqs
24.22/24.34	c (round 3, exhaustive) 490 del vars, 585 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 91 chg coeffs, 12 upgd conss, 0 impls, 18931 clqs
24.22/24.37	c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
24.22/24.37	c  490 deleted vars, 586 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 115 changed coefficients
24.22/24.37	c  0 implications, 18932 cliques
24.22/24.37	c presolved problem has 3123 variables (3123 bin, 0 int, 0 cont) and 5037 constraints
24.22/24.37	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
24.22/24.37	c      73 constraints of type <knapsack>
24.22/24.37	c    2889 constraints of type <setppc>
24.22/24.37	c    1787 constraints of type <and>
24.22/24.37	c      39 constraints of type <linear>
24.22/24.37	c     249 constraints of type <logicor>
24.22/24.37	c transformed objective value is always integral (scale: 1)
24.22/24.37	c Presolving Time: 1.68
24.22/24.38	c transformed 3/4 original solutions to the transformed problem space
24.22/24.38	c 
24.32/24.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
24.32/24.46	c  24.5s|     1 |     0 | 22237 |     - |   283M |   0 |3123 |5037 |6633 |   0 |  0 | 475 |  45 | 5.494518e+06 | 6.264620e+06 |  14.02%| unknown
24.32/24.48	c  24.5s|     1 |     0 | 22237 |     - |   284M |   0 |3123 |5045 |6631 |   0 |  0 | 483 |  45 | 5.494518e+06 | 6.264620e+06 |  14.02%| unknown
24.62/24.76	c  24.8s|     1 |     0 | 22259 |     - |   285M |   0 |3123 |5045 |6632 |   1 |  1 | 483 |  45 | 5.495484e+06 | 6.264620e+06 |  14.00%| unknown
24.82/24.97	c  25.0s|     1 |     0 | 22291 |     - |   285M |   0 |3123 |5045 |6633 |   2 |  2 | 483 |  45 | 5.498842e+06 | 6.264620e+06 |  13.93%| unknown
25.12/25.21	c  25.2s|     1 |     0 | 22322 |     - |   286M |   0 |3123 |5049 |6635 |   4 |  3 | 487 |  45 | 5.500410e+06 | 6.264620e+06 |  13.89%| unknown
25.31/25.42	c  25.4s|     1 |     0 | 22344 |     - |   289M |   0 |3123 |5051 |6638 |   7 |  4 | 489 |  45 | 5.503955e+06 | 6.264620e+06 |  13.82%| unknown
25.31/25.43	c  25.4s|     1 |     0 | 22344 |     - |   289M |   0 |3123 |5052 |6637 |   7 |  4 | 490 |  45 | 5.503955e+06 | 6.264620e+06 |  13.82%| unknown
25.51/25.62	c  25.6s|     1 |     0 | 22433 |     - |   291M |   0 |3123 |5052 |6643 |  13 |  5 | 490 |  45 | 5.508121e+06 | 6.264620e+06 |  13.73%| unknown
25.51/25.63	c  25.6s|     1 |     0 | 22433 |     - |   291M |   0 |3123 |5054 |6641 |  13 |  5 | 492 |  45 | 5.508121e+06 | 6.264620e+06 |  13.73%| unknown
25.71/25.82	c  25.8s|     1 |     0 | 22440 |     - |   293M |   0 |3123 |5054 |6645 |  17 |  6 | 492 |  45 | 5.508632e+06 | 6.264620e+06 |  13.72%| unknown
25.92/26.08	c  26.1s|     1 |     0 | 22501 |     - |   297M |   0 |3123 |5061 |6647 |  19 |  7 | 499 |  45 | 5.512495e+06 | 6.264620e+06 |  13.64%| unknown
26.21/26.36	c  26.4s|     1 |     0 | 22609 |     - |   302M |   0 |3123 |5061 |6650 |  22 |  8 | 499 |  45 | 5.516219e+06 | 6.264620e+06 |  13.57%| unknown
26.51/26.63	c  26.6s|     1 |     0 | 22621 |     - |   306M |   0 |3123 |5067 |6655 |  27 |  9 | 505 |  45 | 5.516954e+06 | 6.264620e+06 |  13.55%| unknown
26.71/26.89	c  26.9s|     1 |     0 | 22676 |     - |   310M |   0 |3123 |5069 |6659 |  31 | 10 | 507 |  45 | 5.519140e+06 | 6.264620e+06 |  13.51%| unknown
26.81/26.94	c  26.9s|     1 |     0 | 22711 |     - |   311M |   0 |3123 |5069 |6662 |  34 | 11 | 507 |  45 | 5.522372e+06 | 6.264620e+06 |  13.44%| unknown
26.81/26.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
26.81/26.97	c  27.0s|     1 |     0 | 22726 |     - |   311M |   0 |3123 |5071 |6665 |  37 | 12 | 509 |  45 | 5.523282e+06 | 6.264620e+06 |  13.42%| unknown
26.91/27.02	c  27.0s|     1 |     0 | 22773 |     - |   312M |   0 |3123 |5077 |6669 |  41 | 13 | 515 |  45 | 5.525185e+06 | 6.264620e+06 |  13.38%| unknown
26.91/27.03	c  27.0s|     1 |     0 | 22773 |     - |   312M |   0 |3123 |5078 |6667 |  41 | 13 | 516 |  45 | 5.525185e+06 | 6.264620e+06 |  13.38%| unknown
26.91/27.06	c  27.1s|     1 |     0 | 22790 |     - |   313M |   0 |3123 |5078 |6604 |  43 | 14 | 516 |  45 | 5.525696e+06 | 6.264620e+06 |  13.37%| unknown
26.91/27.08	c  27.1s|     1 |     0 | 22790 |     - |   313M |   0 |3123 |5088 |6601 |  43 | 14 | 526 |  45 | 5.525696e+06 | 6.264620e+06 |  13.37%| unknown
27.01/27.11	c  27.1s|     1 |     0 | 22817 |     - |   313M |   0 |3123 |5088 |6604 |  46 | 15 | 526 |  45 | 5.527705e+06 | 6.264620e+06 |  13.33%| unknown
27.01/27.12	c  27.1s|     1 |     0 | 22817 |     - |   313M |   0 |3123 |5089 |6603 |  46 | 15 | 527 |  45 | 5.527705e+06 | 6.264620e+06 |  13.33%| unknown
27.01/27.15	c  27.2s|     1 |     0 | 22848 |     - |   314M |   0 |3123 |5089 |6604 |  47 | 16 | 527 |  45 | 5.528688e+06 | 6.264620e+06 |  13.31%| unknown
27.01/27.16	c  27.2s|     1 |     0 | 22848 |     - |   314M |   0 |3123 |5091 |6603 |  47 | 16 | 529 |  45 | 5.528688e+06 | 6.264620e+06 |  13.31%| unknown
27.01/27.19	c  27.2s|     1 |     0 | 22884 |     - |   314M |   0 |3123 |5091 |6606 |  50 | 17 | 529 |  45 | 5.529626e+06 | 6.264620e+06 |  13.29%| unknown
27.11/27.23	c  27.2s|     1 |     0 | 22950 |     - |   315M |   0 |3123 |5097 |6608 |  52 | 18 | 535 |  45 | 5.532672e+06 | 6.264620e+06 |  13.23%| unknown
27.11/27.28	c  27.3s|     1 |     0 | 23053 |     - |   316M |   0 |3123 |5104 |6614 |  58 | 19 | 542 |  45 | 5.540145e+06 | 6.264620e+06 |  13.08%| unknown
27.21/27.30	c  27.3s|     1 |     0 | 23053 |     - |   316M |   0 |3123 |5104 |6612 |  58 | 19 | 542 |  45 | 5.540145e+06 | 6.264620e+06 |  13.08%| unknown
27.21/27.33	c  27.3s|     1 |     0 | 23066 |     - |   316M |   0 |3123 |5104 |6596 |  63 | 20 | 542 |  45 | 5.540452e+06 | 6.264620e+06 |  13.07%| unknown
27.21/27.36	c  27.4s|     1 |     0 | 23085 |     - |   316M |   0 |3123 |5106 |6597 |  64 | 21 | 544 |  45 | 5.540906e+06 | 6.264620e+06 |  13.06%| unknown
27.31/27.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
27.31/27.40	c  27.4s|     1 |     0 | 23095 |     - |   316M |   0 |3123 |5106 |6598 |  65 | 22 | 544 |  45 | 5.540960e+06 | 6.264620e+06 |  13.06%| unknown
27.31/27.44	c  27.4s|     1 |     0 | 23096 |     - |   316M |   0 |3123 |5114 |6599 |  66 | 23 | 553 |  45 | 5.540968e+06 | 6.264620e+06 |  13.06%| unknown
27.31/27.47	c  27.5s|     1 |     0 | 23099 |     - |   316M |   0 |3123 |5116 |6600 |  67 | 24 | 555 |  45 | 5.541026e+06 | 6.264620e+06 |  13.06%| unknown
27.41/27.51	c  27.5s|     1 |     0 | 23118 |     - |   317M |   0 |3123 |5117 |6602 |  69 | 25 | 556 |  45 | 5.541519e+06 | 6.264620e+06 |  13.05%| unknown
27.41/27.55	c  27.6s|     1 |     0 | 23120 |     - |   317M |   0 |3123 |5127 |6590 |  70 | 26 | 566 |  45 | 5.541537e+06 | 6.264620e+06 |  13.05%| unknown
27.41/27.59	c  27.6s|     1 |     0 | 23130 |     - |   317M |   0 |3123 |5126 |6592 |  72 | 27 | 566 |  45 | 5.541602e+06 | 6.264620e+06 |  13.05%| unknown
27.51/27.62	c  27.6s|     1 |     0 | 23133 |     - |   317M |   0 |3123 |5127 |6593 |  73 | 28 | 567 |  45 | 5.541605e+06 | 6.264620e+06 |  13.05%| unknown
27.51/27.66	c  27.7s|     1 |     0 | 23133 |     - |   317M |   0 |3123 |5127 |6607 |  73 | 29 | 567 |  45 | 5.541605e+06 | 6.264620e+06 |  13.05%| unknown
27.70/27.86	c  27.9s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5128 |6619 |  73 | 30 | 570 |  47 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
28.30/28.43	c  28.4s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5130 |6631 |  73 | 31 | 576 |  64 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
28.40/28.54	c  28.5s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5124 |6638 |  73 | 32 | 576 |  67 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
28.50/28.62	c  28.6s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5119 |6645 |  73 | 33 | 576 |  68 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
28.70/28.80	c  28.8s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5119 |6657 |  73 | 34 | 576 |  76 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
28.70/28.84	c  28.8s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5119 |6669 |  73 | 35 | 576 |  77 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
28.80/28.95	c  28.9s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5119 |6681 |  73 | 36 | 576 |  80 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
28.80/28.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
28.80/28.99	c  29.0s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5119 |6693 |  73 | 37 | 576 |  81 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
28.90/29.06	c  29.1s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5119 |6705 |  73 | 38 | 576 |  83 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
29.00/29.16	c  29.2s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5114 |6713 |  73 | 39 | 576 |  85 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
29.19/29.36	c  29.4s|     1 |     0 | 23571 |     - |   317M |   0 |3123 |5112 |6761 |  73 | 40 | 576 |  94 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
29.29/29.41	c  29.4s|     1 |     0 | 23571 |     - |   318M |   0 |3123 |5111 |6797 |  73 | 41 | 576 |  95 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
29.69/29.80	c  29.8s|     1 |     2 | 23571 |     - |   318M |   0 |3123 |5103 |6797 |  73 | 42 | 576 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
29.69/29.80	c (run 4, node 1) restarting after 208 global fixings of integer variables
29.69/29.80	c 
29.69/29.81	c (restart) converted 52 cuts from the global cut pool into linear constraints
29.69/29.81	c 
29.69/29.88	c presolving:
29.69/29.89	c (round 1, fast)       208 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 18 chg coeffs, 0 upgd conss, 0 impls, 17384 clqs
29.79/29.92	c (round 2, exhaustive) 208 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 35 upgd conss, 0 impls, 17384 clqs
29.79/29.93	c (round 3, medium)     208 del vars, 7 del conss, 4 add conss, 0 chg bounds, 4 chg sides, 33 chg coeffs, 35 upgd conss, 0 impls, 17385 clqs
29.79/29.94	c (round 4, exhaustive) 208 del vars, 9 del conss, 4 add conss, 0 chg bounds, 4 chg sides, 158 chg coeffs, 35 upgd conss, 0 impls, 17385 clqs
29.79/29.96	c (round 5, exhaustive) 208 del vars, 18 del conss, 4 add conss, 0 chg bounds, 4 chg sides, 166 chg coeffs, 35 upgd conss, 0 impls, 17386 clqs
29.79/29.98	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
29.79/29.98	c  208 deleted vars, 18 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 166 changed coefficients
29.79/29.98	c  0 implications, 17386 cliques
29.79/29.98	c presolved problem has 2915 variables (2915 bin, 0 int, 0 cont) and 5141 constraints
29.79/29.98	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
29.79/29.98	c      76 constraints of type <knapsack>
29.79/29.98	c    3097 constraints of type <setppc>
29.79/29.98	c    1583 constraints of type <and>
29.79/29.98	c      56 constraints of type <linear>
29.79/29.98	c     329 constraints of type <logicor>
29.79/29.98	c transformed objective value is always integral (scale: 1)
29.79/29.98	c Presolving Time: 1.78
29.79/29.99	c transformed 3/4 original solutions to the transformed problem space
29.79/29.99	c 
30.00/30.11	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.00/30.11	c  30.1s|     1 |     0 | 24453 |     - |   311M |   0 |2915 |5141 |6466 |   0 |  0 | 576 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
30.00/30.13	c  30.1s|     1 |     0 | 24453 |     - |   311M |   0 |2915 |5149 |6464 |   0 |  0 | 584 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
30.39/30.54	c  30.5s|     1 |     0 | 24560 |     - |   312M |   0 |2915 |5147 |6472 |   8 |  1 | 584 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
30.39/30.55	c  30.6s|     1 |     0 | 24560 |     - |   312M |   0 |2915 |5149 |6471 |   8 |  1 | 586 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
30.59/30.76	c  30.8s|     1 |     0 | 24609 |     - |   313M |   0 |2915 |5149 |6475 |  12 |  2 | 586 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
30.59/30.78	c  30.8s|     1 |     0 | 24609 |     - |   313M |   0 |2915 |5158 |6471 |  12 |  2 | 595 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
30.89/31.02	c  31.0s|     1 |     0 | 24663 |     - |   313M |   0 |2915 |5154 |6475 |  16 |  3 | 595 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
30.89/31.03	c  31.0s|     1 |     0 | 24663 |     - |   313M |   0 |2915 |5153 |6472 |  16 |  3 | 596 | 108 | 5.565290e+06 | 6.264620e+06 |  12.57%| unknown
31.29/31.48	c  31.5s|     1 |     0 | 24699 |     - |   314M |   0 |2915 |5153 |6475 |  19 |  4 | 596 | 108 | 5.566856e+06 | 6.264620e+06 |  12.53%| unknown
31.79/31.98	c  32.0s|     1 |     0 | 24752 |     - |   314M |   0 |2915 |5153 |6477 |  21 |  5 | 597 | 108 | 5.572487e+06 | 6.264620e+06 |  12.42%| unknown
32.28/32.47	c  32.5s|     1 |     0 | 24820 |     - |   317M |   0 |2915 |5163 |6482 |  26 |  6 | 607 | 108 | 5.579141e+06 | 6.264620e+06 |  12.29%| unknown
32.28/32.49	c  32.5s|     1 |     0 | 24820 |     - |   317M |   0 |2915 |5165 |6475 |  26 |  6 | 609 | 108 | 5.579141e+06 | 6.264620e+06 |  12.29%| unknown
32.78/32.95	c  32.9s|     1 |     0 | 24850 |     - |   318M |   0 |2915 |5165 |6478 |  29 |  7 | 609 | 108 | 5.580382e+06 | 6.264620e+06 |  12.26%| unknown
33.28/33.46	c  33.5s|     1 |     0 | 24942 |     - |   321M |   0 |2915 |5163 |6480 |  31 |  8 | 609 | 108 | 5.588487e+06 | 6.264620e+06 |  12.10%| unknown
33.78/33.91	c  33.9s|     1 |     0 | 24991 |     - |   326M |   0 |2915 |5165 |6482 |  33 |  9 | 611 | 108 | 5.591061e+06 | 6.264620e+06 |  12.05%| unknown
34.18/34.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
34.18/34.36	c  34.4s|     1 |     0 | 25000 |     - |   327M |   0 |2915 |5168 |6484 |  35 | 10 | 615 | 108 | 5.591246e+06 | 6.264620e+06 |  12.04%| unknown
34.28/34.41	c  34.4s|     1 |     0 | 25017 |     - |   327M |   0 |2915 |5169 |6486 |  37 | 11 | 616 | 108 | 5.592027e+06 | 6.264620e+06 |  12.03%| unknown
34.28/34.47	c  34.5s|     1 |     0 | 25066 |     - |   328M |   0 |2915 |5170 |6488 |  39 | 12 | 617 | 108 | 5.592752e+06 | 6.264620e+06 |  12.01%| unknown
34.38/34.53	c  34.5s|     1 |     0 | 25089 |     - |   329M |   0 |2915 |5172 |6493 |  44 | 13 | 619 | 108 | 5.593156e+06 | 6.264620e+06 |  12.01%| unknown
34.38/34.59	c  34.6s|     1 |     0 | 25119 |     - |   329M |   0 |2915 |5172 |6384 |  45 | 14 | 619 | 108 | 5.593880e+06 | 6.264620e+06 |  11.99%| unknown
34.48/34.64	c  34.6s|     1 |     0 | 25168 |     - |   330M |   0 |2915 |5174 |6386 |  47 | 15 | 621 | 108 | 5.596019e+06 | 6.264620e+06 |  11.95%| unknown
34.48/34.68	c  34.7s|     1 |     0 | 25213 |     - |   331M |   0 |2915 |5175 |6389 |  50 | 16 | 622 | 108 | 5.597075e+06 | 6.264620e+06 |  11.93%| unknown
34.58/34.70	c  34.7s|     1 |     0 | 25213 |     - |   331M |   0 |2915 |5177 |6386 |  50 | 16 | 624 | 108 | 5.597075e+06 | 6.264620e+06 |  11.93%| unknown
34.58/34.74	c  34.7s|     1 |     0 | 25235 |     - |   331M |   0 |2915 |5177 |6389 |  53 | 17 | 624 | 108 | 5.597470e+06 | 6.264620e+06 |  11.92%| unknown
34.68/34.80	c  34.8s|     1 |     0 | 25312 |     - |   331M |   0 |2915 |5183 |6392 |  56 | 18 | 630 | 108 | 5.599042e+06 | 6.264620e+06 |  11.89%| unknown
34.68/34.85	c  34.9s|     1 |     0 | 25333 |     - |   332M |   0 |2915 |5185 |6395 |  59 | 19 | 632 | 108 | 5.599418e+06 | 6.264620e+06 |  11.88%| unknown
34.78/34.91	c  34.9s|     1 |     0 | 25420 |     - |   333M |   0 |2915 |5191 |6380 |  61 | 20 | 638 | 108 | 5.603449e+06 | 6.264620e+06 |  11.80%| unknown
34.78/34.92	c  34.9s|     1 |     0 | 25420 |     - |   333M |   0 |2915 |5193 |6375 |  61 | 20 | 640 | 108 | 5.603449e+06 | 6.264620e+06 |  11.80%| unknown
34.78/34.96	c  35.0s|     1 |     0 | 25433 |     - |   333M |   0 |2915 |5193 |6379 |  65 | 21 | 640 | 108 | 5.603586e+06 | 6.264620e+06 |  11.80%| unknown
34.78/34.98	c  35.0s|     1 |     0 | 25433 |     - |   333M |   0 |2915 |5195 |6378 |  65 | 21 | 642 | 108 | 5.603586e+06 | 6.264620e+06 |  11.80%| unknown
34.88/35.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
34.88/35.01	c  35.0s|     1 |     0 | 25441 |     - |   333M |   0 |2915 |5195 |6381 |  68 | 22 | 642 | 108 | 5.603654e+06 | 6.264620e+06 |  11.80%| unknown
34.88/35.06	c  35.1s|     1 |     0 | 25455 |     - |   333M |   0 |2915 |5194 |6382 |  69 | 23 | 642 | 108 | 5.603744e+06 | 6.264620e+06 |  11.79%| unknown
34.98/35.11	c  35.1s|     1 |     0 | 25474 |     - |   333M |   0 |2915 |5198 |6383 |  70 | 24 | 647 | 108 | 5.603826e+06 | 6.264620e+06 |  11.79%| unknown
34.98/35.16	c  35.2s|     1 |     0 | 25474 |     - |   333M |   0 |2915 |3706 |6392 |  70 | 25 | 655 | 108 | 5.603826e+06 | 6.264620e+06 |  11.79%| unknown
35.18/35.34	c  35.3s|     1 |     0 | 25792 |     - |   333M |   0 |2915 |3455 |6410 |  70 | 26 | 663 | 109 | 5.604100e+06 | 6.264620e+06 |  11.79%| unknown
35.28/35.41	c  35.4s|     1 |     0 | 25792 |     - |   333M |   0 |2915 |3456 |6421 |  70 | 27 | 665 | 110 | 5.605122e+06 | 6.264620e+06 |  11.77%| unknown
35.88/36.01	c  36.0s|     1 |     2 | 25792 |     - |   333M |   0 |2915 |3453 |6421 |  70 | 28 | 665 | 131 | 5.608144e+06 | 6.264620e+06 |  11.71%| unknown
38.17/38.38	o 6136638
38.17/38.38	c *38.4s|     6 |     5 | 26255 |1277.1 |strongbr|   5 |2915 |3434 |6380 |  73 |  2 | 670 | 265 | 5.611447e+06 | 6.136638e+06 |   9.36%| unknown
40.36/40.55	o 6128731
40.36/40.55	c *40.6s|    19 |     6 | 27634 | 585.1 |strongbr|   6 |2915 |3472 |6450 |  81 |  3 | 785 | 474 | 5.640025e+06 | 6.128731e+06 |   8.66%|   8.21%
41.16/41.31	o 6120918
41.16/41.31	c *41.3s|    23 |     8 | 28186 | 516.3 |strongbr|   7 |2915 |3511 |6456 |  85 |  4 | 846 | 539 | 5.640025e+06 | 6.120918e+06 |   8.53%|   8.78%
41.55/41.75	o 6081305
41.55/41.75	c *41.7s|    26 |     7 | 28422 | 471.1 |strongbr|   8 |2915 |3520 |6457 |  85 |  6 | 870 | 579 | 5.640025e+06 | 6.081305e+06 |   7.82%|   9.99%
41.65/41.81	o 6047487
41.65/41.81	c *41.8s|    26 |     6 | 28424 | 471.1 |strongbr|   8 |2915 |3529 |6463 |  85 |  8 | 880 | 586 | 5.640025e+06 | 6.047487e+06 |   7.22%|  11.14%
44.35/44.57	o 6013609
44.35/44.57	c *44.6s|    46 |     8 | 30725 | 325.8 |strongbr|  11 |2915 |3614 |6585 | 198 |  8 |1005 | 709 | 5.641079e+06 | 6.013609e+06 |   6.60%|  13.65%
44.45/44.62	o 6013220
44.45/44.62	c *44.6s|    46 |     8 | 30773 | 326.8 |strongbr|  11 |2915 |3613 |6588 | 199 | 10 |1005 | 714 | 5.641079e+06 | 6.013220e+06 |   6.60%|  13.65%
45.24/45.44	o 5965972
45.24/45.44	c *45.4s|    48 |     8 | 31282 | 323.9 |strongbr|  11 |2915 |3625 |6606 | 234 |  1 |1029 | 749 | 5.641079e+06 | 5.965972e+06 |   5.76%|  17.57%
45.34/45.53	o 5961310
45.34/45.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
45.34/45.53	c *45.5s|    50 |     8 | 31363 | 313.2 |strongbr|  12 |2915 |3612 |6617 | 237 |  3 |1035 | 762 | 5.641079e+06 | 5.961310e+06 |   5.68%|  19.28%
45.34/45.55	o 5950590
45.34/45.55	c *45.6s|    50 |     7 | 31377 | 313.5 |strongbr|  12 |2915 |3620 |6617 | 237 |  5 |1043 | 768 | 5.641079e+06 | 5.950590e+06 |   5.49%|  21.57%
47.33/47.59	c 
47.33/47.59	c SCIP Status        : problem is solved [optimal solution found]
47.33/47.59	c Solving Time (sec) : 47.59
47.33/47.59	c Solving Nodes      : 65 (total of 69 nodes in 5 runs)
47.33/47.59	c Primal Bound       : +5.95059000000000e+06 (14 solutions)
47.33/47.59	c Dual Bound         : +5.95059000000000e+06
47.33/47.59	c Gap                : 0.00 %
47.33/47.59	s OPTIMUM FOUND
47.33/47.59	v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6453 -x6454 -x6455 -x6456
47.33/47.59	v -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476
47.33/47.59	v -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496
47.33/47.59	v -x6497 -x6498 -x6499 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6517
47.33/47.59	v -x6518 x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6533 -x6534 -x6535 -x6536 -x6537
47.33/47.59	v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6549 -x6550 -x6551 x6552 -x6553 -x6554 -x6555 x6556 -x6557
47.33/47.59	v -x6558 -x6559 -x6560 x6561 -x6562 -x6563 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6346 -x6347 -x6348 -x6349 x6350 -x6351 -x6352
47.33/47.59	v -x6353 -x6354 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6372 -x6373
47.33/47.59	v -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 x6383 -x6384 -x6385 -x6386 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393
47.33/47.59	v -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413
47.33/47.59	v -x6414 -x6415 -x6416 -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433
47.33/47.59	v -x6434 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3498 -x3499 -x3500
47.33/47.59	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
47.33/47.59	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
47.33/47.59	v -x3541 -x3542 -x3543 -x3544 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
47.33/47.59	v -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581
47.33/47.59	v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601
47.33/47.59	v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396
47.33/47.59	v -x3397 -x3398 -x3399 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3417
47.33/47.59	v -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3433 -x3434 x3435 -x3436 -x3437
47.33/47.59	v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457
47.33/47.59	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477
47.33/47.59	v -x3478 -x3479 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487
47.33/47.59	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
47.33/47.59	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525
47.33/47.59	v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
47.33/47.59	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563
47.33/47.59	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582
47.33/47.59	v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376
47.33/47.59	v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
47.33/47.59	v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
47.33/47.59	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433
47.33/47.59	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
47.33/47.59	v -x1453 -x1454 -x1455 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1711
47.33/47.59	v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
47.33/47.59	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749
47.33/47.59	v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768
47.33/47.59	v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
47.33/47.59	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
47.33/47.59	v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
47.33/47.59	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
47.33/47.59	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
47.33/47.59	v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657
47.33/47.59	v -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
47.33/47.59	v -x1677 -x1678 -x1679 -x1680 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
47.33/47.59	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1951 -x1952 -x1953 -x1954
47.33/47.59	v -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
47.33/47.59	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992
47.33/47.59	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011
47.33/47.59	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
47.33/47.59	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
47.33/47.59	v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
47.33/47.59	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862
47.33/47.59	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881
47.33/47.59	v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
47.33/47.59	v -x1901 -x1902 -x1903 -x1904 -x1905 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144
47.33/47.59	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163
47.33/47.59	v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197
47.33/47.59	v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216
47.33/47.59	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235
47.33/47.59	v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
47.33/47.59	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
47.33/47.59	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
47.33/47.59	v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
47.33/47.59	v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
47.33/47.59	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124
47.33/47.59	v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
47.33/47.59	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387
47.33/47.59	v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
47.33/47.59	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
47.33/47.59	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
47.33/47.59	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478
47.33/47.59	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272
47.33/47.59	v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291
47.33/47.59	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
47.33/47.59	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329
47.33/47.59	v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
47.33/47.59	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592
47.33/47.59	v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611
47.33/47.59	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
47.33/47.59	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649
47.33/47.59	v -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683
47.33/47.59	v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702
47.33/47.59	v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
47.33/47.59	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515
47.33/47.59	v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
47.33/47.59	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553
47.33/47.59	v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572
47.33/47.59	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816
47.33/47.59	v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835
47.33/47.59	v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854
47.33/47.59	v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873
47.33/47.59	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
47.33/47.59	v -x2893 -x2894 -x2895 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
47.33/47.59	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2716 -x2717 -x2718 -x2719 -x2720
47.33/47.59	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
47.33/47.59	v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
47.33/47.59	v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777
47.33/47.59	v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796
47.33/47.59	v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
47.33/47.59	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059
47.33/47.59	v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078
47.33/47.59	v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097
47.33/47.59	v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116
47.33/47.59	v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135
47.33/47.59	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x2941 -x2942 -x2943 -x2944
47.33/47.59	v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
47.33/47.59	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982
47.33/47.59	v -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001
47.33/47.59	v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
47.33/47.59	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264
47.33/47.59	v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283
47.33/47.59	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302
47.33/47.59	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321
47.33/47.59	v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
47.33/47.59	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359
47.33/47.59	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3166 -x3167 -x3168
47.33/47.59	v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187
47.33/47.59	v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206
47.33/47.59	v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225
47.33/47.59	v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244
47.33/47.59	v -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114
47.33/47.59	v -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136
47.33/47.59	v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158
47.33/47.59	v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180
47.33/47.59	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202
47.33/47.59	v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224
47.33/47.59	v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x31 -x32 -x33 -x34 -x35 -x36 -x37
47.33/47.59	v -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63
47.33/47.59	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89
47.33/47.59	v -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x331 -x332 -x333 -x334 -x335 -x336 -x337
47.33/47.59	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359
47.33/47.59	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
47.33/47.59	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
47.33/47.59	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425
47.33/47.59	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447
47.33/47.59	v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x241 -x242 -x243 -x244
47.33/47.59	v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
47.33/47.59	v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303
47.33/47.59	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
47.33/47.59	v -x326 -x327 -x328 -x329 -x330 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
47.33/47.59	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
47.33/47.59	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
47.33/47.59	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638
47.33/47.59	v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
47.33/47.59	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682
47.33/47.59	v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
47.33/47.59	v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x511 -x512 -x513 -x514 -x515 -x516
47.33/47.59	v -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538
47.33/47.59	v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x781 -x782 -x783 -x784 -x785
47.33/47.59	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807
47.33/47.59	v -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829
47.33/47.59	v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851
47.33/47.59	v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873
47.33/47.59	v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895
47.33/47.59	v -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x691 -x692
47.33/47.59	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
47.33/47.59	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x751
47.33/47.59	v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
47.33/47.59	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018
47.33/47.59	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037
47.33/47.59	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
47.33/47.59	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
47.33/47.59	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
47.33/47.59	v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
47.33/47.59	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
47.33/47.59	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927
47.33/47.59	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
47.33/47.59	v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971
47.33/47.59	v -x972 -x973 -x974 -x975 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1231 -x1232
47.33/47.59	v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
47.33/47.59	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
47.33/47.59	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289
47.33/47.59	v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
47.33/47.59	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327
47.33/47.59	v -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
47.33/47.59	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365
47.33/47.59	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
47.33/47.59	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
47.33/47.59	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
47.33/47.59	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x6571
47.33/47.59	v -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 x6579 x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6677 -x6678 -x6679 -x6680 -x6681
47.33/47.59	v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701
47.33/47.59	v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721
47.33/47.59	v -x6722 -x6723 -x6725 -x6726 -x6727 x6728 x6729 x6730 x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6741 -x6742
47.33/47.59	v -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762
47.33/47.59	v -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782
47.33/47.59	v -x6783 x6784 -x6785 -x6786 -x6787 x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 x6799 -x6800 -x6801 -x6802
47.33/47.59	v x6803 x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6586 -x6587 -x6588 x6589 -x6590 -x6591 -x6592 -x6593 x6594 -x6596 -x6597 -x6598
47.33/47.59	v -x6599 -x6600 -x6601 -x6602 -x6603 x6604 -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618
47.33/47.59	v -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638
47.33/47.59	v -x6639 -x6640 -x6641 -x6642 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658
47.33/47.59	v -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x1 -x2 -x3 x4 -x5 -x6
47.33/47.59	v -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
47.33/47.59	v -x1469 -x1470 -x6436 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x6452
47.33/47.59	v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x6468 -x2176 -x2177 -x2178
47.33/47.59	v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x6484 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421
47.33/47.59	v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x6500 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664
47.33/47.59	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x6516 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907
47.33/47.59	v -x2908 -x2909 -x2910 -x6532 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
47.33/47.59	v -x6548 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6564 -x16 -x17
47.33/47.59	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x6355 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265
47.33/47.59	v -x266 -x267 -x268 -x269 -x270 -x6371 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x6387
47.33/47.59	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x6403 -x976 -x977 -x978 -x979 -x980 -x981
47.33/47.59	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x6419 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
47.33/47.59	v -x1226 -x1227 -x1228 -x1229 -x1230 -x6435 -x3481 -x3497 -x3513 -x3529 -x3545 -x3561 -x3577 -x3593 -x3609 -x3400 -x3416 -x3432 -x3448
47.33/47.59	v -x3464 -x3480 -x6676 -x6692 -x6708 -x6724 -x6740 -x6756 -x6772 -x6788 -x6804 -x6595 -x6611 -x6627 -x6643 -x6659 -x6675 -x4786 -x4787
47.33/47.59	v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806
47.33/47.59	v -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825
47.33/47.59	v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844
47.33/47.59	v -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863
47.33/47.59	v -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882
47.33/47.59	v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719
47.33/47.59	v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738
47.33/47.59	v -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757
47.33/47.59	v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776
47.33/47.59	v -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977
47.33/47.59	v -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996
47.33/47.59	v -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015
47.33/47.59	v -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034
47.33/47.59	v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053
47.33/47.59	v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x4890
47.33/47.59	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909
47.33/47.59	v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928
47.33/47.59	v -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947
47.33/47.59	v -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966
47.33/47.59	v -x4967 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167
47.33/47.59	v -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186
47.33/47.59	v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205
47.33/47.59	v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224
47.33/47.59	v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243
47.33/47.59	v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080
47.33/47.59	v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099
47.33/47.59	v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118
47.33/47.59	v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137
47.33/47.59	v -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338
47.33/47.59	v -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357
47.33/47.59	v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376
47.33/47.59	v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395
47.33/47.59	v -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414
47.33/47.59	v -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433
47.33/47.59	v -x5434 -x5435 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270
47.33/47.59	v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289
47.33/47.59	v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308
47.33/47.59	v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327
47.33/47.59	v -x5328 -x5329 -x5330 -x5331 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528
47.33/47.59	v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547
47.33/47.59	v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566
47.33/47.59	v -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585
47.33/47.59	v x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604
47.33/47.59	v -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441
47.33/47.59	v -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460
47.33/47.59	v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479
47.33/47.59	v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498
47.33/47.59	v -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5696 -x5697 -x5698 -x5699
47.33/47.59	v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718
47.33/47.59	v -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737
47.33/47.59	v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756
47.33/47.59	v -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775
47.33/47.59	v -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794
47.33/47.59	v -x5795 -x5796 -x5797 -x5798 -x5799 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631
47.33/47.59	v -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650
47.33/47.59	v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669
47.33/47.59	v -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688
47.33/47.59	v -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889
47.33/47.59	v -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908
47.33/47.59	v -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927
47.33/47.59	v -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946
47.33/47.59	v -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965
47.33/47.59	v -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5800 -x5801 -x5802
47.33/47.59	v -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821
47.33/47.59	v -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840
47.33/47.59	v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859
47.33/47.59	v -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x6060
47.33/47.59	v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079
47.33/47.59	v -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098
47.33/47.59	v -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117
47.33/47.59	v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136
47.33/47.59	v -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155
47.33/47.59	v -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992
47.33/47.59	v -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011
47.33/47.59	v -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030
47.33/47.59	v -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049
47.33/47.59	v -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250
47.33/47.59	v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269
47.33/47.59	v -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288
47.33/47.59	v -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307
47.33/47.59	v -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326
47.33/47.59	v -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345
47.33/47.59	v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182
47.33/47.59	v -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201
47.33/47.59	v -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220
47.33/47.59	v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239
47.33/47.59	v -x6240 -x6241 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697
47.33/47.59	v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716
47.33/47.59	v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735
47.33/47.59	v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754
47.33/47.59	v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773
47.33/47.59	v -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792
47.33/47.59	v -x3793 -x3794 -x3795 -x3796 -x3797 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
47.33/47.59	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648
47.33/47.59	v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667
47.33/47.59	v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868
47.33/47.59	v -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887
47.33/47.59	v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906
47.33/47.59	v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925
47.33/47.59	v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944
47.33/47.59	v -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963
47.33/47.59	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3798 -x3799 -x3800
47.33/47.59	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819
47.33/47.59	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838
47.33/47.59	v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857
47.33/47.59	v -x3858 -x3859 -x3860 -x3861 -x3862 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058
47.33/47.59	v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077
47.33/47.59	v -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096
47.33/47.59	v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115
47.33/47.59	v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134
47.33/47.59	v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153
47.33/47.59	v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
47.33/47.59	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009
47.33/47.59	v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028
47.33/47.59	v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4227 -x4228 -x4229
47.33/47.59	v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248
47.33/47.59	v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267
47.33/47.59	v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286
47.33/47.59	v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305
47.33/47.59	v -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324
47.33/47.59	v -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343
47.33/47.59	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
47.33/47.59	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199
47.33/47.59	v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218
47.33/47.59	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419
47.33/47.59	v -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438
47.33/47.59	v -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457
47.33/47.59	v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476
47.33/47.59	v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495
47.33/47.59	v -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514
47.33/47.59	v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351
47.33/47.59	v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370
47.33/47.59	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389
47.33/47.59	v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408
47.33/47.59	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609
47.33/47.59	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628
47.33/47.59	v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647
47.33/47.59	v -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666
47.33/47.59	v -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685
47.33/47.59	v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704
47.33/47.59	v -x4705 -x4706 -x4707 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
47.33/47.59	v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
47.33/47.59	v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579
47.33/47.59	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
47.33/47.59	c SCIP Status        : problem is solved [optimal solution found]
47.33/47.59	c Total Time         :      47.59
47.33/47.59	c   solving          :      47.59
47.33/47.59	c   presolving       :       1.78 (included in solving)
47.33/47.59	c   reading          :       0.03 (included in solving)
47.33/47.59	c   copying          :       0.09 (6 #copies) (minimal 0.01, maximal 0.02, average 0.02)
47.33/47.59	c Original Problem   :
47.33/47.59	c   Problem name     : HOME/instance-4504307-1751486217.opb
47.33/47.59	c   Variables        : 6810 (6810 binary, 0 integer, 0 continuous)
47.33/47.59	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
47.33/47.59	c   Constraints      : 15202 initial, 15202 maximal
47.33/47.59	c   Objective        : minimize, 3795 non-zeros (abs.min = 1, abs.max = 7.4088e+07)
47.33/47.59	c Presolved Problem  :
47.33/47.59	c   Problem name     : t_HOME/instance-4504307-1751486217.opb
47.33/47.59	c   Variables        : 2915 (2915 binary, 0 integer, 0 continuous)
47.33/47.59	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
47.33/47.59	c   Constraints      : 5141 initial, 5206 maximal
47.33/47.59	c   Objective        : minimize, 1676 non-zeros (abs.min = 772, abs.max = 3.12179e+06)
47.33/47.59	c   Nonzeros         : 34307 constraint, 16217 clique table
47.33/47.59	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
47.33/47.59	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   domcol           :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
47.33/47.59	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
47.33/47.59	c   gateextraction   :       0.04       0.00     15          0          0          0          0          0      11136       2942          0          0
47.33/47.59	c   implics          :       0.00       0.00     21          0          0          0          0          0          0          0          0          0
47.33/47.59	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   milp             :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
47.33/47.59	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
47.33/47.59	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   trivial          :       0.01       0.00     30       2974          0          0          0          0          0          0          0          0
47.33/47.59	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   dualfix          :       0.00       0.00     30        645          0          0          0          0          0          0          0          0
47.33/47.59	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   probing          :       1.20       0.00      1          0          0          0          0          0          0          0          0          0
47.33/47.59	c   pseudoobj        :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
47.33/47.59	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
47.33/47.59	c   vbounds          :       0.01       0.00      6          0          0          0          0          0          0          0          0          0
47.33/47.59	c   knapsack         :       0.10       0.00     59          6          0          0          0          0       2975       8234          6         34
47.33/47.59	c   setppc           :       0.10       0.00     59          5          0          0          0          0       3894          0          0          0
47.33/47.59	c   and              :       0.07       0.01     38          0          0          0          0          0          0          0          0       1315
47.33/47.59	c   linear           :       0.08       0.01     45         46        210          0         46          0        531          0        105        400
47.33/47.59	c   logicor          :       0.05       0.00     55        678          0          0          0          0        116          0          0       2739
47.33/47.59	c   components       :       0.02       0.00      5          0          0          0          0          0          0          0          0          0
47.33/47.59	c   root node        :          -          -      -       4687          -          -       4687          -          -          -          -          -
47.33/47.59	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
47.33/47.59	c   integral         :          0          0          0          0        189          0          0         89          0          1       2861          0          0        395         68
47.33/47.59	c   knapsack         :         76         76        176      20530          0          0          0         79       1307         67        362        311         45          0          0
47.33/47.59	c   setppc           :       3097+      3126        176      20389          0          0          0         55      11671         75       5407         26         16          0          0
47.33/47.59	c   and              :       1583       1583        528      20210          0          0          0         47       2550        123      12238        191         43          0          0
47.33/47.59	c   linear           :         56+        57        176      20265          0          0          0         26       1390         20         38          7          3          0          0
47.33/47.59	c   logicor          :        329+       485        176       6224          0          0          0         23       1622         82        327         19          4          0          0
47.33/47.59	c   fixedvar         :          0          0          0          0          0          0          0         25          0          0          0          0          0          0          0
47.33/47.59	c   countsols        :          0          0          0          0          0          0          0         25          0          0          0          0          0          0          0
47.33/47.59	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
47.33/47.59	c   integral         :      11.30       0.00       0.00       0.00      11.29       0.00       0.00       0.00       0.00       0.00
47.33/47.59	c   knapsack         :       1.11       0.00       0.79       0.20       0.00       0.00       0.00       0.00       0.00       0.12
47.33/47.59	c   setppc           :       0.79       0.00       0.04       0.60       0.00       0.00       0.00       0.02       0.00       0.13
47.33/47.59	c   and              :       1.30       0.01       0.26       0.78       0.00       0.00       0.00       0.01       0.00       0.24
47.33/47.59	c   linear           :       0.59       0.01       0.49       0.07       0.00       0.00       0.00       0.00       0.00       0.02
47.33/47.59	c   logicor          :       0.12       0.00       0.02       0.06       0.00       0.00       0.00       0.00       0.00       0.04
47.33/47.59	c   fixedvar         :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.01       0.00       0.00
47.33/47.59	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
47.33/47.59	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
47.33/47.59	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
47.33/47.59	c   dualfix          :         82          0          0          0
47.33/47.59	c   genvbounds       :          0          0          0          0
47.33/47.59	c   nlobbt           :          0          0          0          0
47.33/47.59	c   obbt             :          0          0          0          0
47.33/47.59	c   probing          :          0          0          0          0
47.33/47.59	c   pseudoobj        :       1515         27          0        141
47.33/47.59	c   redcost          :       1161          0          0       7385
47.33/47.59	c   rootredcost      :         11          0          0        313
47.33/47.59	c   symmetry         :          0          0          0          0
47.33/47.59	c   vbounds          :       9094          0          0          0
47.33/47.59	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
47.33/47.59	c   dualfix          :       0.01       0.00       0.00       0.01       0.00       0.00
47.33/47.59	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
47.33/47.59	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
47.33/47.59	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
47.33/47.59	c   probing          :       1.20       0.00       1.20       0.00       0.00       0.00
47.33/47.59	c   pseudoobj        :       0.06       0.00       0.00       0.05       0.00       0.00
47.33/47.59	c   redcost          :       0.12       0.00       0.00       0.12       0.00       0.00
47.33/47.59	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
47.33/47.59	c   symmetry         :       0.03       0.00       0.02       0.00       0.00       0.00
47.33/47.59	c   vbounds          :       0.03       0.00       0.01       0.01       0.00       0.00
47.33/47.59	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
47.33/47.59	c   propagation      :       0.02        343        338          -       1161       59.2         37        2.9          -          -          -
47.33/47.59	c   infeasible LP    :       0.01          5          5          -        107      186.1          0        0.0          5      425.4          0
47.33/47.59	c   bound exceed. LP :       0.31        196        137          -        303       35.4         10        7.4         60        2.9       1296
47.33/47.59	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
47.33/47.59	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
47.33/47.59	c   applied globally :       0.02          -          -         54       1054       33.5          -          -         65          -          -
47.33/47.59	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
47.33/47.59	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
47.33/47.59	c   cut pool         :       0.55          -        400        289          -          -      11764      39630          -          -          -          -          -    (maximal pool size:       3116)
47.33/47.59	c   aggregation      :       1.61       0.00        249        176          0          0         31         43          0         12         12          0          0
47.33/47.59	c   > cmir           :          -          -          -          -          -          -          -         13          0          2          2          0          -
47.33/47.59	c   > flowcover      :          -          -          -          -          -          -          -         26          0          6          6          0          -
47.33/47.59	c   > knapsackcover  :          -          -          -          -          -          -          -          4          0          4          4          0          -
47.33/47.59	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   clique           :       0.36       0.00        176        176          0          0          6          6          0          2          2          0          0
47.33/47.59	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   gomory           :      19.02       0.00         80         50          0          0      11351      39019          0        165        165          0          0
47.33/47.59	c   > gomorymi       :          -          -          -          -          -          -          -      35596          0        149        149          0          -
47.33/47.59	c   > strongcg       :          -          -          -          -          -          -          -       3423          0         16         16          0          -
47.33/47.59	c   impliedbounds    :       0.36       0.00        249        176          0         11        175        240          0        215        215          0          0
47.33/47.59	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   mcf              :       0.02       0.00          5          5          0          0          0          0          0          0          0          0          0
47.33/47.59	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   multilinear      :       0.00       0.00        239        176          0          0          0          0          0          0          0          0          0
47.33/47.59	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.59	c   rapidlearning    :       0.03       0.00          0          0          0          0          0          0          0          0          0          0          0
47.33/47.60	c   rlt              :       0.00       0.00         50         50          0          0          0          0          0          0          0          0          0
47.33/47.60	c   zerohalf         :       0.39       0.00        130        100          0          0        201        322          0        184        184          0          0
47.33/47.60	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
47.33/47.60	c   hybrid           :       0.09       0.00        244        153        689          0      39495        449          0      37241
47.33/47.60	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c Pricers            :   ExecTime  SetupTime      Calls       Vars
47.33/47.60	c   problem variables:       0.00          -          0          0
47.33/47.60	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
47.33/47.60	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c   relpscost        :      11.29       0.00        189          0          0          1       2861          0        429         68
47.33/47.60	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
47.33/47.60	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
47.33/47.60	c   LP solutions     :       0.00          -          -          0          0
47.33/47.60	c   relax solutions  :       0.00          -          -          0          0
47.33/47.60	c   pseudo solutions :       0.00          -          -          0          0
47.33/47.60	c   strong branching :       0.02          -          -         10         10
47.33/47.60	c   actconsdiving    :       0.00       0.00          0          0          0
47.33/47.60	c   adaptivediving   :       0.00       0.00          0          0          0
47.33/47.60	c   alns             :       0.06       0.00          1          0          0
47.33/47.60	c   bound            :       0.00       0.00          0          0          0
47.33/47.60	c   clique           :       0.07       0.00          1          0          0
47.33/47.60	c   coefdiving       :       0.00       0.00          0          0          0
47.33/47.60	c   completesol      :       0.00       0.00          0          0          0
47.33/47.60	c   conflictdiving   :       0.48       0.00          5          1          1
47.33/47.60	c   crossover        :       0.00       0.00          0          0          0
47.33/47.60	c   dins             :       0.00       0.00          0          0          0
47.33/47.60	c   distributiondivin:       0.01       0.00          0          0          0
47.33/47.60	c   dks              :       0.00       0.00          0          0          0
47.33/47.60	c   dps              :       0.00       0.00          0          0          0
47.33/47.60	c   dualval          :       0.00       0.00          0          0          0
47.33/47.60	c   farkasdiving     :       1.69       0.00          3          2          2
47.33/47.60	c   feaspump         :       0.29       0.00          1          1          1
47.33/47.60	c   fixandinfer      :       0.00       0.00          0          0          0
47.33/47.60	c   fracdiving       :       0.00       0.00          0          0          0
47.33/47.60	c   gins             :       0.00       0.00          0          0          0
47.33/47.60	c   guideddiving     :       0.00       0.00          0          0          0
47.33/47.60	c   indicator        :       0.00       0.00          0          0          0
47.33/47.60	c   indicatordiving  :       0.00       0.00          0          0          0
47.33/47.60	c   intdiving        :       0.00       0.00          0          0          0
47.33/47.60	c   intshifting      :       0.00       0.00          0          0          0
47.33/47.60	c   linesearchdiving :       0.00       0.00          0          0          0
47.33/47.60	c   localbranching   :       0.00       0.00          0          0          0
47.33/47.60	c   locks            :       0.03       0.00          1          0          0
47.33/47.60	c   lpface           :       0.00       0.00          0          0          0
47.33/47.60	c   mpec             :       0.00       0.00          0          0          0
47.33/47.60	c   multistart       :       0.00       0.00          0          0          0
47.33/47.60	c   mutation         :       0.00       0.00          0          0          0
47.33/47.60	c   nlpdiving        :       0.00       0.00          0          0          0
47.33/47.60	c   objpscostdiving  :       0.00       0.00          0          0          0
47.33/47.60	c   octane           :       0.00       0.00          0          0          0
47.33/47.60	c   ofins            :       0.00       0.00          0          0          0
47.33/47.60	c   oneopt           :       0.02       0.00         11          0          0
47.33/47.60	c   padm             :       0.00       0.00          0          0          0
47.33/47.60	c   proximity        :       0.00       0.00          0          0          0
47.33/47.60	c   pscostdiving     :       0.00       0.00          0          0          0
47.33/47.60	c   randrounding     :       1.74       0.00        170          0          0
47.33/47.60	c   rens             :       0.29       0.00          5          0          0
47.33/47.60	c   reoptsols        :       0.00       0.00          0          0          0
47.33/47.60	c   repair           :       0.00       0.00          0          0          0
47.33/47.60	c   rins             :       0.00       0.00          0          0          0
47.33/47.60	c   rootsoldiving    :       0.00       0.00          0          0          0
47.33/47.60	c   rounding         :       0.08       0.00        235          0          0
47.33/47.60	c   scheduler        :       0.00       0.00          0          0          0
47.33/47.60	c   shiftandpropagate:       0.03       0.00          1          0          0
47.33/47.60	c   shifting         :       0.11       0.00        133          0          0
47.33/47.60	c   simplerounding   :       0.00       0.00          0          0          0
47.33/47.60	c   subnlp           :       0.00       0.00          0          0          0
47.33/47.60	c   trivial          :       0.01       0.00         10          0          0
47.33/47.60	c   trivialnegation  :       0.00       0.00          0          0          0
47.33/47.60	c   trustregion      :       0.00       0.00          0          0          0
47.33/47.60	c   trysol           :       0.00       0.00          0          0          0
47.33/47.60	c   twoopt           :       0.00       0.00          0          0          0
47.33/47.60	c   undercover       :       0.10       0.00          1          0          0
47.33/47.60	c   vbounds          :       0.17       0.00          5          0          0
47.33/47.60	c   veclendiving     :       0.00       0.00          0          0          0
47.33/47.60	c   zeroobj          :       0.00       0.00          0          0          0
47.33/47.60	c   zirounding       :       0.01       0.00         37          0          0
47.33/47.60	c   other solutions  :          -          -          -          0          -
47.33/47.60	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
47.33/47.60	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
47.33/47.60	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
47.33/47.60	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
47.33/47.60	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
47.33/47.60	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
47.33/47.60	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
47.33/47.60	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
47.33/47.60	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
47.33/47.60	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
47.33/47.60	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
47.33/47.60	c   primal LP        :       0.02         27          0       0.00       0.00       0.02         27
47.33/47.60	c   dual LP          :       2.77        819      19599      42.89    7087.30       0.30        362
47.33/47.60	c   lex dual LP      :       0.00          0          0       0.00          -
47.33/47.60	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
47.33/47.60	c   resolve instable :       0.00          0          0       0.00          -
47.33/47.60	c   diving/probing LP:       2.09        411      14225      34.61    6794.79
47.33/47.60	c   strong branching :       8.08        851      66591      78.25    8238.14          -          -          3
47.33/47.60	c     (at root node) :          -        131      26080     199.08          -
47.33/47.60	c   conflict analysis:       0.15        146       1296       8.88    8413.62
47.33/47.60	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
47.33/47.60	c   benders          :       0.00          0          0          0       0.00          0          0          0
47.33/47.60	c B&B Tree           :
47.33/47.60	c   number of runs   :          5
47.33/47.60	c   nodes            :         65 (33 internal, 32 leaves)
47.33/47.60	c   feasible leaves  :          0
47.33/47.60	c   infeas. leaves   :          9
47.33/47.60	c   objective leaves :         23
47.33/47.60	c   nodes (total)    :         69 (34 internal, 35 leaves)
47.33/47.60	c   nodes left       :          0
47.33/47.60	c   max depth        :         12
47.33/47.60	c   max depth (total):         12
47.33/47.60	c   backtracks       :         13 (20.0%)
47.33/47.60	c   early backtracks :          0 (0.0%)
47.33/47.60	c   nodes exc. ref.  :          0 (0.0%)
47.33/47.60	c   delayed cutoffs  :          0
47.33/47.60	c   repropagations   :         67 (92 domain reductions, 0 cutoffs)
47.33/47.60	c   avg switch length:       4.77
47.33/47.60	c   switching time   :       0.12
47.33/47.60	c Root Node          :
47.33/47.60	c   First LP value   : +2.22216666666667e+06
47.33/47.60	c   First LP Iters   :        419 (13666.46 Iter/sec)
47.33/47.60	c   First LP Time    :       0.03
47.33/47.60	c   Final Dual Bound :          -
47.33/47.60	c   Final Root Iters :      14761
47.33/47.60	c   Root LP Estimate : +5.90143368610264e+06
47.33/47.60	c Solution           :
47.33/47.60	c   Solutions found  :         14 (14 improvements)
47.33/47.60	c   First Solution   : +5.94299070000000e+07   (in run 1, after 1 nodes, 2.11 seconds, depth 0, found by <feaspump>)
47.33/47.60	c   Gap First Sol.   :    2574.41 %
47.33/47.60	c   Gap Last Sol.    :       5.49 %
47.33/47.60	c   Primal Bound     : +5.95059000000000e+06   (in run 5, after 50 nodes, 45.55 seconds, depth 14, found by <relaxation>)
47.33/47.60	c   Dual Bound       : +5.95059000000000e+06
47.33/47.60	c   Gap              :       0.00 %
47.33/47.60	c Integrals          :      Total       Avg%
47.33/47.60	c   primal-dual      :    1346.08      28.29
47.33/47.60	c   primal-ref       :          -          - (not evaluated)
47.33/47.60	c   dual-ref         :          -          - (not evaluated)
47.53/47.71	c Time complete (sec):     47.557

OK	5950590

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62196 MiB free)
  memory of node 1: 64465 MiB (63465 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504307-1751486217/watcher-4504307-1751486217 -o /tmp/evaluation-result-4504307-1751486217/solver-4504307-1751486217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751482618-67601 --watchdog 3760 pbsolver -f HOME/instance-4504307-1751486217.opb -t 3600 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68004, runsolver pid=68001
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.07 4.09 4.09 5/259 68005
/proc/meminfo: memFree=128570412/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=73824 memory=64020 CPUtime=0.09 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 14919 0 0 0 8 1 0 0 20 0 1 0 64300106 75595776 16005 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 18456 16005 2528 2575 0 15363 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73824 KiB
Current children cumulated memory: 64020 KiB

[startup+0.205481 s]*
/proc/loadavg: 4.07 4.09 4.09 5/262 68010
/proc/meminfo: memFree=128482212/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=84268 memory=74220 CPUtime=0.19 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 19130 0 0 0 18 1 0 0 20 0 1 0 64300106 86290432 18555 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 21067 18555 2592 2575 0 17974 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84268 KiB
Current children cumulated memory: 74220 KiB

[startup+0.305923 s]*
/proc/loadavg: 4.07 4.09 4.09 5/264 68015
/proc/meminfo: memFree=128393760/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=87352 memory=77420 CPUtime=0.3 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 19903 0 0 0 28 2 0 0 20 0 1 0 64300106 89448448 19355 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 21838 19355 2592 2575 0 18745 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87352 KiB
Current children cumulated memory: 77420 KiB

[startup+0.700177 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 68015
/proc/meminfo: memFree=128218428/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=92000 memory=81900 CPUtime=0.69 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 21050 0 0 0 67 2 0 0 20 0 1 0 64300106 94208000 20475 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 23000 20475 2592 2575 0 19907 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 81900 KiB

[startup+1.50017 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 68015
/proc/meminfo: memFree=127980792/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=118740 memory=101076 CPUtime=1.49 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 26472 0 0 0 146 3 0 0 20 0 1 0 64300106 121589760 25237 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 29685 25269 2592 2575 0 26592 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118740 KiB
Current children cumulated memory: 101076 KiB

[startup+3.10548 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 68015
/proc/meminfo: memFree=127039304/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=168648 memory=149264 CPUtime=3.09 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 38981 0 0 0 304 5 0 0 20 0 1 0 64300106 172695552 37316 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 42162 37316 2688 2575 0 39069 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 168648 KiB
Current children cumulated memory: 149264 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 68015
/proc/meminfo: memFree=126364496/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=185704 memory=161936 CPUtime=6.27 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 42162 0 0 0 622 5 0 0 20 0 1 0 64300106 190160896 40484 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 46426 40484 2688 2575 0 43333 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185704 KiB
Current children cumulated memory: 161936 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 68015
/proc/meminfo: memFree=125885884/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=252460 memory=213520 CPUtime=12.65 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 55063 0 0 0 1257 8 0 0 20 0 1 0 64300106 258519040 53380 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 63115 53380 2688 2575 0 60022 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 252460 KiB
Current children cumulated memory: 213520 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 68015
/proc/meminfo: memFree=125636872/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=347964 memory=293640 CPUtime=25.41 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 75326 0 0 0 2529 12 0 0 20 0 1 0 64300106 356315136 73410 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 86991 73410 2688 2575 0 83898 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 347964 KiB
Current children cumulated memory: 293640 KiB

[startup+47.7269 s]
# the end of solver process 68004 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=47.4044 s, system=0.164461 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6002 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 68015
/proc/meminfo: memFree=125636872/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=347964 memory=293640 CPUtime=25.51 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 75326 0 0 0 2539 12 0 0 20 0 1 0 64300106 356315136 73410 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 86991 73410 2688 2575 0 83898 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 347964 KiB
Current children cumulated memory: 293640 KiB

[startup+38.4002 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 68015
/proc/meminfo: memFree=125711372/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=381960 memory=321288 CPUtime=38.27 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 82236 0 0 0 3814 13 0 0 20 0 1 0 64300106 391127040 80322 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 95490 80322 2688 2575 0 92397 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 381960 KiB
Current children cumulated memory: 321288 KiB

[startup+41.6002 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 68015
/proc/meminfo: memFree=125729828/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=381960 memory=321416 CPUtime=41.45 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 82275 0 0 0 4132 13 0 0 20 0 1 0 64300106 391127040 80354 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 95490 80354 2688 2575 0 92397 0
Current children cumulated CPU time: 41.45 s
Current children cumulated vsize: 381960 KiB
Current children cumulated memory: 321416 KiB

[startup+44.8002 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 68015
/proc/meminfo: memFree=125734288/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=397724 memory=332936 CPUtime=44.64 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 85907 0 0 0 4450 14 0 0 20 0 1 0 64300106 407269376 83234 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 99431 83234 2688 2575 0 96338 0
Current children cumulated CPU time: 44.64 s
Current children cumulated vsize: 397724 KiB
Current children cumulated memory: 332936 KiB

[startup+46.4002 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 68015
/proc/meminfo: memFree=125711040/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=404448 memory=337288 CPUtime=46.23 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 87034 0 0 0 4609 14 0 0 20 0 1 0 64300106 414154752 84322 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 101112 84322 2688 2575 0 98019 0
Current children cumulated CPU time: 46.23 s
Current children cumulated vsize: 404448 KiB
Current children cumulated memory: 337288 KiB

[startup+47.2002 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 68015
/proc/meminfo: memFree=125699948/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=404860 memory=337544 CPUtime=47.03 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 87098 0 0 0 4689 14 0 0 20 0 1 0 64300106 414576640 84386 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 101215 84386 2688 2575 0 98122 0
Current children cumulated CPU time: 47.03 s
Current children cumulated vsize: 404860 KiB
Current children cumulated memory: 337544 KiB

[startup+47.6002 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 68015
/proc/meminfo: memFree=125699948/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=404860 memory=337544 CPUtime=47.43 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 87104 0 0 0 4729 14 0 0 20 0 1 0 64300106 414576640 84386 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 101215 84386 2688 2575 0 98122 0
Current children cumulated CPU time: 47.43 s
Current children cumulated vsize: 404860 KiB
Current children cumulated memory: 337544 KiB

[startup+47.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 68015
/proc/meminfo: memFree=125699948/131249996 swapFree=33010160/33010684
[pid=68004] ppid=68001 vsize=404860 memory=337544 CPUtime=47.53 cores=4,6
/proc/68004/stat : 68004 (pbsolver) R 68001 68004 67590 0 -1 4194304 87104 0 0 0 4739 14 0 0 20 0 1 0 64300106 414576640 84386 18446744073709551615 4198400 14743177 140733211417360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44326912 140733211425162 140733211425258 140733211425258 140733211430860 0
/proc/68004/statm: 101215 84386 2688 2575 0 98122 0
Current children cumulated CPU time: 47.53 s
Current children cumulated vsize: 404860 KiB
Current children cumulated memory: 337544 KiB

Child status: 0

Real time (s): 47.727
CPU time (s): 47.5689
CPU user time (s): 47.4044
CPU system time (s): 0.164461
CPU usage (%): 99.6687
Max. virtual memory (cumulated for all children) (KiB): 404860
Max. memory (cumulated for all children) (KiB): 337544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.4044
system time used= 0.164461
maximum resident set size= 337544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87112
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= 3
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 68004
#   total CPU time (s): 47.5689
#   total CPU user time (s): 47.4044
#   total CPU system time (s): 0.164461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.119937 second user time and 0.241865 second system time

The end

Begin job on nodeC029 at 2025-07-02 21:56:57
IDJOB=4504307
IDBENCH=155651
IDSOLVER=3366
FILE ID=nodeC029/4504307-1751486217
RUNJOBID= nodeC029-1751482618-67601
SLURM_JOB_ID= 9598529
Free space on /tmp= 432232 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504307-1751486217/watcher-4504307-1751486217 -o /tmp/evaluation-result-4504307-1751486217/solver-4504307-1751486217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751482618-67601 --watchdog 3760  pbsolver -f HOME/instance-4504307-1751486217.opb -t 3600 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 1542385ac037132e9cf985b37fe6e57c
RANDOM SEED=873298409

nodeC029 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		: 3600.042
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.46
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.166
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.46
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.714
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.46
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.744
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.46
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		: 3601.629
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.720
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.751
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.46
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		: 3625.961
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128694144 kB
MemAvailable:   129503596 kB
Buffers:            2128 kB
Cached:          1609648 kB
SwapCached:           40 kB
Active:           759520 kB
Inactive:        1170084 kB
Active(anon):     331116 kB
Inactive(anon):     4768 kB
Active(file):     428404 kB
Inactive(file):  1165316 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             35976 kB
Writeback:             0 kB
AnonPages:        320936 kB
Mapped:           123744 kB
Shmem:             18020 kB
KReclaimable:     109944 kB
Slab:             198436 kB
SReclaimable:     109944 kB
SUnreclaim:        88492 kB
KernelStack:        4244 kB
PageTables:         3468 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     649648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432176 MiB
End job on nodeC029 at 2025-07-02 21:57:45