0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4459196-1721873668.opb>
0.00/0.02 c original problem has 214 variables (214 bin, 0 int, 0 impl, 0 cont) and 5375 constraints
0.00/0.02 c problem read in 0.02
0.00/0.03 o 214
0.00/0.03 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 2.140000e+02
0.00/0.03 c presolving:
0.00/0.06 c (0.1s) running MILP presolver
0.00/0.06 c (0.1s) MILP presolver found nothing
0.00/0.08 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5375 upgd conss, 0 impls, 0 clqs
0.00/0.09 c (round 2, exhaustive) 1 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5375 upgd conss, 0 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 51/213 (23.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.16 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.17 c (0.2s) no symmetry present (symcode time: 0.00)
0.09/0.18 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
0.09/0.18 c 1 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
0.09/0.18 c 0 implications, 0 cliques
0.09/0.18 c presolved problem has 213 variables (213 bin, 0 int, 0 impl, 0 cont) and 5375 constraints
0.09/0.18 c 5375 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.15
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 10.0.0
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.18 c limits/time = 3596.997057
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.18 c limits/memory = 27900
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 o 213
0.09/0.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.18 c t 0.2s| 1 | 0 | 0 | - | trivial| 0 | 213 |5375 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.130000e+02 | Inf | unknown
0.09/0.20 o 25
0.09/0.20 c p 0.2s| 1 | 0 | 0 | - | locks| 0 | 213 |5375 |5375 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.500000e+01 | Inf | unknown
0.20/0.21 o 24
0.20/0.21 c i 0.2s| 1 | 0 | 0 | - | oneopt| 0 | 213 |5375 |5375 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.400000e+01 | Inf | unknown
0.30/0.32 c 0.3s| 1 | 0 | 791 | - | 56M | 0 | 213 |5375 |5375 | 0 | 0 | 0 | 0 | 1.346061e+01 | 2.400000e+01 | 78.30%| unknown
0.30/0.37 c 0.4s| 1 | 0 | 876 | - | 60M | 0 | 213 |5375 |5376 | 1 | 1 | 0 | 0 | 1.350960e+01 | 2.400000e+01 | 77.65%| unknown
0.40/0.42 c 0.4s| 1 | 0 | 968 | - | 66M | 0 | 213 |5375 |5377 | 2 | 2 | 0 | 0 | 1.354062e+01 | 2.400000e+01 | 77.24%| unknown
0.40/0.48 c 0.5s| 1 | 0 | 1063 | - | 71M | 0 | 213 |5375 |5378 | 3 | 3 | 0 | 0 | 1.355706e+01 | 2.400000e+01 | 77.03%| unknown
0.50/0.53 c 0.5s| 1 | 0 | 1126 | - | 77M | 0 | 213 |5375 |5379 | 4 | 4 | 0 | 0 | 1.356407e+01 | 2.400000e+01 | 76.94%| unknown
0.50/0.59 c 0.6s| 1 | 0 | 1169 | - | 82M | 0 | 213 |5375 |5380 | 5 | 5 | 0 | 0 | 1.356744e+01 | 2.400000e+01 | 76.89%| unknown
0.59/0.65 c 0.6s| 1 | 0 | 1265 | - | 89M | 0 | 213 |5375 |5381 | 6 | 6 | 0 | 0 | 1.357096e+01 | 2.400000e+01 | 76.85%| unknown
0.69/0.71 c 0.7s| 1 | 0 | 1333 | - | 95M | 0 | 213 |5375 |5382 | 7 | 7 | 0 | 0 | 1.357317e+01 | 2.400000e+01 | 76.82%| unknown
0.69/0.76 c 0.8s| 1 | 0 | 1380 | - | 100M | 0 | 213 |5375 |5383 | 8 | 8 | 0 | 0 | 1.357387e+01 | 2.400000e+01 | 76.81%| unknown
0.79/0.82 c 0.8s| 1 | 0 | 1454 | - | 107M | 0 | 213 |5375 |5384 | 9 | 9 | 0 | 0 | 1.357481e+01 | 2.400000e+01 | 76.80%| unknown
0.79/0.89 c 0.9s| 1 | 0 | 1556 | - | 114M | 0 | 213 |5375 |5385 | 10 | 10 | 0 | 0 | 1.357758e+01 | 2.400000e+01 | 76.76%| unknown
0.88/0.91 c 0.9s| 1 | 0 | 1623 | - | 114M | 0 | 213 |5375 |5387 | 12 | 11 | 0 | 0 | 1.358422e+01 | 2.400000e+01 | 76.68%| unknown
0.88/0.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.88/0.94 c 0.9s| 1 | 0 | 1676 | - | 115M | 0 | 213 |5375 |5388 | 13 | 12 | 0 | 0 | 1.358692e+01 | 2.400000e+01 | 76.64%| unknown
0.88/0.96 c 1.0s| 1 | 0 | 1706 | - | 115M | 0 | 213 |5375 |5389 | 14 | 13 | 0 | 0 | 1.358796e+01 | 2.400000e+01 | 76.63%| unknown
0.88/0.98 c 1.0s| 1 | 0 | 1741 | - | 116M | 0 | 213 |5375 |5390 | 15 | 14 | 0 | 0 | 1.358886e+01 | 2.400000e+01 | 76.62%| unknown
0.99/1.00 c 1.0s| 1 | 0 | 1784 | - | 116M | 0 | 213 |5375 |5391 | 16 | 15 | 0 | 0 | 1.359029e+01 | 2.400000e+01 | 76.60%| unknown
0.99/1.03 c 1.0s| 1 | 0 | 1802 | - | 117M | 0 | 213 |5375 |5392 | 17 | 16 | 0 | 0 | 1.359117e+01 | 2.400000e+01 | 76.59%| unknown
0.99/1.05 c 1.0s| 1 | 0 | 1833 | - | 118M | 0 | 213 |5375 |5393 | 18 | 17 | 0 | 0 | 1.359273e+01 | 2.400000e+01 | 76.57%| unknown
0.99/1.07 c 1.1s| 1 | 0 | 1847 | - | 118M | 0 | 213 |5375 |5394 | 19 | 18 | 0 | 0 | 1.359286e+01 | 2.400000e+01 | 76.56%| unknown
0.99/1.09 c 1.1s| 1 | 0 | 1881 | - | 119M | 0 | 213 |5375 |5395 | 20 | 19 | 0 | 0 | 1.359332e+01 | 2.400000e+01 | 76.56%| unknown
1.09/1.11 c 1.1s| 1 | 0 | 1916 | - | 119M | 0 | 213 |5375 |5396 | 21 | 20 | 0 | 0 | 1.359376e+01 | 2.400000e+01 | 76.55%| unknown
1.09/1.14 c 1.1s| 1 | 0 | 1934 | - | 119M | 0 | 213 |5375 |5397 | 22 | 21 | 0 | 0 | 1.359403e+01 | 2.400000e+01 | 76.55%| unknown
1.09/1.16 c 1.2s| 1 | 0 | 1954 | - | 119M | 0 | 213 |5375 |5398 | 23 | 22 | 0 | 0 | 1.359443e+01 | 2.400000e+01 | 76.54%| unknown
1.09/1.18 c 1.2s| 1 | 0 | 1965 | - | 119M | 0 | 213 |5375 |5397 | 24 | 23 | 0 | 0 | 1.359464e+01 | 2.400000e+01 | 76.54%| unknown
1.18/1.20 c 1.2s| 1 | 0 | 1981 | - | 119M | 0 | 213 |5375 |5398 | 25 | 24 | 0 | 0 | 1.359518e+01 | 2.400000e+01 | 76.53%| unknown
1.18/1.22 c 1.2s| 1 | 0 | 1986 | - | 119M | 0 | 213 |5375 |5399 | 26 | 25 | 0 | 0 | 1.359527e+01 | 2.400000e+01 | 76.53%| unknown
1.18/1.24 c 1.2s| 1 | 0 | 2005 | - | 119M | 0 | 213 |5375 |5400 | 27 | 26 | 0 | 0 | 1.359551e+01 | 2.400000e+01 | 76.53%| unknown
1.18/1.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.18/1.26 c 1.3s| 1 | 0 | 2015 | - | 120M | 0 | 213 |5375 |5401 | 28 | 27 | 0 | 0 | 1.359556e+01 | 2.400000e+01 | 76.53%| unknown
7.86/7.97 o 23
7.86/7.97 c L 8.0s| 1 | 0 | 2015 | - | rens| 0 | 213 |5375 |5401 | 28 | 27 | 0 | 0 | 1.359556e+01 | 2.300000e+01 | 69.17%| unknown
7.86/8.00 c 8.0s| 1 | 0 | 2015 | - | 120M | 0 | 213 |5375 |5401 | 28 | 27 | 0 | 0 | 1.359556e+01 | 2.300000e+01 | 69.17%| unknown
7.97/8.02 c 8.0s| 1 | 0 | 2029 | - | 120M | 0 | 213 |5375 |5402 | 29 | 28 | 0 | 0 | 1.359586e+01 | 2.300000e+01 | 69.17%| unknown
7.97/8.03 c 8.0s| 1 | 0 | 2032 | - | 120M | 0 | 213 |5375 |5400 | 30 | 29 | 0 | 0 | 1.359590e+01 | 2.300000e+01 | 69.17%| unknown
10.06/10.12 c 10.1s| 1 | 2 | 2032 | - | 120M | 0 | 213 |5375 |5400 | 30 | 29 | 0 | 23 | 1.394454e+01 | 2.300000e+01 | 64.94%| unknown
27.51/27.63 c 27.6s| 100 | 97 | 22414 | 205.9 | 161M | 19 | 213 |5406 |5400 | 94 | 1 | 31 | 367 | 1.407334e+01 | 2.300000e+01 | 63.43%| unknown
31.90/32.03 c 32.0s| 200 | 197 | 41013 | 195.9 | 162M | 22 | 213 |5412 |5394 | 141 | 1 | 40 | 397 | 1.502912e+01 | 2.300000e+01 | 53.04%| unknown
32.69/32.81 o 22
32.69/32.81 c L32.8s| 201 | 182 | 41625 | 198.0 |crossove| 22 | 213 |5412 |5401 | 148 | 7 | 40 | 397 | 1.502912e+01 | 2.200000e+01 | 46.38%| unknown
36.19/36.31 c 36.3s| 300 | 255 | 57341 | 185.0 | 162M | 22 | 213 |5417 |5403 | 204 | 2 | 45 | 413 | 1.502912e+01 | 2.200000e+01 | 46.38%| unknown
42.56/42.77 c 42.8s| 400 | 347 | 89543 | 219.3 | 164M | 22 | 213 |5454 |5394 | 302 | 1 | 87 | 429 | 1.522833e+01 | 2.200000e+01 | 44.47%| unknown
48.24/48.43 c 48.4s| 500 | 447 |115400 | 227.2 | 167M | 22 | 213 |5497 |5394 | 411 | 1 | 136 | 436 | 1.574864e+01 | 2.200000e+01 | 39.69%| unknown
52.54/52.73 c 52.7s| 600 | 525 |131297 | 215.8 | 169M | 22 | 213 |5524 |5400 | 522 | 1 | 165 | 441 | 1.598715e+01 | 2.200000e+01 | 37.61%| unknown
56.93/57.13 c 57.1s| 700 | 611 |148927 | 210.2 | 170M | 22 | 213 |5551 |5402 | 618 | 8 | 195 | 442 | 1.607303e+01 | 2.200000e+01 | 36.88%| unknown
60.61/60.80 c 60.8s| 800 | 675 |163865 | 202.5 | 171M | 22 | 213 |5573 |5400 | 696 | 0 | 220 | 444 | 1.609293e+01 | 2.200000e+01 | 36.71%| unknown
67.09/67.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.09/67.33 c 67.3s| 900 | 767 |192228 | 211.6 | 174M | 22 | 213 |5600 |5402 | 831 | 8 | 253 | 451 | 1.616578e+01 | 2.200000e+01 | 36.09%| unknown
69.98/70.21 c 70.2s| 1000 | 835 |204883 | 203.1 | 174M | 22 | 213 |5630 |5402 | 874 | 1 | 284 | 454 | 1.618440e+01 | 2.200000e+01 | 35.93%| unknown
70.88/71.18 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
70.88/71.18 c (run 1, node 1035) performing user restart
70.88/71.18 c
70.88/71.18 c (restart) converted 27 cuts from the global cut pool into linear constraints
70.88/71.18 c
70.98/71.28 c presolving:
70.98/71.28 c (round 1, fast) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
70.98/71.29 c (round 2, exhaustive) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 8 upgd conss, 0 impls, 0 clqs
71.08/71.31 c (round 3, exhaustive) 0 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 99 chg coeffs, 8 upgd conss, 0 impls, 0 clqs
71.08/71.35 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
71.08/71.35 c 0 deleted vars, 16 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 105 changed coefficients
71.08/71.35 c 0 implications, 0 cliques
71.08/71.35 c presolved problem has 213 variables (213 bin, 0 int, 0 impl, 0 cont) and 5646 constraints
71.08/71.35 c 8 constraints of type <knapsack>
71.08/71.35 c 19 constraints of type <linear>
71.08/71.35 c 5619 constraints of type <logicor>
71.08/71.35 c transformed objective value is always integral (scale: 1)
71.08/71.35 c Presolving Time: 0.23
71.08/71.37 c transformed 78/100 original solutions to the transformed problem space
71.08/71.37 c
71.27/71.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.27/71.50 c 71.5s| 1 | 0 |209963 | - | 175M | 0 | 213 |5646 |5402 | 0 | 0 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
71.37/71.61 c 71.6s| 1 | 0 |210056 | - | 175M | 0 | 213 |5646 |5403 | 1 | 1 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
71.47/71.70 c 71.7s| 1 | 0 |210137 | - | 175M | 0 | 213 |5646 |5404 | 2 | 2 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
71.47/71.79 c 71.8s| 1 | 0 |210222 | - | 175M | 0 | 213 |5646 |5405 | 3 | 3 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
71.57/71.89 c 71.9s| 1 | 0 |210345 | - | 175M | 0 | 213 |5646 |5406 | 4 | 4 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
71.67/71.97 c 72.0s| 1 | 0 |210386 | - | 175M | 0 | 213 |5646 |5407 | 5 | 5 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
71.78/72.06 c 72.1s| 1 | 0 |210440 | - | 177M | 0 | 213 |5646 |5408 | 6 | 6 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
71.88/72.15 c 72.1s| 1 | 0 |210528 | - | 178M | 0 | 213 |5646 |5409 | 7 | 7 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
71.97/72.23 c 72.2s| 1 | 0 |210567 | - | 179M | 0 | 213 |5646 |5410 | 8 | 8 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.07/72.31 c 72.3s| 1 | 0 |210646 | - | 179M | 0 | 213 |5646 |5411 | 9 | 9 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.07/72.40 c 72.4s| 1 | 0 |210704 | - | 184M | 0 | 213 |5646 |5412 | 10 | 10 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.17/72.44 c 72.4s| 1 | 0 |210768 | - | 184M | 0 | 213 |5646 |5413 | 11 | 11 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.17/72.49 c 72.5s| 1 | 0 |210804 | - | 185M | 0 | 213 |5646 |5414 | 12 | 12 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.27/72.53 c 72.5s| 1 | 0 |210822 | - | 185M | 0 | 213 |5646 |5415 | 13 | 13 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.27/72.58 c 72.6s| 1 | 0 |210876 | - | 186M | 0 | 213 |5646 |5402 | 14 | 14 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.37/72.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
72.37/72.62 c 72.6s| 1 | 0 |210908 | - | 186M | 0 | 213 |5646 |5403 | 15 | 15 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.37/72.66 c 72.7s| 1 | 0 |210946 | - | 186M | 0 | 213 |5646 |5404 | 16 | 16 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
72.47/72.70 c 72.7s| 1 | 0 |210986 | - | 186M | 0 | 213 |5646 |5405 | 17 | 17 | 290 | 456 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
82.24/82.56 c 82.6s| 1 | 2 |211715 | - | 186M | 0 | 213 |5655 |5405 | 17 | 17 | 299 | 457 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
91.51/91.84 c 91.8s| 100 | 101 |250730 | 217.7 | 193M | 11 | 213 |5697 |5392 | 118 | 1 | 349 | 515 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
96.50/96.88 c 96.9s| 200 | 193 |274119 | 219.0 | 194M | 18 | 213 |5747 |5392 | 182 | 1 | 405 | 533 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
99.19/99.57 c 99.6s| 300 | 257 |287482 | 212.6 | 194M | 19 | 213 |5775 |5399 | 208 | 1 | 439 | 543 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
105.07/105.46 c 105s| 400 | 347 |318288 | 219.3 | 194M | 19 | 213 |5825 |5392 | 304 | 1 | 498 | 546 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
112.45/112.89 c 113s| 500 | 439 |342774 | 220.9 | 194M | 19 | 213 |5858 |5398 | 438 | 1 | 545 | 547 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
116.34/116.76 c 117s| 600 | 535 |359917 | 217.9 | 194M | 19 | 213 |5877 |5400 | 502 | 1 | 593 | 549 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
119.03/119.45 c 119s| 700 | 609 |373679 | 213.3 | 195M | 19 | 213 |5902 |5400 | 523 | 1 | 638 | 553 | 1.619018e+01 | 2.200000e+01 | 35.88%| unknown
124.41/124.81 c 125s| 800 | 705 |398153 | 215.0 | 195M | 19 | 213 |5929 |5400 | 621 | 1 | 696 | 558 | 1.637983e+01 | 2.200000e+01 | 34.31%| unknown
130.39/130.83 c 131s| 900 | 799 |422362 | 216.4 | 195M | 19 | 213 |5950 |5398 | 752 | 1 | 749 | 561 | 1.639721e+01 | 2.200000e+01 | 34.17%| unknown
134.98/135.42 c 135s| 1000 | 891 |442175 | 215.5 | 196M | 19 | 213 |5978 |5400 | 835 | 7 | 803 | 565 | 1.651673e+01 | 2.200000e+01 | 33.20%| unknown
136.68/137.14 c 137s| 1100 | 947 |450934 | 209.5 | 196M | 19 | 213 |5994 |5399 | 842 | 1 | 829 | 567 | 1.655452e+01 | 2.200000e+01 | 32.89%| unknown
140.66/141.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
140.66/141.12 c 141s| 1200 | 1035 |468139 | 207.8 | 196M | 20 | 213 |6021 |5402 | 916 | 1 | 872 | 568 | 1.659613e+01 | 2.200000e+01 | 32.56%| unknown
142.85/143.35 c 143s| 1300 | 1089 |478548 | 203.4 | 196M | 20 | 213 |6038 |5400 | 945 | 0 | 903 | 570 | 1.663949e+01 | 2.200000e+01 | 32.22%| unknown
144.94/145.44 c 145s| 1400 | 1129 |487977 | 198.9 | 196M | 20 | 213 |6036 |5398 | 976 | 1 | 917 | 576 | 1.671586e+01 | 2.200000e+01 | 31.61%| unknown
147.34/147.84 c 148s| 1500 | 1189 |499024 | 195.4 | 196M | 20 | 213 |6061 |5399 |1011 | 1 | 951 | 578 | 1.671872e+01 | 2.200000e+01 | 31.59%| unknown
150.33/150.81 c 151s| 1600 | 1257 |511277 | 192.6 | 197M | 20 | 213 |6079 |5399 |1075 | 1 | 977 | 579 | 1.676220e+01 | 2.200000e+01 | 31.25%| unknown
152.12/152.61 c 153s| 1700 | 1295 |520223 | 188.9 | 197M | 20 | 213 |6086 |5399 |1100 | 0 | 989 | 583 | 1.676519e+01 | 2.200000e+01 | 31.22%| unknown
156.41/156.93 c 157s| 1800 | 1369 |537945 | 188.5 | 197M | 20 | 213 |6119 |5399 |1200 | 1 |1032 | 583 | 1.679007e+01 | 2.200000e+01 | 31.03%| unknown
159.79/160.32 c 160s| 1900 | 1431 |551687 | 186.7 | 199M | 20 | 213 |6129 |5399 |1275 | 0 |1049 | 584 | 1.680684e+01 | 2.200000e+01 | 30.90%| unknown
163.50/164.10 c 164s| 2000 | 1497 |567224 | 185.7 | 199M | 20 | 213 |6154 |5399 |1352 | 1 |1083 | 587 | 1.682025e+01 | 2.200000e+01 | 30.79%| unknown
166.98/167.54 c 168s| 2100 | 1569 |581927 | 184.5 | 199M | 20 | 213 |6165 |5400 |1429 | 1 |1103 | 587 | 1.688647e+01 | 2.200000e+01 | 30.28%| unknown
170.07/170.65 c 171s| 2200 | 1623 |594688 | 182.7 | 199M | 20 | 213 |6184 |5398 |1496 | 1 |1131 | 595 | 1.689346e+01 | 2.200000e+01 | 30.23%| unknown
172.26/172.80 c 173s| 2300 | 1683 |604560 | 180.2 | 199M | 20 | 213 |6200 |5399 |1526 | 1 |1151 | 600 | 1.690947e+01 | 2.200000e+01 | 30.10%| unknown
175.85/176.42 c 176s| 2400 | 1745 |619949 | 179.4 | 202M | 20 | 213 |6214 |5399 |1595 | 1 |1175 | 601 | 1.699971e+01 | 2.200000e+01 | 29.41%| unknown
178.84/179.48 c 179s| 2500 | 1805 |632732 | 178.0 | 207M | 20 | 213 |6235 |5399 |1656 | 1 |1202 | 602 | 1.700700e+01 | 2.200000e+01 | 29.36%| unknown
181.73/182.37 c 182s| 2600 | 1847 |645277 | 176.5 | 208M | 20 | 213 |6243 |5398 |1717 | 1 |1220 | 603 | 1.701596e+01 | 2.200000e+01 | 29.29%| unknown
184.52/185.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
184.52/185.12 c 185s| 2700 | 1897 |656900 | 174.9 | 213M | 20 | 213 |6242 |5398 |1765 | 6 |1232 | 604 | 1.704310e+01 | 2.200000e+01 | 29.08%| unknown
188.71/189.31 c 189s| 2800 | 1985 |672980 | 174.5 | 213M | 20 | 213 |6274 |5400 |1863 | 1 |1270 | 606 | 1.705362e+01 | 2.200000e+01 | 29.00%| unknown
192.29/192.96 c 193s| 2900 | 2053 |687865 | 173.9 | 213M | 20 | 213 |6290 |5400 |1951 | 1 |1296 | 608 | 1.708243e+01 | 2.200000e+01 | 28.79%| unknown
195.28/195.93 c 196s| 3000 | 2105 |700001 | 172.6 | 213M | 20 | 213 |6304 |5400 |2015 | 1 |1322 | 608 | 1.710933e+01 | 2.200000e+01 | 28.58%| 10.23%
199.38/200.05 c 200s| 3100 | 2177 |716255 | 172.3 | 221M | 20 | 213 |6317 |5400 |2103 | 1 |1345 | 609 | 1.713100e+01 | 2.200000e+01 | 28.42%| 10.55%
201.27/201.96 c 202s| 3200 | 2213 |724923 | 170.3 | 221M | 20 | 213 |6319 |5400 |2136 | 1 |1357 | 610 | 1.714854e+01 | 2.200000e+01 | 28.29%| 10.68%
203.36/204.08 c 204s| 3300 | 2243 |734081 | 168.5 | 222M | 20 | 213 |6320 |5400 |2175 | 0 |1371 | 610 | 1.716411e+01 | 2.200000e+01 | 28.17%| 11.04%
206.05/206.79 c 207s| 3400 | 2293 |745622 | 167.3 | 222M | 20 | 213 |6328 |5398 |2231 | 1 |1390 | 611 | 1.719323e+01 | 2.200000e+01 | 27.96%| 11.21%
208.84/209.51 c 210s| 3500 | 2347 |756990 | 166.1 | 222M | 20 | 213 |6341 |5399 |2281 | 1 |1409 | 611 | 1.720166e+01 | 2.200000e+01 | 27.89%| 11.29%
211.83/212.52 c 213s| 3600 | 2411 |768967 | 165.1 | 224M | 20 | 213 |6365 |5399 |2343 | 0 |1441 | 620 | 1.722665e+01 | 2.200000e+01 | 27.71%| 11.71%
214.62/215.38 c 215s| 3700 | 2465 |780313 | 164.0 | 225M | 20 | 213 |6381 |5398 |2411 | 1 |1460 | 620 | 1.724422e+01 | 2.200000e+01 | 27.58%| 11.82%
217.32/218.05 c 218s| 3800 | 2517 |791638 | 163.0 | 225M | 20 | 213 |6399 |5402 |2463 | 1 |1482 | 620 | 1.725954e+01 | 2.200000e+01 | 27.47%| 11.94%
219.90/220.64 c 221s| 3900 | 2551 |802120 | 161.8 | 225M | 20 | 213 |6414 |5400 |2512 | 1 |1500 | 622 | 1.727072e+01 | 2.200000e+01 | 27.38%| 12.14%
224.09/224.81 c 225s| 4000 | 2617 |817657 | 161.7 | 231M | 20 | 213 |6428 |5398 |2615 | 6 |1523 | 622 | 1.728818e+01 | 2.200000e+01 | 27.25%| 12.38%
226.18/226.93 c 227s| 4100 | 2683 |828169 | 160.6 | 231M | 20 | 213 |6444 |5398 |2639 | 1 |1544 | 622 | 1.731049e+01 | 2.200000e+01 | 27.09%| 12.51%
227.87/228.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
227.87/228.61 c 229s| 4200 | 2713 |835969 | 159.0 | 231M | 20 | 213 |6456 |5398 |2660 | 0 |1557 | 623 | 1.731543e+01 | 2.200000e+01 | 27.05%| 12.67%
231.38/232.18 c 232s| 4300 | 2767 |849641 | 158.6 | 233M | 20 | 213 |6473 |5398 |2739 | 1 |1577 | 627 | 1.733191e+01 | 2.200000e+01 | 26.93%| 12.79%
233.76/234.57 c 235s| 4400 | 2809 |860456 | 157.6 | 233M | 20 | 213 |6477 |5400 |2778 | 1 |1590 | 629 | 1.733245e+01 | 2.200000e+01 | 26.93%| 12.80%
237.05/237.88 c 238s| 4500 | 2863 |873625 | 157.2 | 234M | 20 | 213 |6490 |5398 |2848 | 1 |1615 | 629 | 1.735178e+01 | 2.200000e+01 | 26.79%| 13.07%
239.84/240.63 c 241s| 4600 | 2905 |884653 | 156.3 | 237M | 20 | 213 |6493 |5399 |2905 | 0 |1626 | 631 | 1.736418e+01 | 2.200000e+01 | 26.70%| 13.22%
242.73/243.54 c 244s| 4700 | 2947 |895898 | 155.6 | 238M | 20 | 213 |6489 |5399 |2970 | 0 |1641 | 632 | 1.742913e+01 | 2.200000e+01 | 26.23%| 14.06%
245.12/245.91 c 246s| 4800 | 2989 |906637 | 154.7 | 239M | 20 | 213 |6499 |5399 |3007 | 1 |1659 | 632 | 1.745478e+01 | 2.200000e+01 | 26.04%| 14.22%
247.22/248.05 c 248s| 4900 | 3031 |916404 | 153.8 | 240M | 20 | 213 |6508 |5398 |3041 | 1 |1673 | 632 | 1.745595e+01 | 2.200000e+01 | 26.03%| 14.24%
250.00/250.83 c 251s| 5000 | 3079 |928085 | 153.2 | 241M | 20 | 213 |6519 |5399 |3086 | 1 |1694 | 632 | 1.746700e+01 | 2.200000e+01 | 25.95%| 14.42%
252.00/252.89 c 253s| 5100 | 3109 |937227 | 152.2 | 242M | 20 | 213 |6518 |5400 |3125 | 1 |1704 | 633 | 1.748408e+01 | 2.200000e+01 | 25.83%| 14.59%
254.89/255.77 c 256s| 5200 | 3161 |948286 | 151.5 | 242M | 20 | 213 |6529 |5398 |3186 | 0 |1722 | 634 | 1.749683e+01 | 2.200000e+01 | 25.74%| 14.73%
257.18/258.05 c 258s| 5300 | 3205 |958165 | 150.7 | 243M | 20 | 213 |6539 |5397 |3227 | 1 |1734 | 634 | 1.750707e+01 | 2.200000e+01 | 25.66%| 14.85%
258.88/259.79 c 260s| 5400 | 3235 |966131 | 149.6 | 243M | 20 | 213 |6554 |5397 |3252 | 0 |1753 | 634 | 1.752248e+01 | 2.200000e+01 | 25.55%| 14.99%
261.57/262.41 c 262s| 5500 | 3269 |977567 | 149.0 | 244M | 20 | 213 |6562 |5400 |3300 | 0 |1769 | 634 | 1.752739e+01 | 2.200000e+01 | 25.52%| 15.08%
264.46/265.31 c 265s| 5600 | 3317 |989107 | 148.5 | 244M | 20 | 213 |6568 |5399 |3358 | 1 |1785 | 635 | 1.753236e+01 | 2.200000e+01 | 25.48%| 15.13%
266.55/267.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
266.55/267.42 c 267s| 5700 | 3357 |998991 | 147.8 | 245M | 20 | 213 |6585 |5398 |3387 | 0 |1807 | 635 | 1.753457e+01 | 2.200000e+01 | 25.47%| 15.16%
268.65/269.53 c 270s| 5800 | 3401 | 1008k| 147.0 | 246M | 20 | 213 |6599 |5401 |3416 | 1 |1827 | 635 | 1.754579e+01 | 2.200000e+01 | 25.39%| 15.36%
271.14/272.04 c 272s| 5900 | 3429 | 1018k| 146.3 | 251M | 20 | 213 |6607 |5402 |3471 | 9 |1841 | 635 | 1.755749e+01 | 2.200000e+01 | 25.30%| 15.48%
273.43/274.37 c 274s| 6000 | 3461 | 1029k| 145.8 | 252M | 20 | 213 |6610 |5399 |3509 | 0 |1854 | 635 | 1.756378e+01 | 2.200000e+01 | 25.26%| 15.57%
275.23/276.14 c 276s| 6100 | 3493 | 1037k| 144.9 | 252M | 20 | 213 |6613 |5398 |3530 | 1 |1871 | 636 | 1.757530e+01 | 2.200000e+01 | 25.18%| 15.82%
277.52/278.49 c 278s| 6200 | 3543 | 1047k| 144.3 | 259M | 20 | 213 |6630 |5399 |3565 | 0 |1892 | 636 | 1.758606e+01 | 2.200000e+01 | 25.10%| 15.88%
279.91/280.82 c 281s| 6300 | 3569 | 1057k| 143.7 | 260M | 20 | 213 |6638 |5399 |3605 | 0 |1908 | 637 | 1.758661e+01 | 2.200000e+01 | 25.10%| 15.90%
283.00/283.93 c 284s| 6400 | 3621 | 1070k| 143.5 | 262M | 20 | 213 |6649 |5399 |3664 | 1 |1929 | 638 | 1.759184e+01 | 2.200000e+01 | 25.06%| 15.94%
284.79/285.79 c 286s| 6500 | 3651 | 1079k| 142.7 | 265M | 20 | 213 |6651 |5399 |3694 | 1 |1939 | 639 | 1.759184e+01 | 2.200000e+01 | 25.06%| 15.95%
286.58/287.51 c 288s| 6600 | 3693 | 1087k| 142.0 | 266M | 20 | 213 |6657 |5402 |3709 | 1 |1953 | 639 | 1.759292e+01 | 2.200000e+01 | 25.05%| 15.97%
289.38/290.34 c 290s| 6700 | 3747 | 1100k| 141.7 | 266M | 20 | 213 |6675 |5398 |3761 | 0 |1975 | 639 | 1.761281e+01 | 2.200000e+01 | 24.91%| 16.17%
291.58/292.50 c 292s| 6800 | 3787 | 1109k| 141.2 | 266M | 20 | 213 |6678 |5400 |3792 | 0 |1990 | 639 | 1.761628e+01 | 2.200000e+01 | 24.88%| 16.21%
294.17/295.13 c 295s| 6900 | 3825 | 1120k| 140.8 | 266M | 20 | 213 |6691 |5398 |3840 | 0 |2007 | 642 | 1.764352e+01 | 2.200000e+01 | 24.69%| 16.54%
296.76/297.75 c 298s| 7000 | 3887 | 1131k| 140.4 | 266M | 20 | 213 |6705 |5399 |3886 | 1 |2022 | 643 | 1.764879e+01 | 2.200000e+01 | 24.65%| 16.58%
298.55/299.59 c 300s| 7100 | 3929 | 1140k| 139.8 | 266M | 20 | 213 |6715 |5399 |3911 | 1 |2037 | 643 | 1.765018e+01 | 2.200000e+01 | 24.64%| 16.61%
300.25/301.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
300.25/301.23 c 301s| 7200 | 3949 | 1147k| 138.9 | 266M | 20 | 213 |6722 |5399 |3933 | 1 |2045 | 643 | 1.765143e+01 | 2.200000e+01 | 24.64%| 16.64%
301.64/302.60 c 303s| 7300 | 3967 | 1154k| 138.1 | 266M | 20 | 213 |6731 |5410 |3947 | 1 |2057 | 643 | 1.765168e+01 | 2.200000e+01 | 24.63%| 16.66%
304.14/305.13 c 305s| 7400 | 4021 | 1165k| 137.8 | 267M | 20 | 213 |6742 |5400 |3998 | 0 |2071 | 643 | 1.765953e+01 | 2.200000e+01 | 24.58%| 16.76%
308.02/309.01 c 309s| 7500 | 4101 | 1181k| 138.0 | 267M | 20 | 213 |6765 |5399 |4077 | 0 |2103 | 643 | 1.767212e+01 | 2.200000e+01 | 24.49%| 16.91%
310.61/311.62 c 312s| 7600 | 4153 | 1192k| 137.6 | 270M | 20 | 213 |6782 |5398 |4120 | 1 |2124 | 643 | 1.768735e+01 | 2.200000e+01 | 24.38%| 17.19%
312.90/314.00 c 314s| 7700 | 4197 | 1202k| 137.3 | 271M | 20 | 213 |6799 |5399 |4159 | 0 |2144 | 643 | 1.769308e+01 | 2.200000e+01 | 24.34%| 17.24%
315.39/316.45 c 316s| 7800 | 4257 | 1214k| 137.0 | 273M | 20 | 213 |6827 |5399 |4190 | 1 |2175 | 643 | 1.770427e+01 | 2.200000e+01 | 24.26%| 17.30%
317.19/318.25 c 318s| 7900 | 4295 | 1223k| 136.5 | 273M | 20 | 213 |6842 |5401 |4205 | 1 |2192 | 643 | 1.770930e+01 | 2.200000e+01 | 24.23%| 17.36%
319.38/320.47 c 320s| 8000 | 4329 | 1232k| 136.0 | 274M | 20 | 213 |6851 |5400 |4248 | 1 |2203 | 643 | 1.773090e+01 | 2.200000e+01 | 24.08%| 17.62%
321.77/322.84 c 323s| 8100 | 4375 | 1243k| 135.7 | 274M | 20 | 213 |6871 |5400 |4278 | 0 |2231 | 646 | 1.774075e+01 | 2.200000e+01 | 24.01%| 17.78%
324.16/325.26 c 325s| 8200 | 4407 | 1254k| 135.4 | 274M | 20 | 213 |6885 |5398 |4316 | 0 |2256 | 650 | 1.775968e+01 | 2.200000e+01 | 23.88%| 17.93%
326.97/328.04 c 328s| 8300 | 4443 | 1266k| 135.2 | 275M | 20 | 213 |6889 |5400 |4371 | 1 |2270 | 650 | 1.778317e+01 | 2.200000e+01 | 23.71%| 18.22%
329.65/330.76 c 331s| 8400 | 4493 | 1277k| 135.0 | 275M | 21 | 213 |6902 |5399 |4420 | 1 |2291 | 650 | 1.779249e+01 | 2.200000e+01 | 23.65%| 18.31%
332.14/333.21 c 333s| 8500 | 4523 | 1287k| 134.7 | 275M | 21 | 213 |6915 |5399 |4463 | 0 |2312 | 650 | 1.779488e+01 | 2.200000e+01 | 23.63%| 18.36%
334.53/335.68 c 336s| 8600 | 4561 | 1298k| 134.4 | 281M | 21 | 213 |6922 |5399 |4505 | 0 |2325 | 650 | 1.782561e+01 | 2.200000e+01 | 23.42%| 18.77%
336.72/337.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
336.72/337.89 c 338s| 8700 | 4617 | 1307k| 133.9 | 283M | 21 | 213 |6939 |5400 |4539 | 0 |2345 | 652 | 1.783595e+01 | 2.200000e+01 | 23.35%| 18.84%
340.51/341.62 c 342s| 8800 | 4693 | 1322k| 134.1 | 283M | 21 | 213 |6966 |5400 |4618 | 1 |2375 | 652 | 1.784175e+01 | 2.200000e+01 | 23.31%| 18.90%
343.30/344.48 c 344s| 8900 | 4747 | 1334k| 133.9 | 283M | 21 | 213 |6986 |5400 |4666 | 1 |2395 | 654 | 1.785086e+01 | 2.200000e+01 | 23.24%| 18.99%
346.39/347.58 c 348s| 9000 | 4811 | 1347k| 133.9 | 283M | 21 | 213 |7008 |5399 |4721 | 1 |2418 | 654 | 1.785465e+01 | 2.200000e+01 | 23.22%| 19.07%
348.09/349.25 c 349s| 9100 | 4837 | 1355k| 133.4 | 283M | 21 | 213 |7012 |5400 |4735 | 1 |2423 | 654 | 1.786556e+01 | 2.200000e+01 | 23.14%| 19.16%
350.08/351.26 c 351s| 9200 | 4871 | 1364k| 133.0 | 283M | 21 | 213 |7028 |5397 |4760 | 0 |2440 | 655 | 1.786674e+01 | 2.200000e+01 | 23.13%| 19.22%
352.07/353.25 c 353s| 9300 | 4895 | 1373k| 132.6 | 283M | 21 | 213 |7034 |5399 |4793 | 7 |2449 | 655 | 1.787008e+01 | 2.200000e+01 | 23.11%| 19.26%
353.67/354.84 c 355s| 9400 | 4921 | 1381k| 132.1 | 283M | 21 | 213 |7048 |5400 |4810 | 8 |2465 | 656 | 1.787008e+01 | 2.200000e+01 | 23.11%| 19.28%
357.15/358.38 c 358s| 9500 | 5005 | 1396k| 132.2 | 287M | 21 | 213 |7080 |5399 |4869 | 1 |2499 | 656 | 1.787847e+01 | 2.200000e+01 | 23.05%| 19.36%
359.06/360.28 c 360s| 9600 | 5037 | 1405k| 131.8 | 289M | 21 | 213 |7091 |5398 |4889 | 1 |2516 | 656 | 1.788385e+01 | 2.200000e+01 | 23.02%| 19.45%
360.35/361.58 c 362s| 9700 | 5075 | 1412k| 131.2 | 290M | 21 | 213 |7103 |5398 |4895 | 0 |2530 | 656 | 1.788789e+01 | 2.200000e+01 | 22.99%| 19.51%
362.44/363.60 c 364s| 9800 | 5095 | 1420k| 130.8 | 293M | 21 | 213 |7105 |5398 |4931 | 1 |2537 | 656 | 1.789535e+01 | 2.200000e+01 | 22.94%| 19.59%
364.64/365.81 c 366s| 9900 | 5133 | 1430k| 130.5 | 294M | 21 | 213 |7124 |5398 |4954 | 1 |2560 | 656 | 1.789681e+01 | 2.200000e+01 | 22.93%| 19.62%
367.33/368.52 c 369s| 10000 | 5179 | 1442k| 130.4 | 294M | 21 | 213 |7144 |5398 |5007 | 1 |2584 | 656 | 1.791253e+01 | 2.200000e+01 | 22.82%| 19.82%
370.12/371.33 c 371s| 10100 | 5221 | 1453k| 130.2 | 294M | 21 | 213 |7155 |5400 |5064 | 0 |2599 | 656 | 1.792081e+01 | 2.200000e+01 | 22.76%| 19.90%
372.21/373.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
372.21/373.43 c 373s| 10200 | 5265 | 1462k| 129.8 | 294M | 21 | 213 |7172 |5399 |5088 | 0 |2618 | 656 | 1.792200e+01 | 2.200000e+01 | 22.75%| 19.95%
373.51/374.74 c 375s| 10300 | 5297 | 1468k| 129.3 | 295M | 21 | 213 |7184 |5399 |5099 | 1 |2631 | 656 | 1.792465e+01 | 2.200000e+01 | 22.74%| 19.98%
375.91/377.19 c 377s| 10400 | 5347 | 1478k| 129.0 | 295M | 21 | 213 |7193 |5399 |5143 | 1 |2644 | 656 | 1.792861e+01 | 2.200000e+01 | 22.71%| 20.02%
378.79/380.04 c 380s| 10500 | 5403 | 1490k| 128.9 | 298M | 21 | 213 |7223 |5399 |5195 | 1 |2676 | 656 | 1.794019e+01 | 2.200000e+01 | 22.63%| 20.17%
380.28/381.54 c 382s| 10600 | 5439 | 1497k| 128.4 | 299M | 21 | 213 |7238 |5399 |5202 | 1 |2692 | 658 | 1.794336e+01 | 2.200000e+01 | 22.61%| 20.20%
381.98/383.23 c 383s| 10700 | 5461 | 1504k| 127.9 | 301M | 22 | 213 |7248 |5399 |5229 | 0 |2704 | 658 | 1.794485e+01 | 2.200000e+01 | 22.60%| 20.23%
383.88/385.17 c 385s| 10800 | 5503 | 1513k| 127.6 | 301M | 22 | 213 |7266 |5406 |5256 | 1 |2728 | 660 | 1.794906e+01 | 2.200000e+01 | 22.57%| 20.29%
386.16/387.43 c 387s| 10900 | 5527 | 1523k| 127.3 | 302M | 22 | 213 |7272 |5399 |5292 | 0 |2737 | 660 | 1.795615e+01 | 2.200000e+01 | 22.52%| 20.39%
387.46/388.76 c 389s| 11000 | 5565 | 1530k| 126.9 | 302M | 22 | 213 |7281 |5397 |5298 | 1 |2749 | 660 | 1.795615e+01 | 2.200000e+01 | 22.52%| 20.40%
389.55/390.80 c 391s| 11100 | 5599 | 1540k| 126.6 | 307M | 22 | 213 |7284 |5399 |5329 | 1 |2760 | 660 | 1.797261e+01 | 2.200000e+01 | 22.41%| 20.60%
390.95/392.29 c 392s| 11200 | 5611 | 1547k| 126.2 | 307M | 22 | 213 |7279 |5398 |5343 | 1 |2761 | 660 | 1.797742e+01 | 2.200000e+01 | 22.38%| 20.73%
392.85/394.15 c 394s| 11300 | 5643 | 1556k| 125.9 | 308M | 22 | 213 |7275 |5397 |5364 | 0 |2770 | 660 | 1.799186e+01 | 2.200000e+01 | 22.28%| 20.82%
395.24/396.51 c 397s| 11400 | 5699 | 1567k| 125.7 | 310M | 22 | 213 |7289 |5399 |5391 | 0 |2792 | 660 | 1.800225e+01 | 2.200000e+01 | 22.21%| 20.98%
396.74/398.02 c 398s| 11500 | 5725 | 1574k| 125.3 | 310M | 22 | 213 |7294 |5398 |5414 | 1 |2803 | 660 | 1.800574e+01 | 2.200000e+01 | 22.18%| 21.02%
399.73/401.04 c 401s| 11600 | 5767 | 1586k| 125.3 | 310M | 22 | 213 |7308 |5400 |5474 | 0 |2829 | 660 | 1.801744e+01 | 2.200000e+01 | 22.10%| 21.14%
402.01/403.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
402.01/403.30 c 403s| 11700 | 5827 | 1596k| 125.1 | 310M | 22 | 213 |7317 |5398 |5503 | 1 |2846 | 661 | 1.802065e+01 | 2.200000e+01 | 22.08%| 21.18%
403.31/404.66 c 405s| 11800 | 5847 | 1603k| 124.6 | 310M | 22 | 213 |7328 |5398 |5517 | 1 |2858 | 661 | 1.802627e+01 | 2.200000e+01 | 22.04%| 21.29%
405.10/406.46 c 406s| 11900 | 5855 | 1610k| 124.3 | 310M | 22 | 213 |7338 |5400 |5550 | 0 |2868 | 664 | 1.803443e+01 | 2.200000e+01 | 21.99%| 21.36%
407.00/408.39 c 408s| 12000 | 5889 | 1619k| 124.0 | 310M | 22 | 213 |7349 |5399 |5587 | 1 |2882 | 665 | 1.803892e+01 | 2.200000e+01 | 21.96%| 21.42%
409.89/411.21 c 411s| 12100 | 5919 | 1630k| 123.9 | 310M | 22 | 213 |7361 |5397 |5649 | 0 |2897 | 665 | 1.804662e+01 | 2.200000e+01 | 21.91%| 21.54%
411.98/413.35 c 413s| 12200 | 5977 | 1640k| 123.7 | 312M | 22 | 213 |7380 |5398 |5672 | 0 |2920 | 665 | 1.805136e+01 | 2.200000e+01 | 21.87%| 21.60%
413.68/415.02 c 415s| 12300 | 6009 | 1648k| 123.3 | 312M | 22 | 213 |7392 |5400 |5693 | 1 |2933 | 665 | 1.805763e+01 | 2.200000e+01 | 21.83%| 21.67%
415.37/416.71 c 417s| 12400 | 6045 | 1656k| 123.0 | 312M | 22 | 213 |7401 |5400 |5706 | 0 |2944 | 665 | 1.806291e+01 | 2.200000e+01 | 21.80%| 21.76%
417.26/418.64 c 419s| 12500 | 6059 | 1665k| 122.7 | 312M | 22 | 213 |7402 |5399 |5738 | 1 |2949 | 665 | 1.807325e+01 | 2.200000e+01 | 21.73%| 21.88%
419.55/420.95 c 421s| 12600 | 6105 | 1675k| 122.6 | 314M | 22 | 213 |7416 |5399 |5764 | 1 |2973 | 666 | 1.807980e+01 | 2.200000e+01 | 21.68%| 21.98%
421.25/422.66 c 423s| 12700 | 6111 | 1682k| 122.3 | 314M | 22 | 213 |7413 |5398 |5785 | 0 |2978 | 666 | 1.808549e+01 | 2.200000e+01 | 21.64%| 22.06%
422.94/424.39 c 424s| 12800 | 6133 | 1690k| 121.9 | 316M | 22 | 213 |7412 |5399 |5813 | 1 |2988 | 667 | 1.809178e+01 | 2.200000e+01 | 21.60%| 22.11%
423.94/425.38 c 425s| 12900 | 6143 | 1696k| 121.5 | 316M | 22 | 213 |7416 |5402 |5813 | 0 |2997 | 667 | 1.809178e+01 | 2.200000e+01 | 21.60%| 22.13%
426.33/427.75 c 428s| 13000 | 6167 | 1706k| 121.3 | 316M | 22 | 213 |7414 |5398 |5852 | 0 |3003 | 667 | 1.809500e+01 | 2.200000e+01 | 21.58%| 22.21%
428.12/429.54 c 430s| 13100 | 6181 | 1715k| 121.1 | 316M | 22 | 213 |7406 |5402 |5883 | 1 |3009 | 667 | 1.810163e+01 | 2.200000e+01 | 21.54%| 22.27%
429.62/431.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
429.62/431.02 c 431s| 13200 | 6197 | 1721k| 120.7 | 317M | 22 | 213 |7407 |5400 |5903 | 1 |3015 | 667 | 1.810391e+01 | 2.200000e+01 | 21.52%| 22.30%
432.42/433.88 c 434s| 13300 | 6245 | 1733k| 120.7 | 317M | 22 | 213 |7416 |5399 |5949 | 1 |3034 | 667 | 1.811557e+01 | 2.200000e+01 | 21.44%| 22.44%
434.11/435.53 c 436s| 13400 | 6281 | 1741k| 120.4 | 318M | 22 | 213 |7426 |5401 |5961 | 1 |3048 | 668 | 1.811623e+01 | 2.200000e+01 | 21.44%| 22.48%
436.10/437.55 c 438s| 13500 | 6309 | 1751k| 120.2 | 318M | 22 | 213 |7438 |5398 |5979 | 0 |3067 | 669 | 1.812312e+01 | 2.200000e+01 | 21.39%| 22.54%
437.60/439.08 c 439s| 13600 | 6335 | 1758k| 119.9 | 314M | 22 | 213 |7444 |5399 |5994 | 0 |3076 | 669 | 1.812342e+01 | 2.200000e+01 | 21.39%| 22.59%
439.09/440.52 c 441s| 13700 | 6349 | 1765k| 119.6 | 314M | 22 | 213 |7444 |5400 |6010 | 1 |3078 | 669 | 1.812704e+01 | 2.200000e+01 | 21.37%| 22.63%
440.59/442.04 c 442s| 13800 | 6373 | 1773k| 119.3 | 314M | 22 | 213 |7449 |5400 |6025 | 1 |3087 | 669 | 1.813221e+01 | 2.200000e+01 | 21.33%| 22.69%
442.18/443.60 c 444s| 13900 | 6385 | 1780k| 119.0 | 314M | 22 | 213 |7454 |5400 |6039 | 0 |3102 | 669 | 1.813446e+01 | 2.200000e+01 | 21.32%| 22.72%
443.97/445.42 c 445s| 14000 | 6405 | 1788k| 118.7 | 317M | 22 | 213 |7450 |5404 |6064 | 1 |3107 | 669 | 1.813572e+01 | 2.200000e+01 | 21.31%| 22.79%
445.37/446.88 c 447s| 14100 | 6433 | 1796k| 118.5 | 317M | 22 | 213 |7458 |5399 |6070 | 1 |3117 | 669 | 1.814050e+01 | 2.200000e+01 | 21.28%| 22.83%
447.46/448.96 c 449s| 14200 | 6463 | 1805k| 118.3 | 317M | 22 | 213 |7470 |5401 |6093 | 1 |3131 | 669 | 1.814496e+01 | 2.200000e+01 | 21.25%| 22.92%
449.45/450.97 c 451s| 14300 | 6489 | 1814k| 118.1 | 317M | 22 | 213 |7474 |5399 |6129 | 1 |3139 | 669 | 1.815264e+01 | 2.200000e+01 | 21.19%| 22.98%
451.25/452.79 c 453s| 14400 | 6517 | 1823k| 117.9 | 317M | 22 | 213 |7481 |5398 |6150 | 1 |3149 | 669 | 1.815424e+01 | 2.200000e+01 | 21.18%| 23.01%
453.25/454.75 c 455s| 14500 | 6553 | 1832k| 117.7 | 317M | 22 | 213 |7488 |5397 |6175 | 1 |3160 | 669 | 1.815469e+01 | 2.200000e+01 | 21.18%| 23.05%
454.45/455.94 c 456s| 14600 | 6565 | 1838k| 117.3 | 317M | 22 | 213 |7491 |5400 |6181 | 1 |3167 | 669 | 1.815875e+01 | 2.200000e+01 | 21.15%| 23.10%
457.24/458.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
457.24/458.79 c 459s| 14700 | 6613 | 1850k| 117.3 | 317M | 22 | 213 |7511 |5398 |6233 | 1 |3194 | 670 | 1.816820e+01 | 2.200000e+01 | 21.09%| 23.23%
460.13/461.67 c 462s| 14800 | 6673 | 1862k| 117.4 | 318M | 22 | 213 |7529 |5398 |6281 | 1 |3212 | 670 | 1.817928e+01 | 2.200000e+01 | 21.02%| 23.37%
462.12/463.60 c 464s| 14900 | 6727 | 1871k| 117.2 | 321M | 22 | 213 |7549 |5398 |6300 | 1 |3233 | 670 | 1.818771e+01 | 2.200000e+01 | 20.96%| 23.48%
463.52/465.10 c 465s| 15000 | 6755 | 1878k| 116.9 | 321M | 22 | 213 |7559 |5399 |6307 | 1 |3244 | 670 | 1.818771e+01 | 2.200000e+01 | 20.96%| 23.49%
464.91/466.42 c 466s| 15100 | 6769 | 1885k| 116.6 | 323M | 22 | 213 |7560 |5398 |6313 | 1 |3248 | 670 | 1.819195e+01 | 2.200000e+01 | 20.93%| 23.53%
466.80/468.31 c 468s| 15200 | 6805 | 1894k| 116.5 | 333M | 22 | 213 |7576 |5398 |6334 | 1 |3266 | 670 | 1.819341e+01 | 2.200000e+01 | 20.92%| 23.58%
468.39/469.97 c 470s| 15300 | 6833 | 1901k| 116.2 | 334M | 22 | 213 |7578 |5400 |6357 | 0 |3274 | 670 | 1.820062e+01 | 2.200000e+01 | 20.88%| 23.68%
470.49/472.02 c 472s| 15400 | 6847 | 1910k| 116.0 | 334M | 22 | 213 |7584 |5400 |6393 | 1 |3284 | 670 | 1.820885e+01 | 2.200000e+01 | 20.82%| 23.76%
472.98/474.55 c 475s| 15500 | 6885 | 1921k| 116.0 | 334M | 22 | 213 |7592 |5403 |6432 | 1 |3297 | 670 | 1.820916e+01 | 2.200000e+01 | 20.82%| 23.78%
474.48/476.06 c 476s| 15600 | 6921 | 1928k| 115.7 | 334M | 22 | 213 |7598 |5398 |6449 | 1 |3306 | 670 | 1.821030e+01 | 2.200000e+01 | 20.81%| 23.80%
475.98/477.54 c 478s| 15700 | 6947 | 1936k| 115.5 | 334M | 22 | 213 |7606 |5401 |6466 | 0 |3316 | 670 | 1.821876e+01 | 2.200000e+01 | 20.75%| 23.93%
478.77/480.36 c 480s| 15800 | 6997 | 1947k| 115.5 | 335M | 22 | 213 |7620 |5398 |6519 | 0 |3337 | 670 | 1.822697e+01 | 2.200000e+01 | 20.70%| 24.01%
481.26/482.88 c 483s| 15900 | 7041 | 1957k| 115.4 | 335M | 22 | 213 |7633 |5400 |6559 | 1 |3357 | 670 | 1.822929e+01 | 2.200000e+01 | 20.68%| 24.07%
482.56/484.14 c 484s| 16000 | 7071 | 1964k| 115.1 | 335M | 22 | 213 |7640 |5400 |6568 | 1 |3369 | 670 | 1.823006e+01 | 2.200000e+01 | 20.68%| 24.08%
484.94/486.53 c 487s| 16100 | 7095 | 1975k| 115.1 | 335M | 22 | 213 |7646 |5398 |6601 | 0 |3383 | 671 | 1.824154e+01 | 2.200000e+01 | 20.60%| 24.21%
485.64/487.25 o 21
485.64/487.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
485.64/487.25 c * 487s| 16150 | 3242 | 1978k| 114.9 | LP | 22 | 213 |7633 |5400 |6609 | 1 |3386 | 671 | 1.824366e+01 | 2.100000e+01 | 15.11%| 37.51%
486.54/488.17 c 488s| 16200 | 3230 | 1982k| 114.8 | 335M | 22 | 213 |7632 |5406 |6625 | 0 |3388 | 671 | 1.824490e+01 | 2.100000e+01 | 15.10%| 37.72%
488.23/489.83 c 490s| 16300 | 3228 | 1991k| 114.6 | 335M | 22 | 213 |7623 |5398 |6644 | 1 |3389 | 671 | 1.824554e+01 | 2.100000e+01 | 15.10%| 38.04%
489.73/491.32 c 491s| 16400 | 3224 | 1998k| 114.4 | 335M | 22 | 213 |7625 |5399 |6656 | 0 |3397 | 671 | 1.824725e+01 | 2.100000e+01 | 15.09%| 38.27%
491.42/493.10 c 493s| 16500 | 3232 | 2007k| 114.3 | 335M | 22 | 213 |7615 |5399 |6679 | 1 |3401 | 671 | 1.825613e+01 | 2.100000e+01 | 15.03%| 38.53%
493.91/495.55 c 496s| 16600 | 3246 | 2018k| 114.3 | 336M | 22 | 213 |7613 |5402 |6719 | 0 |3411 | 671 | 1.826587e+01 | 2.100000e+01 | 14.97%| 38.78%
495.41/497.01 c 497s| 16700 | 3254 | 2026k| 114.1 | 336M | 22 | 213 |7616 |5399 |6725 | 0 |3417 | 671 | 1.826708e+01 | 2.100000e+01 | 14.96%| 38.97%
496.90/498.52 c 499s| 16800 | 3246 | 2033k| 113.8 | 336M | 22 | 213 |7612 |5400 |6745 | 0 |3419 | 671 | 1.826802e+01 | 2.100000e+01 | 14.95%| 39.26%
499.20/500.86 c 501s| 16900 | 3256 | 2043k| 113.7 | 336M | 22 | 213 |7610 |5400 |6781 | 1 |3428 | 671 | 1.828123e+01 | 2.100000e+01 | 14.87%| 39.52%
500.60/502.25 c 502s| 17000 | 3242 | 2051k| 113.6 | 336M | 22 | 213 |7607 |5399 |6788 | 0 |3434 | 671 | 1.828327e+01 | 2.100000e+01 | 14.86%| 39.89%
502.49/504.16 c 504s| 17100 | 3244 | 2060k| 113.4 | 339M | 22 | 213 |7603 |5402 |6819 | 0 |3437 | 672 | 1.829342e+01 | 2.100000e+01 | 14.80%| 40.12%
504.78/506.45 c 506s| 17200 | 3254 | 2070k| 113.3 | 339M | 22 | 213 |7604 |5398 |6853 | 1 |3448 | 672 | 1.829907e+01 | 2.100000e+01 | 14.76%| 40.43%
506.17/507.88 c 508s| 17300 | 3248 | 2078k| 113.2 | 339M | 22 | 213 |7603 |5401 |6861 | 0 |3451 | 672 | 1.830133e+01 | 2.100000e+01 | 14.75%| 40.72%
507.97/509.62 c 510s| 17400 | 3266 | 2088k| 113.1 | 339M | 22 | 213 |7603 |5399 |6872 | 1 |3457 | 672 | 1.830663e+01 | 2.100000e+01 | 14.71%| 40.89%
509.66/511.33 c 511s| 17500 | 3256 | 2095k| 112.9 | 339M | 22 | 213 |7600 |5399 |6895 | 0 |3463 | 672 | 1.831833e+01 | 2.100000e+01 | 14.64%| 41.19%
511.56/513.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
511.56/513.25 c 513s| 17600 | 3248 | 2104k| 112.7 | 339M | 22 | 213 |7593 |5407 |6930 | 1 |3466 | 672 | 1.833012e+01 | 2.100000e+01 | 14.57%| 41.54%
513.45/515.17 c 515s| 17700 | 3246 | 2113k| 112.6 | 339M | 22 | 213 |7590 |5400 |6959 | 0 |3468 | 672 | 1.833145e+01 | 2.100000e+01 | 14.56%| 41.87%
515.35/517.02 c 517s| 17800 | 3242 | 2122k| 112.5 | 339M | 22 | 213 |7593 |5399 |6980 | 0 |3472 | 672 | 1.833577e+01 | 2.100000e+01 | 14.53%| 42.19%
518.03/519.77 c 520s| 17900 | 3258 | 2132k| 112.4 | 341M | 22 | 213 |7588 |5399 |7039 | 0 |3479 | 672 | 1.834246e+01 | 2.100000e+01 | 14.49%| 42.37%
519.73/521.40 c 521s| 18000 | 3262 | 2141k| 112.3 | 341M | 22 | 213 |7599 |5399 |7047 | 0 |3492 | 672 | 1.834831e+01 | 2.100000e+01 | 14.45%| 42.62%
521.33/523.08 c 523s| 18100 | 3242 | 2149k| 112.1 | 341M | 22 | 213 |7594 |5397 |7067 | 1 |3494 | 672 | 1.835438e+01 | 2.100000e+01 | 14.41%| 43.03%
523.22/524.98 c 525s| 18200 | 3242 | 2158k| 112.0 | 341M | 22 | 213 |7586 |5400 |7090 | 0 |3496 | 672 | 1.835633e+01 | 2.100000e+01 | 14.40%| 43.30%
524.61/526.35 c 526s| 18300 | 3234 | 2165k| 111.8 | 341M | 22 | 213 |7577 |5398 |7099 | 1 |3503 | 672 | 1.836055e+01 | 2.100000e+01 | 14.38%| 43.60%
526.42/528.13 c 528s| 18400 | 3224 | 2173k| 111.6 | 345M | 22 | 213 |7564 |5398 |7131 | 0 |3504 | 672 | 1.836553e+01 | 2.100000e+01 | 14.34%| 43.91%
528.60/530.37 c 530s| 18500 | 3228 | 2183k| 111.6 | 345M | 22 | 213 |7560 |5399 |7162 | 1 |3508 | 672 | 1.837424e+01 | 2.100000e+01 | 14.29%| 44.25%
530.40/532.18 c 532s| 18600 | 3216 | 2191k| 111.4 | 345M | 22 | 213 |7556 |5406 |7183 | 0 |3514 | 672 | 1.838129e+01 | 2.100000e+01 | 14.25%| 44.58%
531.99/533.73 c 534s| 18700 | 3216 | 2199k| 111.3 | 345M | 22 | 213 |7553 |5405 |7189 | 0 |3520 | 672 | 1.838627e+01 | 2.100000e+01 | 14.22%| 44.90%
533.69/535.42 c 535s| 18800 | 3210 | 2207k| 111.1 | 345M | 22 | 213 |7547 |5408 |7213 | 1 |3520 | 672 | 1.838704e+01 | 2.100000e+01 | 14.21%| 45.22%
534.98/536.79 c 537s| 18900 | 3206 | 2215k| 111.0 | 345M | 22 | 213 |7539 |5398 |7219 | 1 |3521 | 672 | 1.839422e+01 | 2.100000e+01 | 14.17%| 45.48%
536.87/538.69 c 539s| 19000 | 3204 | 2224k| 110.8 | 346M | 22 | 213 |7531 |5398 |7242 | 1 |3525 | 672 | 1.840463e+01 | 2.100000e+01 | 14.10%| 45.77%
538.47/540.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
538.47/540.29 c 540s| 19100 | 3186 | 2232k| 110.7 | 346M | 22 | 213 |7522 |5399 |7257 | 0 |3528 | 672 | 1.840947e+01 | 2.100000e+01 | 14.07%| 46.22%
539.96/541.78 c 542s| 19200 | 3178 | 2240k| 110.6 | 346M | 22 | 213 |7512 |5402 |7270 | 1 |3529 | 672 | 1.841242e+01 | 2.100000e+01 | 14.05%| 46.51%
541.96/543.74 c 544s| 19300 | 3176 | 2249k| 110.4 | 347M | 22 | 213 |7506 |5398 |7296 | 1 |3534 | 672 | 1.842066e+01 | 2.100000e+01 | 14.00%| 46.77%
543.65/545.49 c 545s| 19400 | 3166 | 2258k| 110.3 | 347M | 22 | 213 |7494 |5400 |7322 | 0 |3536 | 672 | 1.842937e+01 | 2.100000e+01 | 13.95%| 47.08%
546.35/548.11 c 548s| 19500 | 3166 | 2268k| 110.3 | 347M | 22 | 213 |7484 |5399 |7376 | 0 |3537 | 672 | 1.843698e+01 | 2.100000e+01 | 13.90%| 47.38%
547.44/549.22 c 549s| 19600 | 3152 | 2275k| 110.1 | 347M | 22 | 213 |7474 |5398 |7376 | 1 |3542 | 672 | 1.843931e+01 | 2.100000e+01 | 13.89%| 47.70%
548.83/550.62 c 551s| 19700 | 3146 | 2282k| 109.9 | 347M | 22 | 213 |7469 |5398 |7386 | 0 |3542 | 672 | 1.844094e+01 | 2.100000e+01 | 13.88%| 47.99%
550.94/552.78 c 553s| 19800 | 3160 | 2293k| 109.9 | 347M | 22 | 213 |7465 |5400 |7409 | 0 |3551 | 672 | 1.845266e+01 | 2.100000e+01 | 13.80%| 48.29%
553.23/555.05 c 555s| 19900 | 3162 | 2303k| 109.9 | 347M | 22 | 213 |7467 |5398 |7441 | 0 |3560 | 672 | 1.845548e+01 | 2.100000e+01 | 13.79%| 48.57%
554.92/556.75 c 557s| 20000 | 3152 | 2311k| 109.7 | 347M | 22 | 213 |7457 |5399 |7459 | 0 |3561 | 672 | 1.846165e+01 | 2.100000e+01 | 13.75%| 48.88%
556.12/557.97 c 558s| 20100 | 3138 | 2319k| 109.6 | 347M | 22 | 213 |7451 |5411 |7460 | 1 |3563 | 672 | 1.846942e+01 | 2.100000e+01 | 13.70%| 49.26%
557.72/559.56 c 560s| 20200 | 3140 | 2327k| 109.4 | 347M | 22 | 213 |7452 |5398 |7469 | 0 |3568 | 672 | 1.847815e+01 | 2.100000e+01 | 13.65%| 49.53%
559.11/560.91 c 561s| 20300 | 3126 | 2335k| 109.3 | 347M | 22 | 213 |7439 |5399 |7478 | 1 |3568 | 672 | 1.847932e+01 | 2.100000e+01 | 13.64%| 49.90%
560.80/562.68 c 563s| 20400 | 3124 | 2343k| 109.2 | 347M | 22 | 213 |7432 |5398 |7494 | 0 |3574 | 672 | 1.848270e+01 | 2.100000e+01 | 13.62%| 50.17%
562.10/563.97 c 564s| 20500 | 3110 | 2351k| 109.0 | 347M | 22 | 213 |7432 |5398 |7500 | 0 |3578 | 672 | 1.849400e+01 | 2.100000e+01 | 13.55%| 50.54%
563.20/565.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
563.20/565.07 c 565s| 20600 | 3098 | 2358k| 108.8 | 347M | 22 | 213 |7418 |5398 |7500 | 0 |3579 | 672 | 1.849540e+01 | 2.100000e+01 | 13.54%| 50.81%
564.69/566.53 c 567s| 20700 | 3094 | 2365k| 108.7 | 347M | 22 | 213 |7414 |5408 |7505 | 0 |3581 | 672 | 1.849825e+01 | 2.100000e+01 | 13.52%| 51.09%
566.98/568.80 c 569s| 20800 | 3096 | 2376k| 108.7 | 347M | 22 | 213 |7409 |5398 |7542 | 1 |3585 | 672 | 1.851018e+01 | 2.100000e+01 | 13.45%| 51.41%
568.08/569.91 c 570s| 20900 | 3080 | 2383k| 108.5 | 347M | 22 | 213 |7403 |5400 |7542 | 1 |3588 | 673 | 1.851323e+01 | 2.100000e+01 | 13.43%| 51.73%
569.87/571.78 c 572s| 21000 | 3062 | 2391k| 108.4 | 347M | 22 | 213 |7395 |5410 |7563 | 1 |3594 | 673 | 1.851723e+01 | 2.100000e+01 | 13.41%| 52.14%
571.57/573.42 c 573s| 21100 | 3052 | 2400k| 108.3 | 347M | 22 | 213 |7383 |5401 |7578 | 1 |3595 | 673 | 1.851787e+01 | 2.100000e+01 | 13.40%| 52.48%
572.66/574.54 c 575s| 21200 | 3032 | 2407k| 108.1 | 347M | 22 | 213 |7371 |5399 |7578 | 1 |3595 | 673 | 1.851879e+01 | 2.100000e+01 | 13.40%| 52.87%
574.06/575.98 c 576s| 21300 | 3024 | 2414k| 108.0 | 347M | 22 | 213 |7377 |5397 |7586 | 1 |3601 | 673 | 1.852872e+01 | 2.100000e+01 | 13.34%| 53.19%
575.85/577.73 c 578s| 21400 | 3024 | 2424k| 107.9 | 347M | 22 | 213 |7376 |5399 |7601 | 1 |3604 | 673 | 1.853184e+01 | 2.100000e+01 | 13.32%| 53.44%
577.75/579.66 c 580s| 21500 | 3022 | 2433k| 107.8 | 347M | 22 | 213 |7377 |5399 |7620 | 1 |3610 | 673 | 1.854196e+01 | 2.100000e+01 | 13.26%| 53.80%
578.94/580.84 c 581s| 21600 | 3018 | 2441k| 107.7 | 347M | 22 | 213 |7375 |5400 |7620 | 1 |3613 | 673 | 1.854265e+01 | 2.100000e+01 | 13.25%| 54.08%
580.55/582.40 c 582s| 21700 | 3006 | 2449k| 107.6 | 347M | 22 | 213 |7371 |5415 |7634 | 1 |3615 | 673 | 1.855007e+01 | 2.100000e+01 | 13.21%| 54.45%
582.15/584.04 c 584s| 21800 | 3002 | 2458k| 107.5 | 347M | 22 | 213 |7364 |5400 |7642 | 1 |3616 | 673 | 1.855279e+01 | 2.100000e+01 | 13.19%| 54.76%
583.34/585.27 c 585s| 21900 | 2988 | 2466k| 107.4 | 347M | 22 | 213 |7364 |5400 |7642 | 0 |3618 | 673 | 1.855611e+01 | 2.100000e+01 | 13.17%| 55.12%
584.53/586.42 c 586s| 22000 | 2978 | 2473k| 107.2 | 347M | 22 | 213 |7356 |5398 |7642 | 0 |3622 | 673 | 1.855698e+01 | 2.100000e+01 | 13.16%| 55.40%
586.03/587.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
586.03/587.92 c 588s| 22100 | 2966 | 2482k| 107.1 | 347M | 22 | 213 |7341 |5400 |7648 | 1 |3624 | 673 | 1.856550e+01 | 2.100000e+01 | 13.11%| 55.77%
587.23/589.19 c 589s| 22200 | 2946 | 2489k| 107.0 | 347M | 22 | 213 |7323 |5398 |7657 | 0 |3624 | 673 | 1.856861e+01 | 2.100000e+01 | 13.09%| 56.08%
588.72/590.64 c 591s| 22300 | 2944 | 2497k| 106.9 | 347M | 22 | 213 |7316 |5400 |7657 | 1 |3631 | 674 | 1.857327e+01 | 2.100000e+01 | 13.07%| 56.37%
589.81/591.75 c 592s| 22400 | 2928 | 2504k| 106.7 | 347M | 22 | 213 |7309 |5405 |7657 | 1 |3633 | 674 | 1.857659e+01 | 2.100000e+01 | 13.05%| 56.63%
591.31/593.27 c 593s| 22500 | 2912 | 2512k| 106.6 | 347M | 22 | 213 |7297 |5400 |7666 | 0 |3633 | 674 | 1.857984e+01 | 2.100000e+01 | 13.03%| 56.94%
592.91/594.84 c 595s| 22600 | 2898 | 2520k| 106.5 | 347M | 22 | 213 |7283 |5398 |7680 | 0 |3637 | 674 | 1.858875e+01 | 2.100000e+01 | 12.97%| 57.26%
594.60/596.58 c 597s| 22700 | 2878 | 2528k| 106.4 | 347M | 22 | 213 |7272 |5401 |7701 | 0 |3637 | 674 | 1.859805e+01 | 2.100000e+01 | 12.92%| 57.63%
596.10/598.03 c 598s| 22800 | 2872 | 2536k| 106.3 | 347M | 22 | 213 |7273 |5400 |7701 | 1 |3640 | 675 | 1.860375e+01 | 2.100000e+01 | 12.88%| 58.00%
597.79/599.73 c 600s| 22900 | 2866 | 2545k| 106.2 | 347M | 22 | 213 |7264 |5407 |7715 | 1 |3641 | 676 | 1.861388e+01 | 2.100000e+01 | 12.82%| 58.34%
599.09/601.04 c 601s| 23000 | 2840 | 2553k| 106.1 | 347M | 22 | 213 |7255 |5398 |7722 | 0 |3641 | 676 | 1.861692e+01 | 2.100000e+01 | 12.80%| 58.76%
600.19/602.17 c 602s| 23100 | 2828 | 2560k| 105.9 | 347M | 22 | 213 |7241 |5398 |7722 | 1 |3641 | 676 | 1.861698e+01 | 2.100000e+01 | 12.80%| 59.04%
601.88/603.81 c 604s| 23200 | 2814 | 2568k| 105.8 | 347M | 22 | 213 |7225 |5417 |7741 | 0 |3642 | 676 | 1.862861e+01 | 2.100000e+01 | 12.73%| 59.38%
603.27/605.25 c 605s| 23300 | 2804 | 2577k| 105.8 | 347M | 22 | 213 |7213 |5400 |7741 | 0 |3646 | 677 | 1.863739e+01 | 2.100000e+01 | 12.68%| 59.69%
604.47/606.46 c 606s| 23400 | 2794 | 2585k| 105.6 | 347M | 22 | 213 |7207 |5398 |7741 | 0 |3648 | 677 | 1.863880e+01 | 2.100000e+01 | 12.67%| 60.00%
605.56/607.58 c 608s| 23500 | 2770 | 2592k| 105.5 | 347M | 22 | 213 |7202 |5398 |7741 | 0 |3648 | 677 | 1.864100e+01 | 2.100000e+01 | 12.65%| 60.40%
607.06/609.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
607.06/609.01 c 609s| 23600 | 2760 | 2600k| 105.4 | 347M | 22 | 213 |7189 |5406 |7747 | 1 |3648 | 677 | 1.864351e+01 | 2.100000e+01 | 12.64%| 60.78%
608.26/610.28 c 610s| 23700 | 2730 | 2607k| 105.3 | 347M | 22 | 213 |7172 |5401 |7753 | 0 |3650 | 677 | 1.865696e+01 | 2.100000e+01 | 12.56%| 61.24%
609.85/611.80 c 612s| 23800 | 2736 | 2614k| 105.1 | 347M | 22 | 213 |7173 |5399 |7761 | 1 |3653 | 677 | 1.866223e+01 | 2.100000e+01 | 12.53%| 61.45%
610.85/612.84 c 613s| 23900 | 2722 | 2621k| 105.0 | 347M | 22 | 213 |7171 |5399 |7761 | 0 |3653 | 677 | 1.866293e+01 | 2.100000e+01 | 12.52%| 61.72%
612.44/614.41 c 614s| 24000 | 2700 | 2630k| 104.9 | 347M | 22 | 213 |7164 |5424 |7774 | 0 |3653 | 677 | 1.867290e+01 | 2.100000e+01 | 12.46%| 62.08%
613.64/615.61 c 616s| 24100 | 2686 | 2637k| 104.8 | 347M | 22 | 213 |7157 |5399 |7774 | 0 |3655 | 677 | 1.867440e+01 | 2.100000e+01 | 12.45%| 62.45%
614.74/616.76 c 617s| 24200 | 2670 | 2644k| 104.7 | 347M | 22 | 213 |7155 |5400 |7774 | 1 |3655 | 677 | 1.867832e+01 | 2.100000e+01 | 12.43%| 62.80%
616.33/618.37 c 618s| 24300 | 2658 | 2653k| 104.6 | 347M | 22 | 213 |7152 |5399 |7785 | 0 |3659 | 677 | 1.868870e+01 | 2.100000e+01 | 12.37%| 63.10%
617.53/619.51 c 620s| 24400 | 2632 | 2660k| 104.4 | 347M | 22 | 213 |7138 |5400 |7785 | 1 |3660 | 677 | 1.869015e+01 | 2.100000e+01 | 12.36%| 63.49%
618.72/620.78 c 621s| 24500 | 2614 | 2668k| 104.3 | 347M | 22 | 213 |7129 |5400 |7786 | 1 |3660 | 677 | 1.869996e+01 | 2.100000e+01 | 12.30%| 63.93%
620.62/622.63 c 623s| 24600 | 2606 | 2678k| 104.3 | 347M | 22 | 213 |7131 |5416 |7803 | 1 |3665 | 677 | 1.870306e+01 | 2.100000e+01 | 12.28%| 64.25%
621.71/623.71 c 624s| 24700 | 2588 | 2684k| 104.2 | 347M | 22 | 213 |7125 |5401 |7803 | 0 |3665 | 677 | 1.870601e+01 | 2.100000e+01 | 12.26%| 64.55%
622.91/624.98 c 625s| 24800 | 2562 | 2692k| 104.1 | 347M | 22 | 213 |7096 |5400 |7803 | 0 |3665 | 677 | 1.871294e+01 | 2.100000e+01 | 12.22%| 64.99%
624.30/626.36 c 626s| 24900 | 2550 | 2700k| 104.0 | 347M | 22 | 213 |7087 |5400 |7811 | 0 |3667 | 677 | 1.871776e+01 | 2.100000e+01 | 12.19%| 65.32%
625.60/627.62 c 628s| 25000 | 2534 | 2707k| 103.9 | 347M | 22 | 213 |7087 |5400 |7811 | 0 |3668 | 678 | 1.872379e+01 | 2.100000e+01 | 12.16%| 65.62%
627.10/629.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
627.10/629.17 c 629s| 25100 | 2520 | 2716k| 103.8 | 347M | 22 | 213 |7088 |5399 |7821 | 0 |3671 | 678 | 1.873031e+01 | 2.100000e+01 | 12.12%| 66.01%
628.49/630.55 c 631s| 25200 | 2486 | 2724k| 103.7 | 347M | 22 | 213 |7081 |5399 |7831 | 1 |3671 | 678 | 1.873298e+01 | 2.100000e+01 | 12.10%| 66.47%
629.99/632.01 c 632s| 25300 | 2464 | 2732k| 103.6 | 347M | 22 | 213 |7080 |5400 |7837 | 1 |3674 | 678 | 1.874867e+01 | 2.100000e+01 | 12.01%| 66.85%
631.48/633.52 c 634s| 25400 | 2444 | 2740k| 103.5 | 347M | 22 | 213 |7071 |5401 |7844 | 0 |3675 | 678 | 1.875425e+01 | 2.100000e+01 | 11.97%| 67.24%
632.68/634.74 c 635s| 25500 | 2430 | 2747k| 103.4 | 347M | 22 | 213 |7067 |5404 |7844 | 0 |3675 | 678 | 1.875804e+01 | 2.100000e+01 | 11.95%| 67.57%
633.87/635.91 c 636s| 25600 | 2416 | 2755k| 103.3 | 347M | 22 | 213 |7065 |5400 |7844 | 0 |3677 | 678 | 1.876236e+01 | 2.100000e+01 | 11.93%| 67.89%
634.97/637.08 c 637s| 25700 | 2406 | 2762k| 103.2 | 347M | 22 | 213 |7063 |5402 |7844 | 0 |3679 | 678 | 1.876335e+01 | 2.100000e+01 | 11.92%| 68.18%
636.16/638.24 c 638s| 25800 | 2384 | 2769k| 103.1 | 347M | 22 | 213 |7053 |5399 |7844 | 0 |3681 | 679 | 1.876890e+01 | 2.100000e+01 | 11.89%| 68.56%
637.66/639.76 c 640s| 25900 | 2370 | 2778k| 103.0 | 347M | 22 | 213 |7034 |5399 |7858 | 0 |3681 | 679 | 1.877959e+01 | 2.100000e+01 | 11.82%| 68.98%
638.96/641.03 c 641s| 26000 | 2344 | 2785k| 102.9 | 347M | 22 | 213 |7024 |5398 |7858 | 0 |3681 | 679 | 1.878899e+01 | 2.100000e+01 | 11.77%| 69.36%
640.45/642.54 c 643s| 26100 | 2314 | 2793k| 102.8 | 347M | 22 | 213 |7015 |5400 |7864 | 1 |3681 | 679 | 1.879237e+01 | 2.100000e+01 | 11.75%| 69.83%
641.95/644.08 c 644s| 26200 | 2292 | 2801k| 102.7 | 347M | 22 | 213 |7010 |5399 |7878 | 0 |3684 | 680 | 1.880214e+01 | 2.100000e+01 | 11.69%| 70.24%
643.05/645.16 c 645s| 26300 | 2262 | 2808k| 102.6 | 347M | 22 | 213 |6992 |5399 |7878 | 0 |3684 | 680 | 1.880313e+01 | 2.100000e+01 | 11.68%| 70.64%
644.55/646.68 c 647s| 26400 | 2244 | 2816k| 102.5 | 347M | 22 | 213 |6975 |5412 |7891 | 0 |3684 | 680 | 1.880844e+01 | 2.100000e+01 | 11.65%| 71.06%
645.84/647.96 c 648s| 26500 | 2216 | 2823k| 102.4 | 347M | 22 | 213 |6967 |5408 |7898 | 0 |3684 | 680 | 1.881355e+01 | 2.100000e+01 | 11.62%| 71.44%
647.04/649.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
647.04/649.19 c 649s| 26600 | 2190 | 2831k| 102.3 | 347M | 22 | 213 |6948 |5400 |7898 | 1 |3685 | 680 | 1.882770e+01 | 2.100000e+01 | 11.54%| 71.88%
648.24/650.30 c 650s| 26700 | 2164 | 2837k| 102.2 | 347M | 22 | 213 |6939 |5405 |7898 | 1 |3685 | 680 | 1.883202e+01 | 2.100000e+01 | 11.51%| 72.28%
649.43/651.53 c 652s| 26800 | 2144 | 2844k| 102.1 | 347M | 22 | 213 |6930 |5398 |7904 | 1 |3685 | 680 | 1.883473e+01 | 2.100000e+01 | 11.50%| 72.63%
650.63/652.71 c 653s| 26900 | 2130 | 2852k| 102.0 | 347M | 22 | 213 |6930 |5398 |7904 | 0 |3687 | 680 | 1.884713e+01 | 2.100000e+01 | 11.42%| 72.92%
651.93/654.01 c 654s| 27000 | 2094 | 2859k| 101.9 | 347M | 22 | 213 |6910 |5401 |7912 | 0 |3687 | 680 | 1.884954e+01 | 2.100000e+01 | 11.41%| 73.35%
653.42/655.54 c 656s| 27100 | 2074 | 2868k| 101.8 | 347M | 22 | 213 |6914 |5398 |7920 | 0 |3692 | 680 | 1.885611e+01 | 2.100000e+01 | 11.37%| 73.80%
654.61/656.72 c 657s| 27200 | 2040 | 2875k| 101.7 | 347M | 22 | 213 |6912 |5399 |7920 | 0 |3692 | 680 | 1.886526e+01 | 2.100000e+01 | 11.32%| 74.21%
655.71/657.89 c 658s| 27300 | 2012 | 2882k| 101.6 | 347M | 22 | 213 |6907 |5397 |7920 | 1 |3692 | 680 | 1.887743e+01 | 2.100000e+01 | 11.24%| 74.65%
656.91/659.06 c 659s| 27400 | 1982 | 2890k| 101.5 | 347M | 22 | 213 |6897 |5399 |7920 | 0 |3692 | 680 | 1.888882e+01 | 2.100000e+01 | 11.18%| 75.07%
658.40/660.55 c 661s| 27500 | 1958 | 2898k| 101.4 | 348M | 22 | 213 |6892 |5401 |7929 | 0 |3693 | 680 | 1.889295e+01 | 2.100000e+01 | 11.15%| 75.51%
659.90/662.01 c 662s| 27600 | 1930 | 2906k| 101.4 | 348M | 22 | 213 |6880 |5407 |7935 | 1 |3693 | 680 | 1.890099e+01 | 2.100000e+01 | 11.11%| 75.95%
661.19/663.35 c 663s| 27700 | 1902 | 2914k| 101.3 | 348M | 22 | 213 |6863 |5398 |7942 | 0 |3694 | 681 | 1.890738e+01 | 2.100000e+01 | 11.07%| 76.32%
662.49/664.69 c 665s| 27800 | 1880 | 2921k| 101.2 | 348M | 22 | 213 |6855 |5399 |7948 | 0 |3694 | 681 | 1.891007e+01 | 2.100000e+01 | 11.05%| 76.71%
663.78/665.97 c 666s| 27900 | 1840 | 2928k| 101.1 | 348M | 22 | 213 |6848 |5417 |7955 | 0 |3694 | 681 | 1.891812e+01 | 2.100000e+01 | 11.00%| 77.19%
665.48/667.66 c 668s| 28000 | 1806 | 2937k| 101.0 | 350M | 22 | 213 |6836 |5400 |7973 | 0 |3694 | 681 | 1.892516e+01 | 2.100000e+01 | 10.96%| 77.66%
666.57/668.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
666.57/668.74 c 669s| 28100 | 1774 | 2944k| 100.9 | 350M | 22 | 213 |6828 |5399 |7973 | 0 |3694 | 681 | 1.892818e+01 | 2.100000e+01 | 10.95%| 78.06%
667.77/669.93 c 670s| 28200 | 1746 | 2951k| 100.8 | 350M | 22 | 213 |6820 |5418 |7973 | 1 |3695 | 682 | 1.893037e+01 | 2.100000e+01 | 10.93%| 78.50%
668.87/671.08 c 671s| 28300 | 1716 | 2958k| 100.7 | 350M | 22 | 213 |6808 |5398 |7973 | 0 |3695 | 682 | 1.893538e+01 | 2.100000e+01 | 10.90%| 78.92%
670.46/672.66 c 673s| 28400 | 1678 | 2966k| 100.6 | 353M | 22 | 213 |6799 |5399 |7990 | 0 |3695 | 682 | 1.894123e+01 | 2.100000e+01 | 10.87%| 79.44%
671.56/673.74 c 674s| 28500 | 1632 | 2972k| 100.5 | 353M | 22 | 213 |6788 |5398 |7990 | 0 |3695 | 682 | 1.894671e+01 | 2.100000e+01 | 10.84%| 79.94%
672.75/674.99 c 675s| 28600 | 1594 | 2980k| 100.4 | 353M | 22 | 213 |6779 |5398 |7990 | 0 |3697 | 682 | 1.896530e+01 | 2.100000e+01 | 10.73%| 80.43%
674.25/676.47 c 676s| 28700 | 1554 | 2987k| 100.4 | 353M | 22 | 213 |6770 |5398 |7998 | 0 |3701 | 682 | 1.897448e+01 | 2.100000e+01 | 10.67%| 80.96%
675.44/677.64 c 678s| 28800 | 1522 | 2994k| 100.3 | 353M | 22 | 213 |6760 |5444 |7998 | 1 |3701 | 682 | 1.898182e+01 | 2.100000e+01 | 10.63%| 81.42%
676.54/678.73 c 679s| 28900 | 1486 | 3001k| 100.2 | 353M | 22 | 213 |6753 |5405 |7998 | 0 |3701 | 682 | 1.898673e+01 | 2.100000e+01 | 10.60%| 81.83%
677.64/679.86 c 680s| 29000 | 1460 | 3008k| 100.1 | 353M | 22 | 213 |6739 |5422 |7998 | 0 |3701 | 682 | 1.899507e+01 | 2.100000e+01 | 10.56%| 82.19%
679.03/681.25 c 681s| 29100 | 1432 | 3016k| 100.0 | 355M | 22 | 213 |6724 |5398 |8005 | 1 |3701 | 682 | 1.900229e+01 | 2.100000e+01 | 10.51%| 82.65%
680.43/682.65 c 683s| 29200 | 1394 | 3024k| 99.9 | 355M | 22 | 213 |6716 |5406 |8013 | 1 |3701 | 682 | 1.901297e+01 | 2.100000e+01 | 10.45%| 83.21%
681.53/683.74 c 684s| 29300 | 1358 | 3031k| 99.8 | 355M | 22 | 213 |6705 |5402 |8013 | 0 |3701 | 682 | 1.902641e+01 | 2.100000e+01 | 10.37%| 83.63%
682.62/684.87 c 685s| 29400 | 1316 | 3037k| 99.7 | 355M | 22 | 213 |6693 |5399 |8013 | 0 |3701 | 682 | 1.904232e+01 | 2.100000e+01 | 10.28%| 84.10%
683.82/686.04 c 686s| 29500 | 1274 | 3044k| 99.6 | 355M | 22 | 213 |6679 |5400 |8015 | 0 |3701 | 682 | 1.905050e+01 | 2.100000e+01 | 10.23%| 84.59%
684.92/687.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
684.92/687.13 c 687s| 29600 | 1234 | 3051k| 99.5 | 355M | 22 | 213 |6662 |5399 |8015 | 0 |3701 | 682 | 1.906973e+01 | 2.100000e+01 | 10.12%| 85.08%
686.01/688.22 c 688s| 29700 | 1186 | 3057k| 99.4 | 355M | 22 | 213 |6646 |5399 |8015 | 0 |3701 | 682 | 1.907472e+01 | 2.100000e+01 | 10.09%| 85.62%
687.11/689.32 c 689s| 29800 | 1136 | 3064k| 99.3 | 355M | 22 | 213 |6635 |5400 |8015 | 0 |3701 | 682 | 1.908058e+01 | 2.100000e+01 | 10.06%| 86.10%
688.30/690.50 c 691s| 29900 | 1094 | 3071k| 99.2 | 355M | 22 | 213 |6621 |5407 |8015 | 0 |3701 | 682 | 1.909062e+01 | 2.100000e+01 | 10.00%| 86.68%
689.40/691.65 c 692s| 30000 | 1044 | 3078k| 99.1 | 355M | 22 | 213 |6610 |5413 |8015 | 0 |3701 | 682 | 1.909362e+01 | 2.100000e+01 | 9.98%| 87.25%
690.60/692.81 c 693s| 30100 | 994 | 3085k| 99.0 | 355M | 22 | 213 |6598 |5401 |8015 | 0 |3701 | 682 | 1.911106e+01 | 2.100000e+01 | 9.88%| 87.81%
691.99/694.20 c 694s| 30200 | 944 | 3092k| 98.9 | 355M | 22 | 213 |6583 |5414 |8027 | 0 |3701 | 682 | 1.912711e+01 | 2.100000e+01 | 9.79%| 88.38%
693.10/695.33 c 695s| 30300 | 890 | 3099k| 98.8 | 355M | 22 | 213 |6571 |5399 |8027 | 0 |3701 | 682 | 1.913467e+01 | 2.100000e+01 | 9.75%| 88.99%
694.19/696.44 c 696s| 30400 | 840 | 3105k| 98.7 | 355M | 22 | 213 |6560 |5455 |8027 | 0 |3701 | 682 | 1.914642e+01 | 2.100000e+01 | 9.68%| 89.54%
695.69/697.91 c 698s| 30500 | 798 | 3114k| 98.6 | 355M | 22 | 213 |6552 |5405 |8035 | 0 |3701 | 682 | 1.916604e+01 | 2.100000e+01 | 9.57%| 90.07%
696.79/699.02 c 699s| 30600 | 752 | 3120k| 98.5 | 355M | 22 | 213 |6541 |5412 |8035 | 0 |3701 | 682 | 1.919483e+01 | 2.100000e+01 | 9.40%| 90.59%
697.89/700.19 c 700s| 30700 | 702 | 3127k| 98.4 | 355M | 22 | 213 |6529 |5399 |8035 | 0 |3701 | 682 | 1.921118e+01 | 2.100000e+01 | 9.31%| 91.12%
699.08/701.34 c 701s| 30800 | 646 | 3134k| 98.3 | 355M | 22 | 213 |6516 |5444 |8035 | 0 |3701 | 682 | 1.922531e+01 | 2.100000e+01 | 9.23%| 91.78%
700.27/702.51 c 703s| 30900 | 592 | 3141k| 98.3 | 355M | 22 | 213 |6502 |5400 |8035 | 0 |3701 | 682 | 1.924689e+01 | 2.100000e+01 | 9.11%| 92.44%
701.37/703.63 c 704s| 31000 | 528 | 3147k| 98.1 | 355M | 22 | 213 |6492 |5410 |8035 | 0 |3701 | 682 | 1.925650e+01 | 2.100000e+01 | 9.05%| 93.18%
702.36/704.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
702.36/704.63 c 705s| 31100 | 466 | 3153k| 98.0 | 355M | 22 | 213 |6475 |5423 |8035 | 1 |3701 | 682 | 1.927165e+01 | 2.100000e+01 | 8.97%| 93.88%
703.66/705.94 c 706s| 31200 | 410 | 3160k| 97.9 | 358M | 22 | 213 |6463 |5440 |8041 | 1 |3701 | 682 | 1.928982e+01 | 2.100000e+01 | 8.87%| 94.59%
704.76/707.05 c 707s| 31300 | 350 | 3167k| 97.8 | 358M | 22 | 213 |6455 |5418 |8041 | 1 |3701 | 682 | 1.931283e+01 | 2.100000e+01 | 8.74%| 95.33%
705.76/708.08 c 708s| 31400 | 283 | 3172k| 97.7 | 358M | 22 | 213 |6444 |5419 |8041 | 0 |3701 | 682 | 1.932326e+01 | 2.100000e+01 | 8.68%| 96.10%
707.05/709.35 c 709s| 31500 | 216 | 3180k| 97.6 | 358M | 22 | 213 |6430 |5440 |8041 | 0 |3701 | 682 | 1.934715e+01 | 2.100000e+01 | 8.54%| 97.00%
708.14/710.47 c 710s| 31600 | 144 | 3186k| 97.5 | 358M | 22 | 213 |6419 |5399 |8041 | 0 |3701 | 682 | 1.938412e+01 | 2.100000e+01 | 8.34%| 97.84%
709.44/711.70 c 712s| 31700 | 66 | 3193k| 97.4 | 358M | 22 | 213 |6408 |5465 |8041 | 0 |3701 | 682 | 1.941665e+01 | 2.100000e+01 | 8.15%| 98.88%
710.44/712.74 c
710.44/712.74 c SCIP Status : problem is solved [optimal solution found]
710.44/712.74 c Solving Time (sec) : 712.74
710.44/712.74 c Solving Nodes : 31788 (total of 32823 nodes in 2 runs)
710.44/712.74 c Primal Bound : +2.10000000000000e+01 (1048 solutions)
710.44/712.74 c Dual Bound : +2.10000000000000e+01
710.44/712.74 c Gap : 0.00 %
710.44/712.74 s OPTIMUM FOUND
710.44/712.74 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
710.44/712.74 v -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 x172
710.44/712.74 v -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150
710.44/712.74 v x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 x130 -x129 -x128
710.44/712.74 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 x109 -x108 x107
710.44/712.74 v -x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
710.44/712.74 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58
710.44/712.74 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33
710.44/712.74 v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8
710.44/712.74 v -x7 -x6 -x5 -x4 -x3 -x2 -x1
710.44/712.74 c SCIP Status : problem is solved [optimal solution found]
710.44/712.74 c Total Time : 712.74
710.44/712.74 c solving : 712.74
710.44/712.74 c presolving : 0.23 (included in solving)
710.44/712.74 c reading : 0.02 (included in solving)
710.44/712.74 c copying : 0.11 (10 #copies) (minimal 0.01, maximal 0.02, average 0.01)
710.44/712.74 c Original Problem :
710.44/712.74 c Problem name : HOME/instance-4459196-1721873668.opb
710.44/712.74 c Variables : 214 (214 binary, 0 integer, 0 implicit integer, 0 continuous)
710.44/712.74 c Constraints : 5375 initial, 5375 maximal
710.44/712.74 c Objective : minimize, 214 non-zeros (abs.min = 1, abs.max = 1)
710.44/712.74 c Presolved Problem :
710.44/712.74 c Problem name : t_HOME/instance-4459196-1721873668.opb
710.44/712.74 c Variables : 213 (213 binary, 0 integer, 0 implicit integer, 0 continuous)
710.44/712.74 c Constraints : 5646 initial, 7649 maximal
710.44/712.74 c Objective : minimize, 213 non-zeros (abs.min = 1, abs.max = 1)
710.44/712.74 c Nonzeros : 66297 constraint, 0 clique table
710.44/712.74 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
710.44/712.74 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c domcol : 0.01 0.00 3 1 0 0 0 0 0 0 0 0
710.44/712.74 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c dualsparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
710.44/712.74 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
710.44/712.74 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c milp : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
710.44/712.74 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
710.44/712.74 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
710.44/712.74 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
710.44/712.74 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
710.44/712.74 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
710.44/712.74 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
710.44/712.74 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c knapsack : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
710.44/712.74 c linear : 0.02 0.01 9 0 0 0 0 0 0 0 0 0
710.44/712.74 c logicor : 0.06 0.03 15 0 0 0 0 0 16 0 0 107
710.44/712.74 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
710.44/712.74 c root node : - - - 112 - - 112 - - - - -
710.44/712.74 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
710.44/712.74 c benderslp : 0 0 0 0 18894 0 0 1192 0 0 0 0 0 0 0
710.44/712.74 c integral : 0 0 0 0 18894 0 0 1192 0 0 140 0 0 129 37562
710.44/712.74 c knapsack : 8 8 17 109442 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c linear : 19 19 17 108578 0 0 0 2 0 0 0 0 0 0 0
710.44/712.74 c logicor : 5619+ 7622 45 112353 1 0 0 1186 3057 806 136 0 0 0 0
710.44/712.74 c benders : 0 0 0 0 1 0 0 1128 0 0 0 0 0 0 0
710.44/712.74 c fixedvar : 0 0 0 0 1 0 0 1128 0 0 0 0 0 0 0
710.44/712.74 c countsols : 0 0 0 0 1 0 0 1128 0 0 0 0 0 0 0
710.44/712.74 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
710.44/712.74 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c integral : 23.94 0.00 0.00 0.00 23.93 0.00 0.00 0.01 0.00 0.00
710.44/712.74 c knapsack : 0.61 0.00 0.11 0.50 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c linear : 0.51 0.01 0.20 0.31 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c logicor : 9.33 0.03 0.04 9.14 0.00 0.00 0.00 0.10 0.00 0.01
710.44/712.74 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c Propagators : #Propagate #ResProp Cutoffs DomReds
710.44/712.74 c dualfix : 4 0 0 0
710.44/712.74 c genvbounds : 0 0 0 0
710.44/712.74 c nlobbt : 0 0 0 0
710.44/712.74 c obbt : 0 0 0 0
710.44/712.74 c probing : 0 0 0 0
710.44/712.74 c pseudoobj : 64575 0 0 0
710.44/712.74 c redcost : 59190 0 0 656641
710.44/712.74 c rootredcost : 4 0 0 0
710.44/712.74 c symmetry : 0 0 0 0
710.44/712.74 c vbounds : 0 0 0 0
710.44/712.74 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
710.44/712.74 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
710.44/712.74 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
710.44/712.74 c pseudoobj : 0.10 0.00 0.00 0.10 0.00 0.00
710.44/712.74 c redcost : 3.44 0.00 0.00 3.44 0.00 0.00
710.44/712.74 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
710.44/712.74 c symmetry : 0.05 0.00 0.01 0.05 0.00 0.00
710.44/712.74 c vbounds : 0.04 0.00 0.00 0.04 0.00 0.00
710.44/712.74 c Symmetry :
710.44/712.74 c orbitopal red. : 0 reductions applied, 0 cutoffs
710.44/712.74 c orbital reduction: 0 reductions applied, 0 cutoffs
710.44/712.74 c lexicographic red: 0 reductions applied, 0 cutoffs
710.44/712.74 c shadow tree time : 0.00 s
710.44/712.74 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
710.44/712.74 c propagation : 0.00 806 385 - 478 25.3 0 0.0 - - -
710.44/712.74 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
710.44/712.74 c bound exceed. LP : 4.59 5416 2724 - 3316 22.9 0 0.0 0 0.0 26484
710.44/712.74 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
710.44/712.74 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
710.44/712.74 c applied globally : 0.00 - - 0 3394 21.6 - - 0 - -
710.44/712.74 c applied locally : - - - 0 307 38.0 - - 0 - -
710.44/712.74 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
710.44/712.74 c cut pool : 27.65 - 14497 80 - - 293176 777065 - - - - - (maximal pool size: 4062)
710.44/712.74 c aggregation : 58.54 0.00 8792 45 0 0 0 0 0 0 0 0 0
710.44/712.74 c > cmir : - - - - - - - 0 0 0 0 0 -
710.44/712.74 c > flowcover : - - - - - - - 0 0 0 0 0 -
710.44/712.74 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
710.44/712.74 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
710.44/712.74 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c gomory : 38.61 0.00 5675 20 0 0 287596 761040 100 7726 7724 2 0
710.44/712.74 c > gomorymi : - - - - - - - 510695 68 5846 5844 2 -
710.44/712.74 c > strongcg : - - - - - - - 250345 32 1880 1880 0 -
710.44/712.74 c impliedbounds : 0.07 0.00 8792 45 0 0 0 0 0 0 0 0 0
710.44/712.74 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
710.44/712.74 c minor : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c multilinear : 0.00 0.00 1596 45 0 0 0 0 0 0 0 0 0
710.44/712.74 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
710.44/712.74 c rlt : 0.01 0.00 1154 20 0 0 0 0 0 0 0 0 0
710.44/712.74 c zerohalf : 11.73 0.00 5692 37 0 0 5690 16025 10 1207 1205 2 0
710.44/712.74 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
710.44/712.74 c hybrid : 1.39 0.00 8799 46 8933 0 768242 47 0 14264
710.44/712.74 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c Pricers : ExecTime SetupTime Calls Vars
710.44/712.74 c problem variables: 0.00 - 0 0
710.44/712.74 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
710.44/712.74 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c random : 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c relpscost : 23.91 0.00 18893 0 0 0 140 0 129 37562
710.44/712.74 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
710.44/712.74 c Primal Heuristics : ExecTime SetupTime Calls Found Best
710.44/712.74 c LP solutions : 0.01 - - 1 1
710.44/712.74 c relax solutions : 0.00 - - 0 0
710.44/712.74 c pseudo solutions : 0.00 - - 0 0
710.44/712.74 c strong branching : 0.06 - - 294 0
710.44/712.74 c actconsdiving : 0.00 0.00 0 0 0
710.44/712.74 c adaptivediving : 1.21 0.00 68 0 0
710.44/712.74 c alns : 0.14 0.00 4 0 0
710.44/712.74 c bound : 0.00 0.00 0 0 0
710.44/712.74 c clique : 0.00 0.00 0 0 0
710.44/712.74 c coefdiving : 0.00 0.00 0 0 0
710.44/712.74 c completesol : 0.00 0.00 0 0 0
710.44/712.74 c conflictdiving : 4.40 0.00 395 0 0
710.44/712.74 c crossover : 0.15 0.00 2 2 1
710.44/712.74 c dins : 0.00 0.00 0 0 0
710.44/712.74 c distributiondivin: 33.68 0.00 396 0 0
710.44/712.74 c dps : 0.00 0.00 0 0 0
710.44/712.74 c dualval : 0.00 0.00 0 0 0
710.44/712.74 c farkasdiving : 0.00 0.00 0 0 0
710.44/712.74 c feasjump : 0.00 0.00 0 0 0
710.44/712.74 c feaspump : 0.00 0.00 0 0 0
710.44/712.74 c fixandinfer : 0.00 0.00 0 0 0
710.44/712.74 c fracdiving : 5.80 0.00 396 0 0
710.44/712.74 c gins : 0.02 0.00 0 0 0
710.44/712.74 c guideddiving : 5.63 0.00 371 0 0
710.44/712.74 c indcoefdiving : 0.00 0.00 0 0 0
710.44/712.74 c indicator : 0.01 0.00 0 0 0
710.44/712.74 c indicatordiving : 0.00 0.00 0 0 0
710.44/712.74 c indoneopt : 0.02 0.00 0 0 0
710.44/712.74 c indrounding : 0.00 0.00 0 0 0
710.44/712.74 c indtwoopt : 0.00 0.00 0 0 0
710.44/712.74 c intdiving : 0.00 0.00 0 0 0
710.44/712.74 c intshifting : 0.00 0.00 0 0 0
710.44/712.74 c linesearchdiving : 6.87 0.00 395 0 0
710.44/712.74 c localbranching : 0.00 0.00 0 0 0
710.44/712.74 c locks : 0.02 0.00 1 1 1
710.44/712.74 c lpface : 0.01 0.00 0 0 0
710.44/712.74 c mpec : 0.00 0.00 0 0 0
710.44/712.74 c multistart : 0.00 0.00 0 0 0
710.44/712.74 c mutation : 0.00 0.00 0 0 0
710.44/712.74 c nlpdiving : 0.00 0.00 0 0 0
710.44/712.74 c objpscostdiving : 3.71 0.00 7 74 0
710.44/712.74 c octane : 0.00 0.00 0 0 0
710.44/712.74 c ofins : 0.01 0.00 0 0 0
710.44/712.74 c oneopt : 0.03 0.00 4 1 1
710.44/712.74 c padm : 0.00 0.00 0 0 0
710.44/712.74 c proximity : 0.00 0.00 0 0 0
710.44/712.74 c pscostdiving : 10.71 0.00 396 2 0
710.44/712.74 c randrounding : 0.09 0.00 59 0 0
710.44/712.74 c rens : 16.33 0.00 2 2 1
710.44/712.74 c reoptsols : 0.00 0.00 0 0 0
710.44/712.74 c repair : 0.00 0.00 0 0 0
710.44/712.74 c rins : 2.05 0.00 2 2 0
710.44/712.74 c rootsoldiving : 0.60 0.00 9 0 0
710.44/712.74 c rounding : 0.52 0.00 2203 0 0
710.44/712.74 c scheduler : 0.00 0.00 0 0 0
710.44/712.74 c shiftandpropagate: 0.00 0.00 0 0 0
710.44/712.74 c shifting : 0.60 0.00 1124 0 0
710.44/712.74 c simplerounding : 0.35 0.00 27694 109 0
710.44/712.74 c smallcard : 0.00 0.00 0 0 0
710.44/712.74 c subnlp : 0.02 0.00 0 0 0
710.44/712.74 c trivial : 0.00 0.00 4 2 2
710.44/712.74 c trivialnegation : 0.00 0.00 0 0 0
710.44/712.74 c trustregion : 0.00 0.00 0 0 0
710.44/712.74 c trysol : 0.01 0.00 0 0 0
710.44/712.74 c twoopt : 0.00 0.00 0 0 0
710.44/712.74 c undercover : 0.00 0.00 0 0 0
710.44/712.74 c vbounds : 0.00 0.00 0 0 0
710.44/712.74 c veclendiving : 4.42 0.00 396 0 0
710.44/712.74 c zeroobj : 0.00 0.00 0 0 0
710.44/712.74 c zirounding : 13.01 0.00 18781 558 0
710.44/712.74 c other solutions : - - - 0 -
710.44/712.74 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
710.44/712.74 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
710.44/712.74 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
710.44/712.74 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
710.44/712.74 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
710.44/712.74 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
710.44/712.74 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
710.44/712.74 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
710.44/712.74 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
710.44/712.74 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
710.44/712.74 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
710.44/712.74 c primal LP : 2.79 2644 0 0.00 0.00 2.79 2644
710.44/712.74 c dual LP : 390.37 54512 2931571 70.25 7509.66 13.99 12782
710.44/712.74 c lex dual LP : 0.00 0 0 0.00 -
710.44/712.74 c barrier LP : 0.00 0 0 0.00 - 0.00 0
710.44/712.74 c resolve instable : 0.00 0 0 0.00 -
710.44/712.74 c diving/probing LP: 39.80 6340 268019 42.27 6734.40
710.44/712.74 c strong branching : 21.21 682 152864 224.14 7206.74 - - 8
710.44/712.74 c (at root node) : - 24 14198 591.58 -
710.44/712.74 c conflict analysis: 3.99 2649 26484 10.00 6630.40
710.44/712.74 c B&B Tree :
710.44/712.74 c number of runs : 2
710.44/712.74 c nodes : 31788 (17827 internal, 13961 leaves)
710.44/712.74 c feasible leaves : 1
710.44/712.74 c infeas. leaves : 1
710.44/712.74 c objective leaves : 13959
710.44/712.74 c nodes (total) : 32823 (18781 internal, 14042 leaves)
710.44/712.74 c nodes left : 0
710.44/712.74 c max depth : 22
710.44/712.74 c max depth (total): 22
710.44/712.74 c backtracks : 11857 (37.3%)
710.44/712.74 c early backtracks : 0 (0.0%)
710.44/712.74 c nodes exc. ref. : 0 (0.0%)
710.44/712.74 c delayed cutoffs : 2
710.44/712.74 c repropagations : 114 (65 domain reductions, 1 cutoffs)
710.44/712.74 c avg switch length: 8.00
710.44/712.74 c switching time : 10.53
710.44/712.74 c Root Node :
710.44/712.74 c First LP value : +1.34606085147190e+01
710.44/712.74 c First LP Iters : 791 (6978.51 Iter/sec)
710.44/712.74 c First LP Time : 0.11
710.44/712.74 c Final Dual Bound : +1.61901813065410e+01
710.44/712.74 c Final Root Iters : 3852
710.44/712.74 c Root LP Estimate : +2.27085481415393e+01
710.44/712.74 c Solution :
710.44/712.74 c Solutions found : 1048 (7 improvements)
710.44/712.74 c First Solution : +2.14000000000000e+02 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
710.44/712.74 c Gap First Sol. : infinite
710.44/712.74 c Gap Last Sol. : 15.11 %
710.44/712.74 c Primal Bound : +2.10000000000000e+01 (in run 2, after 16150 nodes, 487.24 seconds, depth 18, found by <relaxation>)
710.44/712.74 c Dual Bound : +2.10000000000000e+01
710.44/712.74 c Gap : 0.00 %
710.44/712.74 c Integrals : Total Avg%
710.44/712.74 c primal-dual : 13607.72 19.09
710.44/712.74 c primal-ref : - - (not evaluated)
710.44/712.74 c dual-ref : - - (not evaluated)
710.54/712.84 c Time complete: 710.59.
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: 63931 MiB (60660 MiB free)
memory of node 1: 64510 MiB (57119 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459196-1721873668/watcher-4459196-1721873668 -o /tmp/evaluation-result-4459196-1721873668/solver-4459196-1721873668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721865115-254129 --watchdog 3760 pbscip -f HOME/instance-4459196-1721873668.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=260609, runsolver pid=260606
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.13 4.16 4.13 5/258 260611
/proc/meminfo: memFree=120582300/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=77916 memory=38352 CPUtime=0.09 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 8145 0 0 0 8 1 0 0 20 0 1 0 23896391 79785984 9588 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 19479 9588 3695 3540 0 7736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77916 KiB
Current children cumulated memory: 38352 KiB
[startup+0.205776 s]*
/proc/loadavg: 4.13 4.16 4.13 5/258 260611
/proc/meminfo: memFree=120547252/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=117464 memory=73496 CPUtime=0.2 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 16960 0 0 0 18 2 0 0 20 0 1 0 23896391 120283136 18374 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 29366 18374 3823 3540 0 17623 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117464 KiB
Current children cumulated memory: 73496 KiB
[startup+0.305806 s]*
/proc/loadavg: 4.13 4.16 4.13 5/258 260611
/proc/meminfo: memFree=120547112/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=117464 memory=73496 CPUtime=0.3 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 16960 0 0 0 28 2 0 0 20 0 1 0 23896391 120283136 18374 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 29366 18374 3823 3540 0 17623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 117464 KiB
Current children cumulated memory: 73496 KiB
[startup+0.700238 s]
/proc/loadavg: 4.13 4.16 4.13 5/258 260611
/proc/meminfo: memFree=120533868/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=154612 memory=104276 CPUtime=0.69 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 24555 0 0 0 65 4 0 0 20 0 1 0 23896391 158322688 26069 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 38653 26069 3935 3540 0 26910 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 154612 KiB
Current children cumulated memory: 104276 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.16 4.13 5/258 260611
/proc/meminfo: memFree=120500216/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=207008 memory=148588 CPUtime=1.48 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 36838 0 0 0 143 5 0 0 20 0 1 0 23896391 211976192 37147 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 51752 37147 3950 3540 0 40009 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 148588 KiB
[startup+3.10558 s]
/proc/loadavg: 4.13 4.16 4.13 5/258 260611
/proc/meminfo: memFree=120471756/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=207560 memory=149176 CPUtime=3.09 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 36989 0 0 0 303 6 0 0 20 0 1 0 23896391 212541440 37294 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 51890 37294 3966 3540 0 40147 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 207560 KiB
Current children cumulated memory: 149176 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.16 4.13 5/258 260611
/proc/meminfo: memFree=120471344/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=207852 memory=149440 CPUtime=6.27 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 37067 0 0 0 621 6 0 0 20 0 1 0 23896391 212840448 37360 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 51963 37360 3966 3540 0 40220 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 207852 KiB
Current children cumulated memory: 149440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.16 4.13 5/258 260613
/proc/meminfo: memFree=120471176/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=207852 memory=149764 CPUtime=12.66 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 37108 0 0 0 1259 7 0 0 20 0 1 0 23896391 212840448 37441 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 51963 37441 3982 3540 0 40220 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 207852 KiB
Current children cumulated memory: 149764 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.17 4.13 5/258 260614
/proc/meminfo: memFree=120470104/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=213804 memory=155824 CPUtime=25.42 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 38630 0 0 0 2534 8 0 0 20 0 1 0 23896391 218935296 38956 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 53451 38956 3982 3540 0 41708 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 213804 KiB
Current children cumulated memory: 155824 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.15 4.12 5/255 260619
/proc/meminfo: memFree=120439308/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=238588 memory=180500 CPUtime=50.94 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 44843 0 0 0 5084 10 0 0 20 0 1 0 23896391 244314112 45125 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 59647 45125 3982 3540 0 47904 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 238588 KiB
Current children cumulated memory: 180500 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/255 260628
/proc/meminfo: memFree=120406156/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=274472 memory=212784 CPUtime=101.98 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 54311 0 0 0 10185 13 0 0 20 0 1 0 23896391 281059328 53196 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 68618 53196 3982 3540 0 56875 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 274472 KiB
Current children cumulated memory: 212784 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/255 260638
/proc/meminfo: memFree=120400948/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=277704 memory=217124 CPUtime=161.8 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 55399 0 0 0 16165 15 0 0 20 0 1 0 23896391 284368896 54281 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 69426 54281 3982 3540 0 57683 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 277704 KiB
Current children cumulated memory: 217124 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/255 260649
/proc/meminfo: memFree=120383540/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=296792 memory=234280 CPUtime=221.6 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 59669 0 0 0 22144 16 0 0 20 0 1 0 23896391 303915008 58570 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 74198 58570 3982 3540 0 62455 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 296792 KiB
Current children cumulated memory: 234280 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/254 260661
/proc/meminfo: memFree=120357096/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=323992 memory=259112 CPUtime=281.4 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 65903 0 0 0 28122 18 0 0 20 0 1 0 23896391 331767808 64778 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 80998 64778 3982 3540 0 69255 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 323992 KiB
Current children cumulated memory: 259112 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/258 260677
/proc/meminfo: memFree=120339396/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=342336 memory=275380 CPUtime=341.21 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 70007 0 0 0 34101 20 0 0 20 0 1 0 23896391 350552064 68845 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 85584 68845 3982 3540 0 73841 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 342336 KiB
Current children cumulated memory: 275380 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/258 260690
/proc/meminfo: memFree=120300880/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=371560 memory=306788 CPUtime=401.02 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 77832 0 0 0 40079 23 0 0 20 0 1 0 23896391 380477440 76697 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 92890 76697 3982 3540 0 81147 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 371560 KiB
Current children cumulated memory: 306788 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/258 260700
/proc/meminfo: memFree=120294936/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=375608 memory=311848 CPUtime=460.82 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 79105 0 0 0 46057 25 0 0 20 0 1 0 23896391 384622592 77962 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 93902 77962 3982 3540 0 82159 0
Current children cumulated CPU time: 460.82 s
Current children cumulated vsize: 375608 KiB
Current children cumulated memory: 311848 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/258 260710
/proc/meminfo: memFree=120271572/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=397720 memory=331580 CPUtime=520.62 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 84019 0 0 0 52034 28 0 0 20 0 1 0 23896391 407265280 82895 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 99430 82895 3982 3540 0 87687 0
Current children cumulated CPU time: 520.62 s
Current children cumulated vsize: 397720 KiB
Current children cumulated memory: 331580 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/258 260721
/proc/meminfo: memFree=120260824/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=403592 memory=337648 CPUtime=580.44 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 85525 0 0 0 58014 30 0 0 20 0 1 0 23896391 413278208 84412 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 100898 84412 3982 3540 0 89155 0
Current children cumulated CPU time: 580.44 s
Current children cumulated vsize: 403592 KiB
Current children cumulated memory: 337648 KiB
[startup+642.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/256 261116
/proc/meminfo: memFree=120244936/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=404328 memory=338432 CPUtime=640.25 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 85758 0 0 0 63994 31 0 0 20 0 1 0 23896391 414031872 84608 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 101082 84608 3982 3540 0 89339 0
Current children cumulated CPU time: 640.25 s
Current children cumulated vsize: 404328 KiB
Current children cumulated memory: 338432 KiB
[startup+702.3 s]
/proc/loadavg: 4.35 4.16 4.11 5/257 261128
/proc/meminfo: memFree=120241560/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=412448 memory=340544 CPUtime=700.07 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 86292 0 0 0 69974 33 0 0 20 0 1 0 23896391 422346752 85136 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 103112 85136 3982 3540 0 91369 0
Current children cumulated CPU time: 700.07 s
Current children cumulated vsize: 412448 KiB
Current children cumulated memory: 340544 KiB
[startup+712.86 s]
# the end of solver process 260609 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=710.252 s, system=0.354712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+704 s]*
/proc/loadavg: 4.35 4.16 4.11 5/257 261128
/proc/meminfo: memFree=120237848/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=414380 memory=342652 CPUtime=701.77 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 86783 0 0 0 70144 33 0 0 20 0 1 0 23896391 424325120 85663 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 103595 85663 3982 3540 0 91852 0
Current children cumulated CPU time: 701.77 s
Current children cumulated vsize: 414380 KiB
Current children cumulated memory: 342652 KiB
[startup+707.2 s]
/proc/loadavg: 4.48 4.19 4.12 5/257 261128
/proc/meminfo: memFree=120237852/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=415276 memory=342652 CPUtime=704.96 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 86785 0 0 0 70463 33 0 0 20 0 1 0 23896391 425242624 85663 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 103819 85663 3982 3540 0 92076 0
Current children cumulated CPU time: 704.96 s
Current children cumulated vsize: 415276 KiB
Current children cumulated memory: 342652 KiB
[startup+710.4 s]
/proc/loadavg: 4.44 4.18 4.12 5/257 261128
/proc/meminfo: memFree=120237628/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=415504 memory=342916 CPUtime=708.14 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 86842 0 0 0 70781 33 0 0 20 0 1 0 23896391 425476096 85729 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 103876 85729 3982 3540 0 92133 0
Current children cumulated CPU time: 708.14 s
Current children cumulated vsize: 415504 KiB
Current children cumulated memory: 342916 KiB
[startup+712 s]*
/proc/loadavg: 4.44 4.18 4.12 5/257 261129
/proc/meminfo: memFree=120235940/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=417140 memory=344500 CPUtime=709.74 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 87251 0 0 0 70941 33 0 0 20 0 1 0 23896391 427151360 86125 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 104285 86125 3982 3540 0 92542 0
Current children cumulated CPU time: 709.74 s
Current children cumulated vsize: 417140 KiB
Current children cumulated memory: 344500 KiB
[startup+712.4 s]
/proc/loadavg: 4.44 4.18 4.12 5/257 261129
/proc/meminfo: memFree=120235940/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=417140 memory=344500 CPUtime=710.14 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 87251 0 0 0 70981 33 0 0 20 0 1 0 23896391 427151360 86125 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 104285 86125 3982 3540 0 92542 0
Current children cumulated CPU time: 710.14 s
Current children cumulated vsize: 417140 KiB
Current children cumulated memory: 344500 KiB
[startup+712.8 s]
/proc/loadavg: 4.44 4.18 4.12 5/257 261129
/proc/meminfo: memFree=120235940/131524600 swapFree=131058856/131071996
[pid=260609] ppid=260606 vsize=417140 memory=344500 CPUtime=710.54 cores=1,3
/proc/260609/stat : 260609 (pbscip) R 260606 260609 254117 0 -1 4194304 87251 0 0 0 71021 33 0 0 20 0 1 0 23896391 427151360 86125 134679101440 4194304 18693293 140728241951840 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59723776 140728241955844 140728241955943 140728241955943 140728241962958 0
/proc/260609/statm: 104285 86125 3982 3540 0 92542 0
Current children cumulated CPU time: 710.54 s
Current children cumulated vsize: 417140 KiB
Current children cumulated memory: 344500 KiB
Child status: 0
Real time (s): 712.86
CPU time (s): 710.607
CPU user time (s): 710.252
CPU system time (s): 0.354712
CPU usage (%): 99.6839
Max. virtual memory (cumulated for all children) (KiB): 417140
Max. memory (cumulated for all children) (KiB): 344500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 710.252
system time used= 0.354712
maximum resident set size= 344524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87282
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= 10
involuntary context switches= 845
# summary of solver processes directly reported to runsolver:
# pid: 260609
# total CPU time (s): 710.607
# total CPU user time (s): 710.252
# total CPU system time (s): 0.354712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33703 second user time and 3.41417 second system time
The end