0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4491402-1751386835.opb>
0.00/0.10 c original problem has 5570 variables (5570 bin, 0 int, 0 impl, 0 cont) and 10896 constraints
0.00/0.10 c problem read in 0.09
0.08/0.17 c presolving:
0.19/0.23 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.29/0.33 c (0.3s) running MILP presolver
0.40/0.42 c (0.4s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.40/0.42 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.40/0.46 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.40/0.46 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.40/0.47 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.49/0.53 c (0.5s) probing: 51/5568 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.49/0.60 c (0.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.59/0.65 c (0.6s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
0.68/0.75 c dynamic symmetry handling statistics:
0.68/0.75 c orbitopal reduction: no components
0.68/0.75 c orbital reduction: no components
0.68/0.75 c lexicographic reduction: no permutations
0.68/0.75 c handled 1500 out of 1500 symmetry components
0.68/0.75 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.68/0.76 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.78/0.80 c presolving (8 rounds: 8 fast, 7 medium, 5 exhaustive):
0.78/0.80 c 2 deleted vars, 10896 deleted constraints, 7238 added constraints, 2 tightened bounds, 0 added holes, 185 changed sides, 466 changed coefficients
0.78/0.80 c 0 implications, 1535 cliques
0.78/0.80 c presolved problem has 5568 variables (5568 bin, 0 int, 0 impl, 0 cont) and 7238 constraints
0.78/0.80 c 571 constraints of type <knapsack>
0.78/0.80 c 1505 constraints of type <setppc>
0.78/0.80 c 5162 constraints of type <linear>
0.78/0.80 c transformed objective value is always integral (scale: 1)
0.78/0.80 c Presolving Time: 0.63
0.78/0.80 c - non default parameters ----------------------------------------------------------------------
0.78/0.80 c # SCIP version 10.0.0
0.78/0.80 c
0.78/0.80 c # maximal time in seconds to run
0.78/0.80 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.78/0.80 c limits/time = 3596.997012
0.78/0.80 c
0.78/0.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.78/0.80 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.78/0.80 c limits/memory = 27900
0.78/0.80 c
0.78/0.80 c # belongs reading time to solving time?
0.78/0.80 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.78/0.80 c timing/reading = TRUE
0.78/0.80 c
0.78/0.80 c -----------------------------------------------------------------------------------------------
0.78/0.80 c start solving
0.78/0.80 c
1.58/1.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.58/1.69 c 1.7s| 1 | 0 | 4200 | - | 251M | 0 |5568 |7260 |7238 | 0 | 0 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
3.37/3.44 c 3.4s| 1 | 0 | 13871 | - | 262M | 0 |5568 |7260 |7249 | 11 | 1 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
3.67/3.78 c 3.8s| 1 | 0 | 15762 | - | 263M | 0 |5568 |7260 |7262 | 24 | 2 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
3.98/4.08 c 4.1s| 1 | 0 | 16985 | - | 264M | 0 |5568 |7260 |7276 | 38 | 3 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
4.27/4.38 c 4.4s| 1 | 0 | 17569 | - | 265M | 0 |5568 |7260 |7288 | 50 | 4 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
4.57/4.65 c 4.6s| 1 | 0 | 17807 | - | 267M | 0 |5568 |7260 |7300 | 62 | 5 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
4.87/4.98 c 5.0s| 1 | 0 | 18974 | - | 269M | 0 |5568 |7260 |7310 | 72 | 6 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
5.27/5.32 c 5.3s| 1 | 0 | 19480 | - | 270M | 0 |5568 |7260 |7321 | 83 | 7 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
5.47/5.54 c 5.5s| 1 | 0 | 20488 | - | 272M | 0 |5568 |7260 |7332 | 94 | 8 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
5.86/5.92 c 5.9s| 1 | 0 | 21022 | - | 276M | 0 |5568 |7260 |7341 | 103 | 9 | 22 | 0 | 1.200000e+02 | -- | Inf | unknown
6.16/6.26 c 6.3s| 1 | 0 | 21353 | - | 282M | 0 |5568 |7261 |7352 | 114 | 10 | 23 | 0 | 1.200000e+02 | -- | Inf | unknown
6.36/6.44 c 6.4s| 1 | 0 | 21884 | - | 283M | 0 |5568 |7261 |7363 | 125 | 11 | 23 | 0 | 1.200000e+02 | -- | Inf | unknown
6.46/6.55 c 6.5s| 1 | 0 | 22005 | - | 284M | 0 |5568 |7261 |7373 | 135 | 12 | 23 | 0 | 1.200000e+02 | -- | Inf | unknown
6.66/6.70 c 6.7s| 1 | 0 | 22875 | - | 284M | 0 |5568 |7261 |7380 | 142 | 13 | 23 | 0 | 1.200000e+02 | -- | Inf | unknown
8.46/8.56 c 8.6s| 1 | 2 | 35650 | - | 285M | 0 |5568 |7273 |7380 | 142 | 13 | 35 | 16 | 1.200000e+02 | -- | Inf | unknown
20.73/20.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.73/20.84 c 20.8s| 100 | 92 |126271 |1044.4 | 295M | 19 |5568 |7322 |7339 | 236 | 1 | 84 | 16 | 1.200000e+02 | -- | Inf | 0.95%
32.20/32.39 c 32.4s| 200 | 180 |178166 | 780.4 | 303M | 20 |5568 |7377 |7337 | 397 | 1 | 142 | 16 | 1.200000e+02 | -- | Inf | 1.03%
49.45/49.64 c 49.6s| 300 | 266 |248642 | 755.1 | 305M | 23 |5568 |7475 |7341 | 526 | 1 | 244 | 16 | 1.200000e+02 | -- | Inf | 1.82%
72.59/72.88 c 72.9s| 400 | 332 |306774 | 711.5 | 306M | 31 |5568 |7589 |7340 | 660 | 1 | 362 | 16 | 1.200000e+02 | -- | Inf | 1.82%
91.64/91.90 c 91.9s| 500 | 422 |364361 | 684.3 | 308M | 37 |5568 |7677 |7338 | 786 | 1 | 455 | 16 | 1.200000e+02 | -- | Inf | 1.83%
110.80/111.14 c 111s| 600 | 510 |430322 | 680.2 | 309M | 37 |5568 |7766 |7350 | 869 | 1 | 547 | 16 | 1.200000e+02 | -- | Inf | 1.83%
123.77/124.16 c 124s| 700 | 600 |477875 | 650.9 | 314M | 44 |5568 |7814 |7337 | 978 | 1 | 598 | 16 | 1.200000e+02 | -- | Inf | 1.83%
140.42/140.89 c 141s| 800 | 692 |524321 | 627.6 | 318M | 44 |5568 |7903 |7361 |1101 | 1 | 690 | 16 | 1.200000e+02 | -- | Inf | 1.83%
163.46/163.99 c 164s| 900 | 779 |760698 | 820.7 | 319M | 52 |5568 |8055 |7340 |1210 | 1 | 846 | 16 | 1.200000e+02 | -- | Inf | 1.86%
195.26/195.82 c 196s| 1000 | 867 |973607 | 951.7 | 322M | 52 |5568 |8281 |7343 |1347 | 1 |1076 | 16 | 1.200000e+02 | -- | Inf | 1.87%
216.29/216.94 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
216.29/216.94 c (run 1, node 1050) performing user restart
216.29/216.94 c
216.29/216.95 c (restart) converted 3 cuts from the global cut pool into linear constraints
216.29/216.95 c
216.29/216.98 c presolving:
216.29/216.99 c (round 1, fast) 0 del vars, 41 del conss, 0 add conss, 0 chg bounds, 13 chg sides, 44 chg coeffs, 0 upgd conss, 0 impls, 1540 clqs
216.39/217.01 c (round 2, exhaustive) 1 del vars, 62 del conss, 0 add conss, 0 chg bounds, 13 chg sides, 544 chg coeffs, 3 upgd conss, 0 impls, 1538 clqs
216.39/217.06 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
216.39/217.06 c 1 deleted vars, 68 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 13 changed sides, 545 changed coefficients
216.39/217.06 c 0 implications, 1538 cliques
216.39/217.06 c presolved problem has 5567 variables (5567 bin, 0 int, 0 impl, 0 cont) and 8259 constraints
216.39/217.06 c 578 constraints of type <knapsack>
216.39/217.06 c 1508 constraints of type <setppc>
216.39/217.06 c 5186 constraints of type <linear>
216.39/217.06 c 987 constraints of type <logicor>
216.39/217.06 c transformed objective value is always integral (scale: 1)
216.39/217.06 c Presolving Time: 0.72
216.39/217.06 c
217.58/218.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
217.58/218.21 c 218s| 1 | 0 | 1111k| - | 329M | 0 |5567 |8259 |7239 | 0 | 0 |1121 | 16 | 1.200000e+02 | -- | Inf | unknown
218.28/218.90 c 219s| 1 | 0 | 1113k| - | 332M | 0 |5567 |8259 |7252 | 13 | 1 |1121 | 16 | 1.200000e+02 | -- | Inf | unknown
218.68/219.31 c 219s| 1 | 0 | 1116k| - | 332M | 0 |5567 |8259 |7266 | 27 | 2 |1121 | 16 | 1.200000e+02 | -- | Inf | unknown
218.88/219.59 c 220s| 1 | 0 | 1117k| - | 333M | 0 |5567 |8261 |7278 | 39 | 3 |1123 | 16 | 1.200000e+02 | -- | Inf | unknown
219.28/219.97 c 220s| 1 | 0 | 1119k| - | 335M | 0 |5567 |8262 |7290 | 51 | 4 |1124 | 16 | 1.200000e+02 | -- | Inf | unknown
219.78/220.45 c 220s| 1 | 0 | 1120k| - | 336M | 0 |5567 |8263 |7302 | 63 | 5 |1125 | 16 | 1.200000e+02 | -- | Inf | unknown
220.08/220.73 c 221s| 1 | 0 | 1121k| - | 336M | 0 |5567 |8263 |7314 | 75 | 6 |1125 | 16 | 1.200000e+02 | -- | Inf | unknown
220.58/221.28 c 221s| 1 | 0 | 1123k| - | 337M | 0 |5567 |8265 |7326 | 87 | 7 |1127 | 16 | 1.200000e+02 | -- | Inf | unknown
221.07/221.72 c 222s| 1 | 0 | 1124k| - | 340M | 0 |5567 |8265 |7340 | 101 | 8 |1127 | 16 | 1.200000e+02 | -- | Inf | unknown
221.67/222.35 c 222s| 1 | 0 | 1127k| - | 340M | 0 |5567 |8265 |7351 | 112 | 9 |1127 | 16 | 1.200000e+02 | -- | Inf | unknown
222.57/223.21 c 223s| 1 | 0 | 1130k| - | 340M | 0 |5567 |8265 |7362 | 123 | 10 |1127 | 16 | 1.200000e+02 | -- | Inf | unknown
222.87/223.57 c 224s| 1 | 0 | 1132k| - | 341M | 0 |5567 |8265 |7374 | 136 | 11 |1127 | 16 | 1.200000e+02 | -- | Inf | unknown
223.17/223.83 c 224s| 1 | 0 | 1133k| - | 341M | 0 |5567 |8265 |7384 | 146 | 12 |1127 | 16 | 1.200000e+02 | -- | Inf | unknown
232.54/233.21 c 233s| 1 | 2 | 1205k| - | 341M | 0 |5567 |8271 |7384 | 146 | 12 |1133 | 32 | 1.200000e+02 | -- | Inf | unknown
273.81/274.62 c 275s| 100 | 96 | 1608k|1354.9 | 347M | 32 |5567 |8505 |7359 | 359 | 1 |1377 | 32 | 1.200000e+02 | -- | Inf | unknown
281.48/282.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
281.48/282.31 c 282s| 200 | 143 | 1689k|1311.1 | 348M | 57 |5567 |8630 |7385 | 433 | 1 |1504 | 32 | 1.200000e+02 | -- | Inf | unknown
286.87/287.75 c 288s| 300 | 169 | 1749k|1258.3 | 350M | 58 |5567 |8685 | 0 | 462 | 0 |1559 | 32 | 1.200000e+02 | -- | Inf | unknown
296.54/297.43 c 297s| 400 | 198 | 1832k|1228.9 | 355M | 58 |5567 |8728 |7396 | 648 | 2 |1603 | 32 | 1.200000e+02 | -- | Inf | unknown
303.91/304.80 c 305s| 500 | 213 | 1924k|1209.4 | 356M | 58 |5567 |8764 | 0 | 705 | 0 |1640 | 32 | 1.200000e+02 | -- | Inf | unknown
307.11/308.10 c 308s| 600 | 236 | 1963k|1159.3 | 356M | 64 |5567 |8785 | 0 | 772 | 0 |1661 | 32 | 1.200000e+02 | -- | Inf | unknown
313.28/314.24 c 314s| 700 | 262 | 2015k|1122.7 | 356M | 64 |5567 |8791 |7372 | 811 | 1 |1667 | 32 | 1.200000e+02 | -- | Inf | unknown
317.08/318.01 c 318s| 800 | 281 | 2063k|1088.3 | 357M | 64 |5567 |8847 |7369 | 828 | 2 |1725 | 32 | 1.200000e+02 | -- | Inf | unknown
322.35/323.30 c 323s| 900 | 318 | 2118k|1060.3 | 359M | 64 |5567 |8852 |7376 | 897 | 3 |1731 | 32 | 1.200000e+02 | -- | Inf | unknown
327.44/328.43 c 328s| 1000 | 334 | 2174k|1036.0 | 362M | 64 |5567 |8908 |7374 |1031 | 1 |1788 | 32 | 1.200000e+02 | -- | Inf | unknown
334.21/335.22 c 335s| 1100 | 373 | 2239k|1018.1 | 364M | 64 |5567 |8973 |7386 |1165 | 1 |1854 | 32 | 1.200000e+02 | -- | Inf | unknown
341.59/342.63 c 343s| 1200 | 397 | 2318k|1008.0 | 364M | 64 |5567 |9041 |7365 |1220 | 1 |1924 | 32 | 1.200000e+02 | -- | Inf | unknown
345.87/346.96 c 347s| 1300 | 421 | 2372k| 988.2 | 365M | 64 |5567 |9072 |7376 |1295 | 1 |1956 | 32 | 1.200000e+02 | -- | Inf | unknown
350.16/351.23 c 351s| 1400 | 429 | 2425k| 969.4 | 365M | 64 |5567 |9099 | 0 |1351 | 0 |1988 | 32 | 1.200000e+02 | -- | Inf | unknown
354.85/355.91 c 356s| 1500 | 428 | 2480k| 952.9 | 365M | 64 |5567 |9122 |7364 |1425 | 1 |2019 | 32 | 1.200000e+02 | -- | Inf | unknown
359.53/360.64 c 361s| 1600 | 450 | 2526k| 934.4 | 366M | 64 |5567 |9161 | 0 |1497 | 0 |2063 | 32 | 1.200000e+02 | -- | Inf | unknown
363.72/364.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
363.72/364.82 c 365s| 1700 | 458 | 2576k| 918.4 | 367M | 64 |5567 |9199 |7373 |1620 | 1 |2106 | 32 | 1.200000e+02 | -- | Inf | unknown
370.00/371.18 c 371s| 1800 | 449 | 2645k| 910.3 | 367M | 64 |5567 |9223 | 0 |1722 | 0 |2146 | 32 | 1.200000e+02 | -- | Inf | unknown
375.68/376.81 c 377s| 1900 | 447 | 2710k| 901.8 | 367M | 64 |5567 |9233 | 0 |1882 | 0 |2184 | 32 | 1.200000e+02 | -- | Inf | unknown
379.66/380.83 c 381s| 2000 | 448 | 2754k| 886.4 | 367M | 64 |5567 |9271 |7370 |1962 | 1 |2241 | 32 | 1.200000e+02 | -- | Inf | unknown
383.05/384.28 c 384s| 2100 | 426 | 2790k| 869.6 | 367M | 64 |5567 |9272 |7374 |2065 | 2 |2283 | 32 | 1.200000e+02 | -- | Inf | unknown
390.03/391.21 c 391s| 2200 | 467 | 2874k| 868.9 | 369M | 64 |5567 |9303 |7388 |2234 | 0 |2332 | 32 | 1.200000e+02 | -- | Inf | unknown
399.50/400.76 c 401s| 2300 | 496 | 2946k| 864.4 | 369M | 64 |5567 |9346 |7384 |2406 | 1 |2388 | 32 | 1.200000e+02 | -- | Inf | unknown
404.48/405.79 c 406s| 2400 | 519 | 3008k| 857.2 | 370M | 64 |5567 |9402 |7367 |2487 | 1 |2461 | 32 | 1.200000e+02 | -- | Inf | unknown
410.76/412.07 c 412s| 2500 | 518 | 3083k| 854.3 | 370M | 64 |5567 |9433 |7365 |2636 | 1 |2510 | 32 | 1.200000e+02 | -- | Inf | unknown
416.04/417.37 c 417s| 2600 | 520 | 3144k| 847.6 | 370M | 64 |5567 |9475 | 0 |2807 | 0 |2560 | 32 | 1.200000e+02 | -- | Inf | unknown
420.33/421.62 c 422s| 2700 | 471 | 3194k| 838.4 | 370M | 64 |5567 |9525 |7381 |2928 | 2 |2632 | 32 | 1.200000e+02 | -- | Inf | unknown
432.98/434.32 c 434s| 2800 | 461 | 3314k| 847.7 | 370M | 64 |5567 |9519 | 0 |3024 | 0 |2678 | 32 | 1.200000e+02 | -- | Inf | unknown
441.66/443.09 c 443s| 2900 | 469 | 3390k| 845.5 | 370M | 64 |5567 |9532 |7367 |3101 | 1 |2754 | 32 | 1.200000e+02 | -- | Inf | unknown
446.84/448.27 c 448s| 3000 | 465 | 3447k| 838.7 | 370M | 64 |5567 |9512 |7376 |3112 | 1 |2785 | 32 | 1.200000e+02 | -- | Inf | unknown
450.02/451.41 c 451s| 3100 | 444 | 3476k| 825.5 | 370M | 64 |5567 |9485 | 0 |3170 | 0 |2826 | 32 | 1.200000e+02 | -- | Inf | unknown
454.91/456.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
454.91/456.35 c 456s| 3200 | 466 | 3532k| 819.2 | 370M | 64 |5567 |9519 |7373 |3225 | 1 |2871 | 32 | 1.200000e+02 | -- | Inf | unknown
458.40/459.83 c 460s| 3300 | 467 | 3572k| 809.5 | 370M | 64 |5567 |9550 | 0 |3270 | 0 |2909 | 32 | 1.200000e+02 | -- | Inf | unknown
466.37/467.81 c 468s| 3400 | 514 | 3656k| 810.2 | 370M | 64 |5567 |9561 |7373 |3392 | 1 |2926 | 32 | 1.200000e+02 | -- | Inf | unknown
471.75/473.25 c 473s| 3500 | 516 | 3716k| 805.6 | 370M | 64 |5567 |9595 |7374 |3464 | 1 |2974 | 32 | 1.200000e+02 | -- | Inf | unknown
477.33/478.85 c 479s| 3600 | 532 | 3780k| 802.1 | 370M | 64 |5567 |9620 |7389 |3555 | 2 |3023 | 32 | 1.200000e+02 | -- | Inf | unknown
482.22/483.79 c 484s| 3700 | 515 | 3835k| 796.8 | 370M | 64 |5567 |9685 |7372 |3661 | 1 |3101 | 32 | 1.200000e+02 | -- | Inf | unknown
487.30/488.81 c 489s| 3800 | 516 | 3887k| 791.1 | 371M | 64 |5567 |9689 |7385 |3774 | 1 |3131 | 32 | 1.200000e+02 | -- | Inf | unknown
493.68/495.21 c 495s| 3900 | 524 | 3959k| 789.6 | 371M | 64 |5567 |9748 |7385 |3912 | 1 |3191 | 32 | 1.200000e+02 | -- | Inf | unknown
498.76/500.36 c 500s| 4000 | 517 | 4010k| 784.1 | 372M | 64 |5567 |9777 |7374 |4030 | 1 |3243 | 32 | 1.200000e+02 | -- | Inf | unknown
504.25/505.81 c 506s| 4100 | 522 | 4073k| 781.1 | 372M | 64 |5567 |9821 | 0 |4123 | 0 |3300 | 32 | 1.200000e+02 | -- | Inf | unknown
509.33/510.91 c 511s| 4200 | 523 | 4129k| 776.9 | 372M | 64 |5567 |9832 |7374 |4190 | 1 |3355 | 32 | 1.200000e+02 | -- | Inf | unknown
513.02/514.62 c 515s| 4300 | 530 | 4167k| 769.5 | 372M | 64 |5567 |9844 |7374 |4202 | 1 |3396 | 32 | 1.200000e+02 | -- | Inf | unknown
517.51/519.14 c 519s| 4400 | 521 | 4214k| 764.0 | 372M | 64 |5567 |9838 |7374 |4266 | 1 |3443 | 32 | 1.200000e+02 | -- | Inf | unknown
523.58/525.25 c 525s| 4500 | 537 | 4277k| 761.5 | 372M | 64 |5567 |9857 |7374 |4377 | 1 |3498 | 32 | 1.200000e+02 | -- | Inf | unknown
534.35/536.05 c 536s| 4600 | 538 | 4344k| 760.0 | 372M | 64 |5567 |9725 |7351 |4478 | 1 |3543 | 32 | 1.200000e+02 | -- | Inf | unknown
541.13/542.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
541.13/542.84 c 543s| 4700 | 572 | 4423k| 760.5 | 373M | 64 |5567 |9711 |7349 |4521 | 1 |3591 | 32 | 1.200000e+02 | -- | Inf | unknown
567.95/569.70 c 570s| 4800 | 622 | 4586k| 775.3 | 373M | 64 |5567 |9721 |7361 |4633 | 1 |3621 | 32 | 1.200000e+02 | -- | Inf | unknown
575.73/577.53 c 578s| 4900 | 667 | 4653k| 773.6 | 373M | 64 |5567 |9729 | 0 |4683 | 0 |3644 | 32 | 1.200000e+02 | -- | Inf | unknown
583.51/585.32 c 585s| 5000 | 686 | 4740k| 775.2 | 373M | 64 |5567 |9737 | 0 |4785 | 0 |3684 | 32 | 1.200000e+02 | -- | Inf | unknown
589.80/591.64 c 592s| 5100 | 715 | 4811k| 774.1 | 373M | 64 |5567 |9792 |7360 |4820 | 1 |3749 | 32 | 1.200000e+02 | -- | Inf | unknown
597.78/599.68 c 600s| 5200 | 756 | 4906k| 776.8 | 376M | 64 |5567 |9827 |7358 |4893 | 1 |3801 | 32 | 1.200000e+02 | -- | Inf | unknown
605.16/607.08 c 607s| 5300 | 786 | 4990k| 777.9 | 376M | 64 |5567 |9893 | 0 |4939 | 0 |3874 | 32 | 1.200000e+02 | -- | Inf | unknown
613.14/615.03 c 615s| 5400 | 807 | 5069k| 778.0 | 376M | 64 |5567 |9918 |7365 |5040 | 1 |3910 | 32 | 1.200000e+02 | -- | Inf | unknown
621.01/622.91 c 623s| 5500 | 809 | 5148k| 778.3 | 376M | 64 |5567 |9866 |7365 |5184 | 2 |3954 | 32 | 1.200000e+02 | -- | Inf | unknown
629.89/631.89 c 632s| 5600 | 836 | 5246k| 781.3 | 377M | 64 |5567 |9829 | 0 |5316 | 0 |3988 | 32 | 1.200000e+02 | -- | Inf | unknown
635.77/637.75 c 638s| 5700 | 855 | 5312k| 779.5 | 377M | 64 |5567 |9822 |7370 |5373 | 1 |4012 | 32 | 1.200000e+02 | -- | Inf | unknown
642.35/644.34 c 644s| 5800 | 863 | 5387k| 779.1 | 377M | 64 |5567 |9847 |7370 |5489 | 1 |4070 | 32 | 1.200000e+02 | -- | Inf | unknown
647.64/649.63 c 650s| 5900 | 870 | 5451k| 777.1 | 377M | 64 |5567 |9869 |7370 |5512 | 1 |4113 | 32 | 1.200000e+02 | -- | Inf | unknown
652.42/654.41 c 654s| 6000 | 867 | 5505k| 773.8 | 378M | 64 |5567 |9892 |7378 |5594 | 1 |4157 | 32 | 1.200000e+02 | -- | Inf | unknown
656.81/658.83 c 659s| 6100 | 881 | 5554k| 769.7 | 378M | 64 |5567 |9933 |7370 |5673 | 1 |4209 | 32 | 1.200000e+02 | -- | Inf | unknown
662.00/664.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
662.00/664.06 c 664s| 6200 | 883 | 5612k| 767.2 | 378M | 64 |5567 |9936 |7376 |5776 | 1 |4239 | 32 | 1.200000e+02 | -- | Inf | unknown
667.48/669.52 c 670s| 6300 | 885 | 5677k| 765.6 | 378M | 64 |5567 |9958 | 0 |5839 | 0 |4297 | 32 | 1.200000e+02 | -- | Inf | unknown
671.97/674.03 c 674s| 6400 | 866 | 5728k| 762.1 | 378M | 64 |5567 |9849 |7374 |5918 | 1 |4367 | 32 | 1.200000e+02 | -- | Inf | unknown
677.55/679.69 c 680s| 6500 | 881 | 5796k| 761.0 | 378M | 64 |5567 |9806 |7356 |5976 | 1 |4427 | 32 | 1.200000e+02 | -- | Inf | unknown
683.74/685.86 c 686s| 6600 | 910 | 5857k| 759.1 | 378M | 64 |5567 |9816 |7362 |6045 | 1 |4469 | 32 | 1.200000e+02 | -- | Inf | unknown
687.93/690.05 c 690s| 6700 | 918 | 5901k| 754.9 | 378M | 64 |5567 |9842 | 0 |6068 | 0 |4537 | 32 | 1.200000e+02 | -- | Inf | unknown
694.11/696.25 c 696s| 6800 | 923 | 5970k| 754.0 | 379M | 64 |5567 |9828 |7373 |6200 | 1 |4607 | 32 | 1.200000e+02 | -- | Inf | unknown
699.49/701.69 c 702s| 6900 | 933 | 6037k| 753.0 | 380M | 64 |5567 |9790 |7372 |6240 | 1 |4640 | 32 | 1.200000e+02 | -- | Inf | unknown
704.58/706.79 c 707s| 7000 | 943 | 6099k| 751.3 | 380M | 64 |5567 |9775 |7374 |6291 | 1 |4682 | 32 | 1.200000e+02 | -- | Inf | unknown
710.37/712.55 c 713s| 7100 | 951 | 6162k| 749.9 | 380M | 64 |5567 |9757 | 0 |6326 | 0 |4745 | 32 | 1.200000e+02 | -- | Inf | unknown
716.45/718.66 c 719s| 7200 | 971 | 6226k| 748.6 | 380M | 64 |5567 |9794 |7362 |6372 | 1 |4840 | 32 | 1.200000e+02 | -- | Inf | unknown
721.33/723.50 c 723s| 7300 | 961 | 6278k| 745.8 | 380M | 64 |5567 |9817 | 0 |6458 | 0 |4911 | 32 | 1.200000e+02 | -- | Inf | unknown
725.22/727.40 c 727s| 7400 | 952 | 6321k| 742.1 | 380M | 64 |5567 |9787 | 0 |6504 | 0 |4958 | 32 | 1.200000e+02 | -- | Inf | unknown
729.82/732.01 c 732s| 7500 | 960 | 6372k| 739.4 | 380M | 64 |5567 |9757 |7372 |6575 | 1 |4993 | 32 | 1.200000e+02 | -- | Inf | unknown
734.70/736.94 c 737s| 7600 | 966 | 6427k| 737.2 | 380M | 64 |5567 |9747 | 0 |6674 | 0 |5057 | 32 | 1.200000e+02 | -- | Inf | unknown
739.89/742.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
739.89/742.19 c 742s| 7700 | 964 | 6479k| 734.7 | 381M | 64 |5567 |9645 |7362 |6772 | 1 |5098 | 32 | 1.200000e+02 | -- | Inf | unknown
742.28/744.52 c 745s| 7800 | 998 | 6502k| 729.0 | 381M | 64 |5567 |9669 |7362 |6856 | 1 |5155 | 32 | 1.200000e+02 | -- | Inf | unknown
744.37/746.68 c 747s| 7900 | 1022 | 6521k| 723.0 | 381M | 64 |5567 |9749 |7367 |6957 | 1 |5241 | 32 | 1.200000e+02 | -- | Inf | unknown
747.06/749.31 c 749s| 8000 | 1043 | 6546k| 717.8 | 382M | 64 |5567 |9811 |7369 |7053 | 1 |5319 | 32 | 1.200000e+02 | -- | Inf | unknown
752.05/754.35 c 754s| 8100 | 1049 | 6599k| 715.7 | 382M | 64 |5567 |9783 |7364 |7158 | 1 |5390 | 32 | 1.200000e+02 | -- | Inf | unknown
758.03/760.31 c 760s| 8200 | 1047 | 6667k| 715.3 | 382M | 64 |5567 |9744 | 0 |7232 | 0 |5445 | 32 | 1.200000e+02 | -- | Inf | unknown
764.72/767.03 c 767s| 8300 | 1050 | 6740k| 715.5 | 382M | 64 |5567 |9676 | 0 |7296 | 0 |5488 | 32 | 1.200000e+02 | -- | Inf | unknown
770.20/772.54 c 773s| 8400 | 1046 | 6798k| 714.0 | 382M | 64 |5567 |9671 |7372 |7348 | 1 |5533 | 32 | 1.200000e+02 | -- | Inf | unknown
775.89/778.25 c 778s| 8500 | 1052 | 6862k| 713.2 | 382M | 64 |5567 |9633 | 0 |7405 | 0 |5584 | 32 | 1.200000e+02 | -- | Inf | unknown
781.78/784.18 c 784s| 8600 | 1029 | 6932k| 713.2 | 382M | 64 |5567 |9671 | 0 |7473 | 0 |5656 | 32 | 1.200000e+02 | -- | Inf | unknown
788.66/791.07 c 791s| 8700 | 1040 | 7009k| 713.7 | 382M | 64 |5567 |9652 | 0 |7629 | 0 |5729 | 32 | 1.200000e+02 | -- | Inf | unknown
793.44/795.81 c 796s| 8800 | 1044 | 7063k| 712.0 | 382M | 64 |5567 |9650 | 0 |7697 | 0 |5772 | 32 | 1.200000e+02 | -- | Inf | unknown
799.92/802.37 c 802s| 8900 | 1027 | 7136k| 712.1 | 383M | 64 |5567 |9618 | 0 |7840 | 0 |5824 | 32 | 1.200000e+02 | -- | Inf | unknown
804.51/806.99 c 807s| 9000 | 1034 | 7184k| 709.8 | 383M | 64 |5567 |9647 |7377 |7920 | 1 |5897 | 32 | 1.200000e+02 | -- | Inf | unknown
809.70/812.17 c 812s| 9100 | 1031 | 7244k| 708.7 | 383M | 64 |5567 |9672 |7375 |7983 | 1 |5940 | 32 | 1.200000e+02 | -- | Inf | unknown
816.48/818.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
816.48/818.91 c 819s| 9200 | 1031 | 7322k| 709.4 | 383M | 64 |5567 |9626 | 0 |8059 | 0 |5993 | 32 | 1.200000e+02 | -- | Inf | unknown
824.16/826.69 c 827s| 9300 | 1068 | 7412k| 711.3 | 384M | 64 |5567 |9529 |7357 |8137 | 1 |6040 | 32 | 1.200000e+02 | -- | Inf | unknown
830.34/832.86 c 833s| 9400 | 1092 | 7490k| 711.9 | 384M | 64 |5567 |9546 | 0 |8188 | 0 |6072 | 32 | 1.200000e+02 | -- | Inf | unknown
837.13/839.66 c 840s| 9500 | 1100 | 7569k| 712.6 | 384M | 64 |5567 |9560 |7356 |8234 | 1 |6111 | 32 | 1.200000e+02 | -- | Inf | unknown
847.00/849.52 c 850s| 9600 | 1129 | 7688k| 717.1 | 385M | 64 |5567 |9550 | 0 |8294 | 0 |6153 | 32 | 1.200000e+02 | -- | Inf | unknown
852.69/855.23 c 855s| 9700 | 1143 | 7751k| 716.3 | 385M | 64 |5567 |9550 |7369 |8311 | 2 |6176 | 32 | 1.200000e+02 | -- | Inf | unknown
860.17/862.74 c 863s| 9800 | 1157 | 7831k| 717.1 | 385M | 64 |5567 |9512 | 0 |8388 | 0 |6221 | 32 | 1.200000e+02 | -- | Inf | unknown
865.35/867.91 c 868s| 9900 | 1147 | 7887k| 715.6 | 385M | 64 |5567 |9547 |7356 |8412 | 1 |6287 | 32 | 1.200000e+02 | -- | Inf | unknown
871.24/873.84 c 874s| 10000 | 1139 | 7952k| 715.0 | 385M | 64 |5567 |9519 |7377 |8500 | 1 |6325 | 32 | 1.200000e+02 | -- | Inf | unknown
880.32/882.91 c 883s| 10100 | 1171 | 8061k| 718.4 | 386M | 64 |5567 |9480 |7357 |8613 | 1 |6370 | 32 | 1.200000e+02 | -- | Inf | unknown
890.69/893.38 c 893s| 10200 | 1219 | 8183k| 722.9 | 388M | 64 |5567 |9531 |7354 |8671 | 1 |6449 | 32 | 1.200000e+02 | -- | Inf | unknown
897.38/900.02 c 900s| 10300 | 1220 | 8261k| 723.4 | 388M | 64 |5567 |9520 |7374 |8729 | 1 |6503 | 32 | 1.200000e+02 | -- | Inf | unknown
904.55/907.27 c 907s| 10400 | 1231 | 8348k| 724.7 | 388M | 64 |5567 |9459 |7349 |8840 | 1 |6525 | 32 | 1.200000e+02 | -- | Inf | unknown
913.53/916.21 c 916s| 10500 | 1293 | 8455k| 727.7 | 388M | 64 |5567 |9445 |7364 |8948 | 2 |6552 | 32 | 1.200000e+02 | -- | Inf | unknown
919.02/921.71 c 922s| 10600 | 1301 | 8526k| 727.5 | 388M | 64 |5567 |9485 |7355 |9006 | 1 |6610 | 32 | 1.200000e+02 | -- | Inf | unknown
925.70/928.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
925.70/928.41 c 928s| 10700 | 1326 | 8607k| 728.3 | 389M | 64 |5567 |9517 |7349 |9068 | 1 |6652 | 32 | 1.200000e+02 | -- | Inf | unknown
935.38/938.20 c 938s| 10800 | 1354 | 8731k| 732.5 | 389M | 64 |5567 |9547 |7357 |9153 | 1 |6723 | 32 | 1.200000e+02 | -- | Inf | unknown
943.06/945.82 c 946s| 10900 | 1367 | 8824k| 734.2 | 389M | 64 |5567 |9582 |7373 |9204 | 1 |6766 | 32 | 1.200000e+02 | -- | Inf | unknown
950.04/952.88 c 953s| 11000 | 1361 | 8905k| 734.8 | 390M | 64 |5567 |9609 | 0 |9281 | 0 |6801 | 32 | 1.200000e+02 | -- | Inf | unknown
956.92/959.74 c 960s| 11100 | 1371 | 8981k| 735.0 | 390M | 64 |5567 |9646 |7363 |9342 | 1 |6849 | 32 | 1.200000e+02 | -- | Inf | unknown
963.80/966.63 c 967s| 11200 | 1384 | 9061k| 735.6 | 390M | 64 |5567 |9686 | 0 |9414 | 0 |6921 | 32 | 1.200000e+02 | -- | Inf | unknown
967.59/970.40 c 970s| 11300 | 1407 | 9099k| 732.6 | 391M | 64 |5567 |9812 |7355 |9477 | 1 |7074 | 32 | 1.200000e+02 | -- | Inf | unknown
972.29/975.15 c 975s| 11400 | 1413 | 9152k| 731.0 | 391M | 64 |5567 |9788 |7371 |9533 | 1 |7104 | 32 | 1.200000e+02 | -- | Inf | unknown
976.77/979.67 c 980s| 11500 | 1411 | 9206k| 729.5 | 391M | 64 |5567 |9794 | 0 |9591 | 0 |7152 | 32 | 1.200000e+02 | -- | Inf | unknown
983.16/986.00 c 986s| 11600 | 1427 | 9277k| 729.4 | 391M | 64 |5567 |9770 |7366 |9690 | 0 |7213 | 32 | 1.200000e+02 | -- | Inf | unknown
988.54/991.40 c 991s| 11700 | 1453 | 9337k| 728.4 | 391M | 64 |5567 |9767 | 0 |9776 | 0 |7268 | 32 | 1.200000e+02 | -- | Inf | unknown
995.92/998.82 c 999s| 11800 | 1454 | 9422k| 729.3 | 392M | 64 |5567 |9791 |7365 |9847 | 1 |7395 | 32 | 1.200000e+02 | -- | Inf | unknown
1002.40/1005.39 c 1005s| 11900 | 1451 | 9496k| 729.4 | 392M | 64 |5567 |9751 |7355 |9933 | 1 |7434 | 32 | 1.200000e+02 | -- | Inf | unknown
1007.99/1010.92 c 1011s| 12000 | 1470 | 9560k| 728.7 | 392M | 64 |5567 |9762 |7365 |9990 | 1 |7483 | 32 | 1.200000e+02 | -- | Inf | unknown
1014.08/1017.05 c 1017s| 12100 | 1457 | 9633k| 728.7 | 392M | 64 |5567 |9711 | 0 | 10k| 0 |7504 | 32 | 1.200000e+02 | -- | Inf | unknown
1019.76/1022.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1019.76/1022.78 c 1023s| 12200 | 1471 | 9696k| 727.9 | 392M | 64 |5567 |9679 |7362 | 10k| 1 |7565 | 32 | 1.200000e+02 | -- | Inf | unknown
1027.64/1030.66 c 1031s| 12300 | 1497 | 9779k| 728.8 | 392M | 64 |5567 |9697 |7363 | 10k| 1 |7622 | 32 | 1.200000e+02 | -- | Inf | unknown
1034.92/1037.92 c 1038s| 12400 | 1487 | 9859k| 729.3 | 393M | 64 |5567 |9719 |7356 | 10k| 1 |7696 | 32 | 1.200000e+02 | -- | Inf | unknown
1040.80/1043.88 c 1044s| 12500 | 1473 | 9922k| 728.5 | 393M | 64 |5567 |9672 | 0 | 10k| 0 |7751 | 32 | 1.200000e+02 | -- | Inf | unknown
1045.89/1048.96 c 1049s| 12600 | 1495 | 9991k| 728.3 | 393M | 64 |5567 |9708 |7357 | 10k| 1 |7819 | 32 | 1.200000e+02 | -- | Inf | unknown
1051.38/1054.45 c 1054s| 12700 | 1532 | 10061k| 728.0 | 393M | 64 |5567 |9711 |7357 | 10k| 1 |7857 | 32 | 1.200000e+02 | -- | Inf | unknown
1058.16/1061.25 c 1061s| 12800 | 1549 | 10152k| 729.3 | 394M | 64 |5567 |9744 |7362 | 10k| 1 |7900 | 32 | 1.200000e+02 | -- | Inf | unknown
1063.54/1066.69 c 1067s| 12900 | 1565 | 10225k| 729.4 | 394M | 64 |5567 |9813 |7357 | 10k| 1 |7984 | 32 | 1.200000e+02 | -- | Inf | unknown
1068.63/1071.70 c 1072s| 13000 | 1557 | 10292k| 729.0 | 394M | 64 |5567 |9847 | 0 | 10k| 0 |8037 | 32 | 1.200000e+02 | -- | Inf | unknown
1074.32/1077.44 c 1077s| 13100 | 1560 | 10369k| 729.2 | 394M | 64 |5567 |9898 | 0 | 10k| 0 |8114 | 32 | 1.200000e+02 | -- | Inf | unknown
1080.60/1083.75 c 1084s| 13200 | 1599 | 10446k| 729.5 | 395M | 64 |5567 |9864 |7371 | 10k| 3 |8162 | 32 | 1.200000e+02 | -- | Inf | unknown
1088.58/1091.78 c 1092s| 13300 | 1631 | 10546k| 731.4 | 395M | 64 |5567 |9860 |7358 | 10k| 1 |8214 | 32 | 1.200000e+02 | -- | Inf | unknown
1095.56/1098.70 c 1099s| 13400 | 1662 | 10633k| 732.4 | 395M | 64 |5567 |9858 | 0 | 11k| 0 |8265 | 32 | 1.200000e+02 | -- | Inf | unknown
1100.95/1104.18 c 1104s| 13500 | 1662 | 10701k| 732.0 | 395M | 64 |5567 |9871 |7363 | 11k| 1 |8299 | 32 | 1.200000e+02 | -- | Inf | unknown
1106.23/1109.41 c 1109s| 13600 | 1657 | 10770k| 731.7 | 395M | 64 |5567 |9899 |7365 | 11k| 0 |8371 | 32 | 1.200000e+02 | -- | Inf | unknown
1111.02/1114.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1111.02/1114.25 c 1114s| 13700 | 1673 | 10828k| 730.7 | 395M | 64 |5567 |9926 | 0 | 11k| 0 |8421 | 32 | 1.200000e+02 | -- | Inf | unknown
1118.40/1121.66 c 1122s| 13800 | 1674 | 10921k| 732.0 | 395M | 64 |5567 |9912 |7358 | 11k| 1 |8470 | 32 | 1.200000e+02 | -- | Inf | unknown
1125.79/1129.02 c 1129s| 13900 | 1686 | 11013k| 733.3 | 395M | 64 |5567 |9936 |7372 | 11k| 1 |8517 | 32 | 1.200000e+02 | -- | Inf | unknown
1133.26/1136.56 c 1137s| 14000 | 1695 | 11108k| 734.7 | 395M | 64 |5567 |9939 |7368 | 11k| 2 |8582 | 32 | 1.200000e+02 | -- | Inf | unknown
1140.55/1143.81 c 1144s| 14100 | 1701 | 11198k| 735.8 | 395M | 64 |5567 |9933 |7358 | 11k| 1 |8641 | 32 | 1.200000e+02 | -- | Inf | unknown
1146.23/1149.52 c 1150s| 14200 | 1697 | 11269k| 735.7 | 395M | 64 |5567 |9949 |7369 | 11k| 2 |8711 | 32 | 1.200000e+02 | -- | Inf | unknown
1150.32/1153.62 c 1154s| 14300 | 1693 | 11321k| 734.2 | 396M | 64 |5567 |9979 | 0 | 11k| 0 |8786 | 32 | 1.200000e+02 | -- | Inf | unknown
1155.11/1158.41 c 1158s| 14400 | 1692 | 11384k| 733.5 | 396M | 64 |5567 | 10k|7370 | 11k| 1 |8846 | 32 | 1.200000e+02 | -- | Inf | unknown
1161.70/1165.04 c 1165s| 14500 | 1692 | 11475k| 734.7 | 396M | 64 |5567 | 10k| 0 | 11k| 0 |8903 | 32 | 1.200000e+02 | -- | Inf | unknown
1168.97/1172.31 c 1172s| 14600 | 1688 | 11568k| 735.9 | 396M | 64 |5567 | 10k|7358 | 12k| 1 |8966 | 32 | 1.200000e+02 | -- | Inf | unknown
1177.25/1180.68 c 1181s| 14700 | 1694 | 11674k| 738.0 | 396M | 64 |5567 | 10k| 0 | 12k| 0 |9021 | 32 | 1.200000e+02 | -- | Inf | unknown
1186.83/1190.20 c 1190s| 14800 | 1728 | 11791k| 740.7 | 396M | 64 |5567 | 10k|7362 | 12k| 1 |9078 | 32 | 1.200000e+02 | -- | Inf | unknown
1193.11/1196.51 c 1197s| 14900 | 1753 | 11873k| 741.2 | 396M | 64 |5567 | 10k|7362 | 12k| 1 |9147 | 32 | 1.200000e+02 | -- | Inf | unknown
1201.39/1204.81 c 1205s| 15000 | 1763 | 11977k| 743.1 | 397M | 64 |5567 | 10k| 0 | 12k| 0 |9210 | 32 | 1.200000e+02 | -- | Inf | unknown
1209.77/1213.20 c 1213s| 15100 | 1802 | 12083k| 745.1 | 397M | 64 |5567 | 10k| 0 | 12k| 0 |9297 | 32 | 1.200000e+02 | -- | Inf | unknown
1217.45/1221.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1217.45/1221.00 c 1221s| 15200 | 1837 | 12170k| 745.8 | 399M | 64 |5567 | 10k| 0 | 12k| 0 |9345 | 32 | 1.200000e+02 | -- | Inf | unknown
1225.93/1229.43 c 1229s| 15300 | 1841 | 12270k| 747.4 | 399M | 64 |5567 | 10k|7356 | 12k| 1 |9393 | 32 | 1.200000e+02 | -- | Inf | unknown
1232.62/1236.11 c 1236s| 15400 | 1854 | 12353k| 747.9 | 399M | 64 |5567 | 10k|7356 | 12k| 1 |9426 | 32 | 1.200000e+02 | -- | Inf | unknown
1238.79/1242.31 c 1242s| 15500 | 1872 | 12432k| 748.1 | 401M | 64 |5567 | 10k|7363 | 12k| 1 |9482 | 32 | 1.200000e+02 | -- | Inf | unknown
1244.38/1247.99 c 1248s| 15600 | 1882 | 12502k| 747.9 | 401M | 64 |5567 | 10k| 0 | 12k| 0 |9535 | 32 | 1.200000e+02 | -- | Inf | unknown
1249.97/1253.52 c 1254s| 15700 | 1890 | 12574k| 747.7 | 401M | 64 |5567 | 10k|7372 | 13k| 1 |9560 | 32 | 1.200000e+02 | -- | Inf | unknown
1253.36/1256.99 c 1257s| 15800 | 1871 | 12616k| 745.7 | 401M | 64 |5567 | 10k| 0 | 13k| 0 |9635 | 32 | 1.200000e+02 | -- | Inf | unknown
1260.84/1264.43 c 1264s| 15900 | 1865 | 12709k| 746.8 | 401M | 64 |5567 | 10k| 0 | 13k| 0 |9710 | 32 | 1.200000e+02 | -- | Inf | unknown
1267.02/1270.64 c 1271s| 16000 | 1871 | 12791k| 747.2 | 401M | 64 |5567 | 10k|7363 | 13k| 1 |9784 | 32 | 1.200000e+02 | -- | Inf | unknown
1273.80/1277.44 c 1277s| 16100 | 1852 | 12875k| 747.8 | 402M | 64 |5567 | 10k| 0 | 13k| 0 |9853 | 32 | 1.200000e+02 | -- | Inf | unknown
1279.99/1283.66 c 1284s| 16200 | 1850 | 12949k| 747.7 | 402M | 64 |5567 | 10k| 0 | 13k| 0 |9949 | 32 | 1.200000e+02 | -- | Inf | unknown
1286.38/1290.08 c 1290s| 16300 | 1848 | 13029k| 748.0 | 403M | 64 |5567 | 10k| 0 | 13k| 0 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1291.76/1295.49 c 1295s| 16400 | 1835 | 13102k| 748.0 | 403M | 64 |5567 | 10k| 0 | 13k| 0 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1298.24/1301.91 c 1302s| 16500 | 1840 | 13185k| 748.4 | 403M | 64 |5567 | 10k|7369 | 13k| 1 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1302.63/1306.37 c 1306s| 16600 | 1846 | 13243k| 747.4 | 403M | 64 |5567 | 10k|7358 | 13k| 1 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1310.11/1313.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1310.11/1313.84 c 1314s| 16700 | 1851 | 13336k| 748.5 | 403M | 64 |5567 | 10k|7356 | 13k| 1 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1314.70/1318.45 c 1318s| 16800 | 1846 | 13390k| 747.3 | 403M | 64 |5567 | 10k| 0 | 13k| 0 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1318.99/1322.72 c 1323s| 16900 | 1835 | 13443k| 746.1 | 403M | 64 |5567 | 10k|7364 | 14k| 1 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1323.48/1327.29 c 1327s| 17000 | 1821 | 13499k| 745.1 | 403M | 64 |5567 | 10k|7368 | 14k| 1 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1328.56/1332.39 c 1332s| 17100 | 1820 | 13564k| 744.5 | 403M | 64 |5567 | 10k|7368 | 14k| 1 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1335.25/1339.04 c 1339s| 17200 | 1814 | 13648k| 745.1 | 403M | 64 |5567 | 10k|7365 | 14k| 1 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1340.73/1344.52 c 1345s| 17300 | 1806 | 13720k| 744.9 | 403M | 64 |5567 | 10k| 0 | 14k| 0 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1345.02/1348.81 c 1349s| 17400 | 1793 | 13773k| 743.8 | 403M | 64 |5567 | 10k| 0 | 14k| 0 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1352.00/1355.82 c 1356s| 17500 | 1788 | 13861k| 744.5 | 403M | 64 |5567 | 10k| 0 | 14k| 0 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1360.98/1364.81 c 1365s| 17600 | 1828 | 13962k| 746.0 | 405M | 64 |5567 | 10k|7370 | 14k| 1 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1367.86/1371.74 c 1372s| 17700 | 1851 | 14036k| 745.9 | 408M | 64 |5567 | 10k|7367 | 14k| 2 | 10k| 32 | 1.200000e+02 | -- | Inf | unknown
1376.15/1380.01 c 1380s| 17800 | 1873 | 14130k| 747.0 | 408M | 64 |5567 | 10k| 0 | 14k| 0 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1382.13/1386.01 c 1386s| 17900 | 1878 | 14202k| 746.8 | 408M | 64 |5567 | 10k|7365 | 14k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1387.41/1391.32 c 1391s| 18000 | 1837 | 14258k| 745.8 | 408M | 64 |5567 | 10k| 0 | 14k| 0 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1395.49/1399.48 c 1399s| 18100 | 1864 | 14349k| 746.7 | 408M | 64 |5567 | 10k|7357 | 14k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1401.98/1405.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1401.98/1405.92 c 1406s| 18200 | 1872 | 14423k| 746.6 | 409M | 64 |5567 | 10k|7365 | 14k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1408.17/1412.18 c 1412s| 18300 | 1884 | 14498k| 746.6 | 409M | 64 |5567 | 10k|7376 | 15k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1415.05/1419.05 c 1419s| 18400 | 1892 | 14581k| 747.1 | 409M | 64 |5567 | 10k| 0 | 15k| 0 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1422.72/1426.76 c 1427s| 18500 | 1890 | 14677k| 748.2 | 410M | 64 |5567 | 10k|7372 | 15k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1427.71/1431.70 c 1432s| 18600 | 1890 | 14737k| 747.4 | 411M | 64 |5567 | 10k|7372 | 15k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1432.11/1436.16 c 1436s| 18700 | 1891 | 14787k| 746.2 | 411M | 64 |5567 | 10k| 0 | 15k| 0 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1437.69/1441.71 c 1442s| 18800 | 1897 | 14849k| 745.5 | 411M | 64 |5567 | 10k|7364 | 15k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1441.18/1445.27 c 1445s| 18900 | 1909 | 14882k| 743.5 | 411M | 64 |5567 | 10k|7375 | 15k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1445.57/1449.64 c 1450s| 19000 | 1942 | 14930k| 742.1 | 411M | 64 |5567 | 10k| 0 | 15k| 0 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1448.46/1452.59 c 1453s| 19100 | 1922 | 14960k| 739.9 | 411M | 64 |5567 | 10k| 0 | 15k| 0 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1454.84/1458.97 c 1459s| 19200 | 1933 | 15035k| 740.0 | 411M | 64 |5567 | 10k|7382 | 15k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1460.53/1464.69 c 1465s| 19300 | 1950 | 15106k| 739.8 | 412M | 64 |5567 | 10k|7361 | 15k| 1 | 11k| 32 | 1.200000e+02 | -- | Inf | unknown
1467.11/1471.27 c 1471s| 19400 | 1937 | 15177k| 739.7 | 412M | 64 |5567 | 10k| 0 | 15k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1475.39/1479.59 c 1480s| 19500 | 1951 | 15273k| 740.7 | 412M | 64 |5567 | 10k|7361 | 15k| 1 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1481.07/1485.22 c 1485s| 19600 | 1939 | 15337k| 740.3 | 412M | 64 |5567 | 10k|7363 | 15k| 1 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1486.06/1490.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1486.06/1490.21 c 1490s| 19700 | 1937 | 15402k| 739.8 | 412M | 64 |5567 | 10k|7365 | 15k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1491.05/1495.27 c 1495s| 19800 | 1933 | 15467k| 739.4 | 412M | 64 |5567 | 10k| 0 | 16k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1497.43/1501.63 c 1502s| 19900 | 1922 | 15541k| 739.4 | 412M | 64 |5567 | 10k| 0 | 16k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1501.83/1506.06 c 1506s| 20000 | 1919 | 15587k| 738.1 | 413M | 64 |5567 | 10k|7365 | 16k| 1 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1506.81/1511.07 c 1511s| 20100 | 1923 | 15642k| 737.2 | 413M | 64 |5567 | 10k| 0 | 16k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1511.90/1516.16 c 1516s| 20200 | 1922 | 15702k| 736.5 | 413M | 64 |5567 | 10k| 0 | 16k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1515.19/1519.40 c 1519s| 20300 | 1957 | 15737k| 734.7 | 413M | 64 |5567 | 10k|7366 | 16k| 1 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1518.48/1522.72 c 1523s| 20400 | 1969 | 15769k| 732.8 | 413M | 64 |5567 | 10k| 0 | 16k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1522.37/1526.67 c 1527s| 20500 | 1977 | 15806k| 731.1 | 413M | 64 |5567 | 10k|7369 | 16k| 1 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1526.36/1530.63 c 1531s| 20600 | 2022 | 15848k| 729.7 | 413M | 64 |5567 | 10k|7370 | 16k| 1 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1529.85/1534.16 c 1534s| 20700 | 2039 | 15881k| 727.9 | 414M | 64 |5567 | 10k| 0 | 16k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1532.64/1536.93 c 1537s| 20800 | 2044 | 15913k| 726.0 | 414M | 64 |5567 | 10k| 0 | 16k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1535.63/1539.91 c 1540s| 20900 | 2034 | 15945k| 724.1 | 414M | 64 |5567 | 10k| 0 | 16k| 0 | 12k| 32 | 1.200000e+02 | -- | Inf | unknown
1538.53/1542.80 c 1543s| 21000 | 2027 | 15979k| 722.4 | 414M | 64 |5567 | 10k| 0 | 16k| 0 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1550.29/1554.63 c 1555s| 21100 | 2075 | 16119k| 725.4 | 415M | 64 |5567 | 10k|7361 | 17k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1559.17/1563.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1559.17/1563.53 c 1564s| 21200 | 2101 | 16231k| 727.2 | 415M | 64 |5567 | 10k|7354 | 17k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1568.25/1572.70 c 1573s| 21300 | 2132 | 16339k| 728.8 | 415M | 64 |5567 | 10k| 0 | 17k| 0 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1575.74/1580.15 c 1580s| 21400 | 2143 | 16429k| 729.6 | 415M | 64 |5567 | 10k|7370 | 17k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1582.62/1587.05 c 1587s| 21500 | 2133 | 16514k| 730.1 | 415M | 64 |5567 | 10k| 0 | 17k| 0 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1589.49/1593.95 c 1594s| 21600 | 2149 | 16585k| 730.0 | 415M | 64 |5567 | 10k|7373 | 17k| 2 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1595.48/1599.90 c 1600s| 21700 | 2149 | 16647k| 729.5 | 415M | 64 |5567 | 10k| 0 | 17k| 0 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1600.77/1605.24 c 1605s| 21800 | 2142 | 16708k| 729.0 | 416M | 64 |5567 | 10k|7386 | 17k| 2 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1608.35/1612.87 c 1613s| 21900 | 2153 | 16800k| 729.8 | 416M | 64 |5567 | 10k| 0 | 17k| 0 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1617.12/1621.69 c 1622s| 22000 | 2173 | 16904k| 731.2 | 416M | 64 |5567 | 10k| 0 | 17k| 0 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1628.50/1633.01 c 1633s| 22100 | 2200 | 17042k| 734.0 | 417M | 64 |5567 | 10k|7364 | 17k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1638.27/1642.81 c 1643s| 22200 | 2240 | 17160k| 735.9 | 419M | 64 |5567 | 10k|7370 | 17k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1647.55/1652.11 c 1652s| 22300 | 2261 | 17269k| 737.4 | 420M | 64 |5567 | 10k|7371 | 18k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1654.83/1659.42 c 1659s| 22400 | 2286 | 17361k| 738.2 | 420M | 64 |5567 | 10k|7364 | 18k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1662.31/1666.97 c 1667s| 22500 | 2286 | 17449k| 738.8 | 420M | 64 |5567 | 10k| 0 | 18k| 0 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1671.79/1676.43 c 1676s| 22600 | 2301 | 17559k| 740.3 | 420M | 64 |5567 | 10k| 0 | 18k| 0 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1677.77/1682.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1677.77/1682.40 c 1682s| 22700 | 2299 | 17626k| 740.0 | 420M | 64 |5567 | 10k|7372 | 18k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1685.75/1690.43 c 1690s| 22800 | 2299 | 17719k| 740.8 | 420M | 64 |5567 | 10k|7370 | 18k| 1 | 13k| 32 | 1.200000e+02 | -- | Inf | unknown
1693.34/1698.06 c 1698s| 22900 | 2305 | 17805k| 741.3 | 420M | 64 |5567 | 10k|7364 | 18k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1703.21/1707.92 c 1708s| 23000 | 2338 | 17931k| 743.5 | 421M | 64 |5567 | 10k| 0 | 18k| 0 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1713.08/1717.86 c 1718s| 23100 | 2367 | 18054k| 745.5 | 421M | 64 |5567 | 10k| 0 | 18k| 0 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1724.36/1729.13 c 1729s| 23200 | 2406 | 18191k| 748.1 | 421M | 64 |5567 | 10k|7364 | 18k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1734.33/1739.16 c 1739s| 23300 | 2407 | 18305k| 749.7 | 421M | 64 |5567 | 10k| 0 | 18k| 0 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1740.51/1745.36 c 1745s| 23400 | 2402 | 18375k| 749.5 | 423M | 64 |5567 | 10k|7360 | 18k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1748.09/1752.91 c 1753s| 23500 | 2411 | 18460k| 749.9 | 423M | 64 |5567 | 10k| 0 | 18k| 0 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1754.68/1759.59 c 1760s| 23600 | 2408 | 18539k| 750.0 | 423M | 64 |5567 | 10k|7365 | 18k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1763.26/1768.14 c 1768s| 23700 | 2410 | 18642k| 751.2 | 423M | 64 |5567 | 10k|7369 | 18k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1769.34/1774.28 c 1774s| 23800 | 2417 | 18708k| 750.8 | 423M | 64 |5567 | 10k| 0 | 19k| 0 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1775.13/1780.01 c 1780s| 23900 | 2410 | 18777k| 750.6 | 423M | 64 |5567 | 10k|7364 | 19k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1781.81/1786.79 c 1787s| 24000 | 2409 | 18853k| 750.6 | 424M | 64 |5567 | 10k|7359 | 19k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1790.39/1795.31 c 1795s| 24100 | 2424 | 18958k| 751.8 | 424M | 64 |5567 | 10k|7359 | 19k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1797.87/1802.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1797.87/1802.87 c 1803s| 24200 | 2452 | 19044k| 752.2 | 424M | 64 |5567 | 10k|7377 | 19k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1807.84/1812.83 c 1813s| 24300 | 2473 | 19150k| 753.5 | 424M | 64 |5567 | 10k|7356 | 19k| 1 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1815.82/1820.82 c 1821s| 24400 | 2502 | 19247k| 754.3 | 424M | 64 |5567 | 10k|7381 | 19k| 2 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1819.31/1824.30 c 1824s| 24500 | 2496 | 19288k| 752.9 | 424M | 64 |5567 | 10k| 0 | 19k| 0 | 14k| 32 | 1.200000e+02 | -- | Inf | unknown
1827.00/1832.07 c 1832s| 24600 | 2494 | 19377k| 753.5 | 424M | 64 |5567 | 10k|7371 | 19k| 3 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1838.56/1843.62 c 1844s| 24700 | 2547 | 19515k| 755.9 | 424M | 64 |5567 | 10k| 0 | 19k| 0 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1844.95/1850.07 c 1850s| 24800 | 2547 | 19585k| 755.7 | 424M | 64 |5567 | 10k| 0 | 19k| 0 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1854.72/1859.83 c 1860s| 24900 | 2575 | 19699k| 757.2 | 424M | 64 |5567 | 10k|7385 | 19k| 4 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1862.40/1867.56 c 1868s| 25000 | 2579 | 19790k| 757.7 | 425M | 64 |5567 | 10k| 0 | 19k| 0 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1870.08/1875.25 c 1875s| 25100 | 2576 | 19875k| 758.1 | 425M | 64 |5567 | 10k|7357 | 20k| 1 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1877.16/1882.30 c 1882s| 25200 | 2596 | 19953k| 758.2 | 425M | 64 |5567 |9953 | 0 | 20k| 0 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1882.64/1887.84 c 1888s| 25300 | 2600 | 20012k| 757.6 | 425M | 64 |5567 |9964 |7357 | 20k| 1 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1890.52/1895.79 c 1896s| 25400 | 2617 | 20106k| 758.3 | 425M | 64 |5567 |9966 |7361 | 20k| 1 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1897.10/1902.38 c 1902s| 25500 | 2626 | 20171k| 757.8 | 425M | 64 |5567 |9915 |7364 | 20k| 1 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1908.56/1913.89 c 1914s| 25600 | 2660 | 20309k| 760.2 | 425M | 64 |5567 |9817 | 0 | 20k| 0 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1918.33/1923.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1918.33/1923.65 c 1924s| 25700 | 2696 | 20432k| 761.9 | 428M | 64 |5567 |9759 |7357 | 20k| 1 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1925.21/1930.54 c 1931s| 25800 | 2709 | 20507k| 761.9 | 428M | 64 |5567 |9736 |7370 | 20k| 3 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1931.39/1936.71 c 1937s| 25900 | 2712 | 20577k| 761.7 | 428M | 64 |5567 |9721 |7368 | 20k| 1 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1938.07/1943.43 c 1943s| 26000 | 2716 | 20649k| 761.5 | 429M | 64 |5567 |9824 |7362 | 20k| 1 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1944.45/1949.81 c 1950s| 26100 | 2725 | 20723k| 761.4 | 429M | 64 |5567 |9820 | 0 | 20k| 0 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1954.22/1959.63 c 1960s| 26200 | 2748 | 20839k| 762.9 | 429M | 64 |5567 |9761 | 0 | 20k| 0 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1961.50/1966.98 c 1967s| 26300 | 2751 | 20923k| 763.2 | 429M | 64 |5567 |9760 |7370 | 20k| 2 | 15k| 32 | 1.200000e+02 | -- | Inf | unknown
1967.38/1972.86 c 1973s| 26400 | 2739 | 20996k| 763.0 | 429M | 64 |5567 |9775 | 0 | 20k| 0 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
1973.86/1979.30 c 1979s| 26500 | 2753 | 21075k| 763.1 | 429M | 64 |5567 |9811 |7357 | 20k| 1 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
1982.93/1988.48 c 1988s| 26600 | 2773 | 21178k| 764.1 | 429M | 64 |5567 |9791 |7371 | 21k| 3 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
1989.91/1995.40 c 1995s| 26700 | 2794 | 21257k| 764.2 | 429M | 64 |5567 |9692 | 0 | 21k| 0 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
1996.09/2001.61 c 2002s| 26800 | 2804 | 21327k| 764.0 | 430M | 64 |5567 |9735 | 0 | 21k| 0 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2003.27/2008.89 c 2009s| 26900 | 2799 | 21411k| 764.2 | 430M | 64 |5567 |9674 |7359 | 21k| 1 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2011.45/2017.06 c 2017s| 27000 | 2807 | 21506k| 764.9 | 430M | 64 |5567 |9686 |7377 | 21k| 3 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2017.82/2023.40 c 2023s| 27100 | 2813 | 21577k| 764.7 | 430M | 64 |5567 |9689 |7363 | 21k| 1 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2024.80/2030.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2024.80/2030.48 c 2030s| 27200 | 2793 | 21650k| 764.6 | 431M | 64 |5567 |9682 | 0 | 21k| 0 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2031.98/2037.62 c 2038s| 27300 | 2803 | 21731k| 764.7 | 431M | 64 |5567 |9692 | 0 | 21k| 0 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2039.85/2045.52 c 2046s| 27400 | 2784 | 21796k| 764.3 | 431M | 64 |5567 |9689 |7367 | 21k| 1 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2045.83/2051.52 c 2052s| 27500 | 2793 | 21866k| 764.1 | 431M | 64 |5567 |9673 | 0 | 21k| 0 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2053.01/2058.70 c 2059s| 27600 | 2775 | 21950k| 764.4 | 431M | 64 |5567 |9682 |7364 | 21k| 1 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2059.69/2065.45 c 2065s| 27700 | 2761 | 22026k| 764.4 | 431M | 64 |5567 |9662 | 0 | 21k| 0 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2068.06/2073.86 c 2074s| 27800 | 2768 | 22130k| 765.3 | 431M | 64 |5567 |9642 |7359 | 21k| 1 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2078.73/2084.57 c 2085s| 27900 | 2812 | 22254k| 767.0 | 431M | 64 |5567 |9707 |7371 | 21k| 2 | 16k| 32 | 1.200000e+02 | -- | Inf | unknown
2093.78/2099.60 c 2100s| 28000 | 2871 | 22430k| 770.4 | 432M | 64 |5567 |9787 | 0 | 22k| 0 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2099.67/2105.57 c 2106s| 28100 | 2887 | 22496k| 770.0 | 432M | 64 |5567 |9806 | 0 | 22k| 0 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2112.82/2118.79 c 2119s| 28200 | 2927 | 22664k| 773.1 | 432M | 64 |5567 |9820 |7368 | 22k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2122.89/2128.82 c 2129s| 28300 | 2943 | 22784k| 774.6 | 432M | 64 |5567 |9862 | 0 | 22k| 0 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2131.76/2137.79 c 2138s| 28400 | 2939 | 22896k| 775.7 | 432M | 64 |5567 |9921 | 0 | 22k| 0 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2140.24/2146.29 c 2146s| 28500 | 2958 | 22997k| 776.5 | 432M | 64 |5567 |9909 |7356 | 22k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2148.21/2154.22 c 2154s| 28600 | 2990 | 23104k| 777.5 | 432M | 64 |5567 |9893 |7357 | 22k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2159.18/2165.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2159.18/2165.23 c 2165s| 28700 | 3067 | 23259k| 780.1 | 432M | 64 |5567 |9996 | 0 | 22k| 0 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2168.35/2174.48 c 2174s| 28800 | 3115 | 23361k| 780.9 | 434M | 64 |5567 | 10k|7356 | 22k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2177.03/2183.15 c 2183s| 28900 | 3150 | 23468k| 781.9 | 435M | 64 |5567 | 10k|7356 | 22k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2186.79/2192.93 c 2193s| 29000 | 3186 | 23591k| 783.4 | 435M | 64 |5567 | 10k|7358 | 22k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2192.88/2199.01 c 2199s| 29100 | 3241 | 23668k| 783.3 | 439M | 64 |5567 | 10k|7365 | 23k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2198.26/2204.42 c 2204s| 29200 | 3257 | 23729k| 782.7 | 439M | 64 |5567 | 10k| 0 | 23k| 0 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2206.23/2212.45 c 2212s| 29300 | 3298 | 23831k| 783.5 | 439M | 64 |5567 | 10k|7356 | 23k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2212.82/2219.08 c 2219s| 29400 | 3333 | 23906k| 783.4 | 439M | 64 |5567 | 10k|7363 | 23k| 1 | 17k| 32 | 1.200000e+02 | -- | Inf | unknown
2218.90/2225.18 c 2225s| 29500 | 3358 | 23979k| 783.3 | 439M | 64 |5567 | 10k|7359 | 23k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2230.67/2236.99 c 2237s| 29600 | 3410 | 24119k| 785.3 | 439M | 64 |5567 | 10k|7367 | 23k| 2 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2240.04/2246.30 c 2246s| 29700 | 3448 | 24240k| 786.7 | 440M | 64 |5567 | 10k|7377 | 23k| 3 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2247.83/2254.19 c 2254s| 29800 | 3465 | 24337k| 787.3 | 441M | 64 |5567 | 10k|7367 | 23k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2258.70/2265.07 c 2265s| 29900 | 3477 | 24472k| 789.1 | 441M | 64 |5567 | 10k|7368 | 23k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2265.08/2271.48 c 2271s| 30000 | 3504 | 24552k| 789.1 | 442M | 64 |5567 | 10k|7373 | 24k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2272.16/2278.57 c 2279s| 30100 | 3501 | 24630k| 789.1 | 442M | 64 |5567 | 10k|7359 | 24k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2282.64/2289.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2282.64/2289.06 c 2289s| 30200 | 3527 | 24755k| 790.6 | 442M | 64 |5567 | 10k|7365 | 24k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2290.31/2296.79 c 2297s| 30300 | 3539 | 24847k| 791.0 | 442M | 64 |5567 | 10k|7359 | 24k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2300.98/2307.41 c 2307s| 30400 | 3592 | 24984k| 792.8 | 442M | 64 |5567 | 10k|7357 | 24k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2311.96/2318.43 c 2318s| 30500 | 3632 | 25119k| 794.6 | 443M | 64 |5567 | 10k| 0 | 24k| 0 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2319.04/2325.55 c 2326s| 30600 | 3643 | 25207k| 794.8 | 443M | 64 |5567 | 10k|7356 | 24k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2326.02/2332.58 c 2333s| 30700 | 3649 | 25288k| 794.9 | 443M | 64 |5567 | 10k| 0 | 24k| 0 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2332.11/2338.60 c 2339s| 30800 | 3659 | 25354k| 794.5 | 443M | 64 |5567 | 10k| 0 | 24k| 0 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2338.39/2344.97 c 2345s| 30900 | 3664 | 25433k| 794.5 | 443M | 64 |5567 | 10k|7372 | 24k| 1 | 18k| 32 | 1.200000e+02 | -- | Inf | unknown
2345.17/2351.70 c 2352s| 31000 | 3676 | 25510k| 794.4 | 444M | 64 |5567 | 10k|7357 | 24k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2354.05/2360.61 c 2361s| 31100 | 3701 | 25614k| 795.1 | 444M | 64 |5567 | 10k|7366 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2364.43/2371.04 c 2371s| 31200 | 3719 | 25737k| 796.5 | 444M | 64 |5567 | 10k|7365 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2371.60/2378.27 c 2378s| 31300 | 3729 | 25822k| 796.6 | 445M | 64 |5567 | 10k| 0 | 25k| 0 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2378.78/2385.40 c 2385s| 31400 | 3744 | 25901k| 796.6 | 445M | 64 |5567 | 10k|7362 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2387.16/2393.82 c 2394s| 31500 | 3808 | 26006k| 797.4 | 445M | 64 |5567 | 10k|7361 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2394.94/2401.65 c 2402s| 31600 | 3831 | 26091k| 797.6 | 445M | 64 |5567 | 10k|7363 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2402.43/2409.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2402.43/2409.13 c 2409s| 31700 | 3858 | 26179k| 797.8 | 446M | 64 |5567 | 10k|7365 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2410.10/2416.80 c 2417s| 31800 | 3855 | 26260k| 797.9 | 446M | 64 |5567 | 10k|7364 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2415.79/2422.56 c 2423s| 31900 | 3849 | 26331k| 797.6 | 446M | 64 |5567 | 10k| 0 | 25k| 0 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2423.67/2430.45 c 2430s| 32000 | 3864 | 26420k| 797.9 | 446M | 64 |5567 | 10k|7374 | 25k| 2 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2432.85/2439.66 c 2440s| 32100 | 3885 | 26525k| 798.6 | 447M | 64 |5567 | 10k|7357 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2441.12/2447.93 c 2448s| 32200 | 3900 | 26619k| 799.1 | 447M | 64 |5567 | 10k| 0 | 25k| 0 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2450.10/2456.99 c 2457s| 32300 | 3945 | 26733k| 800.1 | 447M | 64 |5567 | 10k|7358 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2455.49/2462.34 c 2462s| 32400 | 3965 | 26789k| 799.4 | 447M | 64 |5567 | 10k|7368 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2466.16/2473.07 c 2473s| 32500 | 3958 | 26907k| 800.5 | 447M | 64 |5567 | 10k|7372 | 25k| 1 | 19k| 32 | 1.200000e+02 | -- | Inf | unknown
2476.93/2483.89 c 2484s| 32600 | 3989 | 27030k| 801.8 | 447M | 64 |5567 | 10k| 0 | 26k| 0 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2483.22/2490.14 c 2490s| 32700 | 4009 | 27110k| 801.8 | 447M | 64 |5567 | 10k|7361 | 26k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2493.10/2500.10 c 2500s| 32800 | 4021 | 27234k| 803.1 | 448M | 64 |5567 | 10k|7359 | 26k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2499.08/2506.02 c 2506s| 32900 | 4034 | 27302k| 802.7 | 448M | 64 |5567 | 10k|7368 | 26k| 2 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2504.66/2511.67 c 2512s| 33000 | 4013 | 27364k| 802.2 | 448M | 64 |5567 | 10k| 0 | 26k| 0 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2511.64/2518.62 c 2519s| 33100 | 4022 | 27443k| 802.1 | 448M | 64 |5567 | 10k|7366 | 26k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2516.94/2523.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2516.94/2523.97 c 2524s| 33200 | 4040 | 27508k| 801.7 | 450M | 64 |5567 | 10k| 0 | 26k| 0 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2524.92/2531.99 c 2532s| 33300 | 4041 | 27605k| 802.2 | 450M | 64 |5567 | 10k|7367 | 26k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2534.49/2541.50 c 2541s| 33400 | 4090 | 27727k| 803.4 | 450M | 64 |5567 | 10k|7368 | 26k| 2 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2545.46/2552.51 c 2553s| 33500 | 4113 | 27858k| 804.9 | 451M | 64 |5567 | 10k|7363 | 26k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2555.54/2562.67 c 2563s| 33600 | 4143 | 27979k| 806.0 | 451M | 64 |5567 | 10k|7357 | 27k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2566.11/2573.22 c 2573s| 33700 | 4176 | 28110k| 807.5 | 451M | 64 |5567 | 10k| 0 | 27k| 0 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2572.59/2579.76 c 2580s| 33800 | 4221 | 28192k| 807.5 | 454M | 64 |5567 | 10k|7368 | 27k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2577.99/2585.12 c 2585s| 33900 | 4243 | 28256k| 807.0 | 454M | 64 |5567 | 10k|7368 | 27k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2581.57/2588.75 c 2589s| 34000 | 4269 | 28301k| 806.0 | 455M | 64 |5567 | 10k|7368 | 27k| 1 | 20k| 32 | 1.200000e+02 | -- | Inf | unknown
2587.76/2594.93 c 2595s| 34100 | 4281 | 28381k| 806.0 | 456M | 64 |5567 | 10k|7359 | 27k| 1 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2597.53/2604.72 c 2605s| 34200 | 4293 | 28503k| 807.2 | 456M | 64 |5567 | 10k| 0 | 27k| 0 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2605.31/2612.56 c 2613s| 34300 | 4321 | 28599k| 807.6 | 456M | 64 |5567 | 10k|7362 | 27k| 1 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2610.70/2617.99 c 2618s| 34400 | 4372 | 28661k| 807.1 | 456M | 64 |5567 | 10k|7361 | 27k| 1 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2617.08/2624.40 c 2624s| 34500 | 4406 | 28733k| 806.8 | 457M | 64 |5567 | 10k| 0 | 27k| 0 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2624.16/2631.45 c 2631s| 34600 | 4405 | 28816k| 806.9 | 457M | 64 |5567 | 10k|7379 | 27k| 2 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2629.85/2637.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2629.85/2637.17 c 2637s| 34700 | 4405 | 28884k| 806.5 | 457M | 64 |5567 | 10k|7366 | 27k| 1 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2637.03/2644.31 c 2644s| 34800 | 4417 | 28967k| 806.6 | 457M | 64 |5567 | 10k| 0 | 27k| 0 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2644.41/2651.70 c 2652s| 34900 | 4429 | 29052k| 806.7 | 458M | 64 |5567 | 10k| 0 | 27k| 0 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2652.89/2660.26 c 2660s| 35000 | 4459 | 29153k| 807.3 | 458M | 64 |5567 | 10k| 0 | 28k| 0 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2661.07/2668.44 c 2668s| 35100 | 4474 | 29246k| 807.6 | 459M | 64 |5567 | 10k| 0 | 28k| 0 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2669.05/2676.47 c 2676s| 35200 | 4482 | 29337k| 807.9 | 459M | 64 |5567 | 10k|7357 | 28k| 1 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2677.13/2684.53 c 2685s| 35300 | 4501 | 29424k| 808.1 | 460M | 64 |5567 |9968 |7362 | 28k| 1 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2684.01/2691.44 c 2691s| 35400 | 4509 | 29506k| 808.1 | 460M | 64 |5567 |9994 |7369 | 28k| 1 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2691.29/2698.70 c 2699s| 35500 | 4526 | 29588k| 808.2 | 460M | 64 |5567 | 10k|7359 | 28k| 1 | 21k| 32 | 1.200000e+02 | -- | Inf | unknown
2699.37/2706.85 c 2707s| 35600 | 4544 | 29681k| 808.5 | 460M | 64 |5567 | 10k| 0 | 28k| 0 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2707.45/2714.95 c 2715s| 35700 | 4555 | 29780k| 809.0 | 460M | 64 |5567 |9976 |7360 | 28k| 1 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2715.43/2722.90 c 2723s| 35800 | 4566 | 29873k| 809.3 | 461M | 64 |5567 |9996 |7368 | 28k| 1 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2722.51/2730.04 c 2730s| 35900 | 4598 | 29960k| 809.5 | 461M | 64 |5567 | 10k| 0 | 28k| 0 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2729.29/2736.87 c 2737s| 36000 | 4619 | 30038k| 809.4 | 461M | 64 |5567 | 10k|7377 | 28k| 2 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2737.58/2745.19 c 2745s| 36100 | 4633 | 30133k| 809.8 | 461M | 64 |5567 | 10k|7364 | 28k| 1 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2740.86/2748.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2740.86/2748.48 c 2748s| 36200 | 4650 | 30168k| 808.5 | 462M | 64 |5567 | 10k|7374 | 29k| 1 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2748.55/2756.16 c 2756s| 36300 | 4665 | 30253k| 808.6 | 462M | 64 |5567 | 10k| 0 | 29k| 0 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2753.53/2761.18 c 2761s| 36400 | 4683 | 30310k| 808.0 | 462M | 64 |5567 | 10k|7370 | 29k| 2 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2763.00/2770.68 c 2771s| 36500 | 4729 | 30429k| 809.0 | 462M | 64 |5567 | 10k| 0 | 29k| 0 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2772.17/2779.84 c 2780s| 36600 | 4747 | 30551k| 810.1 | 463M | 64 |5567 | 10k| 0 | 29k| 0 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2781.04/2788.74 c 2789s| 36700 | 4767 | 30659k| 810.8 | 464M | 64 |5567 | 10k| 0 | 29k| 0 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2791.71/2799.46 c 2799s| 36800 | 4787 | 30777k| 811.8 | 464M | 64 |5567 | 10k|7366 | 29k| 1 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2799.49/2807.23 c 2807s| 36900 | 4806 | 30867k| 812.0 | 464M | 64 |5567 | 10k|7366 | 29k| 1 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2804.97/2812.72 c 2813s| 37000 | 4803 | 30931k| 811.6 | 465M | 64 |5567 | 10k|7359 | 29k| 1 | 22k| 32 | 1.200000e+02 | -- | Inf | unknown
2813.84/2821.69 c 2822s| 37100 | 4834 | 31038k| 812.3 | 465M | 64 |5567 | 10k|7361 | 29k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2819.92/2827.71 c 2828s| 37200 | 4847 | 31102k| 811.8 | 465M | 64 |5567 | 10k|7370 | 29k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2824.90/2832.73 c 2833s| 37300 | 4841 | 31162k| 811.3 | 465M | 64 |5567 | 10k|7369 | 29k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2830.59/2838.47 c 2838s| 37400 | 4862 | 31228k| 810.9 | 466M | 64 |5567 | 10k| 0 | 30k| 0 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2839.76/2847.61 c 2848s| 37500 | 4874 | 31328k| 811.4 | 466M | 64 |5567 | 10k|7366 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2848.53/2856.40 c 2856s| 37600 | 4882 | 31432k| 811.9 | 466M | 64 |5567 | 10k|7362 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2855.12/2863.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2855.12/2863.00 c 2863s| 37700 | 4898 | 31512k| 811.9 | 466M | 64 |5567 | 10k|7368 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2862.09/2870.08 c 2870s| 37800 | 4914 | 31593k| 811.9 | 467M | 64 |5567 | 10k|7359 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2874.85/2882.85 c 2883s| 37900 | 4950 | 31747k| 813.8 | 467M | 64 |5567 | 10k|7358 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2882.03/2890.08 c 2890s| 38000 | 4955 | 31830k| 813.8 | 467M | 64 |5567 | 10k|7369 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2892.69/2900.74 c 2901s| 38100 | 4973 | 31956k| 815.0 | 467M | 64 |5567 | 10k|7372 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2898.87/2906.98 c 2907s| 38200 | 4985 | 32030k| 814.8 | 468M | 64 |5567 | 10k|7357 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2909.05/2917.14 c 2917s| 38300 | 5026 | 32154k| 815.9 | 468M | 64 |5567 | 10k|7365 | 30k| 1 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2916.03/2924.17 c 2924s| 38400 | 5046 | 32243k| 816.0 | 469M | 64 |5567 | 10k|7385 | 31k| 3 | 23k| 32 | 1.200000e+02 | -- | Inf | unknown
2925.29/2933.41 c 2933s| 38500 | 5083 | 32356k| 816.8 | 470M | 64 |5567 | 10k| 0 | 31k| 0 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2934.36/2942.54 c 2943s| 38600 | 5097 | 32460k| 817.4 | 470M | 64 |5567 | 10k|7363 | 31k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2943.04/2951.22 c 2951s| 38700 | 5127 | 32558k| 817.8 | 470M | 64 |5567 | 10k|7378 | 31k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2952.11/2960.30 c 2960s| 38800 | 5150 | 32663k| 818.4 | 471M | 64 |5567 | 10k|7373 | 31k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2963.17/2971.44 c 2971s| 38900 | 5201 | 32799k| 819.7 | 472M | 64 |5567 | 10k|7379 | 31k| 3 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2969.55/2977.85 c 2978s| 39000 | 5219 | 32875k| 819.6 | 472M | 64 |5567 | 10k| 0 | 31k| 0 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2975.14/2983.45 c 2983s| 39100 | 5234 | 32945k| 819.3 | 473M | 64 |5567 | 10k|7357 | 31k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2983.21/2991.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2983.21/2991.55 c 2992s| 39200 | 5249 | 33032k| 819.4 | 476M | 64 |5567 | 10k|7363 | 31k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2991.38/2999.74 c 3000s| 39300 | 5270 | 33128k| 819.8 | 476M | 64 |5567 | 10k|7365 | 32k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
2998.46/3006.88 c 3007s| 39400 | 5294 | 33215k| 819.9 | 476M | 64 |5567 | 10k|7358 | 32k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
3005.94/3014.34 c 3014s| 39500 | 5322 | 33297k| 819.9 | 477M | 64 |5567 | 10k|7351 | 32k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
3014.81/3023.29 c 3023s| 39600 | 5357 | 33401k| 820.4 | 477M | 64 |5567 | 10k|7366 | 32k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
3022.69/3031.19 c 3031s| 39700 | 5377 | 33496k| 820.7 | 477M | 64 |5567 | 10k|7380 | 32k| 3 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
3031.16/3039.62 c 3040s| 39800 | 5400 | 33588k| 821.0 | 478M | 64 |5567 | 10k| 0 | 32k| 0 | 24k| 32 | 1.200000e+02 | -- | Inf | unknown
3038.73/3047.23 c 3047s| 39900 | 5425 | 33683k| 821.3 | 478M | 64 |5567 | 10k| 0 | 32k| 0 | 24k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3046.91/3055.47 c 3055s| 40000 | 5445 | 33780k| 821.7 | 478M | 64 |5567 |9863 |7354 | 32k| 1 | 24k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3056.18/3064.71 c 3065s| 40100 | 5514 | 33910k| 822.8 | 481M | 64 |5567 |9913 |7355 | 32k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3064.65/3073.27 c 3073s| 40200 | 5565 | 34025k| 823.6 | 481M | 64 |5567 |9939 |7354 | 32k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3073.63/3082.28 c 3082s| 40300 | 5625 | 34146k| 824.6 | 482M | 64 |5567 |9960 |7352 | 32k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3079.61/3088.20 c 3088s| 40400 | 5653 | 34225k| 824.5 | 482M | 64 |5567 |9983 |7374 | 32k| 3 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3089.48/3098.11 c 3098s| 40500 | 5689 | 34345k| 825.4 | 482M | 64 |5567 |9957 |7360 | 33k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3096.95/3105.62 c 3106s| 40600 | 5736 | 34419k| 825.2 | 483M | 64 |5567 |9979 |7367 | 33k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3102.83/3111.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3102.83/3111.54 c 3112s| 40700 | 5759 | 34488k| 824.8 | 483M | 64 |5567 |9991 |7371 | 33k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3108.72/3117.46 c 3117s| 40800 | 5748 | 34555k| 824.5 | 483M | 64 |5567 |9959 | 0 | 33k| 0 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3117.39/3126.15 c 3126s| 40900 | 5790 | 34661k| 825.0 | 488M | 64 |5567 | 10k|7367 | 33k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3124.67/3133.46 c 3133s| 41000 | 5806 | 34748k| 825.2 | 488M | 64 |5567 | 10k|7372 | 33k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3133.94/3142.74 c 3143s| 41100 | 5845 | 34858k| 825.8 | 490M | 64 |5567 | 10k|7372 | 33k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3140.62/3149.42 c 3149s| 41200 | 5863 | 34940k| 825.8 | 491M | 64 |5567 | 10k| 0 | 33k| 0 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3146.90/3155.74 c 3156s| 41300 | 5872 | 35013k| 825.6 | 491M | 64 |5567 | 10k| 0 | 33k| 0 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3153.87/3162.78 c 3163s| 41400 | 5879 | 35096k| 825.6 | 492M | 64 |5567 | 10k|7375 | 34k| 2 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3165.24/3174.11 c 3174s| 41500 | 5937 | 35229k| 826.8 | 493M | 64 |5567 | 10k|7367 | 34k| 1 | 25k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3174.91/3183.84 c 3184s| 41600 | 5968 | 35345k| 827.5 | 493M | 64 |5567 | 10k|7364 | 34k| 1 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3183.98/3192.93 c 3193s| 41700 | 6001 | 35449k| 828.0 | 494M | 64 |5567 | 10k|7363 | 34k| 1 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3190.86/3199.82 c 3200s| 41800 | 6018 | 35525k| 827.9 | 495M | 64 |5567 | 10k|7370 | 34k| 2 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3200.03/3209.03 c 3209s| 41900 | 6057 | 35622k| 828.2 | 496M | 64 |5567 | 10k| 0 | 34k| 0 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3210.00/3219.07 c 3219s| 42000 | 6113 | 35743k| 829.1 | 497M | 64 |5567 | 10k|7369 | 34k| 1 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3214.48/3223.59 c 3224s| 42100 | 6146 | 35803k| 828.6 | 497M | 64 |5567 | 10k| 0 | 34k| 0 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3218.57/3227.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3218.57/3227.65 c 3228s| 42200 | 6203 | 35859k| 828.0 | 498M | 64 |5567 | 10k|7381 | 34k| 3 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3222.46/3231.55 c 3232s| 42300 | 6208 | 35908k| 827.2 | 498M | 64 |5567 | 10k|7373 | 34k| 1 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3226.44/3235.59 c 3236s| 42400 | 6204 | 35954k| 826.3 | 499M | 64 |5567 | 10k|7366 | 34k| 1 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3232.93/3242.09 c 3242s| 42500 | 6201 | 36031k| 826.2 | 499M | 64 |5567 | 10k| 0 | 35k| 0 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3241.40/3250.50 c 3250s| 42600 | 6245 | 36127k| 826.5 | 499M | 64 |5567 | 10k| 0 | 35k| 0 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3249.37/3258.53 c 3259s| 42700 | 6284 | 36206k| 826.4 | 500M | 64 |5567 | 10k|7371 | 35k| 1 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3255.15/3264.34 c 3264s| 42800 | 6315 | 36275k| 826.1 | 500M | 64 |5567 | 10k|7358 | 35k| 1 | 26k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3263.23/3272.48 c 3272s| 42900 | 6355 | 36374k| 826.5 | 501M | 64 |5567 | 10k|7367 | 35k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3267.92/3277.16 c 3277s| 43000 | 6355 | 36429k| 825.8 | 501M | 64 |5567 | 10k| 0 | 35k| 0 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3275.39/3284.60 c 3285s| 43100 | 6368 | 36522k| 826.1 | 501M | 64 |5567 | 10k|7376 | 35k| 2 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3283.07/3292.35 c 3292s| 43200 | 6417 | 36616k| 826.4 | 501M | 64 |5567 | 10k|7371 | 35k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3291.24/3300.54 c 3301s| 43300 | 6443 | 36710k| 826.6 | 501M | 64 |5567 | 10k|7358 | 35k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3298.42/3307.72 c 3308s| 43400 | 6497 | 36804k| 826.9 | 502M | 64 |5567 | 10k|7361 | 35k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3306.99/3316.36 c 3316s| 43500 | 6546 | 36904k| 827.2 | 503M | 64 |5567 | 10k|7370 | 35k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3316.96/3326.33 c 3326s| 43600 | 6591 | 37022k| 828.0 | 503M | 64 |5567 | 10k| 0 | 35k| 0 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3328.63/3338.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3328.63/3338.03 c 3338s| 43700 | 6646 | 37160k| 829.3 | 504M | 64 |5567 | 10k|7375 | 36k| 3 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3335.61/3345.09 c 3345s| 43800 | 6648 | 37239k| 829.2 | 504M | 64 |5567 | 10k|7358 | 36k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3342.88/3352.33 c 3352s| 43900 | 6681 | 37319k| 829.1 | 505M | 64 |5567 | 10k| 0 | 36k| 0 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3350.76/3360.21 c 3360s| 44000 | 6715 | 37413k| 829.4 | 506M | 64 |5567 | 10k| 0 | 36k| 0 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3358.54/3368.04 c 3368s| 44100 | 6762 | 37511k| 829.7 | 506M | 64 |5567 | 10k|7359 | 36k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3365.21/3374.73 c 3375s| 44200 | 6811 | 37586k| 829.5 | 507M | 64 |5567 | 10k|7366 | 36k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3372.19/3381.77 c 3382s| 44300 | 6843 | 37670k| 829.5 | 507M | 64 |5567 | 10k|7358 | 36k| 1 | 27k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3379.27/3388.83 c 3389s| 44400 | 6882 | 37762k| 829.7 | 508M | 64 |5567 | 10k|7358 | 36k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3386.94/3396.51 c 3397s| 44500 | 6935 | 37845k| 829.7 | 508M | 64 |5567 | 10k|7355 | 36k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3392.82/3402.43 c 3402s| 44600 | 6980 | 37919k| 829.6 | 509M | 64 |5567 | 10k|7356 | 36k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3396.42/3406.10 c 3406s| 44700 | 7031 | 37965k| 828.7 | 509M | 64 |5567 | 10k|7358 | 36k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3402.50/3412.18 c 3412s| 44800 | 7113 | 38038k| 828.5 | 513M | 64 |5567 | 10k|7358 | 36k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3406.18/3415.82 c 3416s| 44900 | 7147 | 38082k| 827.7 | 514M | 64 |5567 | 10k|7368 | 36k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3412.16/3421.83 c 3422s| 45000 | 7188 | 38153k| 827.4 | 516M | 64 |5567 | 10k|7365 | 36k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3417.45/3427.18 c 3427s| 45100 | 7233 | 38216k| 827.0 | 516M | 64 |5567 | 10k|7363 | 37k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3423.82/3433.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3423.82/3433.51 c 3434s| 45200 | 7283 | 38294k| 826.9 | 516M | 64 |5567 | 10k|7358 | 37k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3430.50/3440.28 c 3440s| 45300 | 7354 | 38373k| 826.8 | 518M | 64 |5567 | 10k|7365 | 37k| 1 | 28k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3436.58/3446.37 c 3446s| 45400 | 7400 | 38450k| 826.7 | 518M | 64 |5567 | 10k|7365 | 37k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3441.57/3451.30 c 3451s| 45500 | 7401 | 38513k| 826.3 | 518M | 64 |5567 | 10k|7362 | 37k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3446.55/3456.31 c 3456s| 45600 | 7410 | 38566k| 825.6 | 518M | 64 |5567 | 10k| 0 | 37k| 0 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3451.84/3461.69 c 3462s| 45700 | 7427 | 38625k| 825.1 | 519M | 64 |5567 | 10k|7371 | 37k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3456.92/3466.78 c 3467s| 45800 | 7448 | 38679k| 824.5 | 520M | 64 |5567 | 10k|7378 | 37k| 3 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3465.20/3475.04 c 3475s| 45900 | 7489 | 38777k| 824.9 | 521M | 64 |5567 | 10k|7373 | 37k| 3 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3472.47/3482.36 c 3482s| 46000 | 7508 | 38864k| 824.9 | 526M | 64 |5567 | 10k|7359 | 37k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3478.35/3488.22 c 3488s| 46100 | 7517 | 38922k| 824.4 | 526M | 64 |5567 | 10k|7355 | 37k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3492.51/3502.40 c 3502s| 46200 | 7561 | 39094k| 826.3 | 526M | 64 |5567 | 10k|7368 | 38k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3499.49/3509.46 c 3509s| 46300 | 7582 | 39173k| 826.3 | 527M | 64 |5567 | 10k| 0 | 38k| 0 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3507.26/3517.29 c 3517s| 46400 | 7602 | 39266k| 826.5 | 527M | 64 |5567 | 10k|7361 | 38k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3516.04/3526.01 c 3526s| 46500 | 7637 | 39376k| 827.0 | 527M | 64 |5567 | 10k|7363 | 38k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.51%
3525.21/3535.20 c 3535s| 46600 | 7680 | 39487k| 827.6 | 528M | 64 |5567 | 10k|7368 | 38k| 1 | 29k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3530.79/3540.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3530.79/3540.88 c 3541s| 46700 | 7713 | 39559k| 827.4 | 528M | 64 |5567 | 10k| 0 | 38k| 0 | 30k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3538.86/3548.94 c 3549s| 46800 | 7729 | 39659k| 827.8 | 529M | 64 |5567 | 10k|7371 | 38k| 1 | 30k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3545.24/3555.38 c 3555s| 46900 | 7752 | 39736k| 827.7 | 529M | 64 |5567 | 10k|7367 | 38k| 1 | 30k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3550.93/3561.10 c 3561s| 47000 | 7762 | 39806k| 827.4 | 529M | 64 |5567 | 10k| 0 | 38k| 0 | 30k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3557.80/3567.97 c 3568s| 47100 | 7776 | 39882k| 827.2 | 530M | 64 |5567 | 10k| 0 | 38k| 0 | 30k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3565.78/3575.90 c 3576s| 47200 | 7793 | 39973k| 827.4 | 530M | 64 |5567 | 10k|7367 | 38k| 1 | 30k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3575.75/3586.00 c 3586s| 47300 | 7834 | 40094k| 828.2 | 530M | 64 |5567 | 10k|7372 | 38k| 2 | 30k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3583.02/3593.25 c 3593s| 47400 | 7862 | 40182k| 828.3 | 530M | 64 |5567 | 10k| 0 | 38k| 0 | 30k| 32 | 1.200000e+02 | -- | Inf | 0.53%
3586.82/3597.00 c
3586.82/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.82/3597.00 c Solving Time (sec) : 3597.00
3586.82/3597.00 c Solving Nodes : 47458 (total of 48508 nodes in 2 runs)
3586.82/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.82/3597.00 c Dual Bound : +1.20000000000000e+02
3586.82/3597.00 c Gap : infinite
3586.82/3597.00 s UNKNOWN
3586.82/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.82/3597.00 c Total Time : 3597.00
3586.82/3597.00 c solving : 3597.00
3586.82/3597.00 c presolving : 0.72 (included in solving)
3586.82/3597.00 c reading : 0.09 (included in solving)
3586.82/3597.00 c copying : 2.84 (110 #copies) (minimal 0.02, maximal 0.03, average 0.03)
3586.82/3597.00 c Original Problem :
3586.82/3597.00 c Problem name : HOME/instance-4491402-1751386835.opb
3586.82/3597.00 c Variables : 5570 (5570 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.82/3597.00 c Constraints : 10896 initial, 10896 maximal
3586.82/3597.00 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 128)
3586.82/3597.00 c Presolved Problem :
3586.82/3597.00 c Problem name : t_HOME/instance-4491402-1751386835.opb
3586.82/3597.00 c Variables : 5567 (5567 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.82/3597.00 c Constraints : 8259 initial, 10538 maximal
3586.82/3597.00 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
3586.82/3597.00 c Nonzeros : 190264 constraint, 3118 clique table
3586.82/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.82/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c domcol : 0.04 0.00 3 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c dualsparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c milp : 0.18 0.00 1 0 0 0 0 0 10895 5733 0 0
3586.82/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c trivial : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c symmetry : 0.15 0.00 1 0 0 0 0 0 0 1500 0 0
3586.82/3597.00 c vbounds : 0.00 0.00 3 0 1 0 0 0 0 0 0 0
3586.82/3597.00 c knapsack : 0.01 0.00 21 0 0 0 0 0 0 5 5 10
3586.82/3597.00 c setppc : 0.01 0.00 20 0 0 0 0 0 7 0 0 0
3586.82/3597.00 c linear : 0.17 0.05 18 2 0 0 2 0 2 0 193 500
3586.82/3597.00 c logicor : 0.02 0.01 7 0 0 0 0 0 60 0 0 501
3586.82/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.82/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.82/3597.00 c benderslp : 0 0 0 0 32051 0 0 4942 0 0 0 0 0 0 0
3586.82/3597.00 c integral : 0 0 0 0 32051 0 0 4942 0 0 0 0 0 0 64102
3586.82/3597.00 c knapsack : 578+ 636 23 235100 0 0 0 4937 170117 2079 126246 4387 181 0 0
3586.82/3597.00 c setppc : 1508+ 1550 23 233019 0 0 0 2 4211 28 9309 0 0 0 0
3586.82/3597.00 c linear : 5186+ 5211 23 232993 0 0 0 3 71199 22112 3204305 0 0 0 0
3586.82/3597.00 c logicor : 987+ 3181 23 67932 0 0 0 0 87223 1203 19741 95 2 0 0
3586.82/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.82/3597.00 c benderslp : 0.02 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c integral : 11.60 0.00 0.00 0.00 11.59 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c knapsack : 8.92 0.00 0.08 8.54 0.00 0.00 0.00 0.22 0.07 0.00
3586.82/3597.00 c setppc : 0.22 0.00 0.00 0.22 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c linear : 65.37 0.05 0.03 65.19 0.00 0.00 0.00 0.00 0.11 0.00
3586.82/3597.00 c logicor : 4.33 0.01 0.00 4.25 0.00 0.00 0.00 0.00 0.06 0.00
3586.82/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.82/3597.00 c dualfix : 2 0 0 0
3586.82/3597.00 c genvbounds : 0 0 0 0
3586.82/3597.00 c nlobbt : 0 0 0 0
3586.82/3597.00 c obbt : 0 0 0 0
3586.82/3597.00 c probing : 0 0 0 0
3586.82/3597.00 c pseudoobj : 157583 0 0 0
3586.82/3597.00 c redcost : 71701 0 0 1
3586.82/3597.00 c rootredcost : 2 0 0 0
3586.82/3597.00 c symmetry : 0 0 0 0
3586.82/3597.00 c vbounds : 125399 0 0 0
3586.82/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.82/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3586.82/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.00 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3586.82/3597.00 c pseudoobj : 0.16 0.00 0.00 0.16 0.00 0.00
3586.82/3597.00 c redcost : 6.83 0.00 0.00 6.83 0.00 0.00
3586.82/3597.00 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3586.82/3597.00 c symmetry : 0.21 0.00 0.15 0.06 0.00 0.00
3586.82/3597.00 c vbounds : 2.54 0.00 0.00 2.54 0.00 0.00
3586.82/3597.00 c Symmetry :
3586.82/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.82/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.82/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.82/3597.00 c shadow tree time : 0.00 s
3586.82/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.82/3597.00 c propagation : 0.59 9877 9824 - 84515 38.0 583 24.0 - - -
3586.82/3597.00 c infeasible LP : 0.65 805 801 - 4921 33.0 157 16.7 801 25.2 0
3586.82/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.82/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.82/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.82/3597.00 c applied globally : 0.10 - - 0 29655 30.3 - - 801 - -
3586.82/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.82/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.82/3597.00 c cut pool : 5.32 - 8192 46 - - 72575 2595019 - - - - - (maximal pool size: 10396)
3586.82/3597.00 c aggregation : 2.61 0.00 681 23 0 0 47982 1153799 11500 26549 25244 1305 0
3586.82/3597.00 c > cmir : - - - - - - - 578760 120 11476 11472 4 -
3586.82/3597.00 c > flowcover : - - - - - - - 568109 59 13589 13577 12 -
3586.82/3597.00 c > knapsackcover : - - - - - - - 6930 11321 1484 195 1289 -
3586.82/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c clique : 0.43 0.00 23 23 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c gomory : 44.30 0.00 703 20 0 0 38418 1373607 3182 11227 11091 136 0
3586.82/3597.00 c > gomorymi : - - - - - - - 659347 1622 6080 6005 75 -
3586.82/3597.00 c > strongcg : - - - - - - - 714260 1560 5147 5086 61 -
3586.82/3597.00 c impliedbounds : 0.12 0.00 707 23 0 0 4 9 0 7 7 0 0
3586.82/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c mcf : 0.01 0.00 8 8 0 0 127 392 96 11 11 0 0
3586.82/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c multilinear : 0.00 0.00 117 23 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c rapidlearning : 150.58 0.00 100 2 0 31099 0 0 0 0 0 0 586
3586.82/3597.00 c rlt : 0.00 0.00 502 20 0 0 0 0 0 0 0 0 0
3586.82/3597.00 c zerohalf : 2.56 0.00 550 23 0 0 1295 67212 473 2420 2182 238 0
3586.82/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.82/3597.00 c hybrid : 0.74 0.00 7586 25 40351 72 2574240 288 0 39467
3586.82/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.82/3597.00 c problem variables: 0.00 - 0 0
3586.82/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.82/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c relpscost : 11.56 0.00 32051 0 0 0 0 0 0 64102
3586.82/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.82/3597.00 c LP solutions : 0.00 - - 0 0
3586.82/3597.00 c relax solutions : 0.00 - - 0 0
3586.82/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.82/3597.00 c strong branching : 0.00 - - 0 0
3586.82/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.82/3597.00 c adaptivediving : 7.74 0.00 42 0 0
3586.82/3597.00 c alns : 5.02 0.00 8 0 0
3586.82/3597.00 c bound : 0.00 0.00 0 0 0
3586.82/3597.00 c clique : 0.07 0.00 1 0 0
3586.82/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.82/3597.00 c completesol : 0.00 0.00 0 0 0
3586.82/3597.00 c conflictdiving : 18.51 0.00 229 0 0
3586.82/3597.00 c crossover : 0.01 0.00 0 0 0
3586.82/3597.00 c dins : 0.00 0.00 0 0 0
3586.82/3597.00 c distributiondivin: 30.46 0.00 228 0 0
3586.82/3597.00 c dps : 0.00 0.00 0 0 0
3586.82/3597.00 c dualval : 0.00 0.00 0 0 0
3586.82/3597.00 c farkasdiving : 9.14 0.00 2 0 0
3586.82/3597.00 c feasjump : 0.77 0.00 2 0 0
3586.82/3597.00 c feaspump : 64.79 0.00 88 0 0
3586.82/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.82/3597.00 c fracdiving : 17.16 0.00 229 0 0
3586.82/3597.00 c gins : 0.01 0.00 0 0 0
3586.82/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.82/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.82/3597.00 c indicator : 0.02 0.00 0 0 0
3586.82/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.82/3597.00 c indoneopt : 0.02 0.00 0 0 0
3586.82/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.82/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.82/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.82/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.82/3597.00 c linesearchdiving : 15.13 0.00 229 0 0
3586.82/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.82/3597.00 c locks : 0.04 0.00 1 0 0
3586.82/3597.00 c lpface : 0.24 0.00 0 0 0
3586.82/3597.00 c mpec : 0.00 0.00 0 0 0
3586.82/3597.00 c multistart : 0.00 0.00 0 0 0
3586.82/3597.00 c mutation : 0.00 0.00 0 0 0
3586.82/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.82/3597.00 c objpscostdiving : 37.94 0.00 35 0 0
3586.82/3597.00 c octane : 0.00 0.00 0 0 0
3586.82/3597.00 c ofins : 0.01 0.00 0 0 0
3586.82/3597.00 c oneopt : 0.02 0.00 0 0 0
3586.82/3597.00 c padm : 0.00 0.00 0 0 0
3586.82/3597.00 c proximity : 0.00 0.00 0 0 0
3586.82/3597.00 c pscostdiving : 24.88 0.00 230 0 0
3586.82/3597.00 c randrounding : 1.79 0.00 4954 0 0
3586.82/3597.00 c rens : 0.10 0.00 2 0 0
3586.82/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.82/3597.00 c repair : 0.00 0.00 0 0 0
3586.82/3597.00 c rins : 0.01 0.00 0 0 0
3586.82/3597.00 c rootsoldiving : 39.22 0.00 115 0 0
3586.82/3597.00 c rounding : 0.67 0.00 2734 0 0
3586.82/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.82/3597.00 c shiftandpropagate: 0.16 0.00 2 0 0
3586.82/3597.00 c shifting : 9.21 0.00 1447 0 0
3586.82/3597.00 c simplerounding : 0.02 0.00 0 0 0
3586.82/3597.00 c smallcard : 0.00 0.00 0 0 0
3586.82/3597.00 c subnlp : 0.03 0.00 0 0 0
3586.82/3597.00 c trivial : 0.00 0.00 4 0 0
3586.82/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.82/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.82/3597.00 c trysol : 0.01 0.00 0 0 0
3586.82/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.82/3597.00 c undercover : 0.00 0.00 0 0 0
3586.82/3597.00 c vbounds : 0.12 0.00 2 0 0
3586.82/3597.00 c veclendiving : 20.01 0.00 229 0 0
3586.82/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.82/3597.00 c zirounding : 0.41 0.00 1000 0 0
3586.82/3597.00 c other solutions : - - - 0 -
3586.82/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.82/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.82/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.82/3597.00 c primal LP : 6.27 3314 0 0.00 0.00 6.27 3314
3586.82/3597.01 c dual LP : 2854.02 40157 36866727 919.05 12917.45 0.09 43
3586.82/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.82/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.82/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.82/3597.01 c diving/probing LP: 235.42 10287 3362486 326.87 14282.79
3586.82/3597.01 c strong branching : 1.58 32 20904 653.25 13235.78 - - 36
3586.82/3597.01 c (at root node) : - 32 20904 653.25 -
3586.82/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3586.82/3597.01 c B&B Tree :
3586.82/3597.01 c number of runs : 2
3586.82/3597.01 c nodes : 47458 (31070 internal, 16388 leaves)
3586.82/3597.01 c feasible leaves : 0
3586.82/3597.01 c infeas. leaves : 16387
3586.82/3597.01 c objective leaves : 0
3586.82/3597.01 c nodes (total) : 48508 (32051 internal, 16457 leaves)
3586.82/3597.01 c nodes left : 7870
3586.82/3597.01 c max depth : 64
3586.82/3597.01 c max depth (total): 64
3586.82/3597.01 c backtracks : 10794 (22.7%)
3586.82/3597.01 c early backtracks : 0 (0.0%)
3586.82/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.82/3597.01 c delayed cutoffs : 6814
3586.82/3597.01 c repropagations : 15365 (226082 domain reductions, 3422 cutoffs)
3586.82/3597.01 c avg switch length: 5.97
3586.82/3597.01 c switching time : 69.04
3586.82/3597.01 c Root Node :
3586.82/3597.01 c First LP value : +1.20000000000000e+02
3586.82/3597.01 c First LP Iters : 4200 (14704.13 Iter/sec)
3586.82/3597.01 c First LP Time : 0.29
3586.82/3597.01 c Final Dual Bound : +1.20000000000000e+02
3586.82/3597.01 c Final Root Iters : 51598
3586.82/3597.01 c Root LP Estimate : +1.37267516701761e+02
3586.82/3597.01 c Solution :
3586.82/3597.01 c Solutions found : 0 (0 improvements)
3586.82/3597.01 c Primal Bound : -
3586.82/3597.01 c Dual Bound : +1.20000000000000e+02
3586.82/3597.01 c Gap : infinite
3586.82/3597.01 c Integrals : Total Avg%
3586.82/3597.01 c primal-dual : 359699.71 100.00
3586.82/3597.01 c primal-ref : - - (not evaluated)
3586.82/3597.01 c dual-ref : - - (not evaluated)
3586.92/3597.13 c Time complete: 3586.96.
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 (62514 MiB free)
memory of node 1: 64507 MiB (62206 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491402-1751386835/watcher-4491402-1751386835 -o /tmp/evaluation-result-4491402-1751386835/solver-4491402-1751386835 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751383217-58507 --watchdog 3760 pbscip -f HOME/instance-4491402-1751386835.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=59353, runsolver pid=59350
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.09 4.11 4.08 6/264 59354
/proc/meminfo: memFree=127715128/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=67356 memory=41344 CPUtime=0.08 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 7147 0 0 0 8 0 0 0 20 0 1 0 54361458 68972544 10336 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 16839 10336 3520 3530 0 8290 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67356 KiB
Current children cumulated memory: 41344 KiB
[startup+0.20561 s]*
/proc/loadavg: 4.09 4.11 4.08 5/264 59354
/proc/meminfo: memFree=127647340/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=141356 memory=110160 CPUtime=0.19 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 25968 0 0 0 16 3 0 0 20 0 1 0 54361458 144748544 27540 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 35339 27540 3616 3530 0 26790 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 141356 KiB
Current children cumulated memory: 110160 KiB
[startup+0.30547 s]*
/proc/loadavg: 4.09 4.11 4.08 5/264 59354
/proc/meminfo: memFree=127631148/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=169772 memory=137884 CPUtime=0.29 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 29340 0 0 0 25 4 0 0 20 0 1 0 54361458 173846528 34471 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 42443 34471 3616 3530 0 33894 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 169772 KiB
Current children cumulated memory: 137884 KiB
[startup+0.700176 s]
/proc/loadavg: 4.09 4.11 4.08 5/264 59354
/proc/meminfo: memFree=127590572/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=239700 memory=204744 CPUtime=0.68 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 49363 0 0 0 60 8 0 0 20 0 1 0 54361458 245452800 51154 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 59925 51154 3808 3530 0 51376 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 239700 KiB
Current children cumulated memory: 204744 KiB
[startup+1.50015 s]
/proc/loadavg: 4.09 4.11 4.08 5/264 59354
/proc/meminfo: memFree=127502120/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=312300 memory=263496 CPUtime=1.48 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 63998 0 0 0 137 11 0 0 20 0 1 0 54361458 319795200 65874 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 78075 65874 3936 3530 0 69526 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 312300 KiB
Current children cumulated memory: 263496 KiB
[startup+3.10571 s]
/proc/loadavg: 4.09 4.11 4.08 5/264 59354
/proc/meminfo: memFree=127453684/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=426036 memory=369128 CPUtime=3.08 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 84284 0 0 0 293 15 0 0 20 0 1 0 54361458 436260864 92282 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 106509 92282 3936 3530 0 97960 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 426036 KiB
Current children cumulated memory: 369128 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.11 4.08 5/264 59354
/proc/meminfo: memFree=127377148/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=435048 memory=383336 CPUtime=6.26 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 87281 0 0 0 611 15 0 0 20 0 1 0 54361458 445489152 95834 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 108762 95834 3968 3530 0 100213 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 435048 KiB
Current children cumulated memory: 383336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.08 5/263 59354
/proc/meminfo: memFree=127341804/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=452356 memory=404060 CPUtime=12.65 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 91446 0 0 0 1249 16 0 0 20 0 1 0 54361458 463212544 101015 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 113089 101015 3968 3530 0 104540 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 452356 KiB
Current children cumulated memory: 404060 KiB
[startup+25.5001 s]
/proc/loadavg: 4.13 4.12 4.08 5/264 59355
/proc/meminfo: memFree=127325420/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=462404 memory=414184 CPUtime=25.42 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 93472 0 0 0 2525 17 0 0 20 0 1 0 54361458 473501696 103546 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 115601 103546 3968 3530 0 107052 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 462404 KiB
Current children cumulated memory: 414184 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.11 4.08 5/264 59356
/proc/meminfo: memFree=127242588/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=454948 memory=406628 CPUtime=50.95 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 101145 0 0 0 5077 18 0 0 20 0 1 0 54361458 465866752 101657 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 113737 101657 3968 3530 0 105188 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 454948 KiB
Current children cumulated memory: 406628 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 59360
/proc/meminfo: memFree=127215824/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=460124 memory=411876 CPUtime=102.02 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 102456 0 0 0 10184 18 0 0 20 0 1 0 54361458 471166976 102969 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 115031 102969 3968 3530 0 106482 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 460124 KiB
Current children cumulated memory: 411876 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 59362
/proc/meminfo: memFree=127179576/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=469492 memory=421192 CPUtime=161.86 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 110449 0 0 0 16167 19 0 0 20 0 1 0 54361458 480759808 105298 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 117373 105298 3968 3530 0 108824 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 469492 KiB
Current children cumulated memory: 421192 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 59364
/proc/meminfo: memFree=127103732/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=511556 memory=462512 CPUtime=221.67 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 118725 0 0 0 22147 20 0 0 20 0 1 0 54361458 523833344 115628 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 127889 115628 3968 3530 0 119340 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 511556 KiB
Current children cumulated memory: 462512 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 59373
/proc/meminfo: memFree=127019520/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=502644 memory=453784 CPUtime=281.48 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 125460 0 0 0 28126 22 0 0 20 0 1 0 54361458 514707456 113446 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 125661 113446 3968 3530 0 117112 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 502644 KiB
Current children cumulated memory: 453784 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.08 5/266 59376
/proc/meminfo: memFree=127011076/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=528600 memory=480892 CPUtime=341.29 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 134085 0 0 0 34105 24 0 0 20 0 1 0 54361458 541286400 120223 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 132150 120223 3968 3530 0 123601 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 528600 KiB
Current children cumulated memory: 480892 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 59378
/proc/meminfo: memFree=126972140/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=531232 memory=483580 CPUtime=401.09 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 134749 0 0 0 40085 24 0 0 20 0 1 0 54361458 543981568 120895 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 132808 120895 3968 3530 0 124259 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 531232 KiB
Current children cumulated memory: 483580 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 59380
/proc/meminfo: memFree=126951864/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=536412 memory=488700 CPUtime=460.89 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 136061 0 0 0 46065 24 0 0 20 0 1 0 54361458 549285888 122175 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 134103 122175 3968 3530 0 125554 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
/proc/loadavg: 4.14 4.13 4.10 5/266 59531
/proc/meminfo: memFree=125324924/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=628100 memory=599788 CPUtime=3213.29 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 167297 0 0 0 321299 30 0 0 20 0 1 0 54361458 643174400 149947 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 157025 149947 3968 3530 0 148476 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 628100 KiB
Current children cumulated memory: 599788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 59540
/proc/meminfo: memFree=125309412/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=628100 memory=600172 CPUtime=3273.1 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 167391 0 0 0 327280 30 0 0 20 0 1 0 54361458 643174400 150043 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 157025 150043 3968 3530 0 148476 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 628100 KiB
Current children cumulated memory: 600172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 59543
/proc/meminfo: memFree=125274672/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=628100 memory=600300 CPUtime=3332.91 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 167417 0 0 0 333261 30 0 0 20 0 1 0 54361458 643174400 150075 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 157025 150075 3968 3530 0 148476 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 628100 KiB
Current children cumulated memory: 600300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 59545
/proc/meminfo: memFree=125276036/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=628100 memory=600428 CPUtime=3392.72 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 167656 0 0 0 339242 30 0 0 20 0 1 0 54361458 643174400 150107 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 157025 150107 3968 3530 0 148476 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 628100 KiB
Current children cumulated memory: 600428 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 59547
/proc/meminfo: memFree=125262356/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=628100 memory=600812 CPUtime=3452.53 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 167759 0 0 0 345223 30 0 0 20 0 1 0 54361458 643174400 150203 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 157025 150203 3968 3530 0 148476 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 628100 KiB
Current children cumulated memory: 600812 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 59549
/proc/meminfo: memFree=125242756/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601452 CPUtime=3512.35 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 167927 0 0 0 351205 30 0 0 20 0 1 0 54361458 647475200 150363 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150363 3968 3530 0 149526 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601452 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 4/260 59655
/proc/meminfo: memFree=126458312/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601964 CPUtime=3572.16 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168075 0 0 0 357186 30 0 0 20 0 1 0 54361458 647475200 150491 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150491 3968 3530 0 149526 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601964 KiB
[startup+3597.14 s]
# the end of solver process 59353 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.65 s, system=0.313065 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 4/261 59735
/proc/meminfo: memFree=126470668/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601964 CPUtime=3573.86 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168075 0 0 0 357356 30 0 0 20 0 1 0 54361458 647475200 150491 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150491 3968 3530 0 149526 0
Current children cumulated CPU time: 3573.86 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601964 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 4/259 59919
/proc/meminfo: memFree=127388496/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601964 CPUtime=3580.23 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168075 0 0 0 357993 30 0 0 20 0 1 0 54361458 647475200 150491 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150491 3968 3530 0 149526 0
Current children cumulated CPU time: 3580.23 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601964 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 59958
/proc/meminfo: memFree=126853220/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601964 CPUtime=3583.42 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168075 0 0 0 358312 30 0 0 20 0 1 0 54361458 647475200 150491 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150491 3968 3530 0 149526 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601964 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 59958
/proc/meminfo: memFree=126652180/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601964 CPUtime=3585.02 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168075 0 0 0 358472 30 0 0 20 0 1 0 54361458 647475200 150491 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150491 3968 3530 0 149526 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601964 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 59958
/proc/meminfo: memFree=126642604/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601964 CPUtime=3585.82 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168075 0 0 0 358552 30 0 0 20 0 1 0 54361458 647475200 150491 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150491 3968 3530 0 149526 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601964 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 59958
/proc/meminfo: memFree=126642604/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601964 CPUtime=3586.61 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168075 0 0 0 358631 30 0 0 20 0 1 0 54361458 647475200 150491 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150491 3968 3530 0 149526 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601964 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 59958
/proc/meminfo: memFree=126620428/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=632300 memory=601964 CPUtime=3586.82 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168075 0 0 0 358652 30 0 0 20 0 1 0 54361458 647475200 150491 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 158075 150491 3968 3530 0 149526 0
Current children cumulated CPU time: 3586.82 s
Current children cumulated vsize: 632300 KiB
Current children cumulated memory: 601964 KiB
[startup+3597.11 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 59958
/proc/meminfo: memFree=126620428/131249996 swapFree=33010684/33010684
[pid=59353] ppid=59350 vsize=631880 memory=601632 CPUtime=3586.92 cores=1,3
/proc/59353/stat : 59353 (pbscip) R 59350 59353 58495 0 -1 4194304 168104 0 0 0 358662 30 0 0 20 0 1 0 54361458 647045120 150408 18446744073709551615 4235264 18693293 140725036873056 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53469184 140725036878217 140725036878316 140725036878316 140725036883918 0
/proc/59353/statm: 157970 150408 3968 3530 0 149421 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 631880 KiB
Current children cumulated memory: 601632 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3586.96
CPU user time (s): 3586.65
CPU system time (s): 0.313065
CPU usage (%): 99.7171
Max. virtual memory (cumulated for all children) (KiB): 632300
Max. memory (cumulated for all children) (KiB): 601964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.65
system time used= 0.313065
maximum resident set size= 601964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168117
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= 106
involuntary context switches= 2168
# summary of solver processes directly reported to runsolver:
# pid: 59353
# total CPU time (s): 3586.96
# total CPU user time (s): 3586.65
# total CPU system time (s): 0.313065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77311 second user time and 16.4376 second system time
The end