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-4491403-1751387897.opb>
0.00/0.09 c original problem has 5570 variables (5570 bin, 0 int, 0 cont) and 10896 constraints
0.00/0.09 c problem read in 0.090 seconds
0.09/0.17 c presolving:
0.19/0.24 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 2 chg bounds, 180 chg sides, 449 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.28/0.34 c (0.3s) running MILP presolver
0.38/0.43 c (0.4s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.38/0.43 c (round 2, medium) 2 del vars, 10896 del conss, 5733 add conss, 2 chg bounds, 180 chg sides, 456 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.38/0.47 c (round 3, exhaustive) 2 del vars, 10896 del conss, 5733 add conss, 2 chg bounds, 180 chg sides, 456 chg coeffs, 293 upgd conss, 0 impls, 34 clqs
0.38/0.47 c (round 4, medium) 2 del vars, 10896 del conss, 5738 add conss, 2 chg bounds, 185 chg sides, 466 chg coeffs, 293 upgd conss, 0 impls, 35 clqs
0.38/0.48 c (round 5, exhaustive) 2 del vars, 10896 del conss, 5738 add conss, 2 chg bounds, 185 chg sides, 466 chg coeffs, 571 upgd conss, 0 impls, 35 clqs
0.47/0.55 c (0.5s) probing: 51/5568 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.47/0.55 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.57/0.61 c (0.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.57/0.67 c (0.7s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 716.45) (symcode time: 0.03)
0.66/0.77 c dynamic symmetry handling statistics:
0.66/0.77 c orbitopal reduction: no components
0.66/0.77 c orbital reduction: no components
0.66/0.77 c lexicographic reduction: no permutations
0.66/0.77 c handled 1500 out of 1500 symmetry components
0.66/0.77 c (round 6, exhaustive) 2 del vars, 10896 del conss, 7238 add conss, 2 chg bounds, 185 chg sides, 466 chg coeffs, 571 upgd conss, 0 impls, 1535 clqs
0.66/0.79 c (round 7, exhaustive) 2 del vars, 10896 del conss, 7238 add conss, 2 chg bounds, 185 chg sides, 466 chg coeffs, 2071 upgd conss, 0 impls, 1535 clqs
0.76/0.83 c presolving (8 rounds: 8 fast, 7 medium, 5 exhaustive):
0.76/0.83 c 2 deleted vars, 10896 deleted constraints, 7238 added constraints, 2 tightened bounds, 0 added holes, 185 changed sides, 466 changed coefficients
0.76/0.83 c 0 implications, 1535 cliques
0.76/0.83 c presolved problem has 5568 variables (5568 bin, 0 int, 0 cont) and 7238 constraints
0.76/0.83 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.76/0.83 c 571 constraints of type <knapsack>
0.76/0.83 c 1505 constraints of type <setppc>
0.76/0.83 c 5162 constraints of type <linear>
0.76/0.83 c transformed objective value is always integral (scale: 1)
0.76/0.83 c Presolving Time: 0.66
0.76/0.83 c
0.76/0.83 c - non default parameters ----------------------------------------------------------------------
0.76/0.83 c
0.76/0.83 c # SCIP version 10.0.0
0.76/0.83 c
0.76/0.83 c # maximal time in seconds to run
0.76/0.83 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.76/0.83 c limits/time = 3596.998488
0.76/0.83 c
0.76/0.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.76/0.83 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.76/0.83 c limits/memory = 27900
0.76/0.83 c
0.76/0.83 c # belongs reading time to solving time?
0.76/0.83 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.76/0.83 c timing/reading = TRUE
0.76/0.83 c
0.76/0.83 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.76/0.83 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.76/0.83 c reading/opbreader/maxintsize = 47
0.76/0.83 c
0.76/0.83 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.76/0.83 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.76/0.83 c propagating/genvbounds/timingmask = 0
0.76/0.83 c
0.76/0.83 c -----------------------------------------------------------------------------------------------
0.76/0.83 c
1.36/1.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.36/1.47 c 1.5s| 1 | 0 | 4200 | - | 252M | 0 |5568 |7260 |7238 | 0 | 0 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
3.16/3.29 c 3.3s| 1 | 0 | 13871 | - | 263M | 0 |5568 |7260 |7249 | 11 | 1 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
3.56/3.62 c 3.6s| 1 | 0 | 15762 | - | 263M | 0 |5568 |7260 |7262 | 24 | 2 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
3.86/3.93 c 3.9s| 1 | 0 | 16985 | - | 265M | 0 |5568 |7260 |7276 | 38 | 3 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
4.15/4.24 c 4.2s| 1 | 0 | 17597 | - | 266M | 0 |5568 |7260 |7288 | 50 | 4 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
4.45/4.52 c 4.5s| 1 | 0 | 17842 | - | 268M | 0 |5568 |7260 |7301 | 63 | 5 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
4.75/4.88 c 4.9s| 1 | 0 | 19427 | - | 269M | 0 |5568 |7260 |7314 | 76 | 6 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
5.15/5.26 c 5.3s| 1 | 0 | 20144 | - | 270M | 0 |5568 |7260 |7324 | 86 | 7 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
5.25/5.40 c 5.4s| 1 | 0 | 20253 | - | 273M | 0 |5568 |7260 |7337 | 99 | 8 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
5.85/5.92 c 5.9s| 1 | 0 | 21429 | - | 275M | 0 |5568 |7260 |7347 | 109 | 9 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
6.15/6.22 c 6.2s| 1 | 0 | 21794 | - | 281M | 0 |5568 |7260 |7358 | 120 | 10 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
6.25/6.34 c 6.3s| 1 | 0 | 21996 | - | 283M | 0 |5568 |7260 |7367 | 129 | 11 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
6.35/6.47 c 6.5s| 1 | 0 | 22461 | - | 285M | 0 |5568 |7260 |7377 | 139 | 12 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
7.64/7.77 c 7.8s| 1 | 2 | 27866 | - | 286M | 0 |5568 |7267 |7377 | 139 | 12 | 29 | 17 | 1.200000e+02 | -- | Inf | unknown
17.01/17.19 c 17.2s| 100 | 91 |126136 |1047.2 | 299M | 19 |5568 |7310 |7343 | 324 | 2 | 72 | 17 | 1.200000e+02 | -- | Inf | unknown
44.53/44.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.53/44.72 c 44.7s| 200 | 183 |226143 |1023.5 | 302M | 27 |5568 |7399 |7354 | 448 | 1 | 161 | 17 | 1.200000e+02 | -- | Inf | unknown
53.21/53.40 c 53.4s| 300 | 265 |254479 | 776.0 | 305M | 80 |5568 |7439 |7375 | 496 | 1 | 202 | 17 | 1.200000e+02 | -- | Inf | unknown
56.40/56.66 c 56.7s| 400 | 287 |279093 | 643.2 | 306M | 80 |5568 |7510 | 0 | 515 | 0 | 275 | 17 | 1.200000e+02 | -- | Inf | unknown
75.93/76.23 c 76.2s| 500 | 323 |303418 | 563.0 | 309M | 80 |5568 |7588 | 0 | 540 | 0 | 354 | 17 | 1.200000e+02 | -- | Inf | unknown
84.71/85.03 c 85.0s| 600 | 342 |335101 | 521.9 | 310M | 80 |5568 |7656 |7357 | 594 | 2 | 423 | 17 | 1.200000e+02 | -- | Inf | unknown
86.10/86.41 c 86.4s| 700 | 381 |343351 | 459.1 | 311M | 80 |5568 |7710 |7370 | 608 | 1 | 477 | 17 | 1.200000e+02 | -- | Inf | unknown
92.47/92.89 c 92.9s| 800 | 419 |356853 | 418.5 | 311M | 80 |5568 |7787 |7369 | 665 | 0 | 554 | 17 | 1.200000e+02 | -- | Inf | unknown
94.26/94.64 c 94.6s| 900 | 434 |372235 | 389.1 | 312M | 80 |5568 |7891 | 0 | 691 | 0 | 663 | 17 | 1.200000e+02 | -- | Inf | unknown
99.94/100.36 c 100s| 1000 | 484 |383259 | 361.2 | 314M | 80 |5568 |7940 |7354 | 740 | 1 | 715 | 17 | 1.200000e+02 | -- | Inf | unknown
108.91/109.30 c 109s| 1100 | 552 |401883 | 345.2 | 317M | 80 |5568 |7961 |7370 | 818 | 0 | 741 | 17 | 1.200000e+02 | -- | Inf | unknown
112.60/113.09 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
112.60/113.09 c (run 1, node 1129) performing user restart
112.60/113.09 c
112.60/113.10 c (restart) converted 29 cuts from the global cut pool into linear constraints
112.60/113.10 c
112.70/113.12 c presolving:
112.70/113.13 c (round 1, fast) 0 del vars, 30 del conss, 0 add conss, 0 chg bounds, 47 chg sides, 132 chg coeffs, 0 upgd conss, 0 impls, 1538 clqs
112.70/113.15 c (round 2, exhaustive) 1 del vars, 33 del conss, 0 add conss, 0 chg bounds, 47 chg sides, 132 chg coeffs, 26 upgd conss, 0 impls, 1536 clqs
112.70/113.16 c (round 3, exhaustive) 1 del vars, 56 del conss, 0 add conss, 0 chg bounds, 48 chg sides, 393 chg coeffs, 26 upgd conss, 0 impls, 1536 clqs
112.80/113.22 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
112.80/113.22 c 1 deleted vars, 56 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 48 changed sides, 403 changed coefficients
112.80/113.22 c 0 implications, 1536 cliques
112.80/113.22 c presolved problem has 5567 variables (5567 bin, 0 int, 0 cont) and 7934 constraints
112.80/113.22 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
112.80/113.22 c 590 constraints of type <knapsack>
112.80/113.22 c 1506 constraints of type <setppc>
112.80/113.22 c 5257 constraints of type <linear>
112.80/113.22 c 581 constraints of type <logicor>
112.80/113.22 c transformed objective value is always integral (scale: 1)
112.80/113.22 c Presolving Time: 0.76
112.80/113.22 c
113.00/113.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
113.00/113.49 c 113s| 1 | 0 |409500 | - | 325M | 0 |5567 |7935 |7265 | 0 | 0 | 742 | 17 | 1.200000e+02 | -- | Inf | unknown
113.49/113.98 c 114s| 1 | 0 |410030 | - | 327M | 0 |5567 |7935 |7276 | 11 | 1 | 742 | 17 | 1.200000e+02 | -- | Inf | unknown
113.70/114.18 c 114s| 1 | 0 |411188 | - | 328M | 0 |5567 |7935 |7288 | 23 | 2 | 742 | 17 | 1.200000e+02 | -- | Inf | unknown
114.19/114.64 c 115s| 1 | 0 |414491 | - | 328M | 0 |5567 |7935 |7300 | 35 | 3 | 742 | 17 | 1.200000e+02 | -- | Inf | unknown
114.49/114.98 c 115s| 1 | 0 |416006 | - | 329M | 0 |5567 |7935 |7313 | 48 | 4 | 742 | 17 | 1.200000e+02 | -- | Inf | unknown
114.89/115.35 c 115s| 1 | 0 |416989 | - | 330M | 0 |5567 |7938 |7326 | 61 | 5 | 745 | 17 | 1.200000e+02 | -- | Inf | unknown
115.39/115.81 c 116s| 1 | 0 |418712 | - | 330M | 0 |5567 |7941 |7339 | 74 | 6 | 748 | 17 | 1.200000e+02 | -- | Inf | unknown
115.69/116.15 c 116s| 1 | 0 |420131 | - | 333M | 0 |5567 |7941 |7352 | 87 | 7 | 748 | 17 | 1.200000e+02 | -- | Inf | unknown
116.08/116.51 c 117s| 1 | 0 |421284 | - | 334M | 0 |5567 |7941 |7365 | 100 | 8 | 748 | 17 | 1.200000e+02 | -- | Inf | unknown
116.48/116.93 c 117s| 1 | 0 |422651 | - | 335M | 0 |5567 |7941 |7375 | 110 | 9 | 748 | 17 | 1.200000e+02 | -- | Inf | unknown
116.88/117.38 c 117s| 1 | 0 |423809 | - | 339M | 0 |5567 |7943 |7386 | 121 | 10 | 750 | 17 | 1.200000e+02 | -- | Inf | unknown
117.18/117.64 c 118s| 1 | 0 |425361 | - | 339M | 0 |5567 |7943 |7397 | 132 | 11 | 750 | 17 | 1.200000e+02 | -- | Inf | unknown
117.38/117.82 c 118s| 1 | 0 |426052 | - | 342M | 0 |5567 |7943 |7409 | 144 | 12 | 750 | 17 | 1.200000e+02 | -- | Inf | unknown
117.48/118.00 c 118s| 1 | 0 |426614 | - | 343M | 0 |5567 |7943 |7419 | 154 | 13 | 750 | 17 | 1.200000e+02 | -- | Inf | unknown
120.17/120.64 c 121s| 1 | 2 |448890 | - | 343M | 0 |5567 |7958 |7419 | 154 | 13 | 765 | 42 | 1.200000e+02 | -- | Inf | unknown
137.61/138.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
137.61/138.13 c 138s| 100 | 91 |508379 | 379.4 | 343M | 31 |5567 |7969 |7336 | 265 | 1 | 779 | 42 | 1.200000e+02 | -- | Inf | unknown
141.09/141.61 c 142s| 200 | 166 |527259 | 365.1 | 345M | 80 |5567 |8086 |7384 | 351 | 1 | 904 | 42 | 1.200000e+02 | -- | Inf | unknown
143.28/143.88 c 144s| 300 | 198 |532523 | 343.2 | 347M | 80 |5567 |8191 | 0 | 352 | 0 |1013 | 42 | 1.200000e+02 | -- | Inf | unknown
144.97/145.51 c 146s| 400 | 239 |548160 | 331.0 | 347M | 80 |5567 |8247 |7383 | 378 | 1 |1080 | 42 | 1.200000e+02 | -- | Inf | unknown
145.67/146.26 c 146s| 500 | 243 |551620 | 312.8 | 347M | 80 |5567 |8355 |7383 | 378 | 0 |1210 | 42 | 1.200000e+02 | -- | Inf | unknown
148.66/149.26 c 149s| 600 | 288 |570799 | 305.8 | 351M | 80 |5567 |8382 |7356 | 465 | 2 |1239 | 42 | 1.200000e+02 | -- | Inf | unknown
150.35/150.98 c 151s| 700 | 363 |583747 | 296.1 | 354M | 80 |5567 |8400 |7358 | 577 | 2 |1258 | 42 | 1.200000e+02 | -- | Inf | unknown
152.45/153.01 c 153s| 800 | 434 |597083 | 287.7 | 354M | 80 |5567 |8437 |7366 | 682 | 0 |1298 | 42 | 1.200000e+02 | -- | Inf | unknown
155.73/156.34 c 156s| 900 | 505 |636726 | 293.0 | 356M | 80 |5567 |8471 | 0 | 802 | 0 |1336 | 42 | 1.200000e+02 | -- | Inf | unknown
162.20/162.84 c 163s| 1000 | 580 |722851 | 319.7 | 357M | 80 |5567 |8515 | 0 | 909 | 0 |1382 | 42 | 1.200000e+02 | -- | Inf | unknown
169.48/170.10 c 170s| 1100 | 648 |817751 | 348.0 | 358M | 80 |5567 |8548 | 0 |1031 | 0 |1416 | 42 | 1.200000e+02 | -- | Inf | unknown
178.74/179.40 c 179s| 1200 | 731 |937310 | 384.4 | 359M | 80 |5567 |8614 |7343 |1207 | 1 |1483 | 42 | 1.200000e+02 | -- | Inf | unknown
184.82/185.53 c 186s| 1300 | 807 | 1018k| 401.9 | 361M | 80 |5567 |8639 |7361 |1324 | 1 |1510 | 42 | 1.200000e+02 | -- | Inf | unknown
192.19/193.00 c 193s| 1400 | 870 | 1111k| 422.9 | 361M | 80 |5567 |8687 |7361 |1421 | 1 |1560 | 42 | 1.200000e+02 | -- | Inf | unknown
198.77/199.51 c 200s| 1500 | 944 | 1192k| 437.6 | 362M | 80 |5567 |8731 |7368 |1562 | 1 |1608 | 42 | 1.200000e+02 | -- | Inf | unknown
204.45/205.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
204.45/205.29 c 205s| 1600 | 1007 | 1263k| 447.6 | 363M | 80 |5567 |8761 |7383 |1686 | 1 |1642 | 42 | 1.200000e+02 | -- | Inf | unknown
210.34/211.16 c 211s| 1700 | 1041 | 1324k| 453.2 | 363M | 80 |5567 |8800 |7378 |1742 | 1 |1686 | 42 | 1.200000e+02 | -- | Inf | unknown
215.02/215.82 c 216s| 1800 | 1087 | 1378k| 456.2 | 366M | 80 |5567 |8832 |7373 |1795 | 2 |1732 | 42 | 1.200000e+02 | -- | Inf | unknown
221.90/222.70 c 223s| 1900 | 1145 | 1462k| 468.9 | 367M | 80 |5567 |8858 |7386 |1922 | 1 |1767 | 42 | 1.200000e+02 | -- | Inf | unknown
229.67/230.54 c 231s| 2000 | 1198 | 1544k| 480.3 | 369M | 80 |5567 |8876 |7386 |2031 | 2 |1793 | 42 | 1.200000e+02 | -- | Inf | unknown
236.05/236.96 c 237s| 2100 | 1251 | 1615k| 487.4 | 369M | 80 |5567 |8908 |7336 |2119 | 1 |1836 | 42 | 1.200000e+02 | -- | Inf | unknown
246.02/246.90 c 247s| 2200 | 1320 | 1723k| 505.2 | 372M | 80 |5567 |8917 |7336 |2238 | 1 |1855 | 42 | 1.200000e+02 | -- | Inf | unknown
258.19/259.17 c 259s| 2300 | 1394 | 1839k| 524.2 | 372M | 80 |5567 |8929 |7368 |2384 | 1 |1874 | 42 | 1.200000e+02 | -- | Inf | unknown
271.06/272.01 c 272s| 2400 | 1473 | 1951k| 541.1 | 372M | 80 |5567 |8935 |7363 |2500 | 1 |1885 | 42 | 1.200000e+02 | -- | Inf | unknown
280.03/281.06 c 281s| 2500 | 1523 | 2044k| 551.9 | 374M | 80 |5567 |8977 |7342 |2610 | 1 |1940 | 42 | 1.200000e+02 | -- | Inf | unknown
292.29/293.33 c 293s| 2600 | 1588 | 2182k| 574.1 | 374M | 80 |5567 |8984 |7352 |2743 | 1 |1962 | 42 | 1.200000e+02 | -- | Inf | unknown
305.15/306.25 c 306s| 2700 | 1656 | 2320k| 595.2 | 377M | 80 |5567 |9009 |7358 |2868 | 1 |1994 | 42 | 1.200000e+02 | -- | Inf | unknown
317.11/318.27 c 318s| 2800 | 1731 | 2426k| 606.9 | 378M | 80 |5567 |9065 |7353 |3000 | 1 |2061 | 42 | 1.200000e+02 | -- | Inf | unknown
327.78/328.92 c 329s| 2900 | 1801 | 2551k| 623.0 | 379M | 80 |5567 |9103 | 0 |3101 | 0 |2105 | 42 | 1.200000e+02 | -- | Inf | unknown
338.64/339.81 c 340s| 3000 | 1867 | 2649k| 631.6 | 381M | 80 |5567 |9131 |7339 |3191 | 1 |2143 | 42 | 1.200000e+02 | -- | Inf | unknown
349.51/350.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
349.51/350.79 c 351s| 3100 | 1926 | 2773k| 645.9 | 381M | 80 |5567 |9178 |7358 |3261 | 1 |2196 | 42 | 1.200000e+02 | -- | Inf | unknown
357.09/358.34 c 358s| 3200 | 1992 | 2863k| 651.8 | 382M | 80 |5567 |9210 |7378 |3377 | 2 |2236 | 42 | 1.200000e+02 | -- | Inf | unknown
366.36/367.63 c 368s| 3300 | 2048 | 2966k| 660.4 | 383M | 80 |5567 |9222 | 0 |3476 | 0 |2264 | 42 | 1.200000e+02 | -- | Inf | unknown
374.24/375.53 c 376s| 3400 | 2103 | 3063k| 667.1 | 383M | 80 |5567 |9226 |7368 |3579 | 1 |2296 | 42 | 1.200000e+02 | -- | Inf | unknown
381.32/382.63 c 383s| 3500 | 2145 | 3150k| 671.5 | 384M | 80 |5567 |9242 |7339 |3660 | 1 |2328 | 42 | 1.200000e+02 | -- | Inf | unknown
392.08/393.46 c 393s| 3600 | 2226 | 3280k| 685.0 | 386M | 80 |5567 |9239 |7346 |3821 | 2 |2341 | 42 | 1.200000e+02 | -- | Inf | unknown
401.26/402.66 c 403s| 3700 | 2292 | 3393k| 694.2 | 387M | 80 |5567 |9251 |7380 |3961 | 1 |2373 | 42 | 1.200000e+02 | -- | Inf | unknown
410.53/411.93 c 412s| 3800 | 2373 | 3501k| 702.0 | 389M | 80 |5567 |9269 |7369 |4109 | 1 |2403 | 42 | 1.200000e+02 | -- | Inf | unknown
427.19/428.66 c 429s| 3900 | 2448 | 3649k| 717.4 | 390M | 80 |5567 |9279 |7360 |4216 | 1 |2431 | 42 | 1.200000e+02 | -- | Inf | unknown
440.05/441.51 c 442s| 4000 | 2520 | 3776k| 728.1 | 391M | 80 |5567 |9263 |7351 |4343 | 1 |2440 | 42 | 1.200000e+02 | -- | Inf | unknown
448.42/449.96 c 450s| 4100 | 2605 | 3876k| 733.4 | 391M | 80 |5567 |9263 |7375 |4490 | 1 |2456 | 42 | 1.200000e+02 | -- | Inf | unknown
459.49/461.07 c 461s| 4200 | 2679 | 3999k| 742.7 | 393M | 80 |5567 |9291 |7368 |4624 | 2 |2514 | 42 | 1.200000e+02 | -- | Inf | unknown
475.56/477.11 c 477s| 4300 | 2750 | 4166k| 759.8 | 394M | 80 |5567 |9375 | 0 |4747 | 0 |2627 | 42 | 1.200000e+02 | -- | Inf | unknown
480.24/481.86 c 482s| 4400 | 2797 | 4227k| 757.1 | 395M | 80 |5567 |9435 |7368 |4853 | 1 |2713 | 42 | 1.200000e+02 | -- | Inf | unknown
484.33/485.95 c 486s| 4500 | 2840 | 4282k| 753.4 | 396M | 80 |5567 |9429 |7362 |4940 | 1 |2748 | 42 | 1.200000e+02 | -- | Inf | unknown
490.31/491.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
490.31/491.97 c 492s| 4600 | 2900 | 4360k| 753.9 | 396M | 80 |5567 |9435 |7367 |5060 | 1 |2786 | 42 | 1.200000e+02 | -- | Inf | unknown
503.37/505.01 c 505s| 4700 | 2969 | 4451k| 756.5 | 397M | 80 |5567 |9444 |7366 |5217 | 1 |2859 | 42 | 1.200000e+02 | -- | Inf | unknown
508.06/509.75 c 510s| 4800 | 3013 | 4513k| 754.3 | 398M | 80 |5567 |9455 |7370 |5293 | 1 |2910 | 42 | 1.200000e+02 | -- | Inf | unknown
512.64/514.36 c 514s| 4900 | 3065 | 4573k| 751.7 | 398M | 80 |5567 |9484 |7367 |5402 | 0 |2977 | 42 | 1.200000e+02 | -- | Inf | unknown
519.02/520.77 c 521s| 5000 | 3108 | 4652k| 752.3 | 399M | 80 |5567 |9480 |7356 |5435 | 1 |3034 | 42 | 1.200000e+02 | -- | Inf | unknown
524.11/525.86 c 526s| 5100 | 3162 | 4721k| 751.3 | 400M | 80 |5567 |9509 |7362 |5548 | 1 |3085 | 42 | 1.200000e+02 | -- | Inf | unknown
529.70/531.42 c 531s| 5200 | 3196 | 4787k| 749.8 | 400M | 80 |5567 |9546 |7368 |5627 | 1 |3160 | 42 | 1.200000e+02 | -- | Inf | unknown
534.48/536.27 c 536s| 5300 | 3223 | 4849k| 747.9 | 401M | 80 |5567 |9563 |7368 |5677 | 1 |3214 | 42 | 1.200000e+02 | -- | Inf | unknown
538.57/540.33 c 540s| 5400 | 3270 | 4901k| 744.4 | 402M | 80 |5567 |9549 | 0 |5754 | 0 |3259 | 42 | 1.200000e+02 | -- | Inf | unknown
542.76/544.50 c 545s| 5500 | 3303 | 4957k| 741.5 | 402M | 80 |5567 |9559 |7369 |5851 | 2 |3298 | 42 | 1.200000e+02 | -- | Inf | unknown
549.44/551.29 c 551s| 5600 | 3361 | 5042k| 743.1 | 404M | 80 |5567 |9537 |7372 |5916 | 1 |3318 | 42 | 1.200000e+02 | -- | Inf | unknown
553.53/555.34 c 555s| 5700 | 3397 | 5097k| 740.4 | 405M | 80 |5567 |9528 |7356 |5967 | 1 |3355 | 42 | 1.200000e+02 | -- | Inf | unknown
560.32/562.10 c 562s| 5800 | 3453 | 5187k| 742.6 | 406M | 80 |5567 |9536 | 0 |6050 | 0 |3384 | 42 | 1.200000e+02 | -- | Inf | unknown
564.10/565.93 c 566s| 5900 | 3486 | 5234k| 738.8 | 407M | 80 |5567 |9535 |7360 |6152 | 1 |3419 | 42 | 1.200000e+02 | -- | Inf | unknown
568.69/570.51 c 571s| 6000 | 3516 | 5293k| 736.7 | 408M | 80 |5567 |9574 | 0 |6262 | 0 |3494 | 42 | 1.200000e+02 | -- | Inf | unknown
571.38/573.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
571.38/573.22 c 573s| 6100 | 3526 | 5326k| 731.0 | 408M | 80 |5567 |9581 |7369 |6308 | 1 |3550 | 42 | 1.200000e+02 | -- | Inf | unknown
587.64/589.57 c 590s| 6200 | 3592 | 5392k| 730.1 | 409M | 80 |5567 |9546 |7337 |6423 | 2 |3585 | 42 | 1.200000e+02 | -- | Inf | unknown
591.03/592.91 c 593s| 6300 | 3641 | 5436k| 726.2 | 410M | 80 |5567 |9557 |7378 |6466 | 1 |3628 | 42 | 1.200000e+02 | -- | Inf | unknown
594.52/596.48 c 596s| 6400 | 3654 | 5473k| 721.5 | 410M | 80 |5567 |9566 | 0 |6533 | 0 |3725 | 42 | 1.200000e+02 | -- | Inf | unknown
599.11/601.02 c 601s| 6500 | 3692 | 5531k| 719.6 | 411M | 80 |5567 |9556 |7366 |6619 | 2 |3788 | 42 | 1.200000e+02 | -- | Inf | unknown
602.90/604.87 c 605s| 6600 | 3717 | 5583k| 717.0 | 412M | 80 |5567 |9536 |7373 |6679 | 2 |3823 | 42 | 1.200000e+02 | -- | Inf | unknown
606.79/608.79 c 609s| 6700 | 3763 | 5637k| 714.8 | 413M | 80 |5567 |9558 |7367 |6765 | 1 |3876 | 42 | 1.200000e+02 | -- | Inf | unknown
618.06/620.02 c 620s| 6800 | 3825 | 5744k| 719.2 | 413M | 80 |5567 |9522 | 0 |6851 | 0 |3925 | 42 | 1.200000e+02 | -- | Inf | unknown
621.45/623.44 c 623s| 6900 | 3853 | 5789k| 715.8 | 414M | 80 |5567 |9533 |7361 |6913 | 1 |3988 | 42 | 1.200000e+02 | -- | Inf | unknown
629.12/631.15 c 631s| 7000 | 3901 | 5841k| 713.5 | 415M | 80 |5567 |9481 |7337 |6967 | 1 |4036 | 42 | 1.200000e+02 | -- | Inf | unknown
636.11/638.13 c 638s| 7100 | 3946 | 5922k| 714.7 | 416M | 80 |5567 |9514 | 0 |7070 | 0 |4119 | 42 | 1.200000e+02 | -- | Inf | unknown
640.69/642.78 c 643s| 7200 | 3981 | 5983k| 713.3 | 416M | 80 |5567 |9514 |7367 |7185 | 1 |4178 | 42 | 1.200000e+02 | -- | Inf | unknown
646.87/648.97 c 649s| 7300 | 4035 | 6066k| 714.7 | 417M | 80 |5567 |9496 | 0 |7262 | 0 |4214 | 42 | 1.200000e+02 | -- | Inf | unknown
655.25/657.30 c 657s| 7400 | 4092 | 6172k| 718.8 | 417M | 80 |5567 |9431 |7373 |7386 | 1 |4240 | 42 | 1.200000e+02 | -- | Inf | unknown
658.44/660.58 c 661s| 7500 | 4106 | 6212k| 715.1 | 420M | 80 |5567 |9483 | 0 |7419 | 0 |4340 | 42 | 1.200000e+02 | -- | Inf | unknown
662.13/664.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
662.13/664.28 c 664s| 7600 | 4127 | 6259k| 712.3 | 422M | 80 |5567 |9429 |7370 |7493 | 1 |4383 | 42 | 1.200000e+02 | -- | Inf | unknown
670.81/672.99 c 673s| 7700 | 4183 | 6348k| 714.3 | 424M | 80 |5567 |9394 | 0 |7639 | 0 |4450 | 42 | 1.200000e+02 | -- | Inf | unknown
681.99/684.16 c 684s| 7800 | 4219 | 6435k| 716.0 | 427M | 80 |5567 |9375 |7380 |7716 | 1 |4516 | 42 | 1.200000e+02 | -- | Inf | unknown
685.27/687.41 c 687s| 7900 | 4252 | 6476k| 712.7 | 428M | 80 |5567 |9373 |7367 |7760 | 1 |4553 | 42 | 1.200000e+02 | -- | Inf | unknown
689.76/691.96 c 692s| 8000 | 4298 | 6544k| 712.3 | 429M | 80 |5567 |9414 |7369 |7858 | 2 |4646 | 42 | 1.200000e+02 | -- | Inf | unknown
693.65/695.84 c 696s| 8100 | 4321 | 6594k| 710.0 | 430M | 80 |5567 |9355 |7353 |7900 | 1 |4693 | 42 | 1.200000e+02 | -- | Inf | unknown
697.84/700.06 c 700s| 8200 | 4362 | 6654k| 708.8 | 430M | 80 |5567 |9380 |7372 |7988 | 1 |4774 | 42 | 1.200000e+02 | -- | Inf | unknown
701.73/703.97 c 704s| 8300 | 4399 | 6708k| 707.0 | 431M | 80 |5567 |9368 |7380 |8058 | 1 |4834 | 42 | 1.200000e+02 | -- | Inf | unknown
706.22/708.48 c 708s| 8400 | 4427 | 6766k| 705.7 | 431M | 80 |5567 |9336 |7357 |8168 | 1 |4885 | 42 | 1.200000e+02 | -- | Inf | unknown
711.20/713.44 c 713s| 8500 | 4470 | 6837k| 705.8 | 432M | 80 |5567 |9303 |7357 |8226 | 1 |4933 | 42 | 1.200000e+02 | -- | Inf | unknown
715.69/717.96 c 718s| 8600 | 4518 | 6898k| 704.8 | 433M | 80 |5567 |9294 |7374 |8285 | 1 |4986 | 42 | 1.200000e+02 | -- | Inf | unknown
719.68/721.92 c 722s| 8700 | 4550 | 6951k| 703.0 | 433M | 80 |5567 |9307 |7378 |8354 | 1 |5040 | 42 | 1.200000e+02 | -- | Inf | unknown
723.67/725.96 c 726s| 8800 | 4577 | 7006k| 701.5 | 434M | 80 |5567 |9290 |7368 |8418 | 1 |5098 | 42 | 1.200000e+02 | -- | Inf | unknown
729.86/732.18 c 732s| 8900 | 4606 | 7081k| 701.9 | 434M | 80 |5567 |9233 | 0 |8479 | 0 |5145 | 42 | 1.200000e+02 | -- | Inf | unknown
735.64/737.93 c 738s| 9000 | 4650 | 7157k| 702.6 | 435M | 80 |5567 |9244 |7366 |8541 | 1 |5244 | 42 | 1.200000e+02 | -- | Inf | unknown
741.22/743.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
741.22/743.53 c 744s| 9100 | 4697 | 7227k| 702.5 | 436M | 80 |5567 |9148 |7366 |8642 | 1 |5285 | 42 | 1.200000e+02 | -- | Inf | unknown
745.51/747.83 c 748s| 9200 | 4743 | 7291k| 701.9 | 437M | 80 |5567 |9143 | 0 |8729 | 0 |5330 | 42 | 1.200000e+02 | -- | Inf | unknown
749.70/752.09 c 752s| 9300 | 4780 | 7350k| 700.8 | 437M | 80 |5567 |9129 |7370 |8845 | 1 |5378 | 42 | 1.200000e+02 | -- | Inf | unknown
754.29/756.61 c 757s| 9400 | 4806 | 7410k| 699.9 | 438M | 80 |5567 |9126 | 0 |8903 | 0 |5430 | 42 | 1.200000e+02 | -- | Inf | unknown
758.57/760.99 c 761s| 9500 | 4844 | 7460k| 698.0 | 439M | 80 |5567 |9164 |7351 |8981 | 1 |5540 | 42 | 1.200000e+02 | -- | Inf | unknown
777.42/779.90 c 780s| 9600 | 4907 | 7588k| 703.4 | 441M | 80 |5567 |9104 |7379 |9059 | 1 |5593 | 42 | 1.200000e+02 | -- | Inf | unknown
780.21/782.60 c 783s| 9700 | 4934 | 7619k| 699.8 | 442M | 80 |5567 |9145 |7372 |9078 | 1 |5683 | 42 | 1.200000e+02 | -- | Inf | unknown
784.10/786.55 c 787s| 9800 | 4971 | 7669k| 698.0 | 442M | 80 |5567 |9134 |7376 |9132 | 1 |5745 | 42 | 1.200000e+02 | -- | Inf | unknown
787.99/790.43 c 790s| 9900 | 5010 | 7722k| 696.4 | 444M | 80 |5567 |9127 |7363 |9219 | 1 |5807 | 42 | 1.200000e+02 | -- | Inf | unknown
792.08/794.56 c 795s| 10000 | 5042 | 7770k| 694.4 | 445M | 80 |5567 |9144 |7353 |9270 | 1 |5896 | 42 | 1.200000e+02 | -- | Inf | unknown
796.97/799.41 c 799s| 10100 | 5083 | 7831k| 693.7 | 446M | 80 |5567 |9149 |7357 |9344 | 1 |5944 | 42 | 1.200000e+02 | -- | Inf | unknown
817.82/820.36 c 820s| 10200 | 5133 | 7929k| 696.2 | 447M | 80 |5567 |9040 | 0 |9449 | 0 |6009 | 42 | 1.200000e+02 | -- | Inf | unknown
828.19/830.77 c 831s| 10300 | 5192 | 8018k| 697.9 | 448M | 80 |5567 |8991 |7355 |9522 | 1 |6089 | 42 | 1.200000e+02 | -- | Inf | unknown
834.27/836.84 c 837s| 10400 | 5234 | 8090k| 698.2 | 449M | 80 |5567 |8976 |7367 |9584 | 1 |6125 | 42 | 1.200000e+02 | -- | Inf | unknown
841.15/843.70 c 844s| 10500 | 5291 | 8175k| 699.4 | 450M | 80 |5567 |8939 |7370 |9662 | 1 |6192 | 42 | 1.200000e+02 | -- | Inf | unknown
845.14/847.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
845.14/847.76 c 848s| 10600 | 5321 | 8227k| 697.9 | 451M | 80 |5567 |8935 |7366 |9712 | 1 |6253 | 42 | 1.200000e+02 | -- | Inf | unknown
852.32/854.99 c 855s| 10700 | 5384 | 8312k| 699.2 | 453M | 80 |5567 |8889 |7382 |9801 | 2 |6336 | 42 | 1.200000e+02 | -- | Inf | unknown
857.70/860.32 c 860s| 10800 | 5428 | 8378k| 698.9 | 453M | 80 |5567 |8844 |7356 |9859 | 1 |6386 | 42 | 1.200000e+02 | -- | Inf | unknown
864.59/867.20 c 867s| 10900 | 5476 | 8464k| 700.2 | 455M | 80 |5567 |8867 | 0 |9964 | 0 |6467 | 42 | 1.200000e+02 | -- | Inf | unknown
869.67/872.37 c 872s| 11000 | 5525 | 8533k| 700.1 | 455M | 80 |5567 |8837 |7356 | 10k| 1 |6522 | 42 | 1.200000e+02 | -- | Inf | unknown
873.26/875.93 c 876s| 11100 | 5561 | 8578k| 698.0 | 456M | 80 |5567 |8833 | 0 | 10k| 0 |6577 | 42 | 1.200000e+02 | -- | Inf | unknown
876.15/878.88 c 879s| 11200 | 5592 | 8619k| 695.7 | 456M | 80 |5567 |8831 | 0 | 10k| 0 |6634 | 42 | 1.200000e+02 | -- | Inf | unknown
884.53/887.20 c 887s| 11300 | 5644 | 8714k| 697.8 | 458M | 80 |5567 |8771 |7317 | 10k| 1 |6693 | 42 | 1.200000e+02 | -- | Inf | unknown
889.92/892.66 c 893s| 11400 | 5675 | 8782k| 697.6 | 461M | 80 |5567 |8747 |7370 | 10k| 2 |6761 | 42 | 1.200000e+02 | -- | Inf | unknown
894.41/897.13 c 897s| 11500 | 5706 | 8841k| 696.8 | 461M | 80 |5567 |8762 |7366 | 10k| 1 |6817 | 42 | 1.200000e+02 | -- | Inf | unknown
898.30/901.04 c 901s| 11600 | 5747 | 8886k| 694.9 | 462M | 80 |5567 |8721 |7331 | 10k| 1 |6879 | 42 | 1.200000e+02 | -- | Inf | unknown
908.67/911.45 c 911s| 11700 | 5802 | 8980k| 696.8 | 464M | 80 |5567 |8676 |7359 | 10k| 1 |6905 | 42 | 1.200000e+02 | -- | Inf | unknown
916.85/919.62 c 920s| 11800 | 5848 | 9087k| 699.7 | 464M | 80 |5567 |8638 |7381 | 10k| 1 |6985 | 42 | 1.200000e+02 | -- | Inf | unknown
923.34/926.15 c 926s| 11900 | 5891 | 9166k| 700.3 | 465M | 80 |5567 |8604 | 0 | 10k| 0 |7027 | 42 | 1.200000e+02 | -- | Inf | unknown
927.62/930.44 c 930s| 12000 | 5937 | 9216k| 698.8 | 466M | 80 |5567 |8595 |7366 | 10k| 1 |7094 | 42 | 1.200000e+02 | -- | Inf | unknown
932.81/935.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
932.81/935.69 c 936s| 12100 | 5983 | 9284k| 698.6 | 466M | 80 |5567 |8631 |7374 | 10k| 1 |7199 | 42 | 1.200000e+02 | -- | Inf | unknown
937.50/940.39 c 940s| 12200 | 6023 | 9346k| 698.1 | 467M | 80 |5567 |8671 |7367 | 10k| 1 |7295 | 42 | 1.200000e+02 | -- | Inf | unknown
942.38/945.20 c 945s| 12300 | 6047 | 9403k| 697.1 | 467M | 80 |5567 |8655 |7378 | 10k| 1 |7344 | 42 | 1.200000e+02 | -- | Inf | unknown
951.76/954.68 c 955s| 12400 | 6091 | 9475k| 697.3 | 468M | 80 |5567 |8581 |7333 | 11k| 1 |7408 | 42 | 1.200000e+02 | -- | Inf | unknown
957.94/960.82 c 961s| 12500 | 6145 | 9556k| 698.1 | 469M | 80 |5567 |8528 |7364 | 11k| 2 |7476 | 42 | 1.200000e+02 | -- | Inf | unknown
963.92/966.88 c 967s| 12600 | 6189 | 9632k| 698.6 | 470M | 80 |5567 |8523 | 0 | 11k| 0 |7552 | 42 | 1.200000e+02 | -- | Inf | unknown
970.41/973.33 c 973s| 12700 | 6226 | 9714k| 699.5 | 471M | 80 |5567 |8525 |7363 | 11k| 1 |7646 | 42 | 1.200000e+02 | -- | Inf | unknown
976.69/979.67 c 980s| 12800 | 6257 | 9785k| 699.5 | 471M | 80 |5567 |8529 |7367 | 11k| 1 |7725 | 42 | 1.200000e+02 | -- | Inf | unknown
980.68/983.63 c 984s| 12900 | 6296 | 9830k| 697.8 | 472M | 80 |5567 |8570 |7370 | 11k| 1 |7795 | 42 | 1.200000e+02 | -- | Inf | unknown
985.27/988.28 c 988s| 13000 | 6324 | 9889k| 697.0 | 473M | 80 |5567 |8555 | 0 | 11k| 0 |7843 | 42 | 1.200000e+02 | -- | Inf | unknown
990.75/993.76 c 994s| 13100 | 6371 | 9961k| 697.1 | 474M | 80 |5567 |8569 |7373 | 11k| 1 |7920 | 42 | 1.200000e+02 | -- | Inf | unknown
1004.21/1007.23 c 1007s| 13200 | 6425 | 10109k| 702.6 | 476M | 80 |5567 |8460 |7343 | 11k| 1 |7961 | 42 | 1.200000e+02 | -- | Inf | unknown
1009.20/1012.26 c 1012s| 13300 | 6467 | 10175k| 702.3 | 477M | 80 |5567 |8477 |7380 | 11k| 1 |8017 | 42 | 1.200000e+02 | -- | Inf | unknown
1017.88/1020.99 c 1021s| 13400 | 6527 | 10273k| 704.2 | 477M | 80 |5567 |8492 |7357 | 11k| 1 |8097 | 42 | 1.200000e+02 | -- | Inf | unknown
1023.86/1026.99 c 1027s| 13500 | 6588 | 10340k| 704.0 | 479M | 80 |5567 |8513 |7367 | 11k| 1 |8164 | 42 | 1.200000e+02 | -- | Inf | unknown
1031.84/1034.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1031.84/1034.90 c 1035s| 13600 | 6650 | 10430k| 705.3 | 480M | 80 |5567 |8450 |7372 | 11k| 1 |8264 | 42 | 1.200000e+02 | -- | Inf | unknown
1039.02/1042.18 c 1042s| 13700 | 6694 | 10507k| 705.8 | 482M | 80 |5567 |8423 |7359 | 12k| 2 |8343 | 42 | 1.200000e+02 | -- | Inf | unknown
1046.50/1049.62 c 1050s| 13800 | 6753 | 10585k| 706.3 | 482M | 80 |5567 |8413 |7353 | 12k| 1 |8459 | 42 | 1.200000e+02 | -- | Inf | unknown
1050.99/1054.19 c 1054s| 13900 | 6804 | 10644k| 705.5 | 483M | 80 |5567 |8436 |7379 | 12k| 1 |8526 | 42 | 1.200000e+02 | -- | Inf | unknown
1059.47/1062.69 c 1063s| 14000 | 6848 | 10729k| 706.4 | 484M | 80 |5567 |8403 |7380 | 12k| 1 |8624 | 42 | 1.200000e+02 | -- | Inf | unknown
1066.25/1069.40 c 1069s| 14100 | 6903 | 10805k| 706.8 | 485M | 80 |5567 |8351 |7321 | 12k| 1 |8675 | 42 | 1.200000e+02 | -- | Inf | unknown
1071.44/1074.65 c 1075s| 14200 | 6952 | 10873k| 706.6 | 486M | 80 |5567 |8363 | 0 | 12k| 0 |8765 | 42 | 1.200000e+02 | -- | Inf | unknown
1086.90/1090.13 c 1090s| 14300 | 7010 | 10994k| 709.9 | 487M | 80 |5567 |8328 |7369 | 12k| 1 |8839 | 42 | 1.200000e+02 | -- | Inf | unknown
1096.16/1099.42 c 1099s| 14400 | 7067 | 11083k| 711.1 | 488M | 80 |5567 |8334 |7373 | 12k| 1 |8899 | 42 | 1.200000e+02 | -- | Inf | unknown
1103.24/1106.53 c 1107s| 14500 | 7122 | 11149k| 710.7 | 488M | 80 |5567 |8352 | 0 | 12k| 0 |8968 | 42 | 1.200000e+02 | -- | Inf | unknown
1114.61/1117.99 c 1118s| 14600 | 7185 | 11231k| 711.4 | 489M | 80 |5567 |8272 |7351 | 12k| 1 |9033 | 42 | 1.200000e+02 | -- | Inf | unknown
1122.70/1126.06 c 1126s| 14700 | 7252 | 11330k| 713.2 | 490M | 80 |5567 |8270 |7387 | 12k| 1 |9106 | 42 | 1.200000e+02 | -- | Inf | unknown
1132.57/1135.99 c 1136s| 14800 | 7317 | 11443k| 715.8 | 492M | 80 |5567 |8307 |7361 | 13k| 1 |9198 | 42 | 1.200000e+02 | -- | Inf | unknown
1140.04/1143.40 c 1143s| 14900 | 7372 | 11534k| 717.0 | 492M | 80 |5567 |8346 |7376 | 13k| 1 |9267 | 42 | 1.200000e+02 | -- | Inf | unknown
1147.52/1150.96 c 1151s| 15000 | 7427 | 11620k| 717.9 | 494M | 80 |5567 |8365 |7366 | 13k| 1 |9331 | 42 | 1.200000e+02 | -- | Inf | unknown
1153.41/1156.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1153.41/1156.81 c 1157s| 15100 | 7464 | 11688k| 717.7 | 495M | 80 |5567 |8392 |7380 | 13k| 2 |9394 | 42 | 1.200000e+02 | -- | Inf | unknown
1164.48/1167.96 c 1168s| 15200 | 7530 | 11811k| 720.8 | 497M | 80 |5567 |8372 |7373 | 13k| 1 |9515 | 42 | 1.200000e+02 | -- | Inf | unknown
1180.24/1183.71 c 1184s| 15300 | 7595 | 11979k| 726.6 | 498M | 80 |5567 |8358 |7368 | 13k| 1 |9567 | 42 | 1.200000e+02 | -- | Inf | unknown
1189.21/1192.78 c 1193s| 15400 | 7659 | 12086k| 728.7 | 499M | 80 |5567 |8318 |7311 | 13k| 1 |9637 | 42 | 1.200000e+02 | -- | Inf | unknown
1197.69/1201.24 c 1201s| 15500 | 7724 | 12183k| 730.1 | 500M | 80 |5567 |8324 |7366 | 13k| 1 |9711 | 42 | 1.200000e+02 | -- | Inf | unknown
1202.68/1206.25 c 1206s| 15600 | 7775 | 12245k| 729.5 | 501M | 80 |5567 |8337 | 0 | 13k| 0 |9779 | 42 | 1.200000e+02 | -- | Inf | unknown
1208.16/1211.72 c 1212s| 15700 | 7838 | 12314k| 729.3 | 501M | 80 |5567 |8377 | 0 | 13k| 0 |9846 | 42 | 1.200000e+02 | -- | Inf | unknown
1216.04/1219.61 c 1220s| 15800 | 7891 | 12404k| 730.3 | 502M | 80 |5567 |8375 |7357 | 13k| 1 |9907 | 42 | 1.200000e+02 | -- | Inf | unknown
1225.02/1228.70 c 1229s| 15900 | 7947 | 12518k| 732.7 | 503M | 80 |5567 |8347 |7380 | 13k| 1 |9955 | 42 | 1.200000e+02 | -- | Inf | unknown
1229.81/1233.41 c 1233s| 16000 | 8001 | 12575k| 731.7 | 504M | 80 |5567 |8375 |7380 | 14k| 1 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1237.29/1240.95 c 1241s| 16100 | 8061 | 12659k| 732.3 | 505M | 80 |5567 |8418 |7368 | 14k| 1 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1246.26/1249.91 c 1250s| 16200 | 8121 | 12767k| 734.4 | 507M | 80 |5567 |8427 |7381 | 14k| 1 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1252.54/1256.23 c 1256s| 16300 | 8170 | 12840k| 734.4 | 508M | 80 |5567 |8560 | 0 | 14k| 0 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1266.51/1270.25 c 1270s| 16400 | 8239 | 12970k| 737.6 | 512M | 80 |5567 |8534 |7368 | 14k| 1 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1281.07/1284.88 c 1285s| 16500 | 8298 | 13101k| 740.8 | 513M | 80 |5567 |8534 | 0 | 14k| 0 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1287.96/1291.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1287.96/1291.76 c 1292s| 16600 | 8357 | 13178k| 741.0 | 515M | 80 |5567 |8503 |7340 | 14k| 1 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1297.13/1300.94 c 1301s| 16700 | 8425 | 13276k| 742.3 | 516M | 80 |5567 |8537 |7360 | 14k| 1 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1312.19/1316.07 c 1316s| 16800 | 8488 | 13371k| 743.5 | 517M | 80 |5567 |8522 |7381 | 14k| 1 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1318.27/1322.17 c 1322s| 16900 | 8533 | 13442k| 743.3 | 519M | 80 |5567 |8512 |7362 | 14k| 1 | 10k| 42 | 1.200000e+02 | -- | Inf | unknown
1324.95/1328.80 c 1329s| 17000 | 8574 | 13518k| 743.4 | 520M | 80 |5567 |8470 |7372 | 14k| 1 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1333.03/1336.94 c 1337s| 17100 | 8633 | 13611k| 744.4 | 521M | 80 |5567 |8433 | 0 | 14k| 0 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1338.91/1342.82 c 1343s| 17200 | 8680 | 13679k| 744.1 | 522M | 80 |5567 |8419 |7372 | 15k| 1 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1344.20/1348.11 c 1348s| 17300 | 8707 | 13741k| 743.4 | 523M | 80 |5567 |8489 | 0 | 15k| 0 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1350.28/1354.21 c 1354s| 17400 | 8746 | 13813k| 743.2 | 523M | 80 |5567 |8558 |7377 | 15k| 1 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1361.35/1365.32 c 1365s| 17500 | 8820 | 13946k| 746.4 | 524M | 80 |5567 |8531 |7360 | 15k| 1 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1378.71/1382.78 c 1383s| 17600 | 8885 | 14053k| 748.1 | 528M | 80 |5567 |8521 | 0 | 15k| 0 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1389.28/1393.35 c 1393s| 17700 | 8967 | 14180k| 750.9 | 530M | 80 |5567 |8475 |7370 | 15k| 1 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1396.16/1400.27 c 1400s| 17800 | 9016 | 14255k| 750.9 | 532M | 80 |5567 |8484 | 0 | 15k| 0 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1404.04/1408.17 c 1408s| 17900 | 9078 | 14350k| 751.9 | 532M | 80 |5567 |8500 |7368 | 15k| 1 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1412.21/1416.39 c 1416s| 18000 | 9137 | 14434k| 752.4 | 533M | 80 |5567 |8471 |7334 | 15k| 1 | 11k| 42 | 1.200000e+02 | -- | Inf | unknown
1426.19/1430.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1426.19/1430.31 c 1430s| 18100 | 9210 | 14584k| 756.3 | 534M | 80 |5567 |8467 |7369 | 15k| 1 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1432.07/1436.26 c 1436s| 18200 | 9253 | 14649k| 755.7 | 535M | 80 |5567 |8514 | 0 | 15k| 0 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1440.45/1444.64 c 1445s| 18300 | 9318 | 14742k| 756.6 | 537M | 80 |5567 |8566 |7370 | 16k| 1 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1447.03/1451.21 c 1451s| 18400 | 9349 | 14814k| 756.5 | 539M | 80 |5567 |8573 |7378 | 16k| 2 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1452.22/1456.40 c 1456s| 18500 | 9383 | 14871k| 755.5 | 540M | 80 |5567 |8601 |7374 | 16k| 2 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1458.40/1462.64 c 1463s| 18600 | 9440 | 14942k| 755.3 | 541M | 80 |5567 |8629 |7355 | 16k| 1 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1466.28/1470.56 c 1471s| 18700 | 9499 | 15033k| 756.0 | 543M | 80 |5567 |8700 |7364 | 16k| 1 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1473.76/1478.10 c 1478s| 18800 | 9569 | 15118k| 756.5 | 544M | 80 |5567 |8741 | 0 | 16k| 0 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1480.24/1484.55 c 1485s| 18900 | 9621 | 15196k| 756.6 | 544M | 80 |5567 |8792 |7353 | 16k| 1 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1485.93/1490.28 c 1490s| 19000 | 9655 | 15263k| 756.2 | 545M | 80 |5567 |8801 |7369 | 16k| 2 | 12k| 42 | 1.200000e+02 | -- | Inf | unknown
1493.81/1498.12 c 1498s| 19100 | 9708 | 15350k| 756.8 | 546M | 80 |5567 |8826 | 0 | 16k| 0 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1498.80/1503.15 c 1503s| 19200 | 9741 | 15409k| 756.0 | 547M | 80 |5567 |8796 |7355 | 16k| 1 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1506.97/1511.31 c 1511s| 19300 | 9817 | 15507k| 757.0 | 549M | 80 |5567 |8769 |7346 | 16k| 1 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1517.14/1521.58 c 1522s| 19400 | 9886 | 15623k| 759.0 | 552M | 80 |5567 |8806 |7348 | 16k| 1 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1524.12/1528.51 c 1529s| 19500 | 9954 | 15705k| 759.3 | 552M | 82 |5567 |8843 |7358 | 17k| 1 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1530.80/1535.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1530.80/1535.24 c 1535s| 19600 | 10003 | 15785k| 759.5 | 554M | 82 |5567 |8825 |7339 | 17k| 1 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1536.29/1540.73 c 1541s| 19700 | 10044 | 15848k| 758.9 | 555M | 82 |5567 |8788 |7375 | 17k| 1 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1544.27/1548.78 c 1549s| 19800 | 10091 | 15937k| 759.5 | 556M | 82 |5567 |8840 | 0 | 17k| 0 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1551.85/1556.30 c 1556s| 19900 | 10146 | 16021k| 759.9 | 557M | 82 |5567 |8903 | 0 | 17k| 0 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1560.53/1565.08 c 1565s| 20000 | 10203 | 16120k| 761.0 | 558M | 82 |5567 |8958 |7385 | 17k| 1 | 13k| 42 | 1.200000e+02 | -- | Inf | unknown
1571.99/1576.52 c 1577s| 20100 | 10272 | 16246k| 763.3 | 559M | 82 |5567 |8911 |7351 | 17k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1581.27/1585.85 c 1586s| 20200 | 10321 | 16356k| 764.9 | 559M | 82 |5567 |8856 |7345 | 17k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1588.95/1593.57 c 1594s| 20300 | 10367 | 16445k| 765.5 | 560M | 82 |5567 |8840 |7371 | 17k| 2 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1596.43/1601.03 c 1601s| 20400 | 10417 | 16531k| 765.9 | 562M | 82 |5567 |8809 | 0 | 17k| 0 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1606.30/1610.93 c 1611s| 20500 | 10477 | 16638k| 767.4 | 563M | 82 |5567 |8782 |7357 | 17k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1614.38/1619.04 c 1619s| 20600 | 10529 | 16723k| 767.7 | 565M | 82 |5567 |8784 |7361 | 17k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1622.66/1627.31 c 1627s| 20700 | 10590 | 16818k| 768.6 | 568M | 82 |5567 |8758 |7366 | 18k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1628.35/1633.05 c 1633s| 20800 | 10644 | 16884k| 768.0 | 571M | 82 |5567 |8822 |7387 | 18k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1636.52/1641.25 c 1641s| 20900 | 10711 | 16978k| 768.8 | 573M | 82 |5567 |8820 | 0 | 18k| 0 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1642.01/1646.74 c 1647s| 21000 | 10752 | 17039k| 768.1 | 573M | 82 |5567 |8819 | 0 | 18k| 0 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1648.99/1653.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1648.99/1653.76 c 1654s| 21100 | 10814 | 17123k| 768.5 | 574M | 82 |5567 |8840 |7373 | 18k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1656.97/1661.72 c 1662s| 21200 | 10875 | 17215k| 769.1 | 575M | 82 |5567 |8873 |7361 | 18k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1668.24/1673.09 c 1673s| 21300 | 10937 | 17327k| 770.7 | 579M | 82 |5567 |8751 |7364 | 18k| 1 | 14k| 42 | 1.200000e+02 | -- | Inf | unknown
1674.22/1679.10 c 1679s| 21400 | 10977 | 17394k| 770.2 | 579M | 82 |5567 |8725 |7373 | 18k| 1 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1680.00/1684.83 c 1685s| 21500 | 11043 | 17463k| 769.9 | 581M | 82 |5567 |8719 |7363 | 18k| 1 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1688.48/1693.39 c 1693s| 21600 | 11108 | 17552k| 770.4 | 581M | 82 |5567 |8668 |7367 | 18k| 1 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1696.36/1701.27 c 1701s| 21700 | 11161 | 17644k| 771.1 | 583M | 82 |5567 |8656 |7359 | 18k| 1 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1701.54/1706.49 c 1706s| 21800 | 11189 | 17705k| 770.4 | 583M | 82 |5567 |8705 | 0 | 18k| 0 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1710.42/1715.34 c 1715s| 21900 | 11253 | 17804k| 771.3 | 584M | 82 |5567 |8723 |7370 | 18k| 3 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1718.11/1723.08 c 1723s| 22000 | 11305 | 17898k| 772.1 | 585M | 82 |5567 |8721 |7377 | 19k| 1 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1726.18/1731.17 c 1731s| 22100 | 11353 | 17992k| 772.8 | 586M | 82 |5567 |8736 |7360 | 19k| 1 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1734.35/1739.34 c 1739s| 22200 | 11409 | 18087k| 773.5 | 587M | 82 |5567 |8802 | 0 | 19k| 0 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1744.92/1749.97 c 1750s| 22300 | 11470 | 18209k| 775.5 | 588M | 82 |5567 |8854 |7360 | 19k| 2 | 15k| 42 | 1.200000e+02 | -- | Inf | unknown
1754.90/1759.93 c 1760s| 22400 | 11529 | 18324k| 777.0 | 590M | 82 |5567 |8830 |7359 | 19k| 1 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1764.57/1769.60 c 1770s| 22500 | 11605 | 18439k| 778.6 | 591M | 82 |5567 |8692 |7348 | 19k| 1 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1775.84/1780.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1775.84/1780.98 c 1781s| 22600 | 11675 | 18574k| 781.0 | 592M | 82 |5567 |8529 |7362 | 19k| 1 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1783.32/1788.41 c 1788s| 22700 | 11723 | 18656k| 781.2 | 594M | 82 |5567 |8434 |7377 | 19k| 1 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1791.40/1796.56 c 1797s| 22800 | 11788 | 18752k| 781.9 | 595M | 82 |5567 |8426 |7354 | 19k| 1 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1801.47/1806.63 c 1807s| 22900 | 11845 | 18860k| 783.2 | 597M | 82 |5567 |8292 |7357 | 19k| 1 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1812.24/1817.46 c 1817s| 23000 | 11918 | 18985k| 785.1 | 599M | 82 |5567 |8415 |7360 | 19k| 1 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1821.92/1827.15 c 1827s| 23100 | 11962 | 19095k| 786.4 | 599M | 82 |5567 |8389 | 0 | 19k| 0 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1830.10/1835.38 c 1835s| 23200 | 12027 | 19194k| 787.2 | 601M | 82 |5567 |8463 |7364 | 19k| 1 | 16k| 42 | 1.200000e+02 | -- | Inf | unknown
1837.38/1842.69 c 1843s| 23300 | 12068 | 19274k| 787.3 | 602M | 82 |5567 |8470 |7356 | 20k| 1 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1843.96/1849.25 c 1849s| 23400 | 12108 | 19348k| 787.1 | 604M | 82 |5567 |8420 |7349 | 20k| 1 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1852.34/1857.65 c 1858s| 23500 | 12165 | 19445k| 787.8 | 605M | 82 |5567 |8451 |7365 | 20k| 2 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1860.72/1866.09 c 1866s| 23600 | 12223 | 19548k| 788.8 | 606M | 82 |5567 |8394 |7346 | 20k| 1 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1868.49/1873.86 c 1874s| 23700 | 12282 | 19641k| 789.4 | 607M | 82 |5567 |8462 |7362 | 20k| 1 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1876.87/1882.24 c 1882s| 23800 | 12341 | 19740k| 790.2 | 609M | 82 |5567 |8584 |7360 | 20k| 1 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1884.55/1889.98 c 1890s| 23900 | 12394 | 19829k| 790.6 | 610M | 82 |5567 |8563 |7360 | 20k| 1 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1892.83/1898.21 c 1898s| 24000 | 12458 | 19929k| 791.4 | 613M | 82 |5567 |8575 | 0 | 20k| 0 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1899.92/1905.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1899.92/1905.37 c 1905s| 24100 | 12504 | 20014k| 791.7 | 614M | 82 |5567 |8540 |7364 | 20k| 1 | 17k| 42 | 1.200000e+02 | -- | Inf | unknown
1908.19/1913.63 c 1914s| 24200 | 12575 | 20111k| 792.4 | 615M | 82 |5567 |8639 |7359 | 20k| 1 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1919.56/1925.07 c 1925s| 24300 | 12636 | 20244k| 794.5 | 616M | 82 |5567 |8619 |7359 | 20k| 1 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1931.33/1936.84 c 1937s| 24400 | 12709 | 20386k| 796.9 | 616M | 82 |5567 |8572 |7363 | 20k| 1 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1940.90/1946.44 c 1946s| 24500 | 12767 | 20507k| 798.5 | 619M | 82 |5567 |8585 |7369 | 20k| 1 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1947.28/1952.86 c 1953s| 24600 | 12822 | 20581k| 798.3 | 619M | 82 |5567 |8602 | 0 | 21k| 0 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1957.26/1962.83 c 1963s| 24700 | 12893 | 20696k| 799.7 | 620M | 82 |5567 |8584 |7363 | 21k| 1 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1963.44/1969.07 c 1969s| 24800 | 12936 | 20772k| 799.5 | 622M | 82 |5567 |8575 |7358 | 21k| 1 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1971.22/1976.88 c 1977s| 24900 | 13009 | 20861k| 799.9 | 624M | 82 |5567 |8535 |7365 | 21k| 1 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1977.10/1982.72 c 1983s| 25000 | 13062 | 20928k| 799.4 | 625M | 82 |5567 |8630 | 0 | 21k| 0 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1984.49/1990.19 c 1990s| 25100 | 13104 | 21007k| 799.3 | 626M | 82 |5567 |8590 |7345 | 21k| 1 | 18k| 42 | 1.200000e+02 | -- | Inf | unknown
1993.96/1999.62 c 2000s| 25200 | 13166 | 21115k| 800.4 | 628M | 82 |5567 |8629 |7369 | 21k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2006.22/2011.90 c 2012s| 25300 | 13223 | 21253k| 802.6 | 628M | 82 |5567 |8556 |7366 | 21k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2016.20/2021.99 c 2022s| 25400 | 13287 | 21370k| 804.0 | 629M | 82 |5567 |8531 |7359 | 21k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2026.38/2032.15 c 2032s| 25500 | 13335 | 21495k| 805.6 | 632M | 82 |5567 |8505 |7345 | 21k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2036.05/2041.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2036.05/2041.80 c 2042s| 25600 | 13400 | 21601k| 806.6 | 633M | 82 |5567 |8479 |7371 | 21k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2045.62/2051.49 c 2051s| 25700 | 13476 | 21698k| 807.2 | 635M | 82 |5567 |8481 |7359 | 21k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2054.21/2060.04 c 2060s| 25800 | 13536 | 21800k| 808.0 | 636M | 82 |5567 |8524 |7374 | 21k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2060.88/2066.75 c 2067s| 25900 | 13602 | 21878k| 807.9 | 637M | 82 |5567 |8569 | 0 | 22k| 0 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2067.66/2073.56 c 2074s| 26000 | 13668 | 21955k| 807.7 | 638M | 82 |5567 |8628 |7370 | 22k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2076.24/2082.12 c 2082s| 26100 | 13701 | 22042k| 808.0 | 639M | 82 |5567 |8628 | 0 | 22k| 0 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2083.22/2089.11 c 2089s| 26200 | 13749 | 22125k| 808.1 | 640M | 82 |5567 |8638 |7370 | 22k| 1 | 19k| 42 | 1.200000e+02 | -- | Inf | unknown
2092.89/2098.88 c 2099s| 26300 | 13818 | 22237k| 809.2 | 641M | 82 |5567 |8660 | 0 | 22k| 0 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2100.27/2106.23 c 2106s| 26400 | 13880 | 22329k| 809.6 | 642M | 82 |5567 |8668 |7375 | 22k| 1 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2105.96/2111.95 c 2112s| 26500 | 13928 | 22396k| 809.1 | 642M | 82 |5567 |8710 | 0 | 22k| 0 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2115.23/2121.24 c 2121s| 26600 | 13994 | 22502k| 810.0 | 645M | 82 |5567 |8756 |7373 | 22k| 1 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2125.20/2131.29 c 2131s| 26700 | 14059 | 22619k| 811.3 | 648M | 82 |5567 |8779 |7376 | 22k| 1 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2134.28/2140.39 c 2140s| 26800 | 14121 | 22723k| 812.1 | 650M | 82 |5567 |8729 |7379 | 22k| 2 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2141.26/2147.31 c 2147s| 26900 | 14166 | 22802k| 812.0 | 652M | 82 |5567 |8699 |7386 | 22k| 1 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2150.43/2156.54 c 2157s| 27000 | 14224 | 22900k| 812.6 | 652M | 82 |5567 |8674 |7367 | 22k| 1 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2161.90/2168.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2161.90/2168.05 c 2168s| 27100 | 14289 | 22981k| 812.6 | 659M | 82 |5567 |8694 |7376 | 22k| 2 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2167.78/2173.98 c 2174s| 27200 | 14330 | 23049k| 812.2 | 661M | 82 |5567 |8675 |7363 | 22k| 1 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2178.05/2184.28 c 2184s| 27300 | 14388 | 23164k| 813.4 | 663M | 82 |5567 |8659 | 0 | 22k| 0 | 20k| 42 | 1.200000e+02 | -- | Inf | unknown
2185.43/2191.60 c 2192s| 27400 | 14439 | 23253k| 813.6 | 664M | 82 |5567 |8614 |7372 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2190.62/2196.87 c 2197s| 27500 | 14489 | 23310k| 812.8 | 666M | 82 |5567 |8605 |7368 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2196.50/2202.78 c 2203s| 27600 | 14550 | 23383k| 812.5 | 668M | 82 |5567 |8694 |7373 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2203.58/2209.86 c 2210s| 27700 | 14608 | 23463k| 812.5 | 668M | 82 |5567 |8731 |7376 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2211.66/2217.98 c 2218s| 27800 | 14655 | 23551k| 812.7 | 670M | 82 |5567 |8773 |7370 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2220.34/2226.68 c 2227s| 27900 | 14726 | 23650k| 813.3 | 671M | 82 |5567 |8844 |7365 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2230.41/2236.80 c 2237s| 28000 | 14792 | 23753k| 814.0 | 673M | 82 |5567 |8651 | 0 | 23k| 0 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2238.69/2245.03 c 2245s| 28100 | 14857 | 23852k| 814.6 | 676M | 82 |5567 |8622 |7367 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2249.16/2255.58 c 2256s| 28200 | 14923 | 23967k| 815.8 | 678M | 82 |5567 |8543 |7349 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2257.34/2263.74 c 2264s| 28300 | 14974 | 24058k| 816.1 | 679M | 82 |5567 |8548 |7366 | 23k| 1 | 21k| 42 | 1.200000e+02 | -- | Inf | unknown
2268.72/2275.15 c 2275s| 28400 | 15037 | 24194k| 817.9 | 680M | 82 |5567 |8514 | 0 | 23k| 0 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2276.29/2282.77 c 2283s| 28500 | 15079 | 24275k| 817.9 | 680M | 82 |5567 |8525 |7351 | 23k| 1 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2282.78/2289.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2282.78/2289.29 c 2289s| 28600 | 15134 | 24359k| 818.0 | 681M | 82 |5567 |8572 |7371 | 24k| 1 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2287.57/2294.08 c 2294s| 28700 | 15197 | 24412k| 817.0 | 681M | 82 |5567 |8627 |7336 | 24k| 1 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2296.34/2302.84 c 2303s| 28800 | 15258 | 24511k| 817.6 | 682M | 82 |5567 |8699 |7379 | 24k| 1 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2304.62/2311.18 c 2311s| 28900 | 15318 | 24604k| 818.0 | 683M | 82 |5567 |8739 |7356 | 24k| 1 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2311.80/2318.30 c 2318s| 29000 | 15380 | 24691k| 818.1 | 683M | 82 |5567 |8699 |7370 | 24k| 1 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2320.97/2327.53 c 2328s| 29100 | 15431 | 24796k| 818.9 | 684M | 82 |5567 |8592 |7368 | 24k| 1 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2327.95/2334.52 c 2335s| 29200 | 15487 | 24880k| 819.0 | 685M | 82 |5567 |8618 |7359 | 24k| 1 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2336.54/2343.12 c 2343s| 29300 | 15548 | 24992k| 820.0 | 686M | 82 |5567 |8603 | 0 | 24k| 0 | 22k| 42 | 1.200000e+02 | -- | Inf | unknown
2343.31/2349.96 c 2350s| 29400 | 15621 | 25074k| 820.0 | 689M | 82 |5567 |8689 |7376 | 24k| 2 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2352.49/2359.15 c 2359s| 29500 | 15689 | 25179k| 820.7 | 689M | 82 |5567 |8676 |7380 | 24k| 1 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2356.78/2363.47 c 2363s| 29600 | 15742 | 25231k| 819.8 | 690M | 82 |5567 |8777 | 0 | 24k| 0 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2365.25/2371.97 c 2372s| 29700 | 15789 | 25326k| 820.2 | 692M | 82 |5567 |8762 |7363 | 24k| 1 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2370.74/2377.43 c 2377s| 29800 | 15832 | 25387k| 819.5 | 693M | 83 |5567 |8746 |7370 | 24k| 1 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2379.42/2386.19 c 2386s| 29900 | 15882 | 25480k| 819.8 | 695M | 84 |5567 |8710 |7379 | 24k| 1 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2385.70/2392.47 c 2392s| 30000 | 15941 | 25554k| 819.6 | 696M | 84 |5567 |8738 | 0 | 25k| 0 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2392.38/2399.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2392.38/2399.11 c 2399s| 30100 | 16003 | 25631k| 819.4 | 698M | 84 |5567 |8652 |7361 | 25k| 1 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2398.86/2405.62 c 2406s| 30200 | 16058 | 25705k| 819.2 | 699M | 84 |5567 |8681 |7351 | 25k| 1 | 23k| 42 | 1.200000e+02 | -- | Inf | unknown
2405.74/2412.52 c 2413s| 30300 | 16122 | 25780k| 819.0 | 699M | 84 |5567 |8766 |7361 | 25k| 1 | 24k| 42 | 1.200000e+02 | -- | Inf | unknown
2414.12/2420.94 c 2421s| 30400 | 16173 | 25874k| 819.3 | 702M | 84 |5567 |8692 |7342 | 25k| 1 | 24k| 42 | 1.200000e+02 | -- | Inf | unknown
2421.80/2428.66 c 2429s| 30500 | 16236 | 25962k| 819.5 | 703M | 84 |5567 |8721 |7372 | 25k| 1 | 24k| 42 | 1.200000e+02 | -- | Inf | unknown
2427.08/2434.00 c 2434s| 30600 | 16282 | 26021k| 818.8 | 706M | 84 |5567 |8756 |7364 | 25k| 1 | 24k| 42 | 1.200000e+02 | -- | Inf | unknown
2435.56/2442.45 c 2442s| 30700 | 16346 | 26123k| 819.4 | 709M | 84 |5567 |8704 |7373 | 25k| 1 | 24k| 42 | 1.200000e+02 | -- | Inf | unknown
2442.84/2449.71 c 2450s| 30800 | 16411 | 26207k| 819.5 | 712M | 84 |5567 |8805 | 0 | 25k| 0 | 24k| 42 | 1.200000e+02 | -- | Inf | unknown
2453.31/2460.24 c 2460s| 30900 | 16472 | 26318k| 820.4 | 715M | 84 |5567 |8813 |7359 | 25k| 1 | 24k| 42 | 1.200000e+02 | -- | Inf | unknown
2461.39/2468.35 c 2468s| 31000 | 16532 | 26417k| 820.9 | 717M | 84 |5567 |8822 |7377 | 25k| 2 | 24k| 42 | 1.200000e+02 | -- | Inf | unknown
2471.36/2478.38 c 2478s| 31100 | 16608 | 26533k| 822.0 | 719M | 84 |5567 |8918 |7383 | 25k| 1 | 25k| 42 | 1.200000e+02 | -- | Inf | unknown
2479.54/2486.58 c 2487s| 31200 | 16683 | 26630k| 822.4 | 721M | 84 |5567 |9015 | 0 | 25k| 0 | 25k| 42 | 1.200000e+02 | -- | Inf | unknown
2491.31/2498.35 c 2498s| 31300 | 16770 | 26774k| 824.4 | 722M | 84 |5567 |8984 | 0 | 26k| 0 | 25k| 42 | 1.200000e+02 | -- | Inf | unknown
2499.28/2506.32 c 2506s| 31400 | 16818 | 26865k| 824.6 | 723M | 84 |5567 |9008 |7374 | 26k| 1 | 25k| 42 | 1.200000e+02 | -- | Inf | unknown
2506.07/2513.19 c 2513s| 31500 | 16893 | 26948k| 824.6 | 726M | 84 |5567 |8953 |7361 | 26k| 1 | 25k| 42 | 1.200000e+02 | -- | Inf | unknown
2513.15/2520.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2513.15/2520.27 c 2520s| 31600 | 16933 | 27029k| 824.6 | 727M | 84 |5567 |8951 |7375 | 26k| 2 | 25k| 42 | 1.200000e+02 | -- | Inf | unknown
2522.42/2529.59 c 2530s| 31700 | 16981 | 27135k| 825.3 | 728M | 84 |5567 |9151 |7369 | 26k| 1 | 25k| 42 | 1.200000e+02 | -- | Inf | unknown
2526.91/2534.03 c 2534s| 31800 | 17023 | 27187k| 824.4 | 729M | 84 |5567 |9214 |7367 | 26k| 1 | 26k| 42 | 1.200000e+02 | -- | Inf | unknown
2536.68/2543.85 c 2544s| 31900 | 17079 | 27296k| 825.2 | 730M | 84 |5567 |9184 |7368 | 26k| 1 | 26k| 42 | 1.200000e+02 | -- | Inf | unknown
2546.86/2554.01 c 2554s| 32000 | 17152 | 27416k| 826.3 | 732M | 84 |5567 |9197 |7372 | 26k| 1 | 26k| 42 | 1.200000e+02 | -- | Inf | unknown
2555.73/2562.97 c 2563s| 32100 | 17209 | 27510k| 826.7 | 732M | 84 |5567 |9184 |7362 | 26k| 1 | 26k| 42 | 1.200000e+02 | -- | Inf | unknown
2566.70/2573.91 c 2574s| 32200 | 17277 | 27630k| 827.8 | 734M | 84 |5567 |9192 | 0 | 26k| 0 | 26k| 42 | 1.200000e+02 | -- | Inf | unknown
2575.58/2582.86 c 2583s| 32300 | 17339 | 27738k| 828.5 | 735M | 84 |5567 |9151 |7363 | 26k| 1 | 26k| 42 | 1.200000e+02 | -- | Inf | unknown
2582.76/2590.04 c 2590s| 32400 | 17393 | 27824k| 828.6 | 736M | 84 |5567 |9124 | 0 | 26k| 0 | 26k| 42 | 1.200000e+02 | -- | Inf | unknown
2590.14/2597.44 c 2597s| 32500 | 17440 | 27906k| 828.6 | 738M | 84 |5567 |9146 |7344 | 27k| 1 | 26k| 42 | 1.200000e+02 | -- | Inf | unknown
2599.72/2607.04 c 2607s| 32600 | 17501 | 28023k| 829.6 | 740M | 84 |5567 |9144 |7365 | 27k| 1 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2608.10/2615.46 c 2615s| 32700 | 17553 | 28123k| 830.1 | 743M | 84 |5567 |9066 |7376 | 27k| 1 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2612.59/2619.97 c 2620s| 32800 | 17600 | 28176k| 829.2 | 744M | 84 |5567 |9091 |7382 | 27k| 1 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2620.96/2628.38 c 2628s| 32900 | 17661 | 28281k| 829.9 | 745M | 84 |5567 |8997 |7364 | 27k| 1 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2624.95/2632.38 c 2632s| 33000 | 17707 | 28325k| 828.7 | 746M | 84 |5567 |9049 |7352 | 27k| 1 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2633.64/2641.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2633.64/2641.09 c 2641s| 33100 | 17779 | 28424k| 829.2 | 748M | 84 |5567 |9003 |7367 | 27k| 1 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2640.72/2648.12 c 2648s| 33200 | 17839 | 28499k| 829.0 | 750M | 84 |5567 |8998 |7378 | 27k| 1 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2647.79/2655.23 c 2655s| 33300 | 17908 | 28586k| 829.1 | 753M | 84 |5567 |8989 |7364 | 27k| 2 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2652.88/2660.34 c 2660s| 33400 | 17958 | 28645k| 828.4 | 755M | 84 |5567 |8986 |7336 | 27k| 1 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2662.05/2669.56 c 2670s| 33500 | 18009 | 28752k| 829.1 | 756M | 84 |5567 |8912 |7369 | 27k| 2 | 27k| 42 | 1.200000e+02 | -- | Inf | unknown
2669.93/2677.41 c 2677s| 33600 | 18078 | 28844k| 829.3 | 758M | 84 |5567 |8940 |7378 | 27k| 1 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2675.52/2683.08 c 2683s| 33700 | 18125 | 28910k| 828.9 | 759M | 84 |5567 |9069 |7373 | 27k| 1 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2685.59/2693.16 c 2693s| 33800 | 18177 | 29028k| 829.9 | 759M | 84 |5567 |9030 |7371 | 28k| 2 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2693.66/2701.21 c 2701s| 33900 | 18223 | 29117k| 830.0 | 760M | 84 |5567 |9023 |7352 | 28k| 1 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2698.05/2705.60 c 2706s| 34000 | 18264 | 29170k| 829.2 | 761M | 84 |5567 |9026 |7370 | 28k| 1 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2706.33/2713.94 c 2714s| 34100 | 18310 | 29264k| 829.5 | 761M | 84 |5567 |8993 | 0 | 28k| 0 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2714.61/2722.27 c 2722s| 34200 | 18368 | 29361k| 829.9 | 763M | 84 |5567 |9037 |7360 | 28k| 1 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2724.49/2732.15 c 2732s| 34300 | 18434 | 29472k| 830.7 | 765M | 84 |5567 |9049 | 0 | 28k| 0 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2730.57/2738.25 c 2738s| 34400 | 18488 | 29545k| 830.4 | 766M | 84 |5567 |8999 |7361 | 28k| 1 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2737.45/2745.17 c 2745s| 34500 | 18547 | 29627k| 830.4 | 767M | 84 |5567 |8968 |7380 | 28k| 1 | 28k| 42 | 1.200000e+02 | -- | Inf | unknown
2746.02/2753.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2746.02/2753.71 c 2754s| 34600 | 18590 | 29723k| 830.7 | 768M | 84 |5567 |8911 |7373 | 28k| 2 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2759.99/2767.76 c 2768s| 34700 | 18664 | 29885k| 832.9 | 768M | 84 |5567 |8911 |7368 | 28k| 1 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2768.46/2776.22 c 2776s| 34800 | 18730 | 29982k| 833.3 | 769M | 84 |5567 |8829 |7347 | 29k| 1 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2774.15/2781.96 c 2782s| 34900 | 18777 | 30049k| 832.9 | 770M | 84 |5567 |8851 |7383 | 29k| 1 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2780.73/2788.55 c 2789s| 35000 | 18818 | 30122k| 832.6 | 771M | 84 |5567 |8836 |7347 | 29k| 1 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2786.92/2794.75 c 2795s| 35100 | 18863 | 30194k| 832.3 | 773M | 84 |5567 |8853 | 0 | 29k| 0 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2794.50/2802.33 c 2802s| 35200 | 18916 | 30287k| 832.6 | 778M | 84 |5567 |8940 |7355 | 29k| 2 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2802.18/2810.07 c 2810s| 35300 | 18983 | 30376k| 832.7 | 780M | 84 |5567 |8957 | 0 | 29k| 0 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2811.95/2819.81 c 2820s| 35400 | 19044 | 30485k| 833.4 | 781M | 84 |5567 |8933 |7378 | 29k| 1 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2818.63/2826.58 c 2827s| 35500 | 19106 | 30562k| 833.2 | 782M | 84 |5567 |8940 |7366 | 29k| 1 | 29k| 42 | 1.200000e+02 | -- | Inf | unknown
2826.81/2834.75 c 2835s| 35600 | 19173 | 30653k| 833.5 | 783M | 84 |5567 |8964 |7367 | 29k| 1 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2834.89/2842.86 c 2843s| 35700 | 19221 | 30748k| 833.8 | 784M | 84 |5567 |8955 |7338 | 29k| 1 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2841.67/2849.69 c 2850s| 35800 | 19285 | 30831k| 833.7 | 786M | 84 |5567 |8960 |7367 | 29k| 1 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2848.45/2856.46 c 2856s| 35900 | 19322 | 30908k| 833.6 | 788M | 84 |5567 |8936 | 0 | 30k| 0 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2856.22/2864.23 c 2864s| 36000 | 19387 | 30991k| 833.6 | 789M | 84 |5567 |8894 |7366 | 30k| 1 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2863.11/2871.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2863.11/2871.13 c 2871s| 36100 | 19451 | 31071k| 833.5 | 790M | 84 |5567 |8964 |7378 | 30k| 1 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2872.48/2880.51 c 2881s| 36200 | 19528 | 31189k| 834.4 | 791M | 84 |5567 |8994 | 0 | 30k| 0 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2879.08/2887.13 c 2887s| 36300 | 19583 | 31259k| 834.1 | 792M | 84 |5567 |8978 |7376 | 30k| 1 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2886.15/2894.26 c 2894s| 36400 | 19631 | 31344k| 834.1 | 793M | 84 |5567 |9078 | 0 | 30k| 0 | 30k| 42 | 1.200000e+02 | -- | Inf | unknown
2897.82/2906.00 c 2906s| 36500 | 19696 | 31471k| 835.3 | 794M | 84 |5567 |9068 |7342 | 30k| 1 | 31k| 42 | 1.200000e+02 | -- | Inf | unknown
2905.20/2913.34 c 2913s| 36600 | 19757 | 31554k| 835.2 | 795M | 84 |5567 |9123 |7369 | 30k| 1 | 31k| 42 | 1.200000e+02 | -- | Inf | unknown
2915.77/2923.97 c 2924s| 36700 | 19811 | 31679k| 836.3 | 797M | 84 |5567 |9146 | 0 | 30k| 0 | 31k| 42 | 1.200000e+02 | -- | Inf | unknown
2923.95/2932.10 c 2932s| 36800 | 19878 | 31777k| 836.7 | 798M | 84 |5567 |9177 | 0 | 30k| 0 | 31k| 42 | 1.200000e+02 | -- | Inf | unknown
2932.22/2940.43 c 2940s| 36900 | 19943 | 31866k| 836.9 | 801M | 84 |5567 |9235 |7369 | 30k| 1 | 31k| 42 | 1.200000e+02 | -- | Inf | unknown
2937.51/2945.74 c 2946s| 37000 | 19992 | 31928k| 836.3 | 801M | 84 |5567 |9286 |7366 | 30k| 1 | 31k| 42 | 1.200000e+02 | -- | Inf | unknown
2943.19/2951.44 c 2951s| 37100 | 20043 | 31993k| 835.8 | 802M | 84 |5567 |9308 |7366 | 31k| 1 | 31k| 42 | 1.200000e+02 | -- | Inf | unknown
2948.89/2957.17 c 2957s| 37200 | 20093 | 32061k| 835.4 | 803M | 84 |5567 |9199 | 0 | 31k| 0 | 31k| 42 | 1.200000e+02 | -- | Inf | unknown
2955.77/2964.06 c 2964s| 37300 | 20139 | 32142k| 835.3 | 804M | 84 |5567 |9228 | 0 | 31k| 0 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
2965.74/2974.03 c 2974s| 37400 | 20182 | 32254k| 836.1 | 805M | 84 |5567 |9086 |7366 | 31k| 1 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
2975.11/2983.48 c 2983s| 37500 | 20250 | 32371k| 836.9 | 806M | 84 |5567 |8946 |7352 | 31k| 1 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
2982.89/2991.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2982.89/2991.29 c 2991s| 37600 | 20313 | 32465k| 837.2 | 809M | 84 |5567 |8891 |7334 | 31k| 1 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
2992.06/3000.48 c 3000s| 37700 | 20369 | 32578k| 837.9 | 810M | 84 |5567 |8837 |7369 | 31k| 1 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
3001.23/3009.65 c 3010s| 37800 | 20431 | 32688k| 838.6 | 814M | 84 |5567 |8771 |7378 | 31k| 1 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
3012.01/3020.48 c 3020s| 37900 | 20479 | 32795k| 839.2 | 815M | 84 |5567 |8528 | 0 | 31k| 0 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
3019.99/3028.46 c 3028s| 38000 | 20540 | 32890k| 839.5 | 816M | 86 |5567 |8484 | 0 | 31k| 0 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
3032.26/3040.70 c 3041s| 38100 | 20601 | 33031k| 841.0 | 819M | 86 |5567 |8294 |7333 | 31k| 1 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
3036.74/3045.25 c 3045s| 38200 | 20646 | 33086k| 840.2 | 820M | 86 |5567 |8341 | 0 | 31k| 0 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
3046.22/3054.72 c 3055s| 38300 | 20698 | 33195k| 840.9 | 821M | 86 |5567 |8360 |7390 | 32k| 3 | 32k| 42 | 1.200000e+02 | -- | Inf | unknown
3052.80/3061.37 c 3061s| 38400 | 20749 | 33277k| 840.8 | 822M | 86 |5567 |8449 |7367 | 32k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3057.79/3066.32 c 3066s| 38500 | 20804 | 33334k| 840.1 | 825M | 86 |5567 |8503 | 0 | 32k| 0 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3061.87/3070.47 c 3070s| 38600 | 20842 | 33382k| 839.2 | 826M | 87 |5567 |8556 |7373 | 32k| 0 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3068.25/3076.83 c 3077s| 38700 | 20885 | 33457k| 839.0 | 826M | 87 |5567 |8600 |7356 | 32k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3073.55/3082.17 c 3082s| 38800 | 20953 | 33525k| 838.6 | 827M | 87 |5567 |8572 |7355 | 32k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3078.44/3087.01 c 3087s| 38900 | 20978 | 33591k| 838.1 | 828M | 87 |5567 |8639 |7387 | 32k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3088.31/3096.93 c 3097s| 39000 | 21035 | 33708k| 839.0 | 829M | 87 |5567 |8584 |7378 | 32k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3097.18/3105.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3097.18/3105.83 c 3106s| 39100 | 21086 | 33811k| 839.4 | 832M | 87 |5567 |8562 |7368 | 32k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3107.15/3115.86 c 3116s| 39200 | 21146 | 33934k| 840.4 | 833M | 87 |5567 |8455 |7361 | 32k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3114.23/3122.93 c 3123s| 39300 | 21215 | 34019k| 840.4 | 834M | 87 |5567 |8470 |7386 | 32k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3121.21/3129.93 c 3130s| 39400 | 21268 | 34099k| 840.3 | 837M | 87 |5567 |8535 |7363 | 33k| 1 | 33k| 42 | 1.200000e+02 | -- | Inf | unknown
3128.99/3137.74 c 3138s| 39500 | 21327 | 34182k| 840.3 | 838M | 87 |5567 |8538 |7376 | 33k| 1 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3136.28/3145.04 c 3145s| 39600 | 21401 | 34269k| 840.4 | 841M | 87 |5567 |8605 |7385 | 33k| 1 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3143.26/3152.02 c 3152s| 39700 | 21456 | 34348k| 840.3 | 842M | 87 |5567 |8549 |7346 | 33k| 1 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3151.23/3160.05 c 3160s| 39800 | 21512 | 34440k| 840.4 | 842M | 87 |5567 |8558 |7383 | 33k| 1 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3159.02/3167.84 c 3168s| 39900 | 21569 | 34530k| 840.6 | 843M | 87 |5567 |8566 |7361 | 33k| 1 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3166.69/3175.51 c 3176s| 40000 | 21623 | 34627k| 840.9 | 844M | 87 |5567 |8546 |7373 | 33k| 1 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3174.97/3183.83 c 3184s| 40100 | 21674 | 34718k| 841.1 | 846M | 87 |5567 |8577 |7365 | 33k| 2 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3180.06/3188.95 c 3189s| 40200 | 21726 | 34776k| 840.5 | 846M | 87 |5567 |8604 | 0 | 33k| 0 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3185.34/3194.25 c 3194s| 40300 | 21743 | 34833k| 839.8 | 847M | 87 |5567 |8645 |7374 | 33k| 1 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3194.81/3203.75 c 3204s| 40400 | 21803 | 34944k| 840.4 | 849M | 87 |5567 |8615 |7368 | 33k| 1 | 34k| 42 | 1.200000e+02 | -- | Inf | unknown
3200.60/3209.55 c 3210s| 40500 | 21846 | 35004k| 839.9 | 850M | 87 |5567 |8624 |7393 | 33k| 1 | 35k| 42 | 1.200000e+02 | -- | Inf | unknown
3206.48/3215.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3206.48/3215.45 c 3215s| 40600 | 21884 | 35074k| 839.5 | 851M | 87 |5567 |8682 |7355 | 34k| 1 | 35k| 42 | 1.200000e+02 | -- | Inf | unknown
3211.17/3220.11 c 3220s| 40700 | 21910 | 35127k| 838.8 | 852M | 87 |5567 |8679 |7371 | 34k| 1 | 35k| 42 | 1.200000e+02 | -- | Inf | unknown
3222.34/3231.38 c 3231s| 40800 | 21960 | 35254k| 839.8 | 853M | 87 |5567 |8693 |7365 | 34k| 1 | 35k| 42 | 1.200000e+02 | -- | Inf | unknown
3229.22/3238.29 c 3238s| 40900 | 22014 | 35337k| 839.8 | 853M | 87 |5567 |8732 |7364 | 34k| 2 | 35k| 42 | 1.200000e+02 | -- | Inf | unknown
3236.30/3245.35 c 3245s| 41000 | 22065 | 35414k| 839.6 | 854M | 87 |5567 |8759 |7371 | 34k| 2 | 35k| 42 | 1.200000e+02 | -- | Inf | unknown
3240.79/3249.87 c 3250s| 41100 | 22121 | 35464k| 838.8 | 854M | 87 |5567 |8817 |7364 | 34k| 1 | 35k| 42 | 1.200000e+02 | -- | Inf | unknown
3248.47/3257.55 c 3258s| 41200 | 22171 | 35558k| 839.1 | 856M | 87 |5567 |8835 |7378 | 34k| 1 | 35k| 42 | 1.200000e+02 | -- | Inf | unknown
3254.45/3263.55 c 3264s| 41300 | 22219 | 35628k| 838.7 | 858M | 87 |5567 |8888 | 0 | 34k| 0 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3260.83/3269.91 c 3270s| 41400 | 22255 | 35700k| 838.5 | 858M | 87 |5567 |8942 |7372 | 34k| 1 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3264.72/3273.89 c 3274s| 41500 | 22286 | 35740k| 837.4 | 858M | 87 |5567 |8936 |7370 | 34k| 1 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3270.80/3279.95 c 3280s| 41600 | 22337 | 35810k| 837.1 | 859M | 87 |5567 |9043 | 0 | 34k| 0 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3279.89/3289.02 c 3289s| 41700 | 22397 | 35912k| 837.5 | 860M | 87 |5567 |8978 | 0 | 34k| 0 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3286.47/3295.68 c 3296s| 41800 | 22440 | 35987k| 837.3 | 861M | 87 |5567 |8980 |7370 | 34k| 1 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3293.25/3302.44 c 3302s| 41900 | 22484 | 36060k| 837.1 | 861M | 87 |5567 |9030 |7385 | 34k| 1 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3297.34/3306.59 c 3307s| 42000 | 22501 | 36103k| 836.1 | 862M | 87 |5567 |8934 |7356 | 35k| 2 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3303.62/3312.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3303.62/3312.80 c 3313s| 42100 | 22552 | 36177k| 835.9 | 870M | 87 |5567 |8914 |7364 | 35k| 1 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3311.90/3321.16 c 3321s| 42200 | 22606 | 36275k| 836.3 | 870M | 87 |5567 |8901 |7372 | 35k| 1 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3318.78/3328.09 c 3328s| 42300 | 22665 | 36364k| 836.4 | 871M | 87 |5567 |8765 |7368 | 35k| 1 | 36k| 42 | 1.200000e+02 | -- | Inf | unknown
3324.96/3334.28 c 3334s| 42400 | 22701 | 36439k| 836.2 | 872M | 87 |5567 |8774 |7345 | 35k| 1 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3332.64/3341.96 c 3342s| 42500 | 22769 | 36525k| 836.2 | 875M | 87 |5567 |8756 |7372 | 35k| 1 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3342.12/3351.46 c 3351s| 42600 | 22834 | 36641k| 837.0 | 876M | 87 |5567 |8687 |7364 | 35k| 1 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3353.79/3363.13 c 3363s| 42700 | 22907 | 36773k| 838.1 | 880M | 87 |5567 |8702 |7367 | 35k| 1 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3360.27/3369.61 c 3370s| 42800 | 22963 | 36849k| 837.9 | 882M | 87 |5567 |8752 | 0 | 35k| 0 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3370.14/3379.52 c 3380s| 42900 | 23035 | 36973k| 838.8 | 884M | 87 |5567 |8713 |7382 | 35k| 1 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3377.22/3386.60 c 3387s| 43000 | 23085 | 37057k| 838.8 | 885M | 87 |5567 |8708 | 0 | 35k| 0 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3385.10/3394.53 c 3395s| 43100 | 23150 | 37152k| 839.1 | 886M | 87 |5567 |8743 |7379 | 35k| 2 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3394.47/3403.91 c 3404s| 43200 | 23209 | 37255k| 839.5 | 887M | 87 |5567 |8736 |7335 | 35k| 2 | 37k| 42 | 1.200000e+02 | -- | Inf | unknown
3403.45/3412.95 c 3413s| 43300 | 23278 | 37359k| 839.9 | 890M | 87 |5567 |8769 |7372 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3407.13/3416.60 c 3417s| 43400 | 23300 | 37398k| 838.9 | 890M | 87 |5567 |8769 |7340 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3415.42/3425.00 c 3425s| 43500 | 23345 | 37500k| 839.3 | 890M | 87 |5567 |8723 | 0 | 36k| 0 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3422.90/3432.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3422.90/3432.46 c 3432s| 43600 | 23402 | 37584k| 839.3 | 891M | 87 |5567 |8694 |7365 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3429.68/3439.26 c 3439s| 43700 | 23469 | 37663k| 839.2 | 893M | 87 |5567 |8767 |7376 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3437.56/3447.11 c 3447s| 43800 | 23524 | 37754k| 839.4 | 898M | 87 |5567 |8715 |7346 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3446.33/3455.97 c 3456s| 43900 | 23581 | 37862k| 839.9 | 900M | 87 |5567 |8697 |7354 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3455.11/3464.76 c 3465s| 44000 | 23645 | 37965k| 840.3 | 903M | 87 |5567 |8697 | 0 | 36k| 0 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3463.68/3473.37 c 3473s| 44100 | 23698 | 38057k| 840.5 | 906M | 87 |5567 |8671 |7366 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3469.77/3479.48 c 3479s| 44200 | 23748 | 38121k| 840.1 | 907M | 87 |5567 |8757 |7366 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3478.35/3488.02 c 3488s| 44300 | 23816 | 38223k| 840.5 | 908M | 87 |5567 |8746 |7381 | 36k| 2 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3485.43/3495.16 c 3495s| 44400 | 23859 | 38307k| 840.5 | 910M | 87 |5567 |8774 |7384 | 36k| 1 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3492.01/3501.78 c 3502s| 44500 | 23915 | 38385k| 840.3 | 912M | 87 |5567 |8798 |7394 | 37k| 2 | 38k| 42 | 1.200000e+02 | -- | Inf | unknown
3499.99/3509.79 c 3510s| 44600 | 23977 | 38473k| 840.4 | 913M | 87 |5567 |8746 |7368 | 37k| 1 | 39k| 42 | 1.200000e+02 | -- | Inf | unknown
3509.47/3519.20 c 3519s| 44700 | 24034 | 38578k| 840.9 | 914M | 87 |5567 |8758 |7378 | 37k| 1 | 39k| 42 | 1.200000e+02 | -- | Inf | unknown
3522.13/3531.92 c 3532s| 44800 | 24093 | 38720k| 842.1 | 915M | 87 |5567 |8747 |7355 | 37k| 1 | 39k| 42 | 1.200000e+02 | -- | Inf | unknown
3529.91/3539.79 c 3540s| 44900 | 24138 | 38806k| 842.2 | 917M | 87 |5567 |8831 |7358 | 37k| 1 | 39k| 42 | 1.200000e+02 | -- | Inf | unknown
3537.09/3546.90 c 3547s| 45000 | 24197 | 38895k| 842.3 | 918M | 87 |5567 |8836 |7347 | 37k| 1 | 39k| 42 | 1.200000e+02 | -- | Inf | unknown
3545.07/3554.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3545.07/3554.93 c 3555s| 45100 | 24253 | 38980k| 842.3 | 920M | 87 |5567 |8951 |7360 | 37k| 2 | 39k| 42 | 1.200000e+02 | -- | Inf | unknown
3554.15/3564.03 c 3564s| 45200 | 24302 | 39090k| 842.9 | 922M | 87 |5567 |9000 |7369 | 37k| 1 | 39k| 42 | 1.200000e+02 | -- | Inf | unknown
3564.02/3573.92 c 3574s| 45300 | 24345 | 39196k| 843.3 | 922M | 87 |5567 |8933 | 0 | 37k| 0 | 39k| 42 | 1.200000e+02 | -- | Inf | unknown
3570.50/3580.42 c 3580s| 45400 | 24376 | 39272k| 843.1 | 925M | 87 |5567 |8961 |7370 | 37k| 1 | 39k| 47 | 1.200000e+02 | -- | Inf | unknown
3575.79/3585.73 c 3586s| 45500 | 24412 | 39337k| 842.7 | 925M | 89 |5567 |9104 |7383 | 37k| 2 | 40k| 47 | 1.200000e+02 | -- | Inf | unknown
3583.56/3593.51 c 3594s| 45600 | 24465 | 39430k| 842.9 | 927M | 89 |5567 |9077 | 0 | 37k| 0 | 40k| 47 | 1.200000e+02 | -- | Inf | unknown
3587.06/3597.01 c
3587.06/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.06/3597.01 c Solving Time (sec) : 3597.02
3587.06/3597.01 c Solving Nodes : 45649 (total of 46778 nodes in 2 runs)
3587.06/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.06/3597.01 c Dual Bound : +1.20000000000000e+02
3587.06/3597.01 c Gap : infinite
3587.06/3597.01 s UNKNOWN
3587.06/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.06/3597.01 c Total Time : 3597.02
3587.06/3597.01 c solving : 3597.02
3587.06/3597.01 c presolving : 0.76 (included in solving)
3587.06/3597.01 c reading : 0.09 (included in solving)
3587.06/3597.01 c copying : 2.21 (111 #copies) (minimal 0.02, maximal 0.03, average 0.02)
3587.06/3597.01 c Original Problem :
3587.06/3597.01 c Problem name : HOME/instance-4491403-1751387897.opb
3587.06/3597.01 c Variables : 5570 (5570 binary, 0 integer, 0 continuous)
3587.06/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.06/3597.01 c Constraints : 10896 initial, 10896 maximal
3587.06/3597.01 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 128)
3587.06/3597.01 c Presolved Problem :
3587.06/3597.01 c Problem name : t_HOME/instance-4491403-1751387897.opb
3587.06/3597.01 c Variables : 5567 (5567 binary, 0 integer, 0 continuous)
3587.06/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.06/3597.01 c Constraints : 7934 initial, 9598 maximal
3587.06/3597.01 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
3587.06/3597.01 c Nonzeros : 190348 constraint, 3158 clique table
3587.06/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.06/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c domcol : 0.04 0.00 3 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c dualsparsify : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c milp : 0.18 0.00 1 0 0 0 0 0 10895 5733 0 0
3587.06/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c trivial : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c symmetry : 0.16 0.00 1 0 0 0 0 0 0 1500 0 0
3587.06/3597.01 c vbounds : 0.00 0.00 3 0 1 0 0 0 0 0 0 0
3587.06/3597.01 c knapsack : 0.01 0.00 24 0 0 0 0 0 0 5 6 11
3587.06/3597.01 c setppc : 0.01 0.00 23 0 0 0 0 0 5 0 0 0
3587.06/3597.01 c linear : 0.19 0.05 20 2 0 0 2 0 2 0 227 588
3587.06/3597.01 c logicor : 0.02 0.01 9 0 0 0 0 0 50 0 0 270
3587.06/3597.01 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.06/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.06/3597.01 c integral : 0 0 0 0 37230 0 0 5938 0 0 5 0 0 10 74458
3587.06/3597.01 c knapsack : 590+ 638 25 278124 0 0 0 5933 130078 3034 253640 4721 161 0 0
3587.06/3597.01 c setppc : 1506+ 1587 25 275088 0 0 0 56 5851 17 10304 0 0 0 0
3587.06/3597.01 c linear : 5257+ 5270 25 275073 0 0 0 17 99644 20701 5673220 0 0 0 0
3587.06/3597.01 c logicor : 581+ 2271 25 90805 0 0 0 0 20212 1033 35925 75 2 0 0
3587.06/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.06/3597.01 c integral : 13.07 0.00 0.00 0.00 13.07 0.00 0.00 0.00 0.00 0.00
3587.06/3597.01 c knapsack : 13.08 0.00 0.09 12.50 0.00 0.00 0.00 0.42 0.07 0.00
3587.06/3597.01 c setppc : 0.36 0.00 0.00 0.35 0.00 0.00 0.00 0.01 0.00 0.00
3587.06/3597.01 c linear : 77.63 0.05 0.03 77.40 0.00 0.00 0.00 0.00 0.13 0.01
3587.06/3597.01 c logicor : 3.21 0.01 0.00 3.17 0.00 0.00 0.00 0.00 0.03 0.00
3587.06/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.06/3597.01 c dualfix : 2 0 0 0
3587.06/3597.01 c genvbounds : 0 0 0 0
3587.06/3597.01 c nlobbt : 0 0 0 0
3587.06/3597.01 c obbt : 0 0 0 0
3587.06/3597.01 c probing : 0 0 0 0
3587.06/3597.01 c pseudoobj : 170494 0 0 0
3587.06/3597.01 c redcost : 85752 0 0 4
3587.06/3597.01 c rootredcost : 2 0 0 0
3587.06/3597.01 c symmetry : 0 0 0 0
3587.06/3597.01 c vbounds : 147517 0 0 0
3587.06/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.06/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.01 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3587.06/3597.01 c pseudoobj : 0.20 0.00 0.00 0.20 0.00 0.00
3587.06/3597.01 c redcost : 8.68 0.00 0.00 8.68 0.00 0.00
3587.06/3597.01 c rootredcost : 0.05 0.00 0.00 0.05 0.00 0.00
3587.06/3597.01 c symmetry : 0.22 0.00 0.16 0.06 0.00 0.00
3587.06/3597.01 c vbounds : 3.46 0.00 0.00 3.46 0.00 0.00
3587.06/3597.01 c Symmetry :
3587.06/3597.03 c #affected vars : 3000 (3000 bin, 0 int, 0 cont)
3587.06/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.06/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.06/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.06/3597.03 c shadow tree time : 0.00 s
3587.06/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.06/3597.03 c propagation : 0.58 10179 10086 - 88693 40.9 833 20.6 - - -
3587.06/3597.03 c infeasible LP : 0.95 1035 1034 - 6768 40.8 144 21.0 1034 27.1 0
3587.06/3597.03 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.06/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.06/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.06/3597.03 c applied globally : 0.13 - - 0 39240 36.1 - - 1034 - -
3587.06/3597.03 c applied locally : - - - 0 1 5.0 - - 0 - -
3587.06/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.06/3597.03 c cut pool : 4.20 - 8277 48 - - 67081 1015516 - - - - - (maximal pool size: 10080)
3587.06/3597.03 c aggregation : 2.45 0.00 567 25 0 0 46350 648958 9893 27592 26362 1230 0
3587.06/3597.03 c > cmir : - - - - - - - 344033 130 13290 13285 5 -
3587.06/3597.03 c > flowcover : - - - - - - - 302077 39 13017 13011 6 -
3587.06/3597.03 c > knapsackcover : - - - - - - - 2848 9724 1285 66 1219 -
3587.06/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c clique : 0.35 0.00 25 25 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c gomory : 35.93 0.00 575 20 0 0 31979 338751 2397 8526 8493 33 0
3587.06/3597.03 c > gomorymi : - - - - - - - 200196 1207 5488 5469 19 -
3587.06/3597.03 c > strongcg : - - - - - - - 138555 1190 3038 3024 14 -
3587.06/3597.03 c impliedbounds : 0.11 0.00 580 25 0 0 37 380 0 365 365 0 0
3587.06/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c mcf : 0.00 0.00 3 3 0 0 30 22 25 0 0 0 0
3587.06/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c multilinear : 0.00 0.00 1340 25 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c rapidlearning : 187.65 0.00 100 2 0 15888 0 0 0 0 0 0 489
3587.06/3597.03 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c zerohalf : 2.93 0.00 472 25 0 0 1262 27405 262 2106 2030 76 0
3587.06/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.06/3597.03 c hybrid : 0.34 0.00 7631 25 38766 0 994065 293 0 57499
3587.06/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3587.06/3597.03 c problem variables: 0.00 - 0 0
3587.06/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.06/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c relpscost : 13.03 0.00 37230 0 0 0 5 0 10 74458
3587.06/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.06/3597.03 c LP solutions : 0.00 - - 0 0
3587.06/3597.03 c relax solutions : 0.00 - - 0 0
3587.06/3597.03 c pseudo solutions : 0.00 - - 0 0
3587.06/3597.03 c strong branching : 0.00 - - 0 0
3587.06/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c adaptivediving : 6.10 0.00 49 0 0
3587.06/3597.03 c alns : 8.59 0.00 9 0 0
3587.06/3597.03 c bound : 0.00 0.00 0 0 0
3587.06/3597.03 c clique : 0.08 0.00 1 0 0
3587.06/3597.03 c coefdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c completesol : 0.00 0.00 0 0 0
3587.06/3597.03 c conflictdiving : 40.99 0.00 484 0 0
3587.06/3597.03 c crossover : 0.01 0.00 0 0 0
3587.06/3597.03 c dins : 0.00 0.00 0 0 0
3587.06/3597.03 c distributiondivin: 50.74 0.00 483 0 0
3587.06/3597.03 c dks : 0.00 0.00 0 0 0
3587.06/3597.03 c dps : 0.00 0.00 0 0 0
3587.06/3597.03 c dualval : 0.00 0.00 0 0 0
3587.06/3597.03 c farkasdiving : 2.39 0.00 2 0 0
3587.06/3597.03 c feaspump : 75.78 0.00 108 0 0
3587.06/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3587.06/3597.03 c fracdiving : 33.92 0.00 484 0 0
3587.06/3597.03 c gins : 0.01 0.00 0 0 0
3587.06/3597.03 c guideddiving : 0.00 0.00 0 0 0
3587.06/3597.03 c indicator : 0.00 0.00 0 0 0
3587.06/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3587.06/3597.03 c intdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c intshifting : 0.00 0.00 0 0 0
3587.06/3597.03 c linesearchdiving : 29.35 0.00 483 0 0
3587.06/3597.03 c localbranching : 0.00 0.00 0 0 0
3587.06/3597.03 c locks : 0.04 0.00 1 0 0
3587.06/3597.03 c lpface : 0.25 0.00 0 0 0
3587.06/3597.03 c mpec : 0.00 0.00 0 0 0
3587.06/3597.03 c multistart : 0.00 0.00 0 0 0
3587.06/3597.03 c mutation : 0.00 0.00 0 0 0
3587.06/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c objpscostdiving : 35.07 0.00 39 0 0
3587.06/3597.03 c octane : 0.00 0.00 0 0 0
3587.06/3597.03 c ofins : 0.00 0.00 0 0 0
3587.06/3597.03 c oneopt : 0.02 0.00 0 0 0
3587.06/3597.03 c padm : 0.00 0.00 0 0 0
3587.06/3597.03 c proximity : 0.00 0.00 0 0 0
3587.06/3597.03 c pscostdiving : 43.48 0.00 484 0 0
3587.06/3597.03 c randrounding : 2.28 0.00 5950 0 0
3587.06/3597.03 c rens : 0.09 0.00 2 0 0
3587.06/3597.03 c reoptsols : 0.00 0.00 0 0 0
3587.06/3597.03 c repair : 0.00 0.00 0 0 0
3587.06/3597.03 c rins : 0.01 0.00 0 0 0
3587.06/3597.03 c rootsoldiving : 38.19 0.00 243 0 0
3587.06/3597.03 c rounding : 0.75 0.00 2998 0 0
3587.06/3597.03 c scheduler : 0.00 0.00 0 0 0
3587.06/3597.03 c shiftandpropagate: 0.17 0.00 2 0 0
3587.06/3597.03 c shifting : 8.94 0.00 1435 0 0
3587.06/3597.03 c simplerounding : 0.02 0.00 0 0 0
3587.06/3597.03 c subnlp : 0.00 0.00 0 0 0
3587.06/3597.03 c trivial : 0.00 0.00 4 0 0
3587.06/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3587.06/3597.03 c trustregion : 0.00 0.00 0 0 0
3587.06/3597.03 c trysol : 0.01 0.00 0 0 0
3587.06/3597.03 c twoopt : 0.00 0.00 0 0 0
3587.06/3597.03 c undercover : 0.00 0.00 0 0 0
3587.06/3597.03 c vbounds : 0.15 0.00 2 0 0
3587.06/3597.03 c veclendiving : 41.04 0.00 484 0 0
3587.06/3597.03 c zeroobj : 0.00 0.00 0 0 0
3587.06/3597.03 c zirounding : 0.44 0.00 1000 0 0
3587.06/3597.03 c other solutions : - - - 0 -
3587.06/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.06/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 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
3587.06/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.06/3597.03 c primal LP : 6.04 3069 0 0.00 0.00 6.03 3069
3587.06/3597.03 c dual LP : 2665.95 45437 34548555 761.13 12959.19 0.11 46
3587.06/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3587.06/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.06/3597.03 c resolve instable : 0.00 0 0 0.00 -
3587.06/3597.03 c diving/probing LP: 306.11 15508 4920310 317.28 16073.47
3587.06/3597.03 c strong branching : 1.11 47 24688 525.28 22206.55 - - 36
3587.06/3597.03 c (at root node) : - 42 24688 587.81 -
3587.06/3597.03 c conflict analysis: 0.00 0 0 0.00 -
3587.06/3597.03 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.06/3597.03 c benders : 0.00 0 0 0 0.00 0 0 0
3587.06/3597.03 c B&B Tree :
3587.06/3597.03 c number of runs : 2
3587.06/3597.03 c nodes : 45649 (36352 internal, 9297 leaves)
3587.06/3597.03 c feasible leaves : 0
3587.06/3597.03 c infeas. leaves : 9297
3587.06/3597.03 c objective leaves : 0
3587.06/3597.03 c nodes (total) : 46778 (37229 internal, 9549 leaves)
3587.06/3597.03 c nodes left : 24484
3587.06/3597.03 c max depth : 89
3587.06/3597.03 c max depth (total): 89
3587.06/3597.03 c backtracks : 6521 (14.3%)
3587.06/3597.03 c early backtracks : 0 (0.0%)
3587.06/3597.03 c nodes exc. ref. : 0 (0.0%)
3587.06/3597.03 c delayed cutoffs : 2572
3587.06/3597.03 c repropagations : 17270 (293705 domain reductions, 1659 cutoffs)
3587.06/3597.03 c avg switch length: 10.38
3587.06/3597.03 c switching time : 101.87
3587.06/3597.03 c Root Node :
3587.06/3597.03 c First LP value : +1.20000000000000e+02
3587.06/3597.03 c First LP Iters : 4200 (14128.38 Iter/sec)
3587.06/3597.03 c First LP Time : 0.30
3587.06/3597.03 c Final Dual Bound : +1.20000000000000e+02
3587.06/3597.03 c Final Root Iters : 42456
3587.06/3597.03 c Root LP Estimate : +1.65662424500633e+02
3587.06/3597.03 c Solution :
3587.06/3597.03 c Solutions found : 0 (0 improvements)
3587.06/3597.03 c Primal Bound : -
3587.06/3597.03 c Dual Bound : +1.20000000000000e+02
3587.06/3597.03 c Gap : infinite
3587.06/3597.03 c Integrals : Total Avg%
3587.06/3597.03 c primal-dual : 359701.64 100.00
3587.06/3597.03 c primal-ref : - - (not evaluated)
3587.06/3597.03 c dual-ref : - - (not evaluated)
3587.25/3597.25 c Time complete (sec): 3587.318
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (57855 MiB free)
memory of node 1: 64507 MiB (47334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491403-1751387897/watcher-4491403-1751387897 -o /tmp/evaluation-result-4491403-1751387897/solver-4491403-1751387897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53586 --watchdog 3760 pbsolver -f HOME/instance-4491403-1751387897.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=54354, runsolver pid=54350
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.13 4.09 4/261 54361
/proc/meminfo: memFree=107706964/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=47680 memory=38784 CPUtime=0.09 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 7565 0 0 0 8 1 0 0 20 0 1 0 54468558 48824320 9696 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 11920 9696 2368 2575 0 8827 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47680 KiB
Current children cumulated memory: 38784 KiB
[startup+0.205424 s]*
/proc/loadavg: 4.11 4.13 4.09 4/261 54366
/proc/meminfo: memFree=107618512/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=119488 memory=105312 CPUtime=0.19 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 25839 0 0 0 16 3 0 0 20 0 1 0 54468558 122355712 26328 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 29872 26328 2432 2575 0 26779 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 119488 KiB
Current children cumulated memory: 105312 KiB
[startup+0.305503 s]*
/proc/loadavg: 4.11 4.13 4.09 4/263 54370
/proc/meminfo: memFree=107574488/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=140192 memory=125352 CPUtime=0.28 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 28297 0 0 0 24 4 0 0 20 0 1 0 54468558 143556608 31338 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 35048 31338 2464 2575 0 31955 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 140192 KiB
Current children cumulated memory: 125352 KiB
[startup+0.70018 s]
/proc/loadavg: 4.11 4.13 4.09 4/263 54384
/proc/meminfo: memFree=107541976/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=200312 memory=184184 CPUtime=0.66 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 46926 0 0 0 59 7 0 0 20 0 1 0 54468558 205119488 46046 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 50078 46046 2592 2575 0 46985 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 200312 KiB
Current children cumulated memory: 184184 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.13 4.09 4/263 54415
/proc/meminfo: memFree=107436464/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=313908 memory=280952 CPUtime=1.46 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 68067 0 0 0 135 11 0 0 20 0 1 0 54468558 321441792 70238 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 78477 70238 2656 2575 0 75384 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 313908 KiB
Current children cumulated memory: 280952 KiB
[startup+3.1055 s]
/proc/loadavg: 4.11 4.13 4.09 5/261 54538
/proc/meminfo: memFree=107299524/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=413940 memory=372348 CPUtime=3.06 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 88392 0 0 0 291 15 0 0 20 0 1 0 54468558 423874560 93087 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 103485 93087 2656 2575 0 100392 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 413940 KiB
Current children cumulated memory: 372348 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 54641
/proc/meminfo: memFree=107003016/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=413940 memory=375676 CPUtime=6.25 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 89231 0 0 0 610 15 0 0 20 0 1 0 54468558 423874560 93919 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 103485 93919 2656 2575 0 100392 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 413940 KiB
Current children cumulated memory: 375676 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 54641
/proc/meminfo: memFree=106788676/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=419300 memory=385348 CPUtime=12.62 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 105563 0 0 0 1244 18 0 0 20 0 1 0 54468558 429363200 96337 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 104825 96337 2656 2575 0 101732 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 419300 KiB
Current children cumulated memory: 385348 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 54641
/proc/meminfo: memFree=106770272/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=437016 memory=403388 CPUtime=25.39 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 109510 0 0 0 2520 19 0 0 20 0 1 0 54468558 447504384 100847 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 109254 100847 2688 2575 0 106161 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 437016 KiB
Current children cumulated memory: 403388 KiB
[startup+51.1054 s]
/proc/loadavg: 4.18 4.14 4.10 5/264 54731
/proc/meminfo: memFree=107670360/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=435056 memory=401380 CPUtime=50.92 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 113297 0 0 0 5072 20 0 0 20 0 1 0 54468558 445497344 100345 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 108764 100345 2688 2575 0 105671 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 435056 KiB
Current children cumulated memory: 401380 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.18 4.11 5/266 54869
/proc/meminfo: memFree=108115832/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=476440 memory=442792 CPUtime=101.94 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 120596 0 0 0 10172 22 0 0 20 0 1 0 54468558 487874560 110698 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 119110 110698 2688 2575 0 116017 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 476440 KiB
Current children cumulated memory: 442792 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.10 3/261 55158
/proc/meminfo: memFree=108397136/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=482368 memory=448868 CPUtime=161.71 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 149744 0 0 0 16144 27 0 0 20 0 1 0 54468558 493944832 112217 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 120592 112217 2688 2575 0 117499 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 482368 KiB
Current children cumulated memory: 448868 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 55546
/proc/meminfo: memFree=106511884/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=482368 memory=449508 CPUtime=221.5 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 149787 0 0 0 22123 27 0 0 20 0 1 0 54468558 493944832 112377 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 120592 112377 2688 2575 0 117499 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 482368 KiB
Current children cumulated memory: 449508 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 55548
/proc/meminfo: memFree=106368004/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=518484 memory=485968 CPUtime=281.32 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 156028 0 0 0 28103 29 0 0 20 0 1 0 54468558 530927616 121492 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 129621 121492 2688 2575 0 126528 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 518484 KiB
Current children cumulated memory: 485968 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 55550
/proc/meminfo: memFree=106265524/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=500544 memory=484704 CPUtime=341.13 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 158298 0 0 0 34084 29 0 0 20 0 1 0 54468558 512557056 121176 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 125136 121176 2688 2575 0 122043 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 500544 KiB
Current children cumulated memory: 484704 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 55553
/proc/meminfo: memFree=106189280/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=500544 memory=486368 CPUtime=400.96 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 158344 0 0 0 40067 29 0 0 20 0 1 0 54468558 512557056 121592 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 125136 121592 2688 2575 0 122043 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 500544 KiB
Current children cumulated memory: 486368 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 55558
/proc/meminfo: memFree=106067188/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=515260 memory=496772 CPUtime=460.79 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 172185 0 0 0 46047 32 0 0 20 0 1 0 54468558 527626240 124193 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 128815 124193 2688 2575 0 125722 0
Current children cumulated CPU time: 460.79 s
################
# More data... #
################
/proc/loadavg: 4.08 4.13 4.11 5/264 55744
/proc/meminfo: memFree=104470392/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=910840 memory=897492 CPUtime=3153.52 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 533751 0 0 0 315252 100 0 0 20 0 1 0 54468558 932700160 224373 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 227710 224373 2688 2575 0 224617 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 910840 KiB
Current children cumulated memory: 897492 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 55746
/proc/meminfo: memFree=104448920/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=917980 memory=905300 CPUtime=3213.36 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 535820 0 0 0 321235 101 0 0 20 0 1 0 54468558 940011520 226325 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 229495 226325 2688 2575 0 226402 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 917980 KiB
Current children cumulated memory: 905300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 55748
/proc/meminfo: memFree=104389704/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=925796 memory=913492 CPUtime=3273.2 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 538064 0 0 0 327219 101 0 0 20 0 1 0 54468558 948015104 228373 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 231449 228373 2688 2575 0 228356 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 925796 KiB
Current children cumulated memory: 913492 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 55750
/proc/meminfo: memFree=104357324/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=953424 memory=940512 CPUtime=3333.04 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 556170 0 0 0 333199 105 0 0 20 0 1 0 54468558 976306176 235128 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 238356 235128 2688 2575 0 235263 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 953424 KiB
Current children cumulated memory: 940512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 55752
/proc/meminfo: memFree=104348772/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=953424 memory=941024 CPUtime=3392.88 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 556607 0 0 0 339183 105 0 0 20 0 1 0 54468558 976306176 235256 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 238356 235256 2688 2575 0 235263 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 953424 KiB
Current children cumulated memory: 941024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 55754
/proc/meminfo: memFree=104328660/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=967480 memory=951648 CPUtime=3452.72 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 559542 0 0 0 345166 106 0 0 20 0 1 0 54468558 990699520 237912 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 241870 237912 2688 2575 0 238777 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 967480 KiB
Current children cumulated memory: 951648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 55759
/proc/meminfo: memFree=104268400/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=981700 memory=966112 CPUtime=3512.56 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 563775 0 0 0 351149 107 0 0 20 0 1 0 54468558 1005260800 241528 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 245425 241528 2688 2575 0 242332 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 981700 KiB
Current children cumulated memory: 966112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 55762
/proc/meminfo: memFree=104254812/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=990212 memory=975352 CPUtime=3572.39 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 581368 0 0 0 357129 110 0 0 20 0 1 0 54468558 1013977088 243838 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 247553 243838 2688 2575 0 244460 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 990212 KiB
Current children cumulated memory: 975352 KiB
[startup+3597.26 s]
# the end of solver process 54354 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.21 s, system=1.11847 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.09 4.09 5/264 55762
/proc/meminfo: memFree=104255048/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=990212 memory=975352 CPUtime=3574.09 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 581368 0 0 0 357299 110 0 0 20 0 1 0 54468558 1013977088 243838 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 247553 243838 2688 2575 0 244460 0
Current children cumulated CPU time: 3574.09 s
Current children cumulated vsize: 990212 KiB
Current children cumulated memory: 975352 KiB
[startup+3590.4 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 55763
/proc/meminfo: memFree=104238272/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=994912 memory=979832 CPUtime=3580.47 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 582682 0 0 0 357937 110 0 0 20 0 1 0 54468558 1018789888 244958 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 248728 244958 2688 2575 0 245635 0
Current children cumulated CPU time: 3580.47 s
Current children cumulated vsize: 994912 KiB
Current children cumulated memory: 979832 KiB
[startup+3593.6 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 55763
/proc/meminfo: memFree=104238448/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=994912 memory=979832 CPUtime=3583.66 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 582682 0 0 0 358256 110 0 0 20 0 1 0 54468558 1018789888 244958 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 248728 244958 2688 2575 0 245635 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 994912 KiB
Current children cumulated memory: 979832 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 55763
/proc/meminfo: memFree=104238448/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=994912 memory=979832 CPUtime=3585.26 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 582682 0 0 0 358416 110 0 0 20 0 1 0 54468558 1018789888 244958 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 248728 244958 2688 2575 0 245635 0
Current children cumulated CPU time: 3585.26 s
Current children cumulated vsize: 994912 KiB
Current children cumulated memory: 979832 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 55763
/proc/meminfo: memFree=104230528/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=994912 memory=979832 CPUtime=3586.06 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 582682 0 0 0 358496 110 0 0 20 0 1 0 54468558 1018789888 244958 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 248728 244958 2688 2575 0 245635 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 994912 KiB
Current children cumulated memory: 979832 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 55763
/proc/meminfo: memFree=104230528/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=994912 memory=979832 CPUtime=3586.85 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 582682 0 0 0 358575 110 0 0 20 0 1 0 54468558 1018789888 244958 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 248728 244958 2688 2575 0 245635 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 994912 KiB
Current children cumulated memory: 979832 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 55763
/proc/meminfo: memFree=104230756/131249988 swapFree=33010160/33010684
[pid=54354] ppid=54350 vsize=994036 memory=978996 CPUtime=3587.25 cores=5,7
/proc/54354/stat : 54354 (pbsolver) R 54350 54354 53573 0 -1 4194304 582705 0 0 0 358615 110 0 0 20 0 1 0 54468558 1017892864 244749 18446744073709551615 4198400 14743177 140728408842064 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48648192 140728408848778 140728408848874 140728408848874 140728408854476 0
/proc/54354/statm: 248509 244749 2688 2575 0 245416 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 994036 KiB
Current children cumulated memory: 978996 KiB
Child status: 0
Real time (s): 3597.26
CPU time (s): 3587.33
CPU user time (s): 3586.21
CPU system time (s): 1.11847
CPU usage (%): 99.7238
Max. virtual memory (cumulated for all children) (KiB): 1044332
Max. memory (cumulated for all children) (KiB): 1025632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.21
system time used= 1.11847
maximum resident set size= 1025632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 2915
# summary of solver processes directly reported to runsolver:
# pid: 54354
# total CPU time (s): 3587.33
# total CPU user time (s): 3586.21
# total CPU system time (s): 1.11847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04804 second user time and 15.9234 second system time
The end