0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4503467-1751171866.opb>
0.00/0.08 c original problem has 1840 variables (1840 bin, 0 int, 0 cont) and 46243 constraints
0.00/0.08 c problem read in 0.077 seconds
0.00/0.08 c problem without objective
0.09/0.13 c presolving:
0.20/0.23 c (0.2s) running MILP presolver
0.20/0.28 c (0.3s) MILP presolver found nothing
0.30/0.39 c (round 1, exhaustive) 1 del vars, 5 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 46234 upgd conss, 0 impls, 12807 clqs
0.40/0.47 c (round 2, exhaustive) 1 del vars, 257 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 378 chg coeffs, 46234 upgd conss, 0 impls, 12807 clqs
0.59/0.66 c (0.7s) probing: 51/1839 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.66 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.79/0.88 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.89/0.92 c (0.9s) no symmetry present (symcode time: 0.01)
0.89/0.95 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
0.89/0.95 c 1 deleted vars, 257 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 702 changed coefficients
0.89/0.95 c 0 implications, 12807 cliques
0.89/0.95 c presolved problem has 1839 variables (1839 bin, 0 int, 0 cont) and 45986 constraints
0.89/0.95 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.89/0.95 c 3696 constraints of type <knapsack>
0.89/0.95 c 12807 constraints of type <setppc>
0.89/0.95 c 4 constraints of type <linear>
0.89/0.95 c 29479 constraints of type <logicor>
0.89/0.95 c transformed objective value is always integral (scale: 1)
0.89/0.95 c Presolving Time: 0.82
0.89/0.95 c
0.89/0.95 c - non default parameters ----------------------------------------------------------------------
0.89/0.95 c
0.89/0.95 c # SCIP version 10.0.0
0.89/0.95 c
0.89/0.95 c # maximal time in seconds to run
0.89/0.95 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.89/0.95 c limits/time = 3596.998345
0.89/0.95 c
0.89/0.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.89/0.95 c limits/memory = 27900
0.89/0.95 c
0.89/0.95 c # belongs reading time to solving time?
0.89/0.95 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c timing/reading = TRUE
0.89/0.95 c
0.89/0.95 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.89/0.95 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.89/0.95 c reading/opbreader/maxintsize = 47
0.89/0.95 c
0.89/0.95 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.89/0.95 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.89/0.95 c propagating/genvbounds/timingmask = 0
0.89/0.95 c
0.89/0.95 c -----------------------------------------------------------------------------------------------
0.89/0.95 c
1.09/1.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.09/1.15 c 1.2s| 1 | 0 | 100 | - | 209M | 0 |1839 | 46k| 45k| 0 | 0 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.80 c 1.8s| 1 | 0 | 1735 | - | 215M | 0 |1839 | 46k| 45k| 6 | 1 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
3.18/3.28 c 3.3s| 1 | 0 | 1756 | - | 219M | 0 |1839 | 46k| 45k| 10 | 2 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
4.77/4.84 c 4.8s| 1 | 0 | 1781 | - | 224M | 0 |1839 | 46k| 46k| 18 | 3 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
5.38/5.44 c 5.4s| 1 | 0 | 1842 | - | 229M | 0 |1839 | 46k| 46k| 21 | 4 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
6.57/6.60 c 6.6s| 1 | 0 | 1874 | - | 234M | 0 |1839 | 46k| 46k| 26 | 5 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
7.97/8.03 c 8.0s| 1 | 0 | 1907 | - | 240M | 0 |1839 | 46k| 46k| 30 | 6 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
8.36/8.40 c 8.4s| 1 | 0 | 1979 | - | 246M | 0 |1839 | 46k| 46k| 36 | 7 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
8.76/8.81 c 8.8s| 1 | 0 | 2026 | - | 253M | 0 |1839 | 46k| 46k| 40 | 8 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
9.56/9.61 c 9.6s| 1 | 0 | 2062 | - | 259M | 0 |1839 | 46k| 46k| 49 | 9 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
9.96/10.09 c 10.1s| 1 | 0 | 2132 | - | 264M | 0 |1839 | 46k| 46k| 57 | 10 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
10.06/10.13 c 10.1s| 1 | 0 | 2173 | - | 269M | 0 |1839 | 46k| 46k| 67 | 11 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
10.06/10.18 c 10.2s| 1 | 0 | 2194 | - | 276M | 0 |1839 | 46k| 46k| 75 | 12 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
10.16/10.22 c 10.2s| 1 | 0 | 2296 | - | 280M | 0 |1839 | 46k| 46k| 82 | 13 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
11.15/11.25 c 11.3s| 1 | 2 | 2374 | - | 280M | 0 |1839 | 46k| 46k| 82 | 13 | 74 | 19 | 0.000000e+00 | -- | Inf | unknown
24.10/24.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.10/24.27 c 24.3s| 100 | 53 | 30976 | 289.7 | 289M | 32 |1839 | 46k| 46k| 100 | 1 | 322 | 19 | 0.000000e+00 | -- | Inf | unknown
27.49/27.67 c 27.7s| 200 | 59 | 32700 | 152.8 | 290M | 33 |1839 | 46k| 46k| 116 | 1 | 449 | 19 | 0.000000e+00 | -- | Inf | 0.72%
29.28/29.46 c 29.5s| 300 | 71 | 38895 | 122.4 | 293M | 33 |1839 | 46k| 46k| 121 | 2 | 612 | 19 | 0.000000e+00 | -- | Inf | 0.72%
30.98/31.16 c 31.2s| 400 | 116 | 42421 | 100.6 | 304M | 45 |1839 | 46k| 46k| 138 | 1 | 941 | 19 | 0.000000e+00 | -- | Inf | 0.72%
32.56/32.72 c 32.7s| 500 | 140 | 44455 | 84.5 | 304M | 45 |1839 | 47k| 46k| 155 | 1 |1250 | 19 | 0.000000e+00 | -- | Inf | 2.28%
36.15/36.36 c 36.4s| 600 | 144 | 46203 | 73.3 | 323M | 45 |1839 | 47k| 46k| 277 | 1 |1540 | 19 | 0.000000e+00 | -- | Inf | 2.38%
38.34/38.56 c 38.6s| 700 | 150 | 47696 | 64.9 | 334M | 47 |1839 | 47k| 46k| 326 | 1 |1783 | 19 | 0.000000e+00 | -- | Inf | 2.38%
41.42/41.60 c 41.6s| 800 | 173 | 49299 | 58.8 | 345M | 47 |1839 | 47k| 46k| 416 | 2 |2089 | 19 | 0.000000e+00 | -- | Inf | 2.38%
44.11/44.37 c 44.4s| 900 | 159 | 50990 | 54.2 | 345M | 47 |1839 | 47k| 46k| 467 | 1 |2353 | 19 | 0.000000e+00 | -- | Inf | 2.38%
46.10/46.30 c 46.3s| 1000 | 154 | 52201 | 50.0 | 350M | 47 |1839 | 47k| 46k| 527 | 2 |2560 | 19 | 0.000000e+00 | -- | Inf | 2.38%
47.60/47.84 c 47.8s| 1100 | 200 | 54777 | 47.8 | 352M | 51 |1839 | 48k| 46k| 538 | 1 |2842 | 19 | 0.000000e+00 | -- | Inf | 2.38%
48.29/48.54 c 48.5s| 1200 | 210 | 55324 | 44.2 | 352M | 55 |1839 | 48k| 46k| 538 | 1 |3173 | 19 | 0.000000e+00 | -- | Inf | 2.38%
51.08/51.30 c 51.3s| 1300 | 240 | 58180 | 43.0 | 360M | 57 |1839 | 48k| 46k| 615 | 1 |3454 | 19 | 0.000000e+00 | -- | Inf | 2.38%
52.17/52.48 c 52.5s| 1400 | 262 | 59648 | 41.0 | 360M | 57 |1839 | 48k| 0 | 640 | 0 |3710 | 19 | 0.000000e+00 | -- | Inf | 2.38%
53.27/53.50 c 53.5s| 1500 | 283 | 61710 | 39.6 | 361M | 61 |1839 | 48k| 0 | 665 | 0 |3958 | 19 | 0.000000e+00 | -- | Inf | 2.38%
53.96/54.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.96/54.20 c 54.2s| 1600 | 273 | 62187 | 37.5 | 362M | 61 |1839 | 49k| 46k| 671 | 1 |4459 | 19 | 0.000000e+00 | -- | Inf | 2.38%
55.76/56.08 c 56.1s| 1700 | 285 | 64234 | 36.5 | 362M | 61 |1839 | 49k| 0 | 694 | 0 |4850 | 19 | 0.000000e+00 | -- | Inf | 2.38%
58.35/58.61 c 58.6s| 1800 | 302 | 67918 | 36.5 | 363M | 61 |1839 | 49k| 46k| 812 | 1 |5132 | 19 | 0.000000e+00 | -- | Inf | 2.38%
60.93/61.24 c 61.2s| 1900 | 335 | 70688 | 36.0 | 368M | 61 |1839 | 49k| 0 | 897 | 0 |5522 | 19 | 0.000000e+00 | -- | Inf | 2.38%
64.22/64.51 c 64.5s| 2000 | 337 | 73931 | 35.8 | 371M | 61 |1839 | 49k| 46k| 992 | 1 |5814 | 19 | 0.000000e+00 | -- | Inf | 2.38%
67.71/68.03 c 68.0s| 2100 | 357 | 77074 | 35.6 | 376M | 61 |1839 | 49k| 0 |1086 | 0 |6151 | 19 | 0.000000e+00 | -- | Inf | 2.38%
70.59/70.98 c 71.0s| 2200 | 376 | 79333 | 35.0 | 376M | 61 |1839 | 49k| 46k|1139 | 1 |6328 | 19 | 0.000000e+00 | -- | Inf | 2.38%
73.38/73.76 c 73.8s| 2300 | 404 | 84800 | 35.9 | 378M | 61 |1839 | 49k| 46k|1229 | 1 |6610 | 19 | 0.000000e+00 | -- | Inf | 2.38%
75.68/76.04 c 76.0s| 2400 | 418 | 87340 | 35.4 | 381M | 61 |1839 | 49k| 46k|1306 | 0 |6736 | 19 | 0.000000e+00 | -- | Inf | 2.38%
77.96/78.33 c 78.3s| 2500 | 476 | 90569 | 35.3 | 382M | 61 |1839 | 49k| 46k|1359 | 1 |6974 | 19 | 0.000000e+00 | -- | Inf | 2.38%
79.35/79.74 c 79.7s| 2600 | 502 | 91537 | 34.3 | 383M | 61 |1839 | 49k| 46k|1380 | 1 |7267 | 19 | 0.000000e+00 | -- | Inf | 2.38%
80.35/80.74 c 80.7s| 2700 | 506 | 92631 | 33.5 | 383M | 61 |1839 | 49k| 46k|1391 | 1 |7482 | 19 | 0.000000e+00 | -- | Inf | 2.38%
81.24/81.66 c 81.7s| 2800 | 517 | 95016 | 33.1 | 383M | 61 |1839 | 49k| 0 |1395 | 0 |7809 | 19 | 0.000000e+00 | -- | Inf | 2.38%
82.14/82.57 c 82.6s| 2900 | 533 | 96672 | 32.6 | 383M | 61 |1839 | 50k| 46k|1403 | 1 |8072 | 19 | 0.000000e+00 | -- | Inf | 2.38%
83.33/83.79 c 83.8s| 3000 | 557 | 99103 | 32.3 | 386M | 61 |1839 | 50k| 46k|1417 | 2 |8357 | 19 | 0.000000e+00 | -- | Inf | 2.38%
84.74/85.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
84.74/85.11 c 85.1s| 3100 | 567 |100400 | 31.7 | 386M | 63 |1839 | 50k| 46k|1434 | 1 |8641 | 19 | 0.000000e+00 | -- | Inf | 2.38%
85.63/86.07 c 86.1s| 3200 | 569 |102343 | 31.3 | 387M | 63 |1839 | 50k| 0 |1465 | 0 |8886 | 19 | 0.000000e+00 | -- | Inf | 2.38%
88.51/88.93 c 88.9s| 3300 | 596 |106356 | 31.5 | 393M | 63 |1839 | 50k| 46k|1572 | 1 |9234 | 19 | 0.000000e+00 | -- | Inf | 2.38%
91.10/91.54 c 91.5s| 3400 | 605 |108320 | 31.2 | 393M | 63 |1839 | 50k| 46k|1598 | 1 |9513 | 19 | 0.000000e+00 | -- | Inf | 2.38%
92.30/92.79 c 92.8s| 3500 | 636 |109944 | 30.8 | 394M | 63 |1839 | 50k| 46k|1625 | 1 |9735 | 19 | 0.000000e+00 | -- | Inf | 2.38%
93.29/93.79 c 93.8s| 3600 | 659 |111614 | 30.4 | 394M | 63 |1839 | 50k| 0 |1642 | 0 | 10k| 19 | 0.000000e+00 | -- | Inf | 2.38%
94.59/95.04 c 95.0s| 3700 | 671 |112647 | 29.8 | 398M | 63 |1839 | 50k| 46k|1671 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | 2.38%
95.38/95.87 c 95.9s| 3800 | 670 |113549 | 29.3 | 398M | 64 |1839 | 51k| 46k|1680 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | 2.38%
97.37/97.86 c 97.9s| 3900 | 683 |116271 | 29.2 | 399M | 66 |1839 | 51k| 46k|1725 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | 2.38%
99.16/99.60 c 99.6s| 4000 | 720 |119199 | 29.2 | 400M | 66 |1839 | 51k| 46k|1765 | 1 | 11k| 19 | 0.000000e+00 | -- | Inf | 2.38%
100.16/100.64 c 101s| 4100 | 766 |121494 | 29.1 | 400M | 66 |1839 | 51k| 46k|1775 | 0 | 11k| 19 | 0.000000e+00 | -- | Inf | 2.38%
101.95/102.41 c 102s| 4200 | 792 |123522 | 28.9 | 401M | 66 |1839 | 51k| 0 |1799 | 0 | 11k| 19 | 0.000000e+00 | -- | Inf | 2.38%
102.94/103.49 c 103s| 4300 | 837 |125404 | 28.6 | 401M | 66 |1839 | 51k| 46k|1823 | 1 | 11k| 19 | 0.000000e+00 | -- | Inf | 2.38%
104.93/105.49 c 105s| 4400 | 859 |128053 | 28.6 | 403M | 66 |1839 | 51k| 46k|1850 | 1 | 12k| 19 | 0.000000e+00 | -- | Inf | 2.38%
106.23/106.72 c 107s| 4500 | 903 |130447 | 28.5 | 404M | 66 |1839 | 50k| 0 |1871 | 0 | 12k| 19 | 0.000000e+00 | -- | Inf | 2.38%
109.01/109.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
109.01/109.57 c 110s| 4600 | 963 |134564 | 28.8 | 430M | 66 |1839 | 50k| 46k|1997 | 1 | 12k| 19 | 0.000000e+00 | -- | Inf | 2.38%
113.50/114.02 c 114s| 4700 | 996 |137849 | 28.8 | 436M | 66 |1839 | 50k| 46k|2091 | 1 | 12k| 19 | 0.000000e+00 | -- | Inf | 2.38%
114.89/115.43 c 115s| 4800 | 1003 |139714 | 28.6 | 436M | 66 |1839 | 50k| 46k|2102 | 1 | 13k| 19 | 0.000000e+00 | -- | Inf | 2.38%
119.97/120.51 c 121s| 4900 | 1032 |142565 | 28.6 | 441M | 66 |1839 | 51k| 46k|2224 | 1 | 13k| 19 | 0.000000e+00 | -- | Inf | 2.38%
121.47/122.00 c 122s| 5000 | 1038 |144264 | 28.4 | 441M | 66 |1839 | 51k| 46k|2248 | 1 | 13k| 19 | 0.000000e+00 | -- | Inf | 2.38%
124.05/124.65 c 125s| 5100 | 1080 |146836 | 28.3 | 444M | 66 |1839 | 50k| 46k|2334 | 1 | 13k| 19 | 0.000000e+00 | -- | Inf | 2.38%
125.14/125.79 c 126s| 5200 | 1076 |148021 | 28.0 | 444M | 66 |1839 | 50k| 46k|2359 | 1 | 13k| 19 | 0.000000e+00 | -- | Inf | 2.38%
126.14/126.73 c 127s| 5300 | 1081 |149697 | 27.8 | 444M | 66 |1839 | 50k| 46k|2376 | 1 | 14k| 19 | 0.000000e+00 | -- | Inf | 2.38%
127.44/128.04 c 128s| 5400 | 1085 |151228 | 27.6 | 444M | 66 |1839 | 51k| 46k|2394 | 1 | 14k| 19 | 0.000000e+00 | -- | Inf | 2.38%
129.22/129.87 c 130s| 5500 | 1127 |155314 | 27.8 | 447M | 66 |1839 | 50k| 46k|2421 | 1 | 14k| 19 | 0.000000e+00 | -- | Inf | 2.38%
130.82/131.43 c 131s| 5600 | 1138 |156904 | 27.6 | 447M | 66 |1839 | 51k| 46k|2464 | 1 | 14k| 19 | 0.000000e+00 | -- | Inf | 2.38%
132.61/133.29 c 133s| 5700 | 1182 |160645 | 27.8 | 448M | 66 |1839 | 50k| 46k|2501 | 1 | 15k| 19 | 0.000000e+00 | -- | Inf | 2.38%
135.79/136.42 c 136s| 5800 | 1209 |162983 | 27.7 | 453M | 66 |1839 | 50k| 46k|2623 | 1 | 15k| 19 | 0.000000e+00 | -- | Inf | 2.38%
137.68/138.39 c 138s| 5900 | 1237 |165808 | 27.7 | 453M | 66 |1839 | 50k| 46k|2680 | 1 | 15k| 19 | 0.000000e+00 | -- | Inf | 2.38%
141.37/142.10 c 142s| 6000 | 1261 |167973 | 27.6 | 463M | 66 |1839 | 51k| 46k|2862 | 1 | 15k| 19 | 0.000000e+00 | -- | Inf | 2.38%
142.86/143.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
142.86/143.57 c 144s| 6100 | 1284 |170466 | 27.6 | 466M | 66 |1839 | 51k| 46k|2912 | 1 | 16k| 19 | 0.000000e+00 | -- | Inf | 2.38%
144.65/145.39 c 145s| 6200 | 1292 |172946 | 27.5 | 466M | 66 |1839 | 51k| 46k|2940 | 1 | 16k| 19 | 0.000000e+00 | -- | Inf | 2.38%
150.93/151.62 c 152s| 6300 | 1365 |180489 | 28.3 | 471M | 66 |1839 | 51k| 0 |3146 | 0 | 16k| 19 | 0.000000e+00 | -- | Inf | 2.38%
155.31/156.05 c 156s| 6400 | 1438 |186030 | 28.7 | 472M | 66 |1839 | 51k| 46k|3222 | 1 | 16k| 19 | 0.000000e+00 | -- | Inf | 2.38%
158.11/158.83 c 159s| 6500 | 1484 |189341 | 28.8 | 479M | 66 |1839 | 51k| 46k|3306 | 1 | 17k| 19 | 0.000000e+00 | -- | Inf | 2.38%
160.31/161.05 c 161s| 6600 | 1517 |192010 | 28.7 | 483M | 66 |1839 | 51k| 46k|3368 | 1 | 17k| 19 | 0.000000e+00 | -- | Inf | 2.38%
162.30/163.00 c 163s| 6700 | 1536 |194620 | 28.7 | 483M | 66 |1839 | 51k| 0 |3427 | 0 | 17k| 19 | 0.000000e+00 | -- | Inf | 2.38%
165.18/165.97 c 166s| 6800 | 1559 |197046 | 28.6 | 487M | 66 |1839 | 52k| 46k|3500 | 1 | 18k| 19 | 0.000000e+00 | -- | Inf | 2.38%
169.17/169.92 c 170s| 6900 | 1566 |200844 | 28.8 | 499M | 66 |1839 | 52k| 0 |3682 | 0 | 18k| 19 | 0.000000e+00 | -- | Inf | 2.38%
170.56/171.32 c 171s| 7000 | 1587 |203630 | 28.8 | 501M | 66 |1839 | 52k| 0 |3717 | 0 | 18k| 19 | 0.000000e+00 | -- | Inf | 2.38%
175.25/176.07 c 176s| 7100 | 1620 |208948 | 29.1 | 508M | 66 |1839 | 52k| 46k|3871 | 1 | 19k| 19 | 0.000000e+00 | -- | Inf | 2.38%
177.84/178.66 c 179s| 7200 | 1637 |211109 | 29.0 | 508M | 66 |1839 | 52k| 46k|3924 | 1 | 19k| 19 | 0.000000e+00 | -- | Inf | 2.38%
183.52/184.36 c 184s| 7300 | 1646 |212881 | 28.9 | 508M | 66 |1839 | 52k| 46k|4027 | 2 | 19k| 19 | 0.000000e+00 | -- | Inf | 2.38%
185.22/186.03 c 186s| 7400 | 1668 |215335 | 28.8 | 508M | 66 |1839 | 52k| 0 |4059 | 0 | 20k| 19 | 0.000000e+00 | -- | Inf | 2.38%
187.31/188.14 c 188s| 7500 | 1685 |217574 | 28.7 | 509M | 66 |1839 | 52k| 46k|4102 | 1 | 20k| 19 | 0.000000e+00 | -- | Inf | 2.38%
193.29/194.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
193.29/194.13 c 194s| 7600 | 1720 |219699 | 28.6 | 510M | 66 |1839 | 52k| 46k|4335 | 1 | 20k| 19 | 0.000000e+00 | -- | Inf | 2.38%
196.57/197.42 c 197s| 7700 | 1739 |222268 | 28.6 | 513M | 66 |1839 | 52k| 46k|4501 | 1 | 20k| 19 | 0.000000e+00 | -- | Inf | 2.38%
198.86/199.70 c 200s| 7800 | 1747 |224739 | 28.5 | 522M | 66 |1839 | 52k| 46k|4652 | 1 | 20k| 19 | 0.000000e+00 | -- | Inf | 2.38%
201.95/202.89 c 203s| 7900 | 1766 |227986 | 28.6 | 523M | 66 |1839 | 52k| 46k|4714 | 1 | 21k| 19 | 0.000000e+00 | -- | Inf | 2.38%
203.35/204.24 c 204s| 8000 | 1764 |230083 | 28.5 | 523M | 66 |1839 | 52k| 46k|4753 | 1 | 21k| 19 | 0.000000e+00 | -- | Inf | 2.38%
206.84/207.74 c 208s| 8100 | 1809 |236591 | 28.9 | 530M | 66 |1839 | 52k| 46k|4871 | 3 | 21k| 19 | 0.000000e+00 | -- | Inf | 2.38%
208.53/209.41 c 209s| 8200 | 1824 |238447 | 28.8 | 530M | 66 |1839 | 52k| 46k|4941 | 1 | 21k| 19 | 0.000000e+00 | -- | Inf | 2.38%
212.32/213.22 c 213s| 8300 | 1833 |241191 | 28.8 | 532M | 66 |1839 | 51k| 46k|5067 | 1 | 22k| 19 | 0.000000e+00 | -- | Inf | 2.38%
214.41/215.39 c 215s| 8400 | 1855 |244449 | 28.8 | 533M | 66 |1839 | 51k| 46k|5133 | 1 | 22k| 19 | 0.000000e+00 | -- | Inf | 2.38%
215.31/216.24 c 216s| 8500 | 1863 |245609 | 28.6 | 533M | 66 |1839 | 51k| 0 |5149 | 0 | 22k| 19 | 0.000000e+00 | -- | Inf | 2.38%
220.49/221.47 c 221s| 8600 | 1883 |256843 | 29.6 | 534M | 66 |1839 | 51k| 46k|5190 | 1 | 22k| 19 | 0.000000e+00 | -- | Inf | 2.38%
221.99/222.93 c 223s| 8700 | 1894 |258437 | 29.4 | 535M | 66 |1839 | 51k| 46k|5236 | 2 | 23k| 19 | 0.000000e+00 | -- | Inf | 2.38%
222.88/223.86 c 224s| 8800 | 1909 |260119 | 29.3 | 536M | 66 |1839 | 51k| 0 |5256 | 0 | 23k| 19 | 0.000000e+00 | -- | Inf | 2.38%
225.97/226.94 c 227s| 8900 | 1912 |261702 | 29.2 | 536M | 66 |1839 | 51k| 46k|5320 | 1 | 23k| 19 | 0.000000e+00 | -- | Inf | 2.38%
227.77/228.79 c 229s| 9000 | 1922 |264181 | 29.1 | 536M | 66 |1839 | 51k| 46k|5395 | 1 | 23k| 19 | 0.000000e+00 | -- | Inf | 2.38%
233.76/234.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
233.76/234.73 c 235s| 9100 | 1972 |268890 | 29.3 | 539M | 66 |1839 | 51k| 46k|5530 | 1 | 24k| 19 | 0.000000e+00 | -- | Inf | 2.38%
235.45/236.47 c 236s| 9200 | 1992 |271254 | 29.2 | 540M | 66 |1839 | 51k| 46k|5592 | 1 | 24k| 19 | 0.000000e+00 | -- | Inf | 2.38%
237.64/238.68 c 239s| 9300 | 2005 |275170 | 29.3 | 540M | 66 |1839 | 51k| 46k|5688 | 1 | 24k| 19 | 0.000000e+00 | -- | Inf | 2.38%
240.93/241.92 c 242s| 9400 | 2029 |277921 | 29.3 | 547M | 66 |1839 | 51k| 46k|5781 | 1 | 24k| 19 | 0.000000e+00 | -- | Inf | 2.38%
243.92/244.91 c 245s| 9500 | 2042 |281701 | 29.4 | 547M | 66 |1839 | 51k| 0 |5852 | 0 | 24k| 19 | 0.000000e+00 | -- | Inf | 2.38%
247.21/248.26 c 248s| 9600 | 2082 |286970 | 29.7 | 549M | 66 |1839 | 51k| 0 |5974 | 0 | 24k| 19 | 0.000000e+00 | -- | Inf | 2.38%
251.49/252.51 c 253s| 9700 | 2097 |292183 | 29.9 | 550M | 66 |1839 | 50k| 46k|6177 | 1 | 25k| 19 | 0.000000e+00 | -- | Inf | 2.38%
254.18/255.25 c 255s| 9800 | 2133 |295732 | 29.9 | 563M | 66 |1839 | 50k| 46k|6300 | 1 | 25k| 19 | 0.000000e+00 | -- | Inf | 2.38%
257.37/258.48 c 258s| 9900 | 2140 |299103 | 30.0 | 563M | 66 |1839 | 50k| 46k|6394 | 1 | 25k| 19 | 0.000000e+00 | -- | Inf | 2.38%
260.97/262.10 c 262s| 10000 | 2153 |303784 | 30.2 | 564M | 66 |1839 | 51k| 46k|6502 | 1 | 25k| 19 | 0.000000e+00 | -- | Inf | 2.38%
263.96/265.08 c 265s| 10100 | 2163 |306012 | 30.1 | 568M | 66 |1839 | 51k| 46k|6571 | 1 | 25k| 19 | 0.000000e+00 | -- | Inf | 2.38%
267.34/268.46 c 268s| 10200 | 2180 |309294 | 30.1 | 570M | 66 |1839 | 51k| 46k|6728 | 1 | 26k| 19 | 0.000000e+00 | -- | Inf | 2.38%
269.04/270.19 c 270s| 10300 | 2209 |314310 | 30.3 | 578M | 66 |1839 | 51k| 46k|6807 | 1 | 26k| 19 | 0.000000e+00 | -- | Inf | 2.38%
269.94/271.09 c 271s| 10400 | 2199 |315220 | 30.1 | 578M | 66 |1839 | 50k| 0 |6857 | 0 | 26k| 19 | 0.000000e+00 | -- | Inf | 2.38%
273.92/275.02 c 275s| 10500 | 2253 |324583 | 30.7 | 578M | 66 |1839 | 50k| 46k|6983 | 2 | 26k| 19 | 0.000000e+00 | -- | Inf | 2.38%
276.61/277.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
276.61/277.79 c 278s| 10600 | 2298 |328114 | 30.7 | 579M | 66 |1839 | 50k| 0 |7062 | 0 | 26k| 19 | 0.000000e+00 | -- | Inf | 2.38%
277.51/278.69 c 279s| 10700 | 2330 |330732 | 30.7 | 579M | 66 |1839 | 50k| 46k|7070 | 1 | 27k| 19 | 0.000000e+00 | -- | Inf | 2.38%
278.91/280.08 c 280s| 10800 | 2353 |334404 | 30.8 | 579M | 66 |1839 | 50k| 46k|7116 | 1 | 27k| 19 | 0.000000e+00 | -- | Inf | 2.38%
282.29/283.40 c 283s| 10900 | 2419 |342727 | 31.2 | 581M | 66 |1839 | 50k| 46k|7208 | 1 | 27k| 19 | 0.000000e+00 | -- | Inf | 2.38%
285.28/286.49 c 286s| 11000 | 2474 |347325 | 31.4 | 581M | 66 |1839 | 50k| 46k|7308 | 1 | 28k| 19 | 0.000000e+00 | -- | Inf | 2.38%
286.38/287.53 c 288s| 11100 | 2482 |348165 | 31.2 | 582M | 66 |1839 | 50k| 46k|7325 | 1 | 28k| 19 | 0.000000e+00 | -- | Inf | 2.38%
287.17/288.37 c 288s| 11200 | 2480 |349025 | 31.0 | 582M | 66 |1839 | 51k| 46k|7333 | 1 | 28k| 19 | 0.000000e+00 | -- | Inf | 2.38%
289.47/290.65 c 291s| 11300 | 2484 |350516 | 30.8 | 582M | 66 |1839 | 51k| 0 |7416 | 0 | 28k| 19 | 0.000000e+00 | -- | Inf | 2.38%
291.96/293.19 c 293s| 11400 | 2505 |353409 | 30.8 | 585M | 66 |1839 | 51k| 0 |7562 | 0 | 29k| 19 | 0.000000e+00 | -- | Inf | 2.38%
294.36/295.59 c 296s| 11500 | 2513 |356144 | 30.8 | 586M | 66 |1839 | 51k| 0 |7617 | 0 | 29k| 19 | 0.000000e+00 | -- | Inf | 2.38%
296.05/297.29 c 297s| 11600 | 2534 |357676 | 30.6 | 586M | 66 |1839 | 51k| 46k|7666 | 1 | 29k| 19 | 0.000000e+00 | -- | Inf | 2.38%
298.04/299.23 c 299s| 11700 | 2546 |359914 | 30.6 | 586M | 66 |1839 | 51k| 0 |7740 | 0 | 29k| 19 | 0.000000e+00 | -- | Inf | 2.38%
300.94/302.17 c 302s| 11800 | 2556 |361413 | 30.4 | 586M | 66 |1839 | 51k| 46k|7824 | 2 | 29k| 19 | 0.000000e+00 | -- | Inf | 2.38%
304.13/305.35 c 305s| 11900 | 2571 |363191 | 30.3 | 589M | 66 |1839 | 51k| 46k|7959 | 1 | 29k| 19 | 0.000000e+00 | -- | Inf | 2.38%
306.12/307.32 c 307s| 12000 | 2587 |365547 | 30.3 | 589M | 66 |1839 | 51k| 46k|8018 | 1 | 30k| 19 | 0.000000e+00 | -- | Inf | 2.38%
308.61/309.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
308.61/309.86 c 310s| 12100 | 2616 |367773 | 30.2 | 590M | 66 |1839 | 51k| 46k|8104 | 1 | 30k| 19 | 0.000000e+00 | -- | Inf | 2.38%
310.91/312.16 c 312s| 12200 | 2668 |372994 | 30.4 | 590M | 66 |1839 | 51k| 46k|8207 | 1 | 30k| 19 | 0.000000e+00 | -- | Inf | 2.38%
312.19/313.44 c 313s| 12300 | 2685 |374745 | 30.3 | 591M | 66 |1839 | 51k| 0 |8254 | 0 | 30k| 19 | 0.000000e+00 | -- | Inf | 2.38%
313.99/315.25 c 315s| 12400 | 2696 |376494 | 30.2 | 591M | 66 |1839 | 51k| 46k|8367 | 1 | 30k| 19 | 0.000000e+00 | -- | Inf | 2.38%
315.89/317.12 c 317s| 12500 | 2693 |378130 | 30.1 | 591M | 66 |1839 | 51k| 0 |8431 | 0 | 31k| 19 | 0.000000e+00 | -- | Inf | 2.38%
318.17/319.49 c 319s| 12600 | 2738 |382383 | 30.2 | 591M | 66 |1839 | 51k| 46k|8509 | 1 | 31k| 19 | 0.000000e+00 | -- | Inf | 2.38%
319.77/321.07 c 321s| 12700 | 2767 |386983 | 30.3 | 591M | 66 |1839 | 51k| 46k|8594 | 1 | 31k| 19 | 0.000000e+00 | -- | Inf | 2.38%
321.56/322.83 c 323s| 12800 | 2803 |390566 | 30.3 | 597M | 66 |1839 | 51k| 46k|8700 | 1 | 31k| 19 | 0.000000e+00 | -- | Inf | 2.38%
324.65/325.97 c 326s| 12900 | 2851 |395157 | 30.5 | 598M | 66 |1839 | 51k| 46k|8827 | 1 | 31k| 19 | 0.000000e+00 | -- | Inf | 2.38%
328.54/329.83 c 330s| 13000 | 2877 |398347 | 30.5 | 599M | 66 |1839 | 51k| 0 |8888 | 0 | 32k| 19 | 0.000000e+00 | -- | Inf | 2.38%
329.33/330.60 c 331s| 13100 | 2886 |399831 | 30.3 | 599M | 66 |1839 | 51k| 46k|8915 | 1 | 32k| 19 | 0.000000e+00 | -- | Inf | 2.38%
330.23/331.54 c 332s| 13200 | 2901 |402989 | 30.4 | 599M | 66 |1839 | 51k| 46k|8957 | 1 | 32k| 19 | 0.000000e+00 | -- | Inf | 2.38%
331.03/332.36 c 332s| 13300 | 2913 |404583 | 30.2 | 599M | 66 |1839 | 51k| 46k|8982 | 1 | 32k| 19 | 0.000000e+00 | -- | Inf | 2.38%
335.21/336.52 c 337s| 13400 | 2949 |411751 | 30.6 | 608M | 66 |1839 | 51k| 46k|9097 | 1 | 33k| 19 | 0.000000e+00 | -- | Inf | 2.38%
338.20/339.52 c 340s| 13500 | 2996 |416934 | 30.7 | 609M | 66 |1839 | 52k| 0 |9155 | 0 | 33k| 19 | 0.000000e+00 | -- | Inf | 2.38%
339.60/340.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
339.60/340.99 c 341s| 13600 | 3017 |420428 | 30.7 | 610M | 66 |1839 | 52k| 46k|9202 | 1 | 33k| 19 | 0.000000e+00 | -- | Inf | 2.38%
340.59/341.96 c 342s| 13700 | 3017 |423049 | 30.7 | 611M | 66 |1839 | 52k| 46k|9246 | 1 | 33k| 19 | 0.000000e+00 | -- | Inf | 2.38%
344.18/345.50 c 346s| 13800 | 3041 |427865 | 30.8 | 611M | 66 |1839 | 52k| 46k|9390 | 1 | 33k| 19 | 0.000000e+00 | -- | Inf | 2.38%
345.08/346.46 c 346s| 13900 | 3048 |430573 | 30.8 | 611M | 66 |1839 | 52k| 0 |9414 | 0 | 34k| 19 | 0.000000e+00 | -- | Inf | 2.38%
346.27/347.69 c 348s| 14000 | 3055 |433796 | 30.8 | 611M | 66 |1839 | 52k| 46k|9435 | 0 | 34k| 19 | 0.000000e+00 | -- | Inf | 2.38%
347.97/349.40 c 349s| 14100 | 3063 |436060 | 30.8 | 612M | 66 |1839 | 52k| 0 |9479 | 0 | 34k| 19 | 0.000000e+00 | -- | Inf | 2.38%
349.56/350.98 c 351s| 14200 | 3063 |439767 | 30.8 | 613M | 66 |1839 | 52k| 0 |9525 | 0 | 34k| 19 | 0.000000e+00 | -- | Inf | 2.38%
353.05/354.40 c 354s| 14300 | 3100 |444921 | 31.0 | 614M | 66 |1839 | 52k| 46k|9604 | 1 | 35k| 19 | 0.000000e+00 | -- | Inf | 2.38%
356.44/357.80 c 358s| 14400 | 3121 |447940 | 30.9 | 614M | 66 |1839 | 52k| 46k|9700 | 1 | 35k| 19 | 0.000000e+00 | -- | Inf | 2.38%
357.74/359.17 c 359s| 14500 | 3153 |451793 | 31.0 | 614M | 66 |1839 | 51k| 46k|9710 | 1 | 35k| 19 | 0.000000e+00 | -- | Inf | 2.38%
359.53/360.94 c 361s| 14600 | 3175 |456222 | 31.1 | 615M | 66 |1839 | 51k| 0 |9801 | 0 | 35k| 19 | 0.000000e+00 | -- | Inf | 2.38%
361.02/362.43 c 362s| 14700 | 3189 |458906 | 31.1 | 615M | 66 |1839 | 51k| 46k|9836 | 1 | 36k| 19 | 0.000000e+00 | -- | Inf | 2.38%
361.82/363.23 c 363s| 14800 | 3197 |460794 | 31.0 | 615M | 66 |1839 | 50k| 46k|9874 | 1 | 36k| 19 | 0.000000e+00 | -- | Inf | 2.38%
363.02/364.46 c 364s| 14900 | 3205 |463100 | 30.9 | 615M | 66 |1839 | 50k| 0 |9954 | 0 | 36k| 19 | 0.000000e+00 | -- | Inf | 2.38%
364.41/365.81 c 366s| 15000 | 3220 |464666 | 30.8 | 615M | 66 |1839 | 50k| 46k|9969 | 1 | 36k| 19 | 0.000000e+00 | -- | Inf | 2.38%
365.21/366.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
365.21/366.61 c 367s| 15100 | 3218 |466594 | 30.8 | 615M | 66 |1839 | 51k| 46k|9981 | 1 | 36k| 19 | 0.000000e+00 | -- | Inf | 2.38%
366.10/367.52 c 368s| 15200 | 3230 |469251 | 30.7 | 615M | 66 |1839 | 51k| 46k| 10k| 1 | 37k| 19 | 0.000000e+00 | -- | Inf | 2.38%
367.40/368.86 c 369s| 15300 | 3241 |471461 | 30.7 | 615M | 66 |1839 | 51k| 0 | 10k| 0 | 37k| 19 | 0.000000e+00 | -- | Inf | 2.38%
369.79/371.28 c 371s| 15400 | 3259 |475557 | 30.7 | 617M | 66 |1839 | 51k| 46k| 10k| 1 | 37k| 19 | 0.000000e+00 | -- | Inf | 2.38%
371.88/373.39 c 373s| 15500 | 3283 |478790 | 30.7 | 617M | 66 |1839 | 50k| 0 | 10k| 0 | 37k| 19 | 0.000000e+00 | -- | Inf | 2.38%
373.28/374.75 c 375s| 15600 | 3283 |481085 | 30.7 | 617M | 66 |1839 | 50k| 46k| 10k| 1 | 37k| 19 | 0.000000e+00 | -- | Inf | 2.38%
375.77/377.28 c 377s| 15700 | 3342 |487594 | 30.9 | 617M | 66 |1839 | 50k| 0 | 10k| 0 | 38k| 19 | 0.000000e+00 | -- | Inf | 2.38%
379.57/381.01 c 381s| 15800 | 3383 |493738 | 31.1 | 622M | 66 |1839 | 50k| 46k| 10k| 3 | 38k| 19 | 0.000000e+00 | -- | Inf | 2.38%
381.36/382.89 c 383s| 15900 | 3420 |497988 | 31.2 | 631M | 66 |1839 | 50k| 46k| 10k| 1 | 38k| 19 | 0.000000e+00 | -- | Inf | 2.38%
383.35/384.81 c 385s| 16000 | 3408 |500152 | 31.1 | 631M | 66 |1839 | 50k| 46k| 10k| 1 | 38k| 19 | 0.000000e+00 | -- | Inf | 2.38%
384.84/386.34 c 386s| 16100 | 3427 |504083 | 31.2 | 631M | 66 |1839 | 50k| 0 | 10k| 0 | 39k| 19 | 0.000000e+00 | -- | Inf | 2.38%
386.14/387.62 c 388s| 16200 | 3451 |509066 | 31.3 | 632M | 66 |1839 | 50k| 46k| 10k| 1 | 39k| 19 | 0.000000e+00 | -- | Inf | 2.38%
388.54/390.08 c 390s| 16300 | 3467 |511688 | 31.3 | 632M | 66 |1839 | 50k| 46k| 10k| 1 | 39k| 19 | 0.000000e+00 | -- | Inf | 2.38%
390.53/392.10 c 392s| 16400 | 3484 |515134 | 31.3 | 633M | 66 |1839 | 50k| 46k| 10k| 1 | 39k| 19 | 0.000000e+00 | -- | Inf | 2.38%
392.32/393.84 c 394s| 16500 | 3488 |516530 | 31.2 | 633M | 66 |1839 | 50k| 46k| 10k| 1 | 40k| 19 | 0.000000e+00 | -- | Inf | 2.38%
394.71/396.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
394.71/396.27 c 396s| 16600 | 3496 |518469 | 31.1 | 634M | 66 |1839 | 50k| 46k| 11k| 1 | 40k| 19 | 0.000000e+00 | -- | Inf | 2.38%
396.31/397.89 c 398s| 16700 | 3514 |521236 | 31.1 | 634M | 66 |1839 | 50k| 46k| 11k| 1 | 40k| 19 | 0.000000e+00 | -- | Inf | 2.38%
398.20/399.73 c 400s| 16800 | 3521 |523882 | 31.0 | 640M | 66 |1839 | 50k| 46k| 11k| 1 | 40k| 19 | 0.000000e+00 | -- | Inf | 2.38%
399.29/400.85 c 401s| 16900 | 3526 |526879 | 31.0 | 640M | 66 |1839 | 50k| 46k| 11k| 1 | 41k| 19 | 0.000000e+00 | -- | Inf | 2.38%
400.19/401.76 c 402s| 17000 | 3544 |529411 | 31.0 | 640M | 66 |1839 | 50k| 46k| 11k| 1 | 41k| 19 | 0.000000e+00 | -- | Inf | 2.38%
401.49/403.03 c 403s| 17100 | 3569 |532267 | 31.0 | 641M | 66 |1839 | 50k| 46k| 11k| 1 | 41k| 19 | 0.000000e+00 | -- | Inf | 2.38%
402.59/404.11 c 404s| 17200 | 3582 |534484 | 30.9 | 641M | 66 |1839 | 50k| 46k| 11k| 1 | 41k| 19 | 0.000000e+00 | -- | Inf | 2.38%
404.17/405.74 c 406s| 17300 | 3605 |537323 | 30.9 | 641M | 66 |1839 | 50k| 0 | 11k| 0 | 42k| 19 | 0.000000e+00 | -- | Inf | 2.38%
405.37/406.99 c 407s| 17400 | 3604 |539663 | 30.9 | 641M | 66 |1839 | 50k| 46k| 11k| 1 | 42k| 19 | 0.000000e+00 | -- | Inf | 2.38%
406.57/408.12 c 408s| 17500 | 3623 |543615 | 30.9 | 641M | 66 |1839 | 50k| 46k| 11k| 1 | 42k| 19 | 0.000000e+00 | -- | Inf | 2.38%
407.86/409.49 c 409s| 17600 | 3677 |548595 | 31.0 | 642M | 66 |1839 | 50k| 46k| 11k| 1 | 42k| 19 | 0.000000e+00 | -- | Inf | 2.38%
408.56/410.16 c 410s| 17700 | 3680 |549949 | 30.9 | 642M | 66 |1839 | 50k| 46k| 11k| 1 | 43k| 19 | 0.000000e+00 | -- | Inf | 2.38%
409.75/411.31 c 411s| 17800 | 3716 |553627 | 31.0 | 644M | 69 |1839 | 51k| 0 | 11k| 0 | 43k| 19 | 0.000000e+00 | -- | Inf | 2.38%
410.65/412.24 c 412s| 17900 | 3713 |556233 | 30.9 | 644M | 69 |1839 | 51k| 46k| 11k| 1 | 43k| 19 | 0.000000e+00 | -- | Inf | 2.38%
411.74/413.36 c 413s| 18000 | 3732 |559314 | 30.9 | 644M | 69 |1839 | 51k| 46k| 11k| 1 | 43k| 19 | 0.000000e+00 | -- | Inf | 2.38%
412.74/414.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
412.74/414.37 c 414s| 18100 | 3744 |561324 | 30.9 | 644M | 69 |1839 | 51k| 46k| 11k| 1 | 43k| 19 | 0.000000e+00 | -- | Inf | 2.38%
421.21/422.83 c 423s| 18200 | 3787 |568529 | 31.1 | 656M | 69 |1839 | 51k| 46k| 12k| 1 | 44k| 19 | 0.000000e+00 | -- | Inf | 2.38%
422.81/424.49 c 424s| 18300 | 3802 |572136 | 31.1 | 656M | 69 |1839 | 50k| 46k| 12k| 1 | 44k| 19 | 0.000000e+00 | -- | Inf | 2.38%
424.70/426.32 c 426s| 18400 | 3813 |575108 | 31.1 | 656M | 69 |1839 | 50k| 46k| 12k| 2 | 44k| 19 | 0.000000e+00 | -- | Inf | 2.38%
425.90/427.54 c 428s| 18500 | 3811 |576999 | 31.1 | 656M | 69 |1839 | 50k| 46k| 12k| 1 | 44k| 19 | 0.000000e+00 | -- | Inf | 2.38%
428.19/429.84 c 430s| 18600 | 3818 |581005 | 31.1 | 658M | 69 |1839 | 50k| 46k| 12k| 1 | 44k| 19 | 0.000000e+00 | -- | Inf | 2.38%
429.39/431.05 c 431s| 18700 | 3833 |584989 | 31.2 | 658M | 69 |1839 | 50k| 46k| 12k| 1 | 45k| 19 | 0.000000e+00 | -- | Inf | 2.38%
430.28/431.95 c 432s| 18800 | 3843 |587663 | 31.1 | 658M | 69 |1839 | 50k| 0 | 12k| 0 | 45k| 19 | 0.000000e+00 | -- | Inf | 2.38%
432.28/434.00 c 434s| 18900 | 3870 |594207 | 31.3 | 659M | 69 |1839 | 50k| 46k| 12k| 1 | 45k| 19 | 0.000000e+00 | -- | Inf | 2.38%
433.68/435.36 c 435s| 19000 | 3877 |598557 | 31.4 | 659M | 69 |1839 | 50k| 46k| 12k| 1 | 46k| 19 | 0.000000e+00 | -- | Inf | 2.38%
435.87/437.55 c 438s| 19100 | 3929 |604223 | 31.5 | 659M | 69 |1839 | 50k| 46k| 12k| 1 | 46k| 19 | 0.000000e+00 | -- | Inf | 2.38%
436.96/438.66 c 439s| 19200 | 3959 |607911 | 31.5 | 659M | 69 |1839 | 50k| 46k| 12k| 1 | 46k| 19 | 0.000000e+00 | -- | Inf | 2.38%
438.76/440.41 c 440s| 19300 | 4014 |613460 | 31.7 | 660M | 69 |1839 | 51k| 46k| 12k| 1 | 46k| 19 | 0.000000e+00 | -- | Inf | 2.38%
439.85/441.56 c 442s| 19400 | 4039 |616708 | 31.7 | 661M | 69 |1839 | 51k| 46k| 12k| 1 | 47k| 19 | 0.000000e+00 | -- | Inf | 2.38%
441.05/442.71 c 443s| 19500 | 4062 |620951 | 31.7 | 661M | 69 |1839 | 51k| 46k| 12k| 1 | 47k| 19 | 0.000000e+00 | -- | Inf | 2.38%
442.15/443.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
442.15/443.89 c 444s| 19600 | 4094 |624427 | 31.7 | 662M | 69 |1839 | 51k| 0 | 12k| 0 | 47k| 19 | 0.000000e+00 | -- | Inf | 2.38%
443.04/444.70 c 445s| 19700 | 4119 |626882 | 31.7 | 662M | 69 |1839 | 51k| 0 | 12k| 0 | 48k| 19 | 0.000000e+00 | -- | Inf | 2.38%
443.84/445.54 c 446s| 19800 | 4123 |628908 | 31.6 | 662M | 69 |1839 | 51k| 46k| 12k| 1 | 48k| 19 | 0.000000e+00 | -- | Inf | 2.38%
445.93/447.65 c 448s| 19900 | 4136 |631492 | 31.6 | 662M | 69 |1839 | 51k| 46k| 12k| 0 | 48k| 19 | 0.000000e+00 | -- | Inf | 2.38%
447.03/448.74 c 449s| 20000 | 4147 |633233 | 31.5 | 662M | 69 |1839 | 51k| 0 | 12k| 0 | 48k| 19 | 0.000000e+00 | -- | Inf | 2.38%
448.22/449.96 c 450s| 20100 | 4149 |636051 | 31.5 | 662M | 69 |1839 | 51k| 46k| 12k| 1 | 49k| 19 | 0.000000e+00 | -- | Inf | 2.38%
449.52/451.27 c 451s| 20200 | 4158 |637897 | 31.5 | 663M | 69 |1839 | 51k| 46k| 12k| 1 | 49k| 19 | 0.000000e+00 | -- | Inf | 2.38%
451.21/452.96 c 453s| 20300 | 4157 |640637 | 31.4 | 663M | 69 |1839 | 51k| 46k| 12k| 1 | 49k| 19 | 0.000000e+00 | -- | Inf | 2.38%
452.31/454.04 c 454s| 20400 | 4180 |644570 | 31.5 | 663M | 69 |1839 | 51k| 0 | 12k| 0 | 49k| 19 | 0.000000e+00 | -- | Inf | 2.38%
453.31/455.03 c 455s| 20500 | 4199 |647474 | 31.5 | 663M | 69 |1839 | 51k| 46k| 12k| 1 | 49k| 19 | 0.000000e+00 | -- | Inf | 2.38%
454.10/455.87 c 456s| 20600 | 4194 |649707 | 31.4 | 663M | 69 |1839 | 51k| 0 | 13k| 0 | 50k| 19 | 0.000000e+00 | -- | Inf | 2.38%
455.20/456.95 c 457s| 20700 | 4217 |652338 | 31.4 | 664M | 69 |1839 | 51k| 46k| 13k| 2 | 50k| 19 | 0.000000e+00 | -- | Inf | 2.38%
457.79/459.58 c 460s| 20800 | 4221 |654744 | 31.4 | 664M | 69 |1839 | 51k| 0 | 13k| 0 | 50k| 19 | 0.000000e+00 | -- | Inf | 2.38%
458.58/460.33 c 460s| 20900 | 4220 |656357 | 31.3 | 664M | 69 |1839 | 51k| 0 | 13k| 0 | 50k| 19 | 0.000000e+00 | -- | Inf | 2.38%
461.77/463.58 c 464s| 21000 | 4229 |660477 | 31.3 | 664M | 69 |1839 | 51k| 46k| 13k| 1 | 51k| 19 | 0.000000e+00 | -- | Inf | 2.38%
462.77/464.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
462.77/464.59 c 465s| 21100 | 4258 |663834 | 31.4 | 665M | 69 |1839 | 51k| 46k| 13k| 1 | 51k| 19 | 0.000000e+00 | -- | Inf | 2.38%
463.57/465.39 c 465s| 21200 | 4253 |665587 | 31.3 | 665M | 69 |1839 | 51k| 0 | 13k| 0 | 51k| 19 | 0.000000e+00 | -- | Inf | 2.38%
464.46/466.28 c 466s| 21300 | 4263 |667440 | 31.2 | 665M | 69 |1839 | 51k| 46k| 13k| 1 | 51k| 19 | 0.000000e+00 | -- | Inf | 2.38%
465.36/467.17 c 467s| 21400 | 4281 |669386 | 31.2 | 665M | 69 |1839 | 51k| 46k| 13k| 1 | 52k| 19 | 0.000000e+00 | -- | Inf | 2.38%
467.05/468.85 c 469s| 21500 | 4318 |673877 | 31.2 | 666M | 69 |1839 | 51k| 46k| 13k| 1 | 52k| 19 | 0.000000e+00 | -- | Inf | 2.38%
468.15/469.97 c 470s| 21600 | 4351 |677294 | 31.3 | 667M | 69 |1839 | 51k| 46k| 13k| 1 | 52k| 19 | 0.000000e+00 | -- | Inf | 2.38%
469.44/471.29 c 471s| 21700 | 4398 |682120 | 31.3 | 667M | 69 |1839 | 51k| 46k| 13k| 1 | 52k| 19 | 0.000000e+00 | -- | Inf | 2.38%
470.54/472.36 c 472s| 21800 | 4413 |685727 | 31.4 | 667M | 69 |1839 | 51k| 46k| 13k| 1 | 53k| 19 | 0.000000e+00 | -- | Inf | 2.38%
471.34/473.11 c 473s| 21900 | 4408 |687574 | 31.3 | 667M | 69 |1839 | 51k| 0 | 13k| 0 | 53k| 19 | 0.000000e+00 | -- | Inf | 2.38%
472.24/474.05 c 474s| 22000 | 4432 |689761 | 31.2 | 667M | 69 |1839 | 52k| 46k| 13k| 1 | 53k| 19 | 0.000000e+00 | -- | Inf | 2.38%
473.23/475.07 c 475s| 22100 | 4468 |692000 | 31.2 | 669M | 69 |1839 | 52k| 46k| 13k| 1 | 53k| 19 | 0.000000e+00 | -- | Inf | 2.38%
474.12/475.93 c 476s| 22200 | 4484 |694347 | 31.2 | 669M | 69 |1839 | 52k| 46k| 13k| 0 | 53k| 19 | 0.000000e+00 | -- | Inf | 2.38%
475.33/477.18 c 477s| 22300 | 4500 |699854 | 31.3 | 669M | 69 |1839 | 51k| 46k| 13k| 1 | 54k| 19 | 0.000000e+00 | -- | Inf | 2.38%
476.52/478.38 c 478s| 22400 | 4511 |702628 | 31.3 | 669M | 69 |1839 | 52k| 46k| 13k| 1 | 54k| 19 | 0.000000e+00 | -- | Inf | 2.38%
478.41/480.20 c 480s| 22500 | 4505 |704682 | 31.2 | 669M | 69 |1839 | 52k| 46k| 13k| 1 | 54k| 19 | 0.000000e+00 | -- | Inf | 2.38%
480.80/482.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
480.80/482.62 c 483s| 22600 | 4526 |709541 | 31.3 | 669M | 69 |1839 | 52k| 46k| 13k| 1 | 54k| 19 | 0.000000e+00 | -- | Inf | 2.38%
481.50/483.38 c 483s| 22700 | 4531 |711498 | 31.2 | 669M | 69 |1839 | 52k| 46k| 13k| 1 | 55k| 19 | 0.000000e+00 | -- | Inf | 2.38%
482.99/484.85 c 485s| 22800 | 4548 |714631 | 31.2 | 671M | 69 |1839 | 52k| 46k| 13k| 1 | 55k| 19 | 0.000000e+00 | -- | Inf | 2.38%
483.79/485.63 c 486s| 22900 | 4558 |716375 | 31.2 | 672M | 69 |1839 | 52k| 46k| 13k| 1 | 55k| 19 | 0.000000e+00 | -- | Inf | 2.38%
484.99/486.85 c 487s| 23000 | 4572 |719425 | 31.2 | 672M | 69 |1839 | 52k| 46k| 13k| 1 | 55k| 19 | 0.000000e+00 | -- | Inf | 2.38%
487.48/489.31 c 489s| 23100 | 4573 |722561 | 31.2 | 672M | 69 |1839 | 52k| 46k| 13k| 1 | 56k| 19 | 0.000000e+00 | -- | Inf | 2.38%
489.37/491.28 c 491s| 23200 | 4591 |725000 | 31.2 | 672M | 69 |1839 | 51k| 46k| 14k| 1 | 56k| 19 | 0.000000e+00 | -- | Inf | 2.38%
490.77/492.68 c 493s| 23300 | 4626 |729613 | 31.2 | 672M | 69 |1839 | 51k| 46k| 14k| 1 | 56k| 19 | 0.000000e+00 | -- | Inf | 2.38%
492.56/494.45 c 494s| 23400 | 4642 |734383 | 31.3 | 673M | 69 |1839 | 51k| 46k| 14k| 2 | 57k| 19 | 0.000000e+00 | -- | Inf | 2.38%
493.36/495.26 c 495s| 23500 | 4642 |735917 | 31.2 | 673M | 69 |1839 | 51k| 0 | 14k| 0 | 57k| 19 | 0.000000e+00 | -- | Inf | 2.38%
494.35/496.21 c 496s| 23600 | 4657 |738402 | 31.2 | 674M | 69 |1839 | 51k| 46k| 14k| 1 | 57k| 19 | 0.000000e+00 | -- | Inf | 2.38%
495.15/497.02 c 497s| 23700 | 4664 |740445 | 31.1 | 674M | 69 |1839 | 51k| 46k| 14k| 1 | 58k| 19 | 0.000000e+00 | -- | Inf | 2.38%
496.94/498.88 c 499s| 23800 | 4667 |742776 | 31.1 | 674M | 69 |1839 | 51k| 46k| 14k| 1 | 58k| 19 | 0.000000e+00 | -- | Inf | 2.38%
498.14/500.00 c 500s| 23900 | 4675 |745555 | 31.1 | 674M | 69 |1839 | 51k| 46k| 14k| 1 | 58k| 19 | 0.000000e+00 | -- | Inf | 2.38%
500.43/502.30 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
500.43/502.30 c (run 1, node 23998) performing user restart
500.43/502.30 c
500.43/502.30 c (restart) converted 30 cuts from the global cut pool into linear constraints
500.43/502.30 c
500.43/502.38 c presolving:
500.53/502.40 c (round 1, fast) 0 del vars, 971 del conss, 1 add conss, 0 chg bounds, 46 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 12870 clqs
500.53/502.42 c (round 2, medium) 0 del vars, 971 del conss, 2 add conss, 0 chg bounds, 121 chg sides, 332 chg coeffs, 0 upgd conss, 0 impls, 12870 clqs
500.53/502.48 c (round 3, exhaustive) 0 del vars, 983 del conss, 6 add conss, 0 chg bounds, 123 chg sides, 460 chg coeffs, 39 upgd conss, 0 impls, 12870 clqs
500.73/502.60 c (round 4, exhaustive) 0 del vars, 1403 del conss, 6 add conss, 0 chg bounds, 125 chg sides, 3687 chg coeffs, 39 upgd conss, 0 impls, 12870 clqs
500.83/502.70 c (round 5, exhaustive) 0 del vars, 1457 del conss, 6 add conss, 0 chg bounds, 125 chg sides, 3701 chg coeffs, 39 upgd conss, 0 impls, 12870 clqs
500.93/502.82 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
500.93/502.82 c 0 deleted vars, 1457 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 125 changed sides, 3844 changed coefficients
500.93/502.82 c 0 implications, 12870 cliques
500.93/502.82 c presolved problem has 1839 variables (1839 bin, 0 int, 0 cont) and 49573 constraints
500.93/502.82 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
500.93/502.82 c 3711 constraints of type <knapsack>
500.93/502.82 c 12859 constraints of type <setppc>
500.93/502.82 c 4 constraints of type <and>
500.93/502.82 c 35 constraints of type <linear>
500.93/502.82 c 32964 constraints of type <logicor>
500.93/502.82 c transformed objective value is always integral (scale: 1)
500.93/502.82 c Presolving Time: 1.27
500.93/502.82 c
501.03/502.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
501.03/502.92 c 503s| 1 | 0 |752461 | - | 630M | 0 |1839 | 49k| 46k| 0 | 0 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
503.13/505.04 c 505s| 1 | 0 |752518 | - | 635M | 0 |1839 | 49k| 46k| 10 | 1 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
504.82/506.79 c 507s| 1 | 0 |752559 | - | 635M | 0 |1839 | 49k| 46k| 18 | 2 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
505.72/507.61 c 508s| 1 | 0 |752593 | - | 636M | 0 |1839 | 49k| 46k| 24 | 3 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
506.41/508.33 c 508s| 1 | 0 |752617 | - | 636M | 0 |1839 | 49k| 46k| 32 | 4 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
506.81/508.75 c 509s| 1 | 0 |752648 | - | 636M | 0 |1839 | 49k| 46k| 38 | 5 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
507.12/509.07 c 509s| 1 | 0 |752856 | - | 637M | 0 |1839 | 49k| 46k| 51 | 6 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
508.21/510.12 c 510s| 1 | 0 |753077 | - | 643M | 0 |1839 | 49k| 46k| 62 | 7 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
508.41/510.32 c 510s| 1 | 0 |753349 | - | 648M | 0 |1839 | 49k| 46k| 72 | 8 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
508.61/510.58 c 511s| 1 | 0 |753589 | - | 650M | 0 |1839 | 49k| 46k| 87 | 9 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
508.91/510.89 c 511s| 1 | 0 |753907 | - | 658M | 0 |1839 | 49k| 46k| 100 | 10 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
509.11/511.10 c 511s| 1 | 0 |754311 | - | 662M | 0 |1839 | 49k| 46k| 114 | 11 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
509.40/511.36 c 511s| 1 | 0 |754863 | - | 666M | 0 |1839 | 49k| 46k| 122 | 12 | 58k| 19 | 0.000000e+00 | -- | Inf | unknown
515.09/517.03 c 517s| 1 | 2 |759193 | - | 666M | 0 |1839 | 49k| 46k| 122 | 12 | 58k| 38 | 0.000000e+00 | -- | Inf | unknown
577.12/579.27 c 579s| 100 | 97 |904842 | 37.3 | 670M | 33 |1839 | 49k| 0 | 285 | 0 | 59k| 38 | 0.000000e+00 | -- | Inf | unknown
604.44/606.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
604.44/606.69 c 607s| 200 | 179 |983325 | 40.4 | 697M | 46 |1839 | 50k| 46k| 463 | 1 | 59k| 38 | 0.000000e+00 | -- | Inf | unknown
614.61/616.83 c 617s| 300 | 239 | 1015k| 41.6 | 701M | 54 |1839 | 50k| 46k| 525 | 1 | 59k| 38 | 0.000000e+00 | -- | Inf | unknown
644.73/647.05 c 647s| 400 | 302 | 1094k| 44.7 | 707M | 54 |1839 | 50k| 46k| 639 | 1 | 60k| 38 | 0.000000e+00 | -- | Inf | unknown
684.41/686.88 c 687s| 500 | 375 | 1185k| 48.2 | 708M | 54 |1839 | 50k| 46k| 725 | 2 | 60k| 38 | 0.000000e+00 | -- | Inf | unknown
732.39/734.98 c 735s| 600 | 431 | 1293k| 52.4 | 719M | 54 |1839 | 50k| 46k| 845 | 1 | 60k| 38 | 0.000000e+00 | -- | Inf | unknown
752.63/755.21 c 755s| 700 | 481 | 1353k| 54.6 | 720M | 54 |1839 | 50k| 0 | 920 | 0 | 60k| 38 | 0.000000e+00 | -- | Inf | unknown
774.37/777.03 c 777s| 800 | 562 | 1407k| 56.6 | 722M | 54 |1839 | 50k| 46k| 973 | 1 | 61k| 38 | 0.000000e+00 | -- | Inf | unknown
799.19/801.98 c 802s| 900 | 629 | 1479k| 59.2 | 727M | 54 |1839 | 50k| 46k|1074 | 1 | 61k| 38 | 0.000000e+00 | -- | Inf | unknown
813.95/816.73 c 817s| 1000 | 710 | 1522k| 60.7 | 738M | 54 |1839 | 50k| 46k|1400 | 1 | 61k| 38 | 0.000000e+00 | -- | Inf | unknown
847.76/850.62 c 851s| 1100 | 780 | 1614k| 64.1 | 744M | 54 |1839 | 50k| 46k|1617 | 1 | 61k| 38 | 0.000000e+00 | -- | Inf | unknown
918.14/921.25 c 921s| 1200 | 853 | 1781k| 70.5 | 754M | 54 |1839 | 50k| 46k|1967 | 1 | 62k| 38 | 0.000000e+00 | -- | Inf | unknown
957.72/960.91 c 961s| 1300 | 926 | 1883k| 74.3 | 754M | 54 |1839 | 50k| 46k|2048 | 1 | 62k| 38 | 0.000000e+00 | -- | Inf | unknown
1000.20/1003.58 c 1004s| 1400 | 1014 | 1992k| 78.2 | 755M | 54 |1839 | 50k| 46k|2243 | 1 | 62k| 38 | 0.000000e+00 | -- | Inf | unknown
1046.67/1050.19 c 1050s| 1500 | 1108 | 2104k| 82.4 | 755M | 54 |1839 | 50k| 46k|2416 | 1 | 63k| 38 | 0.000000e+00 | -- | Inf | unknown
1088.95/1092.54 c 1093s| 1600 | 1185 | 2213k| 86.3 | 778M | 54 |1839 | 50k| 46k|2794 | 1 | 63k| 38 | 0.000000e+00 | -- | Inf | unknown
1149.38/1153.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1149.38/1153.12 c 1153s| 1700 | 1278 | 2350k| 91.3 | 784M | 54 |1839 | 50k| 46k|3091 | 1 | 63k| 38 | 0.000000e+00 | -- | Inf | unknown
1187.36/1191.29 c 1191s| 1800 | 1363 | 2443k| 94.5 | 787M | 54 |1839 | 50k| 46k|3423 | 1 | 63k| 38 | 0.000000e+00 | -- | Inf | unknown
1214.38/1218.38 c 1218s| 1900 | 1441 | 2522k| 97.2 | 792M | 54 |1839 | 51k| 46k|3644 | 1 | 64k| 38 | 0.000000e+00 | -- | Inf | unknown
1234.72/1238.77 c 1239s| 2000 | 1533 | 2572k| 98.8 | 793M | 54 |1839 | 51k| 46k|3911 | 1 | 64k| 38 | 0.000000e+00 | -- | Inf | unknown
1277.39/1281.59 c 1282s| 2100 | 1622 | 2688k| 102.8 | 805M | 54 |1839 | 51k| 46k|4377 | 1 | 65k| 38 | 0.000000e+00 | -- | Inf | unknown
1319.16/1323.47 c 1323s| 2200 | 1700 | 2785k| 106.1 | 825M | 54 |1839 | 51k| 46k|4755 | 1 | 65k| 38 | 0.000000e+00 | -- | Inf | unknown
1358.93/1363.33 c 1363s| 2300 | 1789 | 2880k| 109.3 | 826M | 54 |1839 | 51k| 46k|5129 | 1 | 65k| 38 | 0.000000e+00 | -- | Inf | unknown
1401.62/1406.15 c 1406s| 2400 | 1861 | 2990k| 113.1 | 832M | 54 |1839 | 50k| 46k|5511 | 1 | 65k| 38 | 0.000000e+00 | -- | Inf | unknown
1426.93/1431.53 c 1432s| 2500 | 1942 | 3059k| 115.3 | 833M | 54 |1839 | 50k| 46k|5668 | 1 | 66k| 38 | 0.000000e+00 | -- | Inf | unknown
1445.57/1450.26 c 1450s| 2600 | 2003 | 3111k| 116.8 | 833M | 55 |1839 | 50k| 0 |5704 | 0 | 66k| 38 | 0.000000e+00 | -- | Inf | unknown
1446.96/1451.65 c 1452s| 2700 | 2022 | 3115k| 116.5 | 833M | 65 |1839 | 51k| 46k|5745 | 1 | 66k| 38 | 0.000000e+00 | -- | Inf | unknown
1453.05/1457.75 c 1458s| 2800 | 2069 | 3136k| 116.9 | 833M | 65 |1839 | 51k| 46k|5799 | 1 | 66k| 38 | 0.000000e+00 | -- | Inf | unknown
1459.43/1464.19 c 1464s| 2900 | 2096 | 3161k| 117.4 | 835M | 65 |1839 | 51k| 46k|5855 | 1 | 67k| 38 | 0.000000e+00 | -- | Inf | unknown
1480.06/1484.82 c 1485s| 3000 | 2139 | 3224k| 119.3 | 835M | 65 |1839 | 50k| 46k|5997 | 2 | 67k| 38 | 0.000000e+00 | -- | Inf | unknown
1497.61/1502.45 c 1502s| 3100 | 2213 | 3279k| 120.9 | 835M | 65 |1839 | 50k| 46k|6111 | 1 | 67k| 38 | 0.000000e+00 | -- | Inf | unknown
1514.86/1519.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1514.86/1519.72 c 1520s| 3200 | 2262 | 3325k| 122.1 | 835M | 65 |1839 | 50k| 46k|6193 | 1 | 67k| 38 | 0.000000e+00 | -- | Inf | unknown
1531.21/1536.17 c 1536s| 3300 | 2337 | 3374k| 123.4 | 837M | 65 |1839 | 50k| 46k|6288 | 2 | 68k| 38 | 0.000000e+00 | -- | Inf | unknown
1537.89/1542.88 c 1543s| 3400 | 2349 | 3396k| 123.8 | 838M | 66 |1839 | 50k| 46k|6358 | 1 | 68k| 38 | 0.000000e+00 | -- | Inf | unknown
1559.03/1564.09 c 1564s| 3500 | 2403 | 3461k| 125.7 | 838M | 66 |1839 | 50k| 46k|6394 | 1 | 68k| 38 | 0.000000e+00 | -- | Inf | unknown
1589.14/1594.21 c 1594s| 3600 | 2476 | 3544k| 128.3 | 840M | 66 |1839 | 50k| 46k|6536 | 1 | 68k| 38 | 0.000000e+00 | -- | Inf | unknown
1602.50/1607.69 c 1608s| 3700 | 2525 | 3584k| 129.2 | 841M | 66 |1839 | 50k| 46k|6629 | 1 | 69k| 38 | 0.000000e+00 | -- | Inf | unknown
1619.86/1625.05 c 1625s| 3800 | 2607 | 3632k| 130.5 | 843M | 66 |1839 | 50k| 46k|6880 | 1 | 69k| 38 | 0.000000e+00 | -- | Inf | unknown
1650.37/1655.62 c 1656s| 3900 | 2682 | 3714k| 133.0 | 845M | 66 |1839 | 50k| 46k|7124 | 1 | 69k| 38 | 0.000000e+00 | -- | Inf | unknown
1680.38/1685.71 c 1686s| 4000 | 2743 | 3787k| 135.1 | 845M | 66 |1839 | 50k| 0 |7306 | 0 | 70k| 38 | 0.000000e+00 | -- | Inf | unknown
1705.01/1710.42 c 1710s| 4100 | 2798 | 3849k| 136.8 | 846M | 66 |1839 | 50k| 46k|7421 | 1 | 70k| 38 | 0.000000e+00 | -- | Inf | unknown
1730.54/1736.02 c 1736s| 4200 | 2871 | 3921k| 138.9 | 848M | 66 |1839 | 50k| 46k|7711 | 2 | 70k| 38 | 0.000000e+00 | -- | Inf | unknown
1815.78/1821.51 c 1822s| 4300 | 2960 | 4129k| 145.8 | 851M | 66 |1839 | 50k| 46k|7839 | 1 | 71k| 38 | 0.000000e+00 | -- | Inf | unknown
1869.63/1875.52 c 1876s| 4400 | 3031 | 4247k| 149.4 | 851M | 66 |1839 | 50k| 46k|8095 | 1 | 71k| 38 | 0.000000e+00 | -- | Inf | unknown
1898.34/1904.30 c 1904s| 4500 | 3119 | 4329k| 151.7 | 858M | 66 |1839 | 50k| 46k|8314 | 1 | 71k| 38 | 0.000000e+00 | -- | Inf | unknown
1921.67/1927.71 c 1928s| 4600 | 3192 | 4400k| 153.7 | 859M | 67 |1839 | 50k| 46k|8535 | 1 | 72k| 38 | 0.000000e+00 | -- | Inf | unknown
1935.93/1942.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1935.93/1942.04 c 1942s| 4700 | 3246 | 4443k| 154.7 | 859M | 67 |1839 | 51k| 46k|8620 | 1 | 72k| 38 | 0.000000e+00 | -- | Inf | unknown
1949.49/1955.68 c 1956s| 4800 | 3279 | 4492k| 155.8 | 860M | 67 |1839 | 51k| 46k|8668 | 0 | 72k| 38 | 0.000000e+00 | -- | Inf | unknown
1952.08/1958.26 c 1958s| 4900 | 3326 | 4501k| 155.6 | 861M | 67 |1839 | 51k| 46k|8735 | 1 | 72k| 38 | 0.000000e+00 | -- | Inf | unknown
1953.27/1959.44 c 1959s| 5000 | 3348 | 4505k| 155.2 | 861M | 67 |1839 | 51k| 46k|8748 | 1 | 72k| 38 | 0.000000e+00 | -- | Inf | unknown
1976.41/1982.62 c 1983s| 5100 | 3405 | 4564k| 156.7 | 863M | 67 |1839 | 51k| 46k|8917 | 1 | 73k| 38 | 0.000000e+00 | -- | Inf | unknown
2007.72/2014.07 c 2014s| 5200 | 3475 | 4638k| 158.7 | 863M | 67 |1839 | 50k| 46k|9057 | 1 | 73k| 38 | 0.000000e+00 | -- | Inf | unknown
2029.95/2036.35 c 2036s| 5300 | 3549 | 4701k| 160.3 | 865M | 67 |1839 | 50k| 46k|9320 | 1 | 74k| 38 | 0.000000e+00 | -- | Inf | unknown
2054.98/2061.45 c 2061s| 5400 | 3590 | 4755k| 161.6 | 867M | 67 |1839 | 50k| 46k|9485 | 1 | 74k| 38 | 0.000000e+00 | -- | Inf | unknown
2086.19/2092.78 c 2093s| 5500 | 3662 | 4840k| 163.9 | 867M | 67 |1839 | 50k| 46k|9745 | 1 | 74k| 38 | 0.000000e+00 | -- | Inf | unknown
2113.62/2120.22 c 2120s| 5600 | 3731 | 4919k| 166.0 | 870M | 67 |1839 | 50k| 46k|9995 | 1 | 74k| 38 | 0.000000e+00 | -- | Inf | unknown
2146.33/2153.08 c 2153s| 5700 | 3797 | 5004k| 168.4 | 870M | 67 |1839 | 50k| 46k| 10k| 1 | 75k| 38 | 0.000000e+00 | -- | Inf | unknown
2184.22/2191.10 c 2191s| 5800 | 3864 | 5099k| 171.0 | 875M | 67 |1839 | 50k| 46k| 10k| 1 | 75k| 38 | 0.000000e+00 | -- | Inf | unknown
2214.23/2221.17 c 2221s| 5900 | 3935 | 5181k| 173.2 | 882M | 67 |1839 | 50k| 46k| 10k| 1 | 75k| 38 | 0.000000e+00 | -- | Inf | unknown
2242.85/2249.86 c 2250s| 6000 | 4005 | 5260k| 175.2 | 883M | 67 |1839 | 50k| 46k| 11k| 1 | 75k| 38 | 0.000000e+00 | -- | Inf | unknown
2266.37/2273.45 c 2273s| 6100 | 4060 | 5323k| 176.7 | 884M | 67 |1839 | 50k| 0 | 11k| 0 | 76k| 38 | 0.000000e+00 | -- | Inf | unknown
2305.96/2313.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2305.96/2313.12 c 2313s| 6200 | 4113 | 5421k| 179.4 | 884M | 67 |1839 | 50k| 46k| 11k| 1 | 76k| 38 | 0.000000e+00 | -- | Inf | unknown
2329.29/2336.59 c 2337s| 6300 | 4170 | 5481k| 180.8 | 885M | 67 |1839 | 50k| 46k| 11k| 1 | 76k| 38 | 0.000000e+00 | -- | Inf | unknown
2351.93/2359.21 c 2359s| 6400 | 4225 | 5546k| 182.3 | 886M | 67 |1839 | 50k| 46k| 11k| 1 | 76k| 38 | 0.000000e+00 | -- | Inf | unknown
2383.23/2390.68 c 2391s| 6500 | 4296 | 5613k| 183.9 | 891M | 67 |1839 | 50k| 46k| 12k| 1 | 76k| 38 | 0.000000e+00 | -- | Inf | unknown
2413.74/2421.21 c 2421s| 6600 | 4371 | 5689k| 185.8 | 894M | 67 |1839 | 50k| 46k| 12k| 2 | 77k| 38 | 0.000000e+00 | -- | Inf | unknown
2445.46/2453.06 c 2453s| 6700 | 4432 | 5774k| 188.0 | 895M | 67 |1839 | 50k| 46k| 12k| 1 | 77k| 38 | 0.000000e+00 | -- | Inf | unknown
2464.80/2472.45 c 2472s| 6800 | 4481 | 5832k| 189.2 | 896M | 67 |1839 | 50k| 46k| 12k| 1 | 77k| 38 | 0.000000e+00 | -- | Inf | unknown
2498.11/2505.83 c 2506s| 6900 | 4531 | 5916k| 191.3 | 902M | 67 |1839 | 50k| 46k| 13k| 1 | 77k| 38 | 0.000000e+00 | -- | Inf | unknown
2522.84/2530.64 c 2531s| 7000 | 4592 | 5985k| 193.0 | 904M | 67 |1839 | 50k| 46k| 13k| 1 | 78k| 38 | 0.000000e+00 | -- | Inf | unknown
2549.46/2557.33 c 2557s| 7100 | 4638 | 6055k| 194.6 | 904M | 67 |1839 | 50k| 46k| 13k| 1 | 78k| 38 | 0.000000e+00 | -- | Inf | unknown
2567.30/2575.20 c 2575s| 7200 | 4711 | 6111k| 195.8 | 907M | 67 |1839 | 50k| 46k| 13k| 1 | 78k| 38 | 0.000000e+00 | -- | Inf | unknown
2577.57/2585.58 c 2586s| 7300 | 4772 | 6144k| 196.2 | 910M | 67 |1839 | 50k| 46k| 13k| 1 | 78k| 38 | 0.000000e+00 | -- | Inf | unknown
2593.13/2601.13 c 2601s| 7400 | 4825 | 6191k| 197.1 | 911M | 67 |1839 | 50k| 46k| 13k| 1 | 79k| 38 | 0.000000e+00 | -- | Inf | unknown
2640.59/2648.70 c 2649s| 7500 | 4897 | 6304k| 200.0 | 912M | 67 |1839 | 50k| 46k| 14k| 1 | 79k| 38 | 0.000000e+00 | -- | Inf | unknown
2663.73/2671.98 c 2672s| 7600 | 4955 | 6359k| 201.1 | 912M | 67 |1839 | 50k| 0 | 14k| 0 | 79k| 38 | 0.000000e+00 | -- | Inf | unknown
2678.08/2686.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2678.08/2686.33 c 2686s| 7700 | 4996 | 6398k| 201.7 | 912M | 67 |1839 | 50k| 46k| 14k| 1 | 80k| 38 | 0.000000e+00 | -- | Inf | unknown
2687.76/2696.10 c 2696s| 7800 | 5052 | 6428k| 202.0 | 913M | 67 |1839 | 50k| 46k| 14k| 0 | 80k| 38 | 0.000000e+00 | -- | Inf | unknown
2743.39/2751.80 c 2752s| 7900 | 5117 | 6535k| 204.7 | 913M | 67 |1839 | 50k| 0 | 14k| 0 | 80k| 38 | 0.000000e+00 | -- | Inf | unknown
2769.33/2777.85 c 2778s| 8000 | 5196 | 6601k| 206.2 | 916M | 67 |1839 | 50k| 46k| 15k| 1 | 81k| 38 | 0.000000e+00 | -- | Inf | unknown
2781.39/2789.90 c 2790s| 8100 | 5253 | 6644k| 206.9 | 921M | 67 |1839 | 50k| 46k| 15k| 3 | 81k| 38 | 0.000000e+00 | -- | Inf | unknown
2789.36/2797.90 c 2798s| 8200 | 5313 | 6672k| 207.1 | 922M | 67 |1839 | 50k| 0 | 15k| 0 | 81k| 38 | 0.000000e+00 | -- | Inf | unknown
2806.52/2815.19 c 2815s| 8300 | 5381 | 6725k| 208.1 | 922M | 67 |1839 | 50k| 46k| 15k| 1 | 82k| 38 | 0.000000e+00 | -- | Inf | unknown
2824.06/2832.76 c 2833s| 8400 | 5447 | 6776k| 209.0 | 923M | 67 |1839 | 50k| 46k| 15k| 1 | 82k| 38 | 0.000000e+00 | -- | Inf | unknown
2839.91/2848.62 c 2849s| 8500 | 5484 | 6823k| 209.8 | 923M | 67 |1839 | 50k| 46k| 15k| 3 | 82k| 38 | 0.000000e+00 | -- | Inf | unknown
2865.64/2874.46 c 2874s| 8600 | 5551 | 6902k| 211.6 | 925M | 67 |1839 | 50k| 46k| 16k| 1 | 82k| 38 | 0.000000e+00 | -- | Inf | unknown
2880.70/2889.53 c 2890s| 8700 | 5626 | 6956k| 212.6 | 926M | 67 |1839 | 50k| 46k| 16k| 1 | 82k| 38 | 0.000000e+00 | -- | Inf | unknown
2890.37/2899.28 c 2899s| 8800 | 5660 | 6989k| 213.0 | 926M | 67 |1839 | 50k| 46k| 16k| 1 | 83k| 38 | 0.000000e+00 | -- | Inf | unknown
2909.61/2918.51 c 2919s| 8900 | 5709 | 7044k| 214.0 | 926M | 67 |1839 | 50k| 0 | 16k| 0 | 83k| 38 | 0.000000e+00 | -- | Inf | unknown
2929.86/2938.84 c 2939s| 9000 | 5769 | 7097k| 214.9 | 927M | 67 |1839 | 50k| 46k| 16k| 1 | 83k| 38 | 0.000000e+00 | -- | Inf | unknown
2951.70/2960.77 c 2961s| 9100 | 5836 | 7161k| 216.2 | 930M | 67 |1839 | 50k| 46k| 16k| 1 | 83k| 38 | 0.000000e+00 | -- | Inf | unknown
2974.74/2983.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2974.74/2983.82 c 2984s| 9200 | 5906 | 7232k| 217.7 | 931M | 67 |1839 | 50k| 46k| 16k| 1 | 84k| 38 | 0.000000e+00 | -- | Inf | unknown
2986.10/2995.27 c 2995s| 9300 | 5967 | 7273k| 218.3 | 933M | 67 |1839 | 50k| 46k| 16k| 1 | 84k| 38 | 0.000000e+00 | -- | Inf | unknown
2994.98/3004.13 c 3004s| 9400 | 6028 | 7302k| 218.5 | 933M | 67 |1839 | 50k| 0 | 16k| 0 | 84k| 38 | 0.000000e+00 | -- | Inf | unknown
3000.46/3009.63 c 3010s| 9500 | 6080 | 7324k| 218.5 | 935M | 67 |1839 | 51k| 46k| 16k| 1 | 84k| 38 | 0.000000e+00 | -- | Inf | unknown
3003.75/3012.95 c 3013s| 9600 | 6104 | 7339k| 218.3 | 936M | 67 |1839 | 51k| 46k| 17k| 1 | 84k| 38 | 0.000000e+00 | -- | Inf | unknown
3006.85/3016.03 c 3016s| 9700 | 6151 | 7351k| 218.0 | 937M | 67 |1839 | 51k| 0 | 17k| 0 | 85k| 38 | 0.000000e+00 | -- | Inf | unknown
3016.21/3025.42 c 3025s| 9800 | 6217 | 7385k| 218.4 | 937M | 67 |1839 | 51k| 46k| 17k| 1 | 85k| 38 | 0.000000e+00 | -- | Inf | unknown
3019.91/3029.18 c 3029s| 9900 | 6245 | 7398k| 218.1 | 940M | 67 |1839 | 51k| 0 | 17k| 0 | 85k| 38 | 0.000000e+00 | -- | Inf | unknown
3024.68/3033.92 c 3034s| 10000 | 6265 | 7416k| 218.0 | 940M | 67 |1839 | 51k| 46k| 17k| 1 | 85k| 38 | 0.000000e+00 | -- | Inf | unknown
3033.46/3042.74 c 3043s| 10100 | 6290 | 7445k| 218.2 | 945M | 67 |1839 | 51k| 46k| 18k| 1 | 85k| 38 | 0.000000e+00 | -- | Inf | unknown
3041.43/3050.77 c 3051s| 10200 | 6336 | 7474k| 218.4 | 945M | 67 |1839 | 51k| 46k| 18k| 1 | 86k| 38 | 0.000000e+00 | -- | Inf | unknown
3056.00/3065.33 c 3065s| 10300 | 6385 | 7521k| 219.2 | 947M | 67 |1839 | 51k| 46k| 18k| 1 | 86k| 38 | 0.000000e+00 | -- | Inf | unknown
3065.47/3074.89 c 3075s| 10400 | 6419 | 7552k| 219.4 | 952M | 67 |1839 | 51k| 46k| 18k| 2 | 86k| 38 | 0.000000e+00 | -- | Inf | unknown
3075.75/3085.16 c 3085s| 10500 | 6456 | 7587k| 219.8 | 953M | 67 |1839 | 51k| 46k| 19k| 1 | 86k| 38 | 0.000000e+00 | -- | Inf | unknown
3089.20/3098.66 c 3099s| 10600 | 6508 | 7635k| 220.5 | 959M | 67 |1839 | 51k| 46k| 19k| 1 | 86k| 38 | 0.000000e+00 | -- | Inf | unknown
3097.38/3106.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3097.38/3106.89 c 3107s| 10700 | 6556 | 7664k| 220.7 | 959M | 67 |1839 | 51k| 46k| 19k| 1 | 87k| 38 | 0.000000e+00 | -- | Inf | unknown
3106.25/3115.79 c 3116s| 10800 | 6601 | 7696k| 221.1 | 967M | 67 |1839 | 51k| 46k| 20k| 1 | 87k| 38 | 0.000000e+00 | -- | Inf | unknown
3110.23/3119.76 c 3120s| 10900 | 6615 | 7707k| 220.7 | 969M | 67 |1839 | 51k| 46k| 20k| 2 | 87k| 38 | 0.000000e+00 | -- | Inf | unknown
3122.00/3131.53 c 3132s| 11000 | 6659 | 7750k| 221.3 | 969M | 67 |1839 | 51k| 46k| 20k| 1 | 87k| 38 | 0.000000e+00 | -- | Inf | unknown
3142.35/3151.91 c 3152s| 11100 | 6745 | 7802k| 222.2 | 970M | 67 |1839 | 51k| 46k| 20k| 1 | 88k| 38 | 0.000000e+00 | -- | Inf | unknown
3149.43/3159.08 c 3159s| 11200 | 6811 | 7824k| 222.2 | 970M | 67 |1839 | 51k| 46k| 20k| 1 | 88k| 38 | 0.000000e+00 | -- | Inf | unknown
3156.90/3166.57 c 3167s| 11300 | 6880 | 7852k| 222.3 | 971M | 67 |1839 | 51k| 0 | 20k| 0 | 88k| 38 | 0.000000e+00 | -- | Inf | unknown
3161.59/3171.28 c 3171s| 11400 | 6926 | 7869k| 222.2 | 973M | 67 |1839 | 51k| 0 | 20k| 0 | 88k| 38 | 0.000000e+00 | -- | Inf | unknown
3169.87/3179.50 c 3180s| 11500 | 6971 | 7898k| 222.4 | 973M | 67 |1839 | 51k| 46k| 20k| 1 | 88k| 38 | 0.000000e+00 | -- | Inf | unknown
3176.75/3186.49 c 3186s| 11600 | 7018 | 7925k| 222.5 | 973M | 67 |1839 | 52k| 46k| 20k| 1 | 89k| 38 | 0.000000e+00 | -- | Inf | unknown
3181.23/3190.94 c 3191s| 11700 | 7070 | 7940k| 222.3 | 974M | 67 |1839 | 51k| 46k| 21k| 1 | 89k| 38 | 0.000000e+00 | -- | Inf | unknown
3188.81/3198.51 c 3199s| 11800 | 7094 | 7973k| 222.6 | 974M | 67 |1839 | 51k| 46k| 21k| 1 | 89k| 38 | 0.000000e+00 | -- | Inf | unknown
3195.09/3204.82 c 3205s| 11900 | 7109 | 7997k| 222.6 | 974M | 67 |1839 | 51k| 46k| 21k| 2 | 89k| 38 | 0.000000e+00 | -- | Inf | unknown
3205.56/3215.32 c 3215s| 12000 | 7168 | 8029k| 222.9 | 975M | 67 |1839 | 51k| 46k| 21k| 1 | 89k| 38 | 0.000000e+00 | -- | Inf | unknown
3213.04/3222.82 c 3223s| 12100 | 7207 | 8052k| 222.9 | 977M | 67 |1839 | 51k| 46k| 21k| 1 | 90k| 38 | 0.000000e+00 | -- | Inf | unknown
3217.13/3226.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3217.13/3226.93 c 3227s| 12200 | 7265 | 8065k| 222.7 | 978M | 67 |1839 | 51k| 46k| 21k| 1 | 90k| 38 | 0.000000e+00 | -- | Inf | unknown
3221.22/3231.02 c 3231s| 12300 | 7310 | 8078k| 222.4 | 978M | 67 |1839 | 51k| 46k| 21k| 1 | 90k| 38 | 0.000000e+00 | -- | Inf | unknown
3225.60/3235.49 c 3235s| 12400 | 7372 | 8094k| 222.3 | 981M | 67 |1839 | 52k| 46k| 21k| 1 | 90k| 38 | 0.000000e+00 | -- | Inf | unknown
3234.77/3244.61 c 3245s| 12500 | 7444 | 8127k| 222.5 | 982M | 67 |1839 | 52k| 46k| 21k| 1 | 90k| 38 | 0.000000e+00 | -- | Inf | unknown
3239.66/3249.51 c 3250s| 12600 | 7513 | 8146k| 222.5 | 984M | 67 |1839 | 52k| 0 | 21k| 0 | 91k| 38 | 0.000000e+00 | -- | Inf | unknown
3253.02/3262.94 c 3263s| 12700 | 7586 | 8179k| 222.8 | 985M | 67 |1839 | 52k| 46k| 22k| 1 | 91k| 38 | 0.000000e+00 | -- | Inf | unknown
3260.90/3270.87 c 3271s| 12800 | 7650 | 8208k| 223.0 | 989M | 67 |1839 | 52k| 46k| 22k| 1 | 91k| 38 | 0.000000e+00 | -- | Inf | unknown
3271.07/3281.06 c 3281s| 12900 | 7714 | 8244k| 223.3 | 989M | 67 |1839 | 52k| 46k| 22k| 1 | 91k| 38 | 0.000000e+00 | -- | Inf | unknown
3277.45/3287.49 c 3287s| 13000 | 7762 | 8269k| 223.4 | 990M | 67 |1839 | 52k| 46k| 22k| 1 | 92k| 38 | 0.000000e+00 | -- | Inf | unknown
3284.23/3294.29 c 3294s| 13100 | 7812 | 8296k| 223.5 | 990M | 67 |1839 | 52k| 46k| 22k| 1 | 92k| 38 | 0.000000e+00 | -- | Inf | unknown
3288.81/3298.89 c 3299s| 13200 | 7858 | 8315k| 223.4 | 992M | 67 |1839 | 52k| 46k| 22k| 1 | 92k| 38 | 0.000000e+00 | -- | Inf | unknown
3297.78/3307.88 c 3308s| 13300 | 7948 | 8340k| 223.5 | 993M | 67 |1839 | 52k| 46k| 22k| 1 | 92k| 38 | 0.000000e+00 | -- | Inf | unknown
3306.76/3316.82 c 3317s| 13400 | 8043 | 8369k| 223.7 | 996M | 67 |1839 | 52k| 46k| 23k| 1 | 93k| 38 | 0.000000e+00 | -- | Inf | unknown
3313.74/3323.81 c 3324s| 13500 | 8111 | 8391k| 223.7 | 997M | 67 |1839 | 52k| 46k| 23k| 1 | 93k| 38 | 0.000000e+00 | -- | Inf | unknown
3325.81/3335.93 c 3336s| 13600 | 8190 | 8429k| 224.1 | 999M | 67 |1839 | 52k| 46k| 23k| 0 | 93k| 38 | 0.000000e+00 | -- | Inf | unknown
3334.58/3344.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3334.58/3344.77 c 3345s| 13700 | 8266 | 8459k| 224.3 | 1000M | 67 |1839 | 52k| 46k| 24k| 1 | 93k| 38 | 0.000000e+00 | -- | Inf | unknown
3341.87/3352.05 c 3352s| 13800 | 8328 | 8480k| 224.2 | 1003M | 67 |1839 | 52k| 46k| 24k| 1 | 93k| 38 | 0.000000e+00 | -- | Inf | unknown
3347.44/3357.64 c 3358s| 13900 | 8377 | 8498k| 224.1 | 1006M | 67 |1839 | 52k| 0 | 24k| 0 | 93k| 38 | 0.000000e+00 | -- | Inf | unknown
3355.01/3365.26 c 3365s| 14000 | 8432 | 8521k| 224.1 | 1020M | 67 |1839 | 53k| 46k| 24k| 1 | 94k| 38 | 0.000000e+00 | -- | Inf | unknown
3363.49/3373.71 c 3374s| 14100 | 8512 | 8550k| 224.3 | 1021M | 67 |1839 | 53k| 46k| 24k| 1 | 94k| 38 | 0.000000e+00 | -- | Inf | unknown
3371.78/3382.06 c 3382s| 14200 | 8569 | 8578k| 224.5 | 1037M | 67 |1839 | 53k| 46k| 25k| 1 | 94k| 38 | 0.000000e+00 | -- | Inf | unknown
3378.35/3388.65 c 3389s| 14300 | 8630 | 8604k| 224.5 | 1039M | 67 |1839 | 53k| 0 | 25k| 0 | 95k| 38 | 0.000000e+00 | -- | Inf | unknown
3383.74/3394.09 c 3394s| 14400 | 8694 | 8623k| 224.5 | 1040M | 67 |1839 | 53k| 0 | 25k| 0 | 95k| 38 | 0.000000e+00 | -- | Inf | unknown
3387.62/3397.98 c 3398s| 14500 | 8727 | 8636k| 224.2 | 1042M | 67 |1839 | 53k| 46k| 25k| 1 | 95k| 38 | 0.000000e+00 | -- | Inf | unknown
3394.20/3404.52 c 3405s| 14600 | 8777 | 8661k| 224.3 | 1043M | 68 |1839 | 53k| 0 | 25k| 0 | 96k| 38 | 0.000000e+00 | -- | Inf | unknown
3396.49/3406.86 c 3407s| 14700 | 8797 | 8670k| 223.9 | 1044M | 68 |1839 | 53k| 46k| 25k| 1 | 96k| 38 | 0.000000e+00 | -- | Inf | unknown
3398.99/3409.33 c 3409s| 14800 | 8824 | 8678k| 223.6 | 1044M | 68 |1839 | 53k| 46k| 25k| 1 | 96k| 38 | 0.000000e+00 | -- | Inf | unknown
3403.17/3413.53 c 3414s| 14900 | 8880 | 8692k| 223.3 | 1044M | 68 |1839 | 53k| 46k| 25k| 1 | 96k| 38 | 0.000000e+00 | -- | Inf | unknown
3403.97/3414.37 c 3414s| 15000 | 8874 | 8693k| 222.8 | 1044M | 69 |1839 | 53k| 0 | 25k| 0 | 96k| 38 | 0.000000e+00 | -- | Inf | unknown
3404.77/3415.13 c 3415s| 15100 | 8880 | 8694k| 222.3 | 1044M | 69 |1839 | 53k| 46k| 25k| 1 | 97k| 38 | 0.000000e+00 | -- | Inf | unknown
3406.66/3417.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3406.66/3417.01 c 3417s| 15200 | 8886 | 8699k| 221.8 | 1045M | 69 |1839 | 54k| 0 | 25k| 0 | 97k| 38 | 0.000000e+00 | -- | Inf | unknown
3412.84/3423.26 c 3423s| 15300 | 8948 | 8720k| 221.8 | 1046M | 69 |1839 | 53k| 46k| 25k| 1 | 97k| 38 | 0.000000e+00 | -- | Inf | unknown
3418.13/3428.54 c 3429s| 15400 | 8990 | 8738k| 221.7 | 1046M | 69 |1839 | 53k| 46k| 25k| 1 | 97k| 38 | 0.000000e+00 | -- | Inf | unknown
3424.71/3435.14 c 3435s| 15500 | 9034 | 8759k| 221.7 | 1048M | 69 |1839 | 53k| 46k| 25k| 1 | 98k| 38 | 0.000000e+00 | -- | Inf | unknown
3433.98/3444.46 c 3444s| 15600 | 9111 | 8792k| 221.9 | 1050M | 69 |1839 | 53k| 0 | 26k| 0 | 98k| 38 | 0.000000e+00 | -- | Inf | unknown
3438.17/3448.69 c 3449s| 15700 | 9173 | 8806k| 221.7 | 1051M | 69 |1839 | 53k| 46k| 26k| 1 | 98k| 38 | 0.000000e+00 | -- | Inf | unknown
3440.26/3450.79 c 3451s| 15800 | 9209 | 8813k| 221.3 | 1051M | 69 |1839 | 53k| 46k| 26k| 1 | 98k| 38 | 0.000000e+00 | -- | Inf | unknown
3446.55/3457.01 c 3457s| 15900 | 9255 | 8829k| 221.2 | 1052M | 69 |1839 | 53k| 46k| 26k| 1 | 99k| 38 | 0.000000e+00 | -- | Inf | unknown
3447.54/3458.08 c 3458s| 16000 | 9245 | 8832k| 220.7 | 1053M | 70 |1839 | 53k| 46k| 26k| 1 | 99k| 38 | 0.000000e+00 | -- | Inf | unknown
3449.83/3460.33 c 3460s| 16100 | 9281 | 8841k| 220.4 | 1053M | 72 |1839 | 53k| 46k| 26k| 0 | 99k| 38 | 0.000000e+00 | -- | Inf | unknown
3456.11/3466.67 c 3467s| 16200 | 9343 | 8864k| 220.4 | 1054M | 72 |1839 | 53k| 46k| 26k| 1 | 100k| 38 | 0.000000e+00 | -- | Inf | unknown
3458.30/3468.83 c 3469s| 16300 | 9369 | 8871k| 220.0 | 1054M | 72 |1839 | 53k| 46k| 26k| 1 | 100k| 38 | 0.000000e+00 | -- | Inf | unknown
3466.58/3477.14 c 3477s| 16400 | 9436 | 8897k| 220.1 | 1054M | 72 |1839 | 53k| 46k| 26k| 1 | 100k| 38 | 0.000000e+00 | -- | Inf | unknown
3476.45/3487.07 c 3487s| 16500 | 9505 | 8928k| 220.4 | 1055M | 72 |1839 | 53k| 0 | 26k| 0 | 101k| 38 | 0.000000e+00 | -- | Inf | unknown
3484.43/3495.04 c 3495s| 16600 | 9563 | 8955k| 220.5 | 1056M | 72 |1839 | 53k| 46k| 26k| 1 | 101k| 38 | 0.000000e+00 | -- | Inf | unknown
3494.40/3505.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3494.40/3505.07 c 3505s| 16700 | 9646 | 8989k| 220.8 | 1056M | 72 |1839 | 53k| 46k| 26k| 2 | 101k| 38 | 0.000000e+00 | -- | Inf | unknown
3499.78/3510.45 c 3510s| 16800 | 9715 | 9009k| 220.7 | 1057M | 72 |1839 | 53k| 46k| 26k| 1 | 101k| 38 | 0.000000e+00 | -- | Inf | unknown
3501.87/3512.55 c 3513s| 16900 | 9791 | 9017k| 220.4 | 1058M | 72 |1839 | 53k| 0 | 26k| 0 | 102k| 38 | 0.000000e+00 | -- | Inf | unknown
3504.66/3515.39 c 3515s| 17000 | 9864 | 9028k| 220.1 | 1061M | 72 |1839 | 54k| 46k| 26k| 1 | 102k| 38 | 0.000000e+00 | -- | Inf | unknown
3507.25/3517.98 c 3518s| 17100 | 9931 | 9039k| 219.8 | 1062M | 72 |1839 | 54k| 46k| 26k| 1 | 102k| 38 | 0.000000e+00 | -- | Inf | unknown
3511.05/3521.71 c 3522s| 17200 | 10005 | 9052k| 219.6 | 1063M | 72 |1839 | 54k| 46k| 26k| 1 | 102k| 38 | 0.000000e+00 | -- | Inf | unknown
3514.64/3525.36 c 3525s| 17300 | 10064 | 9064k| 219.4 | 1064M | 72 |1839 | 54k| 46k| 26k| 1 | 102k| 38 | 0.000000e+00 | -- | Inf | unknown
3525.11/3535.89 c 3536s| 17400 | 10155 | 9100k| 219.7 | 1064M | 72 |1839 | 54k| 46k| 27k| 1 | 103k| 38 | 0.000000e+00 | -- | Inf | unknown
3533.68/3544.50 c 3544s| 17500 | 10238 | 9129k| 219.9 | 1065M | 72 |1839 | 54k| 46k| 27k| 1 | 103k| 38 | 0.000000e+00 | -- | Inf | unknown
3545.05/3555.87 c 3556s| 17600 | 10309 | 9168k| 220.3 | 1066M | 72 |1839 | 54k| 46k| 27k| 1 | 103k| 38 | 0.000000e+00 | -- | Inf | unknown
3553.03/3563.84 c 3564s| 17700 | 10381 | 9195k| 220.4 | 1069M | 72 |1839 | 54k| 46k| 27k| 2 | 103k| 38 | 0.000000e+00 | -- | Inf | unknown
3554.52/3565.39 c 3565s| 17800 | 10404 | 9200k| 220.0 | 1070M | 72 |1839 | 54k| 46k| 27k| 1 | 104k| 38 | 0.000000e+00 | -- | Inf | unknown
3560.51/3571.39 c 3571s| 17900 | 10420 | 9215k| 219.8 | 1070M | 72 |1839 | 54k| 46k| 27k| 1 | 104k| 38 | 0.000000e+00 | -- | Inf | unknown
3572.07/3582.96 c 3583s| 18000 | 10476 | 9250k| 220.1 | 1071M | 72 |1839 | 53k| 46k| 27k| 1 | 104k| 38 | 0.000000e+00 | -- | Inf | unknown
3586.03/3596.92 c 3597s| 18100 | 10533 | 9284k| 220.4 | 1071M | 72 |1839 | 53k| 46k| 27k| 1 | 104k| 38 | 0.000000e+00 | -- | Inf | unknown
3586.03/3597.00 c
3586.03/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.03/3597.00 c Solving Time (sec) : 3597.00
3586.03/3597.00 c Solving Nodes : 18103 (total of 42101 nodes in 2 runs)
3586.03/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.03/3597.00 c Dual Bound : +0.00000000000000e+00
3586.03/3597.00 c Gap : infinite
3586.03/3597.00 s UNKNOWN
3586.03/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.03/3597.00 c Total Time : 3597.00
3586.03/3597.00 c solving : 3597.00
3586.03/3597.00 c presolving : 1.27 (included in solving)
3586.03/3597.00 c reading : 0.08 (included in solving)
3586.03/3597.00 c copying : 0.41 (8 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3586.03/3597.00 c Original Problem :
3586.03/3597.00 c Problem name : HOME/instance-4503467-1751171866.opb
3586.03/3597.00 c Variables : 1840 (1840 binary, 0 integer, 0 continuous)
3586.03/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.03/3597.00 c Constraints : 46243 initial, 46243 maximal
3586.03/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.03/3597.00 c Presolved Problem :
3586.03/3597.00 c Problem name : t_HOME/instance-4503467-1751171866.opb
3586.03/3597.00 c Variables : 1839 (1839 binary, 0 integer, 0 continuous)
3586.03/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.03/3597.00 c Constraints : 49573 initial, 54522 maximal
3586.03/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.03/3597.00 c Nonzeros : 220588 constraint, 26737 clique table
3586.03/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.03/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c dualsparsify : 0.22 0.00 1 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c gateextraction : 0.08 0.00 6 0 0 0 0 0 12 4 0 0
3586.03/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c milp : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c trivial : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c dualfix : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c probing : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c knapsack : 0.03 0.00 21 0 0 0 0 0 1 2 79 250
3586.03/3597.00 c setppc : 0.06 0.00 21 0 0 0 0 0 475 0 0 0
3586.03/3597.00 c and : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c linear : 0.13 0.01 16 0 1 0 0 0 5 0 50 256
3586.03/3597.00 c logicor : 0.37 0.06 20 0 0 0 0 0 1221 0 0 4040
3586.03/3597.00 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.03/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.03/3597.00 c integral : 0 0 0 0 31668 0 0 4935 0 0 0 0 0 0 63336
3586.03/3597.00 c knapsack : 3711+ 3717 25 346835 0 0 0 4930 340037 4043 125522 262 11 0 0
3586.03/3597.00 c setppc : 12859+ 12925 25 342772 0 0 0 540 1269653 3387 691483 16 0 0 0
3586.03/3597.00 c and : 4 4 13180 131909 0 0 0 1 3899 5 1069 9 4 0 0
3586.03/3597.00 c linear : 35+ 51 25 339400 0 0 0 16 14191 1181 24816 0 0 0 0
3586.03/3597.00 c logicor : 32964+ 37858 25 280305 0 0 0 12 1418548 17185 578040 84 28 0 0
3586.03/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.03/3597.00 c integral : 31.52 0.00 0.00 0.00 31.52 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c knapsack : 3.84 0.00 0.07 2.90 0.00 0.00 0.00 0.68 0.19 0.00
3586.03/3597.00 c setppc : 4.59 0.00 0.02 4.21 0.00 0.00 0.00 0.05 0.30 0.01
3586.03/3597.00 c and : 0.04 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c linear : 0.47 0.01 0.00 0.44 0.00 0.00 0.00 0.00 0.02 0.00
3586.03/3597.00 c logicor : 18.67 0.06 0.12 17.63 0.00 0.00 0.00 0.00 0.85 0.01
3586.03/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.03/3597.00 c dualfix : 2 0 0 0
3586.03/3597.00 c genvbounds : 0 0 0 0
3586.03/3597.00 c nlobbt : 0 0 0 0
3586.03/3597.00 c obbt : 0 0 0 0
3586.03/3597.00 c probing : 0 0 0 0
3586.03/3597.00 c pseudoobj : 0 0 0 0
3586.03/3597.00 c redcost : 0 0 0 0
3586.03/3597.00 c rootredcost : 0 0 0 0
3586.03/3597.00 c symmetry : 0 0 0 0
3586.03/3597.00 c vbounds : 178325 0 0 0
3586.03/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.03/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.03/3597.00 c probing : 0.08 0.00 0.08 0.00 0.00 0.00
3586.03/3597.00 c pseudoobj : 0.08 0.00 0.00 0.08 0.00 0.00
3586.03/3597.00 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.03/3597.00 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.03/3597.00 c symmetry : 0.10 0.00 0.04 0.06 0.00 0.00
3586.03/3597.00 c vbounds : 1.20 0.00 0.00 1.20 0.00 0.00
3586.03/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.03/3597.00 c propagation : 2.68 24788 24400 - 218000 46.6 6768 18.4 - - -
3586.03/3597.00 c infeasible LP : 0.76 1063 1012 - 12263 51.6 215 15.3 1012 48.6 0
3586.03/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.03/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.03/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.03/3597.00 c applied globally : 1.18 - - 0 103725 25.9 - - 966 - -
3586.03/3597.00 c applied locally : - - - 0 14 54.0 - - 46 - -
3586.03/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.03/3597.00 c cut pool : 5.63 - 8693 48 - - 90458 578090 - - - - - (maximal pool size: 4162)
3586.03/3597.00 c aggregation : 6.82 0.00 2295 25 0 0 541 1721 192 468 438 30 0
3586.03/3597.00 c > cmir : - - - - - - - 440 0 104 104 0 -
3586.03/3597.00 c > flowcover : - - - - - - - 1281 0 334 334 0 -
3586.03/3597.00 c > knapsackcover : - - - - - - - 0 192 30 0 30 -
3586.03/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c clique : 0.03 0.00 25 25 0 0 90 2590 0 1178 1178 0 0
3586.03/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c gomory : 277.76 0.00 2292 20 0 0 108402 524299 23260 18598 17504 1094 0
3586.03/3597.00 c > gomorymi : - - - - - - - 204667 11664 3474 2871 603 -
3586.03/3597.00 c > strongcg : - - - - - - - 319632 11596 15124 14633 491 -
3586.03/3597.00 c impliedbounds : 0.53 0.00 2298 25 0 0 259 3620 0 2574 2574 0 0
3586.03/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c mcf : 0.03 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c multilinear : 0.00 0.00 213 25 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.03/3597.00 c zerohalf : 9.70 0.00 2294 25 0 0 9841 45860 5227 19144 15261 3883 0
3586.03/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.03/3597.00 c hybrid : 0.42 0.00 5621 25 41514 532 565626 204 0 5488
3586.03/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.03/3597.00 c problem variables: 0.00 - 0 0
3586.03/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.03/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c relpscost : 31.46 0.00 31668 0 0 0 0 0 0 63336
3586.03/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.03/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.03/3597.00 c LP solutions : 0.00 - - 0 0
3586.03/3597.00 c relax solutions : 0.00 - - 0 0
3586.03/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.03/3597.00 c strong branching : 0.00 - - 0 0
3586.03/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.03/3597.00 c adaptivediving : 10.00 0.00 41 0 0
3586.03/3597.00 c alns : 2.21 0.00 6 0 0
3586.03/3597.00 c bound : 0.00 0.00 0 0 0
3586.03/3597.00 c clique : 0.08 0.00 1 0 0
3586.03/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.03/3597.00 c completesol : 0.00 0.00 0 0 0
3586.03/3597.00 c conflictdiving : 106.83 0.00 685 0 0
3586.03/3597.00 c crossover : 0.01 0.00 0 0 0
3586.03/3597.00 c dins : 0.00 0.00 0 0 0
3586.03/3597.00 c distributiondivin: 213.60 0.00 483 0 0
3586.03/3597.00 c dks : 0.00 0.00 0 0 0
3586.03/3597.00 c dps : 0.00 0.00 0 0 0
3586.03/3597.00 c dualval : 0.00 0.00 0 0 0
3586.03/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.03/3597.00 c feaspump : 34.95 0.00 34 0 0
3586.03/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.03/3597.00 c fracdiving : 76.25 0.00 685 0 0
3586.03/3597.00 c gins : 0.01 0.00 0 0 0
3586.03/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.03/3597.00 c indicator : 0.00 0.00 0 0 0
3586.03/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.03/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.03/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.03/3597.00 c linesearchdiving : 108.31 0.00 684 0 0
3586.03/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.03/3597.00 c locks : 0.02 0.00 1 0 0
3586.03/3597.00 c lpface : 0.19 0.00 0 0 0
3586.03/3597.00 c mpec : 0.00 0.00 0 0 0
3586.03/3597.00 c multistart : 0.00 0.00 0 0 0
3586.03/3597.00 c mutation : 0.00 0.00 0 0 0
3586.03/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.03/3597.00 c objpscostdiving : 88.39 0.00 15 0 0
3586.03/3597.00 c octane : 0.00 0.00 0 0 0
3586.03/3597.00 c ofins : 0.00 0.00 0 0 0
3586.03/3597.00 c oneopt : 0.02 0.00 0 0 0
3586.03/3597.00 c padm : 0.00 0.00 0 0 0
3586.03/3597.00 c proximity : 0.00 0.00 0 0 0
3586.03/3597.00 c pscostdiving : 243.24 0.00 590 0 0
3586.03/3597.00 c randrounding : 1.32 0.00 4943 0 0
3586.03/3597.00 c rens : 0.30 0.00 2 0 0
3586.03/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.03/3597.00 c repair : 0.00 0.00 0 0 0
3586.03/3597.00 c rins : 0.02 0.00 0 0 0
3586.03/3597.00 c rootsoldiving : 38.10 0.00 13 0 0
3586.03/3597.00 c rounding : 3.55 0.00 2665 0 0
3586.03/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.03/3597.00 c shiftandpropagate: 0.10 0.00 2 0 0
3586.03/3597.00 c shifting : 4.03 0.00 1260 0 0
3586.03/3597.00 c simplerounding : 0.02 0.00 0 0 0
3586.03/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.03/3597.00 c trivial : 0.00 0.00 4 0 0
3586.03/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.03/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.03/3597.00 c trysol : 0.01 0.00 0 0 0
3586.03/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.03/3597.00 c undercover : 0.00 0.00 1 0 0
3586.03/3597.00 c vbounds : 0.06 0.00 2 0 0
3586.03/3597.00 c veclendiving : 101.49 0.00 684 0 0
3586.03/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.03/3597.00 c zirounding : 0.31 0.00 1000 0 0
3586.03/3597.00 c other solutions : - - - 0 -
3586.03/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.03/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.03/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.03/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.03/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.03/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.03/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.03/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.03/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.03/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.03/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.03/3597.00 c primal LP : 6.29 2267 0 0.00 0.00 6.29 2267
3586.03/3597.00 c dual LP : 2024.12 38127 7194454 188.91 3554.37 0.15 43
3586.03/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.03/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.03/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.03/3597.00 c diving/probing LP: 970.62 5403 2090281 386.87 2153.55
3586.03/3597.00 c strong branching : 3.78 38 11951 314.50 3159.24 - - 10
3586.03/3597.00 c (at root node) : - 38 11951 314.50 -
3586.03/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.03/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.03/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.03/3597.00 c B&B Tree :
3586.03/3597.00 c number of runs : 2
3586.03/3597.00 c nodes : 18103 (15075 internal, 3028 leaves)
3586.03/3597.00 c feasible leaves : 0
3586.03/3597.00 c infeas. leaves : 3027
3586.03/3597.00 c objective leaves : 0
3586.03/3597.00 c nodes (total) : 42101 (31668 internal, 10433 leaves)
3586.03/3597.00 c nodes left : 10533
3586.03/3597.00 c max depth : 72
3586.03/3597.00 c max depth (total): 72
3586.03/3597.00 c backtracks : 2949 (16.3%)
3586.03/3597.00 c early backtracks : 0 (0.0%)
3586.03/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.03/3597.00 c delayed cutoffs : 1516
3586.03/3597.00 c repropagations : 11013 (87701 domain reductions, 1099 cutoffs)
3586.03/3597.00 c avg switch length: 4.69
3586.03/3597.00 c switching time : 27.30
3586.03/3597.00 c Root Node :
3586.03/3597.00 c First LP value : +0.00000000000000e+00
3586.03/3597.00 c First LP Iters : 100 (5553.40 Iter/sec)
3586.03/3597.00 c First LP Time : 0.02
3586.03/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.03/3597.00 c Final Root Iters : 4945
3586.03/3597.00 c Root LP Estimate : +1.61081075463268e-02
3586.03/3597.00 c Solution :
3586.03/3597.00 c Solutions found : 0 (0 improvements)
3586.03/3597.00 c Primal Bound : -
3586.03/3597.00 c Dual Bound : +0.00000000000000e+00
3586.03/3597.00 c Gap : infinite
3586.03/3597.00 c Integrals : Total Avg%
3586.03/3597.00 c primal-dual : 359699.91 100.00
3586.03/3597.00 c primal-ref : - - (not evaluated)
3586.03/3597.00 c dual-ref : - - (not evaluated)
3586.24/3597.17 c Time complete (sec): 3586.321
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63184 MiB free)
memory of node 1: 64465 MiB (63909 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503467-1751171866/watcher-4503467-1751171866 -o /tmp/evaluation-result-4503467-1751171866/solver-4503467-1751171866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20911 --watchdog 3760 pbsolver -f HOME/instance-4503467-1751171866.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20955, runsolver pid=20947
Current StackSize limit: 8192 KiB
[startup+0.100041 s]*
/proc/loadavg: 0.46 0.90 1.29 5/266 20970
/proc/meminfo: memFree=130043556/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=67136 memory=56944 CPUtime=0.09 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 12236 0 0 0 8 1 0 0 20 0 1 0 32865244 68747264 14236 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 16784 14236 2368 2575 0 13691 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67136 KiB
Current children cumulated memory: 56944 KiB
[startup+0.205532 s]*
/proc/loadavg: 0.46 0.90 1.29 5/266 20970
/proc/meminfo: memFree=129923464/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=106200 memory=92968 CPUtime=0.2 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 20690 0 0 0 17 3 0 0 20 0 1 0 32865244 108748800 23242 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 26550 23242 2432 2575 0 23457 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106200 KiB
Current children cumulated memory: 92968 KiB
[startup+0.305397 s]*
/proc/loadavg: 0.46 0.90 1.29 5/266 20970
/proc/meminfo: memFree=129814788/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=99276 memory=88624 CPUtime=0.3 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 28046 0 0 0 26 4 0 0 20 0 1 0 32865244 101658624 22156 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 24819 22156 2496 2575 0 21726 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99276 KiB
Current children cumulated memory: 88624 KiB
[startup+0.700177 s]
/proc/loadavg: 0.46 0.90 1.29 5/266 20970
/proc/meminfo: memFree=129621868/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=127992 memory=113244 CPUtime=0.69 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 36653 0 0 0 64 5 0 0 20 0 1 0 32865244 131063808 28311 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 31998 28311 2592 2575 0 28905 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 127992 KiB
Current children cumulated memory: 113244 KiB
[startup+1.50018 s]
/proc/loadavg: 0.46 0.90 1.29 5/266 20970
/proc/meminfo: memFree=129199996/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=250856 memory=230924 CPUtime=1.49 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 60143 0 0 0 140 9 0 0 20 0 1 0 32865244 256876544 57731 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 62714 57731 2656 2575 0 59621 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 250856 KiB
Current children cumulated memory: 230924 KiB
[startup+3.1054 s]
/proc/loadavg: 0.46 0.90 1.29 5/266 20970
/proc/meminfo: memFree=128524536/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=265192 memory=240460 CPUtime=3.08 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 62132 0 0 0 299 9 0 0 20 0 1 0 32865244 271556608 60115 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 66298 60115 2688 2575 0 63205 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 265192 KiB
Current children cumulated memory: 240460 KiB
[startup+6.30017 s]
/proc/loadavg: 0.74 0.96 1.31 5/266 20970
/proc/meminfo: memFree=128345972/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=283852 memory=247024 CPUtime=6.27 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 63236 0 0 0 617 10 0 0 20 0 1 0 32865244 290664448 61756 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 70963 61756 2688 2575 0 67870 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 283852 KiB
Current children cumulated memory: 247024 KiB
[startup+12.7002 s]
/proc/loadavg: 1.00 1.01 1.32 5/266 20970
/proc/meminfo: memFree=127315560/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=384716 memory=307440 CPUtime=12.65 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 78359 0 0 0 1253 12 0 0 20 0 1 0 32865244 393949184 76860 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 96179 76860 2688 2575 0 93086 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 384716 KiB
Current children cumulated memory: 307440 KiB
[startup+25.5001 s]
/proc/loadavg: 1.74 1.17 1.37 5/266 20972
/proc/meminfo: memFree=127221524/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=413344 memory=336880 CPUtime=25.4 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 85733 0 0 0 2527 13 0 0 20 0 1 0 32865244 423264256 84220 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 103336 84220 2688 2575 0 100243 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 413344 KiB
Current children cumulated memory: 336880 KiB
[startup+51.1057 s]
/proc/loadavg: 2.51 1.40 1.44 5/266 20972
/proc/meminfo: memFree=127215268/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=443292 memory=342924 CPUtime=50.89 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 86751 0 0 0 5076 13 0 0 20 0 1 0 32865244 453931008 85731 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 110823 85731 2688 2575 0 107730 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 443292 KiB
Current children cumulated memory: 342924 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.82 1.59 5/266 20974
/proc/meminfo: memFree=127050288/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=499932 memory=389260 CPUtime=101.85 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 98333 0 0 0 10169 16 0 0 20 0 1 0 32865244 511930368 97315 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 124983 97315 2688 2575 0 121890 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 499932 KiB
Current children cumulated memory: 389260 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.23 1.75 5/266 21021
/proc/meminfo: memFree=125771368/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=560756 memory=415988 CPUtime=161.6 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 101866 0 0 0 16143 17 0 0 20 0 1 0 32865244 574214144 103997 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 140189 103997 2688 2575 0 137096 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 560756 KiB
Current children cumulated memory: 415988 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.57 1.89 5/265 21023
/proc/meminfo: memFree=124277236/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=596700 memory=444624 CPUtime=221.39 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 106458 0 0 0 22122 17 0 0 20 0 1 0 32865244 611020800 111156 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 149175 111156 2688 2575 0 146082 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 596700 KiB
Current children cumulated memory: 444624 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.85 2.03 5/263 21025
/proc/meminfo: memFree=124265924/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=663480 memory=534512 CPUtime=281.19 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 119935 0 0 0 28100 19 0 0 20 0 1 0 32865244 679403520 133628 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 165870 133628 2688 2575 0 162777 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 663480 KiB
Current children cumulated memory: 534512 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.08 2.16 5/263 21027
/proc/meminfo: memFree=124195248/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=676384 memory=564012 CPUtime=340.99 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 121866 0 0 0 34079 20 0 0 20 0 1 0 32865244 692617216 141003 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 169096 141003 2688 2575 0 166003 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 676384 KiB
Current children cumulated memory: 564012 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.26 2.29 5/263 21030
/proc/meminfo: memFree=124120360/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=732720 memory=638712 CPUtime=400.79 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 135526 0 0 0 40056 23 0 0 20 0 1 0 32865244 750305280 159678 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 183180 159678 2688 2575 0 180087 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 732720 KiB
Current children cumulated memory: 638712 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.43 2.41 5/263 21032
/proc/meminfo: memFree=124132676/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=743160 memory=651492 CPUtime=460.58 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 136535 0 0 0 46034 24 0 0 20 0 1 0 32865244 760995840 162873 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 185790 162873 2688 2575 0 182697 0
Current children cumulated CPU time: 460.58 s
################
# More data... #
################
/proc/loadavg: 4.12 4.10 4.02 5/263 21179
/proc/meminfo: memFree=122587300/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1028984 memory=823320 CPUtime=3212.54 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 175986 0 0 0 321217 37 0 0 20 0 1 0 32865244 1053679616 205830 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 257246 205830 2688 2575 0 254153 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 1028984 KiB
Current children cumulated memory: 823320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.11 4.02 5/263 21181
/proc/meminfo: memFree=122567680/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1041548 memory=834840 CPUtime=3272.36 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 178840 0 0 0 327198 38 0 0 20 0 1 0 32865244 1066545152 208710 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 260387 208710 2688 2575 0 257294 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 1041548 KiB
Current children cumulated memory: 834840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.16 4.04 5/263 21184
/proc/meminfo: memFree=122261444/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1052468 memory=846872 CPUtime=3332.19 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 181875 0 0 0 333180 39 0 0 20 0 1 0 32865244 1077727232 211718 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 263117 211718 2688 2575 0 260024 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 1052468 KiB
Current children cumulated memory: 846872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.16 4.05 5/263 21186
/proc/meminfo: memFree=122240840/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1095092 memory=861976 CPUtime=3392.01 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 185656 0 0 0 339161 40 0 0 20 0 1 0 32865244 1121374208 215494 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 273773 215494 2688 2575 0 270680 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 1095092 KiB
Current children cumulated memory: 861976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.39 4.23 4.08 5/263 21188
/proc/meminfo: memFree=122230548/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1103120 memory=870808 CPUtime=3451.82 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 188008 0 0 0 345141 41 0 0 20 0 1 0 32865244 1129594880 217702 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 275780 217702 2688 2575 0 272687 0
Current children cumulated CPU time: 3451.82 s
Current children cumulated vsize: 1103120 KiB
Current children cumulated memory: 870808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.20 4.08 5/265 21194
/proc/meminfo: memFree=122219956/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1112904 memory=880792 CPUtime=3511.65 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 190525 0 0 0 351123 42 0 0 20 0 1 0 32865244 1139613696 220198 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 278226 220198 2688 2575 0 275133 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 1112904 KiB
Current children cumulated memory: 880792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.16 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1122456 memory=890392 CPUtime=3571.48 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193112 0 0 0 357106 42 0 0 20 0 1 0 32865244 1149394944 222598 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280614 222598 2688 2575 0 277521 0
Current children cumulated CPU time: 3571.48 s
Current children cumulated vsize: 1122456 KiB
Current children cumulated memory: 890392 KiB
[startup+3597.19 s]
# the end of solver process 20955 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.89 s, system=0.44412 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.16 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1122456 memory=890648 CPUtime=3573.18 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193159 0 0 0 357276 42 0 0 20 0 1 0 32865244 1149394944 222662 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280614 222662 2688 2575 0 277521 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 1122456 KiB
Current children cumulated memory: 890648 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.18 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1122456 memory=890776 CPUtime=3579.55 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193187 0 0 0 357913 42 0 0 20 0 1 0 32865244 1149394944 222694 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280614 222694 2688 2575 0 277521 0
Current children cumulated CPU time: 3579.55 s
Current children cumulated vsize: 1122456 KiB
Current children cumulated memory: 890776 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.18 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1123824 memory=891160 CPUtime=3582.74 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193293 0 0 0 358232 42 0 0 20 0 1 0 32865244 1150795776 222790 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280956 222790 2688 2575 0 277863 0
Current children cumulated CPU time: 3582.74 s
Current children cumulated vsize: 1123824 KiB
Current children cumulated memory: 891160 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.17 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1123824 memory=891160 CPUtime=3584.34 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193301 0 0 0 358392 42 0 0 20 0 1 0 32865244 1150795776 222790 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280956 222790 2688 2575 0 277863 0
Current children cumulated CPU time: 3584.34 s
Current children cumulated vsize: 1123824 KiB
Current children cumulated memory: 891160 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.17 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1123824 memory=891288 CPUtime=3585.14 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193321 0 0 0 358472 42 0 0 20 0 1 0 32865244 1150795776 222822 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280956 222822 2688 2575 0 277863 0
Current children cumulated CPU time: 3585.14 s
Current children cumulated vsize: 1123824 KiB
Current children cumulated memory: 891288 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.17 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1123824 memory=891288 CPUtime=3585.94 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193333 0 0 0 358552 42 0 0 20 0 1 0 32865244 1150795776 222822 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280956 222822 2688 2575 0 277863 0
Current children cumulated CPU time: 3585.94 s
Current children cumulated vsize: 1123824 KiB
Current children cumulated memory: 891288 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.17 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1123824 memory=891288 CPUtime=3586.14 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193337 0 0 0 358572 42 0 0 20 0 1 0 32865244 1150795776 222822 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280956 222822 2688 2575 0 277863 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 1123824 KiB
Current children cumulated memory: 891288 KiB
[startup+3597.11 s]
/proc/loadavg: 4.12 4.17 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=20955] ppid=20947 vsize=1123824 memory=891288 CPUtime=3586.24 cores=0,2
/proc/20955/stat : 20955 (pbsolver) R 20947 20955 20901 0 -1 4194304 193338 0 0 0 358582 42 0 0 20 0 1 0 32865244 1150795776 222822 18446744073709551615 4198400 14743177 140727847516768 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25309184 140727847520650 140727847520746 140727847520746 140727847526348 0
/proc/20955/statm: 280956 222822 2688 2575 0 277863 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 1123824 KiB
Current children cumulated memory: 891288 KiB
Child status: 0
Real time (s): 3597.19
CPU time (s): 3586.33
CPU user time (s): 3585.89
CPU system time (s): 0.44412
CPU usage (%): 99.6982
Max. virtual memory (cumulated for all children) (KiB): 1123824
Max. memory (cumulated for all children) (KiB): 891288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.89
system time used= 0.44412
maximum resident set size= 891288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193374
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= 66
involuntary context switches= 8319
# summary of solver processes directly reported to runsolver:
# pid: 20955
# total CPU time (s): 3586.33
# total CPU user time (s): 3585.89
# total CPU system time (s): 0.44412
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79301 second user time and 15.3605 second system time
The end